Substitution and Types: Russell's Intermediate Theory

Fiche du document

Date

2004

Discipline
Périmètre
Langue
Identifiants
Collection

Archives ouvertes




Citer ce document

Rouilhan (de) Philippe, « Substitution and Types: Russell's Intermediate Theory », HAL-SHS : histoire, philosophie et sociologie des sciences et des techniques, ID : 10670/1.uyanfl


Métriques


Partage / Export

Résumé 0

Russell went through three "substitutional" theories on his way to the so-calledramifiedtheoryoftypes. Thefirstwassostrongastobeinconsistent; thesecondwasconsistent,buttooweak. Thethirdismentionedinpassingin"MathematicalLogicasBasedontheTheoryof Types", and abandoned in favor of the ramified theory of types for the sake of "practicalconvenience". However, it is doubtless the most fascinating theory Russell ever came up with.

document thumbnail

Par les mêmes auteurs

Sur les mêmes sujets

Sur les mêmes disciplines

Exporter en