Free logic and the concept of existence (Q2541889): Difference between revisions
From MaRDI portal
Added link to MaRDI item. |
Set OpenAlex properties. |
||
(One intermediate revision by one other user not shown) | |||
Property / MaRDI profile type | |||
Property / MaRDI profile type: MaRDI publication profile / rank | |||
Normal rank | |||
Property / full work available at URL | |||
Property / full work available at URL: https://doi.org/10.1305/ndjfl/1093956251 / rank | |||
Normal rank | |||
Property / OpenAlex ID | |||
Property / OpenAlex ID: W2045185092 / rank | |||
Normal rank |
Latest revision as of 03:46, 20 March 2024
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | Free logic and the concept of existence |
scientific article |
Statements
Free logic and the concept of existence (English)
0 references
1967
0 references
Modern logic amended the traditional square of opposition by removing the existential import of general terms. In an analogous fashion, free logic removes the existential import of singular terms, amending the inference of \((Ex)Fx\) from \(Fy\) by requiring the additional premise \(E!y\) (to be read as ``\(y\) exists''). After explaining this motivation in some detail, the author gives an axiomatic formulation of free logic, provably equivalent to one previously shown consistent and complete. The new axioms include the usual axiom schemes for sentential logic and identity theory, rules of detachment and generalization (Hilbert-Ackermann form), and in addition the axiom schemes \[(Ex)Fx \supset (Ex) (E!x\cdot Fx)\quad\text{and}\quad Fy \supset \cdot E!y \supset (Ex)Fx. \] It is then proved that for a variable \(y\) distinct from \(x\), \((E!x)\equiv (Ex)(x=y)\) is a theorem, thus justifying the definitional elimination of the existence predicate. Several philosophical discussions of existence are evaluated with reference to free logic.
0 references