L’articolo illustra il modo in cui Dante ha utilizzato le fonti medievali nel campo dell’ottica e degli exempla dei bestiari per costruire analogie al fine di ragionare delle ricchezze e della nobiltà. Il testo analizza, in particolare, Purg. XVII 1-9, Cv. II iv 16-17, III vii, ix, alcuni frammenti della canzone Le dolci rime e il relativo commento in Cv. IV. Alla fine dell’articolo si espone il contrappunto filosofico che Dante offre alle vicende storiche del suo tempo.

El artículo se concentra en indagar las diferentes declaraciones de Marx sobre la justicia, con la intención de determinar tres cuestiones: en primer lugar, saber si nuestro autor cuenta con una concepción de la justicia; en segundo lugar, establecer si la reflexión acerca de lo que es justo ocupa un lugar privilegiado en su obra; y, en tercer lugar, ver si a partir de ahí puede colegirse la existencia de una teoría marxiana de la justicia. De especial interés resulta la (...) presencia de argumentos con implicaciones éticas y morales en estos asuntos. (shrink)

Este texto analiza las concepciones que J. S. Mill y K. Marx defienden sobre la libertad, con el fin de establecer si entre ellas hay puntos de convergencia, a pesar de las diferentes motivaciones que las impulsan. En este sentido, la tesis que se propone es que ambos pensadores coinciden en la defensa que realizan de la libertad, dado que le otorgan un papel destacado a la autodeterminación, el libre desarrollo de la individualidad y a la existencia de condiciones materiales (...) para su concreción. Así las cosas, las distancias que las separan no constituyen ningún óbice al momento de abogar por lo que consideran como el valor fundamental del ser humano. (shrink)

El propósito de este trabajo consiste en destacar el papel central que tiene el problema de la divisibilidad del alma en los dos enfoques bajo los que se presenta la investigación psicológica aristotélica: el hilemórfico y el cardiocéntrico. Mientras que el primero sostiene que el alma es la forma o esencia del cuerpo entero, el segundo aboga por la localización del alma en el corazón, pues asegura que allí se manifiestan los principios de las partes o facultades anímicas. A simple (...) vista, podría suponerse que existe una incompatibilidad entre ambos enfoques, ya que no tendría mucho sentido afirmar que el alma se halla en todo el cuerpo y, al mismo tiempo, decir que se encuentra exclusivamente en uno de sus órganos específicos. Entonces, la tesis de este trabajo es que el pneuma ofrece la clave para la conciliación de estos dos enfoques, dado que es el instrumento empleado por las partes del alma para desplegar sus funciones por todo el cuerpo. El corazón, como sede material de dichas partes, irradia el pneuma en forma de sangre por todo el organismo; y éste, hasta que no se extingue esa operación vital, preserva su esencia, causa formal o razón de ser de su existir. De este modo, el hilemorfismo resulta sustentado por el cardiocentrismo. (shrink)

El artículo presenta la obra principal del pensamiento kantiano como una propedéutica de la metafísica, es decir, como una disquisición previa y metódica que procura sentar las bases para la construcción de un sistema metafísico. Por ello, se indica en principio la evolución del concepto de metafísica. Posteriormente, se contextualiza la situación difícil que vivía esta disciplina en la época del filósofo. Luego, se aborda el proyecto de su filosofía trascendental. Por último, se menciona la polémica sobre las interpretaciones más (...) relevantes de la Crítica de la razón pura en el siglo XX. (shrink)

