A very interesting account of the reference of number words in classical Indian philosophy was given by Mahesa Chandra (1836 -1906) in his Brief Notes on the Modern Nyaya System of Philosophy and its Technical Terms (...
One of the remarkable results of Frege's Logicism is Frege's Theorem, which holds that one can derive the main truths of Peano arithmetic from Hume's Principle (HP) without using Frege's Basic Law V. This result...
Richard Heck and John Burgess have shown that Frege's Basic Law V is consistent with predicative comprehension and that the resulting theory interprets Robinson Arithmetic. There are also many other ways to keep Freg...
This paper compares Frege's philosophy of mathematics with a naturalistic and nominalistic philosophy of mathematics developed in Ye (2010a, 2010b, 2010c, 2011), and it defends the latter against the former. The pa...
Semantic relationism is a methodology proposed by Kit Fine for solving the antinomy of variables. Fine proposed the relational semantics for first-order logic, which can be used to solve Frege's puzzle of names. In t...