A contextual-logic extension of TOSCANA

The aim of this paper is to indicate how TOSCANA may be extended to allow graphical representations not only of concept lattices but also of concept graphs in the sense of Contextual Logic. The contextual-logic extension of TOSCANA requires the logical scaling of conceptual and relatioal scales for which we propose the Peircean Algebraic Logic as reconstructed by R. W. Burch. As graphical representations we recommend, besides labelled line diagrams of concept lattices and Sowa's diagrams of conceptual graphs, particular information maps for utilizing background knowledge as much as possible. Our considerations are illustrated by a small information system about the domestic flights in Austria.

Asymptotically Zero Energy Computing Using Split-Level Charge Recovery Logic

The dynamic power requirement of CMOS circuits is rapidly becoming a major concern in the design of personal information systems and large computers. In this work we present a number of new CMOS logic families, Charge Recovery Logic (CRL) as well as the much improved Split-Level Charge Recovery Logic (SCRL), within which the transfer of charge between the nodes occurs quasistatically. Operating quasistatically, these logic families have an energy dissipation that drops linearly with operating frequency, i.e., their power consumption drops quadratically with operating frequency as opposed to the linear drop of conventional CMOS. The circuit techniques in these new families rely on constructing an explicitly reversible pipelined logic gate, where the information necessary to recover the energy used to compute a value is provided by computing its logical inverse. Information necessary to uncompute the inverse is available from the subsequent inverse logic stage. We demonstrate the low energy operation of SCRL by presenting the results from the testing of the first fully quasistatic 8 x 8 multiplier chip (SCRL-1) employing SCRL circuit techniques.

Reasoning about Temporal Context using Ontology and Abductive Constraint Logic Programming

The underlying assumptions for interpreting the meaning of data often change over time, which further complicates the problem of semantic heterogeneities among autonomous data sources. As an extension to the COntext INterchange (COIN) framework, this paper introduces the notion of temporal context as a formalization of the problem. We represent temporal context as a multi-valued method in F-Logic; however, only one value is valid at any point in time, the determination of which is constrained by temporal relations. This representation is then mapped to an abductive constraint logic programming framework with temporal relations being treated as constraints. A mediation engine that implements the framework automatically detects and reconciles semantic differences at different times. We articulate that this extended COIN framework is suitable for reasoning on the Semantic Web.

Reasoning about Temporal Context using Ontology and Abductive Constraint Logic Programming

The underlying assumptions for interpreting the meaning of data often change over time, which further complicates the problem of semantic heterogeneities among autonomous data sources. As an extension to the COntext INterchange (COIN) framework, this paper introduces the notion of temporal context as a formalization of the problem. We represent temporal context as a multi-valued method in F-Logic; however, only one value is valid at any point in time, the determination of which is constrained by temporal relations. This representation is then mapped to an abductive constraint logic programming framework with temporal relations being treated as constraints. A mediation engine that implements the framework automatically detects and reconciles semantic differences at different times. We articulate that this extended COIN framework is suitable for reasoning on the Semantic Web.

Reasoning about Temporal Context using Ontology and Abductive Constraint Logic Programming

The underlying assumptions for interpreting the meaning of data often change over time, which further complicates the problem of semantic heterogeneities among autonomous data sources. As an extension to the COntext INterchange (COIN) framework, this paper introduces the notion of temporal context as a formalization of the problem. We represent temporal context as a multi-valued method in F-Logic; however, only one value is valid at any point in time, the determination of which is constrained by temporal relations. This representation is then mapped to an abductive constraint logic programming framework with temporal relations being treated as constraints. A mediation engine that implements the framework automatically detects and reconciles semantic differences at different times. We articulate that this extended COIN framework is suitable for reasoning on the Semantic Web.

Reasoning about Temporal Context using Ontology and Abductive Constraint Logic Programming

The underlying assumptions for interpreting the meaning of data often change over time, which further complicates the problem of semantic heterogeneities among autonomous data sources. As an extension to the COntext INterchange (COIN) framework, this paper introduces the notion of temporal context as a formalization of the problem. We represent temporal context as a multi-valued method in F-Logic; however, only one value is valid at any point in time, the determination of which is constrained by temporal relations. This representation is then mapped to an abductive constraint logic programming framework with temporal relations being treated as constraints. A mediation engine that implements the framework automatically detects and reconciles semantic differences at different times. We articulate that this extended COIN framework is suitable for reasoning on the Semantic Web.

El problema de Alhacén

