Marcus, Ruth

Versiunea actuală a paginii nu a fost încă examinată de colaboratori experimentați și poate diferi semnificativ de versiunea revizuită pe 4 septembrie 2021; verificările necesită 32 de modificări .
Ruth Marcus
Ruth Barcan Marcus
Data nașterii 2 august 1921( 02.08.1921 )
Locul nașterii
Data mortii 19 februarie 2012( 19.02.2012 ) [1] [2] (90 de ani)
Un loc al morții
Țară
Ocupaţie filozof , scriitor
Premii și premii Bursa Guggenheim ( 1953 ) Medalia Wilbur Cross [d] ( 2000 ) membru al Academiei Americane de Arte și Științe
 Fișiere media la Wikimedia Commons

Ruth Barcan Marcus, Ruth Barcan Marcus [ˈbɑːrkən ˈmɑːrkəs], născută Ruth Charlotte Barcan ( 2 august 1921 [2] , Bronx , New York - 19 februarie 2012 [1] [2] , New Haven , Connecticut [3] [4 ] ] ] [5] ) este un filozof și logician academic american, cel mai bine cunoscut pentru munca sa în logica modală și filosofică [6] . Ea a dezvoltat primele sisteme formale de logica modal cantitativ [7] , care au condus la schema sau principiul cunoscut sub numele de formula lui Barkan [5] [4] . După cum a observat Don Garrett, Marcus, a cărui lucrare a fost publicată sub numele de Ruth S. Barkan [7] , a fost „unul dintre cei mai importanți și mai influenți filosofi logici ai secolului ei”. Timothy Williamson în 2008 spunea că „multe dintre ideile ei principale nu sunt doar originale, inteligente, frumoase, fascinante, influente și cu mult înaintea timpului lor, ceea ce, de fapt, este fără îndoială adevărat” [8] .

Cariera

Ruth Barkan s-a căsătorit cu fizicianul Jules Alexander Marcus în 1942, după ce a absolvit cu onoare la Universitatea din New York o diplomă în matematică și filozofie cu un an înainte. Apoi a continuat studiile la Universitatea Yale , unde și-a luat masterul în 1942 și doctoratul în 1946 [9] . Marcus a fost profesor invitat la Universitatea Northwestern din 1950 până în 1953 și din nou în 1959. Din 1956 până în 1963, ea a servit ca asistent și apoi profesor asociat la nou înființată Universitatea Roosevelt din Chicago. Din 1964 până în 1970 a fost profesor de filozofie la Universitatea Illinois din Chicago (inițial șef de departament), ulterior a devenit profesor de filozofie la Universitatea Northwestern (1970-1973). Înainte de a se pensiona ca profesor emerit în 1992, Ruth a predat la Universitatea Yale sub numirea profesorului de filozofie Reuben Post Halleck. Ea a continuat să predea la Universitatea din California, Irvine până în 1997 [10] [6] .

Filosofie

Logica modală cantitativă

Formula Barkan, larg discutată, este prezentată ca o axiomă în QML [11] . Cea mai veche lucrare a ei, primul studiu axiomatic al logicii modale cu cuantificatori , a fost publicată de Marcus sub numele de fată Ruth K. Barkan. Conține trei lucrări: „Calcul funcțional de ordinul întâi bazat pe un corolar strict”, „Jurnal de logică simbolică” (JSL, 1946), „Teorema deducției în calculul funcțional de ordinul întâi bazat pe implicație strictă ” (JSL, 1946). , și „Identitatea oamenilor într-un calcul funcțional riguros de ordinul doi”, (JSL, 1947). Primele sisteme de logică modală cantitativă care au extins unele dintre sistemele modale propoziționale ale lui Clarence Irving Lewis la primul și al doilea ordin au fost în lucrările din 1946 și 1947 și au fost o realizare majoră în dezvoltarea logicii secolului al XX-lea. Lewis a evidențiat lucrarea lui Ruth Marcus în Notes on the Logic of Intention, tipărită inițial în Structure, Method, and Meaning: An Essay in Honor of Henry M. Schaeffer (New York, 1951). Aici el o recunoaște ca fiind primul logician care a extins logica propozițională ca o logică intențională de ordin superior.

Link direct

