Skip to main content
    • Aa
    • Aa

Maximal propositions and the coherence theory of truth

  • James B. Freeman (a1) and Charles B. Daniels (a2)
  • DOI:
  • Published online: 01 May 2010

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.

Linked references
Hide All

This list contains references from the content that can be linked to their source. For a full set of references and notes please see the PDF or HTML where available.

[3]Charles B. Daniels , and James B. Freeman Classical Second-Order Intensional Logic with Maximal Propositions.The Journal of Philosophical Logic, 6 (1977), pp. 131

[4]Kit Fine . “Propositional Quantifiers in Modal Logic.” thieoria, 36 (1970), pp. 336–46.

[8]Carl Hempel . “On the Logical Positivists' Theory of Truth.” Analysis, 2 (1934–35). PP. 4959.

[10]C. A. Meredith , and A.N. Prior Modal Logic with Functorial Variables and a Contingent Constant.” Notre Dame Journal of Formal Logic, 6 (1965), pp. 99109.

[12]A.N. Prior Past, Present, and Future. Oxford: Clarendon Press, 1967.

[14]Richard Routley , and Robert K. Meyer “The Semantics of Entailment — I.” Truth, Syntax, Modality. Edited by H. Leblanc . Amsterdam: North-Holland Publishing Company, 1973, pp. 199243.

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? *