A pesar de la antigüedad de la filosofía, la aparición de la historiografía filosófica es relativamente reciente, pues es Hegel quien le asigna por vez primera una metodología precisa. Esta última apunta a un estudio de los filósofos del pasado que evite su tergiversación; sin embargo, el pensador alemán reconoce que el ejercicio del historiador de la filosofía no puede ser imparcial, dado que sus consideraciones poseen una carga valorativa. Esto ha hecho de la historiografía filosófica una palestra, en la (...) que se enfrentan las más variadas interpretaciones. Frente a este panorama reacciona Jacques Brunschwig: su propuesta consiste en evadir los presupuestos filosóficos que permean a las empresas hermenéuticas; para ello, estima necesario recurrir a técnicas objetivas (paleografía, filología, traducción, edición crítica) que tratan de dilucidar el sentido de un texto. Empero, Pierre Aubenque cuestiona que sea posible hacer historiografía de la filosofía sin poseer intereses filosóficos, ya que su practicante debe tener una afinidad electiva con aquello que estudia. El escrito parte de esta idea para destacar que no hay interpretaciones del pasado que permanezcan indiferentes a las motivaciones actuales. En este sentido, el único criterio posible para evaluar la conveniencia de las interpretaciones es su plausibilidad. (shrink)

John Stuart Mill fue un reformador social. Como gran parte de los pensadores del siglo XIX, creía en la idea de progreso. Consideraba que se estaba viviendo un tiempo de transición, en el que se daba una tendencia hacia un mejor y más feliz estado de cosas, aunque también percibía que la época era de riegos y amenazas. No se pensaba ni como filósofo ni como académico ni como político, se veía a sí mismo como un reformador social, cuya función (...) era educar a la opinión ilustrada y progresista. El propósito de sus textos es persuadir y, con ello, ayudar a transformar. Sus tesis defienden la necesidad de organizar la sociedad moderna bajo ciertos principios para que pueda alcanzar un estado superior de progreso social y moral. -/- Contra la acusación de que John Stuart Mill es un pensador ecléctico, contradictorio y que no añade nada a los clásicos, el libro que el lector tiene en sus manos muestra que su originalidad no consistió en haber creado nuevos conceptos, sino en haber transformado conceptos fundamentales de la filosofía social, moral y política, matizándolos, otorgándoles nuevos sentidos y abriéndoles nuevas posibilidades. Fue un utilitarista, pero la doctrina utilitarista salió renovada de sus escritos. Fue un liberal, pero en un sentido nuevo de liberal, ni clásico ni contractualista. Fue demócrata, aunque en un sentido distinto del de la voluntad general de Rousseau. Fue socialista, pero un socialista cualificado. -/- Como educador de la opinión ilustrada, tuvo un éxito extraordinario. Sus libros tuvieron una gran acogida y su nombre gozó de prestigio, admiración y respeto en Inglaterra. Su pensamiento filosófico sigue mereciendo la mayor atención e inspirando y fascinando a muchos. Sus ideas políticas han tenido una influencia innegable en el mundo contemporáneo. (shrink)

Foundational ontologies, central constructs in ontological investigations and engineering alike, are based on ontological categories. Firstly proposed by Aristotle as the very ur- elements from which the whole of reality can be derived, they are not easy to identify, let alone partition and/or hierarchize; in particular, the question of their number poses serious challenges. The late medieval philosopher Dietrich of Freiberg wrote around 1286 a tutorial that can help us today with this exceedingly difficult task. In this paper, I discuss (...) ontological categories and their importance for foundational ontologies from both the contemporary perspective and the original Aristotelian viewpoint, I provide the translation from the Latin into English of Dietrich's De origine II with an introductory elaboration, and I extract a foundational ontology–that is in fact a single-category one–from this text rooted in Dietrich's specification of types of subjecthood and his conception of intentionality as causal operation. (shrink)

Ontologies are some of the most central constructs in today's large plethora of knowledge technologies, namely in the context of the semantic web. As their coinage indicates, they are direct heirs to the ontological investigations in the long Western philosophical tradition, but it is not easy to make bridges between them. Contemporary ontological commitments often take causality as a central aspect for the ur-segregation of entities, especially in scientific upper ontologies; theories of causality and philosophical ontological investigations often go hand-in-hand, (...) and were essentially inseparable in medieval thought. This constitutes the foundation for a bridge, and this article analyzes the causality-based ontology of the late medieval philosopher Dietrich of Freiberg from the viewpoint of today's upper-ontology engineering. In this bridging attempt, it offers a translation into English of the first part of Dietrich's De origine (abbreviated title) that is a compromise between traditional scholarly translations of medieval Latin philosophical texts and contemporary ontology. (shrink)

