# The Proscriptive Principle and Logics of Analytic Implication

@inproceedings{Ferguson2017ThePP, title={The Proscriptive Principle and Logics of Analytic Implication}, author={Thomas Macaulay Ferguson}, year={2017} }

The Proscriptive Principle and Logics of Analytic Implication by Thomas Macaulay Ferguson Adviser: Professor Graham Priest The analogy between inference and mereological containment goes at least back to Aristotle, whose discussion in the Prior Analytics motivates the validity of the syllogism by way of talk of parts and wholes. On this picture, the application of syllogistic is merely the analysis of concepts, a term that presupposes—through the root ἀνά + λύω —a mereological background. In… Expand

#### One Citation

Sextus Empiricus' Fourth Conditional and Containment Logic

- Philosophy
- History and Philosophy of Logic
- 2019

In his Outlines of Pyrrhonism 2.110–113, Sextus Empiricus presents four different accounts of the conditional, presumably all from the Hellenistic period, in increasing logical strength. While the… Expand

#### References

SHOWING 1-10 OF 192 REFERENCES

THE LOGICS OF ANALYTIC EQUIVALENCE

- Mathematics
- 2008

A notion of so-called analytic equivalence is considered, in the form of Suszko's connective of propositional identity. Two axiomatic strengthenings of the Sen- tential Calculus with Identity of… Expand

Logics and Falsifications

- Mathematics
- 2014

This volume examines the concept of falsification as a central notion of semantic theories and its effects on logical laws. The point of departure is the general constructivist line of argument that… Expand

ON THE LOGIC OF FACTUAL EQUIVALENCE

- Computer Science
- The Review of Symbolic Logic
- 2015

The system for factual equivalence advocated in this paper is a proper fragment of the first-degree system for the logic of analytic equivalence put forward in the late seventies by R. B. Angell. Expand

Deducibility, Entailment and Analytic Containment

- Computer Science
- 1989

The concepts of deducibility and containment are two distinct concepts, and the failure to distinguish them leads to faulty attempts to merge them in formal systems. Expand

PARACONSISTENCY AND ANALYTICITY

- Computer Science
- 2004

A system of analytic, paraconsistent and quasi-classical propositional logic that does not validate the paradoxes of Parry’s analytic implication is introduced. Expand

Logic and contingent existence

- Mathematics
- 1980

It is argued here that Prior's non-standard modal system Q, and the Parry–Dunn system of analytic implication, though entirely independent and independently motivated systems, together provide a… Expand

A History Of Connexivity

- Computer Science, Mathematics
- Logic: A History of its Central Concepts
- 2012

Connexive implication is a type of implication first defined in the 4th Century B.C., a time of active debate when it was said that the very crows on the rooftops were croaking about what… Expand

A computational interpretation of conceptivism

- Computer Science
- J. Appl. Non Class. Logics
- 2014

This paper examines a number of prima facie unrelated deductive contexts in which Addition fails and attempts to harmonise them by developing a computational interpretation of conceptivist logics. Expand

A new theory of content I: Basic content

- Philosophy, Computer Science
- J. Philos. Log.
- 1994

An alternative notion of (basic) content is presented which better fits the authors' intuitions about content and better serves the formal needs of philosophers of science. Expand

Constructible Falsity and Inexact Predicates

- Mathematics, Computer Science
- J. Symb. Log.
- 1984

In 1949 Nelson's paper showed that N may be interpreted with concepts for constructive truth ( P -realizability) and falsity ( N -realization) and these mappings are easily adapted to pure predicate calculus. Expand