A "logika" kifejezés a görög "logosz" szóból származik. Ennek több jelentése van: jelenti azt, hogy szó, beszéd, vélemény, lényeg stb., legtágabb értelemben pedig a gondolkodás jellemzésére használják. Logikának nevezték és nevezik általában azt a tudományt, amely a gondolkodással foglalkozik. A logika kérdések első nagy rendszerezője Arisztotelész (i.e. 384-322.), logikai munkáit utódai "Organon" (eszköz) néven foglalták össze. A későbbi korszakokban a gondolkodás kérdéseivel foglalkozó tudomány jelölésére általánossá vált a logika kifejezés. Milyen kérdésekkel foglalkozik a gondolkodás tudománya a logika? Mivel az emberi gondolkodás a valóság megismerésének nélkülözhetetlen eszköze, erre a kérdésre a legcélszerűbben úgy adhatjuk meg a választ, ha először azt vizsgáljuk meg, hogy mi a megismerés.