Ruth Marcus a propus în filosofia limbajului să definească numele proprii ca simple „etichete” („Modalities and Intensional Languages” (Synthese, 1961) și altele). Conform teoriei ei de a numi „etichete” (teoria referinței înainte), aceste „etichete” sunt folosite pentru a se referi la obiectul care este purtătorul numelui. Sensul numelui este epuizat de această funcție de referință. Acest punct de vedere este în contradicție cu teoria descrierii numelor proprii a lui Bertrand Russell , precum și cu teoria descrierii grupurilor de nume a lui John Searle , care predomina la acea vreme [12] . Quentin Smith a identificat acest punct de vedere, prezentat în 1962 de Willard Van Orman Quine ca comentator, cu teoria de referință dată în Naming and Necessity de Saul Kripke . Profesorul Timothy Williamson , referitor la această lucrare a lui Ruth Barkan Marcus, a spus următoarele:

„Una dintre ideile pe care le conțin și care rezonează cel mai mult cu filosofia modernă a limbajului este ideea numelor proprii ca simple etichete fără conținut descriptiv. Aceasta nu este ideea lui Kripke despre nume ca indicatori tari care denotă același obiect în relație cu toate lumile relevante, deoarece descrierile definite "dur" sunt indicatoare dure, dar au totuși conținut descriptiv. Mai degrabă, este ideea, dezvoltată mai târziu de David Kaplan și alții, că numele proprii sunt direct referențiale , în sensul că își contribuie doar purtătorul la propozițiile exprimate de propozițiile în care apar .

Stephen Neal, filozoful limbajului, și-a exprimat dezacordul față de afirmația profesorului Smith în Times Literary Supplement [15] .

Nevoia de identitate

Nevoia de identitate a fost dovedită oficial de Ruth Marcus în 1946, în 1961 și-a apărat punctul de vedere, cu toate acestea, a infirmat ulterior posibilitatea identității aleatorii. Vezi Journal of Symbolic Logic, (1947) 12: pp. 12-15.

Conflict moral

Într-una dintre scrierile ei, Ruth Marcus definește un set coerent de principii morale despre care crede că fac posibilă existența unei „lumi posibile” în care să poată fi respectate toate aceste principii. Conflictul acestor principii în lumea reală nu este un semn de inconsecvență. Ca și în cazul nevoii de identitate, această teorie a conflictului moral sa întâlnit cu opoziție. Argumentarea acestei teorii este contrară opiniei larg răspândite despre inconsecvența inevitabilă a sistemelor de reguli morale [16] .

Credință

Din punct de vedere filozofic, credința este atitudinea unui agent față de o posibilă stare de lucruri în anumite circumstanțe interne și externe. Acceptarea uneia sau a alteia propoziții citate (descotarea credinței) este doar un indicator comportamental al credinței. În scenariul comportamental, lucrurile stau oarecum diferit. O explicație complet lingvistică a credinței este respinsă (conform teoriei lui Davidson). În cazurile în care agentul crede în imposibilitatea a ceva până când această imposibilitate este dezvăluită. Marcus a presupus că într-un astfel de caz, agentul ar spune că nu crede decât în ​​imposibilitate. În mod similar, atunci când un matematician descoperă că una dintre ipotezele sale este falsă, iar dacă este falsă din punct de vedere matematic, atunci este imposibil, el va spune că doar afirmă că ipoteza este adevărată. Oricât de ciudată ar fi această presupunere, este similară cu un principiu larg acceptat al cunoașterii: dacă pretindem că știm P și P se dovedește a fi fals, nu spunem că o știm obișnuit, spunem că am greșit. spunând că așa este [ 17] .

Esențialism

Esențialismul lui Aristotel se referă la proprietățile pe care Ruth Marcus le-a definit în contextul structurii modale. Una dintre ipoteze este că o proprietate este esențială dacă ceva o are, nu totul, dacă ceva o are, atunci este obligatorie și nu este pe deplin individualizată, de exemplu, ca un tip natural de proprietate. În caz contrar, Quine și asociații săi susțin că logica modală sau semantica este fidelă adevărurilor esențialiste. Conform uneia dintre teoriile lui Ruth Marcus, există astfel de interpretări ale unor sisteme modale în care toate afirmațiile esențialistilor sunt false. Terence Parsons a dovedit oficial acest rezultat [18] .

Cuantificarea înlocuirii

