Rut Barkan Markusova

Из Википедије, слободне енциклопедије
Rut Barkan Markusova
Ruth Barcan Marcus.jpg
Rut Barkan Markusova
Datum rođenja (1921-08-02)2. август 1921.
Datum smrti 19. фебруар 2012.(2012-02-19) (90 год.)
Polje logika
Obrazovanje Univerzitet u Njujorku (B.A. 1941)
Univerzitet Jejl (M.A. 1942)
Univerzitet Jejl (Ph.D. 1946)

Rut Barkan Markus (2. avgust 192119. februar 2012) bila je Američki filozof I logističar koja je razvila Barkanovu formulu. Bila je pionir u kvantifikaciji modalne logike I teoriji direktne reference, I sprovodila je istraživanja o identitetu, suštini, mogućnosti, verovanju, moralnom konfliktu, kao I o nekim ključnim istorijskim saznanjima [1]. Timoti Viliamson, “Wykeham” profesor logike na Oksford Univerzitetu, sumira njegovo slavlje karijere profesorke Markus govoreći da mnoge od njenih “glavnih ideja nisu samo originalne, I pametne, I lepe, I fascinantne, I uticajne, I izvan svog vremena, već zapravo -On veruje- istinite.”[2]

Akademska imenovanja[уреди]

  • Profesor filozofije I osnivač predsedničke katedre, Univerzitet Ilions u Čikagu (1962-1970)
  • Profesor filozofije, Nortvestern Univerzitet (1970-1973)
  • Halek profesor filozofije, Univerzitet Jejl (1973-1991)
  • Profesor emerita I viši naučnik istrazivanja, Univerzitet Jejl (1992-2012);
  • Gostujući istaknuti profesor, Kalifornijski Univerzitet, Irvin (jedna četvrtina svake godine, 1992-1997)

Profesionalne kancelarije i usluge[уреди]

  • Predsednik Kancelarijskog Odbora, Američka Filozofska Asocijacija (1976-1983)
  • Predsednik, Asocijacija za Simboličku Logiku (1983-1986)
  • Predsednik, Internacionalni Institut Filozofije (1989-1992) I Predsednik Honorarija (I dalje)
  • Vizor u raznim komitetima za programe I odeljenja
  • Radi na raznim editorijalnim tablama

Filozofija[уреди]

Kvantifikaciona Modalna Logika[уреди]

Rut Barkan Markusovi raniji izdati radovi bili su publikacija prvog aksiomnog učenja modalne logike sa kvantifikacijom. Ova 3 revolucionarna artikla bili su “Funkcionalni Kalkulus prvog reda zasnovan na striktnim implikacijama”, Dnevnik Simboličke logike (JSL, 1946), “Dedukcijska Teorema u Funkcionalnom Kalkulusu prvog reda zasnovanog na striktnim implikacijama”(JSL 1946), “Individualni Identiteti u Striktno Funkcionalnom Kalkulusu Drugog Reda”, (JSL 1947). Tri artikla su izdata pod devojačkim imenom Markusove: Rut C. Barkan. Siroko razmatrana Barkanova formula je predstavljena kao aksiom u QML. Papiri iz 1946 I 1947 bili su prvi sistemi kvantifikacione modalne logike, koji su proširili neke predloge modalnih sistema Klerensa Irvinga Levisa do prvog I drugog reda; ogromno postignuće u razvoju logike 20.veka. Levis daje Markusovoj specijalno priznanje u svojim “Beleskama o Logici Namere”, originalno štampane u Strukturi, Metodici, I Značenju: Eseji u čast Henrija M. Sefera (Nju Jork 1951). Ovde Levis prepoznaje Barkan Markusovu kao prvog logističara koji je uspeo da proširi iskaznu logiku kao logiku namere višeg reda.

Direktne Reference[уреди]

