Hostname: page-component-8448b6f56d-dnltx Total loading time: 0 Render date: 2024-04-23T11:29:24.442Z Has data issue: false hasContentIssue false

Maximal propositions and the coherence theory of truth

Published online by Cambridge University Press:  05 May 2010

James B. Freeman
Affiliation:
University of Victoria
Charles B. Daniels
Affiliation:
Victoria, B.C.

Extract

In the Tractatus, Wittgenstein maintains that “The world is all that is the case.” Some philosophers have seen an advantage in introducing into a formal language either a constant which will represent the world, or an operator, e.g., ‘Max’, such that (Max p) indicates that p gives a complete description of the actual world, of the world at some instant of time, or of a possible world. Such propositions are called world propositions, possible world propositions, or maximal propositions. For us, a maximal proposition is a possible world proposition; it gives a complete description of one way the world might be. A maximal proposition p is not logically false, and for any proposition q, either p entails q or p entails not-q.

Type
Articles
Copyright
Copyright © Canadian Philosophical Association 1978

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

BIBLIOGRAPHY

[1]Blanshard, Brand. The Nature of Thought, Vol. 2. New York: The Macmillan Company, 1939.Google Scholar
[2]Copleston, Frederick S.J.A History of Philosophy, Vol. 4. Garden City, N.Y.: Image Books, 1963.Google Scholar
[3]Daniels, Charles B., and Freeman, James B.Classical Second-Order Intensional Logic with Maximal Propositions.The Journal of Philosophical Logic, 6 (1977), pp. 131CrossRefGoogle Scholar
[4]Fine, Kit. “Propositional Quantifiers in Modal Logic.” thieoria, 36 (1970), pp. 336–46.CrossRefGoogle Scholar
[5]Freeman, James B., and Daniels, Charles B.A Second-Order Relevance Logic with Modality.” Studia Logica 37 (1978). Forthcoming.Google Scholar
[6]Hamlyn, D.W.History of Epistemology.” Encyclopedia of Philosophy, 3 (1967), PP. 838.Google Scholar
[7]Harré, R.Pierre Simon de Laplace.” Encyclopedia of Philosophy, 4 (1967), PP. 391–93.Google Scholar
[8]Hempel, Carl. “On the Logical Positivists' Theory of Truth.” Analysis, 2 (1934–35). PP. 4959.CrossRefGoogle Scholar
[9]Macintyre, Alasdair. “Benedict (Baruch) Spinoza.” Encyclopedia of Philosophy, 7 (1967), pp. 530–41.Google Scholar
[10]Meredith, C. A., and Prior, A.N.Modal Logic with Functorial Variables and a Contingent Constant.” Notre Dame Journal of Formal Logic, 6 (1965), pp. 99109.CrossRefGoogle Scholar
[11]Prior, A.N.Correspondence Theory of Truth.” Encyclopedia of Philosophy, 2 (1967), pp. 223–32.Google Scholar
[12]Prior, A.N.Past, Present, and Future. Oxford: Clarendon Press, 1967.CrossRefGoogle Scholar
[13]Rescher, Nicholas. The Coherence Theory of Truth. Oxford: The Clarendon Press, 1973.Google Scholar
[14]Routley, Richard, and Meyer, Robert K. “The Semantics of Entailment — I.” Truth, Syntax, Modality. Edited by Leblanc, H.. Amsterdam: North-Holland Publishing Company, 1973, pp. 199243.CrossRefGoogle Scholar
[15]Russell, Bertrand. An Inquiry into Meaning and Truth. London: George Allen and Unwin Ltd., 1940.Google Scholar
[16]White, Alan R.Coherence Theory of Truth.” Encyclopedia of Philosophy, 2 (1967), pp. 130–33.Google Scholar