
Breves tratados de lógica y argumentación: un enfoque integrado para humanistas
By Raúl Antonio Gómez MarínLength13h 18m
About this audiobook
Breves tratados de Lógica y argumentación es un libro no muy ortodoxo, tanto desde el punto de vista de los tratados de Lógica como de los de argumentación. El texto está estructurado según tres ejes temáticos. En el primero trata la lógica clásica sin dejar de contrastar sus conceptos y principios con los de otras lógicas no clásicas; en el segundo estudia el análisis lógico de los argumentos, y en el tercero aparecen algunos breves tratados sobre ciertas cuestiones lógico-filosóficas que, de cara a la Lógica y a los problemas de la racionalidad contemporánea, el autor estima que es de primordial importancia volver a considerar: el objeto de la Lógica, la validez de los principios de razón y la inconsistencia, la cuestión de la verdad, el análisis lógico del lenguaje, la estructura de los argumentos y la cuestión de las falacias.
Audiobook details
GenreScience and Nature
Length13 hrs 18 mins
Narrated byListen with 1,000+ voices
FormateBook with Audio
Publish dateJan 1, 2012
LanguageSpanish
Table of contents
1Un enfoque integrado para humanistas
1828.3.2.4 Leyes de asociación
2Agradecimientos
1838.3.2.5 Leyes distributivas
3Introducción*
1848.3.2.7 Reglas de la equivalencia material
4Tanto por sus contenidos como por su metodología, el texto tiene los
1858.3.2.8 Reglas de tautologías (rt)
5Que tiene por objeto:
1868.3.2.9 Reglas de inserción de tautologías (rit)
Show all chaptersShow less
6para salvaguardar así el estatuto de la lógica clásica.
1878.3.1.11 Teorema de deducción (td)
71.1 Un cierto bucle
188Desagregando el enunciado, el teorema de deducción asegura que:
81.2 La cuestión del Logos
189Ejemplo 8.18
9Logos.
1908.3.3.1 El método de inferencia directo
101.3 La cuestión de la verdad
1918.3.3.2 El método de inferencia condicional
11V. Lección 3, Parágrafo 3.2.
192Hipótesis condicional
121.4 La cuestión de la proposición
193rit
13Hasta el momento hemos logrado entrever dos cosas:
1948.3.3.3 Método de inferencia indirecta
141.5 La cuestión del razonamiento
195Hipótesis indirecta
15Precisemos un poco más este tópico:
196Ejemplo 8.28
16Nota
197Hipótesis
171.6 La cuestión de los argumentos
198Por el método directo:
181.7.1 Primer período. Período antiguo
199Ejemplo 8.30
19aún no teorizada.
200Hipótesis
201.7.3 Tercer período
201Hipótesis condicional 2
211.7.4 Cuarto período
2028.4.3 Contenido del Taller
22Lección 2 La cuestión de los principios de la razón
203Introducción
23Introducción
2049.2 De los argumentos
242.1 De los principios de la razón
2059.2.1 De las premisas y la conclusión
25tercer excluso o del tertium non datur.
206Ejemplo 9.2
26V. Lección 1.
2079.2.2 Relevancia o validez de los argumentos
272.3 Los siete principios de la razón
2089.2.3 Tipos de argumentos
282.3.1.1 Forma ontológica
2099.3 La argumentación y los sistemas de lógica
29la implicación clásica.
2109.4 Hacia un estudio lógico de los argumentos
302.3.2.1 Forma ontológica
2119.4.1 Postulados básicos para un estudio lógico de argumentos
31tradicción expresa algo muy difícil de reprochar:
2129.4.1.2 Postulado 2. Relatividad lógica
322.3.2.2 Formas lógicas
2139.5 Una metodología para el estudio lógico de un argumento
332.3.3 Principio del tercer excluido (principio del tertiumnon datur)
214interpretación que hacen de la implicación →.
342.3.4 Principio de bivalencia
215otra.
352.3.4.2 Formas lógicas
2169.6 Ilustración de la metodología
36V (A); o F (A)
217equivocado.
372.3.5 Principio de reducción al absurdo
218y por lo tanto es una tautología.
38Positiva
219Ejemplo 9.11
39gación de dicha hipótesis ~ H.
220contingente y menos aún contradictorio.
402.3.6 El principio del pseudo-Scoto
221Nivel 3. Validez semántica
412.3.6.2 Formas lógicas
222lógicamente; hay contradicciones en todas ellas:
42(A ∧ ~ A) → B para todo enunciado B
223Hipótesis condicional
43a cualquier B como consecuencia.
224Ejemplo 9.12
44Definición 2.2
225Conclusión: La esencia del mundo permanece inmutable o el ser deviene
45lización del conocimiento o de la teoría que lo produce.
226Nivel 3. Validez semántica
462.3.7 El principio de razón suficiente (principium de ratione sufficientis)
227Ejemplo 9.13
47Cerremos esta exposición de los principios de la razón con las siguien-
228de contradicción no es válido semánticamente.
48tes anotaciones de corte muy general:
229Nivel 3. Validez semántica
49Lección 3 Cuestiones acerca de la verdad
230Premisa (hipótesis)
503.1 Cuestiones sobre el sentido del término verdad
2319.7.2 Criterios lógicos para determinar la validez de un argumento
513.2 Aristóteles
232si un enunciado es hipotéticos o inverificable, es científico.
523.3 La teoría de la verdad correspondiente
23310.1 Análisis lógico del lenguaje
533.5 La teoría de la redundancia
23410.1.1 De las constantes individuales
543.6 La teoría semántica de la verdad
235Ejemplo 10.2
553.6.2 Definición semántica de la verdad
236un número real.
56La concepción semántica de verdad la podemos condensar en la siguiente fórmula:
237no tiene dinero.
57Cláusula 1
238Ejemplo 10.4
58Cláusula 2
23910.1.3 De los predicados
59siguiente:
240Definición 10.3
60Ejemplo 3.1
241En el ámbito de la lógica de predicados con identidad se distinguen
613.7 Teorías pragmáticas de la verdad
24210.1.4 De las variables individuales
623.8 La teoría consensual de la verdad
243Ejemplo 10.5
63Respecto de la pretensión de validez, Habermas afirma:
244de la lógica de predicados del tipo I(x).
64En síntesis, la teoría del consenso de la verdad postula lo siguiente:
24510.1.5 Formas generales de los enunciados1
65discurso mediante argumentos sólidos.
246Atendiendo a la categoría de calidad, la lógica clásica de predicados
663.9 La teoría de la coherencia de la verdad
247sea un marcador de negación.
673.10 Conclusiones
248Atendiendo a la categoría de cantidad, la lógica clásica de predicados
683.11 Ejercicios Lección 3
249Ningún insecto es cordado
69Lección 4 Sistemas de lógica. Primeros aspectos
250Ejemplo 10.7
70Introducción
25110.1.5.2 De los enunciados universales
71Así, la sintaxis de un lenguaje formal estudia los signos del lenguaje
252Ejemplo 10.8
724.1 Sintaxis formal
253afirmativos:
734.1.1 Del alfabeto
25410.1.5.4 De las relaciones funcionales
74que abre ) y el paréntesis que cierra (.
255Ejemplo 10.10
754.1.3 Del metalenguaje
256Ejemplo 10.11
76enunciados:
257Ejemplo 10.12
77Ejemplo 4.2
258Ejemplo 10.14
78diciendo tácitamente el hecho de que p.
25910.3 La sintaxis de la lógica clásica de predicados de primer
79Ejemplo 4.3
260orden con identidad
80Ejemplo 4.4
261enunciamos algo de algo.
814.2.3 La constante lógica o
26210.3.2.1 Reglas sintácticas para la formación de los términos
824.2.5 La constante lógica si y solo si
263Ejemplo 10.16
834.2.6 La constante lógica existe al menos un
26410.3.2.2 Reglas sintácticas para la producción de las fórmulas
844.2.7 La constante lógica todo
265x = y
854.3 Operadores de aserción
266entonces:
864.4 Lógica y discurso
267Definición 10.10
87Lección 5 Elementos de la lógica clásica de enunciados
268Ejemplo 10.22
88Introducción
2693 dos símbolos de predicado con la aridad indicada. Las
89Ahora, para estructurar un sistema de lógica como sistema deductivo
270Ejemplo 10.24
905.1 Primeros elementos de la lógica clásica de enunciados
271y = c
915.1.1 Sintaxis para la lógica clásica de enunciados
27210.4.1 Fórmulas abiertas
925.1.2.1 El alfabeto S
273Ejemplo 10.26
93Ejemplo 5.1
274Ejemplo 10.27
94Ejemplo 5.2
27510.5 Representación del conocimiento
95Ejemplo 5.3
276Ejemplo 10.28
96Ejemplo 5.4
277Ejemplo 10.34
975.1.4 Reducción a la forma primitiva
278Ejemplo 10.39
985.2 La cuestión de la representación del conocimiento
279donde:
99vamos a dar vueltas en torno a ella mediante la siguiente indagación.
280Ejemplo 10.42
100plícito o implícito, un sistema lógico.
281Ejemplo 10.44
1015.2.1 La representación del conocimiento en la lógica clásica de enunciados
28210.6.2 Postulados básicos
102los enunciados.
28310.6.3 Contenido del Taller
103bolo de proposición atómica (p, q, r, etc.).
284Introducción
104alguno de los cinco conectivos clásicos o alguna combinación de ellos.
28511.1 La cuestión de la verdad. Semántica
105~ p → q
28611.2 Modelos de lcp
106ción absoluta.
287A cada símbolo de función F lo interpretamos como sigue:
107es imposible. r → ~ p
288Ejemplo 11.3
1085.3 Cuestiones sobre semántica lógica
289obtenemos el enunciado:
1095.3.1 Semánticas formales
290ser humano}.
110En síntesis, en una semántica alética es necesario:
291$z ∀x P(z x).
111de enunciados
292Ejemplo 11.6
112bivalencia.
293enteros Z.
113cipio de contradicción impide que ~ p tenga valor de verdad 1.
29411.3 La cuestión de la validez semántica
114Figura 5.2 Matriz de la disyunción A ∨ B
295estudiado.
115~ p ∨ q
29611.4 La cuestión de la verdad
116Así, la interpretación del condicional clásico queda determinada por
297V. Lección 3.
117La conjunción clásica ∧ la definimos como sigue:
298Definición 11.3
118~ p
299Definición 11.4
119El bicondicional clásico (o equivalencia lógica) se define como sigue:
300Ejemplo 11.11
120Figura 5.7 Matriz del bicondicional clásico
30111.6 De la validez de los argumentos
121V(A ↔ B) = Mínimo [V(A → B), V (B → A)]
30211.6.1 Postulados básicos
1225.5.2 Postulados básicos
303Postulado 4. Substitución
1235.5.3 Definiciones básicas
304el siguiente criterio:
1245.5.4 Contenido del Taller
305Nivel 4. Análisis de la validez sintáctica
125tenga esa estructura lógica es verdadero.
30611.7.1 Regla de especificación universal E∀
126dicha estructura lógica es falso.
307El espíritu de esta Regla lo podemos expresar del siguiente modo:
127Lección 6 La lógica trivaluada de enunciados de Łukasiewicz. Elementos básicos
30811.7.3 Regla de generalización existencial I $
128Introducción
30911.7.4 La cuestión de especificación existencial
129de cadenas articuladas de enunciados.
31011.7.5 Las otras reglas de inferencia
130ricas–
311Equivalencias básicas
1316.2.1 Del alfabeto
312E$ en 1 –c es testigo de la especificación–
1326.3 De la semántica de la L3
313Ejemplo 11.14
133Definición 6.2
314conclusión
134Figura 6.1 Matriz de la implicación → de la L3
315Ejemplo 11.15
135V(A ∧3 B) = Mínimo[V(A), V(B)] donde:
316Nivel 3. Análisis de la validez semántica
136V. Taller de aprendizaje 3 al final de esta Lección.
317Nivel 3. Prueba de la validez sintáctica del argumento
137A
318V. Lección 7
138¬ A
319Ejemplo 11.15
1396.4.3 El principio del tercer excluido
32011.10.1 Metas cognitivas
1406.4.4 El principio de eliminación de la doble negación
321lógico de los argumentos.
141¬ A
322$x ∀y P(x y) → ∀y $x P(x y)
1426.4.5 El principio del pseudo-Scoto
323Pruebe que el siguiente sistema de premisas es inconsistente:
1436.5.4 Contenido del Taller
324veinte años de cárcel
144Ejemplo 7.1
325Anexo 1 Falacias, aporías, antinomias y paradojas
145Definición 7.3
326Introducción
146Notas
3271.1 La cuestión de las falacias
1477.2 Semántica de los tableros semánticos. Fundamentos
3281.2 Clases de falacias
148Nota
3291.2.1.1 Falacia ad hominem
1497.2.2.3 Interpretación del condicional, la conjunción y el bicondicional
3301.2.1.3 Falacia ad hominem circunstancial
150Dejamos al lector como ejercicio dichos desarrollos.
331valer para el auditorio universal (Gómez, 1993: 16).
151Veamos cómo proceder para realizar ambas tareas:
3321.2.1.4 Falacia ad ignorantiam
1527.4 La lógica clásica de enunciados es decidible
3331.2.1.6 Falacia de la pregunta compleja
1537.4.1 Procedimiento de decisión
3341.2.1.7 Falacias de generalización inapropiada y de accidente
154es verdadera siempre, o sea, es una tautología.
3351.2.1.8 Falacia de non causa procausa (de causa falsa)
155A
3361.2.1.9 Falacia petitio principii (de petición de principio)
156es verdadera siempre, o sea, es una tautología.
337siguiente argumento formulado por Richard Whately:
157B
3381.2.1.10 Falacias ad misericordiam, ad populum, y ad baculum
158Nota
3391.2.2 Falacias lingüísticas (de ambigüedad)
159(según el principio de reducción al absurdo).
3401.2.2.1 Falacia de equivocación (el equívoco)
1607.6.4 Contenido del Taller
3411.2.2.2 Falacia de la anfibología
161valor de verdad
3421.2.2.3 Falacia de énfasis
162resultados con un argumento.
3431.2.2.4 Falacias de composición y división
163Lección 8 Deducción natural
344Según Copi y Cohen:
164Introducción
3451.3.1 Aporía
1658.1.1 Definiciones básicas
3461.3.1.1 Ejemplos de aporías
166Ejemplo 8.1
3471.3.3 Paradoja
167Definición 8.4
348Anexo 2 Lógica de las modalidades. Aspectos básicos
168teoría T, escribimos T ├ A.
349Introducción
1698.1.2 Argumentos lógicos
350V. Aristóteles, Metafísica, V, 1051 a34-36.
1708.1.4 De las leyes de la lógica clásica de enunciados
3512.1 Las modalidades de los enunciados
1718.2 De las reglas de inferencia
3522.2 Elementos básicos de lógica de las modalidades. Lógicas modales
1728.3 Un sistema de deducción natural para la lógica clásica
3532.2.1.1 Alfabeto
173de enunciados
354Ejemplo 2.2
1748.3.1.4 Regla del silogismo disyuntivo (sd)
355Los enunciados necesarios son necesariamente necesarios: □ r → □ (□ r)
1758.3.1.6 Regla de simplificación (rs)
3562.3 La implicación estricta
1768.3.1.9 Regla general del pseudo-Scoto (ps)
3572.4 La cuestión de la verdad
177Definición 8.6
358Las verdades necesarias son necesarias
178Premisa 4
359Bibliografía
1798.3.1.10 Regla de substitución (rsb)
360Fondo Editorial Universidad EAFIT.
1808.3.2.2 Leyes de De Morgan
361(2004). La pregunta por la verdad. Madrid. Alianza.
1818.3.2.3 Leyes de conmutatividad
362(2002). “T. I”. En: El Método. Barcelona. Grijalbo.