Ruth Barcan Marcus (original) (raw)
رُوث بَرْكان ماركوس (بالإنجليزية: Ruth Barcan Marcus) (اسمها عند الولادة: روث شارلوت بركان، 2 أغسطس 1921 – 19 فبراير 2012) كانت فيلسوفة ومنطقية أكاديمية أمريكية، اشتهرت بإسهاماتها في المنطق الطوري والمنطق الفلسفي. طورت أول الأنظمة الرسمية للمنطق الطوري المكمَّم، وبهذا قدمت أول مبدأ يُدعى «صيغة بركان». هي أيضًا أول من استعمل رابطة «المربع» المنطقية التي صارت الآن رمزًا نموذجيًّا للتعبير عن الضرورة. كانت تَنشر أولًا باسم روث سي بركان، وكانت على حد كلام دون غاريت «من أهم المناطقة الفلاسفة المؤثرين في القرن العشرين». في 2008 قال تيموثي ويليامسون في احتفائه بمسيرتها المهنية الطويلة إن عديدًا من «أفكارها الرئيسة ليست أصيلة ذكية جميلة رائعة مؤثرة سابقة زمانها وحسب، وإنما –في رأيي– صحيحة أيضًا».
| Property | Value |
|---|---|
| dbo:abstract | رُوث بَرْكان ماركوس (بالإنجليزية: Ruth Barcan Marcus) (اسمها عند الولادة: روث شارلوت بركان، 2 أغسطس 1921 – 19 فبراير 2012) كانت فيلسوفة ومنطقية أكاديمية أمريكية، اشتهرت بإسهاماتها في المنطق الطوري والمنطق الفلسفي. طورت أول الأنظمة الرسمية للمنطق الطوري المكمَّم، وبهذا قدمت أول مبدأ يُدعى «صيغة بركان». هي أيضًا أول من استعمل رابطة «المربع» المنطقية التي صارت الآن رمزًا نموذجيًّا للتعبير عن الضرورة. كانت تَنشر أولًا باسم روث سي بركان، وكانت على حد كلام دون غاريت «من أهم المناطقة الفلاسفة المؤثرين في القرن العشرين». في 2008 قال تيموثي ويليامسون في احتفائه بمسيرتها المهنية الطويلة إن عديدًا من «أفكارها الرئيسة ليست أصيلة ذكية جميلة رائعة مؤثرة سابقة زمانها وحسب، وإنما –في رأيي– صحيحة أيضًا». (ar) Ruth Barcan Marcus (2 d'agost de 1921 a Nova York - 19 de febrer de 2012 a New Haven) és una filòsofa i lògica americana, més particularment coneguda pels seus descobriments en lògica modal, com la Fórmula Barcan. Els seus treballs en filosofia del llenguatge i en filosofia de la lògica sobre la quantificació substitucional o la identitat i la referència dels termes tenen influència sobre les teories de la referència directa de Saul Kripke. (ca) Ruth Barcan Marcus (* 2. August 1921, New York; † 19. Februar 2012, New Haven) war eine US-amerikanische Philosophin und Logikerin. Sie gilt als eine der Begründerinnen der quantifizierten Modallogik (oder modalen Prädikatenlogik) und der Theorie der starren Designation (‘direct reference’). Nach ihr ist die Barcan-Formel benannt, die sie selbst zuerst formulierte. Darüber hinaus stammen von ihr einschlägige Veröffentlichungen zur Philosophie der Logik, speziell zum Essentialismus, zur Notwendigkeit der Identitätsrelation und zum Status von möglichen, aber nicht wirklich existierenden Objekten (possibilia); des Weiteren zur Theorie epistemischer Überzeugungen und zu Pflichtenkollisionen vom Standpunkt der deontischen Logik. (de) Ruth Barcan Marcus (2 août 1921 dans le Bronx - 19 février 2012) est une philosophe et logicienne américaine, plus particulièrement connue pour ses découvertes en logique modale, comme la Formule de Barcan. Ses travaux en philosophie du langage et en philosophie de la logique sur la quantification substitutionnelle ou l'identité et la référence des termes ont une influence sur les théories de la Référence directe de Saul Kripke. (fr) Ruth Barcan Marcus (2 de agosto de 1921 – 19 de febrero de 2012) fue una filósofa, lógica y académica estadounidense, conocida por su trabajo en lógica modal y filosófica. Desarrolló los primeros sistemas formales de lógica modal cuantificada y, al hacerlo, introdujo el esquema o principio conocido como . (También introdujo el estándar operador de "caja" por necesidad en el proceso). Marcus, quien publicó originalmente como Ruth C. Barcan, fue, como señala Don Garrett "una de las filósofas-lógicas más importantes e influyentes del siglo XX". Timothy Williamson, en una ceremonia de 2008 para celebrar la extensa carrera de Marcus, afirma que muchas de sus "ideas principales no solo son originales, e inteligentes, y bellas, y fascinantes, e influyentes, y muy adelantadas a su tiempo, sino que realmente -creo- son verdaderas". (es) Ruth Barcan Marcus (/ˈbɑːrkən ˈmɑːrkəs/; born Ruth Charlotte Barcan; 2 August 1921 – 19 February 2012) was an American academic philosopher and logician best known for her work in modal and philosophical logic. She developed the first formal systems of quantified modal logic and in so doing introduced the schema or principle known as the Barcan formula. (She would also introduce the now standard "box" operator for necessity in the process.) Marcus, who originally published as Ruth C. Barcan, was, as Don Garrett notes "one of the twentieth century's most important and influential philosopher-logicians". Timothy Williamson, in a 2008 celebration of Marcus' long career, states that many of her "main ideas are not just original, and clever, and beautiful, and fascinating, and influential, and way ahead of their time, but actually – I believe – true". (en) Ruth Barcan Marcus (ur. 2 sierpnia 1921 w Nowym Jorku, zm. 19 lutego 2012 w New Haven) – amerykańska filozof analityczna, logik i filozof logiki. Zajmuje się przede wszystkim logiką modalną i związanymi z nią zagadnieniami filozoficznymi, a także pewnymi szczegółowymi zagadnieniami etycznymi, ontologicznymi i epistemologicznymi. Do najważniejszych osiągnięć Ruth Barcan Marcus należy istotny udział w stworzeniu modalnej logiki predykatów (modalnej logiki kwantyfikatorów – por. klasyczny rachunek kwantyfikatorów), tj. pierwszych systemów logiki modalnej obejmujących kwantyfikatory i predykaty jako elementy ich języka. Od jej nazwiska pochodzi termin . Dla filozofii Ruth Barcan Marcus kluczowe są natomiast (analizowane przeważnie na gruncie logiki modalnej z kwantyfikatorami) problemy związane z esencjalizmem, identycznością i jej wariantami oraz . (pl) Ruth Barcan-Marcus, nata Ruth Charlotte Barcan (pronuncia: [/ˈbɑːrkən ˈmɑːrkəs/]; New York, 2 agosto 1921 – New Haven, 19 febbraio 2012), è stata una filosofa e logica statunitense, nota per essere stata l'ideatrice della Formula di Barcan. (it) Ruth Barcan Marcus (2 de agosto de 1921 - 19 de fevereiro de 2012) foi uma filósofa e acadêmica norte-americana mais conhecida por seu trabalho em lógica modal e filosófica. Ela desenvolveu os primeiros sistemas formais de lógica modal quantificada e, ao fazê-lo, introduziu o esquema ou princípio conhecido como Fórmula de Barcan. (Ela também introduziria o operador "caixa" agora padrão por necessidade no processo). Marcus, que originalmente publicou como Ruth C. Barcan, era, como Don Garrett observa "uma das filósofas-lógicas mais importantes e influentes do século XX". Timothy Williamson, em uma celebração de 2008 da longa carreira de Marcus, afirma que muitas de suas "ideias principais não são apenas originais, inteligentes, belas, fascinantes, influentes e muito à frente de seu tempo, mas na verdade - eu acredito – verdade”. (pt) Рут Баркан Маркус, (англ. Ruth Barcan Marcus; урождённая Рут Шарлотта Баркан; 2 августа 1921, Бронкс, Нью-Йорк — 19 февраля 2012[…], Нью-Хейвен, Коннектикут) — американский академический философ и логик, наиболее известна своей работой в области модальной и философской логики. Она разработала первые формальные системы количественной модальной логики,что привело к появлению схемы или принципа, известного как формула Баркана. Как отмечал Дон Гарретт, Маркус, чьи работы публиковались под именем Рут С. Баркан, была «одним из важнейших и влиятельных философов-логиков своего века». Тимоти Уильямсон в 2008 году говорил, что «многие из ее основных идей не просто оригинальны, умны, красивы, увлекательны, влиятельны и намного опережают свое время, что на самом деле является, несомненно, правдой». (ru) Ruth Barcan Marcus, född 2 augusti 1921 i The Bronx, New York, död 19 februari 2012 i New Haven, Connecticut, var en amerikansk professor i filosofi och logiker, som fick uppkallad efter sig. Hon var en pionjär inom modallogik och . (sv) |
| dbo:birthDate | 1921-08-02 (xsd:date) |
| dbo:birthPlace | dbr:New_York_City |
| dbo:birthYear | 1921-01-01 (xsd:gYear) |
| dbo:deathDate | 2012-02-19 (xsd:date) |
| dbo:deathPlace | dbr:New_Haven,_Connecticut |
| dbo:deathYear | 2012-01-01 (xsd:gYear) |
| dbo:era | dbr:Contemporary_philosophy |
| dbo:influenced | dbr:Saul_Kripke dbr:Timothy_Williamson |
| dbo:influencedBy | dbr:Willard_Van_Orman_Quine dbr:Arthur_Prior |
| dbo:mainInterest | dbr:Formal_logic |
| dbo:notableIdea | dbr:Modal_logic dbr:Barcan_formula dbr:Necessity_of_identity dbr:Tag_theory_of_names |
| dbo:philosophicalSchool | dbr:Analytic_philosophy |
| dbo:region | dbr:Western_philosophy |
| dbo:thumbnail | wiki-commons:Special:FilePath/Ruth_Barcan_Marcus.jpg?width=300 |
| dbo:wikiPageExternalLink | https://opinionator.blogs.nytimes.com/2012/04/26/woman-fighter-philosopher/%3Fmtrref=www.google.com&assetType=REGIWALL https://www.nytimes.com/2012/03/14/us/ruth-barcan-marcus-philosopher-logician-dies-at-90.html https://news.yale.edu/2012/02/21/memoriam-ruth-barcan-marcus http://hdl.handle.net/10079/fa/mssa.ms.1993 https://books.google.com/books%3Fid=5-2gnWhwzmsC&printsec=frontcover https://books.google.com/books%3Fid=HXU8DwAAQBAJ&printsec=frontcover https://books.google.com/books%3Fid=Zwjd0jLC1HoC&printsec=frontcover https://web.archive.org/web/20100920233031/https:/leiterreports.typepad.com/blog/2010/09/ruth-barcan-marcuss-philosophical-autobiography.html https://www.cambridge.org/core/services/aop-cambridge-core/content/view/693A9113EDD606534A3A1D6F844B64E7/S1079898600009148a.pdf/div-class-title-in-memoriam-ruth-barcan-marcus-1921-2012-div.pdf https://www.encyclopedia.com/humanities/encyclopedias-almanacs-transcripts-and-maps/marcus-ruth-barcan https://www.encyclopedia.com/women/encyclopedias-almanacs-transcripts-and-maps/marcus-ruth-barcan-1921 https://jwa.org/encyclopedia/article/marcus-ruth-barcan http://people.ucalgary.ca/~rzach/static/open-logic/assets/photos/barcan-marcus-ruth/barcan-marcus-ruth-large.png http://people.ucalgary.ca/~rzach/static/open-logic/assets/photos/photos.pdf https://philpapers.org/asearch.pl%3Fstrict=1&searchStr=Marcus,%20Ruth%20Barcan&filterMode=authors https://philpapers.org/s/Ruth%20C.%20Barcan |
| dbo:wikiPageID | 369743 (xsd:integer) |
| dbo:wikiPageLength | 20986 (xsd:nonNegativeInteger) |
| dbo:wikiPageRevisionID | 1116988457 (xsd:integer) |
| dbo:wikiPageWikiLink | dbr:Cambridge dbr:Cambridge_University dbr:Cambridge_University_Press dbr:American_Philosophical_Association dbr:Beckman_Fellow dbr:Quentin_Smith dbr:Roosevelt_University dbr:Saul_Kripke dbr:Modal_logic dbr:National_Humanities_Center dbr:Bertrand_Russell dbr:David_Kaplan_(philosopher) dbc:Fellows_of_Clare_Hall,_Cambridge dbr:John_Searle dbr:University_of_California,_Irvine dbr:University_of_Edinburgh dbr:University_of_Illinois_Chicago dbr:University_of_Illinois_at_Urbana–Champaign dbr:Definite_description dbc:2012_deaths dbc:20th-century_American_women_writers dbc:21st-century_American_non-fiction_writers dbr:Collège_de_France dbr:Conjectures dbr:Mathematics dbr:Clare_Hall,_Cambridge dbc:Fellows_of_Wolfson_College,_Oxford dbr:Encyclopedia_of_Philosophy dbr:Grazer_Philosophische_Studien dbr:Contemporary_philosophy dbr:The_New_York_Times dbr:The_Stone_(blog) dbr:Aristotelianism dbr:Logic dbr:Stephen_Neale dbr:Emeritus dbc:1921_births dbc:20th-century_American_mathematicians dbc:20th-century_American_non-fiction_writers dbc:20th-century_American_philosophers dbc:20th-century_essayists dbc:21st-century_American_philosophers dbc:21st-century_American_women_writers dbc:21st-century_essayists dbc:Academics_of_the_University_of_Edinburgh dbc:American_essayists dbc:American_women_essayists dbc:Analytic_philosophers dbc:Fellows_of_the_American_Academy_of_Arts_and_Sciences dbc:Jewish_American_academics dbc:Jewish_philosophers dbc:New_York_University_alumni dbc:Northwestern_University_faculty dbc:Philosophers_of_ethics_and_morality dbc:Philosophers_of_language dbc:Philosophers_of_logic dbc:Philosophers_of_science dbc:Philosophy_writers dbc:University_of_Illinois_Chicago_faculty dbc:Yale_University_alumni dbc:Yale_University_faculty dbc:Philosophers_of_mathematics dbc:American_women_philosophers dbr:Timothy_Williamson dbr:Western_philosophy dbr:Wilbur_Cross_Medal dbr:Willard_Van_Orman_Quine dbr:Doctor_of_Humane_Letters dbr:Clarence_Irving_Lewis dbr:Hartry_Field dbr:Jewish_Women's_Archive dbr:Latin_honors dbr:Terence_Parsons dbr:Alan_Ross_Anderson dbr:American_Academy_of_Arts_and_Sciences dbr:Americans dbr:Analytic_philosophy dbc:21st-century_American_Jews dbc:People_from_the_Bronx dbr:Essentialism dbr:First-order_logic dbr:Barcan_formula dbr:Northwestern_University dbr:Oxford_University_Press dbr:Center_for_Advanced_Study_in_the_Behavioral_Sciences dbr:Direct_reference_theory dbr:Journal_of_Symbolic_Logic dbr:Guggenheim_Fellowship dbr:Tamar_Gendler dbr:Arthur_Prior dbc:American_women_writers dbc:Women_logicians dbc:American_logicians dbc:American_philosophy_academics dbc:Philosophers_from_New_York_(state) dbr:Honorary_degree dbr:Walter_Sinnott-Armstrong dbr:Donald_Davidson_(philosopher) dbr:Association_for_Symbolic_Logic dbr:Axiom dbr:Phi_Beta_Kappa dbr:Philosophy dbr:Frederic_Fitch dbr:Metaphysical dbr:National_Science_Foundation dbr:New_Haven,_Connecticut dbr:New_York_City dbr:New_York_University dbr:Wolfson_College,_Oxford dbr:Yale dbr:Yale_University dbr:Margalit_Fox dbr:Semantics dbr:Necessity_of_identity dbr:Formal_logic dbr:Philosophical_logic dbr:Naming_and_Necessity dbr:PhilPapers dbr:Philosopher dbr:Philosophy_of_language dbr:Physicist dbr:Oxford_University dbr:Truth-value_semantics dbr:Visiting_Fellow dbr:Richard_Milton_Martin dbr:Yale_News dbr:Rigid_designators dbr:Times_Literary_Supplement dbr:Bellagio_(Italian_region) dbr:Description_theory_of_proper_names dbr:The_Bulletin_of_Symbolic_Logic dbr:Tag_theory_of_names |
| dbp:alt | Marcus in 2005 (en) |
| dbp:birthDate | 1921-08-02 (xsd:date) |
| dbp:birthPlace | dbr:New_York_City |
| dbp:caption | Marcus in 2005 (en) |
| dbp:deathDate | 2012-02-19 (xsd:date) |
| dbp:deathPlace | dbr:New_Haven,_Connecticut |
| dbp:doctoralAdvisor | dbr:Frederic_Fitch |
| dbp:education | dbr:New_York_University dbr:Yale_University |
| dbp:era | dbr:Contemporary_philosophy |
| dbp:influenced | dbr:Saul_Kripke dbr:Timothy_Williamson |
| dbp:influences | dbr:Willard_Van_Orman_Quine dbr:Arthur_Prior |
| dbp:institutions | dbr:Northwestern_University dbr:Yale_University |
| dbp:mainInterests | dbr:Formal_logic |
| dbp:name | Ruth Barcan Marcus (en) |
| dbp:nationality | American (en) |
| dbp:notableIdeas | Quantified modal logic, Barcan formula, necessity of identity, tag theory of names (en) |
| dbp:region | dbr:Western_philosophy |
| dbp:schoolTradition | dbr:Analytic_philosophy |
| dbp:thesisTitle | Strict Functional Calculus (en) |
| dbp:thesisYear | 1946 (xsd:integer) |
| dbp:wikiPageUsesTemplate | dbt:Authority_control dbt:Birth_date dbt:Blockquote dbt:IPAc-en dbt:Infobox_philosopher dbt:Main dbt:Reflist dbt:Rp dbt:Short_description dbt:Death_date_and_age dbt:MathGenealogy dbt:Helveticat |
| dct:subject | dbc:Fellows_of_Clare_Hall,_Cambridge dbc:2012_deaths dbc:20th-century_American_women_writers dbc:21st-century_American_non-fiction_writers dbc:Fellows_of_Wolfson_College,_Oxford dbc:1921_births dbc:20th-century_American_mathematicians dbc:20th-century_American_non-fiction_writers dbc:20th-century_American_philosophers dbc:20th-century_essayists dbc:21st-century_American_philosophers dbc:21st-century_American_women_writers dbc:21st-century_essayists dbc:Academics_of_the_University_of_Edinburgh dbc:American_essayists dbc:American_women_essayists dbc:Analytic_philosophers dbc:Fellows_of_the_American_Academy_of_Arts_and_Sciences dbc:Jewish_American_academics dbc:Jewish_philosophers dbc:New_York_University_alumni dbc:Northwestern_University_faculty dbc:Philosophers_of_ethics_and_morality dbc:Philosophers_of_language dbc:Philosophers_of_logic dbc:Philosophers_of_science dbc:Philosophy_writers dbc:University_of_Illinois_Chicago_faculty dbc:Yale_University_alumni dbc:Yale_University_faculty dbc:Philosophers_of_mathematics dbc:American_women_philosophers dbc:21st-century_American_Jews dbc:People_from_the_Bronx dbc:American_women_writers dbc:Women_logicians dbc:American_logicians dbc:American_philosophy_academics dbc:Philosophers_from_New_York_(state) |
| gold:hypernym | dbr:Philosopher |
| schema:sameAs | http://viaf.org/viaf/73879373 |
| rdf:type | owl:Thing foaf:Person dbo:Person dul:NaturalPerson wikidata:Q19088 wikidata:Q215627 wikidata:Q4964182 wikidata:Q5 wikidata:Q729 yago:WikicatAmericanEducators yago:WikicatAmericanLogicians yago:WikicatAmericanPeople yago:WikicatAmericanPhilosophers yago:WikicatAmericanPhilosophyAcademics yago:WikicatAmericanWomenPhilosophers yago:WikicatAnalyticPhilosophers dbo:Animal dbo:Eukaryote dbo:Species schema:Person yago:WikicatLogicians yago:WikicatWomen yago:WikicatWomenPhilosophers yago:WikicatYaleUniversityAlumni yago:WikicatNewYorkUniversityAlumni yago:Academician109759069 yago:Adult109605289 yago:Alumnus109786338 yago:Associate109816771 yago:CausalAgent100007347 yago:Colleague109935990 yago:Educator110045713 yago:Expert109617867 yago:Female109619168 yago:Intellectual109621545 yago:LivingThing100004258 yago:Logician110269785 yago:Object100002684 yago:Organism100004475 yago:Peer109626238 yago:Person100007846 yago:Philosopher110423589 yago:PhysicalEntity100001930 yago:Professional110480253 yago:WikicatGuggenheimFellows yago:WikicatJewishAmericanAcademics yago:WikicatJewishPhilosophers yago:Woman110787470 yago:YagoLegalActor yago:YagoLegalActorGeo dbo:Philosopher yago:Scholar110557854 yago:Whole100003553 yago:Wikicat20th-centuryPhilosophers yago:Wikicat21st-centuryPhilosophers yago:WikicatFellowsOfClareHall,Cambridge yago:WikicatFellowsOfWolfsonCollege,Oxford yago:WikicatPeopleFromTheBronx yago:WikicatPhilosophersOfLanguage |
| rdfs:comment | رُوث بَرْكان ماركوس (بالإنجليزية: Ruth Barcan Marcus) (اسمها عند الولادة: روث شارلوت بركان، 2 أغسطس 1921 – 19 فبراير 2012) كانت فيلسوفة ومنطقية أكاديمية أمريكية، اشتهرت بإسهاماتها في المنطق الطوري والمنطق الفلسفي. طورت أول الأنظمة الرسمية للمنطق الطوري المكمَّم، وبهذا قدمت أول مبدأ يُدعى «صيغة بركان». هي أيضًا أول من استعمل رابطة «المربع» المنطقية التي صارت الآن رمزًا نموذجيًّا للتعبير عن الضرورة. كانت تَنشر أولًا باسم روث سي بركان، وكانت على حد كلام دون غاريت «من أهم المناطقة الفلاسفة المؤثرين في القرن العشرين». في 2008 قال تيموثي ويليامسون في احتفائه بمسيرتها المهنية الطويلة إن عديدًا من «أفكارها الرئيسة ليست أصيلة ذكية جميلة رائعة مؤثرة سابقة زمانها وحسب، وإنما –في رأيي– صحيحة أيضًا». (ar) Ruth Barcan Marcus (2 d'agost de 1921 a Nova York - 19 de febrer de 2012 a New Haven) és una filòsofa i lògica americana, més particularment coneguda pels seus descobriments en lògica modal, com la Fórmula Barcan. Els seus treballs en filosofia del llenguatge i en filosofia de la lògica sobre la quantificació substitucional o la identitat i la referència dels termes tenen influència sobre les teories de la referència directa de Saul Kripke. (ca) Ruth Barcan Marcus (* 2. August 1921, New York; † 19. Februar 2012, New Haven) war eine US-amerikanische Philosophin und Logikerin. Sie gilt als eine der Begründerinnen der quantifizierten Modallogik (oder modalen Prädikatenlogik) und der Theorie der starren Designation (‘direct reference’). Nach ihr ist die Barcan-Formel benannt, die sie selbst zuerst formulierte. Darüber hinaus stammen von ihr einschlägige Veröffentlichungen zur Philosophie der Logik, speziell zum Essentialismus, zur Notwendigkeit der Identitätsrelation und zum Status von möglichen, aber nicht wirklich existierenden Objekten (possibilia); des Weiteren zur Theorie epistemischer Überzeugungen und zu Pflichtenkollisionen vom Standpunkt der deontischen Logik. (de) Ruth Barcan Marcus (2 août 1921 dans le Bronx - 19 février 2012) est une philosophe et logicienne américaine, plus particulièrement connue pour ses découvertes en logique modale, comme la Formule de Barcan. Ses travaux en philosophie du langage et en philosophie de la logique sur la quantification substitutionnelle ou l'identité et la référence des termes ont une influence sur les théories de la Référence directe de Saul Kripke. (fr) Ruth Barcan-Marcus, nata Ruth Charlotte Barcan (pronuncia: [/ˈbɑːrkən ˈmɑːrkəs/]; New York, 2 agosto 1921 – New Haven, 19 febbraio 2012), è stata una filosofa e logica statunitense, nota per essere stata l'ideatrice della Formula di Barcan. (it) Рут Баркан Маркус, (англ. Ruth Barcan Marcus; урождённая Рут Шарлотта Баркан; 2 августа 1921, Бронкс, Нью-Йорк — 19 февраля 2012[…], Нью-Хейвен, Коннектикут) — американский академический философ и логик, наиболее известна своей работой в области модальной и философской логики. Она разработала первые формальные системы количественной модальной логики,что привело к появлению схемы или принципа, известного как формула Баркана. Как отмечал Дон Гарретт, Маркус, чьи работы публиковались под именем Рут С. Баркан, была «одним из важнейших и влиятельных философов-логиков своего века». Тимоти Уильямсон в 2008 году говорил, что «многие из ее основных идей не просто оригинальны, умны, красивы, увлекательны, влиятельны и намного опережают свое время, что на самом деле является, несомненно, правдой». (ru) Ruth Barcan Marcus, född 2 augusti 1921 i The Bronx, New York, död 19 februari 2012 i New Haven, Connecticut, var en amerikansk professor i filosofi och logiker, som fick uppkallad efter sig. Hon var en pionjär inom modallogik och . (sv) Ruth Barcan Marcus (2 de agosto de 1921 – 19 de febrero de 2012) fue una filósofa, lógica y académica estadounidense, conocida por su trabajo en lógica modal y filosófica. Desarrolló los primeros sistemas formales de lógica modal cuantificada y, al hacerlo, introdujo el esquema o principio conocido como . (También introdujo el estándar operador de "caja" por necesidad en el proceso). Marcus, quien publicó originalmente como Ruth C. Barcan, fue, como señala Don Garrett "una de las filósofas-lógicas más importantes e influyentes del siglo XX". Timothy Williamson, en una ceremonia de 2008 para celebrar la extensa carrera de Marcus, afirma que muchas de sus "ideas principales no solo son originales, e inteligentes, y bellas, y fascinantes, e influyentes, y muy adelantadas a su tiemp (es) Ruth Barcan Marcus (/ˈbɑːrkən ˈmɑːrkəs/; born Ruth Charlotte Barcan; 2 August 1921 – 19 February 2012) was an American academic philosopher and logician best known for her work in modal and philosophical logic. She developed the first formal systems of quantified modal logic and in so doing introduced the schema or principle known as the Barcan formula. (She would also introduce the now standard "box" operator for necessity in the process.) Marcus, who originally published as Ruth C. Barcan, was, as Don Garrett notes "one of the twentieth century's most important and influential philosopher-logicians". Timothy Williamson, in a 2008 celebration of Marcus' long career, states that many of her "main ideas are not just original, and clever, and beautiful, and fascinating, and influential, and (en) Ruth Barcan Marcus (ur. 2 sierpnia 1921 w Nowym Jorku, zm. 19 lutego 2012 w New Haven) – amerykańska filozof analityczna, logik i filozof logiki. Zajmuje się przede wszystkim logiką modalną i związanymi z nią zagadnieniami filozoficznymi, a także pewnymi szczegółowymi zagadnieniami etycznymi, ontologicznymi i epistemologicznymi. (pl) Ruth Barcan Marcus (2 de agosto de 1921 - 19 de fevereiro de 2012) foi uma filósofa e acadêmica norte-americana mais conhecida por seu trabalho em lógica modal e filosófica. Ela desenvolveu os primeiros sistemas formais de lógica modal quantificada e, ao fazê-lo, introduziu o esquema ou princípio conhecido como Fórmula de Barcan. (Ela também introduziria o operador "caixa" agora padrão por necessidade no processo). Marcus, que originalmente publicou como Ruth C. Barcan, era, como Don Garrett observa "uma das filósofas-lógicas mais importantes e influentes do século XX". Timothy Williamson, em uma celebração de 2008 da longa carreira de Marcus, afirma que muitas de suas "ideias principais não são apenas originais, inteligentes, belas, fascinantes, influentes e muito à frente de seu tempo, (pt) |
| rdfs:label | روث بركان ماركوس (ar) Ruth Barcan Marcus (ca) Ruth Barcan Marcus (de) Ruth Barcan Marcus (es) Ruth Barcan Marcus (fr) Ruth Barcan Marcus (it) Ruth Barcan Marcus (pl) Ruth Barcan Marcus (en) Ruth Barcan Marcus (pt) Маркус, Рут (ru) Ruth Barcan Marcus (sv) |
| owl:sameAs | freebase:Ruth Barcan Marcus yago-res:Ruth Barcan Marcus http://d-nb.info/gnd/11928443X http://viaf.org/viaf/73879373 wikidata:Ruth Barcan Marcus http://data.bibliotheken.nl/id/thes/p068838166 dbpedia-ar:Ruth Barcan Marcus dbpedia-ca:Ruth Barcan Marcus dbpedia-da:Ruth Barcan Marcus dbpedia-de:Ruth Barcan Marcus dbpedia-es:Ruth Barcan Marcus dbpedia-fi:Ruth Barcan Marcus dbpedia-fr:Ruth Barcan Marcus dbpedia-is:Ruth Barcan Marcus dbpedia-it:Ruth Barcan Marcus dbpedia-no:Ruth Barcan Marcus dbpedia-pl:Ruth Barcan Marcus dbpedia-pt:Ruth Barcan Marcus dbpedia-ru:Ruth Barcan Marcus dbpedia-sr:Ruth Barcan Marcus dbpedia-sv:Ruth Barcan Marcus https://global.dbpedia.org/id/44Yg1 |
| prov:wasDerivedFrom | wikipedia-en:Ruth_Barcan_Marcus?oldid=1116988457&ns=0 |
| foaf:depiction | wiki-commons:Special:FilePath/Ruth_Barcan_Marcus.jpg |
| foaf:isPrimaryTopicOf | wikipedia-en:Ruth_Barcan_Marcus |
| foaf:name | (en) Ruth Barcan Marcus (en) |
| is dbo:influenced of | dbr:Arthur_Prior |
| is dbo:influencedBy of | dbr:Saul_Kripke |
| is dbo:wikiPageRedirects of | dbr:Ruth_Barcan dbr:Ruth_Barcan-Marcus dbr:Ruth_C._B._Marcus dbr:Tag_theory_of_names |
| is dbo:wikiPageWikiLink of | dbr:American_Philosophical_Association dbr:Saul_Kripke dbr:List_of_University_of_Cambridge_people dbr:Modal_logic dbr:List_of_University_of_Edinburgh_people dbr:List_of_philosophers_(I–Q) dbr:List_of_philosophers_born_in_the_20th_century dbr:Deaths_in_February_2012 dbr:Index_of_contemporary_philosophy_articles dbr:Index_of_philosophy_articles_(R–Z) dbr:Institute_for_Advanced_Studies_in_the_Humanities dbr:List_of_logicians dbr:List_of_philosophers_of_language dbr:2012_in_philosophy dbr:Stephen_Neale dbr:February_19 dbr:Rigid_designator dbr:Timothy_Williamson dbr:Wilbur_Cross_Medal dbr:List_of_American_philosophers dbr:Barcan_formula dbr:Direct_reference_theory dbr:List_of_Jewish_mathematicians dbr:List_of_Phi_Beta_Kappa_members_by_year_of_admission dbr:QML_(disambiguation) dbr:International_Union_of_History_and_Philosophy_of_Science dbr:Jacques_Derrida dbr:Arthur_Prior dbr:Walter_Sinnott-Armstrong dbr:Association_for_Symbolic_Logic dbr:Buridan_formula dbr:Frederic_Fitch dbr:Frege's_puzzles dbr:Obscurantism dbr:Carus_Lectures dbr:Ruth_Marcus dbr:Semantics_of_logic dbr:Necessity_of_identity dbr:New_York_University_Department_of_Philosophy dbr:List_of_women_philosophers dbr:Naming_and_Necessity dbr:Philosophy_of_language dbr:Truth-value_semantics dbr:Women_in_philosophy dbr:Ruth_Barcan dbr:Ruth_Barcan-Marcus dbr:Ruth_C._B._Marcus dbr:Tag_theory_of_names |
| is dbp:influenced of | dbr:Arthur_Prior |
| is dbp:influences of | dbr:Timothy_Williamson |
| is foaf:primaryTopic of | wikipedia-en:Ruth_Barcan_Marcus |
