Il principio formale noto come formula di Barcan è emerso dal lavoro iniziale di Ruth Barcan Marcus, che ha introdotto i primi sistemi assiomatici di logica modale quantificata. Operando all'interno del panorama della filosofia analitica del XX secolo, ha stabilito concetti fondamentali nella logica modale e filosofica che continuano a informare il discorso accademico attuale su riferimento e necessità.
Fondamenti accademici e carriera
Nata nel Bronx nel 1921, Ruth Charlotte Barcan ha completato gli studi universitari presso la New York University nel 1941, concentrandosi su matematica e filosofia. Ha proseguito gli studi post-laurea presso la Yale University, ottenendo un master nel 1942 e un dottorato nel 1946. La sua carriera professionale ha incluso incarichi presso la Northwestern University, la Roosevelt University di Chicago e la University of Illinois Chicago. Nel 1973 è entrata a far parte della facoltà della Yale University come professoressa di filosofia Reuben Post Halleck, posizione che ha ricoperto fino al pensionamento nel 1992 come professoressa emerita.
Contributi alla logica modale
Marcus ha sviluppato i sistemi iniziali di logica modale quantificata, estendendo i sistemi proposizionali alla logica del primo e secondo ordine. Le sue pubblicazioni del 1946 e 1947 sul Journal of Symbolic Logic, tra cui 'A Functional Calculus of First Order Based on Strict Implication', hanno introdotto la formula di Barcan e stabilito la necessità dell'identità. Ha anche introdotto l'operatore 'box' standard utilizzato per denotare la necessità all'interno di questi sistemi formali.
Teorie del riferimento e della credenza
Nella filosofia del linguaggio, Marcus ha proposto una teoria del riferimento diretto sostenendo che i nomi propri funzionano come semplici etichette per gli oggetti, piuttosto che come insiemi di descrizioni. Questa visione contrastava con le teorie esistenti sui nomi propri prevalenti all'epoca. Inoltre, il suo lavoro sulla credenza suggerisce che essa costituisca una relazione tra un agente e uno stato di cose, rifiutando spiegazioni della cognizione puramente incentrate sul linguaggio a favore di marcatori comportamentali come le scommesse.
Riconoscimenti professionali e affiliazioni
Nel corso della sua carriera, Marcus ha ricoperto vari ruoli di leadership, servendo come presidente del consiglio di amministrazione dell'American Philosophical Association dal 1976 al 1983. È stata presidente dell'Association for Symbolic Logic e dell'Institut International de Philosophie. Ha ricevuto una borsa di studio Guggenheim nel 1953 ed è stata membro dell'American Academy of Arts and Sciences. I suoi riconoscimenti includono la Wilbur Cross Medal e le Carus Lectures nel 2000, il Philip L. Quinn Prize nel 2007 e il Lauener Prize nel 2008.
Venti domande, otto minuti di orologio e un percentile misurato su tutti quelli che l’hanno fatto. Senza registrazione.
Fai il test del QI →Fatti in breve
- Nata: 1921, The Bronx - Deceduta: 2012, New Haven - Istruzione: Yale University; New York University - Opera notevole: Formula di Barcan - Opera notevole: Necessità dell'identità - Premio: Borsa di studio Guggenheim (1953) - Premio: Wilbur Cross Medal (2000) - Ruolo professionale: Presidente, Association for Symbolic Logic
Domande poste dai lettori
### Cos'è la formula di Barcan?
È un principio introdotto da Marcus nel suo lavoro iniziale sulla logica modale quantificata, apparso per la prima volta nelle sue pubblicazioni del 1946.
### Come ha definito Marcus i nomi propri?
Ha sostenuto che i nomi propri funzionano come 'etichette' dirette per gli oggetti, rifiutando la teoria secondo cui sono composti da contenuto descrittivo.
### Dove ha insegnato Ruth Barcan Marcus?
Ha ricoperto posizioni accademiche presso la Northwestern University, la Roosevelt University, la University of Illinois Chicago e la Yale University.
