Richard Heck explores a key idea in the work of the great philosopher/logician Gottlob Frege: that the axioms of arithmetic can be logically derived from a single principle. Heck uses the theorem to explore historical, philosophical, and technical issues in philosophy of mathematics and logic, relating them to key areas of contemporary philosophy.To show that the assignment was consistent with HP, it would be sufficient, though not necessary, to derive the latter within ... Nevertheless, such a stipulation would resolve the Caesar problem, in the sense that it would fix the truth-values ofanbsp;...
|Author||:||Richard G. Heck|
|Publisher||:||Oxford University Press - 2011-09-29|