Marcus, Ruth

Kokeneet kirjoittajat eivät ole vielä tarkistaneet sivun nykyistä versiota, ja se voi poiketa merkittävästi 4.9.2021 tarkistetusta versiosta . tarkastukset vaativat 32 muokkausta .
Ruth Marcus
Ruth Barcan Marcus
Syntymäaika 2. elokuuta 1921( 1921-08-02 )
Syntymäpaikka
Kuolinpäivämäärä 19. helmikuuta 2012( 19.2.2012 ) [1] [2] (90-vuotias)
Kuoleman paikka
Maa
Ammatti filosofi , kirjailija
Palkinnot ja palkinnot Guggenheim Fellowship ( 1953 ) Wilbur Cross [d] mitali ( 2000 ) American Academy of Arts and Sciences -akatemian jäsen
 Mediatiedostot Wikimedia Commonsissa

Ruth Barcan Marcus, Ruth Barcan Marcus [ˈbɑːrkən ˈmɑːrkəs], syntynyt Ruth Charlotte Barcan ( 2. elokuuta 1921 [2] , Bronx , New York - 19. helmikuuta 2012 [1] [2] , New Haven , [3] [ Connecticut [ 4 ] ] ] [5] ) on yhdysvaltalainen akateeminen filosofi ja logiikka, joka tunnetaan parhaiten modaalisen ja filosofisen logiikan työstään [6] . Hän kehitti ensimmäiset muodolliset kvantitatiivisen modaalilogiikan järjestelmät [7] , jotka johtivat Barkanin kaavana tunnettuun järjestelmään tai periaatteeseen [5] [4] . Kuten Don Garrett totesi, Marcus, jonka teokset julkaistiin Ruth S. Barkanin [7] nimellä , oli "yksi aikansa tärkeimmistä ja vaikutusvaltaisimmista loogisista filosofeista". Timothy Williamson sanoi vuonna 2008, että "monet hänen pääideoistaan ​​eivät ole vain alkuperäisiä, älykkäitä, kauniita, kiehtovia, vaikutusvaltaisia ​​ja aikaansa edellä, mikä itse asiassa on epäilemättä totta" [8] .

Ura

Ruth Barkan meni naimisiin fyysikko Jules Alexander Marcuksen kanssa vuonna 1942 valmistuttuaan arvosanoin New Yorkin yliopistosta matematiikasta ja filosofiasta vuotta aiemmin. Sitten hän jatkoi tutkijakoulua Yalen yliopistossa , jossa hän suoritti maisterin tutkinnon vuonna 1942 ja tohtorin vuonna 1946 [9] . Marcus oli vieraileva professori Northwestern Universityssä vuosina 1950-1953 ja uudelleen vuonna 1959. Vuodesta 1956 vuoteen 1963 hän toimi apulaisprofessorina ja sitten apulaisprofessorina vastaperustetussa Roosevelt Universityssä Chicagossa. Vuodesta 1964 vuoteen 1970 hän oli filosofian professori Illinoisin yliopistossa Chicagossa (alun perin osastopäällikkö), myöhemmin hänestä tuli filosofian professori Northwestern Universityssä (1970-1973). Ennen kuin hän jäi eläkkeelle emeritusprofessorina vuonna 1992, Ruth opetti Yalen yliopistossa Reuben Post Halleckin filosofian professorina. Hän jatkoi opettamista Kalifornian yliopistossa Irvinessä vuoteen 1997 [10] [6] .

Filosofia

Kvantitatiivinen modaalinen logiikka

