Erişilebilirlik ilişkisi - Accessibility relation - Wikipedia

Basit Kripke modeli sadece üç ile olası dünyalar. Erişilebilirlik ilişkisi ilgili olduğundan w -e v ve doğru v, formül doğru w. Dan beri sen erişilemez wgerçek şu ki doğru mu değil öncülük etmek doğru olmak w.


Bir erişilebilirlik ilişkisi bir ilişki bu, cümlelere doğruluk değerlerinin atanmasında anahtar rol oynar ilişkisel anlambilim için modal mantık. İlişkisel anlambilimde, bir modal formülün bir olası dünya başka bir olası dünyada neyin doğru olduğuna bağlı olabilir , ancak yalnızca erişilebilirlik ilişkisi ilgili -e . Örneğin, eğer bazı dünyada öyle ki , formül doğru olacak . Gerçek çok önemlidir. Eğer ilişki kurmadı -e , sonra yanlış olur sürece başka bir dünyada da yapıldı öyle ki .[1][2]

Erişilebilirlik ilişkileri kavramsal olarak motive edilir; Doğal lisan modal ifadeler bazılarına bağlıdır, ancak tüm alternatif senaryolara bağlı değildir. Örneğin, "Yağmur yağıyor olabilir" cümlesi genellikle doğru olarak değerlendirilmez çünkü yağmur yağdığı bir senaryo hayal edilebilir. Daha ziyade, böyle bir senaryonun mevcut bilgiler tarafından reddedilip reddedilmediğine bağlıdır. Bu gerçek, modal mantıkta, öyle bir erişilebilirlik ilişkisi seçerek resmileştirilebilir: iff konuşmacının kullanabileceği bilgilerle uyumludur .

Bu fikir, modal mantığın farklı uygulamalarına genişletilebilir. Epistemolojide, epistemik bir erişilebilirlik kavramı kullanılabilir. bir birey için iff hipotezi dışlayacak bir şey bilmiyor . İçinde deontik modal mantık bunu söyleyebiliriz iff ahlaki standartlar göz önüne alındığında ahlaki olarak ideal bir dünyadır. . Modal mantığın bilgisayar bilimine uygulanmasında, olası dünyalar olarak adlandırılanlar olası durumları temsil ediyor olarak anlaşılabilir ve erişilebilirlik ilişkisi bir program olarak anlaşılabilir. Sonra Programın çalıştırılması bilgisayarı durumdan değiştirebilir belirtmek .

Modal mantığın farklı uygulamaları, kabul edilebilir erişilebilirlik ilişkilerinde farklı kısıtlamalar önerebilir ve bu da farklı geçerliliklere yol açabilir. Erişilebilirlik ilişkilerinde geçerliliklerin koşullara nasıl bağlandığına dair matematiksel çalışma olarak bilinir modal yazışma teorisi.

Ayrıca bakınız

Referanslar

  1. ^ Blackburn, Patrick; de Rijke, Maarten; Venema, Yde (2001). Modal Mantık. Teorik Bilgisayar Bilimleri Cambridge Tracts.
  2. ^ van Benthem, Johan (2010). Açık Fikirler için Modal Mantık (PDF). CSLI.