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)

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.

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.

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.

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.

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

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)

On how medieval philosophy is not (only) theology.

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)

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)

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)

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)

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 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, 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)

Se percibe en el mundo académico de la teología y de la praxis pastoral, un giro general y englobante hacia el sujeto, la experiencia, la donación del amor, la misericordia, el mundo vivido de los hombres y la vivencia de la fe en la vida cotidiana de un mundo secularizado. Es un anhelo de salir de la simple conceptualización y de las discusiones sin fin sobre la fe, para dar paso a una vivencia y a una experiencia de lo creído (...) y a un testimonio que lo haga creíble. La revolución que ha propiciado el papa Francisco se fundamenta en una radicalidad del seguimiento de Jesús en la vida diaria, en las cosas sencillas, sin muchos malabares teológicos, y sí con una insistencia grande en el amor misericordioso de Dios. Este artículo quiere presentar algunas reflexiones que ayuden a fundamentar la donación experiencial del amor misericordioso, preguntándose por la experiencia, el lenguaje usado para expresarla y la libertad como respuesta del sujeto llamado en el momento del evento. (shrink)

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)

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)

Logic has been a—disputed—ingredient in the emergence and development of the now very large field known as knowledge representation and reasoning. In this book (in progress), I select some central topics in this highly fruitful, albeit controversial, association (e.g., non-monotonic reasoning, implicit belief, logical omniscience, closed world assumption), identifying their sources and analyzing/explaining their elaboration in highly influential published work.

In this Ph.D. dissertation, completed at the Sorbonne, it is shown that the whole of medieval philosophy was not reduced to a realist stance: in the 13th-14th centuries, an idealist stance emerged and was developed into a full-fledged epistemological idealism, personified in the philosophers Eckhart von Hochheim and Dietrich von Freiberg. This dissertation deviates from most works in the history of philosophy by proposing to see this as a taxonomy.

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.

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.

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)

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)

In Leibniz’s New Essays stands out, within many important topics, his doctrine of innate ideas, which supposes the division between sense knowledge and innate knowledge and implies the distinction between truths of reason and truths of fact. That doctrine is particularly relevant for Leibniz’s philosophy, but implicitly entails the epistemological difference between belief, on one hand, and certainty, on the other. In this paper I outline, according to my interpretation, how Leibniz explains that humans can have certainty about innate ideas. (...) This topic is important because if Leibniz demonstrates the possibility of having certainty of those ideas, then, it is feasible to believe in its existence. However, if his explanation is unsatisfactory his metaphysical doctrine would be seriously weakened and, at the same time, both skepticism and Locke’s empiricist doctrine would be reinforced. (shrink)

Throughout the present text, an account of the main contributions of Luis Villoro Toranzo will be made as a tribute to three years after his death.

En este artículo expongo y analizo la propuesta berkeleyana del conocimiento nocional, que representa entre otras cosas el intento del irlandés por conocer a la mente o espíritu, esto es, a aquella cosa pensante y activa que por su propia actividad resulta irrepresentable como idea. Como el conocimiento nocional ya se menciona en los Comentarios Filosófi cos me remitiré a ellos para conocer los orígenes del mismo; sin embargo, como tal conocimiento aparece con mayor detalle en obras posteriores me serviré (...) sobre todo del Tratado para abordar la compleja doctrina nocional. // In this paper I expose and analyze the berkeleian proposal of notional knowledge. Among other things, this proposal represents Berkeley ́s attempt to know the mind or spirit, that is, the thinking and active thing that by its own activity results unrepresentable as idea. As such knowledge is already mentioned in the Philosophical Commentaries, I will refer to them in order to know the origins of that proposal. However, as notional knowledge appears in more detail in later works, I will make use especially of the Treatise to address the complex notional doctrine. (shrink)

Berkeley desarrolla su teoría de la visión en la obra de juventud Ensayo para una nueva teoría de la visión, que por lo general ha sido leída atendiendo sólo a sus aspectos científicos o perceptuales. En este artículo propongo una lectura distinta, que busca mostrar que el Ensayo no sólo atiende aspectos científicos sino, por el contrario, anticipa el inmaterialismo de obras posteriores. Esto lo hace porque Dios cumple un importante papel en él, lo cual se debe, entre otras cosas, (...) a que la teoría de la visión es desarrollada en función de Dios, pues de Él depende tanto la vista y los objetos visibles como el argumento del lenguaje visual. (shrink)