Laajalti keskusteltu Barkan-kaava esitetään QML:ssä aksioomana [11] . Hänen varhaisimman teoksensa, ensimmäinen aksiomaattinen tutkimus modaalilogiikasta kvantittoreilla , julkaisi Marcus tyttönimellään Ruth K. Barkan. Se sisältää kolme artikkelia: "Ensimmäisen asteen funktionaalinen laskenta, joka perustuu tiukkaan seuraukkoon", "Journal of symbolic logic" (JSL, 1946), "Ensimmäisen asteen funktionaalisen laskennan päättelylause perustuu tiukkaan implikaatioon " (JSL, 1946). , ja "Ihmisten identiteetti tiukassa toisen asteen funktionaalisessa laskennassa", (JSL, 1947). Ensimmäiset kvantitatiivisen modaalilogiikan järjestelmät, jotka laajensivat joitain Clarence Irving Lewisin propositionaalisia modaalijärjestelmiä ensimmäiseen ja toiseen luokkaan, olivat vuosien 1946 ja 1947 teoksissa, ja ne olivat suuri saavutus 1900-luvun logiikan kehityksessä. Lewis korosti Ruth Marcuksen työtä Notes on the Logic of Intention -kirjassa, joka alun perin painettiin julkaisussa Structure, Method and Meaning: An Essay in Honor of Henry M. Schaeffer (New York, 1951). Tässä hän tunnistaa hänet ensimmäiseksi logiikoksi, joka laajentaa propositionaalista logiikkaa korkeamman tason intensiaalisena logiikkana.

Suora linkki

Ruth Marcus ehdotti kielen filosofiassa erisnimimien määrittelemistä yksinkertaisiksi "tunnisteiksi" ("Modalities and Intensional Languages" (Synthese, 1961) ja muut). Hänen teoriansa nimeämisestä "tunnisteista" (forward reference theory), näitä "tunnisteita" käytetään viittaamaan objektiin, joka on nimen kantaja. Nimen merkitys loppuu tähän viittaavaan funktioon. Tämä näkemys on ristiriidassa Bertrand Russellin teorian erisnimien kuvausta sekä John Searlen tuolloin vallinneen nimien klusterikuvauksen teorian kanssa [12] . Quentin Smith identifioi tämän näkemyksen, jonka Willard Van Orman Quine esitti vuonna 1962 kommentaattorina , Saul Kripken teoksessa Naming and Necessity antamaan viiteteoriaan . Professori Timothy Williamson sanoi tästä Ruth Barkan Marcuksen työstä seuraavaa:

"Yksi niiden sisältämistä ideoista, joka resonoi eniten nykyaikaisen kielenfilosofian kanssa, on ajatus oikeasta nimestä yksinkertaisina tunnisteina, joilla ei ole kuvaavaa sisältöä. Tämä ei ole Kripken käsitys nimistä kovina osoittimina, jotka osoittavat samaa objektia suhteessa kaikkiin relevantteihin maailmoihin, koska "kovat" määritellyt kuvaukset ovat kovia osoittimia, mutta silti niillä on kuvaavaa sisältöä. Pikemminkin se on ajatus, jonka David Kaplan ja muut ovat myöhemmin kehittäneet, että erisnimet ovat suoraan viittaavia siinä mielessä, että ne vain antavat kantajansa lauseisiin, jotka ilmaistaan ​​lauseissa, joissa ne esiintyvät .

Stephen Neal, kielenfilosofi, ilmaisi olevansa eri mieltä professori Smithin lausunnosta Times Literary Supplementissa [15] .

The Need for Identity

Identiteettitarpeen osoitti virallisesti Ruth Marcus vuonna 1946, vuonna 1961 hän puolusti näkemystään, mutta myöhemmin kiisti satunnaisen identiteetin mahdollisuuden. Katso Journal of Symbolic Logic, (1947) 12: s. 12-15.

Moraalinen konflikti

Yhdessä kirjoituksissaan Ruth Marcus määrittelee yhtenäisen moraalisen periaatteen, jonka hän uskoo mahdollistavan "mahdollisen maailman" olemassaolon, jossa kaikkia näitä periaatteita voidaan havaita. Näiden periaatteiden ristiriita todellisessa maailmassa ei ole merkki epäjohdonmukaisuudesta. Kuten identiteetin tarve, tämä moraalisen konfliktin teoria on kohdannut vastustusta. Tämän teorian argumentaatio on vastoin yleisesti vallitsevaa näkemystä moraalisääntöjen järjestelmien väistämättömästä epäjohdonmukaisuudesta [16] .

