Categories and logical syntax

Abstract

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.UBL - phd migration 201