Ruth Barcan Marcus

Ir a la navegaciónIr a la búsqueda
Ruth Barcan Marcus
Ruth Barcan Marcus.jpg
Información personal
Nacimiento 2 de agosto de 1921 Ver y modificar los datos en Wikidata
El Bronx (Estados Unidos) Ver y modificar los datos en Wikidata
Fallecimiento 19 de febrero de 2012 Ver y modificar los datos en Wikidata (90
años)
New Haven (Estados Unidos) Ver y modificar los datos en Wikidata
Nacionalidad Estadounidense
Educación
Educada en
Universidad de Nueva York
Universidad Yale (Ph.D. en Filosofía; hasta 1946) Ver y modificar los datos en
Wikidata
Supervisor doctoral Frederic Brenton Fitch Ver y modificar los datos en
Wikidata
Información profesional
Ocupación Filósofa y escritora Ver y modificar los datos en Wikidata
Empleador
Universidad Yale
Universidad de Illinois en Chicago
Universidad del Noroeste Ver y modificar los datos en Wikidata
Miembro de
Academia Estadounidense de las Artes y las Ciencias
Phi Beta Kappa Ver y modificar los datos en Wikidata
Distinciones
Miembro de la Academia Estadounidense de las Artes y las Ciencias
Philip L. Quinn Prize
Beca Guggenheim (1953)
Wilbur Cross Medal (2000) Ver y modificar los datos en Wikidata
[editar datos en Wikidata]
Ruth Barcan Marcus (2 de agosto de 19211 – 19 de febrero de 20122) fue una
filósofa, lógica y académica estadounidense, conocida por su trabajo en lógica
modal y filosófica. 3 Desarrolló los primeros sistemas formales de lógica modal
cuantificada4 y, al hacerlo, introdujo el esquema o principio conocido como fórmula
de Barcan.14 (También introdujo el estándar operador de "caja" por necesidad en el
proceso).3 Marcus, quien publicó originalmente como Ruth C. Barcan, 4 fue, como
señala Don Garrett1 "una de las filósofas-lógicas más importantes e influyentes del
siglo XX". Timothy Williamson, en una ceremonia de 2008 para celebrar la extensa
carrera de Marcus, afirma que muchas de sus "ideas principales no solo son
originales, e inteligentes, y bellas, y fascinantes, e influyentes, y muy
adelantadas a su tiempo, sino que realmente -creo- son verdaderas".5

Índice
1 Carrera académica y servicio
2 Filosofía
2.1 Lógica modal cuantificada
2.2 Referencia directa
2.3 Necesidad de identidad
2.4 Semántica de QML
2.5 Conflicto moral
2.6 Creencias
2.7 Esencialismo
2.8 Cuantificación sustitucional
3 Obras
3.1 Libros (escritos o editados)
3.2 Publicaciones académicas
4 Premios y reconocimientos
5 Referencias y notas
6 Enlaces externos
Carrera académica y servicio
Ruth Barcan (como se la conocía antes de casarse con el físico Jules Alexander
Marcus en 19426) se graduó magna cum laude de 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, obteniendo su maestría en 1942 y su doctorado en 1946.

