Lógica tradicional foi desenvolvida por Aristóteles e sistematizada (de forma um pouco diferente) por pessoas da escola medieval. Foi pensado para ser tudo havia a lógica pela maioria até o final do século XIX (até G. Frege, por exemplo, saiu com uma versão do logi8c moderno na sua escrita-conceito (Begriffsschrift). Assunção da lógica tradicional foi que todas as proposições (sentenças) são de um sujeito - predicado formulário (assunto estritamente, termo + COPULA + termo predicado: por exemplo, punho + são + vertebrados mamíferos). Esta ênfase exclusiva sobre o assunto - formulário predicado é embora enganosa e subjacente a causa da metafísica equivocada por muitos lógicos modernos (vice-versa para alguns críticos recentes da lógica moderna). Lógica tradicional trata-se de imediatas e mediatos inferências entre proposições (sujeito - predicado). Imediata inferência é de um (local) a um (conclusão) com os dois termos da premissa ambos aparecem na conclusão. Mediato inferência envolve instalações mais com o uso de "mediação", ou médio, termos que não aparecem na conclusão. o sylloquism, o estudo preliminar da lógica tradicional, é um argumento em que as instalações se conectam o sujeito e o predicado da conclusão através de um meio termo.