Logical semantics as an empirical science (Q795028)
From MaRDI portal
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | Logical semantics as an empirical science |
scientific article |
Statements
Logical semantics as an empirical science (English)
0 references
1983
0 references
This paper presents a logical analysis of the structure of semantic theories, using notions from the formal philosophy of science. Its main conclusion is that the common semantic 'completeness theorems' establish, in a precise sense, so-called 'eliminability' of theoretical terms used in the model-theoretic apparatus of the theory.
0 references
elimination of theoretical terms
0 references
logical analysis of the structure of semantic theories
0 references
formal philosophy of science
0 references
completeness theorems
0 references