[L01] ce este logica?

deci, ce este logica? Pe scurt, am putea defini logica ca studiul principiilor raționamentului corect. Aceasta este o definiție brută, deoarece modul în care logica ar trebui definită corect este de fapt o chestiune destul de controversată. Cu toate acestea, în scopul acestui tur, ne-am gândit că ar fi util să vă oferim cel puțin o idee brută cu privire la subiectul pe care îl veți studia. Deci, aceasta este ceea ce vom încerca să facem pe această pagină.

§1., Logica nu este psihologia raționamentului

un lucru pe care ar trebui să-l notați despre această definiție este că logica este preocupată de principiile raționamentului corect. Studierea principiilor corecte ale raționamentului nu este același lucru cu studierea psihologiei raționamentului. Logica este fosta disciplină și ne spune cum ar trebui să raționăm dacă vrem să raționăm corect. Dacă oamenii respectă de fapt aceste reguli de raționament corect este o chestiune empirică, ceva care nu este preocuparea logicii. psihologia raționamentului, pe de altă parte, este o știință empirică., Ne spune despre obiceiurile reale de raționament ale oamenilor, inclusiv greșelile lor. Un psiholog care studiază raționamentul ar putea fi interesat de modul în care capacitatea oamenilor de a raționa variază odată cu vârsta. Dar astfel de fapte empirice nu privesc logicianul.

§2. Principiile logicii

deci, care sunt aceste principii de raționament care fac parte din logică? Există multe astfel de principii, dar principalul (nu singurul) lucru pe care îl studiem în logică sunt principiile care guvernează validitatea argumentelor – dacă anumite concluzii rezultă din unele ipoteze date., De exemplu, luați în considerare următoarele trei argumente :

aceste trei argumente aici sunt, evident, argumente bune, în sensul că concluziile lor rezultă din ipoteze. Dacă ipotezele argumentului sunt adevărate, concluzia argumentului trebuie să fie, de asemenea, adevărată. Un logician ne va spune că acestea sunt toate cazurile de o anumită formă de argument cunoscut sub numele de” modus ponens”:

dacă P, atunci Q. P. Prin urmare, Q.

vom discuta despre validitatea din nou mai târziu. Trebuie subliniat faptul că logica nu se referă doar la validitatea argumentelor., Logica studiază, de asemenea, coerența, adevărurile logice și proprietățile sistemelor logice, cum ar fi completitudinea și soliditatea. Dar vom vedea că aceste alte concepte sunt, de asemenea, foarte mult legate de conceptul de valabilitate.§3. Neutralitatea subiect

Modus ponens ar putea fi folosite pentru a ilustra două caracteristici abouthe reguli de raționament în logică. Prima caracteristică este a luistopic-neutralitate. După cum sugerează cele patru exemple, modus ponenspot fi utilizate în raționamentul despre diverse subiecte. Acest lucru este valabil pentru toateprincipiile raționamentului în logică., Legile biologiei ar putea fi adevărate doar pentru creaturile vii, iar legile economiei sunt aplicabile doar colecțiilor de agenți care se angajează în tranzacții financiare. Darprincipiile logicii sunt principii universale care sunt mai generaledecât Biologia și economia. Acest lucru este în parte ceea ce este implicat în următoarele definiții de logica de doi foarte celebru logicieni :

… numele unei discipline care analizează semnificația conceptelor comune tuturor științelor și stabilește legile generale care reglementează conceptele.,

§4. Necesitatea în logică

o a doua caracteristică a principiilor logicii estecă acestea nu sunt contingente, în sensul că nu depind deorice caracteristici accidentale particulare ale lumii., Fizica și celelalteștiințele empirice investighează modul în care lumea este de fapt.Fizicienii ne-ar putea spune că niciun semnal nu poate călători mai repede decât viteza luminii, dar dacă legile fizicii ar fi fost diferite, atunci probabil că acest lucru nu ar fi fost adevărat. În mod similar, biologii ar puteastudia modul în care delfinii comunică între ei, dar dacă cursul evoluției ar fi fost diferit, atunci probabil că delfinii nu ar fi existat. Deci teoriile din științele empirice sunt condiționatesensul că ar fi putut fi altfel., Principiile logicii, pe de altă parte, sunt derivate numai prin raționament, iar validitatea acestoranu depinde de nici o caracteristică contingentă a lumii.de exemplu, logica ne spune că orice afirmație a formularului „IfP atunci P.” este neapărat adevărată. Acesta este un principiu al celui de-al doilea tip pe care îl studiază logicianul. Acest principiu ne spune că o afirmație precum” Dacă plouă, atunci plouă ” trebuie să fie adevărată. Putem vedea cu ușurință că acesta este într-adevăr cazul, indiferent dacă plouă sau nu.,Mai mult, chiar dacă legile fizicii sau modelele meteorologice au fostschimba, această afirmație va rămâne adevărată. Astfel, spunem că științifictruturile (matematica deoparte) sunt contingente, în timp ce adevărurile logice sunt necesare. Din nou, acest lucru arată modul în care logica este diferită de științele empirice, cum ar fi fizica, chimia sau biologia.

§5. Logica formală și informală

uneori se face o distincție între logica informală și logica formală.Termenul „logică informală” este adesea folosit pentru a însemna același lucru cugândirea critică., Uneori este folosit pentru a se referi la studiulrezonări și erori în contextul vieții de zi cu zi. „Logica formală” se referă în principal la sistemele formale de logică. Acestea sunt sisteme special concepute pentru realizarea dovezilor, în care limbile și regulile de raționament sunt definite precis și cu atenție. Logica sentențială (cunoscută și sub numele de „logică propozițională”) și logica predicatului sunt ambele exemple de sisteme formale de logică.există multe motive pentru studierea logicii formale., Unul este că formallogic ne ajută să identificăm modele de raționament bun și modele de badreasoning, așa că am știu ce să urmeze și pe care să le evite. Din acest motivstudierea logicii formale de bază poate contribui la îmbunătățirea gândirii critice. Formalsistemele de logică sunt de asemenea folosite de lingviști pentru a studia limbile naturale.Informaticienii folosesc, de asemenea, sisteme formale de logică în cercetarerelaționând cu inteligența Aritificială. În cele din urmă, mulți filosofi alsolike să utilizați logica formală atunci când se ocupă cu complicată philosophicalproblems, în scopul de a face raționamentul lor mai explicit și precis.§6., Lecturi suplimentare

• intrări pe logicăîn enciclopedia Stanford de Filosofie. Acestea sunt articole dificile despre filosofia logicii.