Motsägelser i logik: Hot mot matematik?

Motsägelser i logik: Hot mot matematik?

Siegen, Deutschland - I världen av logik och matematik är motsägelser av central betydelse, eftersom de utgör grunden för riktigheten av uttalanden. AS spektrum rapporterade Antique Philosopher aristoteles sedan tre fundamental, inklusive "lagen". Denna lag säger att ett uttalande inte kan vara sant och fel samtidigt, vilket är viktigt för logik.

motsägelser i logiken signalerar en felaktiga tankeprocess, medan paradoxer, såsom lögnare paradox, kan leda till odefinierbara motsägelser. Ett exempel på detta är meningen: "Denna mening är fel", vilket leder till en logisk konflikt. Sådana motsägelser är oacceptabla i logiken, eftersom de på principen om "ex fals quodlibet" menar att alla uttalanden kan härledas från en invändning. Ett tydligt exempel på detta är härledningen av enhörningar: Uttalandet "Omar är gift eller Maria är två meter hög" kan leda från en motsägelse, till slutsatsen att det finns enhörningar.

motsägelser och deras problem

Implikationen att en motsägelse kan göra allt sant anses vara problematiskt. Vissa experter föreslår därför utvecklingen av en "paracooner" -logik för att fördriva motsägelser, men detta innebär också deras egna utmaningar. Ett annat perspektiv är dialetism, som accepteras och allvarligt diskuteras som ett verkligt och falska uttalanden.

Matematisk logik definierar tydliga regler för att undvika motsägelser, eftersom dessa representerar grunden för matematik. Trots intensiva diskussioner och teoretiska överväganden har en verklig motsägelse i matematik hittills inte lyckats göra det, till exempel

-transmitted av West -ost-Media