El presente documento es un estudio detallado del problema conocido bajo el título de Problema de Alhacén. Este problema fue formulado en el siglo X por el filósofo y matemático árabe conocido en occidente bajo el nombre de Alhacén. El documento hace una breve presentación del filósofo y una breve reseña de su trascendental tratado de óptica Kitab al-Manazir. A continuación el documento se detiene a estudiar cuidadosamente los lemas requeridos para enfrentar el problema y se presentan las soluciones para el caso de los espejos esféricos (convexos y cóncavos), cilíndricos y cónicos. También se ofrece una conjetura que habría de explicar la lógica del descubrimiento implícita en la solución que ofreció Alhacén. Tanto los lemas como las soluciones se han modelado en los software de geometría dinámica Cabri II-Plus y Cabri 3-D. El lector interesado en seguir dichas modelaciones debe contar con los programas mencionados para adelantar la lectura de los archivos. En general, estas presentaciones constan de tres partes: (i) formulación del problema (se formula en forma concisa el problema); (ii) esquema general de la construcción (se presentan los pasos esenciales que conducen a la construcción solicitada y las construcciones auxiliares que demanda el problema), esta parte se puede seguir en los archivos de Cabri; y (iii) demostración (se ofrece la justificación detallada de la construcción requerida). Los archivos en Cabri II plus cuentan con botones numerados que pueden activarse haciendo “Click” sobre ellos. La numeración corresponde a la numeración presente en el documento. El lector puede desplazar a su antojo los puntos libres que pueden reconocerse porque ellos se distinguen con la siguiente marca (º). Los puntos restantes no pueden modificarse pues son el resultado de construcciones adelantadas y ajustadas a los protocolos recomendados en el esquema general.

El problema de la referencia vacía de términos universales en Ockham: un estudio proposicional desde la teoría de las descripciones de Bertrand Russell

El objetivo general del presente trabajo monográfico es realizar un análisis de aquellas proposiciones significativas que contienen universales vacíos de referencia, análisis que parte de la Teoría de la suposición de Guillermo de Ockham y de la Teoría de las descripciones de Bertrand Russell. Se intenta abordar la pregunta: ¿cómo puede una proposición como "me encontré con un unicornio" ser significativa, incluso cuando no existe nada que se refiera a la descripción de "unicornio”? El análisis se hace examinando el carácter referencial de los términos universales y de las proposiciones desde las mencionadas teorías de Ockham y las descripciones de Russell. Esta última es compatible y da solución en parte a la cuestión planteada de la referencia vacía de términos universales. El desarrollo de este trabajo monográfico se ha dividido en tres partes. En la primera se hace una reconstrucción sistemática del problema filosófico de los universales, enfatizando la cuestión de la referencia de dichos términos, tal y como se plantea en la teoría de la significación expuesta en la Suma de lógica de Ockham. En la segunda se hace un análisis de los términos universales y las proposiciones, tomando como base la obra La filosofía del atomismo lógico de Russell. Por último, se examinan los términos universales con referencia vacía que forman parte de las proposiciones de la forma de “un tal y tal” y que constituyen la solución que da Russell en su Teoría de las descripciones al problema planteado en la Teoría de la suposición de Ockham.

A few philosophical ruminations on the human condition and choosing to live well

The notion that life is meaningful through choosing to live well has historically received substantive attention in various philosophical circles, notably the ancient Greek philosophers Socrates, Plato, and Aristotle, and more recently several of the existentialists. In some respects, the idea of choosing to live well is a “thematization” of two widely-recognized, independent components of a meaningful life: happiness and authenticity. I develop this notion of choosing to live well by exploring, developing, and relating these conceptions of happiness and authenticity. By appealing to a very basic account of human nature that has found favor among a great number of people, I show how happiness and authenticity complement each other as conditions for the possibility of living meaningfully.

“Ciudad”: probabilidad emergente de un organismo vivo. Una aproximación epistemológica a la relación universidad-ciudad en tanto problema filosófico contemporáneo

