Bilindiği üzere bundan yaklaşık 2500 yıl önce Aristo kendi mantık sistemini kurmuş, böylece KLASİK MANTIK ortaya çıkmıştır. Aristo Mantığı’nda önermelerin içeriği önemli değildir. O’na göre, önermeler arasındaki ilişkiler yine önermelerin sahip oldukları özellikler açısından ele alınır. Bu özellikler sembolik bir dille ifade edilir ve bu semboller arasındaki işlemler incelenir. Yani a = b ve b = c ise a = c denilebilir. Oysa bu