The van Wijngaarden grammars are two-level grammars that present many interesting properties. In the present article I elaborate on six of these properties, to wit, (i) their being constituted by two grammars, (ii) their ability to generate (possibly infinitely many) strict languages and their own metalanguage, (iii) their context-sensitivity, (iv) their high descriptive power, (v) their productivity, or the ability to generate an infinite number of production rules, and (vi) their equivalence with the unrestricted, or Type-0, Chomsky grammars.

Contemporary studies in unconscious cognition are essentially founded on dissociation, i.e., on how it dissociates with respect to conscious mental processes and representations. This is claimed to be in so many and diverse ways that one is often lost in dissociation. In order to reduce this state of confusion we here carry out two major tasks: based on the central distinction between cognitive processes and representations, we identify and isolate the main dissociation paradigms; we then critically analyze their key tenets (...) and reported findings. (shrink)

3rd ed, 2021. A circumscription of the classical theory of computation building up from the Chomsky hierarchy. With the usual topics in formal language and automata theory.

For millennia, knowledge has eluded a precise definition. The industrialization of knowledge (IoK) and the associated proliferation of the so-called knowledge communities in the last few decades caused this state of affairs to deteriorate, namely by creating a trio composed of data, knowledge, and information (DIK) that is not unlike the aporia of the trinity in philosophy. This calls for a general theory of knowledge (ToK) that can work as a foundation for a science of knowledge (SoK) and additionally distinguishes (...) knowledge from both data and information. In this paper, I attempt to sketch this generality via the establishing of both knowledge structures and knowledge systems that can then be adopted/adapted by the diverse communities for the respective knowledge technologies and practices. This is achieved by means of a formal–indeed, mathematical–approach to epistemological matters a.k.a. formal epistemology. The corresponding application focus is on knowledge systems implementable as computer programs. (shrink)

Medieval Integration Challenge for Intellection (MICI) in Albert the Great, Siger of Brabant, and Radulphus Brito.

Not focusing on the history of classical logic, this book provides discussions and quotes central passages on its origins and development, namely from a philosophical perspective. Not being a book in mathematical logic, it takes formal logic from an essentially mathematical perspective. Biased towards a computational approach, with SAT and VAL as its backbone, this is an introduction to logic that covers essential aspects of the three branches of logic, to wit, philosophical, mathematical, and computational.

A. Newell and H. A. Simon were two of the most influential scientists in the emerging field of artificial intelligence (AI) in the late 1950s through to the early 1990s. This paper reviews their crucial contribution to this field, namely to symbolic AI. This contribution was constituted mostly by their quest for the implementation of general intelligence and (commonsense) knowledge in artificial thinking or reasoning artifacts, a project they shared with many other scientists but that in their case was theoretically (...) based on the idiosyncratic notions of symbol systems and the representational abilities they give rise to, in particular with respect to knowledge. While focusing on the period 1956-1982, this review cites both earlier and later literature and it attempts to make visible their potential relevance to today's greatest unifying AI challenge, to wit, the design of wholly autonomous artificial agents (a.k.a. robots) that are not only rational and ethical, but also self-conscious. (shrink)

Genera, typically hand-in-hand with their branching species, are essential elements of vocabulary-based information constructs, in particular scientific taxonomies. Should they also feature in formal ontologies, the highest of such constructs? I argue in this article that the answer is “Yes” and that the question posed in its title also has a Yes-answer: The way medieval ontologists sliced up the world into genera does matter to formal ontology. More specifically, the way Dietrich of Freiberg, a Latin scholastic, conceived and applied strictly (...) generic criteria to slice up the world into its entities can provide some guidelines to the field of formal ontology with respect to not only its contents, but also its scope. In particular, Dietrich's information criterion plays here a central role. (shrink)

