Sumário: 1. El caso del método científico, Alberto Oliva; 2. Un capítulo de la prehistoria de las ciencias humanas: la defensa por Vico de la tópica, Jorge Alberto Molina; 3. La figura de lo cognoscible y los mundos, Pablo Vélez León; 4. Lebenswelt de Husserl y las neurociencias, Vanessa Fontana; 5. El uso estético del concepto de mundos posibles, Jairo Dias Carvalho; 6. Realismo normativo no naturalista y mundos morales imposibles, Alcino Eduardo Bonella; 7. En la lógica de pragmatismo, Hércules (...) de Araujo Feitosa, Luiz Henrique da Cruz Silvestrini; 8 La lógica, el tiempo y el lenguaje natural: un sistema formal para tiempos de portugués, Carlos Luciano Manholi. / Temas em filosofia contemporânea II / Jonas Rafael Becker Arenhart, Jaimir Conte, Cezar Augusto Mortari (orgs.) – Florianópolis : NEL/UFSC, 2016. 167 p. : tabs. - (Rumos da epistemologia ; v. 14); ISBN 978-85-87253-27-9 (papel); ISBN 978-85-87253-26-2 (e-book). (shrink)

Autonomy has been central to moral and political philosophy for millenia, and has been positioned as a critical aspect of both justice and wellbeing. Research in psychology supports this position, providing empirical evidence that autonomy is critical to motivation, personal growth and psychological wellness. Responsible AI will require an understanding of, and ability to effectively design for, human autonomy (rather than just machine autonomy) if it is to genuinely benefit humanity. Yet the effects on human autonomy of digital experiences are (...) neither straightforward nor consistent, and are complicated by commercial interests and tensions around compulsive overuse. This multi-layered reality requires an analysis that is itself multidimensional and that takes into account human experience at various levels of resolution. We borrow from HCI and psychological research to apply a model (“METUX”) that identifies six distinct spheres of technology experience. We demonstrate the value of the model for understanding human autonomy in a technology ethics context at multiple levels by applying it to the real-world case study of an AI-enhanced video recommender system. In the process we argue for the following three claims: 1) There are autonomy-related consequences to algorithms representing the interests of third parties, and they are not impartial and rational extensions of the self, as is often perceived; 2) Designing for autonomy is an ethical imperative critical to the future design of responsible AI; and 3) Autonomy-support must be analysed from at least six spheres of experience in order to approriately capture contradictory and downstream effects. (shrink)

This book provides an introduction to six key concepts within philosophy: philosophy itself, language, knowledge, truth, being and the good. At the same time, it aims to initiate its readers into the processes of philosophical thinking. The book is addressed to students and lay persons, but also contains new ideas for specialists. It is written in a clear, accessible and engaging style. The German version appeared in eight editions and the second revised and updated English editon has the potential to (...) become a key textbook for an international audience. (shrink)

Hegel insists that the category ‘nature’, expressed in relation to the ideal of aesthetic beauty, is not nature as such but a supplementary deviation coloured by the subjective position from which this ‘nature’ is posited. We cannot distinguish nature ‘in itself’ from the ideological-artistic conditions of the distorted ‘use’ of nature. Nature exists to us only by reference to what is subjectively treated as non-natural. A similar relation is posited by Lacan in his famous assertion that ‘there is no sexual (...) relation’. For Freud and Lacan, the ‘all too human’ sexual drive derives from a deviated/distorted enjoyment of the initial failure to enjoy a purely natural sexual relation: an inevitably castrated enjoyment, where ‘natural’ sexuality is revealed as impossible. In other words, sexuality is for Lacan and Freud its own distortion of the category of ‘natural’. Sexuality is a perpetually distorted and abnormal form of enjoyment, for which the alternative is not ‘normal/natural enjoyment’, but rather the negative state of a fundamental lack of any relation. Through Hegel and sexuality, this paper argues that the unavoidable misuse of nature is not caused by improper application/categorisation, but instead reflects an internal incompleteness or indeterminacy in nature as a category. (shrink)

