Marcus, Ruth

Den aktuelle version af siden er endnu ikke blevet gennemgået af erfarne bidragydere og kan afvige væsentligt fra den version , der blev gennemgået den 4. september 2021; checks kræver 32 redigeringer .
Ruth Marcus
Ruth Barcan Marcus
Fødselsdato 2. august 1921( 02-08-1921 )
Fødselssted
Dødsdato 19. februar 2012( 2012-02-19 ) [1] [2] (90 år)
Et dødssted
Land
Beskæftigelse filosof , forfatter
Præmier og præmier Guggenheim Fellowship ( 1953 ) Wilbur Cross [d] medalje ( 2000 ) medlem af American Academy of Arts and Sciences
 Mediefiler på Wikimedia Commons

Ruth Barcan Marcus, Ruth Barcan Marcus [ˈbɑːrkən ˈmɑːrkəs], født Ruth Charlotte Barcan ( 2. august 1921 [2] , Bronx , New York - 19. februar 2012 [1] [2] , New Haven , Connecticut [3] [4 ] ] ] [5] ) er en amerikansk akademisk filosof og logiker bedst kendt for sit arbejde inden for modal og filosofisk logik [6] . Hun udviklede de første formelle systemer for kvantitativ modal logik [7] , som førte til skemaet eller princippet kendt som Barkans formel [5] [4] . Som Don Garrett bemærkede, var Marcus, hvis arbejde blev udgivet under navnet Ruth S. Barkan [7] , "en af ​​de vigtigste og mest indflydelsesrige logiske filosoffer i hendes alder." Timothy Williamson sagde i 2008, at "mange af hendes hovedideer ikke bare er originale, smarte, smukke, fascinerende, indflydelsesrige og langt forud for deres tid, hvilket i virkeligheden utvivlsomt er sandt" [8] .

Karriere

Ruth Barkan giftede sig med fysikeren Jules Alexander Marcus i 1942 efter at have dimitteret med udmærkelse fra New York University med en grad i matematik og filosofi året før. Derefter gik hun videre til en kandidatskole ved Yale University , hvor hun modtog sin kandidatgrad i 1942 og sin doktorgrad i 1946 [9] . Marcus var gæsteprofessor ved Northwestern University fra 1950 til 1953 og igen i 1959. Fra 1956 til 1963 fungerede hun som assistent og derefter lektor ved det nystiftede Roosevelt University i Chicago. Fra 1964 til 1970 var hun professor i filosofi ved University of Illinois i Chicago (oprindeligt institutleder), blev senere professor i filosofi ved Northwestern University (1970-1973). Før hun trak sig tilbage som professor emeritus i 1992, underviste Ruth på Yale University under udnævnelsen af ​​Reuben Post Halleck professor i filosofi. Hun fortsatte med at undervise ved University of California, Irvine indtil 1997 [10] [6] .

Filosofi

Kvantitativ modal logik

Den meget diskuterede Barkan-formel præsenteres som et aksiom i QML [11] . Hendes tidligste arbejde, den første aksiomatiske undersøgelse af modal logik med kvantificerere , blev udgivet af Marcus under hendes pigenavn Ruth K. Barkan. Den indeholder tre artikler: "Førsteordens funktionel calculus baseret på streng konsekvens", "Journal of symbolic logic" (JSL, 1946), "Deduktionssætning i førsteordens funktionel calculus baseret på streng implikation " (JSL, 1946). , og "People's Identity in a Rigorous Second-Ordens Functional Calculus", (JSL, 1947). De første systemer for kvantitativ modal logik, der udvidede nogle af Clarence Irving Lewis' propositionelle modalsystemer til den første og anden orden, var i værkerne i 1946 og 1947 og var en stor bedrift i udviklingen af ​​det 20. århundredes logik. Lewis fremhævede Ruth Marcus' arbejde i Notes on the Logic of Intention, oprindeligt trykt i Structure, Method, and Meaning: An Essay in Honor of Henry M. Schaeffer (New York, 1951). Her anerkender han hende som den første logiker, der udvidede propositionel logik som en intensional logik af højere orden.

Direkte link

