John Corcoran

(1937 - 2021)

Thirteen meanings of 'implication' are described and compared. Among them are relations that have been called: logical implication, material implication,deductive implication, formal implication, enthymemic implication, and factual implication. In a given context, implication is the homogeneous two-place relation expressed by the relation verb 'implies'. For heuristic and expository reasons this article skirts many crucial issues including use-mention, the nature of the entities that imply and are implied, and the processes by which knowledge of these relations are achieved. This paper is better thought of as an early stage of a dialogue than as a definitive treatise.

This interesting and imaginative monograph is based on the author’s PhD dissertation supervised by Saul Kripke. It is dedicated to Timothy Smiley, whose interpretation of PRIOR ANALYTICS informs its approach. As suggested by its title, this short work demonstrates conclusively that Aristotle’s syllogistic is a suitable vehicle for fruitful discussion of contemporary issues in logical theory. Aristotle’s syllogistic is represented by Corcoran’s 1972 reconstruction. The review studies Lear’s treatment of Aristotle’s logic, his appreciation of the Corcoran-Smiley paradigm, and his understanding of modern logical theory. In the process Corcoran and Scanlan present new, previously unpublished results. Corcoran regards this review as an important contribution to contemporary study of PRIOR ANALYTICS: both the book and the review deserve to be better known.

Prior Analytics by the Greek philosopher Aristotle and Laws of Thought by the English mathematician George Boole are the two most important surviving original logical works from before the advent of modern logic. This article has a single goal: to compare Aristotle's system with the system that Boole constructed over twenty-two centuries later intending to extend and perfect what Aristotle had started. This comparison merits an article itself. Accordingly, this article does not discuss many other historically and philosophically important aspects of Boole's book, e.g. his confused attempt to apply differential calculus to logic, his misguided effort to make his system of ‘class logic’ serve as a kind of ‘truth-functional logic’, his now almost forgotten foray into probability theory, or his blindness to the fact that a truth-functional combination of equations that follows from a given truth-functional combination of equations need not follow truth-functionally. One of the main conclusions is that Boole's contribution widened logic and changed its nature to such an extent that he fully deserves to share with Aristotle the status of being a founding figure in logic. By setting forth in clear and systematic fashion the basic methods for establishing validity and for establishing invalidity, Aristotle became the founder of logic as formal epistemology. By making the first unmistakable steps toward opening logic to the study of ‘laws of thought’—tautologies and laws such as excluded middle and non-contradiction—Boole became the founder of logic as formal ontology.… using mathematical methods … has led to more knowledge about logic in one century than had been obtained from the death of Aristotle up to … when Boole's masterpiece was published.Paul Rosenbloom 1950.

Iffication, Preiffication, Qualiffication, Reiffication, and Deiffication. Roughly, iffication is the speech-act in which—by appending a suitable if-clause—the speaker qualifies a previous statement. The clause following if is called the qualiffication. In many cases, the intention is to retract part of the previous statement—called the preiffication. I can retract part of “I will buy three” by appending “if I have money”. This initial study focuses on logical relations among propositional contents of speech-acts—not their full conversational implicatures, which will be treated elsewhere. The modified statement—called the iffication—is never stronger than the preiffication. A degenerate iffication is one logically equivalent to its preiffication. There are limiting cases of degenerate iffications. In one, the qualiffication is tautological, as “I will buy three if three is three”. In another, the negation of the qualiffication implies the preiffication, as “I will buy three if I will not buy three”. Reiffication is iffication of an iffication. “I will buy three if I have money” is reifficated by appending “if there are three left”. Deiffication is the speech-act in which—by appending a suitable and-clause—the effect of an iffication is cancelled so that the result implies the preiffication. “I will buy three if I have money” is deifficated by appending “and I have money”. All further examples come from standard (one-sorted, tenseless, non-modal) first-order arithmetic. All theorems are about first-order arithmetic propositions. An easy theorem, hinted above, is that an iffication is degenerate if and only if the negation of the qualiffication implies the preiffication. The iffication of a conjunction using one of the conjuncts as qualiffication need not imply the other conjunct: “Two is an even square if two is square” does not imply “Two is even”. END OF PRINTED ABSTRACT. Some find that the last statement provides a surprise in logic. https://www.academia.edu/s/a5a4386b75?source=link Acknowledgements: Robert Barnes, William Frank, Amanda Hicks, David Hitchcock, Leonard Jacuzzo, Edward Keenan, Mary Mulhern, Frango Nabrasa, and Roberto Torretti.