Authors:
- Offers a monograph-length investigation into the logics of analytic implication
- Supports the rehabilitation of the work of William Parry
- Studies analytic implication in the contexts of computer science and philosophy
- Includes supplementary material: sn.pub/extras
Part of the book series: Trends in Logic (TREN, volume 49)
Buy it now
Buying options
Tax calculation will be finalised at checkout
Other ways to access
This is a preview of subscription content, log in via an institution to check for access.
Table of contents (8 chapters)
-
Front Matter
-
Back Matter
About this book
This book aids in the rehabilitation of the wrongfully deprecated work of William Parry, and is the only full-length investigation into Parry-type propositional logics.
A central tenet of the monograph is that the sheer diversity of the contexts in which the mereological analogy emerges – its effervescence with respect to fields ranging from metaphysics to computer programming – provides compelling evidence that the study of logics of analytic implication can be instrumental in identifying connections between topics that would otherwise remain hidden. More concretely, the book identifies and discusses a host of cases in which analytic implication can play an important role in revealing distinct problems to be facets of a larger, cross-disciplinary problem.
It introduces an element of constancy and cohesion that has previously been absent in a regrettably fractured field, shoring up those who are sympathetic to the worth of mereological analogy. Moreover, it generates new interest in the field by illustrating a wide range of interesting features present in such logics – and highlighting these features to appeal to researchers in many fields.Keywords
- William T. Parry on Analytic Implication
- Containment Logic
- Conceptivist Theories of Entailment
- Relevant Entailment
- Rivals to Relevant Logics
- Meaningfulness and Logic
- Alternative Interpretations of Disjunction
- Kit Fine’s truthmaker semantics
- Failure of disjunctive addition
- Infectiousness of nonsense
- Positivism, inference, and category mistakes
- Computational interpretations of logic
- Richard Angell on analytic containment
- Constructive nonsense logics
- Faulty Belnap computers
- cognate implication
- William Parry mathematics
- William Parry computer science
- William Parry philosophy
- William Parry mereology
Reviews
Authors and Affiliations
-
Cycorp, Inc., Cycorp and Saul Kripke Center, Austin, USA
Thomas Macaulay Ferguson
About the author
Bibliographic Information
Book Title: Meaning and Proscription in Formal Logic
Book Subtitle: Variations on the Propositional Logic of William T. Parry
Authors: Thomas Macaulay Ferguson
Series Title: Trends in Logic
DOI: https://doi.org/10.1007/978-3-319-70821-8
Publisher: Springer Cham
eBook Packages: Mathematics and Statistics, Mathematics and Statistics (R0)
Copyright Information: Springer International Publishing AG 2017
Hardcover ISBN: 978-3-319-70820-1Published: 01 February 2018
Softcover ISBN: 978-3-319-88997-9Published: 06 June 2019
eBook ISBN: 978-3-319-70821-8Published: 22 December 2017
Series ISSN: 1572-6126
Series E-ISSN: 2212-7313
Edition Number: 1
Number of Pages: XIII, 198
Number of Illustrations: 9 b/w illustrations
Topics: Logic, Logic Design, Mathematical Applications in Computer Science, Mathematical Logic and Formal Languages, Analytic Philosophy