Rut Barkan Markusova je predložila sagledanje filozofije jezika prema kojoj su odredjena imena, kako se Markusova izrazila, samo “tagovi”. (“Modularije I Namerni Jezici” (Sinteza 1961) I drugde). Ovi “tagovi” se koriste za obraćanje objektu, koji je nosilac imena. Značenje imena se smatra iscrpnim od strane ove referencialne funkcije. Ovo sagledanje je u kontrastu, sa npr. pokojnim Bertrand Ruselovom opisnom teorijom pravih imena kao I sa Džon Sirlovim jatom opisnih teorija o imenima , koja je preovladavala u to vreme. Ovo sagledanje pravih imena (prezentovano 1962 sa Kvinijem kao komentatorom) je bilo identifikovano od strane Kventina Smita sa teorijom referenci datom u Sal Kripkovom Imenovanju I Nužnosti. Ipak, u skorašnjem laudatiju za Rut Barkan Markusovu, profesor Timoti Viliamson kaže:

Jedna od ideja u njima koja najvise odzvanja u trenutnoj filozofiji jezika jeste ta o pravim imenima kao obicnim etiketama, bez opisnog sadržaja. Ovo nije Kripkeova ideja o imenima kao krutim oznakama, označavajuci isti objekat sa poštovanjem za sve relevantne svetove, za ‘ukrućene’ odredjene opise da su krute oznake, ali da I dalje imaju opisni sadržaj. Radije, to je ideja, kasnije razvijena od strane Dejvida Kaplana I drugih, da su prava imena direktno referencijalna, u smislu da doprinose samo svojim nosiocima u propozicijama izraženim u rečenicama u kojima se pojavljuju[3].

Filozofer jezika Stefan Nil se takođe ne slaže sa tvrdnjama profesora Smita iz Times Literary Supplement[4].

Neminovnost identiteta[уреди]

Marcus je formalno dokazala nužnost identiteta 1946. i neformalno se zalagala za njega 1961. godine.

Semantika QML-a[уреди]

Marcus preferira tumačenje gde se domen interpretacije sastoji od pojedinačnih subjekata u stvarnom svetu. Takođe, ukazuje na to da su neke alternativne semnatike ograničene. Ona daje argumente protiv 'mogućeg'.

Moralni sukob[уреди]

Marcus definiše konzistentan skup moralnih principa, kao onaj u kom postoji neki 'moguć svet' gde je sve principe moguće ispoštovati. Njihovo nepoštovanje nije znak nedoslednosti u stvarnom svetu. Kao i u slučaju neminovnosti identiteta, bilo je otpora prema ovom tumačenju moralnog sukoba. Ona je izložila argumente protiv naširoko prihvaćenog shvatanja da su sistemi moralnih načela neminovno nedosledni[5].

Verovanje[уреди]

Predočeno je da je verovanje sredstvo za moguće stanje pod određenim unutrašnjim i spoljašnjim okolnostima. Pozivanje na već rečene rečenice, tj. citiranje je jedini marker ponašanja u verovanju. Ponašanje klađenja je nešto drugo. Jezik u potpunosti okrenut verovanju se odbija. Gde je sredstvo verovanje u nemoguće, sve dok nemogućnost nije otkrivena. Marcus predlaže da se pod ovim okolnostima kaže da se tvrdilo da se veruje u nemoguće. Na isti način, kada matematičar otkrije da je jedna od njegovih pretpostavki netačna, a pošto ako je matematički netačno, onda je nemoguće on bi rekao da je samo tvrdio da je pretpostavka bila istinita (tačna). Ako kažemo da znamo P, i ispostavi se da je P netačno, ne kažemo da smo ga nekada znali, mi kažemo da smo pogrešili pri tvrdnji[6].

Esencijalizam[уреди]

