1 Philosophy positions at University of East Anglia

PhD Studentship: Ranks and Types in Positive Logic

University of East Anglia | Norwich, England | United Kingdom | 28 days ago

Primary Supervisor: Dr Jonathan Kirby Model theory is traditionally done with “classical first-order logic”, the logic which allows unlimited use of the operators AND, OR, NOT, with the EXISTS and FOR ALL quantifiers. More recently, positive logic has emerged as a useful generalisation. For a...