[Picture of me] [Structural Proof Theory] [Structural Proof Theory]

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
E-mail : 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 13-14

My research, in brief. My research is aimed at bridging the gaps between the normative, the descriptive, and the deductive aspects of philosophical logic. The early years of philosophical logic saw the characterisation of its basic notions in terms of the axiomatic method. Later, with the invention of Hintikka-Kripke's semantics of modal logic and its extension to other areas of philosophical logic, 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. Modern proof theory was born out of dissatisfaction with the axiomatic logical method in view of a faithful presentation of the processes of logical inference. My work in this area was mainly in pure proof theory, from 1997 to 2003, in the tradition of Gentzen, Ketonen, Dragalin and Troelstra. In 2003, I found a way of extending the results for pure predicate logic to the main areas of philosophical logic. At that time, the development of inferential systems for modal logic and related areas was considered by many an impossibility. A decisive step in this programme was the formulation of systems of basic modal logic as systems of rules of proof within a well-developed 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 of this theory forms the fourth part of my monograph, co-authored with Jan von Plato, Proof Analysis. Recently, I have extended this line of research both in scope and methodology, with the use of a more fine-grained topological semantics to cover counterfactual reasoning, non-normal modalities, doxastic and epistemic dynamics.

Since 1.8.2015 I am professor of Theoretical Philosophy at the Philosophy Unit of the Department of Philosophy, History, Culture and Art Studies of the University of Helsinki. Previously I have been a Researcher/Senior Researcher since 1996 and Dosentti (Adjunct Professor) 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, StAndrews, Toulouse), have been a research associate at the Imperial College in London, a Humboldt Fellow in Munich, and a visiting scientist at the Mittag-Leffler Institute in Stockholm. Besides teaching at the University of Helsinki, I have held a number of specialized courses in Summer Schools and invited lecture series. I have consolidated experience of reaserch group leadership and have supervised four doctoral dissertations.

CV (pdf).

New project (2017-2021): Modalities and conditionals: Systematic and historical studies

I am the representative for Finland for the European research network on types for programming and verification (EUTYPES) COST action

Teaching 2017/2018:

Activity and publications:

Forthcoming events:

Recent events:

Past events:

Teaching (past):

Official homepage

University of Helsinki guidelines to avoid cheating and recognise plagiarism

Links


[reflection]