George Boole

Boole, matematikte kullanılan sembol ve işaretlerin kullanım alanlarını şekillendirmiştir ve böylece “Sembolik Mantık”ın da kuruluşunda yer alan temel kavramlar oluşmuştur. Mantıksal sembollerle cebir sembollerinin benzerliğini ortaya koyarak matematiğe “Boole Cebiri”ni kazandırdı. Modern Mantık’ta doğru için kullanılan (D) bu cebirde 1, yanlış için kullanılan (Y) ise 0 ile temsil edilmektedir. Mantıktaki /, / bağlaçlarının karşılıkları bu cebirde operatörleri temsil eden x ve + işaretlerine karşılık gelmektedir. Modern Mantık’taki önermeler p,q,r.. gibi harfler ile ifade edilirken, Boole Cebiri’nde bunların yerini artık değişken olarak kabul edilen x,y,z…. gibi semboller almaktadır.