RACLAVSKÝ, Jiří. Zobecněné kvantifikátory z pohledu Transparentní intenzionální logiky. In Odkud a jak brát stále nové příklady? Elektronická databáze příkladů pro výuku logiky na VŠ. Plzeň: Vydavatelství Západočeské univerzity v Plzni, 2009, s. 103-116. mimo edice. ISBN 978-80-7043-864-0.
Další formáty:   BibTeX LaTeX RIS
Základní údaje
Originální název Zobecněné kvantifikátory z pohledu Transparentní intenzionální logiky
Název česky Zobecněné kvantifikátory z pohledu Transparentní intenzionální logiky
Název anglicky Generalized Quantifiers from the Viewpoint of Transparent Intensional Logic
Autoři RACLAVSKÝ, Jiří (203 Česká republika, garant, domácí).
Vydání Plzeň, Odkud a jak brát stále nové příklady? Elektronická databáze příkladů pro výuku logiky na VŠ, od s. 103-116, 14 s. mimo edice, 2009.
Nakladatel Vydavatelství Západočeské univerzity v Plzni
Další údaje
Originální jazyk čeština
Typ výsledku Kapitola resp. kapitoly v odborné knize
Obor 60300 6.3 Philosophy, Ethics and Religion
Stát vydavatele Česká republika
Utajení není předmětem státního či obchodního tajemství
Forma vydání tištěná verze "print"
Kód RIV RIV/00216224:14210/09:00044108
Organizační jednotka Filozofická fakulta
ISBN 978-80-7043-864-0
Klíčová slova anglicky generalized quantifiers; transparent intensional logic
Příznaky Recenzováno
Změnil Změnila: Ing. Mgr. Zdeňka Jastrzembská, Ph.D., učo 11408. Změněno: 28. 1. 2013 16:05.
Anotace
Předmětem statě jsou definice principiálních druhů zobecněných kvantifikátorů v rámci Transparentní intenzionální logiky. To obnáší zapracování parciality, která způsobuje, že běžné způsoby definování jsou obvykle neplatné. K běžným způsobům jsou přikládány alternativní způsoby definování, které usouvztažňují zobecněné kvantifikátory ke klasickým kvantifikátorům.
Anotace anglicky
The topic of the study is to offer exact definitions of principal kinds of generalized quantifiers by means of transparent intensional logic. This consists in implementation of partiality of functions which makes usual ways of defining invalid. Moreover, definitions which are alternative to those usually proposed show the interplay of generalized quantifiers with classical quantifiers.
VytisknoutZobrazeno: 24. 4. 2024 19:37