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)

On how medieval philosophy is not (only) theology.

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)

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.

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

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)

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.

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)

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)

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)

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)

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.

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.

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)

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.

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)

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)

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)

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)

This paper aims to explore the nature of Zeno-machines by examining their conceptual coherence, from the perspective of contemporary theories on the passage of time. More specifically, it will analyse the following questions: Are Zeno-machines and supertasks coherent if we adopt the eternalist theory of time? What conclusions can be drawn from choosing the eternalist thesis, or the presentist thesis, when examining Zeno-machines? To this end, an overview of the opposing theories of time is provided, alongside the usual objections to (...) Zeno-machines and their theoretical foundations from Zeno’s dichotomy paradox. Keywords: Zeno-machines, philosophy of time, supertasks, Zeno’s paradox. (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)

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)

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.

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)

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)

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)

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.

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)

No ensaio “Wittgenstein on mathematics”, publicado no Oxford Handbook of Wittgenstein, Michael Potter procura não apenas analisar por que a filosofia da matemática de Wittgenstein é tão controvertida entre filósofos e matemáticos como justificar essa situação. Com esse intuito, Potter enfatiza o caráter inacabado das reflexões de Wittgenstein sobre a matemática. Neste artigo, tem-se por objetivo explicitar algumas inconsistências e contradições no pensamento matemático de Wittgenstein que ratificam as críticas que esse autor vem recebendo há décadas, mas que não tiveram (...) a mesma atenção dos especialistas que os comentários de Wittgenstein sobre os teoremas da incompletude de Kurt Gödel e suas discussões com Alan Turing sobre os fundamentos da matemática. (shrink)

This article aims to elucidate, albeit in a preliminary way, the concept of liquidity in Zygmunt Bauman and its effects onsociety. The deductive-inductive method will be used. As for the methodology, this will be of a bibliographic nature. This study is in line with what the sociologist Zygmunt Bauman (1925-2017), in his texts, postulates that Modernity can be divided into two phases: Solid Modernity and Liquid Modernity. The first began in the 15th century and lasted until the 19th century; the (...) second began in the 20th century and continues to the present time. To describe modern society from the end of the 20th century, Bauman uses the metaphor of 'liquidity', aiming to point out that the contemporary world is going through a period of uncertainty, ephemerality and instabilities. According to Bauman, the modern ideal coined between the 15th and 19th centuries postulated the primacy of reason and the autonomy of capitalist man and such assumptions led society to liquid modernity. In this liquid “contemporaneity”, nothing is lasting, everything is volatile, ephemeral; consumption is the social parameter, whether of the individual, the family, the State or religion. (shrink)

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)

Este artículo se propone realizar un acercamiento a la concepción que desarrolla Matthew Lipman sobre las múltiples dimensiones transactivas del pensamiento, con la intención de apreciar la forma en que aporta a la consolidación de una racionalidad que tenga como características distintivas la complejidad y el humanismo; en virtud de ello, se analizan las tres vertientes principales del pensamiento multidimensional, a saber: crítica, creativa y cuidadosa. La consecuencia del escrutinio arroja que la interacción y reciprocidad que se da entre las (...) tres dimensiones susodichas abre las puertas para la emergencia de un pensamiento de orden superior, la razonabilidad, que no es otra cosa que una racionalidad compleja, capaz de reconocer la pluralidad y la diversidad; es decir, una racionalidad que pretende superar las limitaciones del pensamiento imperante, para no incurrir en la unilateralidad, el instrumentalismo y el cientifismo. Así las cosas, el pionero del programa de Filosofía para Niños considera que el alcance de la razonabilidad debe ser la finalidad de todo proceso educativo; de ahí que Lipman se dé a la tarea de forjar una propuesta filosófico-pedagógica, que será la base para el despliegue de las habilidades superiores del pensamiento, las cuales resultarán indispensables para la construcción de una democracia de alta calidad. (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)

