Substitution and Types: Russell's Intermediate Theory - HAL Accéder directement au contenu
Chapitre d'ouvrage Année : 2004

Substitution and Types: Russell's Intermediate Theory

Résumé

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.
Loading...
Fichier non déposé

Dates et versions

halshs-00791286, version 1 (21-02-2013)

Identifiants

  • HAL Id : halshs-00791286 , version 1

Citer

Philippe Rouilhan (de). Substitution and Types: Russell's Intermediate Theory. Link, Godehard. One Hundred Years of Russell's Paradox : Mathematics, Logic, Philosophy, de Gruyter, pp.401-415, 2004. ⟨halshs-00791286⟩
36 Consultations
0 Téléchargements
Dernière date de mise à jour le 18/05/2024
comment ces indicateurs sont-ils produits

Partager

Gmail Facebook Twitter LinkedIn Plus