Prázdna doména v predikátovej logike prvého rádu – Jakub ČIEŠKO
Jakub ČIEŠKO
Bachelor's thesis
Prázdna doména v predikátovej logike prvého rádu
Empty domain in first-order logic
Anotácia:
Táto práca sa zaoberá existenčnými predpokladmi v klasickej predikátovej logike prvého rádu, v ktorej doména diskurzu nemôže byť prázdna. Táto požiadavka znamená, že v akomkoľvek zvolenom univerze musí existovať aspoň jedno indivíduum. Existuje však aj logika, ktorá túto podmienku neuznáva a umožňuje prázdne domény; Quine túto logiku nazval inkluzívnou. Táto práca sa venuje tomu, aké dôsledky má prechod …viacAbstract:
This thesis deals with existence assumptions in classical first-order predicate logic, in which the domain of discourse cannot be empty. This requirement implies that at least one individual must exist in any chosen universe. However, there is also a logic that does not obey this condition and allows for empty domains; Quine dubbed this logic inclusive. This thesis explores what the implications of …viac
Jazyk práce: Czech
Datum vytvoření / odevzdání či podání práce: 8. 5. 2024
Obhajoba závěrečné práce
- Vedúci: Mgr. Karel Šebela, Ph.D.
Citační záznam
Jak správně citovat práci
ČIEŠKO, Jakub. Prázdna doména v predikátovej logike prvého rádu. Olomouc, 2024. bakalářská práce (Bc.). UNIVERZITA PALACKÉHO V OLOMOUCI. Filozofická fakulta
Plný text práce
Obsah online archivu závěrečné práce
Zveřejněno v Theses:- světu
Jak jinak získat přístup k textu
Instituce archivující a zpřístupňující práci: UNIVERZITA PALACKÉHO V OLOMOUCI, Filozofická fakultaPalacký University Olomouc
Faculty of ArtsBachelor programme / odbor:
Philosophy / Philosophy / Lingvistics and Digital Humanities
Práce na příbuzné téma
-
Úplnost ekvacionální logiky
Pavel Zoubek -
Volné hodnocení důkazů v judikatuře českých soudů
Marek Pospíšil
Názov
Vložil
Vložené
Práva