Logic List Mailing Archive

CfA: 1y Postdoc Definitions, Explanations, and Proofs, IUSS Pavia (Italy), deadline: 07 Dec 2023

Call for a 12-months post-doc position: Definitions, Explanations, and Proofs School of Advanced Studies IUSS Pavia www.iusspavia.it

The School of Advanced Studies IUSS Pavia invites applications for a 12-months postdoctoral fellowship in the philosophy of mathematics. The postdoctoral fellow will carry out his/her work as part of the Italian National Research Project (PRIN) "PUMa - Proof and understanding in mathematics. Purity of methods, simplicity, and explanation in mathematical reasoning" - FIVE positions are available on the project (see below).

Definitions, Explanations, and Proofs (PI: Andrea Sereni). The postdoc researcher will be expected to conduct his/her research on one or more of the following topics: the formal and epistemic role of definitions of logical-mathematical concepts, in foundational projects as well as in pluralist and anti-exceptionalist views; the relationship between explanation and proof in mathematics, including their potential connections with other kinds of non-causal explanation; the epistemic and formal properties (such as purity, simplicity, economy, etc.) of mathematical explanations and proofs, including their potential relevance for formal explanations in theoretical syntax.

The postdoc will also collaborate with the other postdocs hired in the project, the other members of the research group, and the other philosophers of mathematics at IUSS, and will contribute to the project activities.

[**UPDATED LINK**]

Call and application procedure (ITA/EN):
- https://www.iusspavia.it/it/node/2160

Deadline: December 07, 2023, 15.00 CET
Info: andrea.sereni@iusspavia.it


***

Further post-doc positions in the PUMa project:


Vita-Salute San Raffaele University, Milan (PI: Francesca Boccuni) - call open, deadline December 2, 2023, 23.59 CET:  "Proof, Explanation, and Paradoxes". The postdoc researcher will work on at least one of the following research topics: 1. the relation between paradoxes, comparison of logico-mathematical proofs thereof, and the explanatory role of such proofs, also with regards to different philosophical and logico-mathematical solutions; 2. the role of the notion of generic member of a class in proofs and its logico-philosophical status. 

Call:https://www.unisr.it/attachments/BANDO_DR_8455_2023/da3ee0ee-c6f5-4632-a4ed-f64536fee107/ed9a2c
f3-47b0-4c73-ac8f-359a98879040.pdf

Queries: boccuni.francesca@unisr.it


Scuola Normale Superiore Pisa (PI: Mario Piazza) - Call opening soon: “Structural analysis of classical and non-classical proofs”: The research project will address topics in structural proof theory for classical logic and non-classical logics. In particular, the grantee will be required to conduct their research in these areas: 1) computational and quantitative aspects of proof semantics for classical and non-classical logics; 2) the relationship between extra-logical information and analyticity.

Queries: mario.piazza@sns.it
 

University of Turin (PI: Matteo Plebani) - call opening on December 22nd 2023 (10.00 CET) and closing on January 22nd 2024 (13.00 CET): “Proofs as truthmakers”: The central idea of recent work in truthmaker semantics is to model the meaning of a sentence as given by its truthmakers, i.e. the reasons why the sentence is true. The project will investigate how to apply this framework to mathematical language, taking proofs to play the role of truthmakers.

Queries: matteo.plebani@unito.it


University of Rome "Tor Vergata" (PI: Gabriele Pulcini) - (call is closed) “Purity and simplicity of mathematical proofs”: The postdoctoral student is expected to carry out his research in the fields of proof-theory and philosophy of mathematics. In particular, the focus shall be on Hilbert's 24th problem concerning the possibility to devise logico-mathematical criteria for determining the simplest, given two demonstrations of the same theorem. The problem of the "purity of methods" in mathematics -- especially in connection with the one about the simplicity of proofs -- may be also considered as a central issue. 

Call: https://pica.cineca.it/uniroma2/f1-2023-0071/
Queries: gabriele.pulcini@uniroma2.it



Submissions to one position in the project does not preclude candidates from applying also to other postdoc positions in the same project.
--
[LOGIC] mailing list, provided by DLMPST
More information (including information about subscription management) can
be found here: http://dlmpst.org/pages/logic-list.php