A constructivism based on classical truth (Q1117222): Difference between revisions
From MaRDI portal
Created a new Item |
Added link to MaRDI item. |
||
links / mardi / name | links / mardi / name | ||
Revision as of 03:43, 31 January 2024
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | A constructivism based on classical truth |
scientific article |
Statements
A constructivism based on classical truth (English)
0 references
1989
0 references
The operator T is said to represent classical truth in a system S if \(\vdash_{C\Pr C}A\) iff \(\vdash_{S}TA\) where CPrC is classical predicate calculus. The properties of constructive systems which allow such operator T are studied. The exposition is limited to propositional systems with some indications about predicative extensions. Methods based on Kripke semantics are used. A maximal constructive system \(E^*\), where T represents classical truth, is described. For this system a kind of semantics based on the notion of ``valuation from'' is introduced and investigated. The work is in connection with that of \textit{R. H. Thomason} [Z. Math. Logik Grundlagen Math. 15, 247-257 (1969; Zbl 0181.009)] and \textit{D. Nelson} [J. Symb. Logic 14, 16-26 (1949; Zbl 0033.243)].
0 references
classical truth operator
0 references
constructive systems
0 references
Kripke semantics
0 references