Number of the records: 1
Logika a logiky. Systém klasické výrokové logiky, jeho rozšíření a alternativy
- 1.
SYSNO ASEP 0101239 Document Type B - Monograph R&D Document Type Monograph Title Logika a logiky. Systém klasické výrokové logiky, jeho rozšíření a alternativy Title Logic and logics. The system of classical propositional logic, its extensions and alternatives Author(s) Peregrin, Jaroslav (FLU-F) RID, ORCID, SAI Issue data Praha: Academia, 2004 ISBN 80-200-1187-0 Number of pages 205 s. Language cze - Czech Country CZ - Czech Republic Keywords non-classical logic ; propositional calculus Subject RIV AA - Philosophy ; Religion R&D Projects IAA0009001 GA AV ČR - Academy of Sciences of the Czech Republic (AV ČR) CEZ AV0Z9009908 - FLU-F Annotation 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. Description in English 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. Workplace Institute of Philosophy Contact Chlumská Simona, chlumska@flu.cas.cz ; Tichá Zuzana, asep@flu.cas.cz Tel: 221 183 360 Year of Publishing 2005
Number of the records: 1