El principio formal conocido como la fórmula de Barcan surgió del trabajo temprano de Ruth Barcan Marcus, quien introdujo los primeros sistemas axiomáticos de lógica modal cuantificada. Operando dentro del panorama de la filosofía analítica del siglo XX, estableció conceptos fundamentales en la lógica modal y filosófica que continúan informando el discurso académico actual sobre la referencia y la necesidad.
Fundamentos académicos y carrera
Nacida en el Bronx en 1921, Ruth Charlotte Barcan completó sus estudios de grado en la Universidad de Nueva York en 1941, donde se centró en matemáticas y filosofía. Cursó estudios de posgrado en la Universidad de Yale, obteniendo una maestría en 1942 y un doctorado en 1946. Su trayectoria profesional incluyó cargos en la Universidad Northwestern, la Universidad Roosevelt de Chicago y la Universidad de Illinois en Chicago. En 1973, se unió al cuerpo docente de la Universidad de Yale como profesora de filosofía Reuben Post Halleck, puesto que ocupó hasta su jubilación en 1992 como profesora emérita.
Contribuciones a la lógica modal
Marcus desarrolló los sistemas iniciales de lógica modal cuantificada, extendiendo los sistemas proposicionales a la lógica de primer y segundo orden. Sus publicaciones de 1946 y 1947 en el Journal of Symbolic Logic, incluyendo 'A Functional Calculus of First Order Based on Strict Implication', introdujeron la fórmula de Barcan y establecieron la necesidad de la identidad. También introdujo el operador de caja estándar utilizado para denotar la necesidad dentro de estos sistemas formales.
Teorías de la referencia y la creencia
En la filosofía del lenguaje, Marcus propuso una teoría de la referencia directa argumentando que los nombres propios funcionan como meras etiquetas para objetos, en lugar de conjuntos de descripciones. Esta visión contrastaba con las teorías existentes sobre los nombres propios prevalentes en ese momento. Además, su trabajo sobre la creencia sugiere que constituye una relación entre un agente y un estado de cosas, rechazando las explicaciones de la cognición puramente centradas en el lenguaje a favor de indicadores de comportamiento como las apuestas.
Reconocimiento profesional y membresía
A lo largo de su carrera, Marcus ocupó varios cargos de liderazgo, sirviendo como presidenta de la junta de funcionarios de la Asociación Filosófica Estadounidense de 1976 a 1983. Fue presidenta de la Asociación de Lógica Simbólica y del Institut International de Philosophie. Recibió una beca Guggenheim en 1953 y fue miembro de la Academia Estadounidense de las Artes y las Ciencias. Sus honores incluyen la Medalla Wilbur Cross y las Conferencias Carus en 2000, el Premio Philip L. Quinn en 2007 y el Premio Lauener en 2008.
Veinte preguntas, ocho minutos de reloj y un percentil medido frente a todos los que la han hecho. Sin registro.
Hacer la prueba de CI →Datos rápidos
- Nacimiento: 1921, El Bronx - Fallecimiento: 2012, New Haven - Educación: Universidad de Yale; Universidad de Nueva York - Obra notable: Fórmula de Barcan - Obra notable: Necesidad de la identidad - Premio: Beca Guggenheim (1953) - Premio: Medalla Wilbur Cross (2000) - Rol profesional: Presidenta, Asociación de Lógica Simbólica
Preguntas que hacen los lectores
### ¿Qué es la fórmula de Barcan?
Es un principio introducido por Marcus en su trabajo temprano sobre lógica modal cuantificada, que apareció por primera vez en sus publicaciones de 1946.
### ¿Cómo definió Marcus los nombres propios?
Argumentó que los nombres propios funcionan como 'etiquetas' directas para los objetos, rechazando la teoría de que están compuestos de contenido descriptivo.
### ¿Dónde enseñó Ruth Barcan Marcus?
Ocupó cargos docentes en la Universidad Northwestern, la Universidad Roosevelt, la Universidad de Illinois en Chicago y la Universidad de Yale.
