No século II da era cristã, as obras de Aristóteles sobre lógica foram reunidas por Alexandre de Afrodísia sob a designação geral de Órganon. Inclui seis tratados, cuja seqüência corresponde à divisão do objeto da lógica. Estuda as três operações da inteligência: o conceito, o juízo e o raciocínio.

Conceito é a mera representação mental do objeto. Juízo é um ato mental de afirmação ou de negação de uma idéia a respeito de outra, isto é, da coexistência de um sujeito e um predicado. Raciocínio é a articulação de vários juízos. O objeto próprio da lógica não é o conceito nem o juízo, mas o raciocínio, que permite a progressão do pensamento. Em outras palavras, não há pensamento estruturado quando se consideram idéias isoladas.

Em Perí hermeneías (Da interpretação), um dos tratados do Órganon, Aristóteles estuda a proposição, que é a expressão verbal do juízo. O juízo é verdadeiro quando une na proposição o que está unido na realidade, ou separa, na proposição, o que está realmente separado. A verdade é, assim, a adequação ou a correspondência entre o juízo e a realidade. Esse tratado procura principalmente determinar as oposições possíveis entre as proposições.

A partir do juízo de existência ou de realidade, considerado primordial, Aristóteles estabelece as seguintes modalidades de oposição e de negação: o animal é; o animal não é; o não-animal é; o não-animal não é. As proposições simples apresentam as mesmas modalidades. Outro tipo de proposições admite maior número de modalidades: o homem é mortal; o homem não é mortal; o homem é não-mortal; o homem não é não-mortal; o não-homem é mortal; o não-homem não é mortal etc.

Os juízos se dividem de acordo com a qualidade, a quantidade, a relação e a modalidade. Quanto à qualidade, podem ser afirmativos ou negativos. Os afirmativos sustentam a conveniência do predicado ao sujeito (o homem é racional), enquanto os negativos sustentam a não conveniência entre eles (o homem não é imortal). De acordo com a quantidade, os juízos podem ser de três tipos: universais, quando o sujeito é tomado em toda sua extensão (todo homem é mortal); particulares, quando o sujeito é tomado em parte de sua extensão (alguns homens são brasileiros); e individuais ou singulares, situações em que o sujeito é tomado no mínimo de sua extensão (Aristóteles é filósofo).

Com relação à quantificação do sujeito, distingue-se a compreensão, que é o contéudo do conceito, e a extensão, que indica a quantidade de objetos aos quais o conceito se aplica. Quanto maior for o conteúdo, ou conjunto de atributos característicos do conceito, menor será a extensão. Por exemplo, o conceito "mesa" abrange todos os membros da classe. Quando se acrescenta o atributo "branca", aumenta-se a compreensão, mas limita-se a quantidade de mesas individuais a que se refere e diminui-se a extensão.

Do ponto de vista da relação, os juízos se distinguem em categóricos, hipotéticos e disjuntivos. No juízo categórico, o enunciado independe de condições (Aristóteles é grego); no hipotético, é condicional (se fizer bom tempo, sairemos); no disjuntivo, também condicional, a condição está na própria predicação (o objeto real é físico ou psíquico).

De acordo com a modalidade, os juízos podem ser assertóricos, problemáticos e apodícticos. No juízo assertórico, a validade do enunciado é de fato e não de direito (o livro está aberto, mas poderia estar fechado); no problemático, a validade é apenas possível (talvez as injustiças sejam reparadas); no apodíctico a validade é necessária e de direito, e não de fato (dois mais dois são quatro).

Raciocinar, em lógica, significa estabelecer uma relação necessária entre duas proposições ou enunciados. No tratado Analysis próté (Primeiras analíticas), terceira parte do Órganon, Aristóteles estuda o silogismo, cuja doutrina criou, para estabelecer as condições fundamentais do conhecimento científico. O silogismo é "um argumento do qual, admitidas certas coisas, algo diferente resulta necessariamente de sua verdade, sem que se precise de qualquer outro termo". Aristóteles distingue o silogismo, ou dedução, da indução. A dedução vai do universal ao particular, e a indução do particular ao universal. Mesmo assim, compreende que a indução é no fundo silogística.

No tratado do Órganon intitulado Análysis deutera (Segundas analíticas), Aristóteles estuda a demonstração e a definição. A propósito, indica os temas possíveis da investigação científica: (1) o que a palavra significa; (2) o que o objeto correspondente é; (3) qual a essência desse objeto; (4) quais são suas propriedades; (5) por que tem essas propriedades. Assim, o método científico começa com a determinação de um objeto conhecido apenas pelo nome, e prossegue com a determinação da essência e da existência do objeto.

A demonstração é um silogismo científico cujas premissas devem ser verdadeiras, primeiras, indemonstráveis e mais inteligíveis do que a conclusão e a causa da conclusão. Os princípios, ou pontos de partida do conhecimento científico, são os axiomas e as teses das diversas ciências, subdivididas em hipóteses e definições. Acrescentam-se ainda os postulados que, ao contrário dos tipos de proposição mencionados, só devem ser admitidos depois de demonstrados.

A ciência consiste no encadeamento lógico das proposições que, tomadas isoladamente, não poderiam ser conhecidas como verdadeiras. A rigor, a demonstração trata de evidenciar, por meio de mediações sucessivas, o que é inicialmente admitido como simples hipótese ou suposição. Além da demonstração ou da prova, Aristóteles admite, como forma de conhecimento, os primeiros princípios, que excluem a demonstração.

Perguntar o que é alguma coisa é perguntar qual é a essência dessa coisa, e responder à pergunta é expor essa essência em sua definição. Aristóteles classifica três espécies de definição: a indemonstrável (a unidade em aritmética, por exemplo); a definição causal ou real; e a definição nominal. A propósito da definição da espécie, recomenda:

Por consistir numa redução à evidência, a demonstração implica a apreensão dos primeiros princípios, indemonstráveis. No processo que conduz da percepção à ciência, Aristóteles vê que o primeiro momento é a memória ("persistência da percepção") e o seguinte é a experiência, que é a lembrança das percepções dos mesmos objetos e a abstração daquilo que apresentam em comum. A passagem do particular ao universal é possível porque o que se percebe no objeto particular não é o que o particulariza, mas os caracteres que tem em comum com objetos semelhantes. Ao ascender a universais cada vez mais extensos, chega-se, pela razão intuitiva, aos primeiros princípios da ciência, os axiomas, as definições, os postulados e as hipóteses. Segundo Aristóteles, é por indução que se aprendem os primeiros princípios, pois é assim que a percepção produz o universal.

Veja também:
Lógica Moderna
Lógica na Idade Média
Lógica no Renascimento
Lógica no Século XX