Generic Ontology of Linguistic Classification

We introduce observational logic as a framework for linguistic classification. Observational theories consist of universally quantified monadic conditionals, where antecedent and consequent are built by finite conjunction and disjunction from primitive monadic predicates plus two predicates expressing existence and non-existence.