Skip to main content

Maximal propositions and the coherence theory of truth

  • James B. Freeman (a1) and Charles B. Daniels (a2)

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.

Hide All
[1]Blanshard Brand. The Nature of Thought, Vol. 2. New York: The Macmillan Company, 1939.
[2]Copleston Frederick S.J.A History of Philosophy, Vol. 4. Garden City, N.Y.: Image Books, 1963.
[3]Daniels Charles B., and Freeman James B.Classical Second-Order Intensional Logic with Maximal Propositions.The Journal of Philosophical Logic, 6 (1977), pp. 131
[4]Fine Kit. “Propositional Quantifiers in Modal Logic.” thieoria, 36 (1970), pp. 336–46.
[5]Freeman James B., and Daniels Charles B.A Second-Order Relevance Logic with Modality.” Studia Logica 37 (1978). Forthcoming.
[6]Hamlyn D.W.History of Epistemology.” Encyclopedia of Philosophy, 3 (1967), PP. 838.
[7]Harré R.Pierre Simon de Laplace.” Encyclopedia of Philosophy, 4 (1967), PP. 391–93.
[8]Hempel Carl. “On the Logical Positivists' Theory of Truth.” Analysis, 2 (1934–35). PP. 4959.
[9]Macintyre Alasdair. “Benedict (Baruch) Spinoza.” Encyclopedia of Philosophy, 7 (1967), pp. 530–41.
[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.
[11]Prior A.N.Correspondence Theory of Truth.” Encyclopedia of Philosophy, 2 (1967), pp. 223–32.
[12]Prior A.N.Past, Present, and Future. Oxford: Clarendon Press, 1967.
[13]Rescher Nicholas. The Coherence Theory of Truth. Oxford: The Clarendon Press, 1973.
[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.
[15]Russell Bertrand. An Inquiry into Meaning and Truth. London: George Allen and Unwin Ltd., 1940.
[16]White Alan R.Coherence Theory of Truth.” Encyclopedia of Philosophy, 2 (1967), pp. 130–33.
Recommend this journal

Email your librarian or administrator to recommend adding this journal to your organisation's collection.

Dialogue: Canadian Philosophical Review / Revue canadienne de philosophie
  • ISSN: 0012-2173
  • EISSN: 1759-0949
  • URL: /core/journals/dialogue-canadian-philosophical-review-revue-canadienne-de-philosophie
Please enter your name
Please enter a valid email address
Who would you like to send this to? *


Full text views

Total number of HTML views: 0
Total number of PDF views: 3 *
Loading metrics...

Abstract views

Total abstract views: 67 *
Loading metrics...

* Views captured on Cambridge Core between September 2016 - 21st January 2018. This data will be updated every 24 hours.