The theory of dependently sorted first order logic is developed. Two variants of the notion of a type setup, an abstract characterisation of language with dependent sorts proposed by Peter Aczel, are presented. It is argued that specialisations of these are appropriate for the characterisation of a notion of intuitionistic or classical dependently sorted first order theory and of semantic structure for the interpretation of those theories.