-
122Analítica revista de filosofíaAnalítica. Revista de Filosofía 9 69-112. 2015.The complete arithmetization of the bivalued propositional logic is here presented and extended with original functions not hitherto included in other interpretations of propositional logic, as the algebraic logic or sets theory. An historical review of the former attempts of arithmetical representation of the propositional logic is presented.
-
12Aritmética Semántica: un prefacioAgora 39 (1). 2020.La teoría de números, o la aritmética pura, concierne a los números naturales mismos, no a la notación usada, y en particular no a los numerales. La teoría de ristras, o la sintaxis pura, concierne a los numerales como ristras de caracteres «no-interpretados», al margen de los números que puedan denotar cuando son usados. La teoría de los números es puramente aritmética, la teoría de ristras es puramente sintáctica… en tanto se considere el universo del discurso solo. La aritmética semántica es …Read more
-
88Lista de distributividades y asociatividades posibles en lógica triproposicionalAuthor's edition. 2006.En este documento se despliega todas las distributividades y asociatividades posibles de construir en el formato tradicional de la lógica bivaluada, asimismo se presenta el valor que resulta de efectuar dichas operaciones de distributividad y asociatividad, sean o no tautológicas a través del operador de la equivalencia lógica. El valor resultante de realizar una operación de distributividad o asociatividad se expresa como el código binario de su columna veritativo-funcional, presentado en base …Read more
-
156In this fragment of Opuscula Logica it is displayed an arithmetical treatment of the aristotelic syllogisms upon the previous interpretations of Christine Ladd-Franklin and Jean Piaget. For the first time, the whole deductive corpus for each syllogism is presented in the two innovative modalities first proposed by Hugo Padilla Chacón. A. The Projection method (all the possible expressions that can be deduced through the conditional from a logical expression) and B. The Retrojection method (all t…Read more
-
620Generador de Genes (Gengen)In Garduño-Soto, G. and Padilla-Chacón, H. “Generador de Genes (Gengen).” VIIIa. Conferencia Internacional: Las Computadoras en Instituciones de Educación y de Investigación. Cómputo Académico, UNAM, UNISYS, México, 1992., National Autonomous University of Mexico. pp. 262-265. 1992.Algorithmical procedure within a logical system to generate DNA chains through a formal rule up to the generation of a STOP codon's signal. Work developped under the direction of the Mexican Professor Hugo Padilla Chacón.
-
213Sistema Experto en Deducción dentro de la Lógica Normal TrivalenteIn Gabriel Garduño-Soto, David René Thierry García, Rafael Vidal Uribe & Hugo Padilla Chacón (eds.), VIa. Conferencia Internacional: Las Computadoras en Instituciones de Educación y de Investigación. Cómputo Académico, UNAM, UNISYS, México, octubre 3–5, 1990., National Autonomous University of Mexico. 1990.Proceeding of the work in trivalent logic developped under the direction of the professor Hugo Padilla Chacón at the 90's at the National Autonome University of México. Program in RLisp.
-
184Sistema Experto en Deducción NaturalDissertation, National Autonomus University of Mexico. 1990.Proceeding on the Automatic Deduction System developped at the Philosophy Faculty of the UNAM at Mexico City. (Deduktor Mexican Group of Logics work under the direction of the professor Hugo Padilla Chacón). Conference presented at the mexican City of Guadalajara at the Universidad de Guadalajara, Jalisco, by invitation of the latinoamerican association of philosophy SOPHIA. Early stage of the deductional systems at 2-valued logic. This work embodies the implementation of the first whole and sta…Read more
-
367Proceeding of the first public presentation of the work of the mexican logical group "Deduktor" under the direction of the mexican professor Hugo Padilla Chacón. This work was in fact the first whole and stand alone arithmetization of logics.
Areas of Specialization
Science, Logic, and Mathematics |
Logic and Philosophy of Logic |
Epistemology |