Conceptual analysis is one of the notions undergoing dramatic changes during Wittgenstein's intermediate period. There's an aspect of such changes which might prove characteristic of the new directions taken by Wittgenstein's thought after 1929: it is the notion of complete analysis. We believe that Wittgenstein's treatment of this notion is also an interesting indication of new concerns generated by the "new method" itself, in terms of its radical openness to dialogism and its anti-dogmatism. Our aim here will be to explore (...) a couple of hints as to why this can be so. (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)

A mudança da concepção do critério geral da significação que tinha Wittgenstein no seu período intermediário para a concepção dos critérios de significação do seu período posterior justifica que se fale numa correlativa mudança na aplicabilidade do conceito de ‘uso’. Acompanhar esta mudança é importante para se caracterizar o âmbito do pragmático tal como Wittgenstein o concebe, e bem assim o tipo de investigação sobre os fundamentos do simbolismo linguístico e sobre a ligação entre linguagem e mundo que esse filósofo (...) advoga como adequada. Este artigo pretende circunscrever algumas das novas questões que, no período intermediário de Wittgenstein , conduziriam a tal mudança conceptual. (shrink)

Este artigo explora o uso de metodologias lúdicas, como gamificação e narrativas, para tornar o ensino de Lógica mais dinâmico e acessível no Ensino Médio. Através de enigmas como os do tipo Cavaleiros e Patifes, abordam-se tanto a lógica proposicional clássica quanto as não-clássicas (notadamente, as lógicas paraconsistentes e modal),proporcionando um aprendizado ativo e colaborativo. O artigo oferece ferramentas práticas para educadores, com ênfase no desenvolvimento de competências críticas e na criação de um ambiente inclusivo, acessível a todos os alunos.

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 debate over Plato’s “ so called unwritten doctrines”, which he communicated only to a small circle of trusted disciples, has caused a stir among philosophers in recent decades. Rafael Ferber assumes a differentiated position in this controversy. He is convinced that the unwritten doctrines did exist, but that Plato, for reasons inherent in the process of gaining knowledge, was unable to communicate these doctrines even to his closest disciples. In this book, Ferber outlines the discussion and summarizes the (...) standpoints of greatest interest. Ever since Aristotle, we have known that Plato did not put his most important teachings into writing, but instead communicated them only orally to the inner circle of his disciples. While the extant dialogues merely pass down Plato’s “exoteric” doctrines, his most important “esoteric” insights were not meant for the general public. In the meantime, the contents and the significance of Plato’s “unwritten doctrines” have become the subject of debate in philosophical circles. Fifteen years ago, at the height of the controversy over the “unwritten doctrines”, Rafael Ferber entered the fray with a small book. He proposed that Plato was also unable to communicate the “unwritten doctrines” because the highest principles (i.e. the subject of the unwritten doctrines) cannot be known through logical operations due to an epistemological paradox. Ferber’s differentiated position met with great respect and acceptance, although in individual cases it was also rejected. Ferber’s new book again presents the text of 1991, but significantly expands on it through new perspectives and an outline of the discussion it triggered. In this book, the reader learns what is meant by Plato’s unwritten doctrines and what the controversy is all about. (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.

Neste artigo fazemos uma discussão conceitual acerca da ferramenta de escolha por nós apresentada no trabalho “Solving Normative Conflicts using Preference Relations”, isto é, explicitamos a racionalidade subjacente a tal ferramenta, bem como as consequências práticas de sua aceitação.

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 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.

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)

In this paper two systems of AGM-like Paraconsistent Belief Revision are overviewed, both defined over Logics of Formal Inconsistency (LFIs) due to the possibility of defining a formal consistency operator within these logics. The AGM° system is strongly based on this operator and internalize the notion of formal consistency in the explicit constructions and postulates. Alternatively, the AGMp system uses the AGM-compliance of LFIs and thus assumes a wider notion of paraconsistency - not necessarily related to the notion of formal (...) consistency. (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)

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)

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.

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

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

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

