Definicion De Logica

DEFINICION DE LOGICA:

Históricamente la palabra «lógica» ha ido cambiando de sentido. Comenzó siendo una modelización de los razonamientos, propuesta por los filósofos griegos, y posteriormente ha evolucionado hacia diversos sistemas formales. Etimológicamente la palabra lógica deriva del término griego Λογικός logikós, que a su vez deriva de λόγος logos 'razón, palabra, discurso'.18
En unprincipio la lógica no tuvo el sentido de estructura formal estricta

La lógica es una ciencia formal y una rama de la filosofía 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 estructura, (estructura lógica), independientemente del contenido específico del discurso y de la lengua utilizada en su expresión y de los estados reales a los que dicho contenido se pueda referir

QUE ES Y PARA Q SIRVE

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


CLASIFICACION Y UTILIZACION

• 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 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ógicasimbólica, que es una subdisciplina de la lógica formal.

• Lógica informal
La lógica informal, o lógica no formal, es el estudio de los argumentos, tal como se presentan en la vida diaria, en oposición al estudio de los argumentos en una forma técnica o artificial, que corresponde a la lógica formal. Esta parte de la lógica se dedica principalmente a diferenciar entre formas correctas e incorrectasen que se desarrolla el lenguaje y el pensamiento cotidiano, en especial al estudio de los procesos para obtener conclusiones a partir de información dada. Parte del principio que el pensamiento y el lenguaje humano es a menudo incorrecto, o tendencioso.

• Lógica matemática
La lógica matemática suele dividirse en cuatro subcampos: teoría de modelos, teoría de la demostración, teoría deconjuntos 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.

• Consecuencia lógica
En lógica, la consecuencia lógica es la relación entre las premisas y la conclusión de un argumento deductivamente válido.1 La relación de consecuencia lógica es por lo tanto un concepto central a la lógica.1 Doscaracterísticas generalmente aceptadas de la relación de consecuencia lógica son que es necesaria y además formal.

• Cálculo lógico
El cálculo lógico, o derivación lógica, es un algoritmo que permite cómoda y fácilmente inferir o deducir un enunciado verdadero a partir de otro u otros que se tienen como válidamente verdaderos

• Sistema formal
La noción de sistema formal se utiliza para proporcionaruna definición rigurosa del concepto de demostración en lógica y en matemáticas. La noción de sistema formal corresponde a una formalización rigurosa y completa del concepto de sistema axiomático.

• Constante lógica
En lógica, una constante lógica es una expresión que cuya presencia y posición determina la forma lógica de una proposición,1 y por extensión la validez o invalidez de los...