El presente artículo tiene como objetivo determinar el fundamento teológico del concepto de soberanía propuesto por el jurista alemán Carl Schmitt. Según nuestra hipótesis, tal fundamento teológico se encuentra en la filosofía del pensador danés Søren Kierkegaard, quien, en diferentes obras, desarrolló los importantes conceptos de excepción, decisión y suspensión teleológica de la ética en relación a la experiencia religiosa de la repetición. Como veremos, tales conceptos forman parte del fundamento teológico de la famosa definición schmittiana de la soberanía: “soberano (...) es quien decide sobre el estado de excepción”, la cual define el decisionismo del jurista alemán. Así, por medio del concepto de decisión, extraído de la obra kierkegaardiana e introducido en la doctrina de la soberanía, Schmitt logra tres objetivos. Por un lado, no solo inicia la crítica al parlamentarismo liberal y al Estado burgués de Derecho, sino que revela el fundamento teológico-existencial de la unidad política del Estado moderno. En segundo lugar, en el marco jurídico-político, actualiza la teología fideísta desarrollada por Kierkegaard en su obra. Finalmente, en el marco teológico-metafísico, introduce el papel de la decisión como actualizador del rol público de la trascendencia en la modernidad secularizada frente a la reserva escatológica de la teología. Para lograr nuestro objetivo, utilizaremos el método de la analogía conceptual teológico-política creado y aplicado por el mismo Carl Schmitt a la historia de la soberanía europea. (shrink)

Formal thought disorder (FTD) is a clinical mental condition that is typically diagnosable by the speech productions of patients. However, this has been a vexing condition for the clinical community, as it is not at all easy to determine what “formal” means in the plethora of symptoms exhibited. We present a logic-based model for the syntax–semantics interface in semantic networking that can not only explain, but also diagnose, FTD. Our model is based on description logic (DL), which is well known (...) for its adequacy to model terminological knowledge. More specifically, we show how faulty logical form as defined in DL-based Conception Language (CL) impacts the semantic content of linguistic productions that are characteristic of FTD. We accordingly call this the dyssyntax model. (shrink)

Markus Gabriel’s pluralism and Graham Priest’s monism can be considered new forms of skepticism in contemporary philosophy. Gabriel considers ‘emptiness’ and Priest ‘nothingness’ as safe havens for logic and philosophy. In the same way, traditional skeptics also considered nothing secure. Furthermore, we observe in this book that whilst both Priest and Gabriel present rather eloquent theories, they nevertheless lack more substantial proofs, much like many important theories in philosophy, such as Leibniz’s monadology.

Shared conceptualization, in the sense we take it here, is as recent a notion as the Semantic Web, but its relevance for a large variety of fields requires efficient methods of extraction and representation for both quantitative and qualitative data. This notion is particularly relevant for the investigation into, and construction of, semantic structures such as knowledge bases and taxonomies, but given the required large, often inaccurate, corpora available for search we can get only approximations. We see fuzzy description logic (...) as an adequate medium for the representation of human semantic knowledge and propose a means to couple it with fuzzy semantic networks via the propositional Łukasiewicz fuzzy logic such that these suffice for decidability for queries over a semantic-knowledge base such as “to what degree of sharedness does it entail the instantiation C(a) for some concept C” or “what are the roles R that connect the individuals a and b to degree of sharedness ε.” . (shrink)

According to Steven Weinberg, it is the goal of elementary particle physics to search for the final laws of physics, i.e. a simple set of principles from which everything we know about physics can be derived. The main criterion that guides the search for such a set of principles is, according to the author, the sense of inevitability of physical theories, which Weinberg conflates with the idea of beauty. The theoretical physicists’ task is, in this sense, to look for constraining (...) principles, such as symmetries and renormalizability, that increase the sense of inevitability of physical laws. It is the goal of this paper to discuss Weinberg’s arguments in favor of reductionism, as well as his conception of final theory and the associated concept of “inevitability.”. (shrink)

Num tempo em que os média, assoalhados pelas novas tecnologias, começam a deixar de cumprir a sua função mediadora e de teatro das operações sociais, tem lógica falar do esgotamento da utopia em favor da distopia. Não tem mais sentido abordar a utopia democrática, quando o poder apenas pretende garantir o lealismo do cidadão, a fidelidade acéfala no altar do politicamente correcto. O sistema categorial que caracterizava o espaço público em parte do século XX, espaço simbólico de democracia em acção, (...) perdeu toda a significação. Consumismo, fidelidade do cidadão, desempenho são as noções que agora fazem sentido e ganham significância, num mundo que caminha para a insignificância. (shrink)