The gulf between philosophical and formal ontology can and should be bridged. In this Editorial, I elaborate briefly on this subject.

An analysis of--yet another--case of academic failure in multi- and interdisciplinarity. An editorial of the Journal of Knowledge Structures & Systems.

2nd edition. Many-valued logics are those logics that have more than the two classical truth values, to wit, true and false; in fact, they can have from three to infinitely many truth values. This property, together with truth-functionality, provides a powerful formalism to reason in settings where classical logic—as well as other non-classical logics—is of no avail. Indeed, originally motivated by philosophical concerns, these logics soon proved relevant for a plethora of applications ranging from switching theory to cognitive modeling, and (...) they are today in more demand than ever, due to the realization that inconsistency and vagueness in knowledge bases and information processes are not only inevitable and acceptable, but also perhaps welcome. The main modern applications of (any) logic are to be found in the digital computer, and we thus require the practical knowledge how to computerize—which also means automate—decisions (i.e. reasoning) in many-valued logics. This, in turn, necessitates a mathematical foundation for these logics. This book provides both these mathematical foundation and practical knowledge in a rigorous, yet accessible, text, while at the same time situating these logics in the context of the satisfiability problem (SAT) and automated deduction. The main text is complemented with a large selection of exercises, a plus for the reader wishing to not only learn about, but also do something with, many-valued logics. (shrink)

Se hace presente la necesidad de una ontología relacional para la teología (Hemmerle, 1996, p. 26) y la fenomenología actual ayuda a dar piso a esa ontología en cuanto muestra el fondo de la existencia, de la realidad, de la forma de aquello que está en el origen como dato dado. La donación se convierte así en la nueva concepción del ser, no el ser como esse, sino como donación y relación, como llamado originario y como respuesta existencial, así se (...) puede pensar una ontología trinitaria cristiana pero también plenamente humana. (shrink)

Se presentan las concepciones sobre el argumento ontológico en Paul Tillich y en Jean-Luc Marion. Paul Tillich no ha creado una propia escuela de pensamiento, pero ha influido sobre muchos pensadores. Abre el camino a posteriores reflexiones, desde diversos puntos metodológicos, sobre el problema ontológico, sobre la realidad de Dios y sobre la relación del Ser con la cultura. Se puede decir que, a partir de él, se abren caminos para pensar el papel de la mística en el conocimiento del (...) Being itself (el ser mismo), la relación dinámica en la vida del hombre, el darse del Ser como ágape, la correlación entre mística y cultura. Y Jean-Luc Marion lleva a su plenitud las ideas de Anselmo y Tillich: Dios no se piensa sino que se da. (shrink)

La pandemia del Covid19 es un acontecimiento entendido en la forma fenomenológica de su llegada y de su permanencia, pues irrumpe, cambia, afecta a la humanidad en su totalidad. No es un acontecimiento personal o territorial que se convierte en objeto de alguna disciplina en especial o responsabilidad de ciertos actores sociales. Más allá de la búsqueda de su origen o de las causas de su aparición, hay en ella una característica revelatoria que convoca, llama y pide una respuesta. Escuchar (...) la llamada y dar el responsorio es tarea obligada de la humanidad actual por encima de visiones sesgadas, parciales, culpabilizantes o escapistas. La enseñanza social de la Iglesia aporta, en este momento, una visión integral para afrontar el momento difícil mediante la acción y agencia de todos los seres humanos. La propuesta es una ética ecológica integral que reconozca la interconexión entre toda la realidad y proponga una acción de cuidado integral de la creación. (shrink)

Integral development as the most assertive path of sustainable development models is presented as a new paradigm in the social teaching of the church. It is a question of identifying the theoretical foundations that precede the encyclical Laudato Si’ (ls) from philosophy and theology: the harmony of quaternity, the mystique of creation, the science-faith dialogue and the theology of the small and the poor. At the same time it tries to recover and remember the reflections and teachings that are already (...) in the tradition of the church on the “common house”. It proposes a renewed theological attitude and joint ethical action of all humanity, believers and non-believers. (shrink)

