Logic List Mailing Archive
CfA: 2y post doc position: Logical and Epistemological Criteria of Salience in the Foundations of Mathematics, Warsaw (Poland), deadline: Sept 9
2 year post doc position: Philosophy of Mathematics/Mathematical Logic
Project: Logical and Epistemological Criteria of Salience in the Foundations of Mathematics
PI: Mateusz Łełyk
Faculty of Philosophy, University of Warsaw
https://filozofia.uw.edu.pl/
One of the main themes of the project is whether the second order categoricity of systems like Peano Arithmetic or Zermelo-Fraenkel set theory leaves a trace on their (more popular these days) first-order formulations. The project has a strong mathematical component. See here<https://sites.google.com/uw.edu.pl/lelyk/projects?authuser=0>: https://sites.google.com/uw.edu.pl/lelyk/projects?authuser=0 for a full project description and here<https://www.researchgate.net/publication/377931753_Categoricity-like_properties_in_the_first-order_realm>: https://www.researchgate.net/publication/377931753_Categoricity-like_properties_in_the_first-order_realm for one of the outcomes.
We offer a position for two years, financial support for research visits and conference attendance and participation in a vibrant research group including both philosophers and mathematicians.
More details can be found in here:
https://filozofia.uw.edu.pl/2024/08/dziekan-wydzialu-filozofii-uniwersytetu-warszawskiego-oglasza-konkurs-w-projekcie-badawczym-2/
(for the english version just scroll down the pdf file attached to the webpage).
Deadline for submissions: September 9th, 2024
Info: mlelyk@uw.edu.pl<mailto:mlelyk@uw.edu.pl>
Kind regards,
Mateusz Łełyk
--
Professional homepage (google.com)<https://sites.google.com/uw.edu.pl/lelyk>
--
[LOGIC] mailing list, provided by DLMPST
More information (including information about subscription management) can
be found here: http://dlmpst.org/pages/logic-list.php