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

This is the report on the XVI BRAZILIAN LOGIC CONFERENCE (EBL 2011) held in Petrópolis, Rio de Janeiro, Brazil between May 9–13, 2011 published in The Bulletin of Symbolic Logic Volume 18, Number 1, March 2012. -/- The 16th Brazilian Logic Conference (EBL 2011) was held in Petro ́polis, from May 9th to 13th, 2011, at the Laboratório Nacional de Computação o Científica (LNCC). It was the sixteenth in a series of conferences that started in 1977 with the aim of (...) congregating logicians from Brazil and abroad, furthering interest in logic and its applications, stimulating cooperation, and contributing to the development of this branch of science. EBL 2011 included more than one-hundred and fifty participants, all of them belonging to prominent research institutes from Brazil and abroad, especially Latin America. The conference was sponsored by the Academia Brasileira de Ciências (ABC), the As- sociation for Symbolic Logic (ASL), Universidade Estadual de Campinas (UNICAMP), Centre for Logic, Epistemology and the History of Sciences (CLE), Laboratório Nacional de Computação o Científica (LNCC), Pontif ́ıcia Universidade Cato ́lica do Rio de Janeiro (PUC- Rio), Sociedade Brasileira de Lógica (SBL), and Universidade Federal Fluminense (UFF). Funding was provided by Conselho Nacional de Desenvolvimento Cient ́ıfico e Tecnolo ́ gico (CNPq), Fundac ̧a ̃o de Amparo `a Pesquisa do Estado de São Paulo (FAPESP), Fundação Euclides da Cunha (FEC), and Universidade Federal Fluminense (UFF). The members of the Scientific Committee were: Mário Folhadela Benevides (COPPE- UFRJ), Fa ́bio Bertato (CLE-IFCH-UNICAMP), Jean-Yves Béziau (UFRJ), Ricardo Bianconi (USP), Juliana Bueno-Soler (UFABC), Xavier Caicedo (Universidad de Los An- des), Walter Carnielli (CLE-IFCH-UNICAMP), Oswaldo Chateaubriand Filho (PUC-Rio), Marcelo Esteban Coniglio (CLE-IFCH-UNICAMP), Newton da Costa (UFSC, President), Antonio Carlos da Rocha Costa (UFRG), Alexandre Costa-Leite (UnB), I ́tala M. Loffredo D’Ottaviano (CLE-IFCH-UNICAMP), Marcelo Finger (USP), Edward Hermann Haeusler (PUC-Rio), Décio Krause (UFSC), João Marcos (UFRN), Ana Teresa de Castro Martins (UFC), Maria da Paz Nunes de Medeiros (UFRN), Francisco Miraglia (USP), Luiz Car- los Pereira (PUC-Rio and UFRJ), Elaine Pimentel (UFMG), and Samuel Gomes da Silva (UFBA). The members of the Organizing Committee were: Anderson de Araujo (UNICAMP), Walter Carnielli (CLE-IFCH-UNICAMP), Oswaldo Chateaubriand Filho (PUC-Rio, Co- chair), Marcelo Correa (UFF), Renata de Freitas (UFF), Edward Hermann Haeusler (PUC- RJ), Hugo Nobrega (COPPE-UFRJ), Luiz Carlos Pereira (PUC-Rio e IFCS/UFRJ), Leandro Suguitani (UNICAMP), Rafael Testa (UNICAMP), Leonardo Bruno Vana (UFF), and Petrucio Viana (UFF, Co-chair). (shrink)

This article asks the question “Why did Plato not write the ‘unwritten doctrine’?” and answers it by citing a combination of two obstacles. The first derives from the limitations of the episteme available to an embodied soul about the essence of the good. Even if the dialectician has access to some kind of knowledge, the mismatch between the unchanging essence of the good and the precarious logoi which aim to identify it (and allow others some measure of access to it) (...) can never fully be overcome. At best, Socrates (or Plato) can lead souls to an incomplete account of it: It is possible that even the most expert dialectician can only have a claim to knowledge, but no absolute certainty. Another obstacle lies in the audience or readership itself: No shortcut to understanding is possible, and yet a mere written presentation, which is all they have, is just such a shortcut, and so represents an empty promise. In memory of Charles H. Kahn (1928–2023), a letter of his from September 5, 1989, concerning the question “Why did Plato not write the ‘unwritten doctrine’?” is published, along with some comments. (shrink)

The meanings of utterances and thoughts are commonly regarded in philosophical semantics as abstract objects, called «propositions», which account for how different utterances and thoughts can be synonymous and which constitute the primary truth-bearers. I argue that meanings are instead natural properties that play causal roles in the world, that the kind of «One over Many» thinking underlying the characterization of shared meanings as abstract objects is misguided and that utterances and thoughts having truth-values in virtue of their meanings does (...) not entail that meanings themselves are truth-bearers. (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)

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)

Starting from the observation that there is a gap between knowledge of the environmental sciences and practical engagement, for example, in climate change or biodiversity loss, this article explores one possible explanation for this situation—namely, the process of objectification inherent in science. It then proposes to remedy the situation by defending the idea of a ‘first-person ecology’. This term refers to a field of research and practice that looks at the relationship between humans and nature from the point of view (...) of the embodied and situated nature of lived experience. The lived experience of nature at the heart of a first-person ecology is first studied from an epistemic perspective using the concept of recognition, inspired by the Frankfurt School philosopher and sociologist Axel Honneth. It is then approached from a phenomenological perspective, using the emerging field of ecospirituality to describe the characteristics of this experience. (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)

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)

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)

In his Vermischte Bemerkungen 43, Wittgenstein notices that he was also influenced by Oswald Spengler. The paper deals with the question of in which way Spengler influenced Wittgenstein’s late works and if it really was influence or only a coincidence of ideas. It is put forward that Spengler’s rather unknown philosophy of language influenced Wittgenstein’s philosophy of language, especially the concepts of family resemblance, antiessentialism, and language-game (Sprachspiel). A picture of the famous Neapolitan gesture of “negation” which motivated Wittgenstein to (...) give up the picture theory of language is also shown with an example taken from Andrea de Jorio, La mimica degli antichi investigala nel gestire napoletano, Napoli 1832. (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)

Being supposedly the ground for an exchange system that does not depend on central, top-down regulation, cryptocurrencies increasingly need new algorithmic and policy-driven rules to maintain their trustworthiness and capacity to exhibit empirically supported growth. The present paper offers a conceptual and philosophical discussion on whether and how cryptosystems could be able to generate resilient development in a way that is coherent with a non-reductionist view of positive economics. As proposed, a plausible way to understand them can be achieved considering (...) their complexity and their concrete, local features, which have to be grasped both in terms of formal and material specificity. (shrink)

El artículo propone una serie de comentarios a propósito de la noción de Phrónesis, el carácter del estudio es introductorio y prevé esclarecer considerandos aristotélicos respecto a la noción, librándola de interpretaciones erróneas.

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)

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)

The paper puts forward that the basic principle of Wittgenstein’s Tractatus (4.0312) transforms the supreme principle of all synthetic judgments a priori in Kant’s Critique of Pure Reason (A158/B197) from a level of reason to the level of language. Both philosophers, Kant and Wittgenstein, put forward a transcendental principle and both hold a formal identity true, Kant an identity between the form of experience and the form of the object of experience, Wittgenstein an identity between the form of a sentence (...) and the form of a fact. (shrink)

Despite the fact that Aristotle and Frege/Russell differ in how to understand the ambiguity in the meaning of the word “is”, their theories share a common feature: “is” does not have a normative meaning. This paper, however, (I) shows (a) that there is a normative meaning of “is” (and correspondingly a constative meaning of the word “ought”) and (b) that the ambiguity of “is” is itself ambiguous. Furthermore, it proposes (c) a performative criterion for making a distinction between constative and (...) normative “is”. Thereby, (II) a new interpretation of Kant’s critique of the ontological argument (CPR A 598/B626) makes sense: The difference between being as a real predicate and being as a position depends on the difference between “is” as a descriptive and “is” as a normative predicate. (III) The criterion also makes possible a new answer to Leibniz’s and Schelling’s question, “Why is there something rather than nothing?”: The “is” in “there is something” is normative and the question means “Why shall there be something rather than nothing?”. As “there shall be nothing” is self-refuting, the question evokes an ultimate foundation in a practical sense. (shrink)

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)

O presente artigo busca caracterizar a querela interna do Movimento Jovem-Hegeliano através da descrição e caracterização do conceito de massa/massificação dentro do pensamento de seus membros primeiros, a saber: Ludwig Feuerbach, David Strauss e Bruno Bauer.

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)

This is an obituary notice on Henri Lauener (1933-2002).

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

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)

This article considers the historical tension in conceptualising Marx's materialism (dialectical and historical) as either a break from, or a fidelity to, Hegelian dialectics, and the methods by which this tension is itself subsumed under an insistence on vindicating the radical irreducibility of Marxist thought. Ultimately, however, it is argued that the question of whether Marx should or should not be framed alongside Hegel is the wrong question. It is not a question of 'Marx by himself' or 'Marx and... [Hegel]', (...) but rather of 'Marx without himself': as with any radical event in the history of ideas, it is a benefit to Marx's innovativeness that he can be retrospectively articulated according to historical traditions whilst simultaneously breaking from them. -/- . (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)

This is a report on the II Symposium Platonicum, which took place in Perugia, Italy, September 1-6, 1989, and on the founding of the International Plato Society, which took place in Bevagna, Province of Perugia, Umbria, Italy, September 3, 1989.

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.

Reasons for action is a widely employed methodology in practical philosophy, and especially in moral philosophy. Reasons are facts that explain and justify actions. But, conceptually, if reasons were causes, incontinent actions would be impossible. When an agent ranks an evaluation about what to do as his best judgement, it entails that he has a reason for acting as that judgement prescribes. But when an agent acts incontinently, he acts in accordance to an intention that is not aligned with his (...) best evaluative judgement. Yet, if the agent’s best evaluative judgement provides him a reason for action, this reason should also be his strongest reason, and therefore, the strongest cause. How then can it be possible that an agent incontinently acts according to a reason of inferior causal strength? In this paper, I analyze how Davidson’s argument for the possibility of incontinent actions interacts with his causal theory of actions. I argue that Davidson’s proposal does not fully respect the two principles of intentional rationality, that he himself claims to be compelling. Lastly, I sketch some initial steps that might be helpful to drawing more precise conceptual distinctions in terms of the rationality of incontinent actions. (shrink)

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

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)

In the Appendix I of his "Remarks on the Foundations of Mathematics", Wittgenstein elaborates a different interpretation of Gödel’s First Incompleteness Theorem, which we have come to refer to as "Gödel’s Theorem" or "Incompleteness Theorem". This nomenclature arises from the recognition that the so-called "Second Incompleteness Theorem" is essentially a corollary of the primary theorem. Wittgenstein aims to reassess Gödel’s conclusion that there exist true formulas not demonstrable within formal systems capable of representing a sufficient amount of arithmetic theory. Gödel’s (...) initial reaction, as well as other commentators, was that Wittgenstein had not understood the proof. Nevertheless, recent commentators view worthy commentaries in wittgensteinian writings: some commentators, such as Juliet Floyd and Hilary Putnam, distinguish between mathematical proof and philosophical prose that surrounds the theorem, making it possible to understand Wittgenstein’s remarks. Ultimately, Wittgenstein’s observations serve as a lens through which Gödel’s theorem can be reconsidered within the realm of non-classical logics, such as paraconsistent logic. (shrink)

The paper proposes (1.) a non-standard interpretation of the proverbial expression “deuteros plous” by giving a fresh look to Phaedo, 99c9-d1. Then (2.) it proceeds to the philosophical problem raised in this passage according to this interpretation, that is, the problem of the “hypothesis” or the “unproved principle”. It indicates finally (3.) the kernel of truth contained in the standard Interpretation and it concludes with some remarks on the “weakness of the logoi”.

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)

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)

The article examines the Socratic principle that (1) virtue is knowledge and its corollary that (2) nobody errs voluntarily (nemo sua sponte peccat). It tries to show (I) that both principles are paradoxa, i.e. from a phenomenological point of view, they seem to be false; (II) that nevertheless the platonic Socrates accepts both principles as true; and finally (III) that these principles are analytical truths a priori which can only be understood if a person (soul) finds them in him- or (...) herself. (shrink)

One of the problems that are often indicated as a criticism of different forms of representationalism is the difficulty to find definitions that are neither semantic nor realist in a simple sense. The present work tackles this class of critiques from a contextualist point of view, assuming those semantic aspects that are necessary for a concept of representation, but showing that semantic relations of representation should neither be static, nor referential in a classical and strictly realist sense. Two distinctions are (...) crucial for our proposal: On the one hand, we have the distinction between closed and open systems; on the other, a tripartite distinction between structural, informational and semantic representations. On this basis, we understand representations in terms of asymmetric variations between contextual models. (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.

A similar framing of inarticulable formations, of pure multiplicities, marks the respective projects of Deleuze and Laplanche. The absolute exteriority of a disjunctive multiplicity is re-inscribed as a relativised, interiorised trace. This trace-logic of Deleuze and Laplanche has definitive implications where the psychoanalytic subject and the unconscious is concerned. However, there is a difficulty in this logic of accounting for the unconscious formations enumerated by Freud (slips of the tongue, jokes, symptoms etc.). In turning to Lacan, however, the positions of (...) Deleuze and Laplanche can be illuminated (despite their attempt to ‘move beyond’ him). We see the trace in its material, unconscious substantiality upheld by the function of the big Other as an absent centre to which discourse is referred and through which the speaking subject is revealed as being in a discrepant relation to itself. The big Other, in his function as intimate, yet lacking, alterity, seems to help to resolve the problematic of multiplicity for Deleuze and Laplanche. (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)

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)

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)

The article first gives an exegesis of the famous passage in the "Republic", 505d11-506a2. Attention is drawn to the fact that the principle that every soul does everything for the Good can be translated in two ways: Every soul does everything for the sake of the Good, or goes to all lengths for the sake of the Good. Depending on the different translations, we have a different picture of the platonic Socrates in the Republic, an intellectualistic Socrates for whom irrational (...) desires do not exist, or a Socrates who also accepts irrational desires. The article favours the first one. Then it attempts to show that we can elucidate some dark points in the Socratic thesis that the Good is what every soul pursues and for which every soul does everything, with the help of Aquinas’s distinction between it actio hominis and actio humana. Finally, the article outlines three substantive answers to the question “What is the Good?” – the henological, the perfectionist and the structuralist. Instead of advancing a new answer, the article suggests an uncontroversial formal starting point for an answer to this question. (shrink)

Causal decision theory defines a rational action as the one that tends to cause the best outcomes. If we adopt counterfactual or probabilistic theories of causation, then we may face problems in overdetermination cases. Do such problems affect Causal decision theory? The aim of this work is to show that the concept of causation that has been fundamental in all versions of causal decision theory is not the most intuitive one. Since overdetermination poses problems for a counterfactual theory of causation, (...) one can think that a version of causal decision theory based on counterfactual dependence may also be vulnerable to such scenarios. However, only when an intuitive, not analyzed notion of causation is presupposed as a ground for a more plausible version of causal decision theory, overdetermination turns problematic. The first interesting consequence of this is that there are more reasons to dismiss traditional theories of causation (and to accept others). The second is to confirm that traditional causal decision theory is not based on our intuitive concept of the causal relation. (shrink)

The first chapter, "Der Hintergrund von Gadamers 'Phänomenologischen Interpretationen' in Sein und Zeit" traces the origins of Gadamer’s interpretation of the Philebus in Sein und Zeit. Especially important is that Dasein is, thanks to speech , already outside of itself in the world. The second chapter "Gadamers Dialektische Ethik" gives a short summary of the main points of Gadamer's interpretation of the Philebus. The third chapter "Davidsons reinterpretation of von Gadamer's Dialektischer Ethik" 222-231), points especially to the fact that Davidson (...) sees the "Socrates post Vlastos" in the interpretation of Gadamer at work: Because every man is already in possession of some basic truths, coherence is enough to lead to substantive truths. Davidson concludes that only in “interpersonal communication” "can be thought, a grasping of the fact of an objective, that is, a shared world". Thus, Davidson sees in Gadamer's interpretation of the Philebus his own theory of triangulation anticipated. (shrink)