Vše

Co hledáte?

Vše
Projekty
Výsledky výzkumu
Subjekty

Rychlé hledání

  • Projekty podpořené TA ČR
  • Významné projekty
  • Projekty s nejvyšší státní podporou
  • Aktuálně běžící projekty

Chytré vyhledávání

  • Takto najdu konkrétní +slovo
  • Takto z výsledků -slovo zcela vynechám
  • “Takto můžu najít celou frázi”

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