Como parte de este importante homenaje e iniciativa de publicacion de alta difusion, los musicos:... more Como parte de este importante homenaje e iniciativa de publicacion de alta difusion, los musicos: Dominique Petrich (cello) y Manuel Mejia Armijo (laud) realizaron una hermosa interpretacion del Arreglo de Orfeo Mandozzi, …“dedicada a Maria Noel Lapoujade y sus 70 anos de vida”. Dicha interpretacion se hizo con un violonchelo Joannes Antonius Gedler (1764) y un laud de ocho ordenes “temalcatzingo”, Slavador Soto, (2015).
Tenemos al menos dos retos en logica: crear una teoria rigurosa del contexto inferencial e integr... more Tenemos al menos dos retos en logica: crear una teoria rigurosa del contexto inferencial e integrar armonicamente logicas diversas. Gran parte de lo que hace a una inferencia aceptable son las circunstancias en las que se produce. Es necesario tomar en cuenta las prioridades y los recursos disponibles cuando se hace una teoria de lo que es una buena inferencia. El otro reto es combinar sistemas de logica en la construccion de analisis mas completos de las diferentes facetas de la correccion inferencial, preguntandonos cuales herramientas logicas es mas conveniente utilizar, en que areas de la experiencia y en que contextos. Abstract In logic we face at leat two challenges: the creation of a rigorous theory of inferencial context and the harmonious integration of different logics. The circumstances of production are part and parcel of what makes an inference acceptable. It is necessary to take into account both priorities and available resourses in a theory of good inference. The second challenge is the combining of logical systems into more complete analysis of sundry facets of inferential correctness, asking what logical tools are convenient, in what areas and in what contxts.
En este trabajo hablare sobre los dificiles temas de la logica, la politica, la moral, y la educa... more En este trabajo hablare sobre los dificiles temas de la logica, la politica, la moral, y la educacion. Son temas que es prudente no mezclar, pero a veces es necesario incorporar todas estas nociones en un analisis medianamente completo de cualquiera de ellos.
Other InterNet access: (1) By anonymous ftp: open ftp.csic.es, then go to directory /pub/sorites ... more Other InterNet access: (1) By anonymous ftp: open ftp.csic.es, then go to directory /pub/sorites (2) By Gopher open gopher.csic.es; then select item 3 (‘FTP del CTI/’); then select item 4 (‘pub/’); then select item 21 (‘sorites/’) Please send both your Regular-Mail contributions and books for review to
SOME ASSUMPTIONS ABOUT PROBLEM SOLVING METHOD IN TURING'S MODEL OF INTELLIGENCE Francisco He... more SOME ASSUMPTIONS ABOUT PROBLEM SOLVING METHOD IN TURING'S MODEL OF INTELLIGENCE Francisco Hernández Quiroz Department of Mathematics, Faculty of Science National University of Mexico (UNAM) fhq@fciencias.unam.mx Raymundo Morado Institute ...
In this paper, examples of non-deductive inferences are discussed and the classic notion of logic... more In this paper, examples of non-deductive inferences are discussed and the classic notion of logical consequence is presented. Then different meanings of "deductive" are established and several non-deductive logics are mentioned. Finally, we consider the effect of accepting acceptable non deductive inferences in a notion of rationality sensitive to the context and human limitations. Finally, we consider the effect of accepting acceptable non-deductive inferences in a notion of rationality sensitive to the context and human limitations.
Hilbert, Turing and the idea of effective procedure. Hilbert put forward the properties that an e... more Hilbert, Turing and the idea of effective procedure. Hilbert put forward the properties that an effective procedure should possess, without a formal characterization. Nevertheless, he formulated four desiderata: (1) a calculus is a set of instructions to be executed to solve a problem; 2) it must boil down to rules for the manipulation of formulae of a suitable formal language; 3) it must guarantee the solution of the problem in a finite number of steps; 4) it should be possible to set in advance an upper bound to the number of steps it will take to find the solution. Turing proposed his famous machines to define rigorously the meaning of effective procedure and, paradoxically, showed there is no mathematical characterization of it that satisfies Hilbert’s expectations. In particular, Turing’s model goes beyond desiderata third and fourth. Key words: Effective Procedure, Entscheidungsproblem, Halting Problem, Turing machines.
In this work I describe some argument reasoning styles that have been popular in Western culture ... more In this work I describe some argument reasoning styles that have been popular in Western culture for about 3 millennia. One must ask if it is desirable to promote such styles, and whether they provide a good explanation of what happens when someone states an argument. Some style examples are: belligerent, disputative, controversial, foundational, systematizing and epideictic. None of them is appropriate for every case, yet all of them shed light on particular aspects of our rationality. At its most basic level, argument reasoning is intended for advocating for a thesis, but other argument aspects should be added to it as needed: doubt, defense, attack, persuasion, dialogue, systematization, recommendation, among others – although we should resist the temptation of treating them as essential elements of argument reasoning. Innovacion_Educativa_64_INTERIORES.indd 57 01/04/14 18:25 R. MORADO ESTILOS DE ARGUMENTACIÓN OCCIDENTAL [ pp. 57-72 ] 58
En este trabajo me ocupo en delinear diferentes grados de independencia que tiene la argumentacio... more En este trabajo me ocupo en delinear diferentes grados de independencia que tiene la argumentacion con respecto de la informacion. Aunque las nociones de verdad e informacion son medulares en nuestra teoria de la argumentacion, la nocion de correccion argumentativa debe tener cierta independencia con respecto a ellas. La aceptabilidad argumental esta estrechamente relacionada con las nociones de verdad, deducibilidad, informacion y oposicion. Pero tambien goza de cierta libertad porque puede haber argumentos aceptables que no partan de premisas verdaderas ni avancen deductivamente, donde falte contencion de informacion u oposicion argumentativa.
En este trabajo se discuten ejemplos de inferencias no deductivas y se presenta la nocion clasica... more En este trabajo se discuten ejemplos de inferencias no deductivas y se presenta la nocion clasica de consecuencia logica. A continuacion se establecen diferentes sentidos de “deductivo” y se mencionan varias logicas no deductivas. Finalmente, se considera el efecto de admitir como aceptables inferencias no deductivas en una nocion de racionalidad sensible al contexto y las limitaciones humanas.
Como parte de este importante homenaje e iniciativa de publicacion de alta difusion, los musicos:... more Como parte de este importante homenaje e iniciativa de publicacion de alta difusion, los musicos: Dominique Petrich (cello) y Manuel Mejia Armijo (laud) realizaron una hermosa interpretacion del Arreglo de Orfeo Mandozzi, …“dedicada a Maria Noel Lapoujade y sus 70 anos de vida”. Dicha interpretacion se hizo con un violonchelo Joannes Antonius Gedler (1764) y un laud de ocho ordenes “temalcatzingo”, Slavador Soto, (2015).
Tenemos al menos dos retos en logica: crear una teoria rigurosa del contexto inferencial e integr... more Tenemos al menos dos retos en logica: crear una teoria rigurosa del contexto inferencial e integrar armonicamente logicas diversas. Gran parte de lo que hace a una inferencia aceptable son las circunstancias en las que se produce. Es necesario tomar en cuenta las prioridades y los recursos disponibles cuando se hace una teoria de lo que es una buena inferencia. El otro reto es combinar sistemas de logica en la construccion de analisis mas completos de las diferentes facetas de la correccion inferencial, preguntandonos cuales herramientas logicas es mas conveniente utilizar, en que areas de la experiencia y en que contextos. Abstract In logic we face at leat two challenges: the creation of a rigorous theory of inferencial context and the harmonious integration of different logics. The circumstances of production are part and parcel of what makes an inference acceptable. It is necessary to take into account both priorities and available resourses in a theory of good inference. The second challenge is the combining of logical systems into more complete analysis of sundry facets of inferential correctness, asking what logical tools are convenient, in what areas and in what contxts.
En este trabajo hablare sobre los dificiles temas de la logica, la politica, la moral, y la educa... more En este trabajo hablare sobre los dificiles temas de la logica, la politica, la moral, y la educacion. Son temas que es prudente no mezclar, pero a veces es necesario incorporar todas estas nociones en un analisis medianamente completo de cualquiera de ellos.
Other InterNet access: (1) By anonymous ftp: open ftp.csic.es, then go to directory /pub/sorites ... more Other InterNet access: (1) By anonymous ftp: open ftp.csic.es, then go to directory /pub/sorites (2) By Gopher open gopher.csic.es; then select item 3 (‘FTP del CTI/’); then select item 4 (‘pub/’); then select item 21 (‘sorites/’) Please send both your Regular-Mail contributions and books for review to
SOME ASSUMPTIONS ABOUT PROBLEM SOLVING METHOD IN TURING'S MODEL OF INTELLIGENCE Francisco He... more SOME ASSUMPTIONS ABOUT PROBLEM SOLVING METHOD IN TURING'S MODEL OF INTELLIGENCE Francisco Hernández Quiroz Department of Mathematics, Faculty of Science National University of Mexico (UNAM) fhq@fciencias.unam.mx Raymundo Morado Institute ...
In this paper, examples of non-deductive inferences are discussed and the classic notion of logic... more In this paper, examples of non-deductive inferences are discussed and the classic notion of logical consequence is presented. Then different meanings of "deductive" are established and several non-deductive logics are mentioned. Finally, we consider the effect of accepting acceptable non deductive inferences in a notion of rationality sensitive to the context and human limitations. Finally, we consider the effect of accepting acceptable non-deductive inferences in a notion of rationality sensitive to the context and human limitations.
Hilbert, Turing and the idea of effective procedure. Hilbert put forward the properties that an e... more Hilbert, Turing and the idea of effective procedure. Hilbert put forward the properties that an effective procedure should possess, without a formal characterization. Nevertheless, he formulated four desiderata: (1) a calculus is a set of instructions to be executed to solve a problem; 2) it must boil down to rules for the manipulation of formulae of a suitable formal language; 3) it must guarantee the solution of the problem in a finite number of steps; 4) it should be possible to set in advance an upper bound to the number of steps it will take to find the solution. Turing proposed his famous machines to define rigorously the meaning of effective procedure and, paradoxically, showed there is no mathematical characterization of it that satisfies Hilbert’s expectations. In particular, Turing’s model goes beyond desiderata third and fourth. Key words: Effective Procedure, Entscheidungsproblem, Halting Problem, Turing machines.
In this work I describe some argument reasoning styles that have been popular in Western culture ... more In this work I describe some argument reasoning styles that have been popular in Western culture for about 3 millennia. One must ask if it is desirable to promote such styles, and whether they provide a good explanation of what happens when someone states an argument. Some style examples are: belligerent, disputative, controversial, foundational, systematizing and epideictic. None of them is appropriate for every case, yet all of them shed light on particular aspects of our rationality. At its most basic level, argument reasoning is intended for advocating for a thesis, but other argument aspects should be added to it as needed: doubt, defense, attack, persuasion, dialogue, systematization, recommendation, among others – although we should resist the temptation of treating them as essential elements of argument reasoning. Innovacion_Educativa_64_INTERIORES.indd 57 01/04/14 18:25 R. MORADO ESTILOS DE ARGUMENTACIÓN OCCIDENTAL [ pp. 57-72 ] 58
En este trabajo me ocupo en delinear diferentes grados de independencia que tiene la argumentacio... more En este trabajo me ocupo en delinear diferentes grados de independencia que tiene la argumentacion con respecto de la informacion. Aunque las nociones de verdad e informacion son medulares en nuestra teoria de la argumentacion, la nocion de correccion argumentativa debe tener cierta independencia con respecto a ellas. La aceptabilidad argumental esta estrechamente relacionada con las nociones de verdad, deducibilidad, informacion y oposicion. Pero tambien goza de cierta libertad porque puede haber argumentos aceptables que no partan de premisas verdaderas ni avancen deductivamente, donde falte contencion de informacion u oposicion argumentativa.
En este trabajo se discuten ejemplos de inferencias no deductivas y se presenta la nocion clasica... more En este trabajo se discuten ejemplos de inferencias no deductivas y se presenta la nocion clasica de consecuencia logica. A continuacion se establecen diferentes sentidos de “deductivo” y se mencionan varias logicas no deductivas. Finalmente, se considera el efecto de admitir como aceptables inferencias no deductivas en una nocion de racionalidad sensible al contexto y las limitaciones humanas.
Uploads