Lógica Formal by Edwin Peña https://padlet.com/edwin_aletheia97/yvc54876z7c5 Unidad 1: Fase 0 - Reconocimiento en-us 2020-02-14 01:35:05 UTC 2025-03-13 03:41:57 UTC hello@padlet.com ¿Qué es Lógica Formal? edwin_aletheia97 https://padlet.com/edwin_aletheia97/yvc54876z7c5/wish/445393418 La lógica es una teoría de la validez formal de algunos argumentos, una teoría de la relación de consecuencia entre conjuntos de enunciados  No se limita a establecer formas argumentativas válidas, sino que también aspira a ser una explicación de dicha validez. Podemos hablar de la lógica, en singular, para referirnos a lo común a los distintos sistemas lógicos: son teorías de la relación de consecuencia debida únicamente a la forma. No se ha de entender, por tanto, que cuando usamos la expresión “la lógica” estamos presuponiendo que hay una única lógica correcta ]]> 2020-02-14 01:42:40 UTC https://padlet.com/edwin_aletheia97/yvc54876z7c5/wish/445393418 Propiedades de teorías edwin_aletheia97 https://padlet.com/edwin_aletheia97/yvc54876z7c5/wish/445399287
  • Consistencia 
  • Completud 
  • Corrección 
  • Compacidad o finitud
  • Decidibilidad
  • Löwenheim-Skolem 
    • ]]>     2020-02-14 02:02:23 UTC https://padlet.com/edwin_aletheia97/yvc54876z7c5/wish/445399287     Pluralidad de formas edwin_aletheia97 https://padlet.com/edwin_aletheia97/yvc54876z7c5/wish/445399365 Realismo platónico: sí, hay o habrá una única lógica, que es la lógica genuina.
    Relativismo: no hay ni habrá una única lógica correcta, sino que son posibles distintas lógicas igualmente correctas o aceptables. ]]>     2020-02-14 02:02:35 UTC https://padlet.com/edwin_aletheia97/yvc54876z7c5/wish/445399365     edwin_aletheia97 https://padlet.com/edwin_aletheia97/yvc54876z7c5/wish/445399709 2020-02-14 02:03:43 UTC https://padlet.com/edwin_aletheia97/yvc54876z7c5/wish/445399709 Afirmación, oración, enunciado y proposición edwin_aletheia97 https://padlet.com/edwin_aletheia97/yvc54876z7c5/wish/445400298 Las relaciones entre afirmación, oración, enunciado y proposición son bastante claras: un enunciado es un tipo de oración (noción lingüística), que expresa significados afirmables (noción psicológica) algunos de los cuales son proposiciones (noción ontológica).   ]]> 2020-02-14 02:05:45 UTC https://padlet.com/edwin_aletheia97/yvc54876z7c5/wish/445400298 edwin_aletheia97 https://padlet.com/edwin_aletheia97/yvc54876z7c5/wish/445406196 2020-02-14 02:25:53 UTC https://padlet.com/edwin_aletheia97/yvc54876z7c5/wish/445406196 Argumentos edwin_aletheia97 https://padlet.com/edwin_aletheia97/yvc54876z7c5/wish/445406552 Deductivo: de lo general a lo particular
    Inductivo: de lo particular a lo general

    ]]>     2020-02-14 02:27:05 UTC https://padlet.com/edwin_aletheia97/yvc54876z7c5/wish/445406552