Investigacion

-------------------------------------------------
Lógica formal
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 ysemánticas formales. La idea es que estas construcciones capturen las características esenciales de las inferencias válidas en los lenguajesnaturales, 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 la lógica formal.
-------------------------------------------------
[editar]Tipos de lógica formal
Dentro de la lógica formalclásica podemos distinguir cuatro tipos:
Lógica de enunciados | Lógica de predicados | Lógica de clases | Lógica de relaciones |
Estudia la validez de los razonamientos teniendo en cuenta únicamente el valor de verdad (verdadero o falso) de cada enunciado tomando los enunciados en bloque sin analizarlos previamente. | Analiza la estructura interna de los enunciados atribuyendo una propiedad alsujeto. | Al contrario que la lógica de predicados, esta atribuye individuos y clases a las características. | Incorpora a su lenguaje los elementos, símbolos y reglas que son necesarios para expresar un enunciado. |

LOGICA SIMBOLICA
La lógica se define como la ciencia del razonamiento, o como el estudio de los métodos y principios usados para distinguir el razonamiento correcto del incorrecto.Por su parte, lalógica simbólica es el estudio de la lógica mediante la matemática, es decir, que incorpora la exactitud y rigor matemáticos. Un razonamiento es cualquier grupo de oraciones declarativas, tal que una de ellas (conclusión) se afirma que se deriva de otras, llamadas premisas, las cuales se consideran evidencia de la verdad de la primera. Para efectos del curso, estudiaremos dos tiposde razonamiento: 1. Inductivo: comúnmente, por analogía; afirma probabilidad o cierta evidencia de la verdad de la conclusión. 2. Deductivo: sus premisas ofrecen una evidencia contundente de la verdad de la conclusión. Su correctitud viene dada por la validez o invalidez del razonamiento. |
 El objetivo de la presente asignatura es introducir al estudiante en los métodos de demostración devalidez de razonamientos propios de la lógica simbólica. Para ello, estudiaremos los dos tipos de razonamientos descritos anteriormente: 1. Razonamiento Inductivo: Inducción Completa y Definiciones Inductivas. 2. Razonamiento Deductivo: El Sistema Ss y el Sistema Sp. |
-------------------------------------------------
Lógica matemática
La lógica matemática es una parte de la lógica ylas matemáticas, que consiste en el estudio matemático de la lógica y en la aplicación de este estudio a otras áreas de las matemáticas. La lógica matemática tiene estrechas conexiones con las ciencias de la computación y la lógica filosófica.
La lógica matemática estudia los sistemas formales en relación con el modo en el que codifican nociones intuitivas de objetos matemáticoscomo conjuntos, números, demostraciones ycomputación.
La lógica matemática suele dividirse en cuatro subcampos: teoría de modelos, teoría de la demostración, teoría de conjuntos y teoría de la recursión. La investigación en lógica matemática ha jugado un papel fundamental en el estudio de los fundamentos de las matemáticas. Actualmente se usan indiferentemente como sinónimos las expresiones: lógica simbólica (o logística),lógica matemática, lógica teorética y lógica formal.1
La lógica matemática no es la «lógica de las matemáticas» sino la «matemática de la lógica». Incluye aquellas partes de la lógica que pueden ser modeladas y estudiadas matemáticamente.

LOGICA DIALECTICA
La dialéctica —del griego διαλεκτική(dialektiké), τέχνη(téchne), literalmente: técnica de la conversación; con igual significado,...