Abstract
For first order languages with no individual constants, empty structures and truth values (for sentences) in them are defined. The first order theories of the empty structures and of all structures (the empty ones included) are axiomatized with modus ponens as the only rule of inference. Compactness is proved and decidability is discussed. Furthermore, some well known theorems of model theory are reconsidered under this new situation. Finally, a word is said on other approaches to the whole problem.
Similar content being viewed by others
References
A. Churh, Review of [7] (see below),Journal of Symbolic Logic, vol. 38 (1973), pp. 166–9.
R. Goldblatt,Topoi, Studies in logic, vol. 98, North-Holland, 1979.
T. Hailperin,Quantification theory and empty individual-domains,Journal of Symbolic Logic, vol. 18 (1953), pp. 197–200.
L. Henkin The completeness of the first-order functional calculus,Journal of Symbolic Logic, vol. 14 (1949), pp. 159–166.
H. Herrlich andG. E. Strecker,Category Theory, allyn and Bacon, 1973.
A. Mostowski,On the rules of proof in the pure functional calculus of the first order,Journal of Symbolic Logic, vol. 16 (1951), pp. 107–111.
W. V. O. Quine,Quantification and the empty domain,Journal of Symbolic Logic, vol. 19 (1954), pp. 177–179.
W. V. O. Quine,Mathematical Logic, Revised ed., Harvard Univ. Press, 1961.
D. Scott,Existence and description in formal logic, inBertrand Russell: Philospher of the Century, ed. by R. Schoenman, George Allen & Unwin Ltd., 1967, pp. 181–200.
J. R. Shoenfield,Mathematical Logic, Addison-Wesley, 1967.
Author information
Authors and Affiliations
Rights and permissions
About this article
Cite this article
Amer, M.A. First order logic with empty structures. Stud Logica 48, 169–177 (1989). https://doi.org/10.1007/BF02770510
Received:
Issue Date:
DOI: https://doi.org/10.1007/BF02770510