Learn More
This paper presents a new theory of presupposition projection similar to the strong Kleene (1952) trivalent logic. The primary merits of the present theory are its unique and fine-grained predictions regarding the presuppositions associated with quantified sentences, and its predictiveness; the issue of overgeneration discussed by Soames (1989) and Heim(More)
The notions of finite and infinite second-order characterizability of cardinal and ordinal numbers are developed. Several known results for the case of finite charac-terizability are extended to infinite characterizability, and investigations of the second-order theory of ordinals lead to some observations about the Fraenkel-Carnap question for well-orders(More)
  • 1