Barcan formülü olarak bilinen biçimsel ilke, kuantifiye modal mantığın ilk aksiyomatik sistemlerini tanıtan Ruth Barcan Marcus'un (Ruth Barcan Marcus) erken dönem çalışmalarından doğmuştur. Yirminci yüzyıl analitik felsefe dünyasında faaliyet gösteren Marcus, referans ve zorunluluk konusundaki güncel akademik tartışmaları hala besleyen modal ve felsefi mantıktaki temel kavramları oluşturmuştur.
Akademik Temeller ve Kariyer
1921'de Bronx'ta doğan Ruth Charlotte Barcan (Ruth Charlotte Barcan), matematik ve felsefe üzerine yoğunlaştığı lisans eğitimini 1941'de New York Üniversitesi'nde tamamladı. Yüksek lisans ve doktora eğitimini Yale Üniversitesi'nde sürdürerek 1942'de yüksek lisans, 1946'da doktora derecesini aldı. Profesyonel çalışma hayatı Northwestern Üniversitesi, Chicago'daki Roosevelt Üniversitesi ve Illinois Üniversitesi Chicago'daki görevleri kapsıyordu. 1973 yılında, 1992'de emekli profesör olarak emekli olana kadar sürdürdüğü Reuben Post Halleck Felsefe Profesörü unvanıyla Yale Üniversitesi öğretim üyeleri arasına katıldı.
Modal Mantığa Katkılar
Marcus, önermesel sistemleri birinci ve ikinci derece mantığa genişleterek kuantifiye modal mantığın ilk sistemlerini geliştirdi. 1946 ve 1947 yıllarında Journal of Symbolic Logic'te yayımlanan 'A Functional Calculus of First Order Based on Strict Implication' gibi çalışmaları, Barcan formülünü tanıttı ve özdeşlik zorunluluğunu oluşturdu. Ayrıca, bu biçimsel sistemlerde zorunluluğu belirtmek için kullanılan standart kutu operatörünü de tanıttı.
Referans ve İnanç Teorileri
Dil felsefesinde Marcus, özel isimlerin bir dizi açıklama yerine nesneler için sadece birer etiket olarak işlev gördüğünü savunan doğrudan referans teorisini öne sürdü. Bu görüş, o dönemde yaygın olan özel isim teorileriyle çelişiyordu. Ayrıca, inanç üzerindeki çalışmaları, inancın bir fail ile durumlar arasındaki ilişkiyi oluşturduğunu öne sürerek, bilişin tamamen dil merkezli açıklamalarını reddedip bahis oynama gibi davranışsal işaretleri desteklemiştir.
Mesleki Tanınırlık ve Üyelikler
Kariyeri boyunca Marcus, 1976-1983 yılları arasında Amerikan Felsefe Derneği'nin yönetim kurulu başkanlığı da dahil olmak üzere çeşitli liderlik görevlerinde bulundu. Sembolik Mantık Derneği ve Uluslararası Felsefe Enstitüsü'nün başkanlığını yaptı. 1953'te Guggenheim Bursu aldı ve Amerikan Sanat ve Bilim Akademisi üyesiydi. Aldığı ödüller arasında 2000 yılındaki Wilbur Cross Madalyası ve Carus Dersleri, 2007 yılındaki Philip L. Quinn Ödülü ve 2008 yılındaki Lauener Ödülü bulunmaktadır.
Hızlı Bilgiler
- Doğum: 1921, Bronx - Ölüm: 2012, New Haven - Eğitim: Yale Üniversitesi; New York Üniversitesi - Önemli eser: Barcan formülü - Önemli eser: Özdeşlik zorunluluğu - Ödül: Guggenheim Bursu (1953) - Ödül: Wilbur Cross Madalyası (2000) - Mesleki rol: Başkan, Sembolik Mantık Derneği
Okurların Sorduğu Sorular
### Barcan formülü nedir?
Marcus'un kuantifiye modal mantık üzerine yaptığı erken çalışmalarda tanıttığı ve ilk kez 1946'daki yayınlarında ortaya çıkan bir ilkedir.
### Marcus özel isimleri nasıl tanımladı?
Özel isimlerin nesneler için doğrudan 'etiket' işlevi gördüğünü savundu ve tanımlayıcı içerikten oluştukları teorisini reddetti.
### Ruth Barcan Marcus nerede ders verdi?
Northwestern Üniversitesi, Roosevelt Üniversitesi, Illinois Üniversitesi Chicago ve Yale Üniversitesi'nde öğretim üyesi olarak görev yaptı.