Aristotelski esencijalizam se bavi osobinama koje Marcus definiše u konteksu modalnih okvira. Jedan predlog je da je svojstvo esencijalno (od suštinskog značaja) ako ga nešto ima, ne ako ga sve ima, ako ga nešto ima onda je nužno. Quine i drugi tvrdili su da je modalna logika i semantika posvećena esencijalnoj istini. Marcus neformalno tvrdi da postoje tumačenja nekih modalnih sistema u kojima su sve esencijalističke tvrdnje netačne. Terens Parsons je kasnije i formalno pokazao ovaj rezultat[7].

Substituciona kvantifikacija[уреди]

Kao alternativa za 'Tashian' (teoretski model) semantika je predložena za neke primene gde su 'istiniti uslovi dati čisto u terminima tačnog bez pojavljivanja domena interpretacije '. Ona pokazuje da je tvrdnja koja semantički vodi do kontradikcije netačna. Takva semantika može biti od interesa za matematiku ili fiktivne analize. Objektna kvantifikacija je potrebna za interpretaciju identiteta i drugih metafizičkih kategorija.

Nagrade i Priznanja[уреди]

  • Guggenheim Fellow (1952)
  • National Science Foundation Fellow (1963)
  • Rockefeller Foundation Residency (Bellagio, 1973 and 1990)
  • Center for Advanced Study in the Behavioral Sciences (1979)
  • University of Edinburgh Fellow, Humanities Institute (1983)
  • Wolfson College of Oxford University, Visiting Fellow (1985 and 1986)
  • Clare Hall of Cambridge University, Visiting Fellow (1988)
  • National Humanities Center, Mellon Fellow (1992–93)
  • Fellow of the American Academy of Arts and Sciences(1977)[8]
  • Medal of the Collège de France (1986)
  • Doctor of Humane Letters, honoris causa, University of Illinois at Chicago (1995)
  • Wilbur Cross Medal, Yale University (2000)
  • Lauener Prize in Analytic Philosophy, Lauener Foundation, 2007–08.
  • Permanent Member of the Common Room, Clare Hall (1986-)
  • Phi Beta Kappa (1941)
  • Membre, Institut International de Philosophie, Presidente 1989–92, President Honoraire 1992-
  • Quinn Prize, American Philosophical Association 2007, for service to the profession
  • Dewey Lecture, APA, Dec 2009.

Knjige[уреди]

  • The Logical Enterprise, ed. with A. Anderson, R. Martin, Yale, 1995
  • Logic, Methodology and Philosophy of Science, VII, eds. R. Barcan Marcus et al., North Holland, 1986
  • Modalities: Philosophical Essays, Oxford University Press, 1993. Paperback; 1995 (contains many of Marcus's important papers)

Reference[уреди]

  1. „Ruth Barcan Marcus | Jewish Women's Archive”. jwa.org. Приступљено 19. 08. 2016. 
  2. „Leiter Reports: A Philosophy Blog: Timothy Williamson's Tribute to Ruth Barcan Marcus on the Occasion of Her Receipt of the Lauener Prize”. leiterreports.typepad.com. Приступљено 19. 08. 2016. 
  3. Timothy Williamson's Tribute to Ruth Barcan Marcus on the Occasion of Her Receipt of the Lauener Prize, Leiter Reports: A Philosophical Blog, October 14, 2008.
  4. „Neale Kripke | Stephen Neale - Academia.edu”. academia.edu. Приступљено 19. 08. 2016. 
  5. See "Moral Dilemmas and Consistency" (Journal of Philosophy, 1980)(and frequently published elsewhere)
  6. See "A Proposed Solution to The Puzzle About Belief" (Foundations of Analytic Philosophy in Midwest Studies, 1981) and "Rationality and Believing the Impossible" (The Journal of Philosophy, 1983 and elsewhere).
  7. Philosophical Review, 78 (1969).
  8. „Book of Members, 1780–2010: Chapter M” (PDF). American Academy of Arts and Sciences. Приступљено 29. 07. 2014. 

Spoljašnje veze[уреди]