Hostname: page-component-8448b6f56d-c4f8m Total loading time: 0 Render date: 2024-04-18T14:57:43.076Z Has data issue: false hasContentIssue false
  • English
  • Français

A propositional logic with subjunctive conditionals

Published online by Cambridge University Press:  12 March 2014

R. B. Angell
R. B. Angell*
Affiliation:
Ohio Wesleyan University
Get access Rights & Permissions [Opens in a new window]

Extract

In this paper a formalized logic of propositions, PA1, is presented. It is proven consistent and its relationships to traditional logic, to PM ([15]), to subjunctive (including contrary-to-fact) implication and to the “paradoxes” of material and strict implication are developed. Apart from any intrinsic merit it possesses, its chief significance lies in demonstrating the feasibility of a general logic containing the principle of subjunctive contrariety, i.e., the principle that ‘If p were true then q would be true’ and ‘If p were true then q would be false’ are incompatible.

Type
Research Article
Information
The Journal of Symbolic Logic , Volume 27 , Issue 3 , September 1962 , pp. 327 - 343
Copyright
Copyright © Association for Symbolic Logic 1962

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]Ackermann, W., Begründung einer strengen Implikation, this Journal, vol. 21 (1956), pp. 113–128.Google Scholar
[2]Anderson, Alan Ross and Belnap, Nuel D., A modification of Ackermann's “rigorous implication,” [abstract], this Journal, vol. 23 (1958), pp. 457–458.Google Scholar
[3]Belnap, Nuel D. Jr., Entailment and relevance, forthcoming in this Journal.Google Scholar
[4]Burks, Arthur, The logic of causal propositions, Mind, n.s. vol. 60 (1951), pp. 363–383.CrossRefGoogle Scholar
[5]Church, Alonzo, Introduction to mathematical logic, Vol. 1 (1956).Google Scholar
[6]Copi, Irving, Symbolic logic (1954).Google Scholar
[7]Downing, P. B., Subjunctive conditionals, time order and causation, Proceedings of the Aristotelian Society, n.s. vol. LIX (1959).Google Scholar
[8]Lewis, C. I., Implication and the algebra of logic, Mind, vol. 21 (1912), pp. 522–531.CrossRefGoogle Scholar
[9]Lewis, C. I., Survey of symbolic logic (1918).CrossRefGoogle Scholar
[10]Lewis, C. I. and Langford, C. H., Symbolic logic (1932).Google Scholar
[11]Nelson, Everett J., Intensional relations, Mind, n.s. vol. 39 (1930), pp. 440–453.CrossRefGoogle Scholar
[12]Nelson, Everett J., Three logical principles of intension, Monist, vol. 43 (1933), pp. 268–284.CrossRefGoogle Scholar
[13]Rosser, J. Barkley, Logic for mathematicians (1953).Google Scholar
[14]Strawson, P. F., Introduction to logical theory (1952).Google Scholar
[15]Whitehead, A. N. and Russell, Bertrand, Principia mathematica, Vol. 1 (1925).Google Scholar