Hostname: page-component-8448b6f56d-c4f8m Total loading time: 0 Render date: 2024-04-17T22:55:17.596Z Has data issue: false hasContentIssue false
  • English
  • Français

The theory of truth tabular connectives, both truth functional and modal

Published online by Cambridge University Press:  12 March 2014

Gerald J. Massey
Gerald J. Massey*
Affiliation:
Michigan State University
Get access Rights & Permissions [Opens in a new window]

Extract

Briefly, the following things are done in this paper. An informal exposition of the significance of partial truth tables in modal logic is presented. The intuitive concept of a truth tabular sentence connective is examined and made precise. From among a vast assortment of truth tabular connectives, the semantically well-behaved ones (called regular connectives) are singled out for close investigation. The familiar concept of functional completeness is generalized to all sets of regular connectives, and the functional completeness (or incompleteness) of selected sets of connectives is established. Some modal analogues of Sheffer's stroke are presented, i.e., single connectives are introduced which serve to define not only the truth functional connectives but all the regular modal connectives as well. The notion of duality is extended to all regular connectives and a general duality theorem is proved. Lastly, simplified proofs are given of several metatheorems about the system S5.

Type
Research Article
Information
The Journal of Symbolic Logic , Volume 31 , Issue 4 , December 1966 , pp. 593 - 608
Copyright
Copyright © Association for Symbolic Logic 1997

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

[0]Carnap, R., Modalities and Quantification, this Journal, v. 11 (1946), pp 33–64.Google Scholar
[1]Church, A., Introduction to Mathematical Logic, Vol. I. Princeton: Princeton U. Press, 1956.Google Scholar
[2]Feys, R., Modal Logics. Louvain: E. Nauwelaerts, 1965.Google Scholar
[3]Kripke, S., A Completeness Theorem in Modal Logic, this Journal, v. 24 (1959), pp. 1–14.Google Scholar
[4]Kripke, S., Semantical Considerations on Modal Logic, Acta Philosophica Fennica, Fasc. 16 (1963), pp. 83–94.Google Scholar
[5]Kripke, S., Semantical Analysis of Modal Logic I, Normal Modal Propositional Calculi, Zeit. für math. Logik und Grundlagen der Math., Bd. 9 (1963), pp. 76–96.Google Scholar
[6]Leonard, H., Two-Valued Truth Tables for Modal Functions in Henle, et al., eds., Structure, Method and Meaning. New York: Liberal Arts Press, 1951.Google Scholar
[7]Quine, W., Methods of Logic. New York: Holt, Rinehart & Winston, 1963.Google Scholar