Право на не-противоречие - това

Право на не-противоречие - един от основните принципи на логически разсъждения, според които две vzaimnoprotivorechaschih твърдения не могат да бъдат едновременно верни, т.е., един от тях трябва да е фалшиво ...

Формулировката на този закон датира от софистите. Аристотел формулира закона за недопускане на противоречие главно като универсален принцип, че са най-надеждни от всички начинания ". това е невъзможно, че едно и също нещо в същото време тя е и не е присъщо за същото в същото уважение "(Met. IV, 3, 1005b 20-21). Въпреки това, Аристотел има не онтологична но чисто логически формулировка на закона за недопускане на противоречие: ". най-значимата позиция - е, че се противопоставят една на друга поговорка не може да бъде вярно заедно "(пак там IV на, 7101 фунта 13-14.). Аристотел въведени седем "доказателства" наложителността на този закон.

В съвременната логика на не-противоречие закон може да бъде формулиран за Пропозиционални и предикат за Как да семантично и синтактично равнище; неговата формулировка се модифицира във връзка с характеристиките на разглежданите логически системи. Като цяло, нивото на Пропозиционални логика право идентичен без противоречие е вярно (или доказуема) формула форма -I (А -А): не е вярно, че А и В в същото време не-А. В класическата и интуиционистки предикат логика важи и доказуемо формула на формата - ^ Sx (А (х) -А (х)). Тази формула съответства на принципа, че едно и също нещо не може да има определени свойства, а в същото време не ги има.

Нарушаване на правото на не-противоречие води до факта, че в по-голямата част от добре познатите логично смятане е доказуем някаква формула формулирани на езика на тази смятане, а след това вид логика не е от интерес. Все пак, въпреки този основен закон на не-противоречие, значението му през 1910 г. едновременно и независимо един от друг е бил разпитан от българското логик Н. А. Vasilevym и полския логик Lukasiewicz. Първият опит да се изгради система от логика, отказвайки онтологичния смисъла на закона; втори е сериозно критикуван всички "доказателства" на закона за недопускане на противоречие в Аристотел. В резултат на това в края на века са разработени paraneprotivorechishe логика, в които законът на не-противоречие не е така, и все пак в такива логически системи не са доказуеми нищо.

Литература Аристотел. Оп. об. 1-4. М. 1976-1984; Василиев и сл. А. трябвало логиката: Избрани творби. М. 1989; Църква А. Въведение в математическата логика. М. I960; Lukasiewicz. J. На принципа на противоречие в Aristotle.- "Преглед на Metaphaysics", 1971, кн. 24.

VA Smirnov, A. Karpenko

Вижте какво "не-противоречие ПРАВО" в други речници:

Непротиворечието закон - - един от основните принципи на мотиви, при което две vzaimnoprotivorechaschih изказване не може едновременно да бъде вярно, т.е. един от тях трябва да е фалшива. Формулировката на този закон датира от софистите. Аристотел ... ... Философски Енциклопедия

право на не-противоречие - логически закони, според които изявлението и неговото отрицание не може едновременно да бъде вярно. Законът говори за противоречиви изявления, т.е.. Д. Твърденията, едната от които е отрицание на другия. Оттук и другото име ... Речникът на логически условия

в противоречие със законите - закон без противоречие (законът на противоречието) правото на логика, която гласи, че две несъвместими (противоречива или противниковия) съдебното решение не може да бъде едновременно вярно. Най-малко един от тях трябва да е фалшива. [1] ... ... Wikipedia

право на мисълта - традиционният термин логика означава логическо изискване за перфектен мисъл, имам присъства формално естество, т.е. не зависи от конкретното съдържание на мисълта ... 3. м. Също така се нарича логика или закони (формално) логически закони ... речник логически условия

Закон Mind - - терминът традиционната логика, aoboznanchavshy за перфектен логическо мислене, трябва присъства официално характер, тоест не зависи от специфичната sonderzhaniya мисли ... 3. м. Също така се нарича логически или закони (формално) логически ... ... речник логически условия

ПРАВО НА ЛОГИКА - ПРАВО НА ЛОГИКА Общо название на закони, които са в основата на логически приспадане. Концепцията на законите на логиката датира от древната гръцка концепция за лого е като предпоставка за целта ( "естествен") е правилно разсъждение. Всъщност логично ... ... Философски Енциклопедия

Законът на противоречие - логичен закон, според който изявлението и неговото отрицание не може едновременно да бъде вярно. ZP говори за противоречиви изявления, т.е. на отчети, един от които е отрицание на другия. Следователно друго име ... Философски Енциклопедия

логичен закон - израз, който съдържа само логически константи и променливи и yuscheesya е вярно, в който и да е (не е празна) домейн. Пример за LA. Тя може да бъде всяко право на Пропозиционални логика (например, без противоречие, правото на изключени центъра, ... ... речник на логиката на термини

• Законът на противоречие. Dzhessi Rassel. Тази книга ще бъде направено в съответствие с вашата поръчка на технологии технология за печат при поискване. Високо качество на съдържанието от статиите в Уикипедия! без противоречие право (правото на противоречие) - закон ... Прочетете още Купи за 950 рубли