Readers and historians have often misunderstood Berkeley's philosophy by believing that he denies the existence of the external world. From which they conclude that his philosophy inevitably leads to solipsism. Faced with these readings, in this paper I discuss the relationship between ontology and the external world in Berkeley with the aim of clarifying some interpretative errors and showing three things: 1) that is a mistake to believe Berkeley’s philosophy eliminate the external world and lead to solipsism, 2) that his (...) own ontology is the key to understand the constitution of the external world, and 3) that God gives the ultimate meaning of that world. / Es habitual que algunos lectores confundan la postura de Berkeley al creer que niega la existencia del mundo externo y que su filosofía lleva inevitablemente al solipsismo. Frente a estas lecturas, analizo en este artículo el tema de la relación entre ontología y mundo externo en Berkeley, con el propósito de aclarar algunos desaciertos interpretativos sobre el asunto y mostrar con ello tres cosas: 1) que se trata de un error creer que su filosofía elimina el mundo externo y lleva al solipsismo, 2) que en la propia ontología está la clave para entender la constitución del mundo externo, y 3) que Dios le da el sentido último a ese mundo. (shrink)

Berkeley was a philosopher who wrote about such diverse topics as natural philosophy, political philosophy, mathematics, economy, and theology. Within this broad range of interests, his concern about the infinite spirit stands out; thus, the aim of this paper is to trace the origins of Berkeley´s conception of God, an issue which is already prefigured in the Philosophical Commentaries. The importance of knowing and analyze the notes that make up the Commentaries lies in that they make it possible to understand (...) not only how the incipient immaterialist philosophy was established, but above all –being purpose of this paper– what features and role God acquired within it. (shrink)

La creencia de Berkeley en los milagros ha sido poco estudiada por los especialistas debido, quizá, a su connotación teológica; sin embargo, una vez que se estudia la cuestión resulta que tal creencia no es, como se podría pensar, sólo resultado de la fe, por el contrario, una lectura atenta muestra que la creencia en los milagros es compatible con la filosofia inmaterialista y, de hecho, es coherente con ella. Aunado a esto, la creencia en los milagros permite mostrar que (...) para Berkeley el conocimiento de Dios no se basa única y exclusivamente en presupuestos a priori. // Berkeley's belief in miracles has been little studied by philosophy scholars, perhaps due to its theological connotation. However, once the question is studied it turns out that such belief is not, as someone could think, only the result of faith. In this paper, I assert that a careful reading shows that belief in miracles is the result of reason, and is compatible and consistent with immaterialist philosophy. In addition to this, the belief in miracles allows us to show that for Berkeley the knowledge of God is not based solely and exclusively on a priori presuppositions. (shrink)

This paper addresses some issues of Leibniz’s metaphysics to show the relationship between religion, God, and the conception of eternal truths, and with that to reveal that Leibniz’s philosophy is a coherent and intertwined whole. His idea of religion is set out briefly, then his metaphysics is analyzed, in particular creation and what are the eternal truths. The paper ends with a commentary on some quotations from the New essays that make evident that these truths require the existence of God. (...) // Se abordan algunas cuestiones de la metafísica leibniziana para mostrar el vínculo entre la religión, Dios y la concepción de las verdades eternas, y con ello poner de manifiesto que la filosofía de Leibniz es un todo engarzado y coherente. Se expone sucintamente su idea de religión, se analiza su metafísica, en particular la creación y lo que son las verdades eternas, y finalmente se comentan algunas citas de los Nuevos ensayos que evidencian que dichas verdades exigen la existencia de Dios. (shrink)

Berkeley’s immaterialist philosophy has been frequently underestimated as a result of the misunderstanding of his ontological proposal, specifically because of the complexity of his concept of idea. The aim of this paper is then to clarify and explain that concept because from it depends the correct understanding of Berkeley’s ontological and immaterialist proposal. To do this, 1) I will show some examples of the misunderstanding that the berkeleian proposal has had, mainly due to his concept of idea; 2) I will (...) track how this notion was being developed in Berkeley’s early notes, known as Philosophical Commentaries; 3) I will analyze and explain the concept of idea from the published work of Berkeley, that is, from the Principles and Dialogues. -/- La filosofía inmaterialista de Berkeley ha sido muchas veces infravalorada por la mala comprensión de su propuesta ontológica, específicamente por la dificultad que presenta su concepto de idea. El propósito de este artículo es, entonces, esclarecer y explicar dicho concepto porque de ello depende entender correctamente la ontología y el inmaterialismo filosófico berkeleyano. Para realizar esto 1) mostraré algunos ejemplos de la mala comprensión que ha tenido la propuesta berkeleyana, debido principalmente a su concepto de idea; 2) rastrearé cómo se fue conformando dicho concepto en las notas de juventud conocidas como Comentarios Filosóficos; 3) analizaré y explicaré el concepto de idea a partir de la obra publicada de los Principios y los Diálogos. (shrink)

