Corpus ID: 125786466

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
Sextus Empiricus' Fourth Conditional and Containment Logic
  • Yale Weiss
  • 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 theExpand

References

SHOWING 1-10 OF 192 REFERENCES
THE LOGICS OF ANALYTIC EQUIVALENCE
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 ofExpand
Logics and Falsifications
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 thatExpand
ON THE LOGIC OF FACTUAL EQUIVALENCE
  • F. Correia
  • Computer Science
  • The Review of Symbolic Logic
  • 2015
TLDR
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
TLDR
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
TLDR
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
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 aExpand
A History Of Connexivity
  • S. McCall
  • 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 whatExpand
A computational interpretation of conceptivism
TLDR
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
  • Ken Gemes
  • Philosophy, Computer Science
  • J. Philos. Log.
  • 1994
TLDR
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
TLDR
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
...
1
2
3
4
5
...