A Theory of Propositions

Nicholas J.J. Smith

DOI: http://dx.doi.org/10.12775/LLP.2015.021


In this paper I present a new theory of propositions, according to which propositions are abstract mathematical objects: well-formed formulas together with models. I distinguish the theory from a number of existing views and explain some of its advantages  chief amongst which are the following. On this view, propositions are unified and intrinsically truth-bearing. They are mind- and language-independent and they are governed by logic. The theory of propositions is ontologically innocent. It makes room for an appropriate interface with formal semantics and it does not enforce an overly fine or overly coarse level of granularity.


propositions; models; well-formed formulas; logic

Full Text:



Joseph Almog, John Perry, and Howard Wettstein (eds.), Themes From Kaplan, Oxford University Press, New York, 1989.

Aristotle, Prior Analytics, c. 350 bc, in [3], vol. 1.

Jonathan Barnes (ed.), The Complete Works of Aristotle: The Revised Oxford Translation, Princeton University Press, Princeton NJ, 1984.

George Bealer, “A solution to Frege’s puzzle”, Philosophical Perspectives, 7 (1993): 17–60.

Paul Benacerraf, “What numbers could not be”, Philosophical Review, 74 (1965): 47–73.

Paul Benacerraf, “Mathematical truth”, Journal of Philosophy, 70, 19 (1973): 661–679.

David M. Braun, “Understanding belief reports”, Philosophical Review, 107, 4 (1998): 555–95.

Rachael Briggs and Mark Jago, “Propositions and same-saying: Introduction”, Synthese, 189, 1 (2012): 1–10. DOI: 10.1007/s11229-012-0091-1

Herman Cappelen and Josh Dever, “Believing in words”, Synthese, 127 (2001): 279–301.

Alonzo Church, “On Carnap’s analysis of statements of assertion and belief”, Analysis, 10, 5) (1950): 97–99.

J. Collins, “Expressions, sentences, propositions”, Erkenntnis, 59, 2 (2003): 233–262.

M.J. Cresswell, Structured Meanings: The Semantics of Propositional Attitudes, MIT Press, Cambridge MA, 1985.

Gareth Evans, “Understanding demonstratives”, pages 280–304 in Herman Parret and Jacques Bouveresse (eds.), Meaning and Understanding, W. de Gruyter, Berlin, 1981.

Hartry Field, Realism, Mathematics, and Modality, Basil Blackwell, Oxford, 1989.

Hartry Field, “The normative role of logic”, Proceedings of the Aristotelian Society – Supplementary Volume, 83, 1 (2009): 251–268.

Gottlob Frege, “On sense and meaning” (1892), pages 157–177 in [18].

Gottlob Frege, The Basic Laws of Arithmetic: Exposition of the System, University of California Press, Berkeley, 1964. Edited and translated by Montgomery Furth; originally published in German as Grundgesetze der Arithmetik in 1893 (volume I) and 1903 (volume II).

Gottlob Frege, Collected Papers on Mathematics, Logic, and Philosophy, Basil Blackwell, Oxford, 1984. Edited by Brian McGuinness; translated by Max Black et al.

Peter W. Hanks, “The content–force distinction”, Philosophical Studies, 134, 2 (2007): 141–64.

Peter W. Hanks, “Structured propositions as types”, Mind, 120, 477 (2011): 11–52.

Gilbert Harman, “Logical form”, Foundations of Language, 9 (1972): 38–65.

Gilbert Harman, Change in View: Principles of Reasoning, MIT Press, Cambridge MA, 1986.

Gilbert Harman, “Field on the normative role of logic”, Proceedings of the Aristotelian Society, 109 (2009): 333–5. DOI: 10.1111/j.1467-9264.2009.00271.x

Richard G. Heck, ‘Do demonstratives have senses?” Philosophers’ Imprint, 2, 2 (2002): 1–33.

James Higginbotham, “Linguistic theory and Davidson’s program in semantics”, pages 29–48 in Ernest Lepore (ed.), Truth and Interpretation: Perspectives on the Philosophy of Donald Davidson, Blackwell, 1986.

James Higginbotham, “Belief and logical form”, Mind and Language, 6, 4 (1991): 344–369.

James Higginbotham, “Remarks on the metaphysics of linguistics”, Linguistics and Philosophy, 14, 5 (1991): 555–566.

James Higginbotham, “Sententialism: The thesis that complement clauses refer to themselves”, Philosophical Issues, 16 (2006): 101–19.

Michael Jubien, “Propositions and the objects of thought”, Philosophical Studies, 104, 1 (2001): 47–62.

David Kaplan, “Demonstratives” (1977), pages 481–563 in [1].

Jerrold J. Katz and Paul M. Postal, “Realism vs. conceptualism in linguistics”, Linguistics and Philosophy, 14, 5 (1991): 515–554.

Jeffrey C. King, The Nature and Structure of Content, Oxford University Press, 2007.

