Single Idea 10265

[catalogued under 6. Mathematics / C. Sources of Mathematics / 6. Logicism / b. Type theory]

Full Idea

Chihara's system is a version of type theory. Translate thus: replace variables of sets of type n with level n variables over open sentences, replace membership/predication with satisfaction, and high quantifiers with constructability quantifiers.

Clarification

For 'constructibility quantifiers' see Idea 10264

Gist of Idea

Chihara's system is a variant of type theory, from which he can translate sentences

Source

report of Charles Chihara (Constructibility and Mathematical Existence [1990]) by Stewart Shapiro - Philosophy of Mathematics 7.4

Book Reference

Shapiro,Stewart: 'Philosophy of Mathematics:structure and ontology' [OUP 1997], p.231