National Repository of Grey Literature 1 records found  Search took 0.00 seconds. 

The logical analysis and the logical form of the statements "A exists"
Dostálová, Ludmila ; Materna, Pavel (advisor) ; Zouhar, Marián (referee) ; Kolman, Vojtěch (referee)
The thesis investigates the logical form of the statements "so-and-so exists". Firstly, the historical survey was displayed in order to identify the meaning of this sort of statements. Hence starting conditions of the logical analysis were defined as well as the requirements that the background logic of the logical analysis must fulfill in order to be an adequate tool to express their logical form. Consequently, various logical forms of existential statements as they are expressed in different logic systems were compared in order to show to what extent they fulfull the demand. The evaluation criteria were: the equivalency of truth-conditions, fulfillment of intuitions, and the acceptability of the deductive results.

Interested in being notified about new results for this query?
Subscribe to the RSS feed.