Logica matematica

La lógica es una ciencia formal que estudia los principios de la demostración e inferencia válida. La palabra deriva del griego antiguoλογική (logike), que significa «dotado de razón, intelectual, dialéctico, argumentativo», que a su vez viene de λόγος (logos), «palabra,pensamiento, idea, argumento, razón o principio».

La lógica examina la validez de los argumentos en términos de su estructuralógica, independientemente del contenido específico deldiscurso y de la lengua utilizada en su expresión y de los estados reales a los que dicho contenido se pueda referir.

Esto es exactamente lo que quiere decir que la lógica es una ciencia «formal».

Tradicionalmente ha sido considerada como una parte de la filosofía. Pero en su desarrollo histórico, a partir del final del siglo XIX, ysuformalización simbólica ha mostrado su íntima relación con las matemáticas; de tal forma que algunos la consideran como Lógica matemática.

La "lógica simbólica" es un instrumento que sirve de ayuda al ejercicio inteligente sel sentido común y a la práctica de la investigación científica y la reflexión filosófica. Forma parte del bagaje cultural del hombre del siglo XX, y el radi se susaplicaciones comprende esferas tan diversas del saber como la matemática, la lingüística, la informática, las ciencias naturales y sociales, la jurisprudencia y la filosofía. Este libro es una introducción a la lógica simbólica para personas de formación humanística. Su objetivo es facilitar a lectores que carezca de base matemática y científica, sin ayuda de profesor, un dominio de las técnicas modernasde deducción lógica, e introducir a los alumnos de humanidades en la compresión de las principales nociones teóricas que sirven de fundamento a la metodología de las ciencias educativas.

La lógica formal es la parte de la lógica que, a diferencia de la lógica informal, se dedica al estudio de la inferencia mediante la construcción de lenguajes formales, sistemas deductivos y semánticas formales.La idea es que estas construcciones capturen las características esenciales de las inferencias válidas en los lenguajes naturales, pero que al ser estructuras formales y susceptibles de análisis matemático, permiten realizar demostraciones rigurosas sobre ellas.

La lógica formal no debe ser confundida con la lógica matemática, antes llamada lógica simbólica, que es una subdisciplina de lalógica formal.

Lógica aplicada: Estudia el pensamiento en relación con sus objetos o la forma de cada ciencia en particular. 

En sentido amplio, se entiende por razonamiento a la facultad que permite resolver problemas, extraer conclusiones y aprender de manera consciente de los hechos, estableciendo conexiones causales y lógicas necesarias entre ellos. 

 Razonamiento inductivo es unamodalidad delrazonamiento que consiste en obtener conclusiones generales a partir de premisas que contienen datos particulares o individuales. Por ejemplo, a partir de la observación repetida de objetos o acontecimientos de la misma índole se establece una conclusión general para todos los objetos o eventos de dicha naturaleza.

El razonamiento deductivo se mueve de lo general a lo particular. Toma unapremisa
general y deduce conclusiones particulares. Una argumento deductivo “válido” es aquel en
el que la conclusión necesariamente se deriva de la premisa. (Todos los perros tienen
pulgas. Éste es un perro. Por lo tanto, este perro tiene pulgas.

En pragmática, un enunciado es un acto de habla (acto locutivo) mínimo, normalmente realizado mediante una oración o una expresión sintáctica máspequeña que una oración. Informalmente se usa enunciado como sinónimo de oración, aunque pragmáticamente existen diferencias. Por ejemplo, una misma oración dicha en diferentes contextos corresponde a enunciados diferentes. Y viceversa, diferentes oraciones pueden realizar un mismo enunciado:

Quiero que saques la basura.
¿Puedes sacar la basura?
Saca la basura, por favor....