Our object of study in this dissertation is the paralogism due to the concomitant ( which we’ll call abreviated “PDC”). This paralogism is analysed by Aristotle in the Sophistical Refutations as a false argument. Our study about this paralogismo is divided into four chapters. Trough the first chapter we pretend to answer an important question about the PDC’s appearance. Although this paralogism is a false argument, it possess certain similarity with arguments recognized as good by the one refuted. This similarity (...) would be the reason why debaters are refuted by the PDC. Identifying the nature of this similarity is relevant to comprehend how this paralogism’s appearance can be deceitful. The content of the second chapter can be better undestood as a deepening of our interest for the subjective or psychological dimension present in the studies about the paralogisms in the Sophistical Refutations. This deepening results in the description of a mental phenomenon which we call “parallel computation”. The parallel computation consists in a rational effort (although it is a misguided one) by the one who is refuted when he tries to make sense of the logical and semantical traits of an argument. This interpretation is motivated by a set of false presumptions held by the refuted one. In the third chapter we present a case study, turning our attention to an instance of the PDC, the triangle paralogism. By studying the relevant passages for the interpretation of this paralogism we put forward what we understand to be exegetical constraints. Afterward, making use of these constraints as evaluative parameters, we analyse some reconstitution proposals of the triangle paralogism. In the final part of our dissertation we analyse the content of the chapter 24 of SE. In this chapter Aristotle presents us with a inferential principle which isn’t satisfied by any of the PDC’s instance. The interpretation of this principle is a cause of huge controversy in the secondary literature. In order to make a contribution to the specialized debate of this point we test two interpretative hyphotesis of this principle’s content, the referential and the intensional interpretation. (shrink)

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.

This study aims to deepen the philosophical aspects of the relationship between the work of Pierre Hadot and Michel Foucault, with regard to the concepts of "Spiritual Exercises" and "Self-Care". We intend to analyze how Pierre Hadot interpreted the appropriation that Michel de Foucault made of his text "spiritual exercises", when presenting the notion about the definition of "Care of the self". We elucidate the main divergences and convergences present between the philosophical reflections of these two authors, which are of (...) great relevance for the understanding of current phenomena. The methodology adopted was exploratory theoretical-bibliographic research, halfway betweena comment and an essay. Our studies point to the theme of 'the self' as the central point of the research, with “Self-Care” as the bias capable of leading us to knowledge and, in this way, taking us to the direction of existence through the rationality ofthe “Exercises” Spiritual ”. Our two authors, in their discussions about “taking care of oneself”, evoke in part the thinking of the Greeks, who are the source of the definition of this principle. Therefore, the term “epimeleia heauton” will guide us, that is, to undertake in the face of the world of life, in the practice of thorough and permanent criticism in the face of one's own conduct. In other words, by means of these spiritual exercises, thus being able to contemplate oneself rationally on a path towards "oneself" and through "oneself". Furthermore, all of this implies a constant effort on the will and desire, in order to architect authentic autonomy on a daily basis. We do not intend to exhaust the whole subject, however, the relationship to be developed will bring us closer to dominance over ourselves and make us reflect on the state of "having oneself in the hands.". (shrink)

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)

No artigo “Wittgenstein: universalismo, lógica, gramática y lenguaje”, Alejandro Tomasini Bassols afirma que o problema com que Wittgenstein se depara ao fim do Tractatus ”“ as proposições do livro serem elucidações e contrassensos ”“ teve origem em seu erro de considerar a lógica, e não a linguagem, como o mais universal. Bassols afirma ainda que o assim chamado “paradoxo do Tractatus” não foi uma ameaça à segunda filosofia wittgensteiniana porque nela Wittgenstein não cometeu o mesmo erro. Neste artigo argumenta-se que (...) as proposições do Tractatus são contrassensos como consequência direta da teoria pictórica do significado, independentemente da ontologia tractatiana. Além disso, divergindo da opinião de Bassols de ter havido “genuíno progresso filosófico” entre a primeira e a segunda filosofia de Wittgenstein, ressalta-se como o mais sério problema que marca a primeira filosofia wittgensteiniana também marca a segunda: o contrassenso de que Wittgenstein nunca seguiu os próprios métodos filosóficos. (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)

Em 27 de janeiro de 1937, o filósofo Ludwig Wittgenstein (1889-1951) anotou em seu diário, enquanto viajava para Skjolden, um vilarejo norueguês à beira do fiorde Sogne, onde havia construído em 1913 uma cabana para viver isolado: “Certamente sou singular em muitas coisas & por isso, muitas pessoas se comportam de maneira comum quando comparadas comigo; mas em que consiste minha singularidade?” De acordo com psiquiatras contemporâneos como Michael Fitzgerald, Christopher Gillberg e Yoshiki Ishisaka, a singularidade de Wittgenstein decorria de (...) ele ter autismo. Considerando-se o diagnóstico póstumo feito por esses especialistas em transtorno do espectro autista, este livro tem dois objetivos básicos: (1) detalhar como se refletem na obra de Wittgenstein tanto as suas particularidades comportamentais quanto as suas dificuldades cognitivas, inclusive aquelas relacionadas à linguagem, e (2) mostrar que Wittgenstein “dissolveu” em sua segunda filosofia, especialmente nas Investigações filosóficas, problemas que não são problemas para ninguém valendo-se de conhecimentos linguísticos e filosóficos básicos acumulados no Ocidente desde a Grécia Antiga que ele havia ignorado no Tractatus logico-philosophicus, livro de sua primeira filosofia. (shrink)