Jeffrey C. King, “Questions of unity”, Proceedings of the Aristotelian Society, 109 (2009): 257–277.

Saul A. Kripke, “A puzzle about belief”, pages 239–283 in A. Margalit (ed.), Meaning and Use, Reidel, 1979.

Richard Larson and Peter Ludlow, “Interpreted logical forms”, Synthese, 95, 3 (1993): 305–355.

Richard Larson and Gabriel Segal, Knowledge of Meaning, MIT Press, Cambridge MA, 1995.

David Lewis, “Index, context, and content”, in Stig Kanger and Sven Öhman (eds.), Philosophy and Grammar. Reidel, Dordrecht, 1980. Reprinted in Lewis [39] 21–44; page references to latter.

David Lewis, On the Plurality of Worlds, Basil Blackwell, Oxford, 1986.

David Lewis, Papers in Philosophical Logic, Cambridge University Press, Cambridge, 1998.

Friederike Moltmann, “Propositional attitudes without propositions”, Synthese, 135, 1 (2003): 77–118.

Friederike Moltmann, Abstract Objects and the Semantics of Natural Language, Oxford University Press, Oxford, 2013.

Richard Montague, “Syntactical treatments of modality, with corollaries on reflexion principles and finite axiomatizability”, Acta Philosophica Fennica, 16 (1963): 153–167.

Richard Montague, “The proper treatment of quantification in ordinary english”, pages 221–242 in Patrick Suppes, Julius Moravcsik, and Jaakko Hintikka (eds.), Approaches to Natural Language, volume 49, Dordrecht, 1973.

John Perry, “Frege on demonstratives”, Philosophical Review, 86, 4 (1977): 474–497.

John Perry, “The problem of the essential indexical”, Noûs, 13 (1979): 3–21.

Brian Rabern, “Against the identification of assertoric content with compositional value”, Synthese, 189, 1 (2012): 75–96. DOI: 10.1007/s11229-012-0096-9

Mark E. Richard, Propositional Attitudes: An Essay on Thoughts and How We Ascribe Them, Cambridge University Press, 1990.

David Ripley, “Against structured propositions”, 2012. https://sites.google.com/site/davewripley/papers

Gillian K. Russell, “Metaphysical analyticity and the epistemology of logic”, Philosophical Studies, 171, 1 (2014): 161–75. DOI: 10.1007/s11098-013-0255-y

Nathan Salmon, Frege’s Puzzle, MIT Press, Cambridge MA, 1986.

Nathan Salmon, “The very possibility of language: A sermon on the consequences of missing Church”, in C. Anthony Anderson and Michael Zelëny (eds.), Logic, Meaning and Computation: Essays in Memory of Alonzo Church, Kluwer, 2001.

Stephen Schiffer, The Things We Mean, Oxford University Press, 2003.

Gabriel Segal, “A preference for sense and reference”, Journal of Philosophy, 86, 2 (1989): 73–89.

Nicholas J.J. Smith, “Frege’s judgement stroke”, Australasian Journal of Philosophy, 78 (2000): 153–75.

Nicholas J.J. Smith, Vagueness and Degrees of Truth, Oxford University Press, Oxford, 2008. Paperback 2013.

Nicholas J.J. Smith, “Frege’s judgement stroke and the conception of logic as the study of inference not consequence”, Philosophy Compass, 4 (2009): 639–65.

Nicholas J.J. Smith, Logic: The Laws of Truth, Princeton University Press, Princeton, 2012.

Peter Smith, “Notes on ‘the contemporary conception of logic’”, August 2013. http://www.logicmatters.net/resources/pdfs/TextbooksOnLogic.pdf

Scott Soames, Beyond Rigidity: The Unfinished Semantic Agenda of “Naming and Necessity”, Oxford University Press, Oxford, 2002.

Scott Soames, What is Meaning?, Princeton University Press, 2010.

Scott Soames, “Cognitive propositions”, Philosophical Perspectives, 27, 1 (2013): 479–501. DOI: 10.1111/phpe.12030

Alfred Tarski, “On the concept of logical consequence”, (1936), pages 409–420 in [63].

Alfred Tarski, Logic, Semantics, Metamathematics: Papers from 1923 to 1938, Clarendon Press, Oxford, 1956. Translated by J.H. Woodger.

Richmond H. Thomason, “Indirect discourse is not quotational”, Monist, 60 (1977): 340–354.

Richmond H. Thomason, “A model theory for propositional attitudes”, Linguistics and Philosophy, 4 (1980): 47–70.

Clas Weber, “Eternalism and propositional multitasking: in defence of the operator argument”, Synthese, 189, 1 (2012): 199–219. DOI: 10.1007/s11229-012-0092-0

ISSN: 1425-3305 (print version)

ISSN: 2300-9802 (electronic version)

Partnerzy platformy czasopism