Hilbert's \(\varepsilon{}\)-operator and classical logic (Q1208146): Difference between revisions
From MaRDI portal
Changed an Item |
Set OpenAlex properties. |
||
(2 intermediate revisions by 2 users not shown) | |||
Property / MaRDI profile type | |||
Property / MaRDI profile type: MaRDI publication profile / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q3679172 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q4133603 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q5582304 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q3960633 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q5734410 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q5573940 / rank | |||
Normal rank | |||
Property / full work available at URL | |||
Property / full work available at URL: https://doi.org/10.1007/bf01049178 / rank | |||
Normal rank | |||
Property / OpenAlex ID | |||
Property / OpenAlex ID: W2000295225 / rank | |||
Normal rank |
Latest revision as of 11:53, 30 July 2024
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | Hilbert's \(\varepsilon{}\)-operator and classical logic |
scientific article |
Statements
Hilbert's \(\varepsilon{}\)-operator and classical logic (English)
0 references
16 May 1993
0 references
In the framework of the first-order language the \(\varepsilon\)-axiom corresponding to the famous Hilbert's \(\varepsilon\)-operator can be formulated as follows: \(A(x)\to A(\varepsilon_ A)\), where \(A(t)\) is obtained as the result of substituting term \(t\) for each free occurrence of \(x\) in \(A(x)\). Namely, \(\varepsilon_ A\) can be considered as an ideal object associated with \(A\) such that all one knows about it is that, if anything satisfies \(A\), it does. Logical relationships of the \(\varepsilon\)-axiom with some basic superintuitionistic axioms are analyzed and the roles of the extensionality principle and principle of bivalence are discussed. An algebraic type semantics for the extension of the Heyting first-order predicate calculus by the \(\varepsilon\)-axiom is described with the corresponding soundness theorem, but the provision of a complete semantics for this calculus remains an open problem.
0 references
\(\varepsilon\)-axiom
0 references
Hilbert's \(\varepsilon\)-operator
0 references
superintuitionistic axioms
0 references
extensionality principle
0 references
principle of bivalence
0 references
Heyting first-order predicate calculus
0 references