Philosophia 2 (3):227-238 (1972)
|Abstract||On the basis of observations J. J. C. Smart once made concerning the absurdity of sentences like 'The seat of the bed is hard', a plausible case can be made that there is little point to developing a theory of types, particularly one of the sort envisaged by Fred Sommers. The authors defend such theories against this objection by a partial elucidation of the distinctions between the concepts of spanning and predicability and between category mistakenness and absurdity in general. The argument suggests that further clarification of the concepts of spanning and category mistakenness should be sought in reflection upon the more familiar concepts of a sort of thing and a predicate category.|
|Keywords||Sommers J. J. C. Smart type theory|
|Categories||categorize this paper)|
|Through your library||Configure|
Similar books and articles
Charles Sayward (1978). Are There Infinitely Many Sorts of Things? Philosophia 8 (1):17-30.
Charles Sayward (1978). Strawson on Categories. Journal of Critical Analysis 7 (3):83-87.
Charles Sayward (1981). The Tree Theory and Isomorphism. Analysis 41 (1):6-11.
Charles Sayward (1976). A Defense of Sommers. Philosophical Studies 29 (5):343 - 347.
Sergei P. Odintsov (2006). Absurdity as Unary Operator. Poznan Studies in the Philosophy of the Sciences and the Humanities 91 (1):225-242.
Adam Elga (2007). Reflection and Disagreement. Noûs 41 (3):478–502.
John Williams (2007). Moore's Paradoxes and Iterated Belief. Journal of Philosophical Research 32:145-168.
Adam Obtułowicz (1989). Categorical and Algebraic Aspects of Martin-Löf Type Theory. Studia Logica 48 (3):299 - 317.
Stephen H. Voss & Charles Sayward (1980). The Structure of Type Theory. Journal of Philosophy 77 (5):241-259.
Added to index2009-01-28
Total downloads7 ( #142,233 of 722,744 )
Recent downloads (6 months)1 ( #60,247 of 722,744 )
How can I increase my downloads?