Ruth Barcan Marcus

Ruth Barcan Marcus
Page d'aide sur l'homonymie Pour les articles homonymes, voir Marcus.

Ruth Barcan Marcus (1921 dans le Bronx - ) 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 de philosophie du langage et philosophie de la logique sur la quantification substitutionnelle ou l'identité et la référence des termes furent une influence sur les théories de la Référence directe de Kripke.

Elle soutint sa Thèse en logique à l'Université Yale en 1947 et interrompit sa carrière universitaire pendant quelques années. De 1962 à 1970, elle dirigea le département de philosophie de l'Université d'Illinois à Chicago puis fut professeur à Northwestern University. Depuis 1973 elle est Professeur à Yale et y est actuellement Professeur émérite.

Elle est également connue pour quelques polémiques comme la pétition qu'elle dirigea en 1992 contre Jacques Derrida quand ce dernier reçut un doctorat honoris causa à l'Université de Cambridge.

Plus récemment s'est développée une querelle de priorité pour savoir si elle n'avait pas été sous-estimée dans la Théorie de la référence, cf. James Fetzer et Paul Humphreys (dir.), The New Theory of Reference: Kripke, Marcus and Its Origins, Kluwer Academic Publishers: Synthese Library Series 1998. Mais les défenseurs de Kripke font remarquer que la théorie de Ruth Barcan Marcus avant 1962 n'est relue comme "kripkéenne" que par une erreur rétrospective.

La Professeur Marcus a rédigé ou dirigé les ouvrages suivants :

  • 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

Liens


Wikimedia Foundation. 2010.

Contenu soumis à la licence CC-BY-SA. Source : Article Ruth Barcan Marcus de Wikipédia en français (auteurs)

Игры ⚽ Поможем написать курсовую

Regardez d'autres dictionnaires:

  • Ruth Barcan Marcus — (* 2. August 1921 in der Bronx, New York)[1] ist eine US amerikanische Philosophin und Logikerin. Sie ist eine der Begründerinnen der quantifizierten Modallogik (modale Prädikatenlogik) und der Theorie der starren Desigantion ( direct reference ) …   Deutsch Wikipedia

  • Ruth Barcan Marcus — (born 1921 in Bronx, New York) is the American philosopher and logician after whom the Barcan formula is named. She is a pioneering figure in the quantification of modal logic and the theory of direct reference. She has written seminal papers on… …   Wikipedia

  • MARCUS, RUTH BARCAN — (1921– ), U.S. logician and philosopher who played a key role in many of the philosophical debates of the second half of the 20th century. Born and educated in New York City, Ruth Barcan received her B.A. in mathematics and philosophy from New… …   Encyclopedia of Judaism

  • Ruth Marcus — Ruth Barcan Marcus Ruth Barcan Marcus (1921 ) 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 de philosophie du langage et philosophie de la …   Wikipédia en Français

  • Ruth Marcus — may refer to:*Ruth Barcan Marcus, professor of philosophy *Ruth Marcus (journalist), opinion columnist for the Washington Post …   Wikipedia

  • Barcan formula — In quantified modal logic, the Barcan formula and the converse Barcan formula (more accurately, schemata rather than formulae) (i) syntactically state principles or interchange between quantifiers and modalities; (ii) semantically state a… …   Wikipedia

  • Marcus — Cette page d’homonymie répertorie les différents sujets et articles partageant un même nom. Marcus est un prénom d origine romaine. Sommaire 1 Prénoms ayant pour origine le nom Marcus 2 …   Wikipédia en Français

  • Barcan formula — A fundamental thesis in quantified modal logic, first isolated by the 20th century American philosopher Ruth Barcan Marcus. It was originally the schema that ⋄(∃x )A x strictly implies (∃x )⋄Ax (informally: if possibly something is A, then… …   Philosophy dictionary

  • Modal logic — is a type of formal logic that extends classical propositional and predicate logic to include operators expressing modality. Modals words that express modalities qualify a statement. For example, the statement John is happy might be qualified by… …   Wikipedia

  • Théorie de la référence directe — Une théorie de la référence directe est une conception de la signification qui affirme que le sens d une proposition réside dans ce à quoi elle fait référence dans le monde. Soutenue par Mill dans le Système de logique (1843), elle a été… …   Wikipédia en Français

Share the article and excerpts

Direct link
… Do a right-click on the link above
and select “Copy Link”