Kiplik Mantığı Nedir?

Kiplik mantığı nedir? Kiplik mantığının tanımı, kısa açılması. Kiplik mantığının özellikleri, önermeleri ve konu anlatımı.

Kiplik Mantığı

Kiplik, önermede belirtilen durumun gerçek, zorunlu ve mümkün olup olmaması halidir. Kiplik mantığı, zorunlu ve olanaklı önermeleri içeren mantıktır.

Kiplik mantığında önermeler iki türdür. sembolüyle gösterilen zorunlu eklemiyle kurulan ZORUNLU ÖNERME ve  sembolüyle gösterilen mümkün eklemiyle kurulan MÜMKÜN (olanaklı) ÖNERME.

Belirtilen sembollere kiplik değişmezleri denir. Zorunluluk kipi almış bir önermenin doğruluğu, gerçek dünyada olduğu gibi tüm olası dünyalarda da zorunludur. Mümkünlük kipi almış bir önermenin doğruluğu ise en az bir dünya (gerçek veya diğer olanaklı dünyalar) için doğrudur.

Kiplik Mantığı

“Çiçek bitkidir.” önermesi, nesnel gerçeklik açısından doğrudur. Çünkü doğada çiçeğin bitki olduğunu biliyoruz. En az bir dünyada doğru olduğu bilindiği için bu önerme, mümkünlük kipiyle yazıldığı zaman doğru (D) değer alır. Ancak çiçeğin bitki olmadığı olası dünyalar düşünülüp tasarımlanabilir. Böylece “Çiçek bitkidir.” önermesi, zorunluluk kipinde yanlış (Y) değer alır.