Logika a logiky. Systém klasické výrokové logiky, jeho rozšíření a alternativy

0101239 - FLU-F 20040098 RIV CZ cze B - Monografie kniha jako celek
Peregrin, Jaroslav
Logika a logiky. Systém klasické výrokové logiky, jeho rozšíření a alternativy.
[Logic and logics. The system of classical propositional logic, its extensions and alternatives.]
Praha: Academia, 2004. 205 s. ISBN 80-200-1187-0
Grant CEP: GA AV ČR IAA0009001
Výzkumný záměr: CEZ:AV0Z9009908
Klíčová slova: non-classical logic * propositional calculus
Kód oboru RIV: AA - Filosofie a náboženství

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

In this book I present an overview of formal systems of propositional calculi, I discuss their properties and I deal with the question of their sense and their applicability. I discuss especially the systems of intuitionistic logic, many-valued logics, relevance logics and modal logics and I focus especially on the so-called Kripekan semantics based on the concept of possible world. I present also a certain generalitaion of the concept of propositional calculus and its semantics.
Trvalý link: http://hdl.handle.net/11104/0008676