Intuitionistic truth (Q1062982)
From MaRDI portal
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | Intuitionistic truth |
scientific article |
Statements
Intuitionistic truth (English)
0 references
1985
0 references
The paper considers formally slight variants of familiar logical laws that Kripke, Beth and others have related to intuitionistic truth. The author notes that they also hold for other kinds of 'epistemic accessibility' (p. 210), for example, d-verifiability on p. 198. In the tradition of the socalled theory of meaning the author stresses, on p. 191, that 'the whole realm of truth' is considered, and not merely mathematical statements. But he fails to stress that - as long as only familiar logical languages are considered, as in the present paper - this is a distinction without any difference (in validity).
0 references
intuitionistic logic
0 references
epistemic accessibility
0 references
theory of meaning
0 references