Rozpory v logike: hrozba pre matematiku?

Rozpory v logike: hrozba pre matematiku?

Siegen, Deutschland - Vo svete logiky a matematiky majú rozpory ústredný význam, pretože tvoria základ správnosti vyhlásení. Ako spektrum hlásil antimeficko-filosopher aristotely pred tromi zákonmi o obhajobe. " Tento zákon uvádza, že vyhlásenie nemôže byť zároveň pravdivé a nesprávne, čo je nevyhnutné pre logiku.

Rozpory v logickom signále Signál nesprávny proces myslenia, zatiaľ čo paradoxy, ako je napríklad klamárov paradox, môžu viesť k neurčitým rozporom. Príkladom je veta: „Táto veta je nesprávna“, čo vedie k logickému konfliktu. Takéto rozpory sú v logike netolerovateľné, pretože na princípe „EX Falso Quodlibet“ znamenajú, že akékoľvek vyhlásenia možno odvodiť z námietky. Jasným príkladom je odvodenie jednorožcov: Vyhlásenie „Omar je ženatý alebo Maria je vysoká dva metre“ by mohla viesť od rozporu k záveru, že existujú jednorožce.

Rozpory a ich problémy

Dôsledok, že rozpor môže urobiť všetko pravdivé, sa považuje za problematické. Niektorí odborníci preto navrhujú vývoj logiky „parakonera“ na odstránenie rozporov, ale to tiež znamená ich vlastné výzvy. Ďalšou perspektívou je dialetizmus, ktorý je akceptovaný a vážne diskutovaný ako skutočné a nepravdivé vyhlásenia.

Matematická logika definuje jasné pravidlá, aby sa predišlo rozporom, pretože tieto predstavujú základ matematiky. Napriek intenzívnym diskusiám a teoretickým úvahám, skutočný rozpor v matematike tak nedokázal, ako napríklad Univerzita >/a '.

-transmitted by