Sara Negri
Department of Philosophy, P.O.Box 24 (Unioninkatu 40 A), 00014 University of Helsinki,
Finland
Telephone: + 358  294129220
Fax : + 358  9  191 28060
Email : myfirstname"dot"mylastname"at"helsinki"dot"fi
Gmail: mylastname"dot"myfirstname"at"gmail"dot"com (if you use my gmail address, be careful with the order, else the message will go to another Sara Negri, I'll never see it, and you'll think I am a rude person who doesn't reply!)
Office hour: Thursday 1314
My research, in brief. My recent research is aimed at bridging the gaps between the normative, the descriptive, and the deductive aspects of modal and related logics.
The early years of modal logic saw the characterisation of its basic notions in terms of the axiomatic method. Later, with the invention of HintikkaKripke's semantics, semantical methods became the dominant approach of philosophers, mathematicians, and computer scientists.
These methods, however, do not reflect the structure of the inferential processes that are necessarily connected to a logical representation.
Here modern proof theory comes to rescue; in fact, it was born out of dissatisfaction with the axiomatic logical
method in view of a faithful presentation of the processes of logical inference.
My early work in this area, from 1997 to 2003, has been mainly in pure proof theory, in the tradition of Gentzen, Ketonen, Dragalin and Troelstra. In 2003, I found a way of extending the results for pure predicate logic to logics that can be characterized in terms of Kripke semantics. With this in hand, I had a clue to develop inferential systems for modal logic, which at that time was considered impossible by many.
A decisive step in the programme I carried out subsequently was the formulation of systems of basic modal logic as systems of rules of proof within a welldeveloped methodology for the analysis of the structure of proofs. The seminal paper in the topic appeared in 2005 and has become a widely cited and very influential work and the basis of several doctoral theses, both in Finland and abroad; an exposition forms the fourth part of my monograph "Proof Analysis" with Jan von Plato.
Recently, I have extended this line of research both in scope and methodology, with the development of a more finegrained topological semantics to cover counterfactual reasoning, nonnormal modalities, doxastic notions and epistemic dynamics.
Since 1.8.2015 I am professor of Theoretical Philosophy
at the
Philosophy Unit of the
Department of Philosophy, History and Culture of the
University of
Helsinki.
Previously I have been a Researcher/Senior Researcher since 1996 and Logiikan Dosentti (Adjunct Professor in Logic) since 1998 in the same department, and research fellow at the
Helsinki Collegium for Advanced Studies from 2014 to 2015.
I obtained a Ph.D. in mathematical logic at the University of Padova in 1996. I visited various
universities (Amsterdam, Chalmers, St Andrews, Toulouse), have been a
research associate at the Department of Computing of the Imperial College in London, a Humboldt Fellow at the Department of Mathematics of LMU in Munich, and
a visiting scientist at the MittagLeffler mathematical research institute in Stockholm and at the Hausdorff Research Institute for Mathematics in Bonn.
Besides teaching at the University of Helsinki, I have held a number of specialized courses in Summer Schools and invited lecture series to students from mathematics, philosophy and computer science.
I have consolidated experience of reaserch group leadership and have supervised five doctoral dissertations.
During 20132014 I have obtained the National Scientific Qualification to associate and full professorship in Italian Universities for the academic fields
of
''Logica Matematica e Matematiche Complementari (01/A1)'' and ''Logica, Storia e
Filosofia della Scienza (11/C2)'', and to associate professorship in
''Informatica (01/B1)''.
CV (pdf).
I am representative for Finland for the European research network on types for programming and verification (EUTYPES)
COST action
Teaching 2018/2019:

Research seminar 2018/2019 (IIV period):
FTY911 Research seminar in logic and philosophy of mathematics,
detailed program

Course spring 2019 (III period):
FILK212 Logic II.
Activity and publications:
Forthcoming events:
 Building Bridges 2019, 31st Academia Europaea Annual Conference, Barcelona, 2325 October 2019.
 Tableaux 2019, London, 35 September 2019.
 Logic Colloquium 2019, Prague, 1116 August 2019.
 CLMPST 2019, Prague, 510 August 2019.
 26th Workshop on Logic, Language, Information and Computation (WoLLIC 2019), Utrecht, 25 July 2019.
 Proof Theory in Logic, Utrecht, 12 July 2019.
Past events:

4th SILFS Postgraduate Conference on Logic and Philosophy of Science,
Urbino, 37 June 2019.
 Third Tübingen Conference on ProofTheoretic Semantics, Tübingen, Germany, 2730 March 2019.
 Colloquium Logicum, Bayreuth, Germany, 1416 September 2018.
 Advances in Modal Logic 2018 , Bern, 2731 August 2018.
 Types, Sets and Constructions, Hausdorff Trimester Program,
May 2  August 24, 2018.

Reasoning in Social Context, Royal Netherlands Academy of Arts and Sciences, Amsterdam,
31 May  2 June, 2018.

Workshop 'Doxastic Agency and Epistemic Logic', Bochum, 1516 December 2017.

Mathematical Logic: Proof Theory, Constructive
Mathematics, Oberwolfach, November 611, 2017.
 XXVI incontro dell'Associazione Italiana di Logica e sue Applicazioni, Padova, September 2328, 2017.
 The Sixth International Conference on Logic, Rationality and Interaction (LORIVI), Hokkaido University, Sapporo, Japan, September 1114, 2017.
 Logic in Stockholm 2017: NLS Summer School, Logic Colloquium, CSL, Stockholm, August 711, 1420, 2026, 201\
7.
 HumboldtKolleg: Proof Theory as Mathesis Universalis, Villa Vigoni, Como, 2427 July, 2017.
 SILFS 2017: Triennial International Conference of the Italian Society for Logic and Philosophy of Science, Bologna, 2023 June 2017.
 Workshop on Proof Theory and Modal Logic , Turin, December 2, 2016.
 International Conference: JAAKKO HINTIKKA's legacy in GameTheoretical Semantics and Epistemic Logic, 89 September, Helsinki.
 NonClassical Logics. Theory and Applications, 57 September 2016, Lodz, Poland.
Call for Papers.
 Advances in Modal Logic 2016, 29 August2 September 2016, Budapest.
Call for Papers.
 International Joint Conference of
Automated Reasoning, 17 June2 July, Univ. of Coimbra, Portugal.
 Logica 2016, Hejnice monastery, Czech Republic, 2024 June 2016.
Call for Papers.
 Modalities, Conditionals, and Values: A Symposium on Philosophical Logic
in Celebration of the Centenary of
Georg Henrik von Wright, University of Helsinki, May 2325, 2016.
Call for Papers.
 EstonianFinnish Logic Meeting, Rakvere, November 1315, 2015.
 Workshop Trends in Proof
Theory, University of Hamburg, Department of
Mathematics, September 2021, 2015;
Wellquasi orders: From theory to applications
Hamburg, DMVJahrestagung 2015, September 2425.
Tableaux 2015, Automated Reasoning with Analytic Tableaux and Related Methods
University of Wroclaw, Poland, September 2024, 2015.
 15th Congress on Logic, Methodology, and Philosophy of Science, University of Helsinki, August 38, 2015.
 CLMPS affiliated meeting: Proof theory of modal and nonclassical logics, University of Helsinki, August 7, 2015.
 Utrecht Workshop on Proof Theory, Utrecht University, April 1618, 2015.
 Modeling hypothetical reasoning: validity, inference, and paradoxes, University of Paris I, February 1920, 2015.
 Scandinavian Logic Symposium 2014, University of Tampere, Finland, August 2527, 2014.
 Scuola Estiva di Logica, Gargnano, Italy, August 2430, 2014.
 Advances in Modal Logic 2014,
University of Groningen, The Netherlands, August 58, 2014.
 Proof, Truth, Computation. Modern Foundations of Mathematics and Contemporary Philosophy, Chiemsee, Germany, July 2125, 2014.
 Proof, Structure and Computation, Vienna,
July 1718, 2014.
 SILFS 2014 Triennial International Conference of the Italian Society for Logic and Philosophy of Sciences, Rome, June 1820.
 Modality and Modalities M&M2014, Lund University, May 2224, 2014.
 Algebra and Coalgebra meet Proof Theory, Queen Mary, University of London, May 1516, 2014.
 XXV incontro dell'Associazione Italiana di Logica e sue Applicazioni, Scuola Normale Superiore, Pisa, April
1417, 2014.
Workshop on Formalization in Philosophy, University of Copenhagen, December 1213, 2013.
Workshop 'Proof Theory and Philosophy', University of Groningen, December 35, 2013.
 LIX Colloquium on The Theory and Application of Formal Proofs, Paris, France, November 57, 2013.
 Tableaux 2013, Nancy, France, September 1619, 2013.
 Modality and Modalities, Roskilde, Denmark, May 2324, 2013.
 Workshop on Intensionality in Mathematics, Lund, Sweden, May 1112, 2013.
 4th World Congress and School on Universal Logic, Rio de Janeiro, Brazil, March 29April 7, 2013.
 Logic: Between Semantics and Proof Theory, TelAviv, Israel, 12 November 2012.
 8th Scandinavian Logic Symposium , Roskilde University, Denmark, 2021 August 2012.
 Logic in Computer Science (LICS 2012) , Dubrovnik, Croatia, 2528 June 2012.
 Pisa Summer Workshop on Proof Theory , Pisa, Italy, 1215 June 2012.
 Workshop on Proof Theory and Constructivism , Helsinki, Dept. of Philosophy, 23 March 2012.
 JAIST Spring School 2012 , Kanazawa, Japan, 59 March 2012.
Teaching (past):
Official homepage
University of Helsinki guidelines to avoid cheating and recognise plagiarism
Links