Categories and Logical Syntax
In this dissertation the notions of category and type are studied through the lens of logical syntax.
- Ansten Klev
- 04 September 2014
The notions of category and type are here studied through the lens of logical syntax: Aristotle's as well as Kant's categories through the traditional form of proposition `S is P', and modern doctrines of type through the Fregean form of proposition `F(a)', function applied to argument. Topics covered include the conception of categories as highest genera; the parts of speech and their relation to categories; the attempt to derive categories from more fundamental notions; the notion of a range of significance; the notion of a type assignment; sortal concepts and the notions of identity and generality; and the distinction between formal and material categories.
Supervisor: prof.dr. B.G. Sundholm