Plato scholars such as Matthias Baltes (1940-2003) and Luc Brisson have defended the thesis that Plato‘s Idea of the Good is on the one hand beyond being (epekeina tês ousias) in dignity and power, but is nevertheless not transcendent over being. The article gives first (I.), an introduction into the status questionis. Second (II.), it delivers the most important arguments for the thesis of Baltes and Brisson. Third (III.), it gives two counterarguments against the thesis. Fourth (IV), it deals with (...) the translation of L. Brisson "Apollon, quelle merveilleuse emphase" of 509c1-2. Fifth (V.), it concludes with some general questions concerning the deflationist interpetation of Plato‘s Republic, 509b9-10. (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)

This paper deals with the deuteros plous, literally ‘the second voyage’, proverbially ‘the next best way’, discussed in Plato’s Phaedo, the key passage being Phd. 99e4-100a3. I argue that (a) the ‘flight into the logoi’ can have two different interpretations, a standard one and a non-standard one. The issue is whether at 99e-100a Socrates means that both the student of erga and the student of logoi consider images (‘the standard interpretation’), or the student of logoi does not consider images but (...) that “consistency should suffice for truth” (‘the non-standard interpretation’); (b) the non-standard one implies the problem of the hypothesis, a problem analogous to the problem of the elenchus; (c) there is a structural analogy between Descartes’ ontological argument for the existence of God in his 5th Meditation and the final proof for the immortality of the soul in the Phaedo. (shrink)

In The moral problem (1994), Michael Smith tries to link three conflicting theories that alone are intuitively plausible, nevertheless, they do not seem to work well together. The first proposes that moral judgments are in fact beliefs about objective matters. The second states the concept of “practicality requirement”. The third is a humean belief-desire psychology, i.e. if a moral judgment is sufficient to explain actions, then it must involve a desire. If that is the case, it cannot be simply a (...) belief. For Smith, any attempt to solve the moral problem must find a way to hold all three doctrines. I will argue that his solution rests on two false assumptions. The first, a rationalist one which supports that what we have reason to do is what we would desire to do if we were fully rational. The second is the internalist thesis about moral motivation according to which a person who believes she is morally required to do something is either necessarily motivated to do it or she is practically irrational. I will base my critics on four objections raised by Copp, Miller, Shafer-Landau, Brink and Sayre-McCord. (shrink)

One core question in contemporary political economy is whether economic liberties should be constitutionally protected as basic rights. In this article I do not provide a positive argument for the view that economic liberties are basic rights. Rather, I seek to provide a reason for not embracing the opposing view, i.e. that economic liberties should not be constitutionally protected as basic rights. Based on Hayek’s theory of price as signal, I argue that price control, a view usually associated with high (...) liberals, and sometimes endorsed by moderate welfarists, is environmentally sub-optimal. (shrink)

Two systems of belief change based on paraconsistent logics are introduced in this article by means of AGM-like postulates. The first one, AGMp, is defined over any paraconsistent logic which extends classical logic such that the law of excluded middle holds w.r.t. the paraconsistent negation. The second one, AGMo , is specifically designed for paraconsistent logics known as Logics of Formal Inconsistency (LFIs), which have a formal consistency operator that allows to recover all the classical inferences. Besides the three usual (...) operations over belief sets, namely expansion, contraction and revision (which is obtained from contraction by the Levi identity), the underlying paraconsistent logic allows us to define additional operations involving (non-explosive) contradictions. Thus, it is defined external revision (which is obtained from contraction by the reverse Levi identity), consolidation and semi-revision, all of them over belief sets. It is worth noting that the latter operations, introduced by S. Hansson, involve the temporary acceptance of contradictory beliefs, and so they were originally defined only for belief bases. Unlike to previous proposals in the literature, only defined for specific paraconsistent logics, the present approach can be applied to a general class of paraconsistent logics which are supraclassical, thus preserving the spirit of AGM. Moreover, representation theorems w.r.t. constructions based on selection functions are obtained for all the operations. (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)

