# zbMATH — the first resource for mathematics

Towards a semantics based on the notion of justification. (English) Zbl 1103.03304
Summary: 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.

##### MSC:
 03A05 Philosophical and critical aspects of logic and foundations
Full Text:
##### References:
 [3] 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. · Zbl 0325.02005 [6] 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. [8] Nelson, D.: 1959, ’Negation and Separation of Concepts in Constructive Systems’, in A. Heyting (ed.), Constructivity in Mathematics, North-Holland, Amsterdam, pp. 208–225. · Zbl 0085.25004
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.