Modsigelser i logik: Trussel mod matematik?

Modsigelser i logik: Trussel mod matematik?

Siegen, Deutschland - I verden af logik og matematik er modsigelser af central betydning, da de danner grundlaget for rigtigheden af udsagn. Som spektrum rapporterede den antikke filosophere Aristoteles siden tre fundamentel tænkning, inklusive ">>> SPEKTRUM . Denne lov siger, at en erklæring ikke kan være sand og forkert på samme tid, hvilket er vigtigt for logik.

Modsigelser i logiksignalet er en forkert tankeproces, mens paradokser, såsom Liar -paradokset, kan føre til udefinerbare modsigelser. Et eksempel på dette er sætningen: "Denne sætning er forkert", der fører til en logisk konflikt. Sådanne modsigelser er utålelige i logikken, da de efter princippet om "ex Falso Quodlibet" betyder, at enhver udsagn kan udledes af en indsigelse. Et klart eksempel på dette er afledningen af enhjørninger: erklæringen "Omar er gift, eller Maria er to meter høje" kan føre fra en modsigelse til den konklusion, at der er enhjørninger.

modsigelser og deres problemer

Implikationen af, at en modsigelse kan gøre alt sandt, betragtes som problematisk. Nogle eksperter foreslår derfor udviklingen af en "paracooner" -logik til at affatte modsigelser, men dette indebærer også deres egne udfordringer. Et andet perspektiv er dialetisme, der accepteres og alvorligt diskuteres som en reel og falsk udsagn.

Matematisk logik definerer klare regler for at undgå modsigelser, da disse repræsenterer grundlaget for matematik. På trods af intensive diskussioner og teoretiske overvejelser har en reel modsigelse i matematik hidtil ikke gjort det, såsom

--Modteret af West-Most-MEDIA