logică formală, Numită și logică teoretică sau logică matematică, ea determină care sunt formele de raționament valabile și corecte. 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ă ambiguități și cât mai clar posibil, astfel încât să nu poată fi manipulate. Datorită acestei practici este posibil să vă dezvoltați propriile idei.
Cuvântul „logică” provine din greaca veche λογικήlogikși, ceea ce înseamnă „înzestrat cu rațiune intelectuală, dialectică, argumentativă”. Logica este una dintre ramurile filozofiei și matematicii și este considerată foarte utilă pentru aceste discipline.
În general, logica studiază forma gândirii. Primele lucrări efectuate în legătură cu logica sunt atribuite filosofului grec Aristotel, motiv pentru care este cunoscut ca tatăl fondator al acestei zone de gândire.
De-a lungul istoriei, diverși filozofi, matematicieni și logicieni au apărat logica formală. Printre aceștia putem numi matematicianul și logicianul Biserica Alonzo; filosoful, matematicianul și logicianul Gottlob Frege; și, de asemenea, matematicianul și filosoful 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..
Indice articol
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 de limbaj și semantică, 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 validitatea sau invaliditatea acestuia.
Logica formală nu este un studiu empiric al procesului de raționament. Nici nu trebuie confundat cu convingerea, deoarece este nevoie de structura argumentelor pentru a obține o concluzie.
Această logică este, de asemenea, cunoscută sub numele de logică teoretică sau pură și caută să efectueze un studiu abstract al conținutului sau al formelor logice ale argumentelor deductive, enunțurilor, propozițiilor și propozițiilor utilizate în mod asertiv..
Efectuarea unui studiu exhaustiv al modelelor logice formale va permite fiecărui individ să cunoască exact procedurile asociate gândirii sale..
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 sub un subset de sisteme formale.
-Aplică metode atât de eficiente încât, prin logica formală, puteți distinge ceea ce este greșit de ceea ce este corect.
-Concluziile raționamentului corect sau valid apar deoarece structura premiselor adevărate este analizată.
-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ă, filozofie, informatică și statistică..
-Este legat de gramatică datorită studiului semanticii.
-Studiați structurile, motiv pentru care este comparat cu matematica.
-De asemenea, este legat de psihologie, deoarece se concentrează pe studiul gândirii fiecărui individ.
Provine din greaca veche δέον [τος] déon [tuse] și înseamnă „ceea ce se datorează” sau „ceea ce este necesar”. Logicianul austriac Alois Höffler este pionierul acestui concept, care se referă la studiul și analiza normelor.
Este tipul de logică care acceptă numai valori adevărate și false. El 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țul exclus..
Acest tip de logică s-a născut ca rezultat al studiilor efectuate de filosofii Jan Łukasiewicz și Emil Post, în care afirmă că pot fi admise alte valori decât cele deja comune „adevărate” și „false” și că aceste valorile pot ajunge practic la infinit.
În acest sens diferă de logica bivalentă, care admite doar două valori. Studiile arată că logica multivalentă sau polivalentă gestionează valori precum posibilitatea, necesitatea, non-necesitatea, adevărul, falsitatea și imposibilitatea.
La fel, acest tip de logică formală este, de asemenea, însărcinată cu studierea aspectelor filosofice și structurale ale argumentelor..
Prin logica formală este posibil să adăugăm o valoare a adevărului sau a minciunii 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 că acest lucru este adevărat sau fals. În acest sens, enumerăm mai jos câteva exemple bazate pe logica formală:
-Buenos Aires este capitala Argentinei; Deci, 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 portugheza.
-Vacile dau lapte. Vacile sunt mamifere. Toate mamiferele dau lapte.
-Pedro este alb și María este brunetă, deci sunt oameni albi și maronii.
-Maria 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 castaniu.
-Piciorul are cinci degete. Ființele umane au piciorul drept și piciorul stâng. Fiecare persoană are zece degete..
-Spania 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 cu apă. Apa se udă.
- Maria și-a mâncat mâncarea fierbinte. Maria s-a ars mâncând mâncarea ei fierbinte. Mâncarea fierbinte arde.
- Pământul face parte din univers. Există planete în univers. Pământul este o planetă.
- Lumina electrică se aprinde. Există lumină electrică pe străzi. Lumina electrică luminează străzile.
Nimeni nu a comentat acest articol încă.