Baztertutako erditik legeak - logika oinarrizko printzipioa

Oinarrizko logika legeak egon printzipio eta naturan aplikagarri arauak dela esan daiteke. Hala ere, bere berezitasunak dituzte, gutxienez, hori ez munduan jarduten gure inguruan, eta giza pentsamenduaren planoan. Baina, beste alde batetik, logika hartutako printzipioak, lege-arau desberdinak dira, beraz, ezin da desegin. Helburua dira eta gure borondatearen aurka jarduteko. Jakina, ezin duzu printzipio horien arabera argudiatzeko, baina gero zentzuzko inferentzia da ia inork pentsatzen.

Logikoa legeak - zientzia-adarrean, bai naturalak eta giza. Bada eguneroko bizitzan oraindik dezakezu hori eraikuntza eta pentsamenduaren garapen-arauak bateraezinak dira sentimenduak fluxua Indulge, posible da logika hutsuneak ahal izateko, lan serioa edo eztabaida esaterako planteamendu baten onartezina da. Edozein evidentiary oinarria fundazio For epaia zuzena printzipioak dira.

Zer dira arau horiek? Horietako hiru zituzten antzina aurkitu Aristotelesen arabera: koherentzia printzipioa, identitate araua eta baztertuen erdiko legea da. Mende batzuk geroago, Leibniz aurkitutako printzipio beste - nahikoa arrazoi. Hiru lege guztiak logika formal, deskribatu Aristotelesen arabera inseparably elkarri lotuak. une batez suposatuko dugu link umopostroeny hori, falta gero karta-etxe bat, eta gainerakoa udazkenean bezala bada.

baztertutako erditik legeak honela laburbildu daiteke: «tertium non datur» edo «Hirugarren aukera dago". gai berari axola (edo objektu edo fenomeno-multzo bat) buruzko bi esaldi kontraesankorra adierazteko badugu, proposizio bat egiazkoa izango da, eta beste - no. Between adierazpen horiek ezin dira hirugarren batzuk, eta horrek ekarri zukeen elkarrekin bi nagusien edo zerbitzatzen ere lotzen zubi logika artean eraiki. baztertutako erditik adibide errazena: "Gauza hau zuria da" eta "gauza hau ez da zuria." Baina bakarrik lan egiten denean, kontrako bi sentimendu izan dira gauza aldi honetan eta baldintza berean adierazten da.

baztertutako erditik Legea indarrean noiz eta A eta B arteko epaia daude kontrakoak edo kontradiktornaya bateraezintasun sartzen. Lehen - kontrako ikuspegitik adierazpen bat. Adibidez, proposizioaren eta "eguzkia lurra inguruan" "Lurra eguzkiaren inguruan biraka", kontrakoak dira. Kontradiktornoe kontraesana sortzen denean esaldi A erreklamazioak eta B ukatzen ezer: "Fire iristen denean," eta "Fire hotza da". Ere, ez da kontraesana zehatz eta epaiak orokorra, noiz bata positiboa eta bestea bitartean gertatzen - ". Ez dago ikasleen diploma ez du" negatiboa "Ikasle batzuk dagoeneko diplomak" eta

koherentzia, koherentzia determinazio:, pentsatzen batez zientzian, behar bereziak By. baztertutako erditik legeak - gure arrazoibide egia neurri bat. Adibidez, "Jainkoa - all-ona" esaten badugu, orduan zigorraren "Jainkoak eman betiereko infernuko oinazeak bekatari," zentzugabeak. Jainkoak betiko oinaze-toki bat sortu du beste norbaitek esan badugu, ezinezkoa da zuela aldarrikatzen - Good. Jainkoak geroztik gure konklusio objektu gisa agian ez da izango seinaleak kontra, bi goiko esaldi batzuk egia da, gero bigarren - faltsua. Hirugarrena ez da ematen.