Can someone name the most well known philosophers to explicitly put forward an idea along the lines that formal systems can only be used descriptively, not prescriptively - that they're just a model, ...
In the Wikipedia article on Zermelo-Fraenkel set theory says that the theory sets out to formalize a notion of sets such that "all entities in the universe of discourse are such sets." It goes on to ...
How does “higher-order logic” differ from “normal” predicate logic? I assume the latter is consistently called ”first order logic”. So where are the differences between these? What kinds of statements ...
I'm far from being an expert in the field of mathematical logic, but I've been reading about the academic work invested in the foundations of mathematics, both in a historical and objetive sense; and ...
I have been reading through "Autopoiesis and Cognition" by Humberto R. Maturana and Francisco J. Varela. One of their goals in defining autopoiesis and the supporting concepts of simple and composite ...
Sam Harris has argued on many occasions - the earliest of which I'm aware of being in his book, The End of Faith, as well as later on in The Moral Landscape - that it is (at least theoretically) ...
Gödel's First Incompleteness Theorem states Any effectively generated theory capable of expressing elementary arithmetic cannot be both consistent and complete. In particular, for any ...