Diferencia entre revisiones de «Lógica»

Contenido eliminado Contenido añadido
Agrego oración sobre lógica filosófica a la intro
Reescribo y reorganizo gran parte de la intro
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 tradicionalmentematemática]] sees considera unala rama más matemática de la filosofíalógica, peroque desde fines del siglo XIX su formalización simbólica ha demostrado una íntima relación con las [[matemáticas]], dando lugar aestudia la [[lógicainferencia matemática]] y a una multitud demediante [[Sistemas formales|sistemas formales]], entre elloscomo 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]]. En el siglo XX la lógica ha pasado a ser principalmente la lógica matemática, lo que ha permitido su aplicación a la [[informática]] y dio lugar a laLa [[Lógica computacional|lógica computacional]]. Por otra parte,aplica la crecientelógica riquezamatemática dela lenguajelas formal[[Ciencias de la lógicacomputación|ciencias diode lugarla acomputación]]. laLa [[Lógica filosófica|lógica filosófica]] comoutiliza unalos maneramétodos dey abordarresultados problemasde filosóficosla viejoslógica ymoderna nuevospara medianteel las técnicasestudio de laproblemas lógica modernafilosóficos.
 
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.
 
==Etimología y acepciones==