O artigo se propõe a cumprir dois objetivos: a) avaliar em que sentido podemos atribuir autossuficiência aos famosos quatro preceitos metodológicos da Segunda Parte do Discurso do Método; b) propor uma leitura destes preceitos que considere seu entorno, as outras obras metodológicas e o pensamento cartesiano como um todo, mas, principalmente, que reavalie elementos metodológicos tanto pouco quanto excessivamente valorizados. As conclusões correspondentes mais importantes são: (1) os quatro preceitos do Discurso contêm a totalidade do método, mas apenas de uma (...) forma condensada; e, como tais, eles não são autocompreensíveis; 2) uma boa compreensão do método deve englobar outros textos (a começar pelos que compuseram a publicação de 1637), mas principalmente deve calibrar o peso de cada preceito em razão de sua função e do que lhe é atribuído executar, sendo o segundo o mais depreciado dentre eles. (shrink)

A partir de una discusión sobre el concepto de pobreza desde la perspectiva de las necesidades, absoluta y relativa, y su satisfacción, se exponen estrategias metodológicas y alternativas para su medición. Considerando zonas espaciales, se estima la pobreza territorial para las delegaciones del Distrito Federal sincrónica y diacrónicamente en el periodo 2000-2040. Se hace uso del método de ESNBI a fin de comparar espacios territoriales demarcados por una división política, lo cual se desarrolla a través de variables de Necesidades Básicas (...) o variables directas y un indicador de feminización de la pobreza. A las variables seleccionadas se les da un tratamiento con base en el Método de Componentes Principales que da como resultado un índice de pobreza. (shrink)

Situándose desde un cuestionamiento acerca de las “políticas de Estado”, el artículo busca contribuir al conocimiento de la transformación estatal y la sociedad en países periféricos. Esta preocupación metodológica se enfoca desde la filosofía del derecho y de la política mediante la perspectiva sociológica del “análisis de políticas públicas”. Aborda el trabajo las sociedades que recientemente han accedido a instituciones modernas de control y que las han adaptado de formas diversas. El hilo conductor supone que la “norma básica”, la “regla (...) de reconocimiento” y los “principios morales”, constituyen “ideas” complementarias que están a la base de la acción y la comprensión estatal, o de la “dinámica jurídica” o de las “políticas institucionales de control político. (shrink)

RESUMO Este artigo apresenta a noção de valor aplicado à análise da moeda, elaborada por Nicole Oresme, em 1355, e Nicolau Copérnico, em 1526. Mostramos que, para os autores, o valor da moeda deve ser estável e determinado pela comunidade em atividades de compra e venda. Também mostramos como esses autores opõem-se à instabilidade do valor, especialmente a desvalorização promovida pelo governante. Argumentamos que ambos os autores criam sistemas de medição e controle do valor da moeda em tempos de turbulência (...) monetária. De acordo com Oresme e Copérnico, a instabilidade no valor da moeda não só mantém o comércio distante, em outros reinos ou repúblicas, mas também revela a má conduta do príncipe, aquele que é investido de autoridade política e monetária nas sociedades europeias dos séculos XIV e XVI. ABSTRACT This paper presents the notion of value applied to the analysis of currency, elaborated by Nicole Oresme, in 1355, and Nicolas Copernicus, in 1526. It shows that, to these authors, currency value must be stable and determined by the community engaged in activites of buying and selling. It also shows how they are opposed to instability of value, especially to its devaluation promoted by the government. It argues that both authors create systems for measuring and controlling of currency value in times of monetary turmoil. According to Oresme and Copernicus, instability of currency value not only keeps commerce faraway, in other kingdoms or republics, but also reveals the misconduct of the prince, the one who is invested with political and monetary authority in European societies of the fourteenth and sixteenth centuries. (shrink)

The main aim of this paper is to articulate Politics of Development, constituted from the work of the Brazilian philosophers Álvaro Vieira Pinto and Roland Corbisier, with Politics of Liberation, as proposed by the Argentinean philosopher Enrique Dussel. The first step is the recompilation of the political theory related to Politics of Development, present in the work of the Brazilians, arguing favourably on the possibility of the conception of a Politics of Development as a branch of Philosophy of Development as (...) an autonomous philosophical discipline. Our main thesis is that Politics of Development has as one of its essential notes the nationalism with a liberating nature. Lastly, this subdiscipline is historically and geoepistemically situated in light of Politics of Liberation. As the concluding remarks of the paper, we highlight the new lines of research open by this investigation and the implications of the conception of this philosophical discipline as autonomous to the isebian studies. (shrink)

Este trabajo explora en algunas obras de Maurice Merleau-Ponty la posibilidad de considerar el cuerpo como una máquina nerviosa, tomando como marco su crítica a la mentalidad cientificista y positivista. Para cumplir con este propósito se estudia la relación entre el cuerpo y el mundo, dando particular atención a las reflexiones vinculadas a la ciencia y la técnica. Las obras que serán protagonistas en esta exploración son La fenomenología de la percepción (1945), El mundo de la percepción (conjunto de conferencias (...) publicado en 1948 bajo el título Causeries ) y El ojo y el espíritu (último artículo publicado en su vida, en 1961). (shrink)

