Ruth Barcan Marcus ( / ˈ b ɑːr k ən ˈ m ɑːr k ə s / ; nacida Ruth Charlotte Barcan ; 2 de agosto de 1921 [2] [3] - 19 de febrero de 2012 [3] ) fue una filósofa y lógica académica estadounidense mejor conocida por su trabajo en lógica modal y filosófica . [4] Desarrolló los primeros sistemas formales de lógica modal cuantificada [5] y al hacerlo introdujo el esquema o principio conocido como fórmula de Barcan . [2] [3] [5] (También introduciría el ahora estándar operador de "caja" por necesidad en el proceso.) [4] Marcus, quien publicó originalmente como Ruth C. Barcan , [5] era, como Don Garrett señala [2] "uno de los filósofos-lógicos más importantes e influyentes del siglo XX". Timothy Williamson , en una celebración de 2008 de la larga carrera de Marcus, afirma que muchas de sus "ideas principales no sólo son originales, inteligentes, hermosas, fascinantes, influyentes y muy adelantadas a su tiempo, sino que, en realidad, creo - verdadero ". [6]
Ruth Barcan (como se la conocía antes de casarse con el físico Jules Alexander Marcus en 1942 [7] ) se graduó magna cum laude en la Universidad de Nueva York en 1941, con especialización en matemáticas y filosofía . Luego fue a la escuela de posgrado en Yale , donde obtuvo su maestría en 1942 y su doctorado en 1946. [7]
Marcus fue profesora visitante en la Universidad Northwestern desde 1950 hasta 1953 y, nuevamente, en 1959. Se desempeñó como profesora asistente y luego asociada en la recién fundada Universidad Roosevelt , en Chicago, entre 1956 y 1963. De 1964 a 1970, Fue profesor de filosofía en la Universidad de Illinois en Chicago (originalmente se desempeñó como jefe de departamento). Fue profesora de filosofía en la Universidad Northwestern desde 1970 hasta 1973, cuando fue nombrada profesora de Filosofía Reuben Post Halleck en la Universidad de Yale hasta su jubilación, como profesora emérita , en 1992. Continuó enseñando, durante los semestres de invierno, en la Universidad de California, Irvine hasta 1997. [4] [8]
Entre otros cargos profesionales ocupados durante su carrera, Marcus se desempeñó como presidenta de la junta directiva de la Asociación Filosófica Estadounidense (1976–83) y como presidenta de la Asociación de Lógica Simbólica (1983–86) y luego del Institut International de Filosofía (1989–92). [4] [7]
La fórmula de Barcan, ampliamente discutida, se introduce como un axioma en QML. [9] : 481 En su primer trabajo publicado, la publicación del primer estudio axiomático de lógica modal con cuantificadores, Marcus publicó bajo su apellido de soltera Ruth C. Barcan. Incluye estos tres artículos: "Un cálculo funcional de primer orden basado en implicaciones estrictas", Journal of Symbolic Logic (JSL, 1946), "El teorema de deducción en un cálculo funcional de primer orden basado en implicaciones estrictas" (JSL, 1946) y "La identidad de los individuos en un cálculo funcional estricto de segundo orden", (JSL, 1947).
Los primeros sistemas de lógica modal cuantificada, que extendieron algunos sistemas modales proposicionales de Clarence Irving Lewis a primer y segundo orden; Los artículos de 1946 y 1947 fueron un logro importante en el desarrollo de la lógica del siglo XX.
Lewis otorga a Marcus un reconocimiento especial en sus "Notas sobre la lógica de la intensión", impresas originalmente en Estructura, método y significado: ensayos en honor a Henry M. Sheffer (Nueva York, 1951). Aquí Lewis reconoce a Barcan Marcus como el primer lógico en extender la lógica proposicional como una lógica intensional de orden superior.
Marcus propuso en la filosofía del lenguaje la visión según la cual los nombres propios son lo que Marcus denominó meras "etiquetas" ("Modalidades y lenguajes intensionales" ( Synthese , 1961) y otros). Según su teoría de las etiquetas de los nombres (una teoría de la referencia directa ), estas "etiquetas" se utilizan para referirse a un objeto, que es el portador del nombre. El significado del nombre se considera agotado por esta función referencial. Este punto de vista contrasta, por ejemplo, con la teoría de descripción de nombres propios de Bertrand Russell , así como con la teoría de descripción de nombres de grupos de John Searle [10] que prevalecía en ese momento. Esta visión de los nombres propios (presentada en 1962 con Willard Van Orman Quine como comentarista) ha sido identificada por Quentin Smith con la teoría de la referencia dada en Naming and Necessity de Saul Kripke . [11] Sin embargo, en una reciente laudatio a Ruth Barcan Marcus, el profesor Timothy Williamson dice:
Una de las ideas que más resuena en la filosofía actual del lenguaje es la de los nombres propios como meras etiquetas, sin contenido descriptivo. Ésta no es la idea de Kripke de los nombres como designadores rígidos , que designan el mismo objeto con respecto a todos los mundos relevantes, ya que las descripciones definidas "rigidizadas" son designadores rígidos pero aún tienen contenido descriptivo. Más bien, es la idea, desarrollada más tarde por David Kaplan y otros, de que los nombres propios son directamente referenciales, en el sentido de que aportan sólo su portador a las proposiciones expresadas por las oraciones en las que aparecen. [12]
El filósofo del lenguaje Stephen Neale también ha argumentado en contra de la afirmación del profesor Smith en el Times Literary Suplemento . [13]
Marcus demostró formalmente la necesidad de la identidad en 1946 y la defendió informalmente en 1961, rechazando así la posibilidad de una identidad contingente. Véase Journal of Symbolic Logic , (1947) 12: págs. 12-15.
Marcus prefiere una interpretación donde el dominio de la interpretación comprende entidades individuales en el mundo real. También sugiere que para algunos usos se justifica una semántica sustitutiva alternativa. Proporciona argumentos en contra de possibilia. Véase "Dispensing with Possibilia" (Actas de la Asociación Filosófica Estadounidense, 1975-1976); "Possibilia y mundos posibles" ( Grazer Philosophische Studien , 1985–86).
Marcus define un conjunto coherente de principios morales como aquel en el que existe un "mundo posible" en el que todos son obedientes. Que puedan entrar en conflicto en el mundo real no es una señal de inconsistencia. Como en el caso de la necesidad de identidad, hubo resistencia a esta interpretación del conflicto moral. Su argumento va en contra de una opinión ampliamente aceptada de que los sistemas de reglas morales son inevitablemente inconsistentes. [14]
Se propone que creer es una relación de un agente con un posible estado de cosas bajo circunstancias internas y externas específicas. Asentir a una oración citada (la explicación de la creencia sin citar) es sólo un marcador conductual de creencia. El comportamiento de apuesta es otra. Se rechaza la explicación de la creencia totalmente centrada en el lenguaje (por ejemplo, Davidson ). Mientras que tradicionalmente se describiría a un agente como alguien que cree en una imposibilidad hasta que dicha imposibilidad fuera revelada, Marcus propone que, en esas circunstancias, el agente debería decir que solo afirmó creer en una imposibilidad. De la misma manera, cuando un matemático descubre que una de sus conjeturas es falsa, y dado que si es matemáticamente falsa es imposible, diría que sólo afirma que la conjetura es verdadera. Por extraña que sea esta propuesta, es análoga al principio ampliamente aceptado sobre el conocimiento: si afirmamos conocer P, y P resulta falso, no decimos que solíamos saberlo, decimos que nos equivocamos al afirmarlo. [15]
El esencialismo aristotélico se ocupa de las propiedades que Marco define en el contexto de un marco modal. Una propuesta es que una propiedad es esencial si algo la tiene, no todo la tiene, si algo la tiene entonces necesariamente la tiene, y no es totalmente individuante, por ejemplo, una propiedad de tipo natural. Por lo demás, Quine y otros afirman que la lógica modal o la semántica está comprometida con verdades esencialistas. Marcus sostiene informalmente que hay interpretaciones de algunos sistemas modales en las que todas las afirmaciones esencialistas son falsas. Más tarde, Terence Parsons demostró formalmente este resultado. [dieciséis]
Se propone una alternativa a la semántica tarskiana (teórica de modelos) para algunos usos en los que "las condiciones de verdad para fórmulas cuantificadas se dan puramente en términos de verdad sin apelar a dominios de interpretación". Esto ha llegado a denominarse " semántica del valor de verdad ". Marcus muestra que la afirmación de que tal semántica conduce a contradicciones es falsa. [17] Esta semántica puede ser de interés para las matemáticas, por ejemplo, Hartry Field , o para el discurso ficticio. La cuantificación objetual es necesaria para la interpretación de la identidad y otras categorías metafísicas . [18] : 190–196
Libros (escritos o editados)
Papeles academicos