Según varios filósofos del lenguaje contemporáneos, el argumento Frege-Geach plantea una objeción genuina para el expresivismo semántico. En el presente texto se sostiene que una manera eficaz de enfrentar y superar este argumento es modificando la concepción expresivista clásica. Se examinan el expresivismo clásico y el expresivismo mínimo y se propone una versión de este último que, a la vez que supera la objeción derivada del argumento Frege-Geach, tiene la ventaja de incluir dentro del espectro del expresivismo teorías que claramente (...) tienen este “espíritu” pero que la caracterización clásica deja fuera. (shrink)

Uno de los fenomenólogos de la nueva generación que sigue la línea de Husserl, Heidegger, Marion y Lévinas es Richard Kearney. Este filósofo irlandés, católico, propone una cuarta reducción fenomenológica, esto es, volver al eschaton enraizado en la existencia cotidiana: encontrar la voz y el rostro de lo más alto en lo más bajo. Es como la realización de aquella idea heideggeriana de que “Sólo aquello del mundo que es de poca monta llegará alguna vez a ser cosa.” . En (...) el lenguaje cotidiano, en la vida diaria, se encuentra una posibilidad de superar el escepticismo, la indiferencia y el hastío del mundo vuelto consumo y del hombre convertido en pieza del mercado. En el encuentro cara a cara se da la posibilidad de una revelación que hace de la relación con el otro, y especialmente con el extranjero, un maravillarse y nos implemente una duda, una sospecha y una desconfianza. (shrink)

Expressiveness and decidability are two core aspects of programming languages that should be thoroughly known by those who use them; this includes knowledge of their metalanguages a.k.a. formal grammars. The van Wijngaarden grammars (WGs) are capable of generating all the languages in the Chomsky hierarchy and beyond; this makes them a relevant tool in the design of (more) expressive programming languages. But this expressiveness comes at a very high cost: The syntax of WGs is extremely complex and the decision problem (...) for the generated languages is generally unsolvable. With this in mind, I provide here a short primer of the syntax of WGs, which includes syntactic restrictions that guarantee decidability for the corresponding generated languages. (shrink)

Este artículo recoge las críticas que se han hecho a la metafísica y a la teología respecto al concepto de Dios. Indica algunos filósofos que han aceptado acríticamente dichos ataques a la ontoteología o concepción de Dios, y señala otros (Lévinas, Marion) que buscan vías de salida. Estas vías de salida son la fenomenología de la donación, entendiendo a Dios como fenómeno saturado que se da a un yo pasivo (no al yo constituyente moderno), donación que supera la visión representacional (...) de Dios y abre el camino a una hermenéutica de la donación. (shrink)

Reasoning over our knowledge bases and theories often requires non-deductive inferences, especially – but by no means only – when commonsense reasoning is the case, i.e. when practical agency is called for. This kind of reasoning can be adequately formalized via the notion of supraclassical consequence, a non-deductive consequence tightly associated with default and non-monotonic reasoning and featuring centrally in abductive, inductive, and probabilistic logical systems. In this paper, we analyze core concepts and problems of these systems in the light (...) of supraclassical consequence. (shrink)

On how medieval philosophy is not (only) theology.

El giro teológico de la fenomenología francesa contemporánea abre nuevos caminos de reflexión a la filosofía y a la teología, por la donación del fenómeno saturado.

