Marco, Rut

La versión actual de la página aún no ha sido revisada por colaboradores experimentados y puede diferir significativamente de la versión revisada el 4 de septiembre de 2021; las comprobaciones requieren 32 ediciones .
ruth marcus
Ruth BarcanMarcus
Fecha de nacimiento 2 de agosto de 1921( 02/08/1921 )
Lugar de nacimiento
Fecha de muerte 19 de febrero de 2012( 2012-02-19 ) [1] [2] (90 años)
Un lugar de muerte
País
Ocupación filósofo , escritor
Premios y premios Beca Guggenheim ( 1953 ) Medalla Wilbur Cross [d] ( 2000 ) miembro de la Academia Estadounidense de las Artes y las Ciencias
 Archivos multimedia en Wikimedia Commons

Ruth Barcan Marcus, Ruth Barcan Marcus [ˈbɑːrkən ˈmɑːrkəs], nacida Ruth Charlotte Barcan ( 2 de agosto de 1921 [2] , Bronx , Nueva York - 19 de febrero de 2012 [1] [2] , New Haven , Connecticut [3] [4 ] ] [5] ) es una filósofa y lógica académica estadounidense mejor conocida por su trabajo en lógica modal y filosófica [6] . Desarrolló los primeros sistemas formales de lógica modal cuantitativa [7] , lo que condujo al esquema o principio conocido como fórmula de Barkan [5] [4] . Como señaló Don Garrett, Marcus, cuyo trabajo se publicó con el nombre de Ruth S. Barkan [7] , fue "uno de los filósofos lógicos más importantes e influyentes de su época". Timothy Williamson en 2008 dijo que "muchas de sus ideas principales no son solo originales, inteligentes, hermosas, fascinantes, influyentes y muy adelantadas a su tiempo, lo que de hecho es indudablemente cierto" [8] .

Carrera

Ruth Barkan se casó con el físico Jules Alexander Marcus en 1942 y se graduó con honores en matemáticas y filosofía en la Universidad de Nueva York el año anterior. Luego pasó a la escuela de posgrado en la Universidad de Yale , donde recibió su maestría en 1942 y su doctorado en 1946 [9] . Marcus fue profesor invitado en la Universidad Northwestern de 1950 a 1953 y nuevamente en 1959. De 1956 a 1963, se desempeñó como asistente y luego profesora asociada en la recién fundada Universidad Roosevelt en Chicago. De 1964 a 1970 fue profesora de filosofía en la Universidad de Illinois en Chicago (originalmente jefa de departamento), luego se convirtió en profesora de filosofía en la Universidad Northwestern (1970-1973). Antes de jubilarse como profesora emérita en 1992, Ruth enseñó en la Universidad de Yale bajo el nombramiento del profesor de Filosofía Reuben Post Halleck. Continuó enseñando en la Universidad de California, Irvine hasta 1997 [10] [6] .

Filosofía

Lógica modal cuantitativa

La fórmula de Barkan ampliamente discutida se presenta como un axioma en QML [11] . Su primer trabajo, el primer estudio axiomático de la lógica modal con cuantificadores , fue publicado por Marcus bajo su nombre de soltera Ruth K. Barkan. Contiene tres artículos: "Cálculo funcional de primer orden basado en corolario estricto", "Revista de lógica simbólica" (JSL, 1946), "Teorema de deducción en cálculo funcional de primer orden basado en implicación estricta " (JSL, 1946). , y "La identidad de las personas en un cálculo funcional riguroso de segundo orden", (JSL, 1947). Los primeros sistemas de lógica modal cuantitativa que extendieron algunos de los sistemas modales proposicionales de Clarence Irving Lewis al primer y segundo orden estaban en los trabajos de 1946 y 1947 y fueron un logro importante en el desarrollo de la lógica del siglo XX. Lewis destacó el trabajo de Ruth Marcus en Notes on the Logic of Intention, originalmente impreso en Structure, Method, and Meaning: An Essay in Honor of Henry M. Schaeffer (Nueva York, 1951). Aquí la reconoce como la primera lógica en extender la lógica proposicional como una lógica intensional de un orden superior.

Enlace directo

