Legea non-contradicție - aceasta

Legea non-contradicție - unul dintre principiile de bază ale raționamentului logic, potrivit căruia cele două declarații vzaimnoprotivorechaschih nu poate fi valabil atât, și anume, una dintre ele trebuie să fie false ...

Formularea acestei legi datează sofiști. Aristotel a formulat legea non-contradicție în primul rând ca un principiu universal de a fi cea mai fiabilă a tuturor începuturilor“. este imposibil ca același lucru, în același timp era și nu era inerentă aceeași în același sens „(Met. IV, 3, 1005b 20-21). Cu toate acestea, Aristotel are formulare nu ontologică, ci pur și simplu logică a legii non-contradicție:“. cea mai semnificativă poziție - este că, opunându-se spune nu poate fi adevărat împreună „(ibid IV, 7101 lb 13-14.). Aristotel a introdus șapte „dovezi“ indispensabilitatea acestei legi.

În logica modernă a legii non-contradicție poate fi formulată pentru propozițiilor și predicat pentru modul de a semantic și sintactic pe nivel; formularea sa este modificată în legătură cu caracteristicile sistemelor logice luate în considerare. În general, nivelul dreptului logicii propoziționale identic noncontradicției este formula adevărată (sau demonstrabile) de forma -i (A -A): nu este adevărat că A și B în același timp non-A. In logica predicatelor clasic și intuitionistic este formulă de forma validă și demonstrabil - ^ Sx (A (x) -A (x)). Această formulă corespunde principiului că același lucru nu poate avea o anumită proprietate, și, în același timp, nu-i au.

Încălcarea legii noncontradicției conduce la faptul că, în majoritatea calcul logic bine-cunoscut este demonstrabilă orice formulă formulată în limba acestui calcul, și apoi un fel de logica este de nici un interes. Cu toate acestea, în ciuda acestei legi fundamentale non-contradicție, importanța sa în 1910, simultan și independent unul de altul a fost interogat de logicianul român N. A. Vasilevym și logician polonez Lukasiewicz. Primul a încercat să construiască un sistem de logică, refuzul de sensul ontologic al Legii; a doua a fost grav criticat toate „dovezile“ a legii non-contradicție în Aristotel. Ca urmare, până la sfârșitul secolului au fost dezvoltate paraneprotivorechishe logica în care legea non-contradicție nu este cazul, și totuși, în astfel de sisteme logice nu sunt nimic demonstrabile.

Lit. Aristotel. Op. vols. 1-4. M. 1976-1984; Vasiliev ff. A. presupus logică: Lucrările selectate. M. 1989; Biserica A. Introducere în logica matematică. M. I960; Lukasiewicz. J. Pe principiul contradicției în Aristotle.- „Revizuirea Metaphaysics“, 1971, v. 24.

VA Smirnov, A. Karpenko

Vezi ce „lege non-contradicție“ în alte dicționare:

Noncontradicției DREPT - - unul dintre principiile de bază ale raționamentului, prin care două enunț vzaimnoprotivorechaschih nu poate fi adevărat ambele, adică, una dintre ele trebuie să fie false. Formularea acestei legi datează sofiști. Aristotel ... ... Filozofic Enciclopedia

legea non-contradicție - legea logică, potrivit căreia declarația și negația ei nu pot fi ambele adevărate. Legea vorbește despre declarații contradictorii, adică. E. Declarațiile, dintre care unul este negarea celuilalt. De aici și celălalt nume ... Dicționarul de termeni logice

contrar legilor - legea non-contradicție (legea contradicției) legea logicii, care prevede că două incompatibile (contradictorii sau opuse) hotărârea nu poate fi simultan adevărate. Cel puțin unul dintre ei trebuie să fie false. [1] ... ... Wikipedia

legea de gândire - logica termenul tradițional reprezintă o cerință logică pentru un gând perfectă, am prezenta un caracter formal, adică nu depinde de conținutul specific de gândire ... 3. m. De asemenea, numit logica sau legi (formal) legi logice ... Dicționar termeni logice

Mind Act - - logica tradițională termenul, aoboznanchavshy pentru o gândire logică perfectă, au prezent un caracter formal, adică nu depinde de un anumit gânduri sonderzhaniya ... 3. m. De asemenea, numit logice sau legi (formal) logice ... ... termeni logice Dicționar

LEGEA logicii - LEGEA logicii numele general al legilor care stau la baza deducție logică. Conceptul de legile logicii merge înapoi la conceptul antic grecesc logos e ca o condiție prealabilă pentru obiectivul ( „natural“) este raționamentul corect. De fapt, logic ... ... Filozofic Enciclopedia

Legea contradicției - o lege logică, potrivit căreia declarația și negația ei nu pot fi ambele adevărate. ZP vorbește despre declarații contradictorii, de exemplu, declarațiilor, dintre care unul este negarea celuilalt. Prin urmare, un alt nume ... Filozofic Enciclopedia

legea logică - o expresie care conține constante numai logice și variabile și yuscheesya este valabil în orice domeniu (non-gol). Un exemplu de LA. Acesta poate fi orice lege a logicii propoziționale (de exemplu, non-contradicție, legea mijloc exclus, ... ... dicționar al logicii termenilor

• Legea contradicției. Dzhessi Rassel. Această carte va fi făcută în conformitate cu comanda pe tehnologia de imprimare Tehnologie-on-Demand. Conținutul de calitate înaltă prin articole wikipedia! drept non-contradicție (legea contradicției) - Legea ... Citeste mai mult Vand pentru 950 de ruble