Özdeşlik Mantığı Nedir? Hakkında Bilgi

Özdeşlik mantığı nedir? Özdeşlik mantığı özellikleri, örnekler, mevzu sunumu, hakkında bilgi. Niceleme mantığını ve bu mantığın değişmezleri...

Özdeşlik mantığı nedir? Özdeşlik mantığı özellikleri, örnekler, mevzu sunumu, hakkında bilgi.

Niceleme mantığını ve bu mantığın değişmezlerini içine alan, kendine özgü mantık değişmezleri de olan geniş kapsamlı bir mantıktır. Kısa süre önce gördüğümüz özdeşlik ilkesi, bir şeyin kendisi ile özdeş (aynı) bulunduğunu ifade etmektedir. “Özdeş”, özdeşlik mantığında bir mantık değişmezidir ve “=” sembolüyle gösterilir. Özdeşlik değişmezi, özdeşlik önermesinin öznesi ve yükleminin birbirine özdeş ya da eşit olduklarını gösterir. Mesela; a = b önermesi, bir özdeşlik önermesidir. Mesela; “Sıvı akıcıdır.” önermesini düşünelim. “Sıvı”, a sembolü ile “Akıcı” b sembolü ile gösterilebilir. Bu durumda “-dır” eki özdeşlik (=) değişmezi anlamına gelir. Böylelikle bu örnek a = b şeklinde sembolleştirilir.

İki şeyin özdeş olduğu ama anlamları bilinerek belirlenebilir, a = b önermesinin doğruluğunu bilebilmek için a’nın ve b’nin anlamının bilinmesi gerekir. Niceleme mantığında özdeşlik gösterilemediği için özdeşlik mantığına gereksinim duyulmuştur.

Mesela;

“Ahmet Bey, Ayşe’nin babasıdır.
Ayşe’nin babası doktordur.

O halde, Ahmet Bey doktordur.” çıkarım niceleme mantığına gore sembolleştirilirse,

Ahmet bey öznesi “a”
Ayşe’nin babası yüklemi “B”
Doktordur yüklemi “D”
Ayşe’nin babası öznesi “b”

şeklinde gösterilir ve çıkarımın tamamı da “Ba, DbDa” şeklini alır. Bu çıkarım niceleme mantığında denetlenirse geçersiz olur. Çünkü “Ayşe’nin babası” ve “Ahmet Bey” deyimlerinin özdeşliği görülmemektedir. Aynı işlem özdeşlik mantığında yapıldığında çıkarım a = b, Db Da şeklinde anlatılır.

Buna gore denetlendiğinde çıkarımın geçerli olduğu görülür.