Aristotelian Logic, Axioms, and Abstraction
Neo-logicism is the view that various branches of mathematics can be reformulated in terms of abstraction principles that we can stipulate, and thus come to know the truth of, a priori. The main success story of neo-logicism so far is the derivation of arithmetic from Hume’s Principle:
KeywordsLogical Truth Abstraction Principle Aristotelian Conception Aristotelian Logic Peano Axiom
Unable to display preview. Download preview PDF.