Ruth Barcan Marcus
Logika może rozumować o tym, co możliwe i konieczne, a nazwa własna jest zwykłą etykietą rzeczy, a nie ukrytym jej opisem.
Umiejscowienie
Logiczka, która w 1946 roku, w tym samym czasie co Carnap, opublikowała jeden z pierwszych systemów łączących kwantyfikatory z operatorami modalnymi: „formuła Barcan” i jej ujęcie nazw własnych jako zwykłych „etykiet” bez treści opisowej antycypowały późniejsze teorie odniesienia.
Kluczowe idee
- Kwantyfikowana logika modalna
- Formuła Barcan
- Nazwy jako etykiety
Wpływ
Wpływ na 1
Saul Kripke
wpływ na sporne
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”
Źródło: szkic AI
Saul Kripke › 1940–2022
Krytyka
Wzajemna krytyka 1
Willard Van Orman Quine ⇄ wzajemnie
krytykuje
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)
Źródło: szkic AI
krytyka ze strony
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)
Źródło: szkic AI
Willard Van Orman Quine › 1908–2000
Dzieła
Pierwszy opublikowany system kwantyfikowanej logiki modalnej – zawierający formułę nazwaną później jej imieniem.
Nazwy własne są zwykłymi etykietami; tożsamość jest konieczna – obrona logiki modalnej przed zarzutami Quine’a.
Stanowisko
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.
Życie i kontekst
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.
Dalsze główne dzieła
- Moral Dilemmas and Consistency (1980)
- Modalities: Philosophical Essays (1993)
Pojawia się w
- Podróż „Od Gargi do Oluwole” · Przystanek 9 z 10
Stan na listopad 2026 · Źródła · Ulepsz tę stronę · Jak powstaje Agora