Filosofia: e' morta Barcan, gigante del pensiero che ha creato formula logica

New York, 14 mar. - (Adnkronos) - La filosofa statunitense Ruth Barcan Marcus, autrice di fondamentali contributi di logica soprattutto sulle contraddizioni, e' morta nella sua casa di New Haven (Connecticut) all'eta' di 90 anni. L'annuncio della scomparsa del gigante del pensiero logico, a funerali avvenuti, e' stato dato al ''New York Times'' dalla Yale University, dove ha insegnato fino al 1992, anno del suo pensionamento. Dopo aver studiato filosofia e matematica alla New York University, inizio' la carriera alla University of Illinois di Chicago, per passare poi alla Northwestern University e quindi alla Yale University. In seguito ha insegnato anche alla University of California di Irvine. Barcan Marcus e' stata una delle primissime filosofe americane ad occuparsi di logica nel XX secolo, un campo del pensiero tradizionalmente dominato dagli uomini, dove la studiosa si e' dovuta confrontare con titani del calibro di Willard Van Orman Quine, Rudolf Carnap e Kurt Godel. In logica, la filosofa ha creato la ''formula di Barcan'' e ''l'inverso della formula di Barcan'', che definiscono una relazione tra quantificatori e operatori modali. Barcan, dopo i pionieristici studi della seconda meta' degli anni Quaranta, ha cercato di chiarire l'ambiguita' fra contraddizioni intese come singoli enunciati (o proposizioni, o affermazioni). La ''formula di Barcan'' recita che ''una contraddizione e' la congiunzione di una proposizione e della sua negazione''. Negli anni Settanta la filosofa e' giunta a delineare una ricostruzione teorica complessiva delle radici stesse della strategia nominalistica. Una ricostruzione all'interno della quale possono essere inquadrati anche i metodi e le idee guida che hanno condotto alla nascita della teoria casuale dei nomi cosi come elaborata da Saul Kripke.