Kvantifikátory
Identifikátory výsledku
Kód výsledku v IS VaVaI
<a href="https://www.isvavai.cz/riv?ss=detail&h=RIV%2F67985955%3A_____%2F10%3A00351428" target="_blank" >RIV/67985955:_____/10:00351428 - isvavai.cz</a>
Výsledek na webu
—
DOI - Digital Object Identifier
—
Alternativní jazyky
Jazyk výsledku
čeština
Název v původním jazyce
Kvantifikátory
Popis výsledku v původním jazyce
Kvantifikátory jsou primárně logickým nástrojem reglementace těch vět přirozeného jazyka, které něco vypovídají o některých, případně všech členech určitého souboru; sekundárně jsou však využívány k analýze mnohem širšího spektra výrazů přirozeného jazyka, například určitých popisů. Tvoří základ (klasického) predikátového počtu, jenž je obvykle brán za tzv. standardní logiku. Text je přehledem základních technik použití kvantifikátorů pro logickou analýzu přirozeného jazyka a problémů, které v souvislosti s takovou analýzou vyvstávají. Dotýká se i problémů zobecňování kvantifikátorů poza meze standardního predikátového počtu.
Název v anglickém jazyce
Quantifiers
Popis výsledku anglicky
Quantifiers are primarily the logical tool of regimentation of those sentences of natural language that speak about some, or every member of a collection; secondarily they are used for the analysis of a much wider spectrum of expressions of natural language, e.g. definite descriptions. They form the basis of the (classical) predicate calculus, which is usually considered as the so called standard logic. The text is an overview of the basic techniques of the use of quantifiers for the logical analysis ofnatural languages and of the problems that arise in connection with such an analysis. It also tackles the problem of generalizing quantifiers behind the border of the standard predicate calculus.
Klasifikace
Druh
C - Kapitola v odborné knize
CEP obor
AA - Filosofie a náboženství
OECD FORD obor
—
Návaznosti výsledku
Projekt
<a href="/cs/project/GA401%2F07%2F0904" target="_blank" >GA401/07/0904: Logická analýza - teorie a aplikace. Komplexní výzkumný projekt doplněný vědecko-organizačními a publikačními programy</a><br>
Návaznosti
Z - Vyzkumny zamer (s odkazem do CEZ)
Ostatní
Rok uplatnění
2010
Kód důvěrnosti údajů
S - Úplné a pravdivé údaje o projektu nepodléhají ochraně podle zvláštních právních předpisů
Údaje specifické pro druh výsledku
Název knihy nebo sborníku
Logika a přirozený jazyk
ISBN
978-80-7007-325-4
Počet stran výsledku
28
Strana od-do
—
Počet stran knihy
300
Název nakladatele
Filosofia
Místo vydání
Praha
Kód UT WoS kapitoly
—