Semantik Açıdan Barcan Tamdeyimleri

Ruth Barcan Marcus çağdaş mantık çalışmalarının önde gelen isimlerinden biridir. Niceleyiciler ve modal işlemcilerin yerlerini değiştirerek elde ettiği ve kendi adıyla anılan şemalar olan Barcan ve evrik Barcan tamdeyimleri modal mantıkta önemli bir yere sahiptir. Modal mantık ve mümkün dünyalar semantiği açısından bir diğer önemli unsur, hangi mümkün dünya ve koşullarda hangi önermelerin doğru olduğunu gösteren “model” kavramıdır. Barcan tamdeyimleri, artan ve azalan bireyleri içermesi bakımından farklılaşan modal modellerden ikisi olan monoton ve monoton-olmayan modellerde yorumlandığında öngörülemeyen tuhaflıkta sonuçlara ulaşılabilmektedir. Her ne kadar, mümkün dünyalar semantiğinin geliştirilmesiyle birlikte Barcan tamdeyimlerinin yalnızca belirli koşullar altında geçerli olduğu anlaşılsa da; monoton ve monoton-olmayan modellerde yorumlanmasının problemli olduğuna değinilmemiştir. Semantik açıdan görünürde sorun teşkil etmeyen Barcan tamdeyimleri, mümkün bir dünyanın nesnelerinin neleri içerebileceğinin sınırlarının belirgin olmayışının yanı sıra, nesne-dil ve üst-dil kullanımlarının karmaşıklığından da kaynaklanan sebeplerden ötürü metafiziksel açıdan güçlükler barındırır. Bu çalışmada, Barcan tamdeyimleri ve geçerlilik koşullarına ana hatlarıyla değinilerek, monoton ve monoton-olmayan modellerde semantik yorumun öngörülemeyen metafiziksel sonuçları ve bu sonuçların sebeplerine ilişkin düşüncelere yer verilecektir.