LOGICA

Lógica:
1. Silogismo aristotélico:
Podemos encara um conceito de dois pontos de vista:
Extensão—a extensão é um conjunto de objectos que o conceito considerado pode designar ou aos quais ele se pode aplicar como atributo.
Intenção/ compreensão—é o seu sentido, a sua significação, isto é, os caracteres que enunciamos geralmente quando damos a definição de conceito.
Inferências imediatas—devemos a Aristóteles as primeiras sistematizações das inferências lógicas e a ordenação dos mais frequentes erros de raciocínio que podem ter a aparência de válidos. 1º tipo—inferência simples—que tem lugar a partir de uma única proposição (não há intervenções de um termo mediador). De entre as várias formas de inferência simples iremos analisar o quadrado lógico de oposição entre proposições e a inferência por conclusão de proposições.
2º tipo—inferência complexa—que tem lugar a partir de duas ou mais proposições. Também se dizem mediatas porque se inferem através de outras proposições. Aqui destacam-se os silogismos categóricos aos quais Aristóteles deu especial atenção.
Aristóteles não considera senão um tipo de estrutura de proposição:
S é P.
Este esquema apresenta quatro proposições segundo a quantidade e a qualidade das proposições. Segundo a qualidade é afirmativa ou negativa. Segundo a quantidade é universal ou particular.
Universal afirmativa—A—ex. todos as árvores são verdes
Universal negativa—E—ex. nenhuma árvore é verde
Particular afirmativa—I—ex. algumas árvores são verdes
Particular negativa—O—ex. algumas árvores não são verdes. Quadrado lógico:

NOTA—As inferências mais ricas são produzidas pelas universais verdadeiras e pelas particulares negativas.
Regras:
Regra das contraditórias (A O; I E)—duas proposições contraditórias não podem ser ambas verdadeiras, nem podem ser ambas falsas ao mesmo tempo. Se A é verdadeira, O é falsa e vice-versa. Portanto a oposição é maior, total e complexa, porque há uma oposição em quantidade e