Penn Arts & Sciences Logo

Logic, Formal Methods, and Computer Simulations

The Penn Philosophy Department, and the University more broadly, offers a wealth of opportunities to pursue research in logic, formal methods, and computational research. Within the department, our faculty conduct research on logic and the foundations and philosophy of mathematics (Domotor, Ewald, Weinstein), and on applications of logical and computational techniques to the development of synchronic and diachronic models of individual and collective cognition (Bicchieri, Domotor, Kimbrough, Singer, Weisberg, Weinstein).  We also have a group of faculty that applies these methods to explorations of social structures, such as the social network structure of science and of small group deliberations (Bicchieri, Kimbrough, Singer, Weisberg).

The department enjoys strong connections with Penn’s Logic and Computation Group, which draws faculty from the departments of Computer and Information Science, Electrical Engineering, Linguistics, Mathematics, and Philosophy to participate in collaborative research and educational projects. The department also participates actively in the Logic, Information, and Computation Program, an interdisciplinary undergraduate degree program in Penn’s College of Arts and Sciences.