Saludos Felipe.Quería preguntarle si tiene bibliografía para poder adentrarme en la lógica modal de kripke y lewis. Seria genial si me la pudiese dar para comprender más lo que ud dice.
Muy interesante estos vídeos, gran trabajo , me gustaría proponerte como próximos cursos si pudiera ser, de filosofia política o filosofia de la religión o astrología filosófica. Gracias y un saludo
Hola pensamiento en llamas podrías hacer un vídeo por favor donde expliques unos ejercicios del esquema de inferencias usando lógica modal y lógica temporal, también seria interesante si se pudiera incluir alguna otra logica que pueda resultar util, estoy trabajando en un sistema de inteligencia artificial que tiene como base el esquema de inferencia de la logica estoy necesitando cubrir mis limitaciones de conocimiento en cuanto a logicas mas amplias que la proposicional para el uso de este esquema, muchas gracias
Una pregunta, se podría construir la lógica proposicional aceptando como axiomas los principios lógicos supremos y de ahí demostrar cualquier otra fórmula de la lógica con los axiomas de lukasewtiz o algún otro sistema axiomatico? Es que en algunos libros de cálculo he visto que dan el principio de buen orden y con ese demuestran la inducción matemática y en otros libros usan la inducción para probar el principio, no se si en este caso podría pasar algo similar.
Sí si se puede, aunque queda un sistema más debil a comparación de la lógica estandar con los axiomas de Lukacevicks; es decir, un sistema que prueba menos cosas
Sí. Aunque eso no quiere decir que se pueda probar todo. A pesar de que puedes generar infinitas pruebas, por los teoremas de Gödel, hay cosas que salen de esa infinidad de cosas. Ve el video de metalógica. Ahí hablo de esos teoremas y me dices qué piensas
Son equivalentes el principio de inducción y el del buen orden. Da igual cual aceptes como verdad, automáticamente el otro lo será por equivalencia. La demostración de esto puedes buscarla en la red o en algún libro de cálculo.
Saludos, una consulta, las letras griegas (psi, fi) utlizadas en los axiomas y sintaxis que denotan en este contexto? son proposiciones del tipo s es p? tienen otro tipo de uso dentro de la lógica? PD. La T invertida que significa?
@@Elpensamientoenllamas Lo sé, lo sé. El pensamiento del hombre, filosófico, científico, político, etc., ha ido madurando poco a poco gracias a que todos nos hemos subido "a hombros de gigantes".
@@martin_codax cierto, lástima que los medievales les cortaron los hombros a los gigantes y se subieron sobre una cruz, destruyendo todo lo distinto a su cruz
@@Elpensamientoenllamas tus comentarios delatan tu cerrazón de mente. Lo medievales han bebido como nadie de la tradición filosófica clásica, y tú, quiera o no, de la suya. Valga como ejemplo ilustrativo la universidad. Esta institución nació amparada por la iglesia frente al poder de los nobles para democratizar el conocimiento. Eres bueno explicando, pero, como todo humano, todavía tienes mucho que aprender. Creo que tienes potencial, no lo desaproveches por un exceso de orgullo. Que tengas una buena tarde.
@@martin_codax claro, judeocristianizar términos griegos como phronesis a prudencia habla muy bien de su recepción de la filosofía clásica. Y si tan sólo la universidad no la hubiesen inventado los griegos, en especial Platón con la Academia, por supuesto le deberíamos mucho a los medievales en su intento de concentrar la autoridad epistemica de su época en sus manos, prohibiendo universidades árabes o judías en territorios del pleno domino de la Iglesia. Que democratas eran. Me recuerdan a cierto demócrata de nuestros días. En fin, al final si ver los hechos es estar cerrado, entonces soy una cerradura china
Gracias por el todo el contenido que compartes. Es muy interesante 😎👍
Muchas gracias maestro.
Gracias! Estos cursos son maravillosos :')
Cursas 👏👏 gracias!
Saludos Felipe.Quería preguntarle si tiene bibliografía para poder adentrarme en la lógica modal de kripke y lewis.
Seria genial si me la pudiese dar para comprender más lo que ud dice.
Muy interesante estos vídeos, gran trabajo , me gustaría proponerte como próximos cursos si pudiera ser, de filosofia política o filosofia de la religión o astrología filosófica. Gracias y un saludo
Gracias 👌🏼👌🏼
Excelente
Una pregunta guales son las caracyeristicas de la logica modal
Hola pensamiento en llamas podrías hacer un vídeo por favor donde expliques unos ejercicios del esquema de inferencias usando lógica modal y lógica temporal, también seria interesante si se pudiera incluir alguna otra logica que pueda resultar util, estoy trabajando en un sistema de inteligencia artificial que tiene como base el esquema de inferencia de la logica estoy necesitando cubrir mis limitaciones de conocimiento en cuanto a logicas mas amplias que la proposicional para el uso de este esquema, muchas gracias
Mm es algo muy específico. Quizá si te haces miembro lo pueda hacer
@@Elpensamientoenllamas Hola! ya estoy subscrito
@@jesuszerpa2964 No. Miembro del canal. No suscriptor
@@Elpensamientoenllamas como lo hago?
@@jesuszerpa2964en pocas palabras se refiere a que le pagues para que te preste atención.
Una pregunta, se podría construir la lógica proposicional aceptando como axiomas los principios lógicos supremos y de ahí demostrar cualquier otra fórmula de la lógica con los axiomas de lukasewtiz o algún otro sistema axiomatico? Es que en algunos libros de cálculo he visto que dan el principio de buen orden y con ese demuestran la inducción matemática y en otros libros usan la inducción para probar el principio, no se si en este caso podría pasar algo similar.
Sí si se puede, aunque queda un sistema más debil a comparación de la lógica estandar con los axiomas de Lukacevicks; es decir, un sistema que prueba menos cosas
@@Elpensamientoenllamas son infinitas las cosas que se pueden probar ?
Sí. Aunque eso no quiere decir que se pueda probar todo. A pesar de que puedes generar infinitas pruebas, por los teoremas de Gödel, hay cosas que salen de esa infinidad de cosas. Ve el video de metalógica. Ahí hablo de esos teoremas y me dices qué piensas
Son equivalentes el principio de inducción y el del buen orden. Da igual cual aceptes como verdad, automáticamente el otro lo será por equivalencia.
La demostración de esto puedes buscarla en la red o en algún libro de cálculo.
@@JeshuaZBG no. Se tan amable de dar la prueba tu, por favor
Saludos, una consulta, las letras griegas (psi, fi) utlizadas en los axiomas y sintaxis que denotan en este contexto? son proposiciones del tipo s es p? tienen otro tipo de uso dentro de la lógica? PD. La T invertida que significa?
Esas letras se ponen para mayor generalidad y hablar de cualquier proposición. La T invertida es la constante falsedad.
Perdón antropología filosófica quise decir
Hablas de la flosofía medieval con bastante prepotencia. La lógica formal contemporánea no surgió de la nada. Por lo demás, buen vídeo.
Tampoco la inventaron ellos
@@Elpensamientoenllamas Lo sé, lo sé. El pensamiento del hombre, filosófico, científico, político, etc., ha ido madurando poco a poco gracias a que todos nos hemos subido "a hombros de gigantes".
@@martin_codax cierto, lástima que los medievales les cortaron los hombros a los gigantes y se subieron sobre una cruz, destruyendo todo lo distinto a su cruz
@@Elpensamientoenllamas tus comentarios delatan tu cerrazón de mente. Lo medievales han bebido como nadie de la tradición filosófica clásica, y tú, quiera o no, de la suya. Valga como ejemplo ilustrativo la universidad. Esta institución nació amparada por la iglesia frente al poder de los nobles para democratizar el conocimiento. Eres bueno explicando, pero, como todo humano, todavía tienes mucho que aprender. Creo que tienes potencial, no lo desaproveches por un exceso de orgullo. Que tengas una buena tarde.
@@martin_codax claro, judeocristianizar términos griegos como phronesis a prudencia habla muy bien de su recepción de la filosofía clásica. Y si tan sólo la universidad no la hubiesen inventado los griegos, en especial Platón con la Academia, por supuesto le deberíamos mucho a los medievales en su intento de concentrar la autoridad epistemica de su época en sus manos, prohibiendo universidades árabes o judías en territorios del pleno domino de la Iglesia. Que democratas eran. Me recuerdan a cierto demócrata de nuestros días.
En fin, al final si ver los hechos es estar cerrado, entonces soy una cerradura china