0000000000193484
AUTHOR
Enric Casaban Moya
Programación lógica y cambio de teoría
EN este trabajo analizamos el modelo AGM de cambio de Teoría desde la perspectiva del lenguaje PROLOG y presentamos algunas estrategias para realizar dichos cambios. El trabajo se divide en tres apartados. En el primero ofrecemos una panorámica de los modelos de cambio de teoría. En el segundo establecemos los presupuestos básicos para aplicar dichos modelos sobre bases de conocimientos y en el tercero describimos una estrategia para el análisis de dichos cambios. El instrumento formal sobre el que se materializan estas ideas es el lenguaje PROLOG.
Análisis sintáctico del lenguaje natural sin compiladores especiales.
El artículo trata de mecanismos y algoritmos para el proceso de listas en lenguajes corrientes de cálculo numérico. Para hacer ésto posible, ha sido necesario traducir al lenguaje de alto nivel mecanismos normalmente suministrados por los compiladores (representación rectangular de los datos y pilas o stacks). Como ejemplo de uso de tales mecanismos se presenta un analizador sintáctico de inglés.
Comentarios al trabajo de José M. Sagüillo Quine on logical truth and consequence.
Comentarios al trabajo de José M. Sagüillo Quine on logical truth and consequence
El teorema de Gödel, de E. Nagel y J. R. Newman [Ressenya]
El teorema de Gödel, de E. Nagel y J. R. Newman
Some metaphysical aspects of truth
People make statements that are, 'ex hypothesi', either true or false. The principie of bivalence can be taken as metaphysical necessity, and arguments in support of this thesis are given. Severa! theories of truth are analysed from this point of view, and various truth contexts in which circularity is manifest in different ways are highlighted. It is intended to show that the problem of truth remains a rich and open issue.
Sobre el origen de la cognición
El presente artículo se ocupa de examinar dos teorías sobre el origen de la cognición. La primera de ellas es una teoría neurobiológica de los autores V. Mountcastle y J. Hawkins, pero trabajando independientemente el uno del otro. La segunda teoría pertenece a la Psicología Cognitiva y es de D. Gentner. Es interesante comprobar la fuerte congruencia que existe entre ambas teorías a pesar de tener, naturalmente, metodologías totalmente diferentes. Por dos caminos distintos se llega a postular la analogía y sus mecanismos como el principal elemento de la cognición. El presente trabajo da razones para contemplar la analogía como la causa principal del origen del conocimiento en el niño/a. Ade…
Imatge percebuda i imatge mental
S'estudia el contrast entre el que es diu la posición Lockeana i la posición Berkeleyana sobre l'origen de la cognoció. La diferencia entre elles rau en el paper asignat al llenguatje respecte al coneixement. Aquest treball manté, no obstant, una posició híbrida. Se estudia el contraste entre lo que se ha venido a llamar posición Lokeana y la posición Berkeleyana, respecto del origen de la cognición. La diferencia entre las dos está en su diferente posición acerca del papel asignado al lenguaje para el conocimiento. Este trabajo explicará la posibilidad de una posición híbrida.
Algoritmos para el análisis de la dinámica de las citas en los trabajos publicados en revistas científicas.
Se ofrece un conjunto de seis programas COBOL, que calculan, tanto el número de citas que las revistas científicas reciben, como el número de referencias bibliográficas que emiten. Estos programas clasifican las revistas de diversos modos de atención a los conceptos de recepción de citas y de emisión de referencias, y calculan además los factores de impacto, impacto corregido, contemporaneidad y contemporaneidad corregida, de estas revistas.
Sobre la naturalización de la lógica*
El presente artículo se ocupa de dar razones en contra de la naturalización de la lógica, en tanto en cuanto esto signifique una revisión de esta ciencia. El trabajo critica cada uno de los intentos históricos importantes que ha habido de revisión de las leyes lógicas -- intuicionismo, lógica cuántica, lógicas alternativas - y también intenta argumentar que el problema de la interpretación de la mecánica cuántica no tiene nada que ver con la naturalización de la lógica. This article is devoted to give reasons against the naturalization of logic, in a sense which entails a revision of this science. The paper criticizes each historical important attempt to revise logical laws - intuitionism, …