- Objecte d'estudi
- Característiques
- tipus
- lògica deòntica
- lògica bivalent
- Lògica polivalent o polivalent
- exemples
- referències
La lògica formal, també anomenada lògica teorètica o lògica matemàtica, determina quines són les formes vàlides i correctes dels raonaments. A través d'aquesta pràctica es busca diferenciar el correcte de l'incorrecte.
En la lògica formal s'utilitzen els símbols sense ambigüitat i de la forma més clara possible, de manera que no puguin ser manipulats. Gràcies a aquesta pràctica és possible que es desenvolupin idees pròpies.
Alfred North Whitehead va ser un dels defensors de la lògica formal. Font: Wellcome Trust
La paraula «lògica» prové de el grec antic λογικήlogik E, que vol dir "dotada de raó intel·lectual, dialèctica, argumentativa". La lògica és una de les branques de la filosofia i les matemàtiques, i es considera de gran utilitat per a aquestes disciplines.
En general, la lògica estudia la forma de el pensament. Els primers treballs realitzats amb relació a la lògica s'atribueixen a el filòsof grec Aristòtil, motiu pel qual se li coneix com el pare fundador d'aquesta àrea de l'pensar.
Al llarg de la història diversos filòsofs, matemàtics i lògics han defensat la lògica formal. Entre ells podem nomenar el matemàtic i lògic Alonzo Church; el filòsof, matemàtic i lògic Gottlob Frege; i el també matemàtic i filòsof Alfred North Whitehead.
També han estat grans defensors Alfred Tarski, KurtGödel, Bertrand Russell i Willard Van Orman Quine, entre d'altres.
Objecte d'estudi
La lògica formal utilitza com a objecte d'estudi aspectes com el raonament, el concepte, els judicis i la demostració. A partir d'aquests elements analitza i estudia tots els recursos de l'llenguatge i la semàntica, per així poder arribar a una conclusió.
En aquest sentit, s'estableix que en la lògica formal s'estudia el raonament des del punt estructurat, des de la seva validesa o invalidesa.
La lògica formal no és un estudi empíric de l'procés de raonament. Tampoc s'ha de confondre amb la persuasió, ja que aquesta pren l'estructura dels arguments per obtenir una conclusió.
Aquesta lògica també és coneguda com a lògica teòrica o pura, i procura realitzar un estudi abstracte dels continguts o formes lògiques dels arguments deductius, declaracions, proposicions i oracions assertivament usades.
Realitzar un exhaustiu estudi dels patrons de lògica formal permetrà a cada individu conèixer amb exactitud els procediments associats seu pensament.
Característiques
A continuació es presenten les característiques més particulars que diferencien la lògica formal dels altres tipus de lògica:
-És una ciència que estudia la forma de la premissa, a diferència d'altres tipus de lògica que estudien només el material.
-Es tracta d'una estructura sense matèria.
-Es estableix sota un subconjunt de sistemes formals.
Aplica mètodes tan eficients que a través de la lògica formal pot distingir l'incorrecte del que correcte.
-Les conclusions de l'raonament correcte o amb validesa sorgeixen a causa de que s'analitza l'estructura de les premisses veritables.
-Estudia i analitza a les persones per arribar directament a el pensament, i així poder establir nous patrons en la ment de cada individu.
-Es caracteritza per ser simbòlica.
-Des del punt de vista d'una ciència formal, juga un paper important en les matemàtiques, la filosofia, la informàtica i les estadístiques.
-Està relacionada amb la gramàtica causa de l'estudi de la semàntica.
-Estudia les estructures, motiu pel qual és comparada amb les matemàtiques.
-També es relaciona amb la psicologia causa que s'enfoca en l'estudi de la pensada de cada individu.
tipus
lògica deòntica
Prové de el grec antic δέον Déon i significa "el causa" o "el necessari". El lògic austríac Alois Höffler és el percussor d'aquest concepte, que es refereix a l'estudi i anàlisi de les normes.
lògica bivalent
És el tipus de lògica que admet només els valors de vertader i fals. No creu en els matisos, tot és negre o blanc; l'escala de grisos és impossible en aquest tipus de lògica.
Els seus principis es basen en la lògica aristotèlica, que són la identitat, la no contradicció i el tercer exclòs.
Lògica polivalent o polivalent
Aquest tipus de lògica néixer arran dels estudis realitzats pels filòsofs Jan Lukasiewicz i Emil Post, en els quals exposen que es poden admetre altres valors diferents dels ja comuns "veritable" i "fals", i que aquests valors poden arribar pràcticament fins a l'infinit.
En aquest sentit es diferencia de la lògica bivalent, que admet només dos valors. Els estudis demostren que la lògica polivalent o polivalent fa servir valors com la possibilitat, la necessitat, la no necessitat, la veritat, la falsedat i la impossibilitat.
Així mateix, aquest tipus de lògica formal també s'encarrega d'estudiar els aspectes filosòfics i estructurals que tenen els arguments.
exemples
A través de la lògica formal és possible afegir un valor de veritat o falsedat a un raonament específic.
Com hem explicat anteriorment, la lògica formal no s'enfoca en totes les possibilitats que es poden extreure d'un argument; només se centra en si aquest és vertader o fals. En aquest sentit, a continuació llistem alguns exemples basats en la lògica formal:
-Bon Aires és la capital d'Argentina; llavors, tots els nascuts a Buenos Aires són argentins.
-Joao parla portuguès. Joao va néixer a Portugal. Tots a Portugal parlen portuguès.
-Les vaques donen llet. Les vaques són mamífers. Tots els mamífers donen llet.
-Pedro és blanc i Maria morena, de manera que hi ha persones blanques i brunes.
-Maria toca a l'orquestra de rock. Els músics són els que toquen a l'orquestra de rock. Maria és músic.
-José té el cabell negre. Elena té el cabell marró. La filla d'ells dos podria néixer amb el cabell negre o marró.
-El peu té cinc dits. Els éssers humans tenen un peu dret i un esquerre. Cada persona té deu dits als peus.
-Espanya és un país. Espanya queda a Europa. Tots els espanyols són europeus.
- Ana és un ésser viu. Anna és mortal. Tots els éssers vius són mortals.
- José es va mullar amb aigua. L'aigua mulla.
- Maria va menjar el seu menjar calent. Maria es va cremar a l'menjar el seu menjar calent. El menjar calent crema.
- La Terra és part de l'univers. En l'univers hi ha planetes. La Terra és un planeta.
- La llum elèctrica il·lumina. Hi ha llum elèctrica als carrers. La llum elèctrica il·lumina els carrers.
referències
- "Formal logic" a New world encyclopedia. Recuperat en 21 abril 2019 de New world License: newworldencyclopedia.org.
- Morton L. Schagrin Ge Hughes "Formal logic" en Recuperat en 21 abril 2019 de Britannica: britannica.com.
- "La Lògica i la seva classificació" en Acadèmia. Recuperat en 23 abril 2019 d'Acadèmia: academia.edu.
- "Lògica Formal" en Diccionari Filosòfic. Recuperat en 23 abril 2019 de Diccionari Filosòfic: filosofia.org.
- "Lògica polivalent" en Diccionari Filosòfic. Recuperat en 23 abril 2019 de Diccionari Filosòfic: filosofia.org.
- "Aspectes generals de la lògica" en Club assajos (18 agost 2013). Recuperat en 23 abril 2019 de Club assajos: clubensayos.com.
- "Lògica deòntica" en wikipedia . Recuperat en 23 abril 2019 de Wikipedia: es.wikipedia.org.
- "Lògica polivalent" en wikipedia . Recuperat en 23 abril 2019 de Wikipedia: es.wikipedia.org.
- "Lògica bivalent" en wikipedia . Recuperat en 23 abril 2019 de Wikipedia: es.wikipedia.org