|
Logická analýza a forma tvrzení typu "to-a-to existuje"
Dostálová, Ludmila ; Materna, Pavel (vedoucí práce) ; Zouhar, Marián (oponent) ; Kolman, Vojtěch (oponent)
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ů.
|
| |
|
Logická analýza a forma tvrzení typu "to-a-to existuje"
Dostálová, Ludmila ; Materna, Pavel (vedoucí práce) ; Zouhar, Marián (oponent) ; Kolman, Vojtěch (oponent)
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ů.
|
| |
| |
| |
| |
|
Syntetické pojmy a priori
Duží, M. ; Materna, Pavel
Pojmy jsou explikovány jako objektivní procedury ('konstrukce' v transparentní intenzionální logice). Všechny matematické pojmy jsou a priori. Analytické matematické funkce jsou efektivní procedury, které vypočítávájí rekurzívní funkce. Syntetické matematické pojmy buď identifikují nerekurzivní funkci nebo identifikují rekurzívní funkci neefektivním způsobem. Syntetických pojmů a priori je více než analytických pojmů a priori.
|
| |
| |