BERKELEY: THE ORIGIN OF CRITICISM OF THE INFINITESIMALS Abstract: In this paper I propose a new reading of a little known George Berkeley´s work Of Infinites. Hitherto, the work has been studied partially, or emphasizing only the mathematical contributions, downplaying the philosophical aspects, or minimizing mathematical issues taking into account only the incipient immaterialism. Both readings have been pernicious for the correct comprehension of the work and that has brought as a result that will follow underestimated its importance, and therefore (...) will not study as should be. Against traditional readings I make one that stand out both philosophical and mathematical aspects, with the purpose to show that richness and complexity of the work deserve that it has an special place within Berkeley´s works. (shrink)

In this paper I have the purpose to analyze George Berkeley’s concept of substance. For this goal, it will be necessary first to track the manner that Berkeley was conceiving that concept, that is, how it was determining in his early philosophy and what kind of role had in it. To make this it must be necessary to review the early notes knowing in Spanish as Philosophical Commentaries; and subsequently it will be required to retake the published work, particularly the (...) Principles, where the concept of substance is already taken as Berkeley definitely used it in his immaterialist philosophy. (shrink)

In this paper I expose and analyze the berkeleian proposal of notional knowledge. Among other things, this proposal represents Berkeley´s attempt to know the mind or spirit, that is, the thinking and active thing that, by its own activity, results unrepresentable as idea. As such knowledge is already mentioned in the Philosophical Commentaries I will refer to them to know the origins of that proposal. However, as notional knowledge appears in more detail in later works I will make use especially (...) the Treatise to tackle the complex notional doctrine. -/- . (shrink)

En la segunda mitad del siglo XIX la filosofía positiva se consolidó como la corriente de pensamiento dominante en México, muchos pensadores la utilizaron como marco teórico para interpretar los acontecimientos pasados y proyectar elfuturo de la nación. Por su análisis, explicación e interpretación de la historia nacional México: su evolución social es la obra culminante del positivismo mexicano, pero para sorpresa nuestra ha sido poco estudiada por los especialistas, de ahí que sea necesario recuperarla. En este artículo nos damos (...) a esa tarea y para ello nos enfocaremos en analizar el método de investigación que emplea la obra así como el papel que cumple la historia dentro de la misma. Con ello se busca contribuir a los estudios sobre el positivismo mexicano al abordar, en una obra crucial, algunos de sus aspectos metodológicos, históricos y filosóficos. -/- In the second half of the nineteenth century the positive philosophy was consolidated as the dominant current of thought in Mexico, many thinkers used it as the theoretical framework to interpret past events and project the future of the nation. Because of its analysis, explanation and interpretation of the national Mexican history México: su evolución social is the culminating work of Mexican positivism. To our surprise, the work has been little studied by scholars hence it is necessary to recover it. In this article we want to do that task and for that we will focus on analyzing the research method used in the work as well as the role played by history within it. The aim then is to contribute to studies on Mexican positivism by approaching, in a crucial work, some of its methodological, historical and philosophical aspects. (shrink)

En filosofía es importante conocer las influencias entre los filósofos porque de ello depende tener un conocimiento más completo y preciso de sus propuestas. Ejemplo de esto son las investigaciones sobre los orígenes estoicos de la filosofía spinoziana, que se han incrementado notablemente en las últimas décadas, pero aún hace falta indagar con mayor detalle, autor por autor e idea por idea, qué tipo de estoicismo y qué parte del mismo influyó en el pensador neerlandés. En este artículo examino, a (...) partir sobre todo de las referencias explícitas, la influencia del estoico Séneca en la filosofía de Spinoza, para lo cual reviso, analizo y cotejo diversos pasajes de las obras de ambos pensadores. // Abstract: It is important in philosophy to know the influences between philosophers because of that it depends to have an accurate and more complete knowledge of their proposals. An example of this are the investigations about the stoics origins of Spinoza’s philosophy, which has been increasing in the last decades but it is still necessary to inquire in greater detail, author by author and idea by idea, what kind of stoicism and what part of it influenced the Dutch philosopher. In this paper I examine, particularly from explicit references, the influence of the Stoic Seneca in Spinoza’s philosophy, for which I review, analyze, and compare several passages of both philosophers’ works. (shrink)

