Esquema de lógica

La lógica es la ciencia formal del uso de la razón y se considera una rama tanto de la filosofía como de las matemáticas y, en menor medida, de la informática . La lógica investiga y clasifica la estructura de enunciados y argumentos, tanto a través del estudio de sistemas formales de inferencia como del estudio de argumentos en lenguaje natural . Por lo tanto, el alcance de la lógica puede ser muy amplio, abarcando desde temas centrales como el estudio de falacias y paradojas , hasta análisis especializados del razonamiento como la probabilidad , el razonamiento correcto y los argumentos que involucran causalidad . Uno de los objetivos de la lógica es identificar las inferencias correctas (o válidas ) e incorrectas (o falaces ). Los lógicos estudian los criterios para la evaluación de los argumentos .

Fundamentos de la lógica

Filosofía de la lógica

Ramas de la lógica

Lógica filosófica

Lógica informal y pensamiento crítico.

Lógica informal Pensamiento crítico Teoría de la argumentación

Razonamiento deductivo

Teorías de la deducción

Falacias

Falacia ( lista ): argumentación incorrecta en el razonamiento que da como resultado una idea errónea o una presunción. Por accidente o intencionalmente, las falacias pueden explotar desencadenantes emocionales en el oyente o el interlocutor (apelación a la emoción), o aprovechar las relaciones sociales entre las personas (por ejemplo, argumentos de autoridad). Los argumentos falaces a menudo se estructuran utilizando patrones retóricos que oscurecen cualquier argumento lógico. Las falacias se pueden utilizar para ganar argumentos independientemente de los méritos. Hay decenas de tipos de falacias.

Lógica formal

Lógica formal : la lógica matemática, la lógica simbólica y la lógica formal son en gran medida, si no completamente, sinónimas. La característica esencial de este campo es el uso de lenguajes formales para expresar las ideas cuya validez lógica se estudia.
- Lista de temas de lógica matemática

Símbolos y cadenas de símbolos.

Símbolos lógicos

Conectivos lógicos

Conectivo lógico

Cadenas de símbolos

Tipos de proposiciones

Proposición

Reglas de inferencia

Regla de inferencia ( lista )

Teorías formales

Expresiones en un metalenguaje.

Metalenguaje

Lógica proposicional y booleana

Lógica proposicional

lógica booleana

Lógica de predicados y relaciones.

Lógica de predicados

Relaciones

relación matemática

Lógica matemática

Teoría de conjuntos

Teoría de conjuntos ( lista )

metalógico

Metalógica : el estudio de la metateoría de la lógica.

Teoría de la prueba

Teoría de la prueba : el estudio del aparato deductivo .

Teoría de modelos

Teoría de modelos : el estudio de la interpretación de sistemas formales.

Teoría de la computabilidad

Teoría de la computabilidad : rama de la lógica matemática que se originó en la década de 1930 con el estudio de funciones computables y grados de Turing . El campo ha crecido hasta incluir el estudio de la computabilidad y definibilidad generalizadas. Las preguntas básicas que aborda la teoría de la recursividad son "¿Qué significa que una función de los números naturales sea computable?" y "¿Cómo se pueden clasificar las funciones no computables en una jerarquía según su nivel de no computabilidad?". Las respuestas a estas preguntas han dado lugar a una rica teoría que todavía se está investigando activamente.

Semántica del lenguaje natural.

Semántica formal (lenguaje natural)

Lógica clásica

Propiedades de la lógica clásica:
- Ley del medio excluido
- Eliminación de doble negación
- Ley de no contradicción
- Principio de explosión
- Monotonicidad de la vinculación
- Idempotencia de vinculación
- Conmutatividad de conjunción
- Dualidad de De Morgan : cada operador lógico es dual con respecto a otro
Lógica de términos
Conceptos generales en lógica clásica.
- Baralipton
- barroco
- Bivalencia
- lógica booleana
- Función con valor booleano
- Proposición categórica
- Distribución de términos
- término final
- entimema
- Inferencia inmediata
- Ley de contrarios
- Conectivo lógico
- cubo lógico
- Bipirámide cuadrada giroelongada lógica
- hexágono lógico
- Icosaedro lógico
- Octaedro lógico
- Pentágono lógico
- Bipirámide pentagonal lógica
- Desaire lógico desenoide
- Prisma triangular lógico triaumentado
- Bipirámide triangular lógica
- tetraedro lógico
- Término principal
- Termino medio
- término menor
- Octágono de Profecías
- organon
- polisilogismo
- Lógica de Port-Royal
- Premisa
- Análisis previo
- Termino relativo
- paradoja de sorites
- Plaza de la oposición
- Triángulo de oposición
- Suma de lógica
- Silogismo
- tetralema
- función de verdad

Lógica modal

Lógica no clásica

Conceptos de lógica

Lógica matemática

Historia de la lógica

Literatura sobre lógica

Revistas

Libros

Organizaciones lógicas

Asociación de Lógica Simbólica

Lógicos

Ver también

Índice de artículos de lógica.
Matemáticas
- Lista de temas básicos de matemáticas.
- Lista de artículos de matemáticas
Filosofía
- Lista de temas básicos de filosofía.
- Lista de temas de filosofía
Esquema de matemáticas discretas : para introducción a la teoría de conjuntos y otro material de apoyo

enlaces externos

Taxonomía de falacias lógicas
forall x: una introducción a la lógica formal , de PD Magnus, cubre la lógica oracional y cuantificada
Consejos de traducción , de Peter Suber , para traducir del inglés a la notación lógica
Matemáticas y lógica: la historia de las ideas matemáticas, lógicas, lingüísticas y metodológicas formales. En El Diccionario de la Historia de las Ideas.
Prueba de lógica Pon a prueba tus habilidades lógicas
Lógica autodidacta: un libro de trabajo (preparado originalmente para instrucción de lógica en línea)