Pretrunas loģikā: draudi matemātikai?

Pretrunas loģikā: draudi matemātikai?

Siegen, Deutschland - Loģikas un matemātikas pasaulē ir ļoti svarīgi pretrunām, jo ​​tās veido pamatu paziņojumu pareizībai. Kā spektrum ziņoja par antique filozekcijas aristotiem. Šis likums nosaka, ka paziņojums vienlaikus nevar būt patiess un nepareizs, kas ir būtisks loģikai.

Loģikas pretrunas signalizē par nepareizu domāšanas procesu, savukārt paradoksi, piemēram, melu paradokss, var izraisīt nedefinējamas pretrunas. Piemērs tam ir teikums: "Šis teikums ir nepareizs", kas noved pie loģiska konflikta. Šādas pretrunas loģikā ir neciešamas, jo pēc "ex falo quodlibet" principa tie nozīmē, ka visus paziņojumus var iegūt no iebilduma. Skaidrs piemērs tam ir vienradžu atvasinājums: paziņojums "Omārs ir precējies vai Marija ir divu metru gara" varētu izraisīt pretrunu, līdz secinājumam, ka ir vienradzi.

pretrunas un to problēmas

Ietekme, ka pretruna varētu padarīt visu patiesu, tiek uzskatīta par problemātisku. Tāpēc daži eksperti ierosina attīstīt "paracooner" loģiku, lai mazinātu pretrunas, bet tas nozīmē arī viņu pašu izaicinājumus. Vēl viena perspektīva ir dialetisms, kas tiek pieņemts un nopietni apspriests kā reāli un nepatiesi paziņojumi.

Matemātiskā loģika nosaka skaidrus noteikumus, lai izvairītos no pretrunām, jo ​​tie atspoguļo matemātikas pamatu. Neskatoties uz intensīvām diskusijām un teorētiskiem apsvērumiem, reāla pretruna matemātikā līdz šim nav to izdarījusi, piemēram,

-translited by rietumu-ost-media