A Revisão de Crenças estuda como agentes racionais mudam suas crenças ao receberem novas informações. O sistema AGM, trabalho mais influente desta área apresentado por Alchourrón, Gärdenfos e Makinson, postula critérios de racionalidade para os diferentes tipos de mudança de crenças e oferece construções explícitas para tais - a equivalência entre os postulados e operações é chamado de teroema da representação. Trabalhos recentes mostram como o paradigma AGM pode ser compatível com diferentes lógicas não-clássicas, o que é chamado de AGM-compatibilidade (...) - este é o caso da família de lógicas paraconsistentes que analisamos, as Lógicas da Inconsistência Formal (LFIs, da sigla em inglês). A despeito da AGM-compatibilidade, ao se partir de uma nova lógica sua racionalidade subjacente deve ser entendida e sua linguagem deve ser efetivamente usada. Propomos assim novas construções que de fato capturam a intuição presente na LFIs - é o que chamamos de sistema AGMo. Com isso, possibilitamos a estas lógicas uma nova interpretação, na esteira da epistemologia formal. Em uma abordagem alternativa, ao se partir da AGM-compatibilidade os resultados AGM podem ser diretamente aplicados às LFIs - o que chamamos de sistema AGMp. Em ambas abordagens, provamos os respectivos teoremas da representação sempre que necessário. (shrink)

Na era das tecnologias digitais, entender vieses algorítmicos por meio das teorias da verdade ajuda a fazer perguntas cujas respostas facilitam a filtragem da informação de forma mais eficaz. O ganho é a compreensão aprofundada da realidade.

We articulate a distinction between ontology, understood as involving existence questions, and metaphysics, understood as either providing for metaphysical profiles of entities or else as dealing with fundamentality and/or grounding and dependence questions. The distinction, we argue, allows a better understanding of the roles of metaontology and metametaphysics when it comes to discussing the relations between ontology and science on the one hand, and metaphysics and science on the other. We argue that while ontology, as understood in this paper, may (...) have reasonable perspectives for naturalization, given its relation to science, the same cannot be said for metaphysics, given that it is typically understood as an additional theoretical layer over science, not participating in the scientific investigation. That may result either in skepticism over metaphysics, or else on accepting that metaphysics is an autonomous branch of investigation, depending on one’s concern for metaphysics. (shrink)

On how medieval philosophy is not (only) theology.

*Winner of the American Philosophical Association's 2020 Essay Prize in Latin American Thought* This essay offers a novel account of the secularity of Latin American liberation philosophy. It challenges the accepted notion that liberation philosophy applies the methods and approaches of Latin American liberation theology to the philosophical arena, thus putting liberation theology on secular grounds. While this formulation is true insofar as liberation philosophy is not bound by the hermeneutics of any particular religious tradition, this formulation could be misconstrued (...) given that liberation philosophy does not premise such secularization in an undialectical understanding of secularity as secularism that disavows religion. Rather, liberation philosophy’s secularity is dialectical in that it requires constant engagement with re-ligion, not in the hermeneutics of any specific tradition but with “the traditional question of the Absolute.” Due to this often-misunderstood element of liberation philosophy, it has frequently been “ghettoized and relegated to the ‘safe’ area of theological studies,” as Eduardo Mendieta argues. However, I contend that liberation philosophy’s secular grounds offer an original contribution to philosophy as a decolonial and postsecularist liberation philosophy, one that conceives of secularism as an aspect of coloniality to be overcome, an obstacle rather than a benefit for Latin American philosophers seeking to gain a better understanding of our historical conditions. (shrink)

A strange dialectical reversal characterizes the oppositions which psychoanalysis posits against philosophy and neuroscience: what psychoanalysis intervenes with as a unique and missing quality of these subjects, reveals itself upon enquiry as already having been a feature of said subjects. This article first discusses the failed intervention of psychoanalysis within the perceived totalities and absolutes of German idealism. Psychoanalysis, founded on an ontological division and internal inconsistency with a retroactive logic, finds this internal contradiction already reflected within the supposed totalities (...) of Schelling and Hegel. Schelling’s “blind act,” a decision with no prior foundation that grounds an abstract identity-in-itself, appears as the counterpart to what Badiou calls the strictly “analytic act.” Hegel’s Science of Logic, in which the inconclusive interpenetration of being and nothing presupposes its own conclusion in the transitions to essence, and in which an internal incompleteness and contradiction are retroactively constitutive of the concept, similarly nullifies the intervention of psychoanalysis. Finally, precisely such a reversal is presented in neuroscience, where the constitutive contradiction of contingently functional neuronal formations in the adaptive “multiple demand” model of executive functioning repeats the contingent and self-contradicting psychoanalytic subject as being its own deference within linguistic, discursive formations. (shrink)