Pentru unele aplicații, se propune o alternativă la semantica teoretică a modelului, în care „condițiile de adevăr pentru formulele definite cantitativ sunt specificate numai în termeni de adevăr, fără a se recurge la domenii de interpretare”. Aceasta a ajuns să fie numită „semantică adevărului”. Marcus arată că afirmația că o astfel de semantică duce la contradicții este falsă. Această teorie poate fi de interes pentru matematicieni sau pentru discursul artistic. Cuantificarea obiectivă este necesară pentru interpretarea identității și a altor categorii metafizice.

Lucrări

Articole academice

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

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

Premii și recunoașteri

Note

  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 Descărcare de date Freebase - Google .
  4. ↑ 1 2 Marcus, Ruth Charlotte Barcan (1921–2012)  (engleză) . www.bloomsburyphilosophylibrary.com . Preluat: 1 septembrie 2021.
  5. ↑ 12 Fox, Margalit . Ruth Barcan Marcus, filozof-logician, moare la 90 de ani , The New York Times  (13 martie 2012). Arhivat din original pe 15 august 2017. Preluat la 1 septembrie 2021.
  6. ↑ 1 2 Marcus, Ruth Barcan | encyclopedia.com . www.encyclopedia.com . Preluat la 1 septembrie 2021. Arhivat din original la 15 martie 2020.
  7. ↑ 1 2 Timothy Williamson. In Memoriam: Ruth Barcan Marcus 1921–2012  //  Bulletin of Symbolic Logic. — 2013-03. — Vol. 19 , iss. 1 . — P. 123–126 . — ISSN 1943-5894 1079-8986, 1943-5894 . - doi : 10.2178/bsl.1901070 . Arhivat din original la 1 septembrie 2021.
  8. ↑ Omagiu lui Timothy Williamson lui Ruth Barcan Marcus cu ocazia primirii premiului Lauener . Leiter Reports: A Philosophy Blog . Preluat la 1 septembrie 2021. Arhivat din original la 23 decembrie 2018.
  9. ↑ Ruth Barcan  Marcus . Arhiva Femeilor Evreiești . Preluat la 1 septembrie 2021. Arhivat din original la 25 aprilie 2019.
  10. ↑ Marcus, Ruth Barcan (1921—) | encyclopedia.com . www.encyclopedia.com . Preluat la 3 septembrie 2021. Arhivat din original la 15 martie 2020.
  11. ↑ John Lachs, Robert B. Talisse. Filosofia americană: o enciclopedie . — Routledge, 31-03-2008. — 870 p. - ISBN 978-1-135-94887-0 . Arhivat pe 3 septembrie 2021 la Wayback Machine
  12. ↑ Routledge Encyclopedia of Philosophy  (engleză)  // Wikipedia. — 13.05.2020. Arhivat din original pe 26 mai 2022.
  13. ↑ Copie arhivată . Preluat la 4 septembrie 2021. Arhivat din original la 2 august 2021.
  14. ↑ Omagiu lui Timothy Williamson lui Ruth Barcan Marcus cu ocazia primirii premiului Lauener . Leiter Reports: A Philosophy Blog . Preluat la 6 septembrie 2021. Arhivat din original la 23 decembrie 2018.
  15. ↑ Stephen Neale. Neal Kripke . Arhivat din original pe 6 septembrie 2021.
  16. ↑ Vezi Moral Dilemmes and Consistency (Journal of Philosophy, 1980).
  17. ↑ Vezi „A Proposed Solution to a Puzzle About Belief” (Fundarii filosofiei analitice în Midwest Studies, 1981) și „Raționalitatea și credința imposibilului” (The Journal of Philosophy, 1983 și în alte părți)
  18. ↑ The Philosophical Review   // Wikipedia . — 2020-12-14.
  19. ↑ R. Barcan Marcus, GJW Dorn, P. Weingartner. Logica, Metodologia și Filosofia Științei VII . — Elsevier, 1986-05-01. — 783 p. - ISBN 978-0-08-096039-5 . Arhivat pe 7 septembrie 2021 la Wayback Machine
  20. ↑ Ruth Barcan Marcus. Modalitati: Eseuri filozofice . - Oxford University Press, 1995. - 281 p. — ISBN 978-0-19-509657-6 . Arhivat pe 7 septembrie 2021 la Wayback Machine
  21. ↑ Grade Onorifice | Lauda | Universitatea din Illinois Chicago . început.uic.edu . Preluat la 7 septembrie 2021. Arhivat din original la 5 iunie 2021.
  Accesați articolul Wikidata  Site-uri tematice
Dicționare și enciclopedii