Filozofie a teorie modelů

Recenze čtenářů

Aktuálně nejsou k dispozici žádné recenze čtenářů. Hodnocení je založeno na 22 hlasů.

Původní název:

Philosophy and Model Theory

Obsah knihy:

Teorie modelů se používá ve všech teoretických odvětvích analytické filozofie: ve filozofii matematiky, ve filozofii vědy, ve filozofii jazyka, ve filozofické logice a v metafyzice.

Toto široké využití teorie modelů však vytvořilo velmi roztříštěnou literaturu. Na jedné straně se mnoho filozoficky významných výsledků nachází pouze v učebnicích matematiky: ty jsou určeny přímo matematikům.

Obvykle předpokládají, že čtenář má seriózní matematické vzdělání.

Jejich filozofický význam je přitom jen málo naznačen. Na druhou stranu jsou filozofické aplikace těchto výsledků roztroušeny v nesouvislých publikacích.

Prvním cílem této knihy je tedy prozkoumat filozofické využití teorie modelů se zaměřením na ústřední témata reference, realismu a doxologie. Jejím druhým cílem je zabývat se důležitými otázkami ve filozofii teorie modelů, jako jsou: stejnost teorií a struktur, hranice logiky a klasifikace matematických struktur.

Filozofie a teorie modelů bude přístupná každému, kdo absolvoval úvodní kurz logiky. Nepředpokládá, že se čtenáři s teorií modelů již setkali, ale začíná hned na začátku a probírá filozofické problémy, které se objevují i u pojmově základní teorie modelů. Kniha je navíc do značné míry samostatná: modelově-teoretické pojmy jsou definovány tak, jak a kdy jsou pro filosofickou diskusi potřeba, a mnohé filosoficky nejvýznamnější výsledky jsou opatřeny přístupnými důkazy.