Jádrem poznání je logika, to znamená, určité zákony myšlení, které se používají při analýze faktů a vytváření hypotéz a teorií.
Formální logika, kterou používáme, je nedokonalá. Důkazem toho je přítomnost tzv. Logických paradoxů (aporias). Aporie nejsou nedorozumění a směšné zvědavosti, jsou ukazateli, ne-li podřadnými, pak v každém případě omezení našeho hlavního nástroje poznání - formální logiky. Paradoxy logiky jsou logicky správné závěry, které nejsou v rozporu se zákony formální logiky a zároveň představují zdůvodnění, které vede k absurdním závěrům nebo vzájemně vylučujícím výsledkům.
Paradoxem jsou dvě protikladná, neslučitelná tvrzení, pro každé z nich existují zdánlivě přesvědčivé argumenty. Nejostřejší formou paradoxu je antinomie, argument, který prokazuje rovnocennost dvou tvrzení, z nichž jedno je negací druhého.
Logika je abstraktní věda. Nejsou v něm žádné experimenty, dokonce ani fakta v obvyklém slova smyslu. Při budování svých systémů logika nakonec vychází z analýzy skutečného myšlení. Při vytváření teorie začíná vědec od faktů, od toho, co lze pozorovat ve zkušenosti. Teorie musí spojit fakta do „hladkého“systému. Teorie dává smysl, když souhlasí s fakty o ní. Teorie, která je v rozporu s fakty, nemá žádnou hodnotu.
Rozpor mezi logickou teorií a praxí skutečného myšlení je často odhalen ve formě více či méně akutního logického paradoxu a někdy dokonce ve formě logické antinomie, která hovoří o vnitřní nekonzistenci teorie. To vysvětluje důležitost, která je přikládána paradoxům v logice, a velkou pozornost, kterou v ní používají.
Známá a dobře prozkoumaná třída rozporů vznikajících v prohlášeních, která obsahují definici něčeho, co se implicitně odkazuje na sebe - paradoxy sebe-odkazu (sebe-reference).
Paradoxy definic jsou živým příkladem nejednoznačnosti pojmů identity. V závislosti na tom, jak se na to zeptáte, budou různé odpovědi. Lze diskutovat pouze o tom, které definice odpovídají jedné nebo druhé myšlence identity.