Descripción general y guía temática 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.
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 )
Metalenguaje
Lógica proposicional y booleana
Lógica proposicional
Lógica proposicional
Lógica booleana
Lógica de predicados y relaciones
Lógica de predicados
Lógica de predicados
Relaciones
Relación matemática
Lógica 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)
- Sistemas formales
- Conceptos
Lógica clásica
Lógica clásica
Lógica modal
Lógica modal
Lógica no clásica
Lógica no clásica
Conceptos de lógica
Lógica matemática
Historia de la lógica
Historia de la lógica
Literatura sobre lógica
Revistas
Libros
Organizaciones lógicas
Lógicos
Véase también
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 .