In Who's Afraid of Idealism? the philosophical concept of idealism, the extent to which reality is mind-made, is examined in new light. Author Luis M. Augusto explores epistemological idealism, at the source of all other kinds of idealism, from the viewpoints of Immanuel Kant and Friedrich Nietzsche, two philosophers who spent a large part of their lives denigrating the very concept. Working from Kant and Nietzsche's viewpoints that idealism was a scandal to philosophy and the cause of nihilism, (...) class='Hi'>Augusto evaluates these philosophers and their role in shaping epistemological idealism. Using textual evidence from their writings and their reactions to western philosophers such as Plato, Descartes, and Hegel, Who's Afraid of Idealism? argues that in fact Kant and Nietzsche were really idealists at heart. In accessible prose, this text puts forward a theory that goes against current scholarly opinion, and even Kant and Nietzsche's opinions of themselves. (shrink)

Este trabajo tiene como objetivo mostrar lo que es una sana laicidad en la sociedad actual pluralista, multicultural, democrática y diversa. En primer lugar se presentan dos tentaciones de la iglesia hoy: refugiarse en el ghetto y cerrarse al mundo dando razón a los fundamentalistas laicos que la consideran como algo privado, o salir a la cruzada a imponer sus creencias y su mensaje. Luego se analiza el proceso histórico de formación del pluralismo, de la laicidad y de la libertad (...) religiosa con énfasis en los modelos norteamericano y francés. Se concluye con una visión de lo que es la laicidad en la doctrina de la iglesia católica hoy y una propuesta de lo que debe ser el verdadero pluralismo y la sana laicidad hoy. This article has as aim show what is a healthy secularism in the current pluralist, multicultural, democratic and diverse society. First, it presents two temptations of the church today: to shelter in the ghetto and to be closed to the world giving reason to the lay fundamentalists who consider faith to be something private, or to go out to the crusade to impose Christian beliefs and message. Then there is analyzed the historical process of formation of the pluralism, of the secularism and of the religious freedom emphatically in the models North American and French. The article concludes with a vision of what is the secularism in the doctrine of the catholic church today and a proposal of what must be the real pluralism and the healthy secularism today. (shrink)

The new Christian humanism is not about concepts and theories. It is a mystical experience of the centrality of Jesus Christ, of His face of mercy, of love given and delivered. Love is the gift that we must accept and respond to with love, especially with an ethic of love that makes us stand in solidarity with nature, with each other, and with the poor in a special way. We are a gift that is communicated. We must use the resources (...) of science, technology, and educational advances without fear, but always looking at human beings as the goal of our action. Everything is summarized in an integral ethic of loving care, in which women are experts and especially women religious in the church . (shrink)

La experiencia y el testimonio son la clave central de la revelación cristiana. Sin embargo, se puede apreciar que en diferentes estudios contemporáneos sobre el tema se insiste más en el testimonio que en la experiencia misma que da origen al testimonio. Urge la reflexión sobre la posibilidad y la efectividad de la experiencia y del testimonio, y más en un mundo en el que la idea de Dios o absoluto ya no tiene raíces en la metafísica representacional y no (...) cabe en los estrechos límites de un concepto. Las críticas realizadas al cristianismo en la época de la Modernidad han servido para purificar el mismo cristianismo, pues las representaciones idolátricas de Dios que se habían incrustado en él van siendo corregidas en la reflexión contemporánea: en la teología y en la filosofía. (shrink)

Este trabajo tiene como objetivo mostrar lo que es una sana laicidad en la sociedad actual pluralista, multicultural, democrática y diversa. En primer lugar se presentan dos tentaciones de la iglesia hoy: refugiarse en el ghetto y cerrarse al mundo dando razón a los fundamentalistas laicos que la consideran como algo privado, o salir a la cruzada a imponer sus creencias y su mensaje. Luego se analiza el proceso histórico de formación del pluralismo, de la laicidad y de la libertad (...) religiosa con énfasis en los modelos norteamericano y francés. Se concluye con una visión de lo que es la laicidad en la doctrina de la iglesia católica hoy y una propuesta de lo que debe ser el verdadero pluralismo y la sana laicidad hoy. (shrink)

