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
Abstract:
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 …moreAbstract:
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 …more
Language used: Czech
Date on which the thesis was submitted / produced: 8. 5. 2024
Thesis defence
- Supervisor: Mgr. Karel Šebela, Ph.D.
Citation record
The right form of listing the thesis as a source quoted
Č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
Full text of thesis
Contents of on-line thesis archive
Published in Theses:- světu
Other ways of accessing the text
Institution archiving the thesis and making it accessible: UNIVERZITA PALACKÉHO V OLOMOUCI, Filozofická fakultaPalacký University Olomouc
Faculty of ArtsBachelor programme / field:
Philosophy / Philosophy / Lingvistics and Digital Humanities
Theses on a related topic
-
Úplnost ekvacionální logiky
Pavel Zoubek -
Volné hodnocení důkazů v judikatuře českých soudů
Marek Pospíšil
Name
Posted by
Uploaded/Created
Rights