Lindströmseminariet 2022: Sara Negri

Syntax och semantik, som ofta betraktas som motstridiga aspekter av logik, har visat sig vara sammanflätade i en metod för att generera kompletta bevissystem för breda familjer av icke-klassisk logik. I denna formella semantik kan modeller betraktas som rent matematiska objekt utan ontologiska antaganden om dem. Mer specifikt, genom "labelled formalism", som nu är en välutvecklad metodik, förvandlas semantiken till en väsentlig komponent i syntaxen för logiska kalkyler.

Kalkylerna är inte bara ett verktyg för automatisering av resonemang, utan kan också användas på metanivå för att fastställa allmänna strukturella egenskaper hos logiska system och direkta bevis på fullständighet fram till beslutbarhet i det avslutande fallet. Kalkylerna kan å andra sidan användas för att hitta förenklade modeller genom konservativitetsresultat. Metoden kommer att illustreras med gradvis generaliserad semantik, inklusive topologiska sådana som "neighbourhood semantics".

Institutionen för filosofi, lingvistik och vetenskapsteori anordnar sedan 2013 The Lindström Lectures till minne av Pelle Lindström, som var verksam som professor i logik.