Lwa a nan mitan an eskli - yon prensip debaz yo nan lojik

lwa de baz nan lojik ka tankou nan prensip yo ak règleman aplikab nan lanati. Sepandan, yo gen spesifik pwòp yo, omwen ki pa opere nan mond lan bò kote nou, ak nan avyon an nan panse imen. Men, sou lòt men an, prensip yo te adopte nan lojik la, diferan de règ legal sa yo ke yo pa kapab undone. Yo se objektif ak aji kont volonte nou an. Natirèlman, ou pa ka diskite nan akò ak prensip sa yo, men Lè sa a enferans a rezonab se diman nenpòt moun ki panse.

Lojik lalwa - yon gwo poto nan syans, tou de natirèl ak imen. Si nan lavi chak jou ou ka toujou apresye nan koule nan santiman ki enkonpatib ak règleman yo nan konstriksyon ak devlopman a nan panse, li se posib yo ki pèmèt twou vid ki genyen nan lojik, travay la grav oswa diskisyon tout moun ki tankou yon apwòch se akseptab. Pou fondasyon an nan nenpòt ki baz prèv yo prensip yo nan jijman kòrèk la.

Ki sa ki yo se kèk règ sa yo? Twa nan yo yo te dekouvri nan antikite pa Aristòt: li se prensip la nan konsistans, règ la nan idantite ak lalwa Moyiz la nan mitan an eskli. Plizyè syèk annapre, Leibniz dekouvri yon lòt prensip - ase rezon. Tout twa lwa nan lojik fòmèl, dekri nan Aristòt inséparabl konekte. Si nou asime pou yon moman ke youn umopostroeny lyen manke, lè sa kòm yon kay nan kat, ak sezon otòn la repo.

ka Lwa a nan mitan an eskli dwe rezime jan sa a: «twazyèm pati ki pa datur» oswa «pa gen okenn twazyèm opsyon". Si nou eksprime de fraz kontradiktwa konsènan menm matyè a (oswa yon seri de objè oswa fenomèn), youn pwopozisyon yo pral vre, ak lòt la - pa gen okenn. Ant deklarasyon sa yo pa ka bati pou kèk twazyèm, ki ta te pote ansanm de gwo oswa sèvi nan ant lojik la pon konekte. Egzanp lan pi senp nan mitan an eskli: "Bagay sa a se blan" ak "bagay Sa a se pa blan." Men, li travay sèlman lè de santiman yo opoze te eksprime sou menm bagay yo tan sa a ak sou tèm yo menm.

eskli lalwa mitan antre nan nan fòs ak ki lè jijman ki genyen ant A ak B gen kontrèr oswa kontradiktornaya enkonpatibl. Premye a - yon deklarasyon de vi opoze a. Pou egzanp, pwopozisyon an "Tè a vire toutotou solèy la" ak "solèy la vire toutotou tè a" yo se kontrèr. Kontradiktornoe kontradiksyon rive lè fraz Yon reklamasyon yo ak B nye anyen: "Ponpye chofe," ak "dife se frèt". Li se tou yon kontradiksyon fèt ant patikilye a ak jijman ki soti jeneral, lè yon pozitif ak lòt la - ". Pa gen elèv pa gen okenn diplòm" yon negatif, "Gen kèk elèv yo deja gen diplòm" ak

Pa panse, espesyalman nan syans, kondisyon espesyal: konsistans, detèminasyon konsistans. Lwa a nan mitan an eskli - yon mezi nan verite a nan rezònman nou an. Pou egzanp, si nou di ke "Bondye - tout-bon", lè sa a fraz la "Bondye te bay mitan soufrans p'ap janm fini an nan lanfè pou moun k'ap fè peche," se san sans. Si nou di Bondye te kreye yon kote nan touman p'ap janm fini an pou yon lòt moun, lè sa a li enposib reklamasyon ke li - Bon. Depi Bondye kòm objè a nan konklizyon nou an pa gen dwa gen pou fèt kontrè ak siy ki montre yo, kèk nan de fraz yo nan pi wo a se vre, Lè sa a, dezyèm lan - fo. Twazyèm lan se pa sa bay yo.