Francesca Boccuni

We don’t have enough information about this author to calculate their statistics. If you think this is an error let us know.
Learn More
PG (Plural Grundgesetze) is a predicative monadic second-order system which exploits the notion of plural quantification and a few Fregean devices, among which a formulation of the infamous Basic Law V. It is shown that second-order Peano arithmetic can be derived in PG. I also investigate the philosophical issue of predicativism connected to PG. In(More)
When one is concerned with specifying the original reference [Bedeutung ] of the word ‘function’ in its mathematical usage, it is easy to fall into calling function of x an expression [Ausdruck ] formed from ‘x’ and particular numbers by means of the notations [Bezeichnungen] for sum, product, power, difference, and so on. This is inappropriate(More)
  • 1