Semantic presuppositions in logical syntax. (English) Zbl 1398.03024
Summary: There are two implicit semantic postulates underlying modern predicate logic. Hence predicate logic is not semantically neutral. The author proposes to take semantically neutral languages, which have no predicate categorial structure but replace the notion of predicate with general notion of function. Some function calculi for different semantics are demonstrated.
MSC:
03A05 | Philosophical and critical aspects of logic and foundations |
03B10 | Classical first-order logic |