About: Ruth Barcan Marcus     Goto   Sponge   NotDistinct   Permalink

An Entity of Type : yago:WikicatPhilosophersOfLanguage, within Data Space : dbpedia.org associated with source document(s)
QRcode icon
http://dbpedia.org/describe/?url=http%3A%2F%2Fdbpedia.org%2Fresource%2FRuth_Barcan_Marcus

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

AttributesValues
rdf:type
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)
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)
foaf:name
  • (en)
  • Ruth Barcan Marcus (en)
name
  • Ruth Barcan Marcus (en)
foaf:depiction
  • http://commons.wikimedia.org/wiki/Special:FilePath/Ruth_Barcan_Marcus.jpg
birth place
death place
death place
death date
birth place
birth date
dcterms:subject
Faceted Search & Find service v1.17_git139 as of Feb 29 2024


Alternative Linked Data Documents: ODE     Content Formats:   [cxml] [csv]     RDF   [text] [turtle] [ld+json] [rdf+json] [rdf+xml]     ODATA   [atom+xml] [odata+json]     Microdata   [microdata+json] [html]    About   
This material is Open Knowledge   W3C Semantic Web Technology [RDF Data] Valid XHTML + RDFa
OpenLink Virtuoso version 08.03.3330 as of Mar 19 2024, on Linux (x86_64-generic-linux-glibc212), Single-Server Edition (62 GB total memory, 50 GB memory in use)
Data on this page belongs to its respective rights holders.
Virtuoso Faceted Browser Copyright © 2009-2024 OpenLink Software