๐”– Bobbio Scriptorium
โœฆ   LIBER   โœฆ

On Russell's principle of induction

โœ Scribed by Newton C. A. Costa; Steven French


Publisher
Springer Netherlands
Year
1991
Tongue
English
Weight
481 KB
Volume
86
Category
Article
ISSN
0039-7857

No coin nor oath required. For personal study only.

โœฆ Synopsis


An improvement on Horwich's so-called "pseudo-proof" of Russell's principle of induction is offered, which, we believe, avoids certain objections to the former. Although strictly independent of our other work in this area, a connection can be made and in the final section we comment on this and certain questions regarding rationality, etc.


๐Ÿ“œ SIMILAR VOLUMES


On Principles of Inductive Definition
โœ Bernhard Banaschewski ๐Ÿ“‚ Article ๐Ÿ“… 1960 ๐Ÿ› John Wiley and Sons ๐ŸŒ English โš– 639 KB
On Jourdain's principle
โœ John G. Papastavridis ๐Ÿ“‚ Article ๐Ÿ“… 1992 ๐Ÿ› Elsevier Science ๐ŸŒ English โš– 368 KB
Good Degree Bounds on Nullstellensatz Re
โœ Samuel R Buss; Toniann Pitassi ๐Ÿ“‚ Article ๐Ÿ“… 1998 ๐Ÿ› Elsevier Science ๐ŸŒ English โš– 377 KB

This paper gives nearly optimal, logarithmic upper and lower bounds on the minimum degree of Nullstellensatz refutations (i.e., polynomials) of the propositional induction principle.