A Lógica Aristotélica foi o único sistema lógico conhecido por 2500 anos e ainda se aplica à nossa linguagem através de juízos categóricos com estrutura de sujeito-predicado. Embora limitada a essa estrutura, a lógica aristotélica pode ser aplicada a mais argumentos do que inicialmente parece através da transformação de frases em juízos com sujeito e predicado ligados por uma cópula.