Respostas
Para Aristóteles, a lógica não é ciência e sim um instrumento (órganon) para o correto pensar. O objeto da lógica é o silogismo.
Silogismo nada mais é do que um argumento constituído de proposições das quais se infere (extrai) uma conclusão. Assim, não se trata de conferir valor de verdade ou falsidade às proposições (frases ou premissas dadas) nem à conclusão, mas apenas de observar a forma como foi constituído. É um raciocínio mediado que fornece o conhecimento de uma coisa a partir de outras coisas (buscando, pois, sua causa).
Em si mesmas, as proposições ou frases declarativas sobre a realidade, como juízo, devem seguir apenas três regras fundamentais.
1- Princípio de Identidade: A é A;
2- Princípio de não contradição: é impossível A é A e não-A ao mesmo tempo;
3- Princípio do terceiro excluído: A é x ou não-x, não há terceira possibilidade.
Dessa forma, o valor de verdade ou falsidade é conferido às proposições, pois são imediatamente evidenciados. No entanto, a lógica trabalha com argumentos.
As proposições classificam-se em:
Afirmativas: S é P;
Negativas: S não é P;
Universais: Todo S é P (afirmativa) ou Nenhum S é P (negativa);
Particulares: Alguns S são P (afirmativa) ou Alguns S não são P (negativa);
Singulares: Este S é P (afirmativa) ou Este S não é P (negativa);
Necessárias: quando o predicado está incluso no sujeito (Todo triângulo tem três lados);
Não necessárias ou impossíveis: o predicado jamais poderá ser atributo de um sujeito (Nenhum triângulo tem quatro lados);
Possíveis: o predicado pode ou não ser atributo (Todos os homens são justos).
O silogismo é composto de, no mínimo, duas proposições das quais é extraída uma conclusão. É necessário que entre as premissas (P) haja um termo que faça a mediação (termo médio sujeito de uma P1 e predicado da P2 ou vice-versa). Sua forma lógica é a seguinte:
A é B
Logo, B é C (sempre os termos maior e menor).
C é A
Observem que o termo médio é o termo A, que é sujeito numa frase e predicado na outra. Assim ele não aparece na conclusão, evidenciando que houve mediação e que a conclusão é, de fato, uma dedução ou inferência, isto é, ela é realmente extraída da relação entre as premissas.