Logikos prieštaravimai: grėsmė matematikai?

Logikos prieštaravimai: grėsmė matematikai?

Siegen, Deutschland - Logikos ir matematikos pasaulyje prieštaravimai yra svarbiausi, nes jie sudaro teiginių teisingumo pagrindą. Kaip spektrum , įskaitant antikos filosofų aristotelius. Šis įstatymas teigia, kad teiginys negali būti teisingas ir neteisingas tuo pačiu metu, o tai yra būtina logikai.

Logikos prieštaravimai signalizuoja neteisingą minties procesą, o paradoksai, tokie kaip melagio paradoksas, gali sukelti neapibrėžtų prieštaravimų. To pavyzdys yra sakinys: „Šis sakinys neteisingas“, kuris sukelia loginį konfliktą. Tokie prieštaravimai yra netoleruojami logikoje, nes pagal „buvusio falso quodlibet“ principą jie reiškia, kad bet kokius teiginius galima gauti iš prieštaravimo. Aiškus to pavyzdys yra vienaragių išvedimas: teiginys „Omaras yra vedęs arba Marija yra dviejų metrų ūgio“ nuo prieštaravimo gali sukelti išvadą, kad yra vienaragių.

prieštaravimai ir jų problemos

Tai, kad prieštaravimas gali padaryti viską, kas teisinga, laikoma problematiška. Todėl kai kurie ekspertai siūlo sukurti „Paracooner“ logiką, kad būtų galima panaikinti prieštaravimus, tačiau tai taip pat apima jų pačių iššūkius. Kita perspektyva yra dialeizmas, kuris priimamas ir rimtai aptariamas kaip tikri ir klaidingi teiginiai.

Matematinė logika apibrėžia aiškias taisykles, kad būtų išvengta prieštaravimų, nes jos atspindi matematikos pagrindą. Nepaisant intensyvių diskusijų ir teorinių svarstymų, iki šiol to nepadarė tikras matematikos prieštaravimas, pavyzdžiui, University siegen.

-TransmedT West-ost-Media

DetailsOrtSiegen, DeutschlandQuellen

Kommentare (0)