The “No-Relations/’ Theory

The substitutional proxy for the language of propositional functions that is, a type-indexed language which allows predicate variables in subject and predicate positions was discussed in Chapter 5. The substitutional treatment for symbols for relations-in-extension (hereafter “relationse “) is a nat...

Full description

Saved in:
Bibliographic Details
Published inRussell’s Hidden Substitutional Theory
Main Author Landini, Gregory
Format Book Chapter
LanguageEnglish
Published New York, NY Oxford University Press 20.08.1998
Subjects
Logic
Philosophy of Mathematics and Logic
Pure Mathematics
propositional
singletons
continuation
heterogeneous
stratifying
Online AccessGet full text
ISBN9780195116830
0195116836
DOI10.1093/oso/9780195116830.003.0008

Cover

More Information
Summary:The substitutional proxy for the language of propositional functions that is, a type-indexed language which allows predicate variables in subject and predicate positions was discussed in Chapter 5. The substitutional treatment for symbols for relations-in-extension (hereafter “relationse “) is a natural continuation of the technique applied to class symbols examined in Chapter 6. In dealing with relationse, one might think it natural to adopt the 1912/4 Wiener-Kuratowski definition of ordered pair. This would be to have: (x, y) = df {{x}, {x, y}}.
ISBN:9780195116830
0195116836
DOI:10.1093/oso/9780195116830.003.0008