LOGICA FORMALĂ: OBIECT DE STUDIU, CARACTERISTICI ȘI EXEMPLE - FILOZOFIE - 2025

Logica formală , de asemenea , numit logica teoretice sau matematice logice, care determină forme de motivare valide și corecte sunt. Prin această practică căutăm să diferențiem ceea ce este corect de ceea ce este incorect.

În logica formală, simbolurile sunt utilizate fără ambiguitate și în cel mai clar mod posibil, astfel încât acestea nu pot fi manipulate. Datorită acestei practici este posibil să vă dezvoltați propriile idei.

Alfred North Whitehead a fost unul dintre susținătorii logicii formale. Sursa: Wellcome Trust

Cuvântul „logică” provine din greaca antică λογικήlogik ḗ, care înseamnă „înzestrat cu rațiune intelectuală, dialectică, argumentativă”. Logica este una dintre ramurile filozofiei și matematicii și este considerată de mare folos pentru aceste discipline.

În general, logica studiază forma gândirii. Primele lucrări realizate în legătură cu logica sunt atribuite filosofului grec Aristotel, motiv pentru care este cunoscut ca părintele fondator al acestei zone de gândire.

De-a lungul istoriei, diferiți filosofi, matematicieni și logici au apărat logica formală. Printre ei putem numi Biserica matematicianului și logicianului Alonzo; filosoful, matematicianul și logicianul Gottlob Frege; și matematicianul și filozoful Alfred North Whitehead.

Alfred Tarski, KurtGödel, Bertrand Russell și Willard Van Orman Quine, printre alții, au fost, de asemenea, mari apărători.

Obiectul studiului

Logica formală folosește aspecte precum raționamentul, conceptul, judecățile și demonstrația ca obiect de studiu. Din aceste elemente analizează și studiază toate resursele limbajului și semanticii, pentru a ajunge la o concluzie.

În acest sens, se stabilește că în logica formală raționamentul este studiat din punct de vedere structurat, din valabilitatea sau invaliditatea acestuia.

Logica formală nu este un studiu empiric al procesului de raționament. Nici nu trebuie confundat cu persuasiunea, deoarece are nevoie de structura argumentelor pentru a obține o concluzie.

Această logică este cunoscută și ca logică teoretică sau pură și urmărește să efectueze un studiu abstract al conținutului sau al formelor logice ale argumentelor, enunțurilor, propozițiilor și propozițiilor folosite afirmativ.

Efectuarea unui studiu exhaustiv al modelelor logice formale va permite fiecărui individ să cunoască cu exactitate procedurile asociate gândirii sale.

caracteristici

Mai jos sunt cele mai particulare caracteristici care diferențiază logica formală de alte tipuri de logică:

-Este o știință care studiază forma premisei, spre deosebire de alte tipuri de logică care studiază doar materialul.

-Este o structură fără materie.

-Este stabilită într-un subset de sisteme formale.

-Aplică metode atât de eficiente încât prin logica formală poți distinge ceea ce este greșit de ceea ce este corect.

-Concluziile raționării corecte sau ale validității apar deoarece structura premiselor adevărate este analizată.

-Studiați și analizați oamenii pentru a ajunge direct la gândire și astfel puteți stabili noi modele în mintea fiecărui individ.

-Se caracterizează prin a fi simbolic.

-Din punctul de vedere al unei științe formale, joacă un rol important în matematică, filozofie, informatică și statistică.

-Este legat de gramatică datorită studierii semanticii.

-Structuri de studiu, motiv pentru care este comparat cu matematica.

-Este legat și de psihologie, deoarece se concentrează pe studiul gândirii fiecărui individ.

Tipuri

Logica deontică

Provine din greaca antică δέον déon și înseamnă „ceea ce se cuvine” sau „ceea ce este necesar”. Logicianul austriac Alois Höffler este pionierul acestui concept, care se referă la studiul și analiza normelor.

Logica bivalentă

