Este hilo será renovado cada lunes

  • _donnadie_
    5·
    5 months ago

    ¿Alguien conoce algún buen libro de lógica (matemática)? No creo que lo vaya a estudiar, pero tengo curiosidad en este momento.

    Nota aparte, hablo desde la ignorancia, pero realmente no creo que haya distinción entre lógica matemática y la lógica que pueda ver un filósofo jajaja, especifiqué por si existe alguna diferenciación. Hasta donde yo sé, Bertrand Russel hizo ambas cosas, así que para mi son el mismo mundillo.

    • A_Chilean_CyborgEnglish
      2·
      5 months ago

      La lógica proposicional, o de bool, es más parecida a calcular que la filosofía:

      ~ = no, /\ = y, \/ = o, => = implica, <=> si y solo si

      Al final la lógica matemática se usa para correr todo el software que el filósofo use para escribir sus filosofadas, claro que la lógica booleana no es más que la punta del iceberg de la lógica matemática, pero es que el resto del álgebra es una versión complicada de eso nomás, “demuestre que x = Y” es básicamente eso.

        • A_Chilean_Cyborg
          1·
          5 months ago

          Feddit no me informó que subió mi msg y por los contenidos de este pensé que era por algún tema de formato o algo así, y traté de varias maneras hasta que desde mi PC me di cuenta que si se subió xd.