|
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.
|
| |
|
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.
|
| |
| |
| |
| |
|
Syntetické pojmy a priori
Duží, M. ; Materna, Pavel
Concepts are explicated as objective procedures ("constructions" in transparent intensional logic). All mathematical concepts are a priori. Analytic mathematical concepts are effective procedures that compute some recursive functions. Synthetic mathematical concepts either identify a non-recursive function or identify a recursive function in a non-effective way. There are more synthetic concepts a priori than analytic concepts a priori.
|
| |
| |