Diferencia entre revisiones de «Lógica matemática»
Contenido eliminado Contenido añadido
m Revertidos los cambios de 190.69.105.157 a la última edición de Muro Bot |
|||
| Línea 3: | Línea 3: | ||
== Algunas definiciones == |
== Algunas definiciones == |
||
* '''Razonamiento |
* '''Razonamiento correcto''': Razonamiento que tiene la forma válida y su contenido es [[verdad]]ero. Una [[persona]] que "razona bien" razona de esa forma. |
||
* '''[[Argumento]] racional''': Argumentos derivados de la [[razón]], que la mente puede entender. |
* '''[[Argumento]] racional''': Argumentos derivados de la [[razón]], que la mente puede entender. |
||
Revisión del 18:43 19 ago 2009
La lógica formal, a diferencia de la lógica informal, se dedica al estudio de los razonamientos correctos, desarrollándolos de manera formal y esquematizada, es decir de una forma no cotidiana. Este tipo de lógica parte de los razonamientos correctos conocidos para desarrollar una teoría lógica y consecuentemente, razonamientos más complejos que no se utilizan normalmente en la vida cotidiana. A partir de la idea de que quien la estudia "razona bien", puede desarrollar argumentos racionales extremadamente complejos, y de gran alcance. Este tipo de lógica no debe ser confundido con la lógica simbólica ni con la lógica matemática, que son tipos de lógica que se encuentran dentro del campo de la lógica formal.