Počet záznamů: 1
Logika a logiky. Systém klasické výrokové logiky, jeho rozšíření a alternativy
- 1.
SYSNO ASEP 0101239 Druh ASEP B - Monografie Zařazení RIV B - Odborná monografie, kniha Název Logika a logiky. Systém klasické výrokové logiky, jeho rozšíření a alternativy Překlad názvu Logic and logics. The system of classical propositional logic, its extensions and alternatives Tvůrce(i) Peregrin, Jaroslav (FLU-F) RID, ORCID, SAI Vyd. údaje Praha: Academia, 2004 ISBN 80-200-1187-0 Poč.str. 205 s. Jazyk dok. cze - čeština Země vyd. CZ - Česká republika Klíč. slova non-classical logic ; propositional calculus Vědní obor RIV AA - Filosofie a náboženství CEP IAA0009001 GA AV ČR - Akademie věd CEZ AV0Z9009908 - FLU-F Anotace 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. Překlad anotace 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. Pracoviště Filosofický ústav Kontakt Chlumská Simona, chlumska@flu.cas.cz ; Tichá Zuzana, asep@flu.cas.cz Tel: 221 183 360 Rok sběru 2005
Počet záznamů: 1