# zbMATH — the first resource for mathematics

A theory of propositions. (English) Zbl 1368.03010
This paper proposes that we should take a proposition to be an ordered pair whose first member is a well-formed formula (of some appropriate formal language) and whose second member is a model (in the sense of model theory) of the fragment of the formal language needed to form that wff. It then argues cogently that a proposition so understood can fulfill the roles usually ascribed to propositions:
(i)
They are the objects of such attitudes as belief and desire.
(ii)
They are expressed by (declarative) sentences uttered in contexts.
(iii)
They can be expressed in different languages and can be the objects of belief (etc.) of different agents.
(iv)
They are the primary bearers of truth values.
(v)
They are the objects of logic and of properties such as logical truth and satisfaction and of relations such as logical consequence and equivalence, when logic is used to provide norms for rationality and to explain behavior.
The concept of proposition proposed is then distinguished from rival concepts prominent in current or historical discussions, and its advantages over them explained. The final part of the paper explains how the paper does not do more than what it proposes, because doing so would have the effect of limiting the generality and consequently the usefulness of the concept of proposition defined.
##### MSC:
 03A05 Philosophical and critical aspects of logic and foundations 03B05 Classical propositional logic
##### Keywords:
propositions; models; well-formed formulas; logic
Full Text:
##### References:
 [1] Joseph Almog, John Perry, and Howard Wettstein (eds.), Themes From Kaplan, Oxford University Press, New York, 1989 [2] Aristotle, Prior Analytics, c. 350 bc, in [3], vol. 1 [3] Jonathan Barnes (ed.), The Complete Works of Aristotle: The Revised Oxford Translation, Princeton University Press, Princeton NJ, 1984 [4] George Bealer, ”A solution to Frege’s puzzle”, Philosophical Perspectives, 7 (1993): 17-60 [5] Paul Benacerraf, ”What numbers could not be”, Philosophical Review, 74 (1965): 47-73 [6] Paul Benacerraf, ”Mathematical truth”, Journal of Philosophy, 70, 19 (1973): 661-679 [7] David M. Braun, ”Understanding belief reports”, Philosophical Review, 107, 4 (1998): 555-95 [8] Rachael Briggs and Mark Jago, ”Propositions and same-saying: Introduction”, Synthese, 189, 1 (2012): 1-10 · Zbl 1298.00238 · doi:10.1007/s11229-012-0091-1 [9] Herman Cappelen and Josh Dever, ”Believing in words”, Synthese, 127 (2001): 279-301 · Zbl 0976.03501 [10] Alonzo Church, ”On Carnap’s analysis of statements of assertion and belief”, Analysis, 10, 5) (1950): 97-99 [11] J. Collins, ”Expressions, sentences, propositions”, Erkenntnis, 59, 2 (2003): 233-262 [12] M.J. Cresswell, Structured Meanings: The Semantics of Propositional Attitudes, MIT Press, Cambridge MA, 1985 [13] Gareth Evans, ”Understanding demonstratives”, pages 280-304 in Herman Parret and Jacques Bouveresse (eds.), Meaning and Understanding, W. de Gruyter, Berlin, 1981 [14] Hartry Field, Realism, Mathematics, and Modality, Basil Blackwell, Oxford, 1989 [15] Hartry Field, ”The normative role of logic”, Proceedings of the Aristotelian Society - Supplementary Volume, 83, 1 (2009): 251-268 · Zbl 1184.03004 [16] Gottlob Frege, ”On sense and meaning” (1892), pages 157-177 in [18] [17] 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) [18] Gottlob Frege, Collected Papers on Mathematics, Logic, and Philosophy, Basil Blackwell, Oxford, 1984. Edited by Brian McGuinness; translated by Max Black et al · Zbl 0652.01036 [19] Peter W. Hanks, ”The content-force distinction”, Philosophical Studies, 134, 2 (2007): 141-64 [20] Peter W. Hanks, ”Structured propositions as types”, Mind, 120, 477 (2011): 11-52 [21] Gilbert Harman, ”Logical form”, Foundations of Language, 9 (1972): 38-65 [22] Gilbert Harman, Change in View: Principles of Reasoning, MIT Press, Cambridge MA, 1986 [23] 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 [24] Richard G. Heck, ’Do demonstratives have senses?” Philosophers’ Imprint, 2, 2 (2002): 1-33 [25] 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 [26] James Higginbotham, ”Belief and logical form”, Mind and Language, 6, 4 (1991): 344-369 [27] James Higginbotham, ”Remarks on the metaphysics of linguistics”, Linguistics and Philosophy, 14, 5 (1991): 555-566 [28] James Higginbotham, ”Sententialism: The thesis that complement clauses refer to themselves”, Philosophical Issues, 16 (2006): 101-19 [29] Michael Jubien, ”Propositions and the objects of thought”, Philosophical Studies, 104, 1 (2001): 47-62 [30] David Kaplan, ”Demonstratives” (1977), pages 481-563 in [1] [31] Jerrold J. Katz and Paul M. Postal, ”Realism vs. conceptualism in linguistics”, Linguistics and Philosophy, 14, 5 (1991): 515-554 [32] Jeffrey C. King, The Nature and Structure of Content, Oxford University Press, 2007 [33] Jeffrey C. King, ”Questions of unity”, Proceedings of the Aristotelian Society, 109 (2009): 257-277 [34] Saul A. Kripke, ”A puzzle about belief”, pages 239-283 in A. Margalit (ed.), Meaning and Use, Reidel, 1979 [35] Richard Larson and Peter Ludlow, ”Interpreted logical forms”, Synthese, 95, 3 (1993): 305-355 [36] Richard Larson and Gabriel Segal, Knowledge of Meaning, MIT Press, Cambridge MA, 1995 [37] 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 [38] David Lewis, On the Plurality of Worlds, Basil Blackwell, Oxford, 1986 [39] David Lewis, Papers in Philosophical Logic, Cambridge University Press, Cambridge, 1998 · Zbl 0914.01028 [40] Friederike Moltmann, ”Propositional attitudes without propositions”, Synthese, 135, 1 (2003): 77-118 · Zbl 1024.03512 [41] Friederike Moltmann, Abstract Objects and the Semantics of Natural Language, Oxford University Press, Oxford, 2013 · Zbl 0900.68338 [42] Richard Montague, ”Syntactical treatments of modality, with corollaries on reflexion principles and finite axiomatizability”, Acta Philosophica Fennica, 16 (1963): 153-167 · Zbl 0117.01302 [43] 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 [44] John Perry, ”Frege on demonstratives”, Philosophical Review, 86, 4 (1977): 474-497 [45] John Perry, ”The problem of the essential indexical”, Noûs, 13 (1979): 3-21 [46] Brian Rabern, ”Against the identification of assertoric content with compositional value”, Synthese, 189, 1 (2012): 75-96 · Zbl 1284.03085 · doi:10.1007/s11229-012-0096-9 [47] Mark E. Richard, Propositional Attitudes: An Essay on Thoughts and How We Ascribe Them, Cambridge University Press, 1990 [48] David Ripley, ”Against structured propositions”, 2012 · Zbl 1284.03088 · sites.google.com [49] Gillian K. Russell, ”Metaphysical analyticity and the epistemology of logic”, Philosophical Studies, 171, 1 (2014): 161-75 · doi:10.1007/s11098-013-0255-y [50] Nathan Salmon, Frege’s Puzzle, MIT Press, Cambridge MA, 1986 [51] 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 · Zbl 1019.03500 [52] Stephen Schiffer, The Things We Mean, Oxford University Press, 2003 [53] Gabriel Segal, ”A preference for sense and reference”, Journal of Philosophy, 86, 2 (1989): 73-89 [54] Nicholas J.J. Smith, ”Frege’s judgement stroke”, Australasian Journal of Philosophy, 78 (2000): 153-75 [55] Nicholas J.J. Smith, Vagueness and Degrees of Truth, Oxford University Press, Oxford, 2008. Paperback 2013 [56] 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 [57] Nicholas J.J. Smith, Logic: The Laws of Truth, Princeton University Press, Princeton, 2012 · Zbl 1316.03001 [58] Peter Smith, ”Notes on ’the contemporary conception of logic”’, August 2013 · www.logicmatters.net [59] Scott Soames, Beyond Rigidity: The Unfinished Semantic Agenda of ”Naming and Necessity”, Oxford University Press, Oxford, 2002 [60] Scott Soames, What is Meaning?, Princeton University Press, 2010 · Zbl 1072.03003 [61] Scott Soames, ”Cognitive propositions”, Philosophical Perspectives, 27, 1 (2013): 479-501 · doi:10.1111/phpe.12030 [62] Alfred Tarski, ”On the concept of logical consequence”, (1936), pages 409-420 in [63] · JFM 62.1050.05 [63] Alfred Tarski, Logic, Semantics, Metamathematics: Papers from 1923 to 1938, Clarendon Press, Oxford, 1956. Translated by J.H. Woodger [64] Richmond H. Thomason, ”Indirect discourse is not quotational”, Monist, 60 (1977): 340-354 [65] Richmond H. Thomason, ”A model theory for propositional attitudes”, Linguistics and Philosophy, 4 (1980): 47-70 [66] 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
This reference list is based on information provided by the publisher or from digital mathematics libraries. Its items are heuristically matched to zbMATH identifiers and may contain data conversion errors. It attempts to reflect the references listed in the original paper as accurately as possible without claiming the completeness or perfect precision of the matching.