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.”^[1]

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.”^[2]

Ruth Barcan Marcus—yang sebelum menikah dengan fisikawan Jules Alexander Marcus pada tahun 1942 dikenal sebagai Ruth Barcan—menyelesaikan pendidikan sarjananya di New York University, lulus magna cum laude pada tahun 1941 dengan fokus pada matematika dan filsafat. Minat intelektualnya yang kuat pada logika formal dan filsafat analitik membawanya melanjutkan studi ke Yale University, tempat ia memperoleh M.A. pada tahun 1942 dan kemudian Ph.D. pada tahun 1946. Selama masa studi pascasarjananya, ia mulai mengembangkan gagasan-gagasan yang kelak menjadi dasar dari kontribusi monumentalnya dalam logika modal,^[3] termasuk apa yang sekarang dikenal sebagai Aksioma Barcan dan Formula Barcan.

Marcus menjabat sebagai visiting professor di Northwestern University dari tahun 1950 hingga 1953, dan kembali lagi pada tahun 1959. Pada saat yang sama, ia membangun karier akademik yang mapan di Chicago, pertama sebagai assistant professor, kemudian associate professor di Roosevelt University, sebuah institusi yang relatif baru pada masa itu, tempat ia bekerja dari 1956 hingga 1963. Dari 1964 hingga 1970, ia menjadi professor of philosophy di University of Illinois Chicago, dan sempat menjabat sebagai ketua departemen, memperkuat reputasinya sebagai salah satu pemimpin intelektual dalam bidang logika dan metafisika kontemporer.^[4]

Pada tahun 1970, Marcus kembali ke Northwestern University sebagai profesor filsafat, tetapi pada 1973 ia menerima pengangkatan yang lebih bergengsi sebagai Reuben Post Halleck Professor of Philosophy di Yale University, posisi yang dipegangnya hingga pensiun pada tahun 1992 sebagai professor emerita. Meskipun pensiun, ia tetap aktif mengajar, khususnya pada semester musim dingin di University of California, Irvine, hingga tahun 1997.

Selain kontribusi akademisnya terhadap filsafat logika, Marcus memainkan peran penting dalam beberapa organisasi profesional terkemuka. Ia menjabat sebagai chair of the board of officers untuk American Philosophical Association (1976–83), sebuah posisi kepemimpinan utama dalam dunia filsafat Amerika. Ia kemudian terpilih sebagai president of the Association for Symbolic Logic (1983–86), mempertegas pengaruhnya dalam perkembangan logika formal. Selanjutnya, ia juga menjabat sebagai president of the Institut International de Philosophie (1989–92), salah satu lembaga filsafat internasional tertua yang berfokus pada promosi dialog dan pengembangan filsafat secara global. Melalui karier akademik yang panjang, kepemimpinan profesional yang luas, serta kontribusinya terhadap fondasi logika modal, Marcus tetap dikenang sebagai salah satu tokoh paling signifikan dalam filsafat abad ke-20.