Mathematical logic
Mereology
Ontology
Predicate logic
Wayne B. Nottingham Prize
John K. Fairbank Prize