There is more than just 1 type of logic
Gottlob Frege, C.S. Peirce, and Ernst Schröder introduced quantification to propositional logic and constructed a ‘first-order predicate logic’. Also, you have heard of fuzzy logic right? It doesn’t mean confused thinking, but it is really about a widening of the traditional boundaries of logic. 1 plus 1 may equal 2, but there is a whole lot more we can know about logic, and more still that other intelligence can ascertain about something we originally felt wast unique and fundamental – after all you can say bogus in many languages right?