Lógica Etapa 1: Introducción a la lógica, pensamiento y lenguaje Flashcards

Front

Silogismo

Back

Razonamiento que parte de dos premisas para derivar una conclusión necesariamente; herramienta central de la lógica de Aristóteles.

Front

Organon

Back

Conjunto de escritos de Aristóteles dedicados a la lógica; su nombre significa instrumento o método para la investigación.

Front

Aristóteles

Back

Filósofo griego considerado el padre de la lógica; desarrolló el silogismo y escribió el Organon.

Front

Lógica formal

Back

Rige por símbolos y reglas para evaluar la validez de los razonamientos; se centra en la forma lógica, no en el contenido.

Front

Lógica informal

Back

Se ocupa del razonamiento en lenguaje cotidiano y del análisis de argumentos en contextos prácticos; identifica falacias y evalúa veracidad y relevancia.

Front

Conectores lógicos

Back

Conjunción, disyunción, negación, condicional y bicondicional; permiten construir proposiciones complejas.

Front

Conjunción

Back

Conectivo lógico representado por $\\land$; verdadera solo si ambas proposiciones son verdaderas; ejemplo: $p \\land q$.

Front

Disyunción

Back

Conectivo lógico representado por $\\lor$; verdadera si al menos una proposición es verdadera; ejemplo: $p \\lor q$.

Front

Negación

Back

Conectivo lógico representado por $\\neg$; invierte el valor de verdad de una proposición; ejemplo: $\\neg p$.

Front

Condicional

Back

Conectivo lógico representado por $\\rightarrow$; verdadera a menos que la primera proposición sea verdadera y la segunda falsa; ejemplo: $p \\rightarrow q$.

Front

Modus ponens

Back

Regla de inferencia: de $A \\rightarrow B$ y $A$, se deduce $B$; si la premisa es verdadera, la conclusión lo es.

Front

Modus tollens

Back

Regla de inferencia: de $A \\rightarrow B$ y $\\neg B$, se deduce $\\neg A$.

Front

Juicio

Back

Proposición que contiene sujeto, predicado y cópula, y puede ser verdadera o falsa.

Front

Proposición

Back

Unidad básica del razonamiento que puede ser verdadera o falsa; contiene sujeto y predicado.

Front

Validez

Back

Relación entre la forma del argumento y su conclusión; un argumento es válido si la conclusión se deriva necesariamente de las premisas.

Front

Falacias

Back

Errores en el razonamiento que pueden parecer válidos en la forma, pero no lo son.

Front

Lógica de predicados

Back

Extiende la lógica proposicional al incluir variables y relaciones; permite mayor complejidad en los argumentos.