Žinių centre yra logika, tai yra, tam tikri mąstymo dėsniai, kurie naudojami analizuojant faktus ir konstruojant hipotezes bei teorijas.
Formali logika, kurią mes naudojame, yra netobula. Tai įrodo vadinamųjų loginių paradoksų (aporijų) buvimas. Aporijos nėra nesusipratimai ir juokingi smalsumai, tai yra rodikliai, jei ne nepilnavertiškumas, tai bet kokiu atveju mūsų pagrindinio pažinimo įrankio - formaliosios logikos - apribojimai. Logikos paradoksai yra logiškai teisingos išvados, neprieštaraujančios formalios logikos dėsniams ir kartu atspindinčios samprotavimus, vedančius prie absurdiškų išvadų ar vienas kitą paneigiančių rezultatų.
- „Salik.biz“
Paradoksas yra du priešingi, nesuderinami teiginiai, kiekvienam iš kurių yra, atrodo, įtikinami argumentai. Ryškiausia paradokso forma yra antinomija, argumentas, įrodantis dviejų teiginių, iš kurių vienas yra neigimas, lygiavertiškumą.
Logika yra abstraktus mokslas. Jame nėra jokių eksperimentų, net faktų įprasta šio žodžio prasme. Kurdama savo sistemas, logika galiausiai remiasi realaus mąstymo analize. Kurdamas teoriją, mokslininkas pradeda nuo faktų, nuo to, ką galima pastebėti patyrime. Teorija turi susieti faktus į „sklandžią“sistemą. Teorija turi prasmę, kai sutinka su faktais apie ją. Teorija, neatitinkanti faktų, neturi jokios vertės.
Loginės teorijos ir realaus mąstymo praktikos neatitikimas dažnai nustatomas daugiau ar mažiau ūmaus loginio paradokso pavidalu, o kartais net loginės antinomijos forma, kuri kalba apie teorijos vidinį prieštaravimą. Tai paaiškina, koks svarbus logikoje yra paradoksas, ir didelis dėmesys, kurį jie skiria.
Plačiai žinoma ir gerai ištyrinėta prieštaravimų klasė, kylanti teiginiuose, kuriuose yra apibrėžimas kažko, kas netiesiogiai nurodo į save - savęs nuorodos (savęs nuorodos) paradoksas.
Apibrėžimų paradoksai yra ryškus tapatybės sąvokų dviprasmybės pavyzdys. Atsižvelgiant į tai, kaip jūs to klausiate, bus įvairių atsakymų. Galima tik aptarti, kurie apibrėžimai atitinka vieną ar kitą tapatybės idėją.