Ruth Marcus | |
---|---|
Ruth Barcan Marcus | |
Fødselsdato | 2. august 1921 |
Fødselssted | |
Dødsdato | 19. februar 2012 [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] .
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] .
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.
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 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.
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] .
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] .
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] .
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.
https://philpapers.org/s/Ruth%20C.%20Barcan
https://philpapers.org/asearch.pl?strict=1&searchStr=Marcus,%20Ruth%20Barcan&filterMode=authors
Tematiske steder | ||||
---|---|---|---|---|
Ordbøger og encyklopædier | ||||
|