Diferencia entre revisiones de «Lógica»
Contenido eliminado Contenido añadido
m Revertidos los cambios de 190.38.90.35 (disc.) a la última edición de Sophivorus Etiqueta: Reversión |
m Mejoro redacción |
||
Línea 4:
La '''lógica''' es la [[ciencia formal]] y rama tanto de la [[filosofía]] como de las [[matemáticas]] que estudia los principios de la [[Demostración matemática|demostración]] y la [[inferencia]] [[Validez lógica|válida]],<ref>{{Cita enciclopedia |título=logic |enciclopedia=The Oxford Dictionary of Philosophy |editor=Simon Blackburn |edición=2008 Edition |editorial=[[Oxford University Press]] |cita=lógica: La ciencia general de la inferencia. |idioma=inglés |sined=sin}}</ref> las [[falacia]]s, las [[paradoja]]s y la noción de [[verdad]].<ref>{{Cita libro|apellidos=Corazón González|nombre=Rafael|título=Saber, entender... vivir: una aproximación a la filosofía|url=https://books.google.es/books?id=Cf2DLcvVmK4C|páginas=74-77}}</ref>
La [[Lógica matemática|lógica matemática]] es la rama más matemática de la lógica, que estudia la inferencia mediante [[Sistemas formales|sistemas formales]] como la [[Lógica proposicional|lógica proposicional]], la [[Lógica de primer orden|lógica de primer orden]] y la [[Lógica modal|lógica modal]]. La [[Lógica computacional|lógica computacional]]
Los orígenes de la lógica se remontan a la [[Edad Antigua]], con brotes independientes en China, India y Grecia. Desde entonces, la lógica tradicionalmente se considera una rama de la filosofía, pero en el siglo XX la lógica ha pasado a ser principalmente la lógica matemática, y por lo tanto ahora también se considera parte de las matemáticas, e incluso una ciencia formal independiente.
| |||