Area of Specialization: Logic and Cognitive Science