×

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
Full Text: DOI