Cantitate/Preț
Produs
Total produse
Vezi coșul
Philosophical Logic: An Introduction to Advanced Topics de Professor George Englebretsen

Philosophical Logic: An Introduction to Advanced Topics

Autor Professor George Englebretsen, Professor Charles Sayward
en Limba Engleză Hardback – 20 ian 2011

Taking students beyond classical mathematical logic, Philosophical Logic is a wide-ranging introduction to more advanced topics in the study of philosophical logic.


Starting by contrasting familiar classical logic with constructivist or intuitionist logic, the book goes on to offer concise but easy-to-read introductions to such subjects as quantificational and syllogistic logic, modal logic and set theory.


Chapters include:


. Sentential Logic
. Quantificational Logic
. Sentential Modal Logic
. Quantification and Modality
. Set Theory
. Incompleteness
. An Introduction to Term Logic
. Modal Term Logic


In addition, the book includes a list of symbols and a glossary of terms for ease of reference and exercises throughout help students master the topics covered in the book. Philosophical Logic is an essential, student-friendly guide for anyone studying these difficult topics as part of their Logic course.

Citește tot Restrânge

Toate formatele și edițiile

Toate formatele și edițiile Preț Express
Paperback (1) 19118 lei  6-8 săpt.
  Bloomsbury Publishing – 20 ian 2011 19118 lei  6-8 săpt.
Hardback (1) 67515 lei  6-8 săpt.
  Bloomsbury Publishing – 20 ian 2011 67515 lei  6-8 săpt.

Preț: 67515 lei

Preț vechi: 90852 lei
-26%

Puncte Express: 1013
Preț estimativ în valută:
11940€ • 14011$ • 10356£

Carte tipărită la comandă

Livrare economică 09-23 martie

 Adaugă în coș

Wish list
Gift list
Am citit!
Adaugă în listă

Specificații

ISBN-13: 9781441173850
ISBN-10: 1441173854
Pagini: 208
Dimensiuni: 156 x 234 x 20 mm
Greutate: 0.5 kg
Ediția:New.
Editura: Bloomsbury Publishing
Colecția Continuum
Locul publicării:London, United Kingdom

Cuprins


1. Introduction \ Sentences \ Truth and Falsity \ Defense and Refutation \ Inference, Form and Implication \ Formally Valid Inference \ Conjunctions \ Inference with Conjunctions \ Negation \ Inference with Negation \ Truth-Functionality and Negation \ Grouping \ 2. Sentential Logic \ Simple Sentences \ Sentences \ Derivations: A First Look \ A Note on Sets \ Lines \ Derivations Again \ Theorems \ Truth Sets \ Soundness \ Completeness \ Extensions of SL \ Conditionalization \ Model Sets \ Syntax and Semantics \ 3. Quantificational Logic \ Singular Terms \ Predicates \ Some Symbolic Conventions \ Some \ The Language QL \ Derivations \ Truth Sets \ All \ Further Extensions of QL \ Model Sets \ Identity \ Model Sets for QL \ 4. Sentential Modal Logic \ Non-Truth-Functional Sentential Operators \ Sentential Modal Operators \ Derivations \ S5, S4, T, and B \ Possible Worlds \ At a World and In a World \ Model Sets and Model Systems \ Deontic Logic and Model Sets \ 5. Quantification and Modality \ Some Derivations \ Model Sets and Systems \ An Alternative \ 6. Set Theory \ The Axiom of Extensionality \ Axioms of Separation \ Pairing Axiom and Rule U \ The Restriction on the A2 Axiom \ The Null Set \ An Interpretation \ More Axioms \ General Intersection Operation \ Order and Relations \ Functions \ Sizes of Sets \ The Power Set Axiom \ A Basic Theorem \ 7. Incompleteness \ The Language of Arithmetic \ Three Key Concepts \ Three Key Theorems \ The Core Argument \ Concluding Observations \ 8. An Introduction to Term Logic \ Syllogistic \ The Limits of Syllogistic \ Term Functor Logic \ Singular Terms and Identity in TFL \ Relationals in TFL \ The Logic of Sentences in TFL \ Rules of Inference for Derivations in TFL \ Derivation in TFL \ The Bridge to TFL \ 9. Modal Term Logic \ Modal Operators on Terms \ Modal Operators on Sentences \ Rules of Derivation for Modal TFL \ Modal Inference in TFL     \ Rules, Axioms and Principles \ List of Symbols \ Glossary \ Index.

Recenzii

"Englebretsen and Sayward's book fills a gap in the current array of logic textbooks available. It starts from the beginning, thus allowing students to gain the first rudiments of symbolization; yet, it covers areas usually neglected in introductory logic textbook such as set theory and modal logic. Finally, it presents a constructivist approach in contrast to the point of view of classical logic usually tacitly assumed in logic textbooks and a substitutional rather than an objectual interpretation of quantification. This is truly a logic textbook for philosophers." - Pieranna Garavaso, University of Minnesota, Morris, USA