Ce se întâmplă dacă aveți mai mult de o logică

După notele pe care logica - unul. Am primit o scrisoare de la un cititor de Gregory:

Din păcate, această credință în logica poate face un deserviciu.

În matematică folosind logica formală înseamnă este dovedit că formula „dacă A și B trebuie să fie de la B C, apoi de la A și B să fie simultan și C» este t. N. tautologie valabil pentru orice declarație A, B, C. În același timp, viața reală nu vrea să fie în cadrul logicii formale.

Fie A = «Grisha are 100 de ruble», B = «Grisha ar putea merge la film», C = «Grisha poate mânca tort.“ Din loialitate față de acuzațiile „Grisha a 100 $, atunci se poate merge la film“ și „Grisha au 100 de ruble, aceasta poate însemna să mănânce tort“ ar trebui să urmeze declarația de loialitate „Grisha a 100 $, atunci el poate mânca plăcintă, și du-te la filme „, care, având în vedere cantitatea limitată de ruble, de fapt, nu este adevărat :-)

Aceasta nu este o capcană logică, este un exemplu de faptul că logica formală, care lucrează în matematică, să nu funcționeze în alte domenii ale cunoașterii. În acest caz, vom salva logica modală. Care este al doilea într-un rând :-) logica - nu unul :-)

Aceasta este o situație destul de tipic - atunci când o persoană nu știe cum să se ocupe cu logica, el crede că problema este în logica și nu în ea. „Credința în logica“ fără a înțelege că poate face un deserviciu - ca orice altă credință, așa că hai să încercăm să se mute de la credință la înțelegere și vom înțelege cu ceea ce se întâmplă aici.

Într-adevăr, (A → B) (A → C), dacă și numai dacă A → (BC) (aici sunt pe tradiția matematică împreună a scrie ceea ce este multiplicat, atunci nu este „i“). Pentru a verifica acest lucru:

Toate formulele logicii au dovedit întotdeauna tabele de adevăr, trimite departe pe cei care te face să-i retragă unul de altul - un lucru trist în viață nu este găsit. tabele de adevăr pentru (A → B) (A → C) și A → (BC) coincid, declarații mijloace echivalente. Scriem aceste declarații în limba rusă sincer:

(A → B) (A → C): Din ceea ce Grisha este de 100 $, rezultă că Grigorie poate merge la cinema, chiar și din faptul că Grisha este de 100 $, rezultă că Grigorie poate mânca turtiță.
A → (BC): Din ceea ce Grisha este de 100 $, rezultă că Grigorie poate merge la cinema și Gregory poate mânca turtiță.

Ultima afirmație este destul de adevărat: Grisha de fapt, disponibile ambele opțiuni, și se poate face pe amândouă. Dacă utilizați una dintre posibilitățile, el va pierde celălalt, pentru că nu va mai fi o sută de ruble, premisa va fi greșit, și, astfel, afirma fidelitatea față de ancheta va fi deja imposibil. Apropo, în declarațiile inițiale, în general, sunt date suficiente pentru a judeca veridicitatea declarațiilor lui Grigorie: Presupunem numai din experienta de viata pe care atunci când te duci la film sau să mănânce plăcintă, deveniți la 100 $ mai puțin.

De ce există un sentiment că există o captură? Deoarece oamenii rumynskogovoryaschy înțeleg expresia „și să mănânce o plăcintă și du-te la filme,“ nu atât de mult încât ambele sunt disponibile ambele opțiuni, precum și, că, dacă Grisha merge la film, el a avut încă bani rămași la tort, sau, în cazul în care el va mânca tort, au el încă mai au rămas bani pe film. Dar acest lucru este nu corespunde sensul declarațiilor A → (BC). Gregory tocmai a pierdut în labirintul logicii și a limbii române.

Cu limba, la toate genul de lucru pe care Ivan da Marya - acest lucru nu este neapărat conjuncția Ivan și Marya. Dar asta nu este un motiv să se afirme că „în conjuncție logică botanică a oamenilor dă plantei.“ Dacă există o disciplină a „logicii modale“, care introduce unitatea, ajutând la eliminarea unor astfel de erori din cauza modalități „poate“ de tip, atunci pentru numele lui Dumnezeu, cu siguranță, undeva convenabil. Doar în cazul în care nu se supune legilor logicii, acesta poate fi aruncat în condiții de siguranță departe.

Ce se întâmplă dacă aveți mai mult de o logică? Învățați logica până când devine una.

Consultări pe Skype
cu privire la proiectarea de site-uri și aplicații
10 000 ₽ / oră