In The Principles of Mechanics, physicist Heinrich Hertz argues that instead of replying to the question “what is force?” like physicists and philosophers had been doing unsuccessfully, Newtonian physics should be reformulated without considering “force” a basic concept. Decades after Hertz’s book, Ludwig Wittgenstein considered the physicist’s proposal a perfect model for how philosophical problems should be solved, to the point that he made it the foundation of his way of doing philosophy. This article addresses Wittgenstein’s way of doing philosophy, (...) while it also proposes the reason why he failed in solving the philosophical problems — as did Hertz in his project on reformulating Newtonian physics without considering the concept “force”. And to illustrate Wittgenstein’s failure, it examines his disputes with mathematicians Kurt Gödel and Alan Turing on the foundations of mathematics. (shrink)

En la historia aparece el tema de los derechos humanos sólo en el siglo XX. Ninguna reflexión filosófica se había preocupado por la cuestión del ser humano como sujeto de unos derechos inherentes a su propio ser. La filosofía le había reconocido el derecho a la razón, Occidente y su tradición cristiana le había reconocido su derecho a la eternidad y dignidad de hijo de Dios para otorgarle la inmortalidad. Ahora bien, ¿por qué en esta tradición no aparece el hombre (...) como poseedor de unos derechos básicos propios, independientes de su condición social, política y económica? Derechos que le fueran concedidos por el solo hecho de ser hombre. Los derechos humanos adquieren su fundamento metafísico sólo a partir de la realidad histórica del hombre y de allí se evidencia su estatuto epistemológico. Solamente la historicidad del hombre a partir de las raíces en la materialidad le da sentido al derecho humano como tal. Es a partir del hombre como ser material y propio de una realidad histórica que encuentra su carta de ciudadanía en el discurso por los derechos humanos. Y en eso, Ellacuría tendrá mucho que decir. (shrink)

Paul Feyerabend, entre os anos de 1948 e 1970, discutiu diversas questões concernentes à mecânica quântica: problema da medição, a complementaridade e o “corte” entre o regime macro e micro, foram alguns dos assuntos mais estudados. Desde seus primeiros trabalhos acadêmicos, é possível identificar aspectos que o serão caros durante toda sua vida, como é o caso da relação entre conhecimento físico e visões de mundo. A partir de uma reconstrução de seu pensamento (entre os anos de 1948 e 1970), (...) o presente artigo busca compreender como suas críticas à mecânica quântica o levaram a defender que a física clássica é mais fundamental que a mecânica quântica, não o contrário, além de discutir a relação entre conhecimento físico e visão de mundo, algo que, para Feyerabend, é indissociável. (shrink)

Seekers know that they will search all their lives not only for what they have lost, but above all for what they do not yet know and that they are not even sure exists. Augusto Cavadi, to whom this book is dedicated on his 70th birthday, is an indomitable seeker. For this reason a group of friends and colleagues wrote these collected testimonies, reflections, ideas and suggestions inspired by his writings and his life as an anti-academic philosopher without a (...) tie--Translated from back cover. (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)

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)

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)

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.

One question in moral psychology concerns the role of emotions to motivate moral action. This question has recently become more urgent, because it is now clearer that cognitive developmental theories cannot offer a complete explanation of moral functioning. This paper suggests that emotion, as is typically understood in psychology, cannot be seen as the basis for an acceptable explanation of moral behaviour and motivation. However, it is argued that it is possible to understand emotions as embedded in agentic processes, and (...) regulated by conscious concerns. So understood, emotions acquire an important role in the person's moral life. These conclusions are reached through an extensive review of psychological and philosophical conceptions. (PsycINFO Database Record (c) 2010 APA, all rights reserved). (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.

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.

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)

Selection of Salazar Bondy's works with new critical materials.

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)

The concept of unconscious knowledge is fundamental for an understanding of human thought processes and mentation in general; however, the psychological community at large is not familiar with it. This paper offers a survey of the main psychological research currently being carried out into cognitive processes, and examines pathways that can be integrated into a discipline of unconscious knowledge. It shows that the field has already a defined history and discusses some of the features that all kinds of unconscious knowledge (...) seem to share at a deeper level. With the aim of promoting further research, we discuss the main challenges which the postulation of unconscious cognition faces within the psychological community. (shrink)

