Meaning and Proscription in Formal Logic
Thomas Macaulay , Ferguson
Engels | 01-02-2018 | 212 pagina's
9783319708201
Hardback
€ 53,49
Retourtermijn binnen 14 dagen
Verzendkosten €1,95 | Gratis verzending boven de €24,99
Tekst achterflap
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.
Biografie
Kenmerk
The monograph-length investigation into the logics of analytic implication
Supports the rehabilitation of the work of William Parry
Studies analytic implication in the contexts in computer science, philosophy.
Inhoudsopgave
Introduction: The Proscriptive Principle.-Nonsense and Proscription*.- Metaphysical Considerations on State Space Semantics.- A Computational Interpretation of Conceptivism*.- Faulty Belnap Computers and Subsystems of Efde*.- Cut-Down Operations on Multilattices*.- Correia Semantics Revisited*.- Concluding Remarks.
Details
EAN : | 9783319708201 |
Uitgever : | Springer International Publishing-Springer International Publishing-Springer International Publishing AG |
Publicatie datum : | 01-02-2018 |
Uitvoering : | Hardback |
Taal/Talen : | Engels |
Hoogte : | 241 mm |
Breedte : | 160 mm |
Dikte : | 18 mm |
Gewicht : | 489 gr |
Status : | POD (Beschikbaar als print-on-demand.) |
Aantal pagina's : | 212 |
Keywords : | Alternative Interpretations of Disjunction; Computational interpretations of logic; Conceptivist Theories of Entailment; Constructive nonsense logics; Containment Logic; Failure of disjunctive addition; Faulty Belnap computers; Infectiousness of nonsense; Kit Fine's truthmaker semantics; Meaningfulness and Logic; Positivism inference and category mistakes; Relevant Entailment; Richard Angell on analytic containment; Rivals to Relevant Logics; William Parry computer science; William Parry mathematics; William Parry mereology; William Parry philosophy; William T. Parry on Analytic Implication; cognate implication |