First-Order Logic and First-Order Functions
This paper begins the study of first-order functions, which are a generalization of truth-functions. The concepts of truth-table and systems (and clones) of truth-functions, both introduced in propositional logic by Post, are also generalized and studied in the quantificational setting. The general facts about these concepts are given in the first five sections, and constitute a “general theory” of first-order functions. The central theme of this paper is the relation of definition among notions expressed by formulas of first-order logic. We emphasize that logic is not concerned only with the consequence relation among notions expressed by formulas. It also attends to the relation of definition among notions, where a notion is defined from other notions. Sections 5 and 6 deal exclusively with the relation of definition among notions expressed by formulas of first-order logic. In these sections, we study the systems of first-order functions, which are the sets of first-order functions closed under definitions. Sections 7 and 8 are concerned with the relativization of first-order functions to a class of structures. The relativization to a class of structures is a fundamental operation which is used in order to relate the theory of first-order functions with set theory and first-order model theory, a subject which we have barely scratched the surface. The apparatus developed in this paper enables us to define what is a vehicle for the foundation of classical mathematics in set theory, and, in Sect. 8, we prove that first-order logic with one binary predicate variable is not a minimal vehicle for the foundation of classical mathematics in set theory. Sections 9 and 10 introduce further operations and ideals of first-order functions. Besides some results on the influence of the arguments of a first-order function, a result about definability is proved in Sect. 10.1. It is this theorem that provides necessary and sufficient conditions for a first-order function to be in a finitely generated ideal. In Sect. 11, this result is applied to the problem of predicate definability in classes of structures, the problem with which Beth’s theorem dealt in the case of elementary classes.
Mathematics Subject ClassificationPrimary 03B10 Secondary 03A99
KeywordsBoolean functions foundations of first-order logic definability
Unable to display preview. Download preview PDF.
- 1.Batchelor, R.: Metaphysical Modal Logic, Volume I: Logical Functions. Sao Paulo, Unpublished manuscript (2014)Google Scholar
- 2.Batchelor, R.: Metaphysical Modal Logic, Volume II: Logical Systems. Sao Paulo, Unpublished manuscript (2014)Google Scholar
- 3.Fraïssé, R.: Cours de Logique Mathématique, Tome 1. Gauthier-Villars, Paris (1971)Google Scholar
- 4.Fraïssé, R.: Cours de Logique Mathématique, Tome 2. Gauthier-Villars, Paris (1972)Google Scholar
- 5.Freire R.: On existence in set theory, part III: Applications to new axioms. South Am. J. Log. 1(1), 249–265 (2015)Google Scholar
- 8.Poizat, B.: Cours de Théorie des Modèles. Nur Al-Mantiq Wal-Ma’rifah. Villeurbanne (1985)Google Scholar
- 9.Post, E.: The Two-Valued Iterative Systems of Mathematical Logic. Princeton, New Jersey (1941)Google Scholar
- 10.Smullyan, R.: First-Order Logic. New York (1995)Google Scholar