David Lewis

jmpl|David Lewis. Ruth Barcan Marcus (/ˈbɑːrkən ˈmɑːrkəs/; lahir Ruth Charlotte Barcan; 2 Agustus 1921 – 19 Februari 2012) adalah seorang filsuf akademik dan ahli logika Amerika yang paling dikenal melalui karyanya dalam logika modal dan logika filosofis. Ia mengembangkan sistem formal pertama dari logika modal terkuantifikasi dan dalam proses tersebut memperkenalkan skema atau prinsip yang dikenal sebagai rumus Barcan (''Barcan formula''). (Ia juga memperkenalkan operator “kotak” yang kini menjadi standar untuk menyatakan keniscayaan.) Marcus, yang awalnya menerbitkan karya-karyanya dengan nama Ruth C. Barcan, adalah, sebagaimana dicatat Don Garrett, “salah satu filsuf-ahli logika paling penting dan berpengaruh pada abad kedua puluh.”

Timothy Williamson, dalam perayaan karier panjang Marcus pada tahun 2008, menyatakan bahwa banyak dari “gagasan utamanya bukan hanya orisinal, cerdas, indah, memikat, berpengaruh, dan jauh mendahului zamannya, tetapi sebenarnya – menurut saya – benar.” Disediakan oleh Wikipedia