inanç mantığı var mı? diye bakmak gerekir öncelikle;
inanç Mantığı (Belief Logic) "inanç mantıklı bir şey" (ya da mantıksız bir şey) anlamına gelmiyor. inanç alanı ile mantık dili arasında bir buluşma anlamında.
u:A uf A *u:A
u:A formülü
A'nın doğru olduğuna
inanmak demekmiş, u:"A ise
A'nın yanlış olduğuna inanmak. ~u:A formülü ise
A'nın doğru olduğuna
inanıyor olmamak.
(u harfi ingilizce you anlamına gelen yazıştan hareketle seçilmiş. A harfi bir 'tez' anlamında.)
Tanrı olduğuna inanan teist,
olmadığına inanan ateist,
olduğuna inanmayan ise nonteist
terimi ile belirtilir.
Ateist de inançlıdır:
Tanrı veya tanrılar olmadığına
inanır. Nonteist ise şu veya bu yönde
bir inanç sahibi değildir.
Kaynak: Introduction to Logic (Mantığa Giriş) kitabında Belief Logic (inanç Mantığı) bölümü. Harry J. Gensler -Routledge 2002
