Meaning and Proscription in Formal Logic

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.

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

Autorentext
Thomas Macaulay Ferguson received his PhD in philosophy with a focus on philosophical logic from the City University of New York Graduate Center. He has published material on a wide variety of subjects, including theories of semantic information, many-valued model theory, formal epistemology, and non-classical mathematics. He is currently editing the volume Graham Priest on Dialetheism and Paraconsistency (with Can Baskent and Hitoshi Omori), to appear in Springer's Outstanding Contributions to Logic series. He is working as an ontologist for the Cyc artificial intelligence project at Cycorp in Austin and maintains an affiliation as a research scholar with the Saul Kripke Center at CUNY in New York.

Inhalt

Introduction: The Proscriptive Principle.-Nonsense and Proscription.- Metaphysical Considerations on State Space Semantics.- A Computational Interpretation of Conceptivism.- Faulty Belnap Computers and Subsystems of E fde .- Cut-Down Operations on Multilattices.- Correia Semantics Revisited*.- Concluding Remarks.