Diferencia entre revisiones de «Lógica matemática»

De Wikipedia, la enciclopedia libre
Contenido eliminado Contenido añadido
Deshecha la edición 31396226 de 190.42.61.103 (disc.)
Línea 1: Línea 1:
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.
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.


== Algunas definiciones ==
la logica formal es tambien la capacidad de decidir entre el bien moral o poder decidir cual es lo mejor la conciencia o el bien moral ...'''

== <math>Texto de titular</math> ==
* '''Razonamiento correcto''': Razonamiento que tiene la forma válida y su contenido es [[verdad]]ero. Una [[persona]] que "razona bien" razona de esa forma.
Texto en negrita'''

* '''[[Argumento]] racional''': Argumentos derivados de la [[razón]], que la mente puede entender.
{{ORDENAR:Logica formal}}

[[Categoría:Lógica]]

[[en:Informal logic]]
[[fa:منطق مادی]]
[[ja:非形式論理学]]
[[no:Uformell logikk]]
[[pt:Lógica informal]]
[[uk:Неформальна логіка]]
[[zh:非形式逻辑]]

Revisión del 21:41 13 nov 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.

Algunas definiciones

  • Razonamiento correcto: Razonamiento que tiene la forma válida y su contenido es verdadero. Una persona que "razona bien" razona de esa forma.
  • Argumento racional: Argumentos derivados de la razón, que la mente puede entender.