Çoğu kimse formelleştirmenin insan düşüncesinin mekanizasyonuna yol açacağını sanıyor. Oysa hiçbir modern mantıkçı formelleştirilmiş mantık içinde kalarak bir robot gibi tüm problemleri çözebileceğine inanmıyor Çünkü hiçbir formelleştirme problemleri çözemez. Bir robot ne kadar yetenekli olursa olsun yaratıcı insan tininin yerine konamaz. Mantıkçılar ve mateatikçiler makineler ile (mekanik kalküllerle) çalışırlar. Ama bu onların yaptıkları çalışmaların yaşam ilgisinden yoksun tek yanıdır. Bunu da onlar görevlerinin mekanik olmayan bölümü için olabildiğince güçlü olmak için yaparlar.

Ama acaba mantıksal çıkarımları formelleştirmekle simgelerle oynanan bir oyuna başvurulmuş olmuyor mu?

Tüm bu formelleştirme çabalarının anlamı nedir?


Bilindiği gibi simgeler anlamdan yoksun biçimde ele alınırlar. Ama hemen ekleyelim ki bu hiç de zorunlu değildir. Filozof formelleştirme çabalarında kavrayıcı ve kapsayıcı bir bakış noktası olduğunu hesaba katmalıdır.