A Companion to Philosophical LogicDale Jacquette John Wiley & Sons, 15 avr. 2008 - 832 pages This collection of newly comissioned essays by international contributors offers a representative overview of the most important developments in contemporary philosophical logic.
|
Table des matières
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 | |
Autres éditions - Tout afficher
Expressions et termes fréquents
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 first-order 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 many-valued 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 truth-value Turing Turing’s University Press valid variables