U srcu znanja je logika, odnosno određeni zakoni razmišljanja koji se koriste u analizi činjenica i konstrukciji hipoteza i teorija.
Formalna logika koju koristimo je nesavršena. To se dokazuje prisutnošću takozvanih logičkih paradoksa (aporija). Aporije nisu nesporazumi i smiješne znatiželje, oni su pokazatelji, ako ne inferiornost, onda, u svakom slučaju, ograničenja našeg glavnog oruđa spoznaje - formalne logike. Paradoksi logike su logično ispravni zaključci koji nisu u suprotnosti sa zakonima formalne logike i istovremeno predstavljaju rasuđivanje koje vodi do apsurdnih zaključaka ili uzajamno isključivih rezultata.
Paradoks su dvije suprotne, nespojive izjave, za koje postoje naizgled uvjerljivi argumenti. Najoštriji oblik paradoksa je antinomija, argument koji dokazuje ekvivalentnost dviju tvrdnji, od kojih je jedna negacija druge.
Logika je apstraktna znanost. U njemu nema eksperimenata, čak ni činjenica u uobičajenom smislu te riječi. U izgradnji svojih sustava, logika na kraju polazi od analize stvarnog mišljenja. Stvarajući teoriju, znanstvenik polazi od činjenica, od onoga što se može promatrati u iskustvu. Teorija mora činjenice povezati s "glatkim" sustavom. Teorija ima smisla kada se slaže s činjenicama o njoj. Teorija koja se podudara s činjenicama nema vrijednost.
Nesklad između logičke teorije i prakse stvarnog razmišljanja često se otkriva u obliku manje ili više akutnog logičkog paradoksa, a ponekad čak i u obliku logičke antinomije, što govori o unutarnjoj nedosljednosti teorije. To objašnjava važnost koja se pridaje paradoksima u logici i veliku pažnju koju oni u njoj koriste.
Dobro poznata i dobro proučena klasa proturječnosti koja proizlazi u izjavama koje sadrže definiciju nečega što se podrazumijeva na sebe - paradoksa samo-referenciranja (samo-upućivanja).
Paradoksi definicije jasan su primjer dvosmislenosti pojmova identiteta. Ovisno o tome kako ga pitate, bit će različitih odgovora. Može se raspravljati samo o tome koje definicije odgovaraju jednoj ili drugoj ideji identiteta.