Faith

Filosofisesta näkökulmasta usko on toimijan asenne mahdolliseen asioiden tilaan tietyissä sisäisissä ja ulkoisissa olosuhteissa. Yhden tai toisen lainatun lauseen hyväksyminen (uskon disquotation) on vain yksi uskon käyttäytymismerkki. Käyttäytymisskenaariossa asiat ovat hieman toisin. Täysin kielellinen uskon selitys hylätään (Davidsonin teorian mukaan). Tapauksissa, joissa agentti uskoo jonkin asian mahdottomuuteen, kunnes tämä mahdottomuus paljastetaan. Marcus oletti, että sellaisessa tapauksessa agentti sanoisi uskovansa vain mahdottomuuteen. Vastaavasti, kun matemaatikko huomaa, että yksi hänen hypoteeseistaan ​​on väärä, ja jos se on matemaattisesti väärä, niin se on mahdotonta, hän sanoo vain väittävänsä hypoteesin olevan totta. Niin outo kuin tämä olettamus onkin, se on samanlainen kuin yleisesti hyväksytty tiedon periaate: jos väitämme tietävämme P:n ja P osoittautuu vääriksi, emme väitä, että tiesimme sen ennen, sanomme, että olimme väärässä. sanomalla, että se on niin [17] .

Essentialismi

Aristoteleen essentialismi koskee ominaisuuksia, jotka Ruth Marcus määritteli modaalirakenteen yhteydessä. Yksi olettamuksista on, että ominaisuus on olennainen, jos jollakin on sitä, ei kaikessa, jos jollakin on se, niin se on pakollinen, eikä se ole täysin yksilöity esimerkiksi luonnollisena omaisuutena. Muuten Quine ja hänen työtoverinsa väittävät, että modaalinen logiikka tai semantiikka on totta essentialistisille totuuksille. Yhden Ruth Marcuksen teorioiden mukaan joistakin modaalisista järjestelmistä on sellaisia ​​tulkintoja, joissa kaikki essentialistien väitteet ovat vääriä. Terence Parsons todisti tämän tuloksen virallisesti [18] .

Korvauksen kvantifiointi

Joillekin sovelluksille ehdotetaan vaihtoehtoa malliteoreettiselle semantiikalle, jossa "kvantitatiivisesti määriteltyjen kaavojen totuusehdot määritellään vain totuuden perusteella turvautumatta tulkinta-alueisiin". Tätä alettiin kutsua "totuuden semantiikaksi". Marcus osoittaa, että väite, että tällainen semantiikka johtaisi ristiriitaisuuksiin, on väärä. Tämä teoria saattaa kiinnostaa matemaatikoita tai taiteellista keskustelua. Objektiivista kvantifiointia tarvitaan identiteetin ja muiden metafyysisten kategorioiden tulkitsemiseen.

Toimii

Akateemiset artikkelit

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

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

Palkinnot ja tunnustukset

