Per Lindström (9 aprile 1936Göteborg, 21 agosto 2009) è stato un logico svedese, che diede vita al Teorema di Lindström e al quantificatore di Lindström[1].

Biografia

modifica

Per Lindström scoprì in modo indipendente il Gioco di Ehrenfeucht-Fraïssé. Fu uno dei più importanti seguaci del filosofo e logico svedese Lars Svenonius.[2]

Nel 1966, ricevette un dottorato dall'Università di Göteborg con una tesi intitolata Some Results in the Theory of Models of First Order Languages (Alcuni risultati nella teoria dei modelli dei linguaggi del primo ordine). Lindström ha insegnato alla Facoltà di Filosofia dell'Università di Göteborg, prima come associato, e dal 1991 come professore di logica. Nel 2001 è andato in pensione.

Nel 1986 fu pubblicato un festschrift in suo onore.[3]

Si spense a Göteborg il 21 agosto 2009.[4]

Pubblicazioni selezionate

modifica
  • Per Lindström, First Order Predicate Logic with Generalized Quantifiers, Theoria 32, 1966, 186–195.
  • Per Lindström, On Extensions of Elementary Logic, Theoria 35, 1969, 1–11.
  • Per Lindström, Aspects of incompleteness, Springer-Verlag, 1997, ISBN 978-3-540-63213-9.; 2aed.ne pubblicata da ASL nel 2003, ISBN 978-1-56881-173-4
  1. ^ Dale Jacquette, A companion to philosophical logic, 2005, p. 329, ISBN 1-4051-4575-7.
  2. ^ John Roy Burr, Handbook of world philosophy, 1980, p. 186, ISBN 0-313-22381-5.
  3. ^ Per Lindström, Mats Furberg, Thomas Wetterström e Claes Åberg, Logic and abstraction: essays dedicated to Per Lindström on his fiftieth birthday, 1986, ISBN 91-7346-168-7.
  4. ^ Association for Symbolic Logic, Newsletter, settembre 2009

Bibliografia

modifica

Collegamenti esterni

modifica
Controllo di autoritàVIAF (EN40107897 · ISNI (EN0000 0000 8406 5872 · LCCN (ENn86090404 · GND (DE115434836 · J9U (ENHE987007412569705171 · CONOR.SI (SL92101219