Tagadás, humanitárius enciklopédia
1. Tagadás logikai
Tagadás logika (lásd. Logic) úgy, mint a logikai megfelelője negatív „kifejezés nem igaz az, hogy ...” vagy negatív részecske „nem”, és a jelentése logikai művelet logikai tulajdonságok szertartásossá ezeket a szavakat. Attól függően, hogy a helyét a külső és a belső megkülönböztetni tagadás, tulajdonságai és szerepét jelentősen változhat.
1.1. A külső logikai tagadás
Külső (propozicionális) tagadás arra szolgál, hogy komplexet képez megnyilatkozás másik (nem feltétlenül egyszerű) kifejezéseket. Az ez által jóváhagyott hiányában a helyzet leírt tagadni nyilatkozatot. Hagyományosan, a negatív megállapítás tekinthető igaz, akkor és csak akkor, ha megtagadják az állítás hamis. A természetes nyelvi tagadás ez általában kifejezte „Nem igaz, hogy ...” forgalom, majd a negált javaslatot. A hivatalos nyelv elmélet néven különleges unary tagadás propozicionális konnektívumokban, használt készítmény előállítását egy másik, bonyolultabb. karakterek általában használják utal tagadása "
Tény, hogy a fent említett hagyományos értelmezését külső (propozicionális) tagadás fejezhető ki az alábbi követelményeknek:
(I) ha - igaz (hamis), akkor az nem-A - hamis (true);
(II) Ha nem-A - igaz (hamis), akkor A - hamis (true).
Formálisan követelmények (I) és (II) lehet kifejezni állapota (1) A ⊧ ¬ B ⇒ B ⊧ ¬ A. úgynevezett "konstruktív szembeállítása". Denial, az említett feltételeket kielégítő (1), a továbbiakban a minimális negatív.
Azonban, úgy tűnik, hogy (1) bontható két gyengébb feltételekkel: (2) A ⊧ B ⇒ ¬ B ⊧ ¬ A, és (3) A ⊧ ¬¬ A. néven ismert "szembeállítása" és „beadunk kettős elutasítást. " Ennek eredményeként lehetőség van arra, hogy azonosítani podminimalnoe negáció kielégítő (2), de nem felel feltételt (3).
Természetesen megfogalmazni állapotban inverz (3), és formalizálja az elv a "kettős negatív visszavonás" (4) ¬¬ A ⊧ A = A. Minimális negáció (azaz, az említett feltételeket kielégítő (1) vagy a körülmények (2) és (3) együtt), amelyre a feltétel (4) nevezzük tagadása de Morgan. Ez a tagadás használják a nyelvet a szükséges számításokat, hogy felszámolja a paradoxonok vonzata.
Minimális megtagadása, kielégíti a kiegészítő (5): Ha A ⊧ B és A ⊧ ¬ B. bármely C igaz, hogy egy ⊧ C ( «képtelenség tulajdonság") - nevű intuitionistic tagadása.
Alapelv lehet kiszerelni (6) kettős abszurditás elv: Ha B ⊧ A és ¬ B ⊧ A. C, majd minden igaz, hogy a C ⊧ A. kielégíti ezt az elvet negáltja egy variáció Paraconsistent negáció logikai (logikai paraconsistent cm.).
Végül, megtagadása DeMorgan (tulajdonság (2), (3), (4)), amelyhez (5) vagy (6), orto-úgynevezett elutasítást. Ha a vonatkozó becsléseket elfogadott disztributivitás axióma összefüggésben és a szétválás, az o-tagadás tagadása nevű logikai, vagy klasszikus tagadás.
1.2. Belső logikai tagadás
A belső rész a tagadása egyszerű kijelentéseket. Különböztesse megtagadása részeként kötegek (negatív az ínszalag) és feltételei tagadás.
A kifejezés, hogy létrehozzák a tagadása a negatív értelemben. Ezt fejezi ki az előtag „nem ...” vagy közel hozzá a jelentését.
2. Denial természetes nyelven
A természetes nyelv, a helytől függően különbséget tesz a külső és belső tagadás. Külső (propozicionális) tagadás arra szolgál, hogy komplexet képez megnyilatkozás másik (nem feltétlenül egyszerű) kifejezéseket. Az ez által jóváhagyott hiányában a helyzet leírt tagadni nyilatkozatot. Alapján a klasszikus megértése az igazság, hogy milyen ez az érvényesség azt jelenti, hogy abban az esetben, igazság tagadta kimutatások tagadja az állítás hamis, és fordítva. A természetes nyelvi tagadás ez általában kifejezte „Nem igaz, hogy ...” forgalom, majd a negált javaslatot. A belső rész a tagadása egyszerű kijelentéseket.
Különböztesse megtagadása részeként kötegek (negatív az ínszalag) és feltételei tagadás.
A kifejezés, hogy létrehozzák a tagadása a negatív értelemben. Ezt fejezi ki az előtag „nem ...” vagy közel hozzá a jelentését. Ha összevetjük a feltételeket a sor tárgyak, amit képvisel, a negatív kifejezés egyezik mellett megtagadja a kifejezés egy univerzum szempont. Így, megtagadása társított kifejezés komplementációs működését. Az utóbbi lehet terjeszteni más típusú tagadás, ha korrelál olyan kijelentést számos esetben (lehetséges világok, és így tovább), amelyben ez igaz.
3. Denial mesterséges nyelvek
A mesterséges nyelvek szimbolikus logika (lásd. A szimbolikus logika) speciális unary tagadása nevű propozicionális konnektívumokban, használt készítmény előállítását egy másik, bonyolultabb. karakterek általában használják utal tagadása "
"" - „vagy«˥». A klasszikus propozicionális logika formula igaz akkor, ha a képlet hamis, egyébként hamis képlet.
A fentiek alapján az összefüggés a negatív és a működését figyelembe kiegészítők segítségével formalizációs módszer, ez lehet megállapítani bizonyos kapcsolatok külső és belső tagadás. A nem-klasszikus logikák tagadás különböző tulajdonságokkal rendelkeznek a következő sor:
Minimális tagadása megfelel körülmények (1) és (2), és a intuitionistic - tulajdonságok (1), (2) és (4). Minimum tagadás kielégítő ingatlan (3) nevezzük tagadása De Morgan. Végül a tagadás de Morgan, az ingatlan (4) nevezzük tagadása Boole (feltéve, hogy az elosztó axióma összefüggésben és a szétválás).
Ezzel együtt, a tagadás széles körben használt programozási nyelvek alkotnak negatív megnyilvánulásait.