El cálculo infinitesimal elaborado por Leibniz en la segunda mitad del siglo XVII tuvo, como era de esperarse, muchos adeptos pero también importantes críticos. Uno pensaría que cuatro siglos después de haber sido presentado éste, en las revistas, academias y sociedades de la época, habría ya poco qué decir sobre el mismo; sin embargo, cuando uno se acerca al cálculo de Leibniz –tal y como me sucedió hace tiempo– fácilmente puede percatarse de que el debate en torno al cálculo leibniziano (...) ha trascendido las fronteras temporales del siglo XVII y XVIII y aún sigue vigente, al menos en parte y sobre ciertos puntos específicos. Lo anterior resulta un tanto inquietante, entre otras cosas porque implica que hay que revisar el cálculo leibniziano para tratar de entender el motivo por el que se sigue debatiendo actualmente. El propósito de este artículo no es presentar las tesis principales del cálculo, tampoco hacer una defensa del mismo y mucho menos desarrollar una crítica de sus fundamentos matemáticos, epistémicos u ontológicos. Mi propósito es menos ambicioso, pretendo mostrar, en primer lugar, dos de las primeras objeciones que se formularon contra el cálculo infinitesimal y que fueron hechas por dos contemporáneos de Leibniz, a saber, Rolle y Nieuwentijit; por otro lado, y sirviéndome de lo anterior, quiero presentar dos comentaristas actuales que abordan el tema del cálculo. Lo anterior con el objetivo de ilustrar cuál es el estado de la cuestión, es decir, en qué momento está el debate sobre el cálculo infinitesimal y en qué se enfocan actualmente los comentaristas al hablar sobre él, pues al hacerlo –e incluso a veces sin pretenderlo– mantienen abierto el debate sobre los aciertos y desaciertos del método infinitesimal. (shrink)

La propuesta inmaterialista de Berkeley, elaborada definitivamente en sus Principles (1710), tiene como antecedente remoto los postulados del capadocio Gregorio de Nisa, quien en algunas de sus obras desarrolló argumentos, en relación con la materia, muy semejantes a los que planteó Berkeley casi catorce siglos después. El presente escrito tiene por objetivo mostrar que las concepciones de ambos pensadores tienen elementos en común, lo que permite sostener que el filósofo de Cesarea es un antecede lejano del inmaterialismo berkeleyano. // Berkeley's (...) immaterialism has as a remote antecedent in the postulates of the Cappadocian Gregory of Nyssa, who in some of his works developed arguments, concerning the matter, very similar to those that Berkeley presented almost fourteen centuries later. This paper aims to show that both philosophical conceptions have elements in common, which allows us to assert that the Cappadocian father is a distant precedent of Berkeley's immaterialism. (shrink)

El filósofo inglés John Locke es más conocido por su Ensayo sobre el entendimiento humano y por sus escritos sobre la tole-rancia, esto es, por su aportación epistemológica, psicológica y política, que por su profundo interés en la religión cristia-na; empero, como muchos de sus contemporáneos Locke tuvo especial interés en el estudio de la religión. Justamente en este artículo hago una primera aproximación a esta cues-tión, es decir, al interés lockeano por la religión que plasmó rotundamente en su obra (...) The Reasonableness of Christianity. Sus estudios sobre la Biblia y sobre algunos de los dogmas cristianos, como el de la Trinidad, influyeron decisivamente en los movimientos heterodoxos de la época, sobre todo en el llamado deísmo del siglo XVII, cuyas ideas y posturas tras-cendieron al siglo XVIII con los librepensadores; ya en ese siglo el deísmo, que para entonces también era llamado mo-vimiento del librepensamiento, fue cuestionado y criticado por muchos filósofos y pensadores, dentro de los cuales des-taca el filósofo irlandés George Berkeley, quien vio en las ideas de esos grupos el germen de la decadencia de la socie-dad de su tiempo. Berkeley y su obra Alcifrón son abordados en la segunda parte del artículo, en donde se retoma la críti-ca berkeleyana al librepensamiento porque representa y ejemplifica, mediante la actitud crítica del irlandés, la in-fluencia de Locke en los movimientos deístas y librepensa-dores de épocas posteriores. (shrink)

En este escrito de ontología-trascendental reflexiono en términos heideggerianos sobre la voz ontológica, es decir, sobre el lenguaje interior que habla al oyente-escucha y que, desde ese decir ontológico, le revela lo que es. Dicha voz, al ser correctamente escuchada, dará paso a un auténtico apalabrar y decir, lo que develará una palabra-concepto ontológico transformador. Éste, al ser fruto de una auténtica ontología-trascendental, devendrá en un nuevo paradigma de la acción humana.

Literary work. A short story with a dark atmosphere where the author tells the story of a young man who, on a normal day, finds himself in a weird situation that gives way a new order. / Un cuento donde, con una atmósfera sombría, se narra la historia de un joven que al salir de un instituto de idiomas se encuentra con un nuevo orden.

Review of Searl's book Seeing Things as They are.