Ruth Marcus foreslog i sprogfilosofien at definere egennavne som simple "tags" ("Modalities and Intentional Languages" (Synthese, 1961) og andre). Ifølge hendes teori om at navngive "tags" (forward reference theory), bruges disse "tags" til at referere til det objekt, der er bæreren af ​​navnet. Betydningen af ​​navnet er udtømt af denne referencefunktion. Denne opfattelse er i modstrid med Bertrand Russells teori om beskrivelse af egennavne, såvel som med John Searles teori om klyngebeskrivelse af navne, der var fremherskende på det tidspunkt [12] . Quentin Smith identificerede dette synspunkt, præsenteret i 1962 af Willard Van Orman Quine som kommentator, med referenceteorien givet i Navngivning og nødvendighed af Saul Kripke . Professor Timothy Williamson , om dette arbejde af Ruth Barkan Marcus, sagde følgende:

"En af de ideer, de indeholder, der resonerer mest med moderne sprogfilosofi, er ideen om egennavne som simple tags uden beskrivende indhold. Dette er ikke Kripkes idé om navne som hårde pointer, der betegner det samme objekt i forhold til alle relevante verdener, da "hårde" definerede beskrivelser er hårde pointer, men stadig har beskrivende indhold. Det er snarere ideen, senere udviklet af David Kaplan og andre, at egennavne er direkte referentielle i den forstand, at de kun bidrager med deres bærer til de sætninger, der udtrykkes af de sætninger, de forekommer i .

Stephen Neal, sprogfilosof, udtrykte sin uenighed med professor Smiths udtalelse i Times Literary Supplement [15] .

Behovet for identitet

Behovet for identitet blev formelt bevist af Ruth Marcus i 1946, i 1961 forsvarede hun sit synspunkt, dog tilbageviste hun senere muligheden for tilfældig identitet. Se Journal of Symbolic Logic, (1947) 12: s. 12-15.

Moralsk konflikt

I et af sine skrifter definerer Ruth Marcus et sammenhængende sæt moralske principper, som hun mener gør det muligt for en "mulig verden" at eksistere, hvor alle disse principper kan overholdes. Konflikten mellem disse principper i den virkelige verden er ikke et tegn på inkonsekvens. Ligesom med behovet for identitet har denne teori om moralsk konflikt mødt modstand. Argumentationen af ​​denne teori er i modstrid med den udbredte mening om den uundgåelige inkonsistens i systemer af moralske regler [16] .

Tro

Fra et filosofisk synspunkt er tro en agents holdning til en mulig tilstand under visse indre og ydre omstændigheder. Accept af en eller anden citeret sætning (disquotation of faith) er kun én adfærdsmarkør for tro. I adfærdsscenariet er tingene noget anderledes. En fuldstændig sproglig forklaring på troen afvises (ifølge Davidsons teori). I tilfælde hvor agenten tror på umuligheden af ​​noget, indtil denne umulighed afsløres. Marcus antog, at agenten i et sådant tilfælde ville sige, at han kun troede på det umulige. På samme måde, når en matematiker opdager, at en af ​​hans hypoteser er falsk, og hvis den er matematisk forkert, så er det umuligt, vil han sige, at han kun hævder, at hypotesen er sand. Hvor mærkeligt denne antagelse end kan være, ligner den et bredt accepteret vidensprincip: hvis vi hævder at kende P og P viser sig at være falske, siger vi ikke, at vi plejede at vide det, vi siger, at vi tog fejl ved at sige, at det er sådan [17] .

Essentialisme

Aristoteles ' essentialisme vedrører egenskaber, som Ruth Marcus definerede i sammenhæng med modal struktur. En af antagelserne er, at en ejendom er essentiel, hvis noget har det, ikke alt, hvis noget har det, så er det obligatorisk, og det er ikke fuldt individualiseret, for eksempel som en naturlig form for ejendom. Ellers hævder Quine og hans medarbejdere, at modal logik eller semantik er tro mod essentialistiske sandheder. Ifølge en af ​​Ruth Marcus' teorier er der sådanne fortolkninger af nogle modale systemer, hvor alle essentialisternes udsagn er falske. Terence Parsons beviste formelt dette resultat [18] .

Kvantificerende erstatning

For nogle applikationer foreslås et alternativ til modelteoretisk semantik, hvor "sandhedsbetingelser for kvantitativt definerede formler specificeres udelukkende i form af sandhed uden at ty til fortolkningsområder." Dette kom til at blive kaldt "sandhedssemantik". Marcus viser, at påstanden om, at sådan semantik fører til modsigelser, er falsk. Denne teori kan være af interesse for matematikere eller for kunstnerisk diskurs. Objektiv kvantificering er påkrævet til fortolkning af identitet og andre metafysiske kategorier.

