La logica tradizionale fu prima sviluppata da Aristotele e sistematizzata (un po' diversamente) da persone di scuola medievale. Molti pensavano che si dovesse tutto alla logica fino alla fine del XIX secolo (quando G. Frege, ad esempio, pubblicò una versione della logica moderna nel suo concetto-scrittura (Begriffsschrift). Il presupposto della logica tradizionale era che tutte le proposizioni (frasi) fossero di una forma soggetto - predicato (strettamente, SOGGETTO + COPULA + PREDICATO: ad esempio, i pugni + sono + schiene mammifere). Questa esclusiva enfasi sulla forma soggetto - predicato è però ingannevole e la causa sottostante di metafisica errata da molti logici moderni (viceversa per alcuni critici recenti della logica moderna). La logica tradizionale è interessata a inferenze immediate e mediate tra le proposizioni (soggetto - predicato). L'inferenza immediata è da uno (premessa) a uno (conclusione) con entrambi i termini della premessa presenti nella conclusione. L'inferenza mediata coinvolge più premesse con l'uso della "mediazione", o medio, termini che non compaiono nella conclusione. Il sillogismo, lo studio primario della logica tradizionale, è un argomento in cui le premesse collegano il soggetto e il predicato della conclusione mediante un termine medio.