Logická analýza a forma tvrzení typu "to-a-to existuje"

Abstract

Cílem této práce bylo nalézt vhodnou logickou formu pro tvrzení typu "to-a-to existuje". Nejprve byl proveden rozbor významu těchto tvrzení založený na historickém přístupu. Na jeho základě byla stanovena východiska logické analýzy těchto tvrzení a určeny podmínky, které musí systém logiky splňovat, aby byl vhodným nástrojem pro jejich logickou analýzu. Následně bylo ukázáno, nakolik jednotlivé logické formy těchto tvrzení v různých systémech logiky tyto podmínky splňují a zda (popř. s jakými omezeními) je lze považovat za adekvátní. Kritériem správnosti pro logickou formu tu je vedle ekvivalentních pravdivostních podmínek především zachování intuicí s těmito tvrzeními obvykle spojovanými a přijatelnost deduktivních důsledků.

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.