Preamble In my last post, I discussed some basic logical connectives. Before moving on to more advanced topics, I want to discuss formal syntax. I think many people will find this post dry and boring, but I think it's neccessary to cover at some poin Up till this point, I've...
Preamble In my last post I gave the philosophical prerequisites needed to understand my approach to logic and mathematics. Before getting into the subject at hand, here's a clarifying remark inspired by some comments on my last post. When I say that mathematics is a social activity, I mean it's...
Preamble I've wanted to write a series of posts here on logic and the foundations of mathematics for a while now. There's been some recent discussion about the ontology of numbers and the existence of mathematical entities, so this seems as good a time as any to start. Many of...