Ruth Marcus propuso en filosofía del lenguaje definir los nombres propios como simples "etiquetas" ("Modalities and Intensional Languages" (Synthese, 1961) y otros). De acuerdo con su teoría de nombrar "etiquetas" (teoría de referencia directa), estas "etiquetas" se utilizan para referirse al objeto que es el portador del nombre. El significado del nombre se agota en esta función referencial. Este punto de vista está en desacuerdo con la teoría de Bertrand Russell de la descripción de los nombres propios, así como con la teoría de John Searle de la descripción de grupos de nombres que prevalecía en ese momento [12] . Quentin Smith identificó esta visión, presentada en 1962 por Willard Van Orman Quine como comentarista, con la teoría de la referencia dada en Naming and Necessity de Saul Kripke . El profesor Timothy Williamson , respecto a este trabajo de Ruth Barkan Marcus, dijo lo siguiente:

“Una de las ideas que contienen que más resuena con la filosofía moderna del lenguaje es la idea de los nombres propios como simples etiquetas sin contenido descriptivo. Esta no es la idea de Kripke de los nombres como punteros duros que denotan el mismo objeto en relación con todos los mundos relevantes, ya que las descripciones definidas "duras" son punteros duros 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 solo aportan su portador a las oraciones expresadas por las oraciones en las que aparecen .

Stephen Neal, filósofo del lenguaje, expresó su desacuerdo con la declaración del profesor Smith en el Times Literary Supplement [15] .

La necesidad de identidad

La necesidad de identidad fue probada formalmente por Ruth Marcus en 1946, en 1961 defendió su punto de vista, sin embargo, más tarde refutó la posibilidad de una identidad aleatoria. Ver Journal of Symbolic Logic, (1947) 12: pp. 12-15.

Conflicto moral

En uno de sus escritos, Ruth Marcus define un conjunto coherente de principios morales que, en su opinión, hacen posible que exista un "mundo posible" en el que se puedan observar todos estos principios. El conflicto de estos principios en el mundo real no es un signo de inconsistencia. Al igual que con la necesidad de identidad, esta teoría del conflicto moral ha encontrado resistencia. La argumentación de esta teoría es contraria a la opinión generalizada sobre la inevitable inconsistencia de los sistemas de reglas morales [16] .

Fe

Desde un punto de vista filosófico, la fe es la actitud de un agente ante un posible estado de cosas bajo ciertas circunstancias internas y externas. La aceptación de una u otra oración citada (descitación de la fe) es solo un marcador de conducta de la fe. En el escenario del comportamiento, las cosas son algo diferentes. Se rechaza una explicación completamente lingüística de la fe (según la teoría de Davidson). En los casos en que el agente cree en la imposibilidad de algo hasta que esta imposibilidad se revela. Marcus asumió que en tal caso, el agente diría que solo creía en la imposibilidad. De manera similar, cuando un matemático descubre que una de sus hipótesis es falsa, y si es matemáticamente falsa, entonces es imposible, dirá que solo está afirmando que la hipótesis es verdadera. Por extraña que pueda parecer esta suposición, es similar a un principio de conocimiento ampliamente aceptado: si afirmamos saber P y P resulta ser falso, no estamos diciendo que solíamos saberlo, estamos diciendo que estábamos equivocados. al decir que es así [ 17 ] .

Esencialismo

El esencialismo de Aristóteles se refiere a las propiedades que Ruth Marcus definió en el contexto de la estructura modal. Uno de los supuestos es que una propiedad es esencial si algo la tiene, no todo, si algo la tiene entonces es obligatoria, y no está totalmente individualizada, por ejemplo, como una clase natural de propiedad. De lo contrario, Quine y sus asociados argumentan que la lógica modal o la semántica es fiel a las verdades esencialistas. Según una de las teorías de Ruth Marcus, existen tales interpretaciones de algunos sistemas modales en los que todas las afirmaciones de los esencialistas son falsas. Terence Parsons probó formalmente este resultado [18] .

Cuantificando el reemplazo

Para algunas aplicaciones, se propone una alternativa a la semántica de teoría de modelos, donde "las condiciones de verdad para fórmulas definidas cuantitativamente se especifican únicamente en términos de verdad sin recurrir a áreas de interpretación". Esto llegó a llamarse "semántica de la verdad". Marcus muestra que la afirmación de que tal semántica conduce a contradicciones es falsa. Esta teoría puede ser de interés para los matemáticos o para el discurso artístico. Se requiere una cuantificación objetiva para la interpretación de la identidad y otras categorías metafísicas.

Obras

Artículos académicos

https://philpapers.org/s/Ruth%20C.%20Barcan

https://philpapers.org/asearch.pl?strict=1&searchStr=Marcus,%20Ruth%20Barcan&filterMode=authors

Premios y reconocimientos

