¿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.
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.
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.
¿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.
La lógica desde las matemáticas y la filosofía no son exactamente lo mismo. Para muestra, un zelda de wikipedia: https://es.wikipedia.org/wiki/Lógica_intuicionista
Sí es cierto que es mucho más útil para la vida los libros de lógica desde las matemáticas jajaja
Muchas gracias por la diferenciación. Estaré leyendo el artículo :)
deleted by creator
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.
deleted by creator
Qué wea pasó XD
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.
deleted by creator
deleted by creator
deleted by creator
deleted by creator
deleted by creator
deleted by creator
deleted by creator