Skip to main content
    • Aa
    • Aa

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.

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


Full text views

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

Abstract views

Total abstract views: 57 *
Loading metrics...

* Views captured on Cambridge Core between September 2016 - 20th September 2017. This data will be updated every 24 hours.