Hostname: page-component-78c5997874-8bhkd Total loading time: 0 Render date: 2024-11-16T16:25:58.375Z Has data issue: false hasContentIssue false

On systems containing Aristotle's thesis

Published online by Cambridge University Press:  12 March 2014

R. Routley
Affiliation:
University of New England University of Canterbury
H. Montgomery
Affiliation:
University of New England University of Canterbury

Extract

“Apart from merits or defects of PA1, however, its existence demonstrates the feasibility of a new approach to the logic of propositions involving the principle of subjunctive contrariety. We thus have good reason to investigate the effect this principle, and a concept of conditionality compatible with it, might exert if introduced into standard quantification theory, into set theory, into modal logic and into epistemology and the philosophy of science.”

Type
Research Article
Copyright
Copyright © Association for Symbolic Logic 1968

Access options

Get access to the full version of this content by using one of the access options below. (Log in options will check for institutional or personal access. Content may require purchase if you do not have access.)

References

[1]Anderson, A. R. and Belnap, N. D. Jr., The pure calculus of entailment, this Journal, vol. 27 (1962), pp. 1952.Google Scholar
[2]Angell, R. B., A propositions logic with subjunctive conditionals, this Journal, vol. 27 (1962), pp. 327343.Google Scholar
[3] Aristotle, Analytica priora.Google Scholar
[4]Church, A., Introduction to mathematical logic, vol. 1, Princeton University Press, Princeton, N.J., 1956.Google Scholar
[5]Downing, P. B., Subjunctive conditionals, time order and causation, Proceedings of the Aristotelian Society (N.S.), vol. LIX (1959).Google Scholar
[6]McCall, Storrs, Connexive implication, this Journal, vol. 31 (1966), pp. 415433.Google Scholar
[7]McCall, Storrs, Connexive implication and the syllogism, Mind (N.S.), vol. 76 (1967), pp. 346356.CrossRefGoogle Scholar
[8]Nelson, E. J., Intensional relations, Mind (N.S.), vol. 39 (1930), pp. 440453.CrossRefGoogle Scholar
[9]Smiley, Timothy, The independence of connectives, this Journal, vol. 27 (1962), pp. 426436.Google Scholar
[10]Strawson, P. F., Introduction to logical theory, Methuen, London, 1952.Google Scholar