Modal operatörü - Modal operator
Bir kalıcı bağ (ya da kalıcı operatörü ) a, mantıksal bir bağ için kalıcı bir mantık . Bir olan operatör oluşturan önermeler önermelerden. Genel olarak, kalıcı bir operatör olmayan olma "resmi" özelliğine sahip gerçek fonksiyonel ve "sezgisel", özelliği (örneğin, bir kalıcı bir tutum ifade gereğidir gereklilik , olasılığı , inanç veya bilginin kullanıcı için bir teklif ile ilgili) uygulanır.
içindekiler
Kiplik yorumlanır
Çeşitli yolları vardır yorumlamak : dahil modal mantık modal operatörleri, alethic , dışsal bir , aksiyolojik , epistemik ve doxastic .
Alethic
Alethic kalıcı operatörleri (M-operatörler) temel koşullarını belirlemek mümkün dünyalar , özellikle nedensellikle , zaman-mekan parametreleri ve kişilerin aksiyon kapasitesi. Onlar göstermek olasılık , imkansızlığını ve gerekliliğini mümkün dünyalarda işler, olaylar, kişiler ve nitelikleri eylemler, devletler.
dışsal bir
Dışsal bir modal operatörleri (P-operatörler) onlar neyi yasak olduğu, zorunlu veya izin belirtmek yani yasaklayıcı veya kuralcı normlar, mümkün dünyaların yapımını etkilemektedir.
aksiyolojik
Aksiyolojik modal operatörleri (G-operatörleri) dünyanın dönüşümü varlıkları bir sosyal gruba, bir kültürün veya bir tarihsel dönemin tarafından görülen değerlere ve disvalues içine. Aksiyolojik modaliteleri derece öznel kategoriler şunlardır: Başka biri tarafından kötü olarak kabul edilebilir bir kişi için iyi olanı.
epistemik
Epistemik modal operatörleri (K-operatörleri) olası dünyada bilgi, cehalet ve inanç düzeyini yansıtmaktadır.
Doxastic
Doxastic modal operatörleri tablolara inancını ifade etmektedir.