Lógica formal by RAP HISPANO https://padlet.com/raphispano365/evytnhdqrcgc Trabajo lógica formal en-us 2020-02-14 15:14:22 UTC 2023-02-11 16:27:33 UTC hello@padlet.com Descripción raphispano365 https://padlet.com/raphispano365/evytnhdqrcgc/wish/445627341 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.]]> 2020-02-14 15:19:57 UTC https://padlet.com/raphispano365/evytnhdqrcgc/wish/445627341 Descripción raphispano365 https://padlet.com/raphispano365/evytnhdqrcgc/wish/445630561 trata de la naturaleza y la justificación de los sistemas lógicos.
Es principalmente filosofía. ]]> 2020-02-14 15:25:17 UTC https://padlet.com/raphispano365/evytnhdqrcgc/wish/445630561 Tipo de entidades raphispano365 https://padlet.com/raphispano365/evytnhdqrcgc/wish/445637191 Al sistema lógico definido nos referimos indistintamente con las expresiones "lógica de enunciados" y "lógica proporcional".
-portadores de verdad (semántica
-de que tipo son esas entidades (ontológica).]]> 2020-02-14 15:36:11 UTC https://padlet.com/raphispano365/evytnhdqrcgc/wish/445637191 raphispano365 https://padlet.com/raphispano365/evytnhdqrcgc/wish/445639631 una vez aceptamos generalmente que la verdad es algún tipo de predicado, tenemos que aclarar de qué predicamos la verdad.
Davidson: oraciones-caso
Strawson: Afirmaciones
Barwise y Perry: situaciones
Fregue: Preposiciones ]]> 2020-02-14 15:40:29 UTC https://padlet.com/raphispano365/evytnhdqrcgc/wish/445639631 raphispano365 https://padlet.com/raphispano365/evytnhdqrcgc/wish/445645699 Un modo de evitar la titulación de entidades intencionales es afirmar que los portadores de verdad son ciertas entidades lingüísticas: las oraciones-caso. ]]> 2020-02-14 15:51:06 UTC https://padlet.com/raphispano365/evytnhdqrcgc/wish/445645699