Marcus fue profesora invitada en la Universidad Northwestern desde 1950 hasta 1953
y, nuevamente, en 1959. Se desempeñó como asistente y luego como profesora asociada
en la recién fundada Universidad Roosevelt, Chicago, entre 1956 y 1963. De 1964 a
1970, fue profesora de filosofía en la Universidad de Illinois Chicago
(originalmente se desempeñó como jefa 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.3

Entre otros cargos profesionales que ocupó durante su carrera, Marcus se desempeñó
como presidenta de la junta directiva de la Asociación Filosófica Estadounidense
(1976–1983) y como presidenta de la Asociación de Lógica Simbólica (1983–1986) y
luego del Instituto Internacional de Filosofía (1989-1992).3

Filosofía
Lógica modal cuantificada
La fórmula de Barcan, ampliamente discutida, se introduce como un axioma en QML.7
En su primer trabajo publicado, la publicación del primer estudio axiomático de
lógica modal con cuantificadores, Marcus publicó bajo su nombre de soltera Ruth C.
Barcan. Se presentan tres artículos: A Functional Calculus of First Order Based on
Strict Implication [Un cálculo funcional de primer orden basado en una implicación
estricta], Journal of Symbolic Logic (JSL, 1946), The Deduction Theorem in a
Functional Calculus of First Order Based on Strict Implication [El teorema de la
deducción en un cálculo funcional de primer orden basado en una implicación
estricta] (JSL, 1946), y The Identity of Individuals in a Strict Functional
Calculus of Second Order [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 al primer y segundo
orden; los trabajos de 1946 y 1947, fueron un logro importante en el desarrollo de
la lógica del siglo XX.

Lewis le da a Marcus un reconocimiento especial en sus Notes on the Logic of

Intension [Notas sobre la lógica de la intensión], impresas originalmente en
Structure, Method, and Meaning: Essays in Honor of Henry M. Sheffer [Estructura,
método y significado: Ensayos en honor de Henry M. Sheffer] (Nueva York, 1951).
Aquí Lewis reconoce a Barcan Marcus como la primera lógica en extender la lógica
proposicional como una lógica intensional de orden superior.

Referencia directa
Marcus propuso el punto de vista en la filosofía del lenguaje según el cual los
nombres propios son lo que Marcus denominó meras "etiquetas" (tags)("Modalities and
Intensional Languages" ( Synthese, 1961) y en otros escritos). De acuerdo con su
teoría de etiquetas de nombres (una teoría de 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 grupos de
nombres8 de John Searle, 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.9 Sin embargo, en una reciente laudatio a Ruth Barcan
Marcus, el profesor Timothy Williamson afirma:

Una de las ideas que más resuenan en la filosofía del lenguaje actual es la de los
nombres propios como meras etiquetas, sin contenido descriptivo. No se trata de 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 siguen teniendo contenido
descriptivo. Se trata más bien de la idea, desarrollada posteriormente por David
Kaplan y otros, de que los nombres propios son directamente referenciales, en el
sentido de que solo contribuyen con su portador a las proposiciones expresadas por
las oraciones en las que aparecen.10
El filósofo del lenguaje Stephen Neale también ha argumentado en contra de la
afirmación del profesor Smith en el Times Literary Supplement.11

Necesidad de identidad
Marcus demostró formalmente la necesidad de la identidad en 1946 e informalmente la
defendió en 1961, rechazando así la posibilidad de una identidad contingente.12

Semántica de QML
Marcus prefiere una interpretación en la que el dominio de la interpretación
comprenda entidades individuales en el mundo real. También sugiere que para algunos
usos se justifica una semántica sustitutiva alternativa. Aporta argumentos contra
la posibilidad.1314

Conflicto moral
Marcus define un conjunto coherente de principios morales como uno en el que hay un
"mundo posible" en el que todos son obedientes. El hecho de que puedan entrar en
conflicto en el mundo real no es una marca de inconsistencia. Como en el caso de la
necesidad de identidad, hubo una resistencia a esta interpretación del conflicto
moral. Su argumento va en contra de la opinión generalizada de que los sistemas de
normas morales son inevitablemente incoherentes.15

Creencias
Se propone que creer es una relación de un agente con un posible estado de cosas
bajo circunstancias internas y externas específicas. Estar de acuerdo con una frase
citada (la cuenta de disociación de la creencia) es solo un marcador de
comportamiento de la creencia. El comportamiento de las apuestas es otro. Se
rechaza el relato de la creencia totalmente centrado en el lenguaje (por ejemplo,
Davidson). En los casos en los que tradicionalmente se describiría a un agente como
creyente de una imposibilidad hasta que se revelara su imposibilidad, Marcus
sugiere que en esas circunstancias se diga que el agente solamente afirmó creer una
imposibilidad. De la misma manera, cuando un matemático descubre que una de sus
conjeturas es falsa, y como si es matemáticamente falsa es imposible, diría que
solo afirmó que la conjetura era 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 ser falso, no decimos que lo sabíamos, sino que nos
equivocamos al afirmarlo.1617

Esencialismo
El esencialismo aristotélico se refiere a las propiedades que Marcus 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 la tiene necesariamente, y no
es totalmente individuante, por ejemplo, una propiedad de tipo natural. Quine y
otros afirman que la lógica modal o la semántica están comprometidas con las
verdades esencialistas. Marcus argumenta informalmente que hay interpretaciones de
algunos sistemas modales en los que todas las afirmaciones esencialistas son
falsas. Más tarde, Terence Parsons demostró formalmente este resultado.18

Cuantificación sustitucional
Se propone una alternativa a la semántica tarskiana (teórica del modelo) se propone
para algunos usos en los que "las condiciones de verdad para las fórmulas
cuantificadas se dan puramente en términos de verdad sin apelar a los dominios de
interpretación". Esto ha venido a llamarse "semántica del valor de verdad⁣". Marcus
demuestra que la afirmación de que tal semántica conduce a contradicciones es
falsa. Esta semántica puede ser interesante para las matemáticas, por ejemplo, el
campo de Hartry, o para el discurso de ficción. La cuantificación objetiva es
necesaria para interpretar la identidad y otras categorías metafísicas.

Obras
Libros (escritos o editados)
The Logical Enterprise [La empresa lógica], ed. con A. Anderson, R. Martin, Yale,
1995.
Logic, Methodology and Philosophy of Science [Lógica, Metodología y Filosofía de la
Ciencia], VII, eds. R. Barcan Marcus et al., Holanda Septentrional, 1986.
Modalities: Philosophical Essays [Modalidades: Ensayos filosóficos], Oxford
University Press, 1993. Libro de bolsillo; 1995 (contiene muchos de los documentos
importantes de Marcus).
Publicaciones académicas
Publicado como Ruth C. Barcan - lista de PhilPapers.
Publicado como Ruth Barcan Marcus - lista de PhilPapers.
Premios y reconocimientos
Phi Beta Kappa (1941).
Becario Guggenheim (1953).
Miembro de la Fundación Nacional de Ciencias (1963-1964).
Centro de Estudios Avanzados Beckman Fellow, Universidad de Illinois en Urbana-
Champaign (1968-1969).
Residencia de la Fundación Rockefeller ( Bellagio, 1973 y 1990).
Miembro de la Academia Estadounidense de las Artes y las Ciencias (1977).
Miembro del Centro de Estudios Avanzados en Ciencias del Comportamiento, Stanford
(1979).
Becario de la Universidad de Edimburgo, Instituto de Humanidades (1983).
Wolfson College de la Universidad de Oxford, miembro visitante (1985 y 1986).
Medalla del Collège de France (1986).
Miembro Permanente de la Sala Común, Clare Hall de la Universidad de Cambridge
(1986–).
Clare Hall, Universidad de Cambridge, investigadora visitante (1988).
Miembro, Institut International de Philosophie, Presidente 1989–92, Presidente
Honorario 1992–.
Centro Nacional de Humanidades, Mellon Fellow (1992-1993).
Doctor en Humanidades, honoris causa, Universidad de Illinois Chicago (1995).19
Medalla Wilbur Cross, Universidad de Yale (2000).
Premio Lauener de Filosofía Analítica, Fundación Lauener, 2007–08.
Premio Quinn, American Philosophical Association 2007, por servicio a la profesión.
Conferencia Dewey, APA, diciembre de 2009.
Referencias y notas
The Dictionary of Modern American Philosophers. Thoemmes. 2005. ISBN
9781350052444. doi:10.5040/9781350052444-0636.
Fox, Margalit (13 de marzo de 2012). «Ruth Barcan Marcus, Philosopher-Logician,
Dies at 90». The New York Times (en inglés estadounidense). ISSN 0362-4331.
Consultado el 18 de mayo de 2022.
«Marcus, Ruth Barcan | Encyclopedia.com». www.encyclopedia.com. Consultado el 13
de marzo de 2019.
 Williamson, Timothy (2013). «In Memoriam: Ruth Barcan Marcus 1921–2012». Bulletin
of Symbolic Logic (en inglés) 19 (1): 123-126. ISSN 1079-8986.
doi:10.2178/bsl.1901070.
«Timothy Williamson's Tribute to Ruth Barcan Marcus on the Occasion of Her Receipt
of the Lauener Prize». Leiter Reports: A Philosophy Blog. Consultado el 18 de mayo
de 2022.
«Ruth Barcan Marcus». Jewish Women's Archive (en inglés). Consultado el 18 de mayo
de 2022.
Lachs, John; Talisse, Robert B. (31 de marzo de 2008). American Philosophy: An
Encyclopedia (en inglés). Routledge. p. 481. ISBN 978-1-135-94887-0. Consultado el
18 de mayo de 2022.
Craig, E. (ed.), Routledge Encyclopedia of Philosophy, vol. 8 (Abingdon-on-Thames:
Routledge, 1998), p. 164.
Kripke, S. A., Naming and Necessity (Cambridge, MA: Harvard University Press,
1972).
Homenaje de Timothy Williamson a Ruth Barcan Marcus con motivo de su recepción del
Premio Lauener, Leiter Reports: A Philosophical Blog, 14 de octubre de 2008.
Neale, Stephen. Neale Kripke. Consultado el 18 de mayo de 2022.
Quine, W. V. (1958-09). «Ruth C. Barcan. The identity of individuals in a strict
functional calculus of second order. The journal of symbolic logic, vol. 12 (1947),
pp. 12–15.». The Journal of Symbolic Logic (en inglés) 23 (3): 342-342. ISSN 0022-
4812. doi:10.2307/2964293. Consultado el 18 de mayo de 2022.
Marcus, Ruth Barcan (1975). «Dispensing with Possibilia». Proceedings and
Addresses of the American Philosophical Association 49: 39-51. ISSN 0065-972X.
doi:10.2307/3129990. Consultado el 18 de mayo de 2022.
Barcan Marcus, Ruth (1 de marzo de 1985). «Possibiha and Possible Worlds». Grazer
Philosophische Studien (en inglés). 25/26: 107-133. doi:10.5840/gps1985/8625/265.
Consultado el 18 de mayo de 2022.
Marcus, Ruth Barcan (1980). «Moral Dilemmas and Consistency». The Journal of
Philosophy 77 (3): 121-136. ISSN 0022-362X. doi:10.2307/2025665. Consultado el 18
de mayo de 2022.
Marcus, Ruth Barcan (1981). «A Proposed Solution to a Puzzle About Belief».
Midwest Studies in Philosophy 6 (1): 501-510. doi:10.1111/j.1475-
4975.1981.tb00455.x. Consultado el 18 de mayo de 2022.
Marcus, Ruth Barcan (1983). «Rationality and Believing the Impossible». The
Journal of Philosophy 80 (6): 321-338. ISSN 0022-362X. doi:10.2307/2026334.
Consultado el 18 de mayo de 2022.
Parsons, Terence (1969). «Essentialism and Quantified Modal Logic». The
Philosophical Review 78 (1): 35-52. ISSN 0031-8108. doi:10.2307/2183810. Consultado
el 18 de mayo de 2022.
Staff, "Honorary Degrees", University of Illinois Chicago, 1995.
Enlaces externos
Sinnott-Armstrong, W., et al., eds., Modalidad, Moralidad y Creencia: Ensayos en
Honor de Ruth Barcan Marcus ( Cambridge : Cambridge University Press, 1995).
Gendler, TS, Entry on Marcus, Archivo de mujeres judías: una enciclopedia histórica
completa, 27 de febrero de 2009.
Fox, M., "Ruth Barcan Marcus, Philosopher-Logician, Dies at 90", The New York
Times, 13 de marzo de 2012.
Raffman, D., "Mujer, luchadora, filósofa", The Stone, The New York Times, 26 de
abril de 2012.
"In memoriam: Ruth Barcan Marcus", Yale News, 21 de febrero de 2012.
Ruth Barcan Marcus en el Mathematics Genealogy Project..
Marcus, RB, "A Philosopher's Calling", una "autobiografía filosófica" (disponible
para descargar como documento) dictada en Yale como una conferencia John Dewey de
la APA en 2010 y luego publicada en las Actas y direcciones anuales de la
Asociación Filosófica Estadounidense.
Williamson, T., "In Memoriam: Ruth Barcan Marcus, 1921–2012", The Bulletin of
Symbolic Logic, vol. 19, núm. 1 de marzo de 2013.
Entrada en Marcus, Encyclopedia of Philosophy, 2006.
Entrada en Marcus, Mujeres en la historia mundial: una enciclopedia biográfica,
2002.
Retrato fotográfico de Marcus, luego Ruth Barcan, c. 1940 (fuente, permisos).
Documentos de Ruth Barcan Marcus (MS 1993), manuscritos y archivos, Biblioteca de
la Universidad de Yale.
Control de autoridades
Proyectos WikimediaWd Datos: Q437943Commonscat Multimedia: Ruth Barcan Marcus /
Q437943
IdentificadoresWorldCatVIAF: 73879373ISNI: 0000 0001 1770 1821BNF: 12086919f
(data)CANTIC: 981058515716506706GND: 11928443XLCCN: n81050604NLA: 61543489CiNii:
DA00307615SUDOC: 029191149BIBSYS: 90063777MGP: 82835Diccionarios y
enciclopediasBritannica: url
Categorías: MujeresNacidos en 1921Fallecidos en 2012Profesores de la Universidad
YaleAlumnado de la Universidad YaleProfesores de la Universidad de Illinois en
ChicagoFilósofos de la cienciaFilósofos de la matemáticaFilósofos del
lenguajeProfesores de la Universidad NorthwesternAlumnado de la Universidad de
Nueva YorkFilósofos judíosMiembros de la Academia Estadounidense de las Artes y las
CienciasFilósofos analíticosEscritoras de Estados UnidosFilósofas de Estados
UnidosLógicos de Estados UnidosEnsayistas de Estados UnidosMatemáticos del siglo
XXIFilósofos de Estados Unidos del siglo XXIMatemáticos del siglo XXEnsayistas del
siglo XXFilósofos de Estados Unidos del siglo XXBronxeños
Menú de navegación
No has accedido
Discusión
Contribuciones
Crear una cuenta
Acceder
ArtículoDiscusión
LeerEditarVer historial
Buscar en Wikipedia
Portada
Portal de la comunidad
Actualidad
Cambios recientes
Páginas nuevas
Página aleatoria
Ayuda
Donaciones
Notificar un error
Herramientas
Lo que enlaza aquí
Cambios en enlazadas
Subir archivo
Páginas especiales
Enlace permanente
Información de la página
Citar esta página
Elemento de Wikidata
Imprimir/exportar
Crear un libro
Descargar como PDF
Versión para imprimir
En otros proyectos
Wikimedia Commons

En otros idiomas
‫العربية‬
Deutsch
English
Français
Italiano
Polski
Português
Русский
Svenska
7 más
Editar enlaces
Esta página se editó por última vez el 21 oct 2022 a las 16:06.
El texto está disponible bajo la Licencia Creative Commons Atribución Compartir
Igual 3.0; pueden aplicarse cláusulas adicionales. Al usar este sitio, usted acepta
nuestros términos de uso y nuestra política de privacidad.
Wikipedia® es una marca registrada de la Fundación Wikimedia, Inc., una
organización sin ánimo de lucro.
Política de privacidadAcerca de WikipediaLimitación de responsabilidadVersión para
móvilesDesarrolladoresEstadísticasDeclaración de cookiesWikimedia FoundationPowered
by MediaWiki