Under den filosofiska logikens tidiga år karakteriserades dess grundbegrepp med hjälp av den axiomatiska metoden. Senare upptäcktes Jaakko Hintikkas och Saul Kripkes semantik för modallogiken. Dessa semantiska metoder utvidgades också till andra områden inom den filosofiska logiken och de prioriterades bland filosofer, matematiker och datavetare. Metoderna återspeglar dock inte strukturerna i härledningsprocesser, som oundvikligen är kopplade till en logisk representation.

Professor Sara Negri har medverkat i flera initiativ vars syfte har varit att främja kvinnors karriärmöjligheter inom akademiska vetenskapsområden. Hon har talat om erfarenheter från sin egen forskarkarriär bland annat på konferensen Computability in Europe år 2010.

Negri är verksam i betygsnämnder för doktorsavhandlingar i Finland, Sverige, Frankrike och Italien…

Sara Negri har varit medlem i verkställande ledningsgruppen för Scandinavian Logic Society sedan föreningen grundades 2011. Ett av föreningens centrala syften har varit att återuppliva traditionen av skandinaviska logiksymposier. Negri var medordförande för 9th Scandinavian Logic Symposium som hölls i Tammerfors 2014.

Negri har även varit aktivt verksam i två…

Jag har haft en ovanligt lång karriär som forskare på heltid vid Helsingfors universitet, från 1996 till 2015. Dessa år har fyllts av många tidsbegränsade avtal, från forskare i olika projekt till akademiforskare i Finlands Akademis tjänst och medlem i Helsingfors universitets forskarkollegium. År 2007 fick jag inleda min andra…

Sara Negris första arbetsrum vid Helsingfors universitet var en kokvrå i en före detta gårdskarls lägenhet i universitetsbyggnaden Forsthuset.