In the whole Corpus Platonicum, we find in principle only one "direct argument" (Charles Kahn) for the existence of the ideas (Tim.51d3-51e6). The purpose of the article is to analyse this argument and to answer the question of why Plato in the Timaeus again defended the existence of the ideas despite the objections in the Parmenides. He defended it again because the latent presupposition of the apories in the Parmenides, the substantial view of sensibles, is removed through the introduction of (...) space as "substantialized extension". First (I) it is shown that Plato remained in dialogues, like the Sophist and Politicus, faithful to the "theory of ideas" despite his criticism in the Parmenides. The common theme in the trilogy of the Theaetetus, Sophist and Politicus is to refute relativism by showing that any relativism presupposes something absolute that is something like the "theory of ideas". The second part of the paper (II) examines closely the logical structure of the argument for the existence of ideas in the Timaeus (51d3-52a7). The third part (III) shows how this argument can avoid the criticism of ideas in the Parmenides. In the Parmenides, sensibles are treated as substantial entities. But, as the Timaeus shows, sensibles are not substantial entities but merely qualities, namely qualities of space, which is the only substance in the sensible world. A shortened English version of the paper appeared in Proceedings of the Fourth Symposium Platonicum, Granada, Selected papers, ed. by T. Calvo/L. Brisson, Academia Verlag, St. Augustin, 1997, 179-186. -/- But the only "direct argument" (Tim.51d3-51e6) seems to be interestingly flawed. Cf. Ferber, Rafael; Hiltbrunner, Thomas, (2005). (shrink)

The article is the revised version of an inaugural lecture given at the University of Lucerne on 8 November 2001. In part (I), I give an interpretation of the first sentence of the Aristotelian Metaphysics: ‘All men desire by nature to know’. In part (II), I show how, for Aristotle, this desire to know constitutes a continuum from knowledge given by sense perception to knowledge of the first principles. In part (III), I compare this Aristotelian conception to Plato’s more ‘existentialist’ (...) approach which implies the turning of a ‘whole soul’ rather than a continuum. Preferring the latter concep- tion, I conclude with some hints of what I plan to do in the next years and give a short overview of the history of universities in Europe and Switzerland, ending with the University of Lucerne. (shrink)

The article tries to prove that the famous formula "epekeina tês ousias" has to be understood in the sense of being beyond being and not only in the sense of being beyond essence. We make hereby three points: first, since pure textual exegesis of 509b8–10 seems to lead to endless controversy, a formal proof for the metaontological interpretation could be helpful to settle the issue; we try to give such a proof. Second, we offer a corollary of the formal proof, (...) showing that not only self-predication of the form of the Good, but of any form is not possible, that is: no form of F has the form of F. Third, we apply Spinoza’s distinction between an ens imaginarium and a chimaera to Plato’s Idea of the Good. (shrink)

Wittgenstein’s mature philosophy offers a therapeutic way out of some conundrums stemming from taxonomic expectations regarding philosophical description of experience in general. The paper asks if this is also true of the facts of aesthetic experience. This possibility is hinted at by examining an application of the notion of certainty to aesthetic experience. Some traits of possible uses of central concepts of the mature Wittgenstein to a philosophical aesthetics inspired by the “new method” are also canvassed.

By Belief Revision it is understood a system that logically explains the rational process of changing beliefs by taking into account a new piece of information. The most influential approach in this field of study, the AGM system, proposed by Alchourrón, Gärdenfors, and Makinson, postulates rationality criteria for different types of belief change. In this paper I shall assess the relationship between those criteria and argue for an opposition between the principles of Information Economy and Consistency. Furthermore, I shall argue (...) that Paraconsistent Belief Revision manages to minimise this friction in the best possible way. (shrink)

