New answers tagged


I would agree that the philosophical stance which most directly advocates for Herbrand semantics as the "correct" semantics is term formalism. However, as conifold commented Herbrand semantics is not bound to any particular philosophical framework. (Indeed, one of the strengths of mathematics is its foundation-independence.) However, there is an interesting ...

Top 50 recent answers are included