Virker

Akademiske artikler

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

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

Priser og anerkendelser

Noter

  1. ↑ 1 2 Leiter B. A Philosophy Blog: In Memoriam: Ruth Barcan Marcus (1921–2012) // Leiter Reports
  2. ↑ 1 2 3 Ruth Charlotte Barcan Marcus // Encyclopædia Britannica 
  3. ↑ 1 2 Freebase data download - Google .
  4. ↑ 1 2 Marcus, Ruth Charlotte Barcan (1921–2012)  (engelsk) . www.bloomsburyphilosophylibrary.com . Hentet: 1. september 2021.
  5. ↑ 12 Fox, Margalit . Ruth Barcan Marcus, filosof-logiker, dør ved 90 år , The New York Times  (13. marts 2012). Arkiveret fra originalen den 15. august 2017. Hentet 1. september 2021.
  6. ↑ 1 2 Marcus, Ruth Barcan | encyclopedia.com . www.encyclopedia.com . Hentet 1. september 2021. Arkiveret fra originalen 15. marts 2020.
  7. ↑ 1 2 Timothy Williamson. In Memoriam: Ruth Barcan Marcus 1921–2012  //  Bulletin of Symbolic Logic. – 2013-03. — Vol. 19 , iss. 1 . — S. 123–126 . — ISSN 1943-5894 1079-8986, 1943-5894 . - doi : 10.2178/bsl.1901070 . Arkiveret fra originalen den 1. september 2021.
  8. ↑ Timothy Williamsons hyldest til Ruth Barcan Marcus i anledning af hendes modtagelse af Lauener-prisen . Leiter Reports: A Philosophy Blog . Hentet 1. september 2021. Arkiveret fra originalen 23. december 2018.
  9. ↑ Ruth Barcan  Marcus . Jødisk Kvindearkiv . Hentet 1. september 2021. Arkiveret fra originalen 25. april 2019.
  10. ↑ Marcus, Ruth Barcan (1921—) | encyclopedia.com . www.encyclopedia.com . Hentet 3. september 2021. Arkiveret fra originalen 15. marts 2020.
  11. ↑ John Lachs, Robert B. Talisse. American Philosophy: An Encyclopedia . - Routledge, 31-03-2008. — 870 s. - ISBN 978-1-135-94887-0 . Arkiveret 3. september 2021 på Wayback Machine
  12. ↑ Routledge Encyclopedia of Philosophy  (engelsk)  // Wikipedia. – 2020-05-13. Arkiveret fra originalen den 26. maj 2022.
  13. ↑ Arkiveret kopi . Hentet 4. september 2021. Arkiveret fra originalen 2. august 2021.
  14. ↑ Timothy Williamsons hyldest til Ruth Barcan Marcus i anledning af hendes modtagelse af Lauener-prisen . Leiter Reports: A Philosophy Blog . Hentet 6. september 2021. Arkiveret fra originalen 23. december 2018.
  15. ↑ Stephen Neale. Neal Kripke . Arkiveret fra originalen den 6. september 2021.
  16. ↑ Se Moralske dilemmaer og konsistens (Journal of Philosophy, 1980).
  17. ↑ Se "A Proposed Solution to a Puzzle About Belief" (Foundations of Analytic Philosophy in Midwest Studies, 1981) og "Rationality and Believing the Impossible" (The Journal of Philosophy, 1983 og andre steder)
  18. ↑ The Philosophical Review   // Wikipedia . — 2020-12-14.
  19. ↑ R. Barcan Marcus, GJW Dorn, P. Weingartner. Logik, metodologi og videnskabsfilosofi VII . — Elsevier, 1986-05-01. — 783 s. - ISBN 978-0-08-096039-5 . Arkiveret 7. september 2021 på Wayback Machine
  20. ↑ Ruth Barcan Marcus. Modaliteter: Filosofiske essays . - Oxford University Press, 1995. - 281 s. — ISBN 978-0-19-509657-6 . Arkiveret 7. september 2021 på Wayback Machine
  21. ↑ Æresgrader | ros | University of Illinois Chicago . commencement.uic.edu . Hentet 7. september 2021. Arkiveret fra originalen 5. juni 2021.
  Gå til Wikidata-elementet  Tematiske steder
Ordbøger og encyklopædier