O logică formală: obiect de studiu, caracteristici, tipuri și exemple

Logica formală, numită și logică teoretică sau logică matematică, determină care sunt formele corecte și corecte de raționament. Prin această practică căutăm să diferențiem dreptul de rău.

În simbolurile logice formale sunt folosite fără ambiguitate și cât mai clar posibil, astfel încât acestea să nu poată fi manipulate. Datorită acestei practici, este posibil să vă dezvoltați propriile idei.

Cuvântul "logică" vine de la logica greacă antică ḗ, ceea ce înseamnă "înzestrat cu rațiune intelectuală, dialectică, argumentativă". Logica este una dintre ramurile filosofiei și matematicii și este considerată foarte utilă pentru aceste discipline.

În general, logica studiază forma gândirii. Primele lucrări făcute în legătură cu logica sunt atribuite filosofului grec Aristotel, de aceea el este cunoscut ca părintele fondator al acestui domeniu de gândire.

De-a lungul istoriei, câțiva filozofi, matematicieni și logici au apărat logica formală. Dintre acestea putem numi matematicianul și logicianul Biserica Alonzo; filosoful, matematicianul și logicianul Gottlob Frege; și matematicianul și filosoful Alfred North Whitehead.

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

Obiectul de studiu

Logica formală folosește ca obiect de studiu aspecte precum raționamentul, conceptul, judecățile și demonstrațiile. 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 validitate sau invaliditate.

O logică formală nu este un studiu empiric al procesului de raționament. Nici nu ar trebui să fie confundată cu convingerea, deoarece ia structura argumentelor pentru a ajunge la o concluzie.

Această logică este cunoscută și ca logică teoretică sau pură și încearcă să realizeze un studiu abstract al conținutului sau al formelor logice ale argumentelor, afirmațiilor, propozițiilor și propozițiilor deductive utilizate în mod asertiv.

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

caracteristici

Următoarele sunt caracteristicile cele mai deosebite care diferențiază logica formală de alte tipuri de logică:

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

- Este o structură fără materie.

- Este stabilit în cadrul unui subset de sisteme formale.

- Aplică metode atât de eficiente, încât prin logica formală se poate distinge de greșeala dreptului.

- Concluziile raționamentului corect sau valabil decurg din analiza structurii spațiilor adevărate.

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

- Se caracterizează prin faptul că este simbolic.

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

- Este legat de gramatica datorită studiului semanticii.

- Studiați structurile, de aceea este comparat cu matematica.

- De asemenea, se referă la psihologie, deoarece se concentrează asupra studiului gândirii fiecărui individ.

tip

De logică logică

Aceasta provine din greaca veche de la [tus] și înseamnă "ceea ce este datorat" sau "ceea ce este necesar". Logoul austriac Alois Höffler este percusorul acestui concept, care se referă la studiul și analiza standardelor.

Bivalentă logică

Este tipul de logică care admite numai valorile adevăratelor și ale celor false. El nu crede în nuanțe, totul este negru sau alb; Punctul de gri este imposibil în acest tip de logică.

Principiile sale se bazează pe logica aristoteliană, care sunt identitate, non-contradicție și a treia excluse.

Plurivalentă sau logică polivalentă

Acest tip de logică sa născut din studiile realizate de filosofii Jan Łukasiewicz și Emil Post, în care se afirmă că alte valori decât cele comune "adevărat" și "false" pot fi admise și că valorile menționate pot ajunge practic la infinit.

În acest sens diferă de logica bivalentă, care admite numai două valori. Studiile arată că logica plurivalentă sau polivalentă gestionează valori cum ar fi posibilitatea, necesitatea, non-necesitatea, adevărul, falsitatea și imposibilitatea.

De asemenea, acest tip de logică formală este de asemenea responsabil pentru studierea aspectelor filosofice și structurale ale argumentelor.

Exemple

Prin logica formală este posibil să adăugăm o valoare a adevărului sau falsității unui raționament specific.

După cum am explicat anterior, logica formală nu se concentrează pe toate posibilitățile care pot fi extrase dintr-un argument; se concentrează doar asupra faptului dacă este adevărat sau fals. În acest sens, iată 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 în portugheză. Joao sa născut în Portugalia. Toți cei din Portugalia vorbesc portugheză.

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

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

-Maria joacă în orchestra de rock. Muzicienii sunt cei care joacă în orchestra rock. María este muzician.

-Jose are părul negru. Elena are păr brun. Fiica lor se poate naște cu păr negru sau brun.

- Piciorul are cinci degete. Oamenii au un picior drept și un picior stâng. Fiecare persoană are zece picioare pe picioare.

- Spania este o țară. Spania este în Europa. Toți spaniolii sunt europeni.

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

- José sa umezit cu apă. Apa se umezește.

- Mary și-a mâncat mâncarea fierbinte. Maria sa ars, consumând mâncarea fierbinte. Mâncarea caldă arde.

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