Abstract
Suppose we want to take seriously the neoverificationist idea that an intuitionistic theory of meaning can be generalized in such a way as to be applicable not only to mathematical but also to empirical sentences. The paper explores some consequences of this attitude and takes some steps towards the realization of this program. The general idea is to develop a meaning theory, and consequently a formal semantics, based on the idea that knowing the meaning of a sentence is tantamount to having a criterion for establishing what is a justification for it. Section 1 motivates a requirement of epistemic transparency imposed onto justifications conceived as mental states. In Section 2, the formal notion of justification for an atomic formula is defined, in terms of the notion of cognitive state. In Section 3, the definition is extended to logically complex formulas. In Section 4, the notion of truth-ground is introduced and is used to give a definition of logical validity.
Similar content being viewed by others
References
N. Chomsky (1980) Rules and Representations Columbia University Press New York
M. Dummett (1973) Frege Philosophy of Language. Duckworth London
Dummett, M.: 1975, ‘The Philosophical Basis of Intuitionistic Logic’, in H. E. Rose and J. C. Sheperdson (eds.), Logic Colloquium ’73, North Holland, Amsterdam, pp. 5–40.
M. Dummett (1977) Elements of Intuitionism Clarendon Press Oxford
D. Marr (1982) Vision W. H. Freeman and Company New York
Musatti, C.: 1926, ‘Analisi del Concetto di Realtà Empirica’, now in C. Musatti, Condizioni dell’esperienza e Fondazione Della Psicologia, Giunti-Barbera, Firenze, 1964, pp. 13–175.
D. Nelson (1949) ArticleTitle‘Constructible Falsity’ The Journal of Symbolic Logic. 14 16–26 Occurrence Handle10.2307/2268973
Nelson, D.: 1959, ‘Negation and Separation of Concepts in Constructive Systems’, in A. Heyting (ed.), Constructivity in Mathematics, North-Holland, Amsterdam, pp. 208–225.
D. Prawitz (1977) ArticleTitle‘Meaning and Proofs: On the Conflict Between Classical and Intuitionistic Logic’ Theoria. 43 2–40 Occurrence Handle10.1111/j.1755-2567.1977.tb00776.x
D. Prawitz (1987) ‘Dummett on a Theory of Meaning and Its Impact on Logic’ B. Taylor (Eds) Michael Dummett: Contributions to Philosophy. The Hague Nijhoff 117–165
G. Usberti (1995) Significto e Conoscenza Guerini e Associati Milano
G. Usberti (2002) ArticleTitle‘Names: Sense, Epistemic Content, and Denotation’ Topoi. 21 99–112 Occurrence Handle10.1023/A:1014848802670
Author information
Authors and Affiliations
Corresponding author
Rights and permissions
About this article
Cite this article
Usberti, G. Towards a Semantics Based on the Notion of Justification. Synthese 148, 675–699 (2006). https://doi.org/10.1007/s11229-004-6272-9
Issue Date:
DOI: https://doi.org/10.1007/s11229-004-6272-9