Semantic presuppositions in logical syntax
Yaroslav Kokhan · Journal of Applied Non-Classical Logics · 2012
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.