¿Qué es la lógica intuicionista? - Sesión 17. Curso de lógica y filosofía de la lógica

แชร์
ฝัง
  • เผยแพร่เมื่อ 17 ธ.ค. 2024

ความคิดเห็น • 6

  • @polkitcursospremiumresumen3073
    @polkitcursospremiumresumen3073 3 ปีที่แล้ว

    Gracias! 👏👏👏

  • @yersoncasa2013
    @yersoncasa2013 3 ปีที่แล้ว

    Muy interesante tema, me generó muchas preguntas que antes ni intuí 😆

  • @aftersoon_
    @aftersoon_ 3 ปีที่แล้ว +4

    ¿Como demuestras que todo lo verdadero tiene que ser demostrable?

    • @Elpensamientoenllamas
      @Elpensamientoenllamas  3 ปีที่แล้ว +2

      Buena pregunta! De ahí que se llame intuicionismo a la filosofía intuicionista; se supone que es una noción intuitiva de verdad (algo que aceptamos por sentido común) el que algo verdadero es aquello que sólo se demuestra

    • @aftersoon_
      @aftersoon_ 3 ปีที่แล้ว +4

      @@Elpensamientoenllamas
      .
      En ese caso ¿podría volverse a esas verdades incuestionables de la escolástica medieval?

    • @josepablo4575
      @josepablo4575 2 ปีที่แล้ว +1

      @@aftersoon_ según entiendo no se defiende que "todo lo verdadero tiene que ser demostrable" sino que por definición solo sabemos que es verdadero aquello que podemos demostrar que lo es.
      si defines a=2 como demuestras que a=2? bueno es la definición de a, del mismo modo se define el término verdad aquí de esa forma, ¿qué otra definición te parece más natural?