Çıkarımları sembolik bir dille denetlemek için geliştirilmiştir. Çıkarım, eldeki bilgilerden bir sonuç çıkarma işlemidir. Eldeki bilgilerden beklenen sonuçların çıkıp çıkmadığını araştırmaya denetleme denir.... devamı
Bilimlerde görülen büyük gelişmeler dikkatleri bilime yöneltmiştir.Bilim felsefesi bilimsel kesinlik ve bilimsel sistem düzeyine erişen bir bilgiyi inceler. Bilim felsefesinin inceleme alanına,bilimin yanında bilimin özel yöntemleri,düşünce biçimleri bilimlerin hangi ana gruplara girebileceği gibi problemler girer.... devamı