O que é Lógica?

          Lógica é uma disciplina filosófica criada pelo Tio Ari (384-322 a.C). E ao contrário do que muitas pessoas possam pensar não é sinônimo de óbvio. Ao tratarmos dessa disciplina lidamos com um objeto de estudo formal e não conteudista, porque não há preocupação com a verdade versus falsidade dos seus silogismos (argumentos construídos através de premissas/frases) e sim com a sua validade e/ou correção. A História é um exemplo de disciplina conteudista por ser avaliada a partir da veracidade de seus assuntos. Já a Matemática é formal, porque seus resultados são obtidos a partir da exatidão das operações de seus números e suas relações com as quatro operações básicas (adição, subtração, multiplicação e divisão) entre outras operações mais complexas.    

            Assim se temos:

“Cleópatra foi Rainha do Egito” é uma afirmação verdadeira de acordo com as pesquisas históricas.

            Por outro lado,

               5 + 3 – 4 = 4 é uma equação correta e/ou válida pelo seu resultado derivar do encadeamento formal de suas operações e não de sua verdade ou falsidade.

            Na Lógica, seus resultados são formais semelhantes à matemática. Todavia, diferentemente de números os lógicos utilizam silogismos, como já foi dito, que são argumentos compostos por três premissas. Essas premissas são distribuídas da seguinte maneira: a primeira é chamada de maior e/ou predicado, a segunda é a menor e/ou sujeito e a terceira é a conclusão do argumento onde seu resultado é sempre sujeito é predicado ou S é P. Além disso, há o termo médio, a justificativa do argumento que pode variar sua posição conforme o lugar do predicado na primeira premissa e do sujeito na segunda, aparecendo dessa forma apenas nas duas premissas.   

            
              Um silogismo pode ser montado da seguinte maneira:

                        Todo ser humano é solidário.

                        Todas as mulheres são seres humanos.

                        Todas as mulheres são solidárias.

            
             O silogismo acima é simples do modo AAA. O termo médio é a palavra “ser humano” que aparece apenas nas duas premissas para comprovar a validade do silogismo, por esse motivo não pode estar na conclusão. A conclusão, por outro lado, é consequência/derivada das premissas e não se baseia em suas verdades, pois como podemos verificar e saber sem pesquisa alguma nem todas as mulheres são solidárias. Há ainda outras nuances a respeito de Lógica, sobretudo silogismos, como as noções de classes, qualidade, quantidade e outros modos para serem demonstrados. Mas essas nuances serão expostas por meio de outros artigos.