The existential assumptions of traditional logic. (English) Zbl 0882.03003
The paper discusses the problem of interpreting traditional logic in the light of the problem of the existential loading of categorical statements. It reviews the various suggestions that have been offered concerning this, and tentatively argues that the best solution is to take the non-emptiness of the subjects, predicates, and their complements, of all categorical statements to be a blanket presupposition of the applicability of the system. The consequence of this is that there is no decision procedure for determining when we can apply the logic and when we cannot.
Reviewer: G.Priest (Brisbane)
MSC:
| 03A05 | Philosophical and critical aspects of logic and foundations |
| 03-03 | History of mathematical logic and foundations |
| 01-02 | Research exposition (monographs, survey articles) pertaining to history and biography |
References:
| [1] | Alexander P., An Introduction to Logic: The Criticism of Arguments (1969) |
| [2] | Aristotle, The Complete Works of Aristotle (1984) · JFM 56.0819.02 |
| [3] | Church A., Logic, Methodology and Philosophy of Science pp 417– (1965) |
| [4] | Clark M., The Place of Syllogistic in Logical Theory (1980) |
| [5] | Coffey P., The Science of Logic (1938) |
| [6] | Cohen M.R., An Introduction to Logic and Scientific Method (1934) · JFM 60.0845.02 |
| [7] | Copi I.M., Introduction to Logic (1953) · Zbl 0057.00501 |
| [8] | Copi I.M., Introduction to Logic (1994) · Zbl 0057.00501 |
| [9] | Corcoran J., Ancient Logic and Its Modern Interpreters pp 85– (1974) |
| [10] | DOI: 10.1515/agph.1968.50.3.275 · doi:10.1515/agph.1968.50.3.275 |
| [11] | Dapunt I., Philosophia Naturalis 11 pp 204– (1969) |
| [12] | Hughes G.E., The Elements of Formal Logic (1965) |
| [13] | DOI: 10.1163/156852879X00180 · doi:10.1163/156852879X00180 |
| [14] | DOI: 10.1007/BF00354910 · doi:10.1007/BF00354910 |
| [15] | Jørgensen J., A Treatise of Formal Logic (1962) |
| [16] | Joyce G.H., Principles of Logic (1908) |
| [17] | Kahane H., Logic and Philosophy: A Modern Introduction (1990) |
| [18] | Kneale W., The Development of Logic (1962) · Zbl 0100.00807 |
| [19] | Lewis C.I., Symbolic Logic (1932) |
| [20] | Łukasiewicz J., Aristotle’s Syllogistic from the Standpoint of Modern Formal Logic (1957) · Zbl 0121.01003 |
| [21] | DOI: 10.2307/2103507 · doi:10.2307/2103507 |
| [22] | DOI: 10.2307/2182696 · doi:10.2307/2182696 |
| [23] | Prior A.N., Formal Logic (1962) · Zbl 0124.00205 |
| [24] | Prior A.N., The Encyclopaedia of Philosophy 5 pp 34– (1967) |
| [25] | Quine W.V.O., From a Logical Point of View pp 1– (1948) |
| [26] | Rescher N., Introduction to Logic (1964) · Zbl 0129.00317 |
| [27] | DOI: 10.2307/2963679 · Zbl 0121.01004 · doi:10.2307/2963679 |
| [28] | DOI: 10.1093/mind/LIX.235.320 · doi:10.1093/mind/LIX.235.320 |
| [29] | Strawson P.F., Introduction to Logical Theory (1952) |
| [30] | DOI: 10.2307/2182795 · doi:10.2307/2182795 |
| [31] | DOI: 10.2307/2182697 · doi:10.2307/2182697 |
| [32] | DOI: 10.1080/01445349008837163 · Zbl 0705.03002 · doi:10.1080/01445349008837163 |
| [33] | Wiebe P.H., Journal of Philosophical Research 16 pp 321– (1990) · doi:10.5840/jpr_1991_4 |
This reference list is based on information provided by the publisher or from digital mathematics libraries. Its items are heuristically matched to zbMATH identifiers and may contain data conversion errors. In some cases that data have been complemented/enhanced by data from zbMATH Open. This attempts to reflect the references listed in the original paper as accurately as possible without claiming completeness or a perfect matching.