Este tipul de logică care acceptă doar valori adevărate și false. Nu crede în nuanțe, totul este negru sau alb; scala de gri este imposibilă în acest tip de logică.

Principiile sale se bazează pe logica aristotelică, care sunt identitatea, non-contradicția și terții excluși.

Logică multivalentă sau polivalentă

Acest tip de logică s-a născut ca urmare a studiilor efectuate de filosofii Jan Łukasiewicz și Emil Post, în care afirmă că alte valori decât cele „comune” și „false” deja comune pot fi admise și că aceste valori pot ajunge practic catre infinit.

În acest sens diferă de logica bivalentă, care nu admite decât două valori. Studiile arată că logica multivalentă sau polivalentă gestionează valori precum posibilitatea, necesitatea, non-necesitatea, adevărul, falsitatea și imposibilitatea.

De asemenea, acest tip de logică formală se ocupă și de studierea aspectelor filozofice și structurale ale argumentelor.

Exemple

Prin logica formală este posibil să se adauge o valoare a adevărului sau falsitatea unui raționament specific.

După cum am explicat anterior, logica formală nu se concentrează asupra tuturor posibilităților care pot fi extrase dintr-un argument; se concentrează numai dacă acest lucru este adevărat sau fals. În acest sens, mai jos enumerăm câteva exemple bazate pe logica formală:

-Buenos Aires este capitala Argentinei; apoi, toți cei născuți în Buenos Aires sunt argentinieni.

-Joao vorbește portugheză. Joao s-a născut în Portugalia. Toată lumea din Portugalia vorbește portugheză.

-Vacile dau lapte. Vacile sunt mamifere. Toate mamiferele dau lapte.

-Pedro este alb și María este brunetă, deci sunt oameni albi și maro.

-María cântă în orchestra rock. Muzicienii sunt cei care cântă în orchestra rock. Maria este muziciană.

-José are părul negru. Elena are părul castaniu. Fiica lor s-ar putea naște cu părul negru sau maro.

-Piciorul are cinci degete. Ființele umane au piciorul drept și piciorul stâng. Fiecare persoană are zece degete.

-Spain este o țară. Spania rămâne în Europa. Toți spaniolii sunt europeni.

- Ana este o ființă vie. Ana este muritoare. Toate viețuitoarele sunt muritoare.

- José s-a udat de apă. Apa se udă.

- Maria și-a mâncat mâncarea caldă. Maria s-a ars mâncând mâncarea ei fierbinte. Mâncarea caldă arde.

- Pământul face parte din univers. În univers există planete. Pământul este o planetă.

- Lumina electrică se aprinde. Există lumină electrică pe străzi. Lumina electrică luminează străzile.

Referințe

1. „Logica formală” în enciclopedia Lumii Noi. Preluat pe 21 aprilie 2019 din enciclopedia New World: newworldencyclopedia.org.
2. Morton L. Schagrin Ge Hughes „Logica formală” în preluat pe 21 aprilie 2019 de la Britannica: britannica.com.
3. „Logica și clasificarea acesteia” în Academie. Preluat pe 23 aprilie 2019 de la Academia: academia.edu.
4. „Logica formală” în Dicționarul Filozofic. Preluat pe 23 aprilie 2019 din Dicționarul Filozofic: filozofie.org.
5. „Logică polivalentă” în Dicționarul filosofic. Preluat pe 23 aprilie 2019 din Dicționarul Filozofic: filozofie.org.
6. „Aspecte generale ale logicii” în Eseuri de club (18 august 2013). Preluat pe 23 aprilie 2019 din încercările clubului: clubensayos.com.
7. „Logica deontică” în wikipedia . Adus pe 23 aprilie 2019 de pe Wikipedia: es.wikipedia.org.
8. „Logica polivalentă” în wikipedia . Adus pe 23 aprilie 2019 de pe Wikipedia: es.wikipedia.org.
9. „Logica bivalentă” în wikipedia . Adus pe 23 aprilie 2019 de pe Wikipedia: es.wikipedia.org