Esquema de la 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 los enunciados y argumentos, tanto a través del estudio de los sistemas formales de inferencia como del estudio de los argumentos en lenguaje natural . Por tanto, el alcance de la lógica puede ser muy amplio, abarcando desde temas centrales como el estudio de las falacias y las paradojas , hasta análisis especializados del razonamiento como la probabilidad , el razonamiento correcto y los argumentos que implican 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 lugar a una idea errónea o una presunción. Por accidente o por diseño, las falacias pueden explotar los desencadenantes emocionales del oyente o interlocutor (apelación a la emoción) o aprovecharse de las relaciones sociales entre las personas (por ejemplo, argumento de autoridad). Los argumentos falaces suelen estructurarse utilizando patrones retóricos que oscurecen cualquier argumento lógico. Las falacias se pueden utilizar para ganar argumentos independientemente de los méritos. Hay docenas 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 totalmente, 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

Conectivas lógicas

Conectiva lógica

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ógica

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 los 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 las funciones computables y los grados de Turing . El campo ha crecido hasta incluir el estudio de la computabilidad generalizada y la definibilidad. Las preguntas básicas que aborda la teoría de la recursión son "¿Qué significa que una función de los números naturales a sí mismos sea computable?" y "¿Cómo se pueden clasificar las funciones no computables en una jerarquía en función de su nivel de no computabilidad?". Las respuestas a estas preguntas han dado lugar a una rica teoría que todavía se investiga activamente.

Semántica del lenguaje natural

Semántica formal (lenguaje natural)

Lógica clásica

Propiedades de la lógica clásica:
- Ley del tercero excluido
- Eliminación de doble negación
- Ley de no contradicción
- Principio de explosión
- Monotonía de la implicación
- Idempotencia de implicación
- Conmutatividad de la conjunción
- Dualidad de De Morgan : cada operador lógico es dual con respecto a otro
Lógica de términos
Conceptos generales de lógica clásica
- Baralipton
- Barroco
- Bivalencia
- Lógica booleana
- Función con valor booleano
- Proposición categórica
- Distribución de términos
- Fin de período
- Entimema
- Inferencia inmediata
- Ley de los contrarios
- Conectiva lógica
- 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
- Platoide de desaire lógico
- Prisma triangular triaumentado lógico
- Bipirámide triangular lógica
- Tetraedro lógico
- Término mayor
- Término medio
- Término menor
- Octágono de Profecías ^[1]
- Organón
- Polisilogismo
- La lógica de Port-Royal
- Premisa
- Analítica previa
- Término 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 para la lógica simbólica

Lógicos

Véase también

Índice de artículos sobre lógica
Matemáticas
- Lista de temas básicos de matemáticas
- Lista de artículos sobre matemáticas
Filosofía
- Lista de temas básicos de filosofía
- Lista de temas de filosofía
Esquema de matemáticas discretas : para la introducción a la teoría de conjuntos y otros materiales 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 cuantificada y enunciativa
Consejos de traducción , por Peter Suber , para traducir del inglés a la notación lógica
Matemáticas y lógica: La historia de las ideas formales matemáticas, lógicas, lingüísticas y metodológicas. En el Diccionario de la historia de las ideas.
Prueba de lógica Pon a prueba tus habilidades lógicas
Lógica autodidacta: libro de ejercicios (preparado originalmente para la enseñanza de lógica en línea)

^ "octágono de profecías - Búsqueda en Google" www.google.com . Consultado el 29 de octubre de 2024 .