Este trabajo tiene como objetivo mostrar lo que es una sana laicidad en la sociedad actual pluralista, multicultural, democrática y diversa. En primer lugar se presentan dos tentaciones de la iglesia hoy: refugiarse en el ghetto y cerrarse al mundo dando razón a los fundamentalistas laicos que la consideran como algo privado, o salir a la cruzada a imponer sus creencias y su mensaje. Luego se analiza el proceso histórico de formación del pluralismo, de la laicidad y de la libertad (...) religiosa con énfasis en los modelos norteamericano y francés. Se concluye con una visión de lo que es la laicidad en la doctrina de la iglesia católica hoy y una propuesta de lo que debe ser el verdadero pluralismo y la sana laicidad hoy. This article has as aim show what is a healthy secularism in the current pluralist, multicultural, democratic and diverse society. First, it presents two temptations of the church today: to shelter in the ghetto and to be closed to the world giving reason to the lay fundamentalists who consider faith to be something private, or to go out to the crusade to impose Christian beliefs and message. Then there is analyzed the historical process of formation of the pluralism, of the secularism and of the religious freedom emphatically in the models North American and French. The article concludes with a vision of what is the secularism in the doctrine of the catholic church today and a proposal of what must be the real pluralism and the healthy secularism today. (shrink)

Qual o lugar da filosofia nos dias atuais? Diante das inúmeras respostas possíveis a esta questão, nos debruçaremos em alguns tópicos que podemos inserir na chamada Ética Informacional, um ramo de investigação filosófico-interdisciplinar relativamente recente que discute problemas oriundos da relação ser humano/tecnologias digitais. Temas como privacidade informacional, arrogância epistêmica e divisão digital serão discutidos e relacionados, com o intuito de ilustrar o papel da filosofia na compreensão da complexidade inerente às dinâmicas sociais no contexto da sociedade da informação. Argumentaremos (...) que pensar o mundo contemporâneo a partir do viés da ética informacional se faz cada dia mais imprescindível para que possamos entrar em sintonia com as rápidas mudanças que a revolução informacional impõe à vida em sociedade e não sermos levados pelas enxurradas informacionais que presenciamos diariamente. (shrink)

Although formal thought disorder (FTD) has been for long a clinical label in the assessment of some psychiatric disorders, in particular of schizophrenia, it remains a source of controversy, mostly because it is hard to say what exactly the “formal” in FTD refers to. We see anomalous processing of terminological knowledge, a core construct of human knowledge in general, behind FTD symptoms and we approach this anomaly from a strictly formal perspective. More specifically, we present here a symbolic computational model (...) of storage in, and activation of, a human semantic network, or semantic memory, whose core element is logical form; this is normalized by description logic (DL), namely by CL, a DL-based language – Conception Language – designed to formalize conceptualization from the viewpoint of individual cognitive agency. In this model, disruptions in the rule-based implementation of the logical form account for the apparently semantic anomalies symptomatic of FTD, which are detected by means of a CL-based algorithmic assessment. (shrink)

All research is immersed in the competition for knowledge, but this is not always governed by fairness. In this opinion article, I elaborate on indicators of unfairness to be found in both evaluation guides and evaluation panels, and I spontaneously offer a number of rules of thumb meant to keep it at bay. Although they are explicitly offered to the Portuguese Foundation for Science and Technology (FCT) and in particular to the evaluation panel for Philosophy, Ethics and Religion of FCT's (...) fifth edition of their Individual Call to Scientific Employment Stimulus, here used as concrete illustrations of unfairness, my rules of thumb are guaranteed to promote fairness in the competition for knowledge in general. (shrink)

The relations between ontology and information are many and fundamental, and they help us to understand the present gulf between (formal) ontology and (philosophical) Ontology: We can speak of respectively ontology-driven information and information-driven ontology as the focus on being informed vs. informed being. The question of whether these two (can) coincide is relevant to both fields, and in this article I elaborate on what needs to be addressed first of all to provide us with an answer: The form. This (...) core ontological concept rooting in Aristotelian metaphysics was central to philosophical ontology, in particular in Latin Scholasticism, when it was clearly put into relation with information as that which defines an entity. In this context, Dietrich of Freiberg synthesized this long debate in a way that matters not only to the philosophical effort of producing information-driven ontologies but also to the engineering constructs of ontology-driven information systems. (shrink)

