Screen LibraryA Companion to philosophical logic
This collection of newly commissioned essays by international contributors offers a representative overview of the most important developments in contemporary philosophical logic. Written by experts from a variety of different logical and philosophical perspectives, the volume presents controversies...
Saved in:
| Corporate Authors: | |
|---|---|
| Group Author: | |
| Published: |
|
| Literature type: | Electronic eBook |
| Language: | English |
| Series: |
Blackwell companions to philosophy ;
22 |
| Subjects: | |
| Online Access: |
http://onlinelibrary.wiley.com/book/10.1002/9780470996751 |
| Summary: |
This collection of newly commissioned essays by international contributors offers a representative overview of the most important developments in contemporary philosophical logic. Written by experts from a variety of different logical and philosophical perspectives, the volume presents controversies in philosophical implications and applications of formal symbolic logic. Each section features contributors currently active in research who explain the central ideas of their special field and take a philosophical stand on recent issues in the intersection of logic and analytic philosophy. |
| Carrier Form: | xiii, 816 pages : illustrations ; 25 cm. |
| Bibliography: | Includes bibliographical references and index. |
| ISBN: |
9780470996751 0470996757 1405149949 9781405149945 9781405164467 1405164468 |
| Index Number: | BC71 |
| CLC: | B81 |
| Contents: |
Introduction: Logic, philosophical logic / Ancient greek philosophical logic / History of logic: medieval / The rise of modern logic / Language, logic, and form / Puzzles about intensionality / Symbolic logic and natural language / Logical paradoxes / Semantical and logical paradox / Philosophical implications of logical paradoxes / Truth, the liar, and Tarski's semantics / Descriptions and logical form / Russell's theory of definite descriptions as a paradigm for philosophy / Necessity, meaning, and rationality: the notion of logical consequence / Varieties of consequence / Modality of deductively valid inference / Quantifiers, being, and canonical notation / From logic to ontology: some problems of prediction, negation, and possibility / Putting language first: the 'liberation' of logic from ontology / Metatheory / Metatheory of logics and the characterization problem / Logic in finite structures: definability, complexity, and randomness / Logic and ontology: numbers and sets / Logical foundations of set theory and mathematics / Property-theoretic foundations of mathematics / Modal logic / First-order alethic modal logic / Proofs and expressiveness in alethic modal logic / Alethic modal logics and semantics / Epistemic logic / Deontic, Epistemic, Temporal modal logics / Intuitonism / Many-valued, free, and intuitionistic logics / Many-valued logic / Inductive logic / Heterodox probability theory / Why fuzzy logic? / Revelance logic / On paraconsistency / Logicians setting together contradictories: a perspective on relevance, paraconsistency, and dialetheism / The logical and physical / Modern logic and its role in the study of knowledge / Actions and normative positions: a modal-logical approach / The automation of sound reasoning and successful proof finding / A computational logic for applicative common LISP / Sampling labeled deductive systems / |