Docsity
Docsity

Prepara tus exámenes
Prepara tus exámenes

Prepara tus exámenes y mejora tus resultados gracias a la gran cantidad de recursos disponibles en Docsity


Consigue puntos base para descargar
Consigue puntos base para descargar

Gana puntos ayudando a otros estudiantes o consíguelos activando un Plan Premium


Orientación Universidad
Orientación Universidad


Introducción a la lógica: Tipos y validez de argumentos - Prof. González Páez, Apuntes de Historia

Este documento introduce el concepto de argumentos y su validez lógica. Se explican los conceptos básicos de enunciados, proposiciones, premisas y conclusión, y se distingue entre la validez intuitiva y analítica de un argumento. Se presentan ejemplos de argumentos correctos y erróneos, y se discuten aproximaciones a la noción de validez lógica.

Tipo: Apuntes

2013/2014

Subido el 24/09/2014

sendoo-1
sendoo-1 🇪🇸

3

(7)

10 documentos

1 / 8

Toggle sidebar

Esta página no es visible en la vista previa

¡No te pierdas las partes importantes!

bg1
Introducci´o a la l`ogica - Grup B1
Introducci´o
Sergi Oms
Departament de L`ogica, Hist`oria i Filosofia de la Ci`encia
pf3
pf4
pf5
pf8

Vista previa parcial del texto

¡Descarga Introducción a la lógica: Tipos y validez de argumentos - Prof. González Páez y más Apuntes en PDF de Historia solo en Docsity!

Introducci´o a la l`ogica - Grup B

Introducci´o

Sergi Oms

Departament de Logica, Historia i Filosofia de la Ci`encia

Arguments i argumentacions

  • (^) Un enunciat ´es un exemplar d’oraci´o declarativa usat en un context en qual t´e sentit preguntar-se si ´es vertader o fals.
  • (^) Una proposici´o ´es all`o expressat per un enunciat en un context determinat.
  • En una argumentaci´o podem distingir tres components: les premisses, la conclusi´o i la cadena argumentativa.
  • Les premisses i la conclusi´o s´on proposicions que constitueixen l’argument de l’argumentaci´o. La cadena argumentativa connecta les premisses amb la conclusi´o.

Exemples de diferents tipus d’arguments intu¨ıtivament

correctes

  1. Ha mort l’esposa de Socrates. ∴ Socrates ´es vidu.
  2. Tots els homes s´on mortals. Socrates ´es un home. ∴ Socrates ´es mortal.
  3. Ha mort l’esposa de Socrates. Si ha mort l’esposa de Socrates, aleshores Socrates ´es vidu. ∴ Socrates ´es vidu.
  4. L’Anna sap que nomes sobreviura si beu aigua. ∴ L’Anna intentar`a beure aigua.
  5. Totes les pel.l´ıcules de Woody Allen que he vist m’han agradat. ∴ La propera pel.l´ıcula que vegi de Woody Allen m’agradar`a.
  6. Niara ´es una balena. ∴ Niara es un mam´ıfer.
  7. Tots els escriptors s´on anglesos. Kafka ´es un escritor. ∴ Kafka ´es angl`es.

Aproximacions a la noci´o de validesa l`ogica

  • (^) (1) Un argument ´es logicament valid si, i nom´es si, ´es impossible que totes les seves premisses siguin vertaderes i la seva conclusi´o falsa.
  • O, tamb´e: Un argument es logicament valid si, i nom´es si, preserva necess`ariament la veritat.
  • Aquest criteri exclou els arguments 4 i 5 de la llista anterior.
  • (^) Si les premisses d’un argument s´on vertaderes i la conclusi´o ´es falsa, l’argument no pot ser v`alid.
  • (^) (2) Un argument ´es logicament valid si, i nom´es si, el coneixement del significat de les premisses i de la conclusi´o ´es suficient per a determinar que l’argument preserva la veritat.
  • (^) La noci´o definida en (2) s’anomena validesa anal´ıtica.
  • Aquest criteri exclou, a m´es de 4 i 5, l’argument 6.

Exemples d’arguments valids i no valids

A

Les balenes s´on mam´ıfers. Cap mam´ıfer ´es una au. ∴ Cap balena ´es una au.

C

Les balenes s´on mam´ıfers. Cap mam´ıfer t´e ales. ∴ Cap balena t´e ales. D Les balenes s´on peixos. Cap peix ´es viv´ıpar. ∴ Cap balena ´es viv´ıpara.

A

Les balenes s´on mam´ıfers. Cap balena ´es una au. ∴ Cap mam´ıfer ´es una au. B Les balenes son mam´ıfers. Cap balena t´e ales. ∴ Cap mam´ıfer t´e ales. C Les balenes s´on peixos. Cap balena ´es un reptil. ∴ Cap peix ´es un reptil. D Les balenes s´on peixos. Cap balena ´es ov´ıpara. ∴ Cap peix ´es ov´ıpar.

Exemples d’arguments valids i no valids

  • Els arguments A1, C1 i D1 s´on tots de la forma logica (1), i els arguments A2, B2, C2 i D2 comparteixen la forma logica (2).

(1) Tots els X s´on Y. Cap Y ´es Z. ∴ Cap X ´es Z.

Tots els X s´on Y. Cap X ´es Z. ∴ Cap Y ´es Z.

  • Com que l’argument B2 t´e premisses vertaderes i conclusi´o falsa, la forma logica (2) no ´es valida i, per tant, cap dels arguments A2, B2, C2 i D2 ´es v`alid.
  • Es pot veure intu¨ıtivament que tots els arguments de la forma logica (1) preserven la veritat. Per tant, els arguments A1, C i D1 s´on valids.