In this editorial, I explain how Paul Feyerabend's Principle of Proliferation is adopted and adapted as a publication model for the Journal of Knowledge Structures and Systems (JKSS). Critical views on the limitations of both non-dynamic publishing models and government- and industry-based models of research are expressed.

In this article, I highlight the role of the notion of meaning for educational administration. I draw attention to Thomas Greenfield's theses regarding the role of meanings in organization. I explore the relations between Greenfield's thesis about meaning in organization and Ludwig Wittgenstein's thoughts about language and meaning. I shed some light on the encounters and distances between these two thinkers. My account is both exploratory and critical. On the one hand, I point to the relationships between meaning, practices, and (...) action in organization. On the other hand, I identify one aspect of Greenfield's thought that can be further explored in the light of Wittgenstein' s remarks about the public character of meaning. (shrink)

El capítulo parte por ubicar el contexto social y político en el que se enmarca el cambio constitucional de 1991 en Colombia, asimismo, sus antecedentes jurídicos-políticos, a fin de dar cuenta de las diversas estrategias utilizadas para su aprobación y desarrollo. Seguidamente, nos ocupamos de las discusiones que al interior de la ANC se dan sobre la salud, y la forma bajo la cual se configuran las políticas sociales bajo la nueva forma de Estado Social de Derecho, para presentar finalmente (...) algunos elementos de discusión. (shrink)

2nd edition. The theory of logical consequence is central in modern logic and its applications. However, it is mostly dispersed in an abundance of often difficultly accessible papers, and rarely treated with applications in mind. This book collects the most fundamental aspects of this theory and offers the reader the basics of its applications in computer science, artificial intelligence, and cognitive science, to name but the most important fields where this notion finds its many applications.

This is the 3rd edition. Although a number of new technological applications require classical deductive computation with non-classical logics, many key technologies still do well—or exclusively, for that matter—with classical logic. In this first volume, we elaborate on classical deductive computing with classical logic. The objective of the main text is to provide the reader with a thorough elaboration on both classical computing – a.k.a. formal languages and automata theory – and classical deduction with the classical first-order predicate calculus with (...) a view to computational implementations, namely in automated theorem proving and logic programming. The present third edition improves on the previous ones by providing an altogether more algorithmic approach: There is now a wholly new section on algorithms and there are in total fourteen clearly isolated algorithms designed in pseudo-code. Other improvements are, for instance, an emphasis on functions in Chapter 1 and more exercises with Turing machines. (shrink)

Introduction - From the Illiad to the Studies on Hysteria: A chronology of the discovery of the unconscious mind - Freud's theories of the unconscious mind - Jung's collective unconscious - Lacan's linguistic paradigm.

Just started a new book. The aim is to establish a science of knowledge in the same way that we have a science of physics or a science of materials. This might appear as an overly ambitious, possibly arrogant, objective, but bear with me. On the day I am beginning to write it–June 7th, 2020–, I think I am in possession of a few things that will help me to achieve this objective. Again, bear with me. My aim is well (...) reflected in the title I chose (just now) for this book: Knowledge & Logic: Towards a science of knowledge. Its most important feature is that I shall take logic to be to knowledge science as calculus is to physics or to materials science. I do not intend to reclaim knowledge from the bosom of philosophy, in which, known as epistemology its erudite discussion has hardly progressed since Plato first defined it as true belief with logos. With only a few adjustments, it will actually provide me with the right, science-bound start. More recently, knowledge has been reclaimed by the field of BA, a reclaim that has opened the box of Pandora: Among the evils, and perhaps at the head of the list, is an overly lay, essentially naive, notion of knowledge. But the very idea that one can have something like “knowledge (management) software” puts us on the right track. (shrink)