Filozofia a teória modelov

Recenzie čitateľov

Momentálne nie sú žiadne recenzie čitateľov. Hodnotenie je založené na 22 hlasoch.

Pôvodný názov:

Philosophy and Model Theory

Obsah knihy:

Teória modelov sa používa v každom teoretickom odvetví analytickej filozofie: vo filozofii matematiky, vo filozofii vedy, vo filozofii jazyka, vo filozofickej logike a v metafyzike.

Tieto široké možnosti využitia teórie modelov však vytvorili veľmi roztrieštenú literatúru. Na jednej strane sa mnohé filozoficky významné výsledky nachádzajú len v učebniciach matematiky: tie sú určené priamo matematikom.

Zvyčajne predpokladajú, že čitateľ má seriózne matematické vzdelanie.

Ich filozofický význam je len veľmi málo objasnený. Na druhej strane, filozofické aplikácie týchto výsledkov sú roztrúsené v nesúvislých publikáciách.

Prvým cieľom tejto knihy je teda preskúmať filozofické využitie teórie modelov so zameraním na ústredné témy referencie, realizmu a doxológie. Jej druhým cieľom je venovať sa dôležitým otázkam vo filozofii teórie modelov, ako sú: samobytnosť teórií a štruktúr, hranice logiky a klasifikácia matematických štruktúr.

Filozofia a teória modelov bude prístupná každému, kto absolvoval úvodný kurz logiky. Nepredpokladá, že sa čitatelia už predtým stretli s teóriou modelov, ale začína hneď na začiatku, pričom rozoberá filozofické problémy, ktoré sa objavujú aj pri konceptuálne základnej teórii modelov. Kniha je navyše do značnej miery samostatná: modelovo-teoretické pojmy sú definované tak a vtedy, keď sú potrebné pre filozofickú diskusiu, a mnohé z filozoficky najvýznamnejších výsledkov sú uvedené prístupnými dôkazmi.