कृति · विश्लेषणात्मक दर्शन
कठोर निहितार्थ पर आधारित प्रथम-क्रम का प्रकार्यात्मक कलन
परिमाणित मोडल तर्कशास्त्र की पहली प्रकाशित प्रणाली – जिसमें वह सूत्र है जो बाद में उनके नाम पर रखा गया।
परिचय
Ruth C. Barcan published this short technical paper in the Journal of Symbolic Logic in 1946, the year she completed her doctorate at Yale. It adds quantifiers (“for all x”, “there is an x”) to C. I. Lewis’s system S2 of strict implication – a logic in which one statement strictly implies another only if it is impossible for the first to be true and the second false – and so presents the first published formal system of quantified modal logic (Carnap’s “Modalities and Quantification” appeared in the same volume of the journal a few months later). Among its theorems is what became known as the Barcan formula: if it is possible that something is F, then there is something that is possibly F (◇∃xFx → ∃x◇Fx). Its consequences for whether merely possible things exist are still debated.
रूथ बार्कन मार्कस की और कृतियाँ
स्रोत: Wikidata
नवंबर 2026 तक · इस पृष्ठ को बेहतर बनाएँ · Agora कैसे बना है