Törvény nem ellentmondás - a
Törvény nem ellentmondás - az egyik alapelve a logikus érvelés, amely szerint a két vzaimnoprotivorechaschih állítások nem lehetnek egyszerre igazak, vagyis egyikük hamisnak kell lennie ...
A megfogalmazás a törvény nyúlik vissza, a szofisták. Arisztotelész fogalmazott a törvény nem ellentmondás elsősorban egyetemes elv, hogy a legmegbízhatóbb minden kezdet”. lehetetlen, hogy ugyanazt a dolgot ugyanabban az időben volt, és nem volt benne rejlő hogy ugyanazt az ugyanabban a tiszteletben „(Met. IV, 3, 1005b 20-21). Ugyanakkor Arisztotelész még nem ontológiai, hanem tisztán logikai megfogalmazása a törvény nem ellentmondás:”. a legjelentősebb helyzetben - az, hogy egymással szemben mondás nem lehet igaz együtt „(uo IV, 7101 lb 13-14.). Arisztotelész bevezetése hét „bizonyítékokat” nélkülözhetetlenségét ezt a törvényt.
A modern logika nem ellentmondás joga lehet kiszerelni propozicionális és állítmány a Hogyan szemantikai és szintaktikai szinten; A készítményt módosított kapcsolatban jellemzői a vizsgált logikai rendszereket. Általánosságban, a szintje propozicionális logika jog azonos, nem ellentmondás igaz (vagy kimutatható) képlet formájában -i (A -A): nem igaz, hogy az A és B egyidejűleg nem-A. A klasszikus és intuitionistic elsőrendű logika érvényes, és bizonyítható képlete formájában - ^ Sx (A (x) -A (X)). Ez a képlet felel meg az elvet, hogy ugyanazt a dolgot nem lehet egy bizonyos tulajdonság, és ugyanakkor nincs rájuk.
A törvénysértés nem 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. Annak ellenére, hogy ez az alapvető jog nem ellentmondás, annak fontossága 1910-ben egyidejűleg és egymástól függetlenül is megkérdőjelezték a magyar logikusnak N. A. Vasilevym és a lengyel logikus Lukasiewicz. Az első kísérletet, hogy össze egy rendszer logikája, elutasító ontológiai a törvény értelmében; Egy második súlyosan bírálta a „bizonyíték” a törvény nem ellentmondás Arisztotelész. Ennek eredményeként, a század végén fejlesztették paraneprotivorechishe logikát, amelyet a törvény nem ellentmondás nem ez a helyzet, és mégis oly logikus rendszert nem bizonyítható semmi.
Irod Arisztotelész. Op. kötet. 1-4. M. 1976-1984; Vasziljev ff. A. A feltételezett logika: Selected Works. M. 1989, Church A. Bevezetés a matematikai logika. M. i960; Lukasiewicz. J. Az ellentmondás elvét Aristotle.- "Review of Metaphaysics", 1971 v. 24.
VA Smirnov, A. Karpenko
Nézze meg, mi a „nem ellentmondás törvénye” más szótárak:
Noncontradiction JOG - - az egyik alapelve az érvelés, amely szerint két vzaimnoprotivorechaschih megnyilatkozás nem lehet egyszerre igaz, vagyis, egyikük hamisnak kell lennie. A megfogalmazás a törvény nyúlik vissza, a szofisták. Arisztotelész ... ... Filozófiai Enciklopédia
törvény nem ellentmondás - logikai törvény, amely szerint a nyilatkozatot, és annak tagadásával nem lehet egyszerre igaz. A törvény beszél ellentmondó nyilatkozatok, azaz a. E. A nyilatkozatokat, amelyek közül az egyik a tagadása a másikat. Ezért a másik nevet ... A szótár logikai kifejezések
ellentétes jogszabályok - a törvény nem ellentmondás (a törvény ellentmondás) a törvény a logika, amely kimondja, hogy két, egymással összeegyeztethetetlen (egymásnak ellentmondó vagy ellentétes) a határozatot nem lehet egyszerre igaz. Legalább egyikük hamisnak kell lennie. [1] ... ... Wikipedia
törvény a gondolat - a hagyományos kifejezés logikai kifejezés logikai követelmény a tökéletes gondolat, van jelen formális jellegű, vagyis nem függ a konkrét tartalmát a gondolat ... 3. m. Más néven logikai vagy törvények (formálisan) logikai törvények ... szótár logikai kifejezések
Nem baj, Act - - a kifejezés hagyományos logika aoboznanchavshy tökéletes logikus gondolkodás, van jelen a hivatalos jellegű, azaz nem függ a konkrét sonderzhaniya gondolatok ... 3. m. Más néven logikai vagy törvények (formálisan) logikai ... ... szótár logikai kifejezések
TÖRVÉNYE LOGIC - TÖRVÉNY LOGIC általános megnevezése törvények alapját képezik logikus következtetés. A koncepció a logika törvényei megy vissza az ókori görög fogalma logók e előfeltételeként a cél ( „természetes”) helyes érvelés. Tulajdonképpen logikus ... ... Filozófiai Enciklopédia
A törvény az ellentmondás - logikai törvény, amely szerint a nyilatkozatot, és annak tagadásával nem lehet egyszerre igaz. ZP beszél ellentmondó nyilatkozatok, azaz nyilatkozatok, amelyek közül az egyik a tagadása a másikat. Ezért egy másik nevet ... Filozófiai Enciklopédia
logikai jog - egy kifejezés, amely csak a logikai állandók és a változók és yuscheesya igaz minden (nem üres) tartományban. Egy példa a LA. Ez lehet bármilyen jog propozicionális logika (például nem ellentmondás, a törvény a kizárt közepén, ... ... szótár logikai kifejezések
- A törvény az ellentmondás. Dzhessi Rassel. Ez a könyv lesz összhangban a rendelését Technology Print-on-Demand technológiát. High Quality Content Wikipedia cikket! nem ellentmondás törvény (a törvény ellentmondás) - Jog ... Tovább Vásárlás 950 rubelt