A Companion to Philosophical LogicThis collection of newly comissioned essays by international contributors offers a representative overview of the most important developments in contemporary philosophical logic.

What people are saying  Write a review
We haven't found any reviews in the usual places.
Contents
1  
9  
Part II Symbolic Logic and Ordinary Language  49 
Part III Philosophical Dimensions of Logical Paradoxes  103 
Part IV Truth and Definite Description in Semantic Analysis  143 
Part V Concepts of Logical Consequence  225 
Part VI Logic Existence and Ontology  263 
Part VII Metatheory and the Scope and Limits of Logic  305 
Part IX Modal Logics and Semantics  389 
Part X Intuitionistic Free and ManyValued Logics  511 
Part XI Inductive Fuzzy and Quantum Probability Logics  563 
Part XII Relevance and Paraconsistent Logics  607 
Part XIII Logic Machine Theory and Cognitive Science  665 
Part XIV Mechanization of Logical Inference and Proof Discovery  707 
771  
776  
Other editions  View all
Common terms and phrases
ACL2 analysis apply argument assertion assumption atomic axiomatic axioms believe Cambridge Carnap classical logic complete concept consequence relation deduction defined definite descriptions denotes deontic deontic logic disjunction domain Dordrecht epistemic example existence expressions extension fact false finite firstorder logic formal formula free logic Frege function fuzzy given Gödel implication inconsistent induction inference infinite interpretation intuitionistic intuitionistic logic intuitive Kripke Kripke’s L´ukasiewicz Liar Paradox logical form logicians manyvalued mathematical means modal logic modus ponens natural language natural numbers negation notion objects ontological Oxford paraconsistent logic paradox Philosophical Logic possible worlds predicate logic premises principle probability problem proof proposition quantifiers Quine reasoning reference relevance logic rules Russell Russell’s satisfies semantics sentence sequence set theory structure Symbolic Logic syntactic Tarski theorem tion true truth truthvalue Turing Turing’s University Press valid variables