Hispanopedia Wiki
Articulo de referencia

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 invest...

Hispanopedia WikiContenido en espanolLectura gratuita

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 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 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 resulta en una idea errónea o una suposición. Ya sea por accidente o intencionadamente, 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 estar estructurados mediante patrones retóricos que oscurecen cualquier argumento lógico. Las falacias pueden usarse para ganar discusiones independientemente de su fundamento. Existen docenas de tipos de falacias.

lógica formal

Símbolos y cadenas de símbolos

Símbolos lógicos

Conectores lógicos

Conector 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

Lógica matemática

teoría de conjuntos

Metalogic

Metalógica – El estudio de la metateoría de la lógica.

Teoría de la demostración

Teoría de la demostración : el estudio de los sistemas deductivos .

Teoría de modelos

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

teoría de la computabilidad

La teoría de la computabilidad es una 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 . Este campo se ha expandido para incluir el estudio de la computabilidad y la definibilidad generalizadas. Las preguntas fundamentales 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 según su nivel de no computabilidad?". Las respuestas a estas preguntas han dado lugar a una rica teoría que aún se investiga activamente.

Semántica del lenguaje natural

Semántica formal (lenguaje natural)

Lógica clásica

Lógica clásica

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

Referencias

  1. ↑ Marco Aiello ; Ian Pratt-Hartmann; Johan van Benthem , eds. (2007). Manual de lógicas espaciales . pág.  1. doi : 10.1007/978-1-4020-5587-4 . ISBN 978-1-4020-5586-7. cualquier lenguaje formal interpretado sobre una clase de estructuras que presentan entidades y relaciones geométricas, en sentido amplio.
  2. ↑ "octágono de profecías - Búsqueda de Google" . www.google.com . Consultado el 29 de octubre de 2024 .
  • Taxonomía de las falacias lógicas
  • Para todo x: una introducción a la lógica formal , de P. D. Magnus , abarca la lógica proposicional y la lógica cuantificada.
  • Consejos de traducción , por Peter Suber , para traducir del inglés a notación lógica.
  • Matemáticas y lógica: La historia de las ideas matemáticas, lógicas, lingüísticas y metodológicas formales. Archivado el 8 de septiembre de 2009 en Wayback Machine. 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 ejercicios (originalmente preparado para la enseñanza de lógica en línea)