Skip to main content
Log in

Thought-Contents and the Formal Ontology of Sense

  • Published:
Journal of Philosophical Logic Aims and scope Submit manuscript

Abstract

This paper articulates a formal theory of belief incorporating three key theses: (1) belief is a dyadic relation between an agent and a property; (2) this property is not the belief's truth condition (i.e., the intuitively self-ascribed property which the agent must exemplify for the belief to be true) but is instead a certain abstract property (a “thought-content”) which contains a way of thinking of that truth condition; (3) for an agent a to have a belief “about” such-and-such items it is necessary that a possesses a language of thought, M a , and that a (is disposed as one who) inwardly affirms a sentence of M a in which there are terms that denote those objects.

Employing an extended version of E. Zalta's system ILAO, the proffered theory locates thought-contents within a typed hierarchy of “senses” and their “modes of presentation”, the provisional definitions of which (suppressing complications added later to accommodate the contents of beliefs about beliefs) are as follows. A mode of presentation of e is a ternary relation of the sort [λxyz z is a name in M y that denotes x, and D e yz] in which D e is an e-determiner – a relation between agents and their mental expressions imposing a syntactico-semantic condition sufficient for such an expression to denote e therein. A sense of an entity e is an abstract property that “contains” a mode of presentation R e of e by dint of encoding its property-reduct [λx(∃y)(∃z)R e xyz]. In particular, a thought-content is a sense T of an ordinary first-order property P containing a mode of presentation whose P-determiner D P is such that, for any y and z, D P yz entails that z is a λ-abstract [ λ v S] of M y in which S is a sentence whose non-logical parts stand in appropriate semantic relations to the constituents of T's (some of which may themselves be senses).

Where I a is agent a's dedicated self-demonstrative and |T| is the mode of presentation contained in a thought-content T, the belief relation itself is then characterized as obtaining between a and T iff a( is disposed as one who) inwardly affirms the substitution instance S(I a / v) of a sentence S in M a such that |T|(P,a,[λ v S]). The aforementioned “constituents” and “appropriate semantic relations” are formally characterized so as to permit a system of canonical descriptions for thought-contents of arbitrary complexity. These canonical descriptions are then employed to chart the nature and interrelations of belief de re, de dicto and de se and to identify the source of opacity in belief ascription.

This is a preview of subscription content, log in via an institution to check access.

Access this article

Price excludes VAT (USA)
Tax calculation will be finalised during checkout.

Instant access to the full article PDF.

Similar content being viewed by others

REFERENCES

  • Boër, S.: 1989, Neo Fregean thoughts, in J. Tomberlin (ed.), Philosophical Perspectives, 3: Philosophy of Mind and Action Theory, Ridgeview Publishing Co., Atascadero.

    Google Scholar 

  • Boër, S.: 1990, Object-dependent thoughts, Philosophical Studies 58, 51–85.

    Google Scholar 

  • Boër, S.: 1995, Propositional attitudes and compositional semantics, in J. Tomberlin (ed.), Philosophical Perspectives, 9: A.I., Connectionism and Philosophical Psychology, Ridgeview Publishing Co., Atascadero.

    Google Scholar 

  • Chisholm, R.: 1981, The First Person, University of Minnesota Press, Minneapolis.

    Google Scholar 

  • Cresswell, M.: 1985, Structured Meanings, MIT Press, Cambridge, MA.

    Google Scholar 

  • Crimmins, M.: 1992, Talk About Beliefs, Bradford/MIT Press, Cambridge, MA.

    Google Scholar 

  • Davies, M.: 1981, Meaning, Quantification, and Necessity, Routledge and Kegan Paul, London.

    Google Scholar 

  • Evans, G.: (1982), The Varieties of Reference, Clarendon Press, Oxford.

    Google Scholar 

  • Fodor, J.: 1975, The Language of Thought, Thomas Crowell, New York.

    Google Scholar 

  • Fodor, J.: 1987, Psychosemantics, MIT Press, Cambridge, MA.

    Google Scholar 

  • Fodor, J.: 1998, Concepts, Clarendon Press, Oxford.

    Google Scholar 

  • Forbes, G.: 1993, Solving the iteration problem, Linguistics and Philosophy 16, 311–330.

    Google Scholar 

  • Frege, G.: 1980, On sense and reference, in P. Geach and M. Black (eds.), Translations from the Philosophical Writings of Gottlob Frege, 3rd edn, Rowman and Littlefield, Totowa, NJ.

    Google Scholar 

  • Kaplan, D.: 1968, Quantifying-in, Synthese 19, 178–214.

    Google Scholar 

  • Lewis, D.: 1979, Attitudes De Dicto and De Se, Philos. Review 88, 513–543.

    Google Scholar 

  • Maloney, J.: 1989, The Mundane Matter of the Mental Language, Cambridge University Press, Cambridge.

    Google Scholar 

  • McDowell, J.: 1984, De Re senses, in C. Wright (ed.), Frege: Tradition and Influence, Blackwell, London.

    Google Scholar 

  • Neale, S.: 1990, Descriptions, MIT Press, Cambridge, MA.

    Google Scholar 

  • Peacocke, C.: 1983, Sense and Content, Clarendon Press, Oxford.

    Google Scholar 

  • Schiffer, S.: 1990, The mode-of-presentation problem, in C. Anderson and J. Owens (eds.), Propositional Attitudes, CSLI Lecture Notes 20, Stanford, pp. 249–268.

  • Schiffer, S.: 1992, Belief ascription, J. Philos. 89, 499–521.

    Google Scholar 

  • Zalta, E.: 1988, Intensional Logic and the Metaphysics of Intentionality, MIT Press, Cambridge, MA.

    Google Scholar 

Download references

Author information

Authors and Affiliations

Authors

Rights and permissions

Reprints and permissions

About this article

Cite this article

Boër, S.E. Thought-Contents and the Formal Ontology of Sense. Journal of Philosophical Logic 32, 43–114 (2003). https://doi.org/10.1023/A:1022896025635

Download citation

  • Issue Date:

  • DOI: https://doi.org/10.1023/A:1022896025635

Navigation