The representational nature of human cognition and thought in general has been a source of controversies. This is particularly so in the context of studies of unconscious cognition, in which representations tend to be ontologically and structurally segregated with regard to their conscious status. However, it appears evolutionarily and developmentally unwarranted to posit such segregations, as,otherwise, artifact structures and ontologies must be concocted to explain them from the viewpoint of the human cognitive architecture. Here, from a by-and-large Classical cognitivist viewpoint, (...) I show why this segregation is wrong, and elaborate on the need to postulate an ontological and structural continuity between unconscious and conscious representations. Specifically, I hypothesize that this continuity is to be found in the symbolic-based interplay between the syntax and the semantics of thought, and I propose a model of human information processing characterized by the integration of syntactic and semantic representations. (shrink)

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 traditional model of human cognition (TMHC) postulates an ontological and/or structural gap between conscious and unconscious mental representations. By and large, it sees higher-level mental processes as commonly conceptual or symbolic in nature and therefore conscious, whereas unconscious, lower-level representations are conceived as non-conceptual or sub-symbolic. However, experimental evidence belies this model, suggesting that higher-level mental processes can be, and often are, carried out in a wholly unconscious way and/or without conceptual representations, and that these can be processed unconsciously. (...) This entails that the TMHC, as well as the theories on mental representation it motivates and that in turn support it, is wrong. (shrink)

Esta obra permanece aún como la primera y la más brillante demostración ñdespués de Marxñ de que la agricultura no puede producir por sí misma los elementos que ne cesita para llegar al socialismo, es decir que íla industria somete a la agricultura de modo que el desarrollo industrial determina siempre más la ley del desarrollo agrarioî. íY en esto ñdice Kautskyñ, en haber evidenciado la industrialización de la agricultura, es donde yo veo la idea central de mi libro.î La (...) introducción se dedica a analizar la figura de Kautsky y las discusiones que el presente libro provocó en el seno de la socialdemocracia alemana. (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)

Since Freud and his co-author Breuer spoke of dissociation in 1895, a scientific paradigm was painstakingly established in the field of unconscious cognition. This is the dissociation paradigm. However, recent critical analysis of the many and various reported dissociations reveals their blurred, or unveridical, character. Moreover, we remain ignorant with respect to the ways cognitive phenomena transition from consciousness to an unconscious mode. This hinders us from filling in the puzzle of the unified mind. We conclude that we have reached (...) a Kuhnian crisis in the field of unconscious cognition, and we predict that new models, incorporating partly the relevant findings of the dissociation paradigm—but also of dynamic psychology—, will soon be established. We further predict that some of these models will be largely based on the pairs representation–process and analog–digital. (shrink)

Dual-Process Theories (D-PTs) claim there are two qualitatively different types of processes in the human brain-mind. Despite forming the basis for several areas of cognitive science, they are still shrouded in ambiguity: critics erroneously attack D-PTs as a whole (e.g., Evans and Stanovich Perspectives on Psychological Science, 8(3), 2013), the qualitative/quantitative distinction is not clear enough (De Neys Perspectives on Psychological Science 16 (6): 1412–1427, 2021; Dewey 2022) and, given this criterion, deciding between qualitative or quantitative differences may even be (...) scientifically irrelevant (De Neys 2021). As a way of disambiguating the discussion and clarifying what exactly means to claim the existence of a second type of process, I define two possible categories of D-PT: The substantial and the instrumental. In the substantial case, Type 2 processes are subpersonal level ones. In the instrumental case, Type 2 processing is a personal level phenomenon that does not necessarily imply subpersonal level Type 2 processes. Discussing the different implications of each of the categories, I use as a main example to illustrate the ambiguity – and the exercise of disambiguation – the model proposed by Evans and Stanovich (2013), making clear its substantial character, and contrast it with Frankish’ (2009) – a clear case of instrumental D-PT. Finally, I discuss the contributions this distinction can make. By making the discussion clearer, it can provide a relatively unanimous framework for dual- and single-process theorists (the instrumental version) and clearer desiderata for those wishing to defend the substantive one. (shrink)

Much ado – and increased complexity – is generally the case when it comes to checking formally the (intended) meaning of programs, as formal semantics for programs are typically extrinsic to both them and the formal grammars that generate the programming languages in which they are written. The van Wijngaarden grammars, on the contrary, have an intrinsic semantics in the sense that their rules contain or express the (intended) meaning of the terminal strings generated by them. This intrinsicness allows for (...) preservation of meaning both in syntactic change and context-sensitive conditions. In order better to show the intrinsicness of the semantics of the van Wijngaarden grammars I contrast them with the attribute grammars, a frequent choice when the semantic analysis of programming languages is called for (e.g., in compilation). (shrink)

Knowledge representation (KR) is actually more than representation: It involves also inference, namely inference of “new” knowledge, i.e. new facts. Logic programming is a suitable KR medium, but more often than not discussions on this programming paradigm focus on aspects other than KR. In this paper, I elaborate on the general theory of logic programming and give the essentials of two of its main implementations, to wit, Prolog and Datalog, from the viewpoint of deductive computing over knowledge bases, which includes (...) deductive programming. (shrink)