A törvény az ellentmondás, a humanitárius enciklopédia
ellentmond a törvény (vagy a törvény nem ellentmondás) - az egyik legfontosabb általános logikai elveket (lásd a logika.), amely szerint a során érv, két egymásnak ellentmondó kijelentéseket vagy nem lehet igaz ugyanakkor és ugyanabban a tekintetben a van egy közülük hamisnak kell lennie. nem ellentmondás törvény rámutat elfogadhatatlansága egyidejű nyilatkozatok (az érvelés, a szövegben vagy elmélet) a két ítélet, amelyek közül az egyik a logikai tagadás a többi, vagy - tágabb értelemben - az állítólagos azonosság minden bizonnyal más tárgyak, mint mindig logikai szabályok olyanok, hogy lehetővé teszik a ellentmond a következtetéseket önkényes ítélet leértékeli a lényeges értelemben érvelés vagy elméleteket. ellentétes jogszabályok kapcsolódó négy úgynevezett alapvető logika törvényei - a törvény az identitás, a törvény az ellentmondás, a törvény a kizárt harmadik és elégséges ok a törvény (lásd a logika törvényei.), amely magában foglalja a legtöbb általános elvek (vagy posztulátumai) elméleti gondolkodás és akkor használják, ha működik fogalmak és ítéletek, indokolás, proof és cáfolata, és így jelen szinte minden logikai rendszer.
törvény ellentmondás fejezi kifejezi az egyik legfontosabb jellemzője a minden racionális gondolkodás - összhang. Ez tartalmaz tilalmat a gondolkodás és az érvelés ellentmondásos, rámutatva, hogy az ellentmondás, mint egy súlyos logikai hiba. összeegyeztethetetlen a racionális gondolkodás. ellentmondás A törvény azt mondja ellentmondásos (ellentmondó) nyilatkozatai - innen a neve. De megtagadják az ellentmondás nyilvánító ő hibája, ő tehát megköveteli a következetesség - innen a neve szélesebb körben - a törvény nem ellentmondás. Amikor a fogalmak igazság és a hazugság joga ellentmondás az alábbiak szerint történik: a két, egymásnak ellentmondó kijelentések egy hamis. Ebben a változatban a törvény hangzik a legmeggyőzőbb, hiszen kiemeli a kapcsolódó veszélyek vitát. Az igazság és a hazugság - ez a két összeférhetetlen állítások jellemzők: igaz állítás igaz, a hamis nem felel meg neki. Ezért aki elismeri az ellentmondás érveik bevezet egy hamis állítás, elmosva ezzel a különbséget igazság és hazugság.
Jellemzően egy logikai ellentmondás három szerkezeti elemek: a javaslatot, annak tagadása és az index soistinnosti értékelések használt egy adott nyilatkozat vagy képviseletet. Általában, az ellentmondás leírható a következő képlet: A és-A. ahol A - ítélet, nem-A (helytelenül, hogy A) - annak tagadásával, és egy csomó „és” - figura soistinnosti nyilatkozatok (nyilatkozatok) és annak tagadása. Így, ha a kijelölt betűkkel Egy véletlen nyilatkozatot, a kifejezés nem-A (helytelenül, hogy A) a tagadása ezt az állítást. Az ötletet a törvény által ellentmondás egyszerű: egy nyilatkozatot és annak tagadása nem lehet igaz együtt. Használata betűk helyett nyilatkozatok (például az A betű), ez az ötlet is át a következő: nem igaz, hogy az A és nem-A. Az ezzel a kifejezés lényegtelen betűk és kötelessége látszólag, különösen a latin ábécé; hasonlóképpen a kifejezés az ugyanezen törvény lehetne használni levél B. C, és így tovább.
ellentmondások törvény több olyan rendelkezést tartalmaz:
- Kivétel egymásnak ellentmondó ítéletek a szerkezet diskurzus kijelentések kimenet.
- Meghatározása kritériumok logikus állagúvá.
- Az igazság megállapítása képesítések értékelések használt érvelés.
- Azonosítás és megkülönböztetés explicit és implicit ellentmondásokat a szerkezet az érvelés.
- Azonosítására és megkülönböztetésére a valós és a képzetes ellentmondások.
Logikai elvet fejezi ki a törvény az ellentmondás, nyúlik vissza, a szofisták és ismert volt, hogy Szókratész (és gyakran használták szerint Platón). Arisztotelész fogalmaz a törvény elsősorban ontológiai, mint egyetemes elv, hogy a legmegbízhatóbb minden kezdet:”... lehetetlen ugyanezt az időben ez volt, és nem volt benne rejlő azonos egy és ugyanazon kapcsolatban" ( "metafizika". IІ 3 1005b 20-21). Valamivel korábban, a megfogalmazás a törvény egyik alapelve a valós világban megtalálható Platón. „Nem lehet, vagy nem lehet azonos” Arisztotelész is megjelenik nemcsak ontológiai, hanem tisztán logikai megfogalmazása ez a törvény: „... a legjelentősebb helyzetben -, hogy egymással szemben azt mondja, nem lehet igaz együtt” ( »metafizika« IІ 7 1011b 13-14.). Arisztotelész bevezetése hét „bizonyítékokat” nélkülözhetetlenségét ezt a törvényt.
A középkorban azt aktívan tárgyalt kérdést: „Vajon a törvény ellentmondás van kitéve Istenhez, akinek ereje határtalan?” A legtöbb filozófus és teológus úgy vélik, hogy még Isten nem mond ellent magának. Gyakorlatilag ez azt jelenti, hogy Isten szuverén: fölötte - a logika törvényei és mindenekelőtt törvény tiltó vitát.
A leginkább egyértelmű szövege és a magyarázata a törvény ellentmondás megszerzi a modern logika, ahol lehet kiszerelni nyilatkozatait (lásd logikai kifejezések.) És az állítmány (lásd elsőrendű logika.), Mind a szemantikai és szintaktikai szinten; A készítményt módosított kapcsolatban jellemzői a vizsgált logikai rendszereket. A ítéletlogika (vagy egy tartalmi szinten a propozicionális logikát), ez lesz bizonyítható (azonosan igaz) általános képletű ⌉ (A ⌉A) (itt A - egy propozicionális változó, amely lehet érzékelhető, mint a kijelölés egy tetszőleges kifejezés), és a módszertani szinten - egy nyilatkozatot a bizonyíthatóság (vagy az igazság, a tautológia) ennek a képletnek. A levezethető joga ellentmondás egy végtelen sokféle készítményként, számától függően az érv helyeken használt a készítmény az alapul; így például, hogy unáris predikátumok: ∀x ⌉ (A (x) ⌉A (x)) (nincs tárgy nem egyidejűleg rendelkezik, és nem rendelkezik egy és ugyanaz a tulajdonság), egy két-hely predikátum: ∀x ∀y ⌉ (B (x y.) ⌉B (x. Y)) (nincs két tárgy egyidejűleg nem nem lehet egy és azonos arányban). Ezek tisztán logikai megfogalmazása a törvény ellentmondás van, ugyanakkor nyilvánvaló „ontológiai” (utalva a valóság) értelmezéseket. A motiváció minden ilyen készítmény: túlnyomórészt logikai és logikai-matematikai DERIVE becslések (igazolható) Alapelv A ⌉A ⊃ B (az ellentmondást kell semmit), vagy legalább egy gyengébb elve A ⌉A ⊃ ⌉B (az ellentmondás azt jelenti, a tagadás minden olyan nyilatkozat). Ezért a rendszer logikáját, megsértve ezt az elvet, továbbá a nyilvánvaló elfogadhatatlanságtól intuitív szempontból (a különbség a valóság) nincs egyébként nincs logikai értékek: a létezését ellentmondások (antinómiák, paradoxonok) automatikusan vezet az a tény, hogy egy ilyen rendszer, bizonyítható (vagy legalábbis megdönthető) bármely nyelvén megfogalmazott beadványának. Ezért a konzisztencia (azaz érvényességét a törvény ellentmondás), logikai (és még tudományos) elmélet fontos és lényeges szempont annak alkalmasságát, és a törvény az ellentmondás megtartja alapvető fontosságú.
A törvénysértés ellentmondás vezet az a tény, hogy a legtöbb jól ismert logikai kalkulus bizonyítható semmilyen képlet nyelvén megfogalmazott e fogkő, majd a fajta logika nem érdekes. Ennek ellenére alaptörvénye ellentmondás, annak fontossága 1910-ben egyidejűleg és egymástól függetlenül megkérdőjelezték NA Vasziljev és Lukasiewicz. Az első kísérletet, hogy össze egy rendszer logikája, elutasító ontológiai a törvény értelmében; Második kitéve súlyos kritikát a „bizonyíték” a törvény az ellentmondás Arisztotelész. Ennek eredményeként, a végén a XX században fejlesztették paraconsistent logika (lásd. Paraconsistent Logic), ahol a törvény az ellentmondás nem rendelkezik, és mégis oly logikus rendszerek nem bizonyítható semmi.