O quadrado lógico é um diagrama que mostra claramente como os julgamentos verdadeiros e falsos interagem entre si quando o mais largo inclui o mais estreito. Se uma proposição mais ampla é verdadeira, então a proposição mais restrita incluída nela é ainda mais verdadeira. Por exemplo: se todos os gregos são magros, então os gregos que vivem em Atenas também são magros. Se uma proposição mais restrita é falsa, então uma proposição ampla, que inclui uma mais restrita ou mais específica, não será menos falsa. A afirmação de que todas as pessoas que não pesam mais de 70 quilos vivem em Atenas é falsa, o que significa que a afirmação mais ampla de que todas as pessoas magras vivem na Grécia também não é confiável.
Lei de exclusão do terceiro
As regras do quadrado lógico são fáceis de lembrar e são baseadas em uma importante lei lógica - a lei da exclusão do terceiro: se um julgamento é verdadeiro por um lado, então é falso por outro e vice-versa. Uma afirmação pode ser verdadeira ou falsa e, portanto, verdadeira ousua negação seria falsa. Não há outras terceiras opções. A afirmação "Todos os carros são vermelhos" é falsa. Portanto, a afirmação "Nem todos os carros são vermelhos" é verdadeira. E aí vem a palavra mágica “alguns”, que quase sempre transforma uma afirmação falsa em verdadeira: “Alguns carros são vermelhos.”
Quadrado e cruz
Para aprender de ouvido as regras do quadrado lógico, você também deve lembrar que a lógica da máquina da declaração acima é chamada de sujeito, e o vermelho é chamado de predicado. O predicado como atribuição do sujeito pode ser um verbo ou uma qualidade. Ou alguma outra qualidade ligada ao sujeito usando o verbo de ligação "essência". Um quadrado lógico parece um quadrado. Isso não é surpreendente. Os cantos do quadrado estão marcados com A, E, I, O. A é oposto a E, I é parcialmente compatível com O, I é subordinado a A e E domina O. O quadrado é atravessado por duas linhas de contradições. Usando a mecânica do quadrado, você pode trabalhar com julgamentos. Essa ferramenta é mais importante para os letristas do que para os físicos, os físicos já são rigorosos e os letristas precisam constantemente de mecanismos que lhes permitam questionar e verificar a veracidade de seus julgamentos. Claro que em um mundo de mentiras e ambiguidades, a beleza da verdade e o desejo de alcançá-la a qualquer custo se perdem um pouco, mas em alguns casos (no tribunal, no trânsito, na cobrança de um patch), a verdade objetiva tem seu próprio valor.
Um quadrado na história
A lógica como ciência foi fundada pelos antigos gregos. Eles gostavam muito de discutir, e as pessoas que discutem sempre ficam irritadas se o oponente estiver errado. As leis da lógica foram criadas pelos gregos para explicar claramente ao oponente que ele está errado.
O quadrado lógico foi inventado e colocado em uso pelo filósofo grego Michael Psellus no século 11, muito depois da época em que Sócrates inventou a escolástica. É óbvio que por algum tempo os gregos não precisavam do conceito de verdade absoluta, e somente na época da clareza universal foi inventado o quadrado lógico. Os exemplos que geralmente são dados na descrição de seu esquema são quase todos baseados na lógica aristotélica, mas contêm elegantes generalizações bizantinas.
