He is one of the pioneers of contemporary mathematical logic: Who is George Boole?
He developed the 'language' of logic and tried to obtain a tool that draws conclusions according to the 'laws of thought' by giving logic an algebraic form of operation.