Notas

  1. ↑ 1 2 Leiter B. Un blog de filosofía: In Memoriam: Ruth Barcan Marcus (1921–2012) // Leiter Reports
  2. ↑ 1 2 3 Ruth Charlotte Barcan Marcus // Enciclopedia Británica 
  3. ↑ 1 2 Descarga de datos de Freebase - Google .
  4. ↑ 1 2 Marcus, Ruth Charlotte Barcan (1921–2012)  (inglés) . www.bloomsburyphilosophylibrary.com . Recuperado: 1 Septiembre 2021.
  5. ↑ 12 Fox, Margarita . Ruth Barcan Marcus, filósofa y lógica, muere a los 90 años , The New York Times  (13 de marzo de 2012). Archivado desde el original el 15 de agosto de 2017. Consultado el 1 de septiembre de 2021.
  6. ↑ 1 2 Marcus, Ruth Barcan | enciclopedia.com . www.enciclopedia.com . Consultado el 1 de septiembre de 2021. Archivado desde el original el 15 de marzo de 2020.
  7. ↑ 1 2 Timothy Williamson. In Memoriam: Ruth Barcan Marcus 1921–2012  //  Boletín de lógica simbólica. — 2013-03. — vol. 19 , edición. 1 . — pág. 123–126 . — ISSN 1943-5894 1079-8986, 1943-5894 . - doi : 10.2178/bsl.1901070 . Archivado desde el original el 1 de septiembre de 2021.
  8. ↑ Tributo de Timothy Williamson a Ruth Barcan Marcus con motivo de su recepción del Premio Lauener . Informes de Leiter: un blog de filosofía . Consultado el 1 de septiembre de 2021. Archivado desde el original el 23 de diciembre de 2018.
  9. ↑ Ruth Barcan  Marcus . Archivo de mujeres judías . Consultado el 1 de septiembre de 2021. Archivado desde el original el 25 de abril de 2019.
  10. ↑ Marcus, Ruth Barcan (1921—) | enciclopedia.com . www.enciclopedia.com . Consultado el 3 de septiembre de 2021. Archivado desde el original el 15 de marzo de 2020.
  11. ↑ John Lachs, Robert B. Talisse. Filosofía americana: una enciclopedia . —Routledge, 2008-03-31. — 870 pág. - ISBN 978-1-135-94887-0 . Archivado el 3 de septiembre de 2021 en Wayback Machine .
  12. ↑ Enciclopedia de filosofía de Routledge  (inglés)  // Wikipedia. — 2020-05-13. Archivado desde el original el 26 de mayo de 2022.
  13. ↑ Copia archivada . Consultado el 4 de septiembre de 2021. Archivado desde el original el 2 de agosto de 2021.
  14. ↑ Tributo de Timothy Williamson a Ruth Barcan Marcus con motivo de su recepción del Premio Lauener . Informes de Leiter: un blog de filosofía . Consultado el 6 de septiembre de 2021. Archivado desde el original el 23 de diciembre de 2018.
  15. ↑ Stephen Neale. Neal Kripke . Archivado desde el original el 6 de septiembre de 2021.
  16. ↑ Ver Dilemas morales y consistencia (Journal of Philosophy, 1980).
  17. ↑ Consulte "Una solución propuesta a un rompecabezas sobre las creencias" (Fundamentos de la filosofía analítica en los estudios del Medio Oeste, 1981) y "Racionalidad y creer lo imposible" (The Journal of Philosophy, 1983 y otros lugares)
  18. ↑ La revisión filosófica   // Wikipedia . — 2020-12-14.
  19. ↑ R. Barcan Marcus, GJW Dorn, P. Weingartner. Lógica, Metodología y Filosofía de la Ciencia VII . — Elsevier, 1986-05-01. — 783 pág. - ISBN 978-0-08-096039-5 . Archivado el 7 de septiembre de 2021 en Wayback Machine .
  20. ↑ Ruth Barcan Marcus. Modalidades: Ensayos Filosóficos . - Prensa de la Universidad de Oxford, 1995. - 281 p. — ISBN 978-0-19-509657-6 . Archivado el 7 de septiembre de 2021 en Wayback Machine .
  21. ↑ Títulos honorarios | Elogio | Universidad de Illinois Chicago . comienzo.uic.edu . Consultado el 7 de septiembre de 2021. Archivado desde el original el 5 de junio de 2021.
  Ir al elemento de Wikidata  sitios temáticos
diccionarios y enciclopedias