Elementos de lógica formal
1957·divulgacion
Un texto clásico que ofrece un tratamiento axiomático y riguroso de la lógica formal, cubriendo el cálculo de proposiciones, el cálculo de predicados y elementos de la teoría de conjuntos.
estadounidense
Patrick Suppes fue un filósofo y científico estadounidense, conocido por sus contribuciones a la educación y la filosofía de la ciencia, así como por su trabajo en el desarrollo de teorías del aprendizaje. Su influencia se extiende a través de la educación en línea y el uso de la tecnología en el aprendizaje.
1957·divulgacion
Un texto clásico que ofrece un tratamiento axiomático y riguroso de la lógica formal, cubriendo el cálculo de proposiciones, el cálculo de predicados y elementos de la teoría de conjuntos.
1957·ensayo
Un libro de texto clásico que aborda la lógica formal con un enfoque riguroso y metódico, introduciendo gradualmente los conceptos desde la lógica de proposiciones hasta la lógica de predicados y la teoría de conjuntos.
1960·divulgacion
Una introducción a la teoría de conjuntos que comienza con conceptos intuitivos y avanza hacia formulaciones axiomáticas más rigurosas, cubriendo sus principios fundamentales.
El libro examina la naturaleza y la estructura de las teorías científicas, analizando cómo se desarrollan, se utilizan y se evalúan en la práctica científica.
1970·ensayo
Suppes aborda la filosofía de la ciencia desde una perspectiva formalista, utilizando la teoría de conjuntos para ofrecer un marco riguroso para la comprensión de la estructura de las teorías científicas y la relación entre la teoría y la evidencia empírica.
Este libro presenta una teoría probabilística del causalidad, analizando cómo se pueden establecer relaciones causales en contextos donde la probabilidad juega un papel crucial, combinando conceptos de filosofía y matemática.
Este libro explora la naturaleza de la representación en las ciencias, examinando cómo las estructuras científicas pueden ser representadas y analizadas desde diversas perspectivas, resaltando la invariancia de estas representaciones.
Aparecen junto a Patrick Suppes en búsquedas del archivo