- Els tipus de lògica més rellevants
- lògica formal
- lògica informal
- Lògica no clàssica
- lògica simbòlica
- lògica modal
- lògica computacional
- referències
Hi ha diversos tipus de lògica i totes centren el seu objecte d'estudi en comprendre els raonaments i identificar quan són correctes o incorrectes. L'estudi de la lògica ha evolucionat des dels temps de el filòsof grec Aristòtil fins a l'actualitat.
L'ètica ha vingut ajustant-se amb la intenció de ser més específica i, a el mateix temps, més adaptada a la quotidianitat de l'ésser humà, el que li permet una aplicació més tangible en diferents àmbits.
Aristòtil, reconegut com el pare de la lògica.
La lògica busca l'estudi sistemàtic dels arguments i proposicions, i els diferents tipus de lògica permeten que sigui possible estudiar tant l'estructura merament formal d'aquests enunciats, com allò que té a veure amb el contingut, i el poder d'aquest contingut.
Tot i que la lògica es basa en l'estudi dels enunciats, no se centra netament en el llenguatge natural (l'idioma tal com el coneixem), sinó que la seva utilitat ha arribat a àrees diverses i amb estructures diferents, com la matemàtica i la computació.
Els tipus de lògica més rellevants
lògica formal
La lògica formal, també coneguda com a lògica clàssica o lògica aristotèlica, és l'estudi de proposicions, arguments, declaracions o oracions des del punt de vista estructural. Es tracta d'un mètode per estructurar el pensament i determinar les formes correctes o incorrectes d'un plantejament específic.
La lògica formal no se centra en la veracitat o falsedat de el contingut d'un argument en particular, sinó que es concentra en la validesa o no de la construcció de la seva forma.
És a dir, l'objecte d'estudi de la lògica formal no és empíric, per a l'lògic no és rellevant determinar si l'argument presentat és real i comprovat; sinó que el seu estudi va enfocat netament en l'estructura d'aquest argument.
Dins de la lògica formal existeixen dues classificacions molt importants: la lògica deductiva i la lògica inductiva.
La lògica deductiva es refereix a aquells enunciats específics que es generen de nocions generals. A través d'aquest tipus de lògica poden fer-se inferències a partir de conceptes o teories que ja existeixen.
Per exemple, dins de la lògica deductiva es podria dir que, si els humans tenen cames i Clara és un ésser humà, llavors Clara té cames.
En el cas de la lògica inductiva, la construcció dels arguments succeeix de forma contrària; és a dir, es creen conceptes generals des arguments específics.
Per exemple, dins de la lògica inductiva es podria dir que, si a un gat li agrada el peix, ia un altre també li agrada, ia un altre també, llavors a tots els gats els agrada el peix.
lògica informal
La lògica informal és la branca d'estudi que se centra en el llenguatge i el missatge que es emana de les construccions semàntiques i els arguments.
Aquesta lògica és diferent de la lògica formal, en el fet que la lògica formal estudia les estructures de les oracions i proposicions; i la lògica informal se centra en el fons de l'missatge transmès.
El seu objecte d'estudi és la forma d'argumentar per obtenir el resultat desitjat. La lògica informal dóna validesa als arguments lògics que resulten més coherents entre d'altres que tenen una estructura argumentativa més feble.
Lògica no clàssica
La lògica no clàssica, o lògica moderna, s'origina al segle XIX i sorgeix en contraposició als enunciats de la lògica clàssica. Estableix altres formes d'anàlisi que poden abastar més aspectes que els que és possible englobar a través d'l'enfocament clàssic de la lògica.
És així com s'inclouen elements matemàtics i simbòlics, nous enunciats o teoremes que venien a suplir les mancances d'un sistema de lògica formal.
Dins de la lògica no clàssica hi ha diferents subtipus de lògica, com la modal, la matemàtica, la trivalent, entre d'altres.
Tots aquests tipus de lògica difereixen en alguna mesura de la lògica formal, o incorporen nous elements que resulten complementaris, i permeten que l'estudi lògic d'un enunciat particular sigui més exacte i adaptat a la utilitat en la quotidianitat.
lògica simbòlica
La lògica simbòlica també és cridada lògica de primer ordre, o lògica matemàtica, i es caracteritza per emprar símbols que constitueixen un nou llenguatge a través de el qual de "tradueixen" els arguments.
La intenció de la lògica simbòlica és convertir pensaments abstractes en estructures més formals. De fet, no fa servir el llenguatge natural (idioma), sinó fa servir un llenguatge tècnic que converteix les oracions en elements susceptibles a l'aplicació de regles més exactes de les que poden aplicar-se en el llenguatge natural.
Llavors, la lògica simbòlica permet el tractament de les proposicions a través de les lleis de el càlcul, per així evitar confusions o imprecisions.
Busca incorporar elements matemàtics en l'anàlisi de les estructures de la lògica formal. En l'àmbit matemàtic, la lògica s'utilitza per demostrar teoremes.
En definitiva, la lògica simbòlica o matemàtica, busca expressar el pensament humà a través de l'llenguatge matemàtic.
Aquesta aplicació matemàtica de la lògica permet que els arguments i les construccions siguin més exactes.
lògica modal
La lògica modal se centra en l'estudi dels arguments, però afegeix elements relacionats amb la possibilitat que l'enunciat en qüestió sigui veritable o fals.
La lògica modal pretén ser més consonant amb el pensament humà, per tant abasta l'ús de construccions com "podria", "possiblement", "a vegades", "potser", "probablement", "és probable", "potser ", entre altres.
En la lògica modal es tracta de considerar un escenari en el qual hi hagi una possibilitat, i es tendeix a considerar totes les possibilitats que poden existir, des del punt de vista lògic.
lògica computacional
La lògica computacional és un tipus de lògica derivat de la lògica simbòlica o matemàtica, només que és aplicada en l'àrea de la computació.
Els programes de computació utilitzen el llenguatge de la programació per al seu desenvolupament i, a través de la lògica, és possible treballar aquests sistemes de llenguatge, assignar tasques específiques i executar accions de verificació.
referències
- "Logic" en Encyclopedia Britannica. Recuperat en 4 agost 2017 de Encyclopedia Britannica: britannica.com
- "Formal logic" en Encyclopedia Britannica. Recuperat en 4 agost 2017 de Encyclopedia Britannica: britannica.com
- Hernández, F. "Lògica computacional" en Universitat Nacional Autònoma de Mèxic. Recuperat en 4 agost 2017 d'Universitat Nacional Autònoma de Mèxic: unam.mx
- Muñoz, C. "Lògiques No-Clàssiques" en Universitat Complutense de Madrid. Recuperat en 4 agost 2017 d'Universitat Complutense de Madrid: ucm.es
- Júlia, J. "Què és la lògica simbòlica?" en eHow en Espanyol. Recuperat en 4 agost 2017 de eHow en Espanyol: ehowenespanol.com
- Oller, C. "Lògica formal i argumentació" (2006) en Universitat Nacional de la Plata. Recuperat en 4 agost 2017 de Universitat Nacional de la Plata: rfytp.fahce.unlp.edu.ar
- "Inferències deductives i inductives" en Junta d'Extremadura. Recuperat en 4 Agost 2017 a Junta d'Extremadura: educarex.es.