On the consistency of a plural theory of Frege’s Grundgesetze

Francesca Boccuni Studia Logica, 97(3): 329-345 - 2011

PG (Plural Grundgesetze) is a predicative monadic second-order system which is aimed to derive second-order Peano arithmetic. It exploits the notion of plural quantification and a few Fregean devices, among which the infamous Basic Law V. In this paper, a model-theoretical consistency proof for the system PG is provided.

Download articolo completo:

Share Button