The anthropologist James Frazer investigates the ritual gesture in search of be- liefs about the physical world by the native. Wittgenstein considers this a case of aspect- blindness, one that is disruptive of the conditions for understanding the native’s most triv- ial gestures. Unable to cast his glance from within the native situation, this methodological view from nowhere has an arresting effect on experience – in particular, the experience of speaking. This interruption is to be examined by means of a (...) thought experiment. Then, through the interplay of the concepts of Spirit and Aspect, a philosophical tool is described to assess the problem that can also serve as practical guide back to ordinary experience. The next step is to examine this way out in a particularly sensitive kind of experience of meaning: the aesthetic experience, also seen as a ritual. We conclude by alluding to a pos- sibly mutual illumination between aesthetic experience, translation studies and a Cavellian take on ordinary language. (shrink)

As the intuitions about moral phenomenology shows the metaphysical distinction between mind-dependent and mind-independent properties has set the metaethical distinction between normativity and objectivity in ethics. Traditionally, many arguments were built in order to show that moral realists cannot account, in naturalist vocabulary, for the process of determining moral reference due to the desiderative disposition taken to be necessarily part of the meaning of moral terms. This dissertation assess some anti-realists arguments like is-ought thesis, the argument from queerness, the argument (...) from relativity and the open question argument. In what follows I propose the semantics elaborated by Cornell realism in order to address these arguments, especially the open question argument. However, as Moral Twin Earth test shows us the semantic proposed by Boyd is incomplete. Therefore I also evaluate a second attempt taken by Cornell realists such as Brink and Copp, based on Putnan's notion of referential intentions. (shrink)

Not only is freedom a shared concern of Sartre and Schelling, which would not be anything particularly unique, but for both philosophers, freedom must be articulated out of an ontological ground, or within the confines of an ontological system. A contradiction nevertheless appears to arise regarding the “orientation” of Sartre and Schelling’s respective “ontologies of freedom”: the freedom of Sartre, reflecting a contemporary stoic-inspired doctrine, is directed toward the future, while for Schelling, with affinities to the temporal logic of psychoanalysis, (...) freedom is oriented toward the past. This article presents both Sartre and Schelling’s ontological reasoning out of which either a progressively oriented freedom (the freedom to negate the present in the name of future “possibles”) or a retrogressively oriented freedom (the freedom to determine the ground of the present out of an indefinite, a-temporal becoming), before attempting to resolve this contradiction in the temporality of freedom by examining the position and role of the negative (of negation, contradiction, or nothingness), as either secondary or primary, within the ontology of each respective philosopher. (shrink)

Revision operation is the consistent expansion of a theory by a new belief-representing sentence. We consider that in a paraconsistent setting this desideratum can be accomplished in at least three distinct ways: the output of a revision operation should be either non-trivial or non-contradictory (in general or relative to the new belief). In this paper those distinctions will be explored in the constructive level by showing how the remainder sets could be refined, capturing the key concepts of paraconsistency in a (...) dynamical scenario. These are preliminaries results of a wider project on Paraconsistent Belief Change conduced by the authors. (shrink)

"Paraconsistent Belief Revision Based on a Formal Consistency Operator" delves into Belief Revision—a significant area of research in Formal Philosophy that uses logic to model the ways in which human and artificial agents modify their beliefs in response to new information and examines how these changes can be considered rational. -/- Originally authored as a PhD thesis (previously published in Portuguese), this work provides a novel epistemic interpretation of Paraconsistency through Paraconsistent Belief Revision systems. It explores the concept of paraconsistency (...) from the standpoint of epistemic attitudes of acceptance and rejection. -/- This work challenges the traditional notion that accepting a new belief requires retracting its negation from the current epistemic state. The author contends that such reflexive retraction goes against the principle of informational economy, which is a crucial aspect of rationality in the context of belief change. Consequently, the phenomenon of paraconsistency is further examined from this fresh perspective of belief change, shedding light on the complexities of the Logics of Formal Inconsistency (LFIs). These LFIs provide the foundational logic, offering a comprehensive framework for understanding and implementing paraconsistent principles within belief revision systems. -/- This thesis was supervised by Marcelo Esteban Coniglio and co-supervised by Márcio Moretto Ribeiro, as part of Rafael Rodrigues Testa's doctoral studies at the University of Campinas (Unicamp), Brazil. (shrink)