Le principe formel connu sous le nom de formule de Barcan est issu des premiers travaux de Ruth Barcan Marcus, qui a introduit les premiers systèmes axiomatiques de logique modale quantifiée. Évoluant dans le paysage de la philosophie analytique du XXe siècle, elle a établi des concepts fondamentaux en logique modale et philosophique qui continuent d'éclairer le discours académique actuel sur la référence et la nécessité.
Fondements académiques et carrière
Née dans le Bronx en 1921, Ruth Charlotte Barcan a terminé ses études de premier cycle à l'Université de New York en 1941, où elle s'est spécialisée en mathématiques et en philosophie. Elle a poursuivi ses études supérieures à l'Université Yale, obtenant une maîtrise en 1942 et un doctorat en 1946. Son parcours professionnel comprend des postes à l'Université Northwestern, à l'Université Roosevelt à Chicago et à l'Université de l'Illinois à Chicago. En 1973, elle a rejoint le corps professoral de l'Université Yale en tant que professeur de philosophie Reuben Post Halleck, poste qu'elle a occupé jusqu'à sa retraite en 1992 en tant que professeur émérite.
Contributions à la logique modale
Marcus a développé les systèmes initiaux de logique modale quantifiée, étendant les systèmes propositionnels à la logique du premier et du second ordre. Ses publications de 1946 et 1947 dans le Journal of Symbolic Logic, notamment 'A Functional Calculus of First Order Based on Strict Implication', ont introduit la formule de Barcan et établi la nécessité de l'identité. Elle a également introduit l'opérateur boîte standard utilisé pour désigner la nécessité au sein de ces systèmes formels.
Théories de la référence et de la croyance
En philosophie du langage, Marcus a proposé une théorie de la référence directe arguant que les noms propres fonctionnent comme de simples étiquettes pour les objets, plutôt que comme des ensembles de descriptions. Cette vision contrastait avec les théories existantes sur les noms propres prévalant à l'époque. De plus, ses travaux sur la croyance suggèrent qu'elle constitue une relation entre un agent et un état de fait, rejetant les comptes rendus de la cognition purement centrés sur le langage en faveur de marqueurs comportementaux tels que les paris.
Reconnaissance professionnelle et adhésions
Tout au long de sa carrière, Marcus a occupé divers rôles de direction, siégeant au conseil des officiers de l'American Philosophical Association de 1976 à 1983. Elle a été présidente de l'Association for Symbolic Logic et de l'Institut International de Philosophie. Elle a reçu une bourse Guggenheim en 1953 et était membre de l'American Academy of Arts and Sciences. Ses distinctions incluent la médaille Wilbur Cross et les Carus Lectures en 2000, le prix Philip L. Quinn en 2007 et le prix Lauener en 2008.
Vingt questions, huit minutes au chronomètre et un centile mesuré face à tous ceux qui l’ont passé. Sans inscription.
Passer le test de QI →Faits rapides
- Naissance : 1921, Le Bronx - Décès : 2012, New Haven - Études : Université Yale ; Université de New York - Œuvre notable : Formule de Barcan - Œuvre notable : Nécessité de l'identité - Distinction : Bourse Guggenheim (1953) - Distinction : Médaille Wilbur Cross (2000) - Rôle professionnel : Présidente, Association for Symbolic Logic
Questions posées par les lecteurs
### Qu'est-ce que la formule de Barcan ?
C'est un principe introduit par Marcus dans ses premiers travaux sur la logique modale quantifiée, apparaissant pour la première fois dans ses publications de 1946.
### Comment Marcus a-t-elle défini les noms propres ?
Elle a soutenu que les noms propres fonctionnent comme des 'étiquettes' directes pour les objets, rejetant la théorie selon laquelle ils sont composés d'un contenu descriptif.
### Où Ruth Barcan Marcus a-t-elle enseigné ?
Elle a occupé des postes universitaires à l'Université Northwestern, à l'Université Roosevelt, à l'Université de l'Illinois à Chicago et à l'Université Yale.
