FilMat symposium on Formal Methods

The Italian Network for the Philosophy of Mathematics will organise a symposium on Formal Methods at the 15th Conference of the Italian Society for Analytic Philosophy.

University of Eastern Piedmont, Alessandria 8 September 2023  

Invited speaker: Greg Restall (St. Andrews)  

Organiser: Luca Zanetti (IUSS Pavia)  

Description:  Formal methods are increasingly central to contemporary philosophy. Examples include, among others, logic, set theory, proof theory, model theory, and computability theory. The aim of this workshop is to discuss recent trends in formal philosophy, as well as cutting-edge methodologies and results. We seek contributions on (but not limited to) the following topics: Formal methods and philosophical methodology, historical roots of formal philosophy (Frege, Russell, Peirce, Cassirer, Hilbert, Carnap), philosophy of logical notation, history and philosophy of logic, higher-order logics, philosophical logic, formal semantics, formal epistemology, non-classical logics and the foundations of mathematics, and logical pluralism.  

Up to 5 talks will be selected through blind procedure.

Length of submitted abstracts: (i) a short abstract (300 words) and (ii) a long abstract (1000 words).  

Abstracts must be submitted through Easychair: https://easychair.org/conferences/?conf=sifa23. Please select the Logic and Philosophy of Science session and add "Symposium on Formal Methods" to the title of your abstract. The long abstract should be uploaded in the field "Paper".  

Graduate students and early-career researchers (max 5 yrs from PhD) are also eligible for the SIFA Young Scholar Prize (instructions here: http://www.sifa.unige.it/?p=4958)     

Deadline: April 23, 2023

Notification of acceptance: June 15, 2023