Logica este un domeniu al filozofiei care își propune să studieze structura formală a enunțurilor (propozițiilor) și regulile acestora. Pe scurt, logica servește pentru a gândi corect, fiind astfel un instrument pentru gândirea corectă.
Logica provine din cuvântul grecesc logos, ceea ce înseamnă rațiune, argument sau vorbire. Ideea de a vorbi și a argumenta presupune că ceea ce se spune are un sens pentru ascultător.
Acest sens se bazează pe structura logică, când ceva „are logică” înseamnă că are sens, este un argument rațional.
Logică în filosofie
A fost filosoful grec Aristotel (384 a. C.-322 a. C.) care a creat studiul logicii, el l-a numit analitic.
Pentru el, orice cunoaștere care pretinde a fi adevărată și cunoaștere universală ar trebui să respecte unele principii, principii logice.
Logica (sau analiza) a ajuns să fie înțeleasă ca un instrument de gândire corectă și definirea elementelor logice care stau la baza cunoașterii adevărate.
Principiile logice
Aristotel s-a dezvoltat trei principii de bază care ghidează logica clasică.
1. principiul identității
O ființă este întotdeauna identică cu ea însăși: THE é THE. Dacă înlocuim THE pentru Maria, de exemplu, este: Maria este Maria.
2. Principiul non-contradicției
Este imposibil să fii și să nu fii în același timp sau ca o singură entitate să fie și opusul ei. este imposibil ca. THE fi THE și nu-A, in acelasi timp. Sau, urmând exemplul anterior: este imposibil ca Maria să fie Maria și să nu fie Maria.
3. Principiul terțului exclus sau al terțului exclus
În propoziții (subiect și predicat), există doar două opțiuni, fie afirmative, fie negative: THE é X sau THE é nu-x. Maria este profesoară sau Maria nu este profesoară. Nu există a treia posibilitate.
Vezi și:Logica aristotelică.
Propunerea
Într-un argument, ceea ce se spune și are forma de subiect, verb și predicat se numește propoziție. Propunerile sunt afirmații, afirmații sau respingeri, iar validitatea sau falsitatea lor este analizată logic.
Din analiza propunerilor, studiul logicii devine un instrument pentru gândirea corectă. A gândi corect are nevoie de principii (logice) care să îi garanteze validitatea și adevărul.
Tot ceea ce se spune într-un argument este concluzia unui proces mental (gândire) care evaluează și judecă unele posibile relații existente.
Silogismul
Din aceste principii avem un raționament logic deductiv, adică din două certitudini anterioare (presupuneri) se ajunge la o nouă concluzie, care nu este direct menționată în premise. Aceasta se numește silogism.
Exemplu:
Fiecare om este muritor. (premisa 1)
Socrate este un om. (premisa 2)
Prin urmare, Socrate este muritor. (concluzie)
Aceasta este structura de bază a silogismului și fundamentul logicii.
Cei trei termeni ai silogismului pot fi clasificați în funcție de cantitatea lor (universală, particulară sau singulară) și de calitatea lor (afirmativă sau negativă)
Propunerile pot varia în ceea ce privește calitatea lor în:
- Afirmații: S este P. Fiecare ființă umană este muritoare, Maria este lucrătoare.
- Negative: S nu este P.Socrate nu este egiptean.
De asemenea, pot varia în cantitate în:
- Universale: Fiecare S este P.toți oamenii sunt muritori.
- Privat: Unele S este P. Unii bărbați sunt greci.
- Singuri: Acest S este P.Socrate este grec.
Aceasta este baza logicii aristotelice și a derivărilor sale.
Vezi și tu: Ce este silogismul?
Logică formală
În logica formală, numită și logică simbolică, propunerile sunt reduse la concepte bine definite. În acest fel, ceea ce se spune nu este cel mai important lucru, ci forma sa.
Forma logică a enunțurilor se lucrează prin reprezentarea (simbolică) a propozițiilor prin litere: P, ceși r. De asemenea, va investiga relațiile dintre propoziții prin operatorii lor logici: conjuncții, disjuncții și condiționare.
Logica propozițională
În acest fel, propunerile pot fi lucrate în diferite moduri și servesc drept bază pentru validarea formală a unei afirmații.
Operatorii logici stabilesc relațiile dintre propoziții și fac posibilă înlănțuirea logică a structurilor lor. Cateva exemple:
Negare
Este opusul unui termen sau unei propoziții, reprezentat de simbolul ~ sau ¬ (negarea lui P este ~ p sau ¬ P). În tabel, pentru p adevărat, avem ~ p fals. (e soare = P, nu e soare = ~ P sau ¬ P).
Conjuncție
Este uniunea dintre propoziții, simbolul ∧ reprezintă cuvântul „și” (astăzi este soare și Ma duc la plaja, P ∧ ce). Pentru ca conjuncția să fie adevărată, ambele trebuie să fie adevărate.
Disjuncție
Este separarea între propoziții, simbolul v reprezintă „sau" (Ma duc la plaja sau A sta acasa, P v ce). Pentru validitate, cel puțin unul (sau altul) trebuie să fie adevărat.
Condiţional
Este stabilirea unei relații cauzale sau a unei condiționalități, simbolul ⇒ reprezintă „dacă... atunci..." (dacă a ploua, atunci Voi rămâne acasă, P ⇒ ce).
bi-condițional
Este stabilirea unei relații de condiționalitate bidirecțională, există o dublă implicație, simbolul ⇔ reprezintă „dacă și numai dacă,". (Merg la curs dacă și numai dacă nu sunt în vacanță, P ⇔ ce).
Aplicând la tabelul adevărului, avem:
| P | ce | ~ p | ~ ce | P ∧ ce | P v ce | P ⇒ ce | P ⇔ ce |
|---|---|---|---|---|---|---|---|
| V | V | F | F | V | V | V | V |
| V | F | F | V | F | V | F | F |
| F | V | V | F | F | V | V | F |
| F | F | V | V | F | F | V | V |
Literele F și V pot fi înlocuite cu zero și unu. Acest format este utilizat pe scară largă în logica de calcul (F = 0 și V = 1).
Vezi și tu: Tabelul adevărului.
Alte tipuri de logică
Există mai multe alte tipuri de logică. Aceste tipuri, în general, sunt derivări ale logicii formale clasice, prezintă o critică a modelului tradițional sau o nouă abordare a rezolvării problemelor. Câteva exemple sunt:
1. Logica matematică
Logica matematică este derivată din logica formală aristotelică și se dezvoltă din relațiile sale valorice ale propozițiilor.
În secolul al XIX-lea, matematicienii George Boole (1825-1864) și Augustus De Morgan (1806-1871) erau responsabil de adaptarea principiilor aristotelice la matematică, dând naștere unui nou ştiinţă.
În el, posibilitățile de adevăr și minciună sunt evaluate prin forma lor logică. Propozițiile sunt transformate în elemente matematice și analizate pe baza relațiilor lor dintre valorile logice.
Vezi și tu: Logica matematică.
2. Logica computationala
Logica computațională este derivată din logica matematică, dar depășește acest lucru și se aplică programării computerizate. Fără aceasta, mai multe progrese tehnologice, cum ar fi inteligența artificială, ar fi imposibile.
Acest tip de logică analizează relațiile dintre valori și le transformă în algoritmi. Pentru aceasta, folosește și modele logice care se rup cu modelul propus inițial de Aristotel.
Acești algoritmi sunt responsabili pentru o serie de posibilități, de la codificarea și decodarea mesajelor la sarcini precum recunoașterea facială sau posibilitatea de a folosi autoturisme autonome.
Oricum, întreaga relație pe care o avem cu computerele, în zilele noastre, trece prin acest tip de logică. Fuzionează fundamentele logicii aristotelice tradiționale cu elementele așa-numitei logici neclasice.
3. Logice neclasice
Prin neclasic sau anticlasic, logica este recunoscută o serie de proceduri logice care abandonează unul sau mai multe principii dezvoltate de logica tradițională (clasică).
De exemplu, logica fuzzy (neclar), utilizat pe scară largă pentru dezvoltarea inteligenței artificiale, nu folosește principiul al treilea de excludere. Presupune orice valoare reală între 0 (fals) și 1 (adevărat).
Exemple de logici non-clasice sunt:
- Logică neclar;
- Logica intuiționistă;
- Logică paraconsistentă;
- Logica modală.
Curiozități
Cu mult înainte de orice fel de logică de calcul, logica a servit ca fundament al tuturor științelor existente. Unii aduc acest raționament exprimat în nume propriu folosind sufixul „logy", de origine greacă.
Biologia, sociologia și psihologia sunt câteva exemple care fac relația lor cu logos Greacă, înțeleasă din ideea unui studiu logic și sistematic.
Taxonomia, clasificarea ființelor vii (regat, filum, clasă, ordine, familie, gen și specie), chiar și astăzi, urmează un model logic de clasificare în categorii propus de Aristotel.
Vezi și:
- Raționament logic - Exerciții
- Exerciții de filosofie
