Logika jako nauka, czyli teoretyczne i metodyczne dociekanie nad sposobami rozumowania i wypowiadania myśli, powstała w starożytnej Grecji. Prawa logiki są powszechne, to znaczy, że stosują się do wszystkich bez wyjątku rozumowań, niezależnie od tego, jakiej dziedziny przedmiotowej rozumowania te dotyczą. Prawa logiki są również konieczne, to znaczy, że rozumowania z nimi niezgodne są niepoprawne.
Idei logiki jako nauki o powszechnych i koniecznych prawach rozumowania możemy doszukiwać się w tekstach Platona (427-347 p.n.e.) — co nie znaczy jednak, że Platon taką ideę miał. W dialogu Timajos, 47c pisze:
Co się nas tyczy, powiemy, że Bóg wynalazł wzrok i obdarzył nas nim, abyśmy oglądając na niebie periodyczne ruchy rozumu wykorzystali je w obrotach naszego rozumu, które są spokrewnione z tamtymi ruchami, chociaż są one uporządkowane, a te w nas bywają niekiedy zakłócone; ponadto, byśmy studiując te ruchy na niebie naśladowali ruchy Boskie, które nie dopuszczają żadnego błędu, i poprawiali nieregularność ruchów w nas.
Arystoteles (384-322 p.n.e.) jest autorem traktatów logicznych, które później nazwano Organon (narzędzie). Zawierają one pierwsze systematyczne badanie praw myślenia ze względu na pozyskiwanie wiedzy. Tworzą faktycznie pierwszą próbę uczynienia z logiki nauki i w konsekwencji czynią zasadne nazwanie ich autora twórcą logiki. Arystoteles nadał logice tak doskonały kształt, że jeszcze w XVIII w. Immanuel Kant (1724-1804) uważał, że prawie niczego już do niej nie można dodać. Pisał, że logika1:
od czasów Arystotelesa nie musiała zrobić żadnego kroku wstecz [...]. Osobliwe jest jeszcze to, że nie mogła dotychczas zrobić
9
22.
I. Kant, Krytyka czystego rozumu, tłum. R. Ingarden, Warszawa 1986, B VIII; s. 21-