En este artículo* se repiensa el concepto de “ciudad” mediante una aproximación epistemológica a la relación universidad-ciudad en tanto problema filosófico contemporáneo con el propósito de identificar aquellos aspectos provenientes de las teorías urbanas que permitan responder crítica y creativamente a las siguientes preguntas: ¿cómo repensar con rigor teórico-metodológico la relación universidad-ciudad en tanto problema filosófico contemporáneo? y ¿cómo producir, justificar y usar conocimiento para repensar el sentido y el contenido de la relación entre los conceptos de campus universitario y de lo social?En respuesta a la primera pregunta se abordan, en primer lugar, los conceptos de ciudad moderna y de metrópoli contemporánea señalando elementos generales de la relación universidad-ciudad en los orígenes de la ciudad moderna y elementos específicos de esa misma relación en las transformaciones de la metrópoli contemporánea. En segundo lugar, se destacan las connotaciones del concepto de ciudad moderna, entendido como la operación de reunir agrupaciones de operaciones diferenciadas, y las connotaciones del concepto de metrópoli contemporánea, entendido como territorialidad de la aberración del sentido común de la modernidad en su actual fase escotósica de globalización informatizada. En tercer lugar, se presenta el concepto de campus universitario desagregado en los modelos de ciudad universitaria y de universidad ciudadana, destacando las lógicas de las territorialidades de la ciudad moderna y de la metrópoli contemporánea para mostrar la falsa dualidad existente entre tales modelos y entre tales lógicas.Como respuesta a la segunda pregunta se presenta el método de la tematización metafórica, mediante cuya aplicación se propone: i) repensar el concepto de “ciudad”, re-entendiéndolo como probabilidad emergente de un organismo vivo; ii) repensar el concepto de “lo social”, re-concibiéndolo como campo relacional entre manifestaciones conscientes del ser en proceso de totalización inacabado y iii) repensar el concepto de “región”, re-entendiéndolo como categoría de análisis espacio-temporal, territorial, jurisdiccional y funcional del campo relacional de lo social.Finalmente, se plantea un nuevo interrogante en torno a si, acaso, desde el sentido de trascendencia del intercambio orgánico de energía entre manifestaciones conscientes del ser, sea posible proponer un enfoque regional para la alternatividad al desarrollo desde teorías de complejidad como un paso siguiente a esta aproximación epistemológica de la relación universidad-ciudad en tanto problema filosófico contemporáneo.* Artículo basado en el ensayo titulado ¿“CIUDAD”?: REGIÓN. Una aproximación epistemológica a la relación universidad-ciudad como problema filosófico contemporáneo, elaborado en el curso sobre Historia de la Filosofía Contemporánea ofrecido por el profesor Francisco Sierra Gutiérrez en la Facultad de Filosofía de la Pontificia Universidad Javeriana durante el semestre II de 2004. Este artículo hace parte del Programa Docente Individualizado del autor con miras a la propuesta de un “Enfoque regional para la alternatividad al desarrollo ERPAD: una aproximación epistemológica desde las teorías de complejidad”, en el marco del Programa de Doctorado en Urbanismo ofrecido por la Universidad Central de Venezuela en convenio con la Universidad Nacional de Colombia.-----This article reviews the concept of “city” through an epistemological approach to the contemporary philosophical problem of the university-city relationship, with the purpose of identifying those elements of urban theories that can help to provide a critical and creative answer to the following questions: How can the contemporary philosophical problem of the university-city relationship be reviewed with scientific rigor, that is, by using theories and methods thoroughly? How to produce, justify and use knowledge to review the meaning and content of the relationship between the concepts of university campus and social sphere?In order to answer the first question, the concepts of ‘modern city’ and ‘contemporary metropolis’ are initially discussed; general elements of the relationship university-city can be found in the origins of modern cities, whereas more specific ones can be identified in the transformations of contemporary metropolis. Secondly, the author highlights the connotations of the concept of ‘modern city’ –the act of gathering groups which perform different operations—, as well as those of the concept of ‘contemporary metropolis’ –a territory where common sense becomes aberrant in the current stage of computerized globalization. Thirdly, the concept of ‘university campus’ is disintegrated into the models of a city for university students and a university for citizens; the logic behind territoriality in modern cities and contemporary metropolis is pointed out in order to show the false duality between such models and such logic.To answer the second question, the metaphoric thematization method is introduced with the purpose of: i) reviewing the concept of ‘city’, so that it is understood as a new possibility for living organisms; ii) reviewing the concept of ‘social sphere’, so as to conceive it as the arena where man’s conscious manifestations relate to each other in an unfinished process of totalization; and iii) reviewing the concept of ‘region’, so that it can be seen as a type of spatial, time, territorial, jurisdictional and functional analysis of the arena where social matters relate.Finally, a new question is raised as to whether, in fact, from the transcendence of the organic exchange of energy between man’s conscious manifestations, it is possible to put forward a regional approach from the complexity of theories as an alternative for development, as the next step to be taken after this epistemological approach to the contemporary philosophical problem of the university-city relationship.

Una taxonomía de la primera persona del plural

En este artículo se busca elaborar filosóficamente el concepto nosotros. Metodológicamente, se utiliza al constructivismo filosófico de Deleuze y Guattari. Se parte de una taxonomía comprensiva de la pragmática del pronombre de primera persona plural ‘nosotros’, y luego señalando juegos de oposiciones que brindan consistencia interna y externa al concepto. Se muestra que el pronombre implica múltiples usos que permiten tratarlo como una herramienta discursiva que afecta el campo de lo social.

Kant en los problemas de filosofía de la mente contemporánea entre D. Davidson y J. Kim: un argumento a favor del Monismo Anómalo

El Monismo Anómalo que Donald Davidson postuló como posible derrotero a propósito de los problemas latentes en filosofía de la mente contemporánea ha sido víctima de serias críticas, en especial aquellas planteadas por Jaegwon Kim. Sin embargo, una lectura que incluya las referencia que Davidson hizo del proyecto que Kant desarrolló en la Tercera Antinomia de la Razón Pura puede servir para ofrecer una lectura a favor de su proyecto.

Refutations and the Logic of Practice. 'Refutaciones y la Lógica de la Práctica'.

Resumen basado en el de la publicación