Next: Què demanem a un Up: Lògica i llenguatges Previous: Teories epistemològiques
La història de la lògica és molt llarga, i es combina amb ciències tan complexes com la filosofia, encara més antiga i moguda. A [Bri04] podem veure moltes tendències i filòsofs que les han desenvolupat, i a [WP, Logic] hi estan classificades i explicades, junt amb visions alternatives al què és lògica, per exemple: lògica és fer judicis (Immanuel Kant), lògica és l'estat de les coses (Adolf Reinach), o lògica és qualsevol manipulació de símbols.
Començaré explicant en què consisteix un sistema lògic, donaré una classificació, i després parlaré una mica d'alguns d'ells.