more on this theme | more from this thinker | more from this text
Full Idea
Chihara's system is similar to simple type theory; he replaces each type with variables over open sentences, replaces membership (or predication) with satisfaction, and replaces quantifiers over level 1+ variables with constructability quantifiers.
Gist of Idea
We can replace type theory with open sentences and a constructibility quantifier
Source
report of Charles Chihara (Constructibility and Mathematical Existence [1990]) by Stewart Shapiro - Thinking About Mathematics 9.2
Book Ref
Shapiro,Stewart: 'Thinking About Mathematics' [OUP 2000], p.242
A Reaction
This is interesting for showing that type theory may not be dead. The revival of supposedly dead theories is the bread-and-butter of modern philosophy.