All

What are you looking for?

All
Projects
Results
Organizations

Quick search

  • Projects supported by TA ČR
  • Excellent projects
  • Projects with the highest public support
  • Current projects

Smart search

  • That is how I find a specific +word
  • That is how I leave the -word out of the results
  • “That is how I can find the whole phrase”

The result's identifiers

  • Result code in 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>

  • Result on the web

  • DOI - Digital Object Identifier

Alternative languages

  • Result language

    čeština

  • Original language name

    Kvantifikátory

  • Original language description

    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.

  • Czech name

    Kvantifikátory

  • Czech description

    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.

Classification

  • Type

    C - Chapter in a specialist book

  • CEP classification

    AA - Philosophy and religion

  • OECD FORD branch

Result continuities

  • Project

    <a href="/en/project/GA401%2F07%2F0904" target="_blank" >GA401/07/0904: Logical analysis - theories and applications. A comprehensive research project complemented with organizational and publication programmes</a><br>

  • Continuities

    Z - Vyzkumny zamer (s odkazem do CEZ)

Others

  • Publication year

    2010

  • Confidentiality

    S - Úplné a pravdivé údaje o projektu nepodléhají ochraně podle zvláštních právních předpisů

Data specific for result type

  • Book/collection name

    Logika a přirozený jazyk

  • ISBN

    978-80-7007-325-4

  • Number of pages of the result

    28

  • Pages from-to

  • Number of pages of the book

    300

  • Publisher name

    Filosofia

  • Place of publication

    Praha

  • UT code for WoS chapter