zbMATH — the first resource for mathematics

On a consistent subsystem of Frege’s Grundgesetze. (English) Zbl 0968.03015
Summary: T. Parsons [ibid. 28, 161-188 (1987; Zbl 0637.03005)] has given a (nonconstructive) proof that the first-order fragment of the system of Frege’s Grundgesetze is consistent. Here a constructive proof of the same result is presented.

03B10 Classical first-order logic
Full Text: DOI
[1] Boolos, G., “Whence the contradiction?,” Aristotelian Society Supplementary , vol. 67 (1993), pp. 213–33. · Zbl 0961.03529
[2] Demopoulos, W., editor, Frege’s Philosophy of Mathematics , Harvard University Press, Cambridge, 1995. · Zbl 0915.03004
[3] Heck, R., “ Grundgesetze der Arithmetik I §§29–32,” Notre Dame Journal of Formal Logic , vol. 38 (1997), pp. 437–74. · Zbl 0915.03005
[4] Parsons, T., “On the consistency of the first-order portion of Frege’s logical system,” Notre Dame Journal of Formal Logic , vol. 28 (1987), pp. 161–88. · Zbl 0637.03005
This reference list is based on information provided by the publisher or from digital mathematics libraries. Its items are heuristically matched to zbMATH identifiers and may contain data conversion errors. It attempts to reflect the references listed in the original paper as accurately as possible without claiming the completeness or perfect precision of the matching.