Muistiinpanot

  1. ↑ 1 2 Leiter B. Filosofiablogi: In Memoriam: Ruth Barcan Marcus (1921–2012) // Leiter Reports
  2. ↑ 1 2 3 Ruth Charlotte Barcan Marcus // Encyclopædia Britannica 
  3. ↑ 1 2 Freebase-tietojen lataus - Google .
  4. ↑ 1 2 Marcus, Ruth Charlotte Barcan (1921–2012)  (englanti) . www.bloomsburyphilosophylibrary.com . Haettu: 1.9.2021.
  5. ↑ 12 Fox, Margalit . Ruth Barcan Marcus, filosofi-logiikka, kuolee 90-vuotiaana , The New York Times  (13. maaliskuuta 2012). Arkistoitu alkuperäisestä 15. elokuuta 2017. Haettu 1.9.2021.
  6. ↑ 1 2 Marcus, Ruth Barcan | encyclopedia.com . www.encyclopedia.com . Haettu 1. syyskuuta 2021. Arkistoitu alkuperäisestä 15. maaliskuuta 2020.
  7. ↑ 1 2 Timothy Williamson. In Memoriam: Ruth Barcan Marcus 1921–2012  //  Bulletin of Symbolic Logic. - 2013-03. — Voi. 19 , iss. 1 . — s. 123–126 . — ISSN 1943-5894 1079-8986, 1943-5894 . - doi : 10.2178/bsl.1901070 . Arkistoitu alkuperäisestä 1.9.2021.
  8. ↑ Timothy Williamsonin kunnianosoitus Ruth Barcan Marcukselle hänen Lauener-palkinnon saamisen yhteydessä . Leiter Reports: A Philosophy Blog . Haettu 1. syyskuuta 2021. Arkistoitu alkuperäisestä 23. joulukuuta 2018.
  9. ↑ Ruth Barcan  Marcus . Juutalaisten naisten arkisto . Haettu 1. syyskuuta 2021. Arkistoitu alkuperäisestä 25. huhtikuuta 2019.
  10. ↑ Marcus, Ruth Barcan (1921—) | encyclopedia.com . www.encyclopedia.com . Haettu 3. syyskuuta 2021. Arkistoitu alkuperäisestä 15. maaliskuuta 2020.
  11. ↑ John Lachs, Robert B. Talisse. Amerikkalainen filosofia: Tietosanakirja . — Routledge, 31.3.2008. — 870 s. - ISBN 978-1-135-94887-0 . Arkistoitu 3. syyskuuta 2021 Wayback Machinessa
  12. ↑ Routledge Encyclopedia of Philosophy  (englanniksi)  // Wikipedia. – 13.5.2020. Arkistoitu alkuperäisestä 26. toukokuuta 2022.
  13. ↑ Arkistoitu kopio . Haettu 4. syyskuuta 2021. Arkistoitu alkuperäisestä 2. elokuuta 2021.
  14. ↑ Timothy Williamsonin kunnianosoitus Ruth Barcan Marcukselle hänen Lauener-palkinnon saamisen yhteydessä . Leiter Reports: A Philosophy Blog . Haettu 6. syyskuuta 2021. Arkistoitu alkuperäisestä 23. joulukuuta 2018.
  15. ↑ Stephen Neale. Neal Kripke . Arkistoitu alkuperäisestä 6. syyskuuta 2021.
  16. ↑ Katso Moral Dilemmas and Consistency (Journal of Philosophy, 1980).
  17. ↑ Katso "A Proposed Solution to a Puzzle about Belief" (Foundations of Analytic Philosophy in Midwest Studies, 1981) ja "Rationality and Believing the Impossible" (The Journal of Philosophy, 1983 ja muualla)
  18. ↑ Filosofinen katsaus   // Wikipedia . – 14.12.2020.
  19. ↑ R. Barcan Marcus, GJW Dorn, P. Weingartner. Logiikka, metodologia ja tiedefilosofia VII . - Elsevier, 1986-05-01. — 783 s. - ISBN 978-0-08-096039-5 . Arkistoitu 7. syyskuuta 2021 Wayback Machinessa
  20. ↑ Ruth Barcan Marcus. Modaliteetti: Filosofiset esseet . - Oxford University Press, 1995. - 281 s. — ISBN 978-0-19-509657-6 . Arkistoitu 7. syyskuuta 2021 Wayback Machinessa
  21. ↑ Kunniatutkinnot | Kiitokset | Illinoisin yliopisto Chicago . aloitus.uic.edu . Haettu 7. syyskuuta 2021. Arkistoitu alkuperäisestä 5. kesäkuuta 2021.
  Siirry Wikidata-kohteeseen  Temaattiset sivustot
Sanakirjat ja tietosanakirjat