Ristiriitoja logiikassa: uhkia matematiikkaan?

Ristiriitoja logiikassa: uhkia matematiikkaan?

Siegen, Deutschland - logiikan ja matematiikan maailmassa ristiriitaisuudet ovat keskeisiä tärkeitä, koska ne muodostavat perustan lausuntojen oikeellisuudelle. Kuten spektrum ilmoitti antiikkifilosofin aristotes AGOR Fundamental Think -tapahtumasta. Tässä laissa todetaan, että lausunto ei voi olla totta ja väärä samanaikaisesti, mikä on logiikan kannalta välttämätöntä.

logiikan ristiriidat merkitsevät väärää ajatusprosessia, kun taas paradoksit, kuten valehtelija -paradoksi, voivat johtaa määrittelemättömiin ristiriitoihin. Esimerkki tästä on lause: "Tämä lause on väärä", mikä johtaa loogiseen konfliktiin. Tällaiset ristiriidat ovat sietämättömiä logiikassa, koska "ex falso quodlibet" -periaatteessa ne tarkoittavat, että kaikki lausunnot voidaan johtaa vastalauseesta. Selkeä esimerkki tästä on yksisarvisten johdannainen: lausunto "Omar on naimisissa tai Maria on kaksi metriä pitkä" voi johtaa ristiriitaisuudesta siihen johtopäätökseen, että yksisarvisia on.

ristiriidat ja niiden ongelmat

VAIKUTUS siitä, että ristiriita voi tehdä kaikesta totta, pidetään ongelmallisena. Jotkut asiantuntijat ehdottavat siksi "Paracooner" -logiikan kehittämistä ristiriitaisuuksien poistamiseksi, mutta tämä edellyttää myös heidän omia haasteitaan. Toinen näkökulma on valinta, joka hyväksytään ja keskustellaan vakavasti todellisina ja väärinä lausunnoina.

Matemaattinen logiikka määrittelee selkeät säännöt ristiriitaisuuksien välttämiseksi, koska nämä edustavat matematiikan perusta. Intensiivisistä keskusteluista ja teoreettisista näkökohdista huolimatta matematiikan todellinen ristiriita ei ole toistaiseksi onnistunut tekemään niin, kuten ).pdf "class =" lähde "> University Siegen ).pdf" luokka = "Source_2" University Siegen ".Pdf ".

-transmissoinut West-Ost-media