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ă Paperback – 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) 18942 lei  43-57 zile
  Bloomsbury Publishing – 20 ian 2011 18942 lei  43-57 zile
Hardback (1) 67315 lei  43-57 zile
  Bloomsbury Publishing – 20 ian 2011 67315 lei  43-57 zile

Preț: 18942 lei

Preț vechi: 24609 lei
-23%

Puncte Express: 284
Preț estimativ în valută:
3353€ • 3905$ • 2913£

Carte tipărită la comandă

Livrare economică 23 februarie-09 martie

 Adaugă în coș

Wish list
Gift list
Am citit!
Adaugă în listă
Preluare comenzi: 021 569.72.76

Specificații

ISBN-13: 9781441119117
ISBN-10: 1441119116
Pagini: 210
Dimensiuni: 154 x 232 x 12 mm
Greutate: 0.32 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.