Hostname: page-component-586b7cd67f-t8hqh Total loading time: 0 Render date: 2024-11-23T21:38:07.751Z Has data issue: false hasContentIssue false

Definition by induction in quine's new foundations for mathematical logic

Published online by Cambridge University Press:  12 March 2014

Barkley Bosser*
Affiliation:
Cornell University

Extract

In Quine's New foundations the axiom of infinity does not appear to be provable. In a certain stronger system, very closely related to Quine's New foundations, the axiom of infinity is provable. One of the peculiarities of this latter system is that even unstratified propositions can be proved by induction (this is used in the proof of the axiom of infinity). It would seem that definition by induction should also be possible quite irrespective of any conditions of stratification in this latter system. In this paper it is shown that such is the case.

Theorem. If α, α1, α2, …, αs are any classes, and if there is no confusion of bound variables in {Sxp}(v) or {Sxq}(v) and neither z nor v occurs free in p or q, and if

⊦ (y1, y1, … ys):. y1ϵα1 . y2ϵα2 . … . ysϵαs : ⊃ : (Ez) : zϵα : (v) : v . ≡ . {Sxp}(v),

⊦ (y, n, y1, y2, …, ys) :. yϵα . n ϵ Fin . y1ϵα1 . y2ϵα2. … . ysϵαs : ⊃ : (Ex) :zxα : (v) : v=z . ≡ . {Sxq}(v),

then there is an r such thai there is no confusion of bound variables in {Sxr}(v) and neither z nor v occurs free in r, and

⊦ (n, y1, y2, …, ys) :. nϵ Fin . y1ϵα1 . y2ϵα2 . … . ysϵαs : ⊃ : (Ez) : zϵα : (v) : v=z . ≡ . {Sxr}(v),

⊦ (y1, y2, …, ys) : y1ϵα1 . y2ϵα2 . … . ysϵαs . ⊃ . ιx{Snr}(0) = ιxp,

⊦ (n, y1, y2, …, ys) : nϵ Fin . y1ϵα1 . y2ϵα2 . … . ysϵαs . ⊃ . ιx{Snr}(n+1) = ιx{Syq}(ιxr).

Type
Research Article
Copyright
Copyright © Association for Symbolic Logic 1939

Access options

Get access to the full version of this content by using one of the access options below. (Log in options will check for institutional or personal access. Content may require purchase if you do not have access.)

References

1 Quine, W. V., New foundations for mathematical logic, The American mathematical monthly, vol. 44 (1937), pp. 7080CrossRefGoogle Scholar.

2 The system Q, suggested by Rosser, Barkley, On the consistency of Quine's New Foundations for Mathematical Logic, this Journal, vol. 4 (1939), pp. 1524Google Scholar.