Agoraساحة مفتوحة للفكر

روث بركان ماركوس

1921–2012

مدخل أولتبسيط مقصود – واللمحة تقول أكثر

يستطيع المنطق أن يستدل في الممكن والضروري، والاسم العلم مجرد بطاقة لشيء، لا وصفًا خفيًّا له.

التموضع

الفلسفة التحليلية · أمريكا الشمالية · المنطق, اللغة, الميتافيزيقا

منطقية نشرت عام 1946، في وقت واحد مع كارناب، أحد أولى النظم التي تجمع بين المسوِّرات والمؤثِّرات الجهية: توقّعت «صيغة باركان» وتصوّرها للأسماء العلم بوصفها مجرد «بطاقات» بلا محتوى وصفي نظريات الإحالة اللاحقة.

الأفكار الرئيسة

  • المنطق الجهي المسوَّر
  • صيغة باركان
  • الأسماء بطاقات

افتح في خريطة النجوم

التأثير

أثّر في 1

  • شاول كريبك

    أثّر في مختلف عليها

    Kripke’s models for quantified modal logic (1959, 1963) took up Barcan’s systems and formula (1946); whether rigid designation derives from her ‘tags’ (1961) is disputed. R. C. Barcan, “A Functional Calculus of First Order Based on Strict Implication”, Journal of Symbolic Logic 11 (1946); R. Barcan Marcus, “Modalities and Intensional Languages”, Synthese 13 (1961); S. A. Kripke, “Semantical Considerations on Modal Logic” (1963); Naming and Necessity (lectures 1970; publ. 1972, 1980); Q. Smith and S. Soames, Synthese 104 (1995); SEP “Ruth Barcan Marcus”

    التوثيق: مسودة بالذكاء الاصطناعي

    شاول كريبك › 1940–2022

النقد

نقد متبادل 1

  • ويلارد فان أورمان كواين ⇄ متبادل

    انتقد

    Against Quine, Barcan Marcus argued that quantified modal logic is coherent: proper names are mere ‘tags’, and identities between them hold necessarily (‘Modalities and Intensional Languages’, 1961). R. Barcan Marcus, “Modalities and Intensional Languages”, Synthese 13 (1961), 303–322, with Quine’s comments (Boston Colloquium)

    التوثيق: مسودة بالذكاء الاصطناعي

    انتقده

    Quine objected that quantified modal logic, which Barcan Marcus first formalised (1946), founders on referential opacity and commits one to ‘Aristotelian essentialism’ (‘Reference and Modality’, 1953). W. V. O. Quine, “Reference and Modality”, in From a Logical Point of View (1953); “Three Grades of Modal Involvement” (1953); R. C. Barcan, Journal of Symbolic Logic 11 (1946)

    التوثيق: مسودة بالذكاء الاصطناعي

    ويلارد فان أورمان كواين › 1908–2000

الأعمال

الموقف

Her 1946 papers gave the first systems of quantified modal logic, combining necessity and possibility with quantifiers; the “Barcan formula”, which says that if it is possible that something has a property then something possibly has it, became a standard topic. Quine argued that quantifying into modal contexts was incoherent; Marcus defended it. In “Modalities and Intensional Languages” she proposed that proper names are mere “tags” with no descriptive meaning, so that identity statements between names, if true, are necessarily true – a view close to what Kripke later made famous as rigid designation; the question of priority has been debated.

الحياة والسياق

Ruth Barcan Marcus (1921–2012) was born in New York, studied mathematics and philosophy at New York University and took her doctorate at Yale under Frederic Fitch in 1946. She taught at Roosevelt University, the University of Illinois at Chicago and Northwestern before returning to Yale in 1973. She was a founding member and chair of the National Board of the American Philosophical Association and active in international logic organisations.

أعمال رئيسة أخرى

  • Moral Dilemmas and Consistency (1980)
  • Modalities: Philosophical Essays (1993)

يرد في

المصادر: Wikipedia · Wikidata

بحسب الوضع في نوفمبر 2026 · المصادر · حسّن هذه الصفحة · كيف صُنع Agora

افتح في خريطة النجوم