Dipartimento PersoneAssegnisti di ricercaLuca Castaldo

Luca Castaldo

 

Position

Assegnista di ricerca (Research Fellow)
M-FIL/02 Logica e Filosofia della scienza

 

Address

Dipartimento di Lettere e Filosofia
Via della Pergola 58-60
50121 Firenze

 

Contacts

email: luca.castaldo(AT)unifi.it

sito web

 

 

Research activity:

My research focuses on philosophical logic. The main themes of my work are formal theories of truth, the relationship between classical and non-classical logics, and paradoxes. I am also interested in logics for and philosophy of Artificial Intelligence, especially in nonmonotonic reasoning, automated reasoning, natural language processing, and ethics of AI.

 

Education

• Sep 2017 - Sep 2021, PhD in Philosophy, University of Bristol (supervisors Johannes Stern, Philip Welch, Leon Horsten).
• Oct 2014 - Mar 2017, MA in Philosophy, Humboldt University of Berlin (supervisor Karl-Georg Niebergall, co-supervisor Leon Horsten).
• Oct 2009 - Apr 2013, Double degree, BA in Philosophy, University of Mainz (supervisor Thomas Metzinger).
• BA in Philosophy, University of Bologna (supervisor Eva Picardi).

 

Postdoctoral Fellowships

• Oct 2021 - Dec 2021, DAAD research fellow, Munich Center for Mathematical Philosophy (hosted by Martin Fischer). 

 

Visiting positions

• Mar 2022 - Aug 2022, Visiting scholar, Università Vita-Salute San Raffaele, Milano (hosted by Francesca Boccuni).
•  Jul 2020 - Dec 2020, Visiting student, Department of Philosophy, King's College London (hosted by Carlo Nicolai).

 

Teaching

• Non-monotonic reasoning in Philosophy and AI, University of Warsaw, Department of Philosophy, 2023-2024.
• Intermediate Logic, King’s College London, Department of Philosophy, 2022.
• Logic and Critical Thinking, Teaching Assistant, University of Bristol, Department of Philosophy, 2019.
• Mathematical Logic, Teaching Assistant, University of Bristol, School of Mathematics, 2018.

 

Grants and Awards

• Doctoral prize winner for Faculty of Arts 2021/22 for outstanding excellence in a doctoral dissertation, University of Bristol (GBP 500).
• OeAD Ernst Mach Grant - weltweit, University of Salzburg, 09.2022-05.2023 (EUR 11,250). Declined.
• German Academic Exchange Service (DAAD) Short-Term Research Grants, Munich Center for Mathematical Philosophy, 2021 (EUR 3,850).
• SWW DTP Student Development Fund, King’s College London, research visit, 2020 (ca. GBP 18,520).
• AHRC Doctoral Training Partnership (SWW DTP), Grant No. AH/L503939/1-DTP1, University of Bristol, Research Project: "Truth and paradox. A (mostly) proof-theoretic investigation", 2017-2021 (ca. GBP 52,000).
• SWW DTP Research Training Support Grant, University of Bristol, 2017-2020 (GBP 2,550).
• Erasmus Grant, University of Mainz, 2011-2012.

 

Journal Articles

• "Notes on models of (partial) Kripke-Feferman truth". Studia Logica, 2022. Published Version (Open Access), Enhanced PDF.
• "KF, PKF, and Reinhardt's program" (with Johannes Stern). Review of Symbolic Logic, 2022. Published Version (Open Access).
• "Fixed-point models for paradoxical predicates". Australasian Journal of Logic, 2021. Published Version (Open Access).
• "On the costs of classical logic". Erkenntnis, 2021. Published Version (Open Access).
• "In difesa del Monismo Anomalo". RIFAJ, 2015. Published Version (Open Access).

 

Dissertation

• Truth and paradox. A (mostly) proof-theoretic investigation. University of Bristol, 2021.

 

Under review

• "Saving logic from paradox via nonclassical recapture".
• "Implicit commitments of instrumental acceptance: A case study" (with Maciej Głowacki).