Ruth Barcan Marcus

Marcus’ forskning faller primært innen modallogikk, et felt som tar for seg de logiske egenskapene til uttrykk som «nødvendig» og «mulig». Hun var en pioner i utforskningen av kvantifisert modallogikk, hvor man studerer hvordan de nevnte modale uttrykkene samvirker logisk med såkalte kvantorer, det vil si uttrykk som «noe» og «alle».

I Marcus’ doktoravhandling fra 1941, og artikler basert på denne publisert på 1940-tallet, gis blant annet det første formelle systemet for kvantifisert modallogikk. I den forbindelse legger hun til grunn Barcan-formelen. Den sier at dersom det er mulig at det finnes noe som har en gitt egenskap, F, så finnes det noe som er slik at det er mulig for det å ha egenskapen F. Hun utleder også den konverse Barcan-formelen. Andre logikere, som Saul Krikpe, har senere formulert modallogiske systemer hvor ingen av disse to formlene er gyldige. Om formlene bør antas eller ei, har senere vært omdiskutert i metafysikk.

De nevnte arbeidene inneholder også et bevis for at (numerisk) identitet er nødvendig. Altså, om A og B er identiske, er de nødvendigvis identiske. Dette ble i samtiden ansett for absurd. Dette fordi et identitetsutsagn som, for eksempel, «Norges høyeste fjell er det samme som Galdhøpiggen» framstår som kontingent, og man anså at det samme, av semantiske grunner, ville gjelde de aller fleste identitetsutsagn. Som en følge av Marcus’ senere skrifter om egennavn, og arbeidet til filosofer og logiskere som Kripke om samme tema, er det nå større enighet om at det finnes rimelige tolkninger av Marcus’ bevis på hvilke beviset er korrekt.

Marcus har i sin forskning berørt flere tema utenom kvantifisert modal logikk. I en mye sitert artikkel om moralske dilemma argumenterer hun for at moralske dilemma ikke behøver forstås som uttrykk for en logisk inkonsistens blant de moralske prinsipper, plikter, eller regler som legges til grunn.

• modal logikk
• analytisk filosofi

• Barcan, Ruth C. “A Functional Calculus of First Order Based on Strict Implication.” The Journal of Symbolic Logic, vol. 11, no. 1, 1946, pp. 1–16.
• Barcan, Ruth C. “The Identity of Individuals in a Strict Functional Calculus of Second Order.” The Journal of Symbolic Logic, vol. 12, no. 1, 1947, pp. 12–15.
• Marcus, Ruth Barcan. Modalities. Oxford: Oxford University Press, 1993.
• Marcus, Ruth Barcan. A Philosopher’s Calling. John Dewey Lecture at the American Philosophical Association, Eastern 2009
• Raffman, Diana. "Woman, Fighter, Philosopher", The New York Times, April 26, 2012.