procedural-semantics-for-hyperintensional-logic-foundations-and-applications-of-til

Procedural Semantics for Hyperintensional Logic (Foundations and Applications of TIL)

Marie Duží, Bjorn Jespersen, Pavel Materna:

This volume sets out the foundations of Transparent Intensional Logic, together with many applications to a wide range of topics including formal semantics, philosophy of language, and philosophical logic. Special attention is devoted to some topics that generally tend to be dealt with only in passing. They include, inter alia, notional attitudes, knowing whether, concepts (understood rigorously and non-mentalistically),attitudes de re, and anaphora in hyperintensional contexts.

Springer, 2010
logika-a-prirozeny-jazyk

Logika a přirozený jazyk

Vladimír Svoboda a kolektiv:

Kniha představuje průřez hlavními tématy logické analýzy přirozeného jazyka. Uvádí čtenáře do logických jazyků, které jsou k analytickým účelům používány a do metodických postupů spjatých s jejich aplikací na konkrétní problémy. Publikace nabízí plastický, i když ne zcela systematický, obraz o možnostech soudobé logické analýzy, alternativních přístupech i omezeních uplatnění logicko-analytických metod.

Filosofia, Praha, 2010
od-jazyka-k-logice-filozoficky-uvod-do-moderni-logiky

Od jazyka k logice (Filozofický úvod do moderní logiky)

Vladimír Svoboda, Jaroslav Peregrin:

Kniha nabízí netradiční úvod do světa moderní logiky. Předkládá čtenáři řadu filozofických otázek, které se týkají východisek a cílů logických teorií a jejich formálních aparátů. Krok za krokem pak ukazuje, jak je logika geneticky spjata s přirozeným jazykem a jak se obrysy běžných i méně běžných logických systémů vynořují z reflexe toho, jak běžně odůvodňujeme svá tvrzení. Nabízí tak alternativu k rozšířené představě, podle níž je smyslem logiky zachycení nějakých velice abstraktních a velice fundamentálních zákonů, které vymezují pole působnosti rozumu. Čtenářsky přístupným, ale netriviálním způsobem otevírá cestu k pochopení klíčových pojmů i metod tzv. klasické logiky i nejvýznamnějších systémů neklasických logik. Může tak být užitečná jak pro čtenáře, kteří se chtějí s logikou seznámit, tak pro ty, kdo už mají toto seznámení za sebou, ale zajímají je otázky, jež učebnice logiky obvykle bez povšimnutí přecházejí.

Academia, Praha, 2009
logika-20-stoleti-mezi-filosofii-a-matematikou-vybor-textu-k-moderni-logice

Logika 20. století: mezi filosofií a matematikou. Výbor textů k moderní logice

Jaroslav Peregrin (ed.)

Výbor překladů textů významných logiků a filosofů logiky dvacátého století: G. H. Moore, J. van Heijenoort, W. D. Goldfarb, G. Kreisel, A. Tarski, A. N. Prior, N. Belnap, D. Lewis, H. Putnam, M. Dummett, W. V. Quine.

Filosofia, Praha, 2006
kapitoly-z-analyticke-filosofie

Kapitoly z analytické filosofie

Jaroslav Peregrin

Historicky koncipované pojednání o hlavních problémech analytické filosofie 20. století. Obsahuje podrobný rozbor příčin vzniku analytické filosofie a vývoje názorů jejích protagonistů na lidské poznání, jazyk a svět. Soustředí se zejména na názory Frega, Russella, Carnapa, Wittgensteina, Quina a také na aktuální směry vývoje tohoto filosofického směru.

Filosofia, Praha, 2005
bernard-bolzano-cesta-k-logicke-semantice

Bernard Bolzano: Cesta k logické sémantice

Marta Vlasáková

Značná část logického díla Bernarda Bolzana nebyla v jeho době přijata a byla pozapomenuta. Když se později začal zvyšoval zájem o Bolzanův logický odkaz, ukázalo se, že Bolzano často rozvíjel logická témata, která začala být aktuální až o mnoho let později. To platí zejména o tématech z oblasti logické sémantiky (problematika pojmů, logická pravdivost a logické vyplývání, analytičnost vět aj.), kterou začal důsledně rozvíjet až sto let po Bolzanovi Alfred Tarski. Bolzanovi je možné nejen přiznat geniální anticipaci řady logických témat, ale v jeho práci lze nacházet i inspiraci pro další rozvoj logiky. Proto se předložená práce snaží i o konfrontaci Bolzanova přístupu se současným pojetím, o určitou aktualizaci Bolzanova pojetí.

Filosofia, Praha, 2005
pavel-tichy-s-collected-papers-in-logica-and-philosophy

Pavel Tichý’s Collected Papers in Logica and Philosophy

Vladimír Svoboda, Bjørn Jespersen, Colin Cheyne (eds.):

Svazek obsahuje kompletní soubor publikovaných článků významného českého logika a filozofa Pavla Tichého, který patří mezi nejoriginálnější a nejkontroverznější osobnosti moderní filozofické logiky. Kniha umožňuje sledovat vývoj Tichého názorů, které vyústili ve zformování systému Transparentní intenzionální logiky. Obsahuje rovněž řadu břitkých polemických článků přetištěných z prestižních mezinárodních časopisů.

Filosofia / University of Otago Press, Praha / Dunedin, 2004
logika-a-logiky

Logika a logiky

Jaroslav Peregrin

Autor podává přehled formálních systémů výrokových logik, probírá jejich vlastnosti a zabývá se i otázkou jejich smyslu a jejich aplikovatelnosti. Rozebírá zejména systémy intuicionistické logiky, vícehodnotových logik, relevančních logik a modálních logik, důraz klade zejména na tzv. kripkovskou sémantiku, založenou na pojmu možného světa. Předkládá i jisté zobecnění pojmu výrokového počtu a jeho sémantiky.

Academia, Praha, 2004
conceptual-systems

Conceptual Systems

Pavel Materna

Pojmy pojmu a pojmového systému jsou explikovány z hlediska transparentní intenzionální logiky. Toto hledisko je realistické, v opozici vůči antirealistickým a relativistickým tendencím v některých dílech postanalytické filozofie. Logická analýza je inspirována typovaným lambda kalkulem.

Logos, Berlin, 2004
filosofie-a-jazyk

Filosofie a jazyk

Jaroslav Peregrin

Soubor článků napsaných během předchozích zhruba deseti let a určených nejenom nejužšímu okruhu odborníků. Články se snaží filosoficky vyložit různé aspekty fenoménu jazyka a prostřednictvím toho osvětlit povahu některých tradičních filosofických problémů.

Triton, Praha, 2003