Proceeding of the first public presentation of the work of the mexican logical group "Deduktor" under the direction of the mexican professor Hugo Padilla Chacón. This work was in fact the first whole and stand alone arithmetization of logics.

Proceeding of the work in trivalent logic developped under the direction of the professor Hugo Padilla Chacón at the 90's at the National Autonome University of México. Program in RLisp.

Proceeding on the Automatic Deduction System developped at the Philosophy Faculty of the UNAM at Mexico City. (Deduktor Mexican Group of Logics work under the direction of the professor Hugo Padilla Chacón). Conference presented at the mexican City of Guadalajara at the Universidad de Guadalajara, Jalisco, by invitation of the latinoamerican association of philosophy SOPHIA. Early stage of the deductional systems at 2-valued logic. This work embodies the implementation of the first whole and standalone arithmetization of bivalent Logic, the theoretical (...) framework of Hugo Padilla Chacón published in 1984. (shrink)

Atas do III Colóquio Internacional de Metafísica. [ISBN 978-85-7273-730-2]. Sumário: 1. Prazer, desejo e amor-paixão no texto de Lucrécio, por Antonio Júlio Garcia Freire; 2. Anaximandro: física, metafísica e direito, por Celso Martins Azar Filho; 3. Carta a Guimarães Rosa, por Cícero Cunha Bezerra; 4. Ante ens, non ens: La primacía de La negación em El neoplatonismo medievel, por Claudia D’Amico; 5. Metafísica e neoplatonismo, por David G. Santos; 6. Movimento e tempo no pensamento de Epicuro, por Everton da Silva (...) Rocha; 7. Críticas e elogios de Nietzche a Sócrates, por Fernanda Bulhões; 8. Sobre a Metafísica ou a respeito do jejum, por Gilvan Fogel; 9. A origem estética da ontologia hermenêutica de Luigi Pareyson, por Íris Fátima da Silva; 10. A Natureza da filosofia de Hume, por Jaimir Conte; 11. Logique ET métaphysique, por Jean-Baptiste Jainet; 12. Blaise Pascal: da recusa da metafísica da raison à metafísica do « estudo do homem », por João Emiliano Fotaleza de Aquino; 13. O niilismo no prólogo de Assim Falou Zaratustra. Por José Elielton de Sousa; 14. Presencia;Ausência: de Plotino a Procolo, por José Maria Zamora; 15. A natureza do Eros platônico, por Jovelina Maria Ramos de Souza; 16. Breve comentário acerca da origem da Gelassenheit de Heidegger a partir da mística de mestre Eckkart, por Luiz Fernando Fontes-Teixeira; 17. Humanismo e domesticação em Regras para o parque humano, por Luiz Roberto Alves dos Santos; 18. Contra a teoria de dois mundos na filosofia de Platão (República V 476e-478e), por Marcelo Pimenta Marques; 19. Sensações, impressões, projeções: as afecções do pensamento, por Markus Figueira da Silva; 20. Contribuições à história de uma metáfora: Heidegger e Nicolau de Cusa, por Oscar Federico Bauchwitz; 21. Uma impossibilidade ontológica em Schopenhauer, por Paulo César Oliveira Vasconcelos; 22. Ser e fenômeno: a Fenomenologia como teoria estética da ciência, por Pedro Paulo Coroa; 23. Para que serve a Metafísica de Aristóteles? O exemplo do movimento animal, por Pierre-marie Morel; 24. Contribuições para uma ontologia digital, por Rafael Capurro; 25. O que é o fim da metafísica, por Rodrigo Ribeiro Alves Neto; 26. A Physis na conformação do logos: linguagem e pensamento no corpus epicúreo, por Rodrigo Vidal do Nascimento; 27. O acontecimento de mundo na era da informação, por Soraya Guimarães da Silva; 28. Apofaticismo e abstração em Mark Rothko, por Vanessa Alves de Lacerda Santos. -/- . (shrink)

Luego de un rápido bosquejo de las etapas por las que ha pasado el pensamiento filosófico-cristiano en América Latina, el trabajo se concentra en la principales tendencias y autores en el período que va de la década del 40 del siglo XX hasta el momento que se publica el ensayo en 1998.

Brecht’s Life of Galileo provides elements for elaborating what I call “a theory of the encounter of practices”. The concept of the encounter pushes back against teleological theories that predestine modern science to operate as an instrument of domination. I argue that Life of Galileo stages the missed encounters in modernity between science, politics, and art at the same time as it foregrounds the emancipatory power of science. I trace the encounter of practices from the play’s opening scenes – highlighting (...) what I call Galileo’s “double life”. Then, I turn to the most important scene of the play, Scene 10, in which political and artistic practices repurpose Galileo’s novel inventions for their emancipatory desires. In the virtual potentialities of this encounter, that is, despite the missed encounter between Galileo and “the people”, Brecht’s Life of Galileo continues to be fruitful for theorizing the emancipatory power of science. (shrink)

In what follows, I will provide some elements for constructing Mariátegui’s plural spatiotemporal conception of history. I will do so by focusing on the two books he published in his lifetime: The contemporary scene and Seven Interpretive Essays on Peruvian Reality. In a footnote in the Seven Essays, the reader encounters a concept that opens up the problem of plural temporality in Latin American Marxism: relativismo histórico (historical relativism). This will be the keystone concept upon which certain fragments of Mariátegui’s (...) writings will be put together to construct the concept of plural temporality. This involves taking a detour through what Mariátegui understood by relativismo (relativism). In that detour, we find that Mariátegui’s use of relativismo consists in translating and assimilating the insights of one of the pillars of contemporary physics: Einstein’s theory of relativity. For Mariátegui, the relativistic theory of spacetime undermined the old “absolutes” of the positivist unilinear philosophy of history. I then argue that Mariátegui, through his friend and comrade Hugo Pesce, assimilates and translates the “revolutionary” theory of spacetime as a weapon against the unilinear philosophy of history and as a resource to construct a concept of plural spatiotemporal concept of history. Re-situating Mariátegui’s work along this axis puts some pressure on certain Bergsonian and Sorelian readings that overemphasize the importance of Myth and Humanity as a “metaphysical animal” and thereby tend to underemphasize or outright suppress his creative assimilation and translation of the sciences of his time. (shrink)

What effects are produced in an encounter between what Gilles Deleuze calls Spinoza’s ‘practical philosophy’ and abolition? Closely following Deleuze’s account of Spinoza, this essay moves from the reifying and weakening punitive moralism of carceral state thought towards a joyful materialist abolitionist ethic. It starts with the three theses for which, Deleuze argues, Spinoza was denounced in his own lifetime: materialism (devaluation of consciousness), immoralism (devaluation of all values) and atheism (devaluation of the sad passions). From these three, it derives (...) three parallel abolitionist theses: (1) Spinozan materialism undermines the reifications of carceral state thought; (2) Spinozan ethics undermines the punitivism of the carceral state; and (3) Spinozan joy is inversely proportional to the power of the carceral state. While Spinoza’s corpus may not give us an adequate account of the complex dynamics of the carceral state and racial capitalism today, this essay argues that in the infinite streams of the Ethics we nonetheless find some vital strategies through which we might compose an anomalous alliance between this condemned philosopher and abolition. (shrink)

A certain tension cuts across Althusser’s many theoretical experiments: a tension — perhaps even a “paradox”— between science and struggle. In a conjuncture in which a self-defeating skepticism short-circuits the conjunction between science and struggle, it seems vital to reformulate this problem anew. By turning to Althusser’s formulation of the “revolutionary” materialist dialectic in the so-called “theoreticist” texts this essay elaborates a re-formulation of the supposed aporias of this paradox and finds a possible way out of it. Science and struggle (...) are disarticulated insofar as no other practice produces the effect of their conjunction. That is the task of the revolutionary materialist dialectic. Having defined “Althusserianism” as the philosophical practice which continuously produces combinations, conjunctions, or encounters between science and struggle, this essay then turns to the theoretical and political practice of Mauricio Malamud. The variations in the “Althusserianism” of this communist philosopher and militant further displace the apparent paradoxical character of the relation between science and struggle. In the political and theoretical practice of Malamud, this essay encounters both the necessity of theory as “a guide for action” and affirms neither “a scientism without politics” nor a “politicism without science.” . (shrink)

Thomas Hobbes’ theory of punishment plays a constitutive role in the Leviathan’s theory of state sovereignty. Despite this, Hobbes’ justification for punishment is widely found to be discrepant, weak, inconsistent, and contradictory. Two dominant tendencies in the scholarship attempt to stabilize the Leviathan’s justification for the state’s right to punish by either identifying it with the sovereign’s right to war or by elaborating a theory of authorization within the state. In contrast, by tracing the deployments of the metaphor that Hobbes (...) utilizes to evoke the state’s right to punish in the Leviathan (i.e. that of the nerves of the Leviathan) this paper finds that these two accounts can be made to be consistent with each other — thereby destabilizing the grounds upon which the theory of punishment can be founded. (shrink)

In his book On the Nature of Marx’s Things Jacques Lezra inherits another Marx and another materialism. It is an aleatory materialism: a materialism of the dynamic contingency of Marx and his “things”. This “subterranean current” of aleatory materialism is excavated by Lezra in his swerve through the letters, notebooks, and “private notes” of a young Marx working on his doctorate thesis. Following Lezra’s necrophilological thread –which encounters Lucretius and his “things”– we find that, in a parallel fashion, Marx is (...) also searching for a concept of science in his dissertation. This is what here is tentatively called a science of contingency. This science – though not in the usual disciplinary sense– opens the possibility of an alliance with Karen Barad’s performative materialism that displaces the humanism of the “new materialisms” by thinking alongside another science of contingency, also of a certain Lucretian inheritance, and which Marx did not get to think: quantum mechanics. -/- -- -/- En su libro On the Nature of Marx’s Things Jacques Lezra hereda otro Marx, y otro materialismo. Un materialismo aleatorio, un materialismo de la contingencia dinámica de Marx y sus “cosas”. Tal “corriente subterránea” del materialismo aleatorio es excavada por Lezra en su desvío por las cartas, cuadernos y notas “privadas” de un joven Marx que trabajaba en su tesis de doctorado. Siguiendo el hilo necrofilológico de Lezra, que se topa con Lucrecio y sus “cosas,” encontramos que, paralelamente, Marx también busca un concepto de ciencia en su tesis: lo que tentativamente nombramos ciencia de la contingencia. Ciencia, no ya disciplinaria, que abre la posibilidad de una alianza con el materialismo performativo de Karen Barad que desplaza el humanismo de los “nuevos materialismos” desde una reflexión critica que piensa a la par de otra ciencia de la contingencia, también de cierta herencia lucreciana, con la cual Marx no llegó a pensar: la mecánica cuántica. (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)

The truth of a statement depends on the world in two ways: what the statement says is true if the world is as the statement says it is; on the other hand, what the expressions in the statement mean depends on what the world is like (for instance, on what conventions are in place). Each of these two kinds of dependence of truth on the world corresponds to one of the dimensions on the two-dimensional semantic framework, developed in the 1970’ (...) in the work of Evans, Kaplan, Kripke and Stalnaker. The introduction provides a systematic overview of the framework, the ideas of its earlier originators, recent developments and criticism. Finally, it gives a brief overview over the contributions to the volume. (shrink)

The general concept of a trope – that of a non-shareable character-grounder – admits of a distinction between modifier tropes and module tropes. Roughly, a module trope is self-exemplifying whereas a modifier trope is not. This distinction has wide-ranging implications. Modifier tropes are uniquely eligible to be powers and fundamental determinables, whereas module tropes are uniquely eligible to play a direct role in perception and causation. Moreover, each type of trope theory faces unique challenges concerning character- grounding. Modifier trope theory (...) faces challenges concerning the inscrutability of predication and the incompatibility with bundle theory, whereas module trope theory faces challenges concerning character overdetermination and a collapse into austere nominalism. These differences indicate that the modifier/module distinction divides the advantages of general trope theory and thus presents the trope theorist with a pivotal choice. (shrink)

Call ‘a substance’ a person who is at home in a relatively stable and unified sense-making framework: a social structure that to some degree specifies which categories are important for interpreting reality, which goals are worth pursing, which character traits are admirable, etc. Call ‘an accident’ a person who is not at home in one such framework. It is tempting to think that being a substance is preferable, but I present some considerations for thinking otherwise. Mexican philosophers Emilio Uranga and (...) Jorge Portilla, I argue, present notions of accidentality as decolonial tools. Uranga’s account enables Mexicans to have positive valuation of their being independently of the approving gaze of the colonizers and their standards of value. Portilla’s thought distinguishes between pernicious accidentality resulting from the disintegration of sense-making frameworks and authentic accidentality as a condition for freedom, self-creation, and ultimately for individual and communal liberation. (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 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)

I argue racial injustice undermines the reliability of news source reports in the information domain of racial injustice. I argue that this in turn undermines subjects’ doxastic justification in inferences they base on these news sources in the racial injustice information domain. I explain that racial injustice does this undermining through the effect of racial prejudice on news organizations’ members and the effect of society's racially unjust structure on non-dominant racial group-controlled news sources.

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)

I discuss an aspect of the relation between accounts of de se thought and the phenomenon of immunity to error through misidentification. I will argue that a deflationary account of the latter—the Simple Account, due to Evans —will not do; a more robust one based on an account of de se thoughts is required. I will then sketch such an alternative account, based on a more general view on singular thoughts, and show how it can deal with the problems I (...) raise for the Simple Account. (shrink)

I present a novel position vis-à-vis the views in the Latin American philosophy literature regarding whether subjects more aptly use "Hispanic" or "Latinx" to refer to Hispanic- or-Latinx people. To this end, I will argue (C) the term "Afro-Latinx" is more apt than "Hispanic" or "Latinx" in a significant number of cases. This conclusion is based on three premises. The first premise (P1) is that use of "Afro-Latinx" provides subjects with understanding of how certain events depend on anti-Black racism, US (...) society's racially unjust structure and US colonial policy. The second premise (P2) is that that neither the term "Hispanic" nor the term "Latinx" provide subjects with this understanding of how certain events depend on anti-Black racism, US society's racially unjust structure and US colonial policy. The third premise (P3) is that the term "Afro-Latinx" provides subjects with more understanding of these events than the terms, "Hispanic" and "Latinx.” I present three cases which feature the experiences of Afro-Dominican people. The 1992 murder of Dominican man Kiko García by New York Police officer O’Keefe is first case. The second case is the Washington Heights Uprising that ensued Kiko García’ murder. An instance where a nightclub bouncer in the Dominican Republic denies a Dominican women entry because of her hair texture composes the third case. (shrink)

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

I defend a Deferred Ostension view of quotation, on which quotation-marks are the linguistic bearers of reference, functioning like a demonstrative; the quoted material merely plays the role of a demonstratum. On this view, the quoted material works like Nunberg’s indexes in his account of deferred ostensión in general. The referent is obtained through some contextually suggested relation; in the default case the relation will be … instantiates the linguistic type __, but there are other possibilities. In this way, the (...) deferred ostension view deals with a problem I pointed out for the identity proposal in my earlier work, that we do not merely refer with quotations to expression-types, but also to other entities related in some way to the relevant token we use: features exhibited by the token distinct from those constituting its linguistic type, features exhibited by other tokens of the same type but not by the one actually used (as when, by using a graphic token, we refer to its phonetic type), or even other related tokens (see the examples on p. 261 of García-Carpintero 1994). (shrink)

The paper defends a version of Direct Reference for indexicals on which reference-fixing material (token-reflexive conditions) plays the role of an ancillary presupposition.

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.

There is a largely unrecognized ambiguity concerning the nature of a trope. Disambiguation throws into relief two fundamentally different conceptions of a trope and provides two ways to understand and develop each metaphysical theory that put tropes to use. In this paper I consider the relative merits that result from differences concerning a trope’s ability to ground the character of ordinary objects. I argue that on each conception of a trope, there are unique implications and challenges concerning character-grounding.

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

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)

Este artigo investiga alguns usos da metáfora da linguagem como cálculo em Wittgenstein. A metáfora do cálculo emerge, nos anos 30, numa interlocução com o referencialista, e é ali instrumental na recondução do olhar filosófico para os usos efetivos do simbolismo linguístico. Contudo, foi levada longe demais, ao sugerir uma imagem da linguagem composta apenas de inferências à maneira dos sistemas de regras fechados. Isto embargaria certa expansão pragmática do contexto criterial da análise conceitual. Mas a aplicabilidade do símile do (...) cálculo não é invalidada. A metáfora será reativada em manuscritos posteriores, sempre e quando puder servir aos mesmos propósitos do período intermediário, à medida que o ambiente dialógico convoque novas vozes dogmaticamente referencialistas. Ainda assim, é nos manuscritos intermediários que melhor se esclarece o seu funcionamento. Tal movimento exemplifica, por fim, um método filosófico que não procede por meio da superação de problemas à maneira científica. (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)

I examine the meaning and merits of a premise in the Exclusion Argument, the causal closure principle that all physical effects have physical causes. I do so by addressing two questions. First, if we grant the other premises, exactly what kind of closure principle is required to make the Exclusion Argument valid? Second, what are the merits of the requisite closure principle? Concerning the first, I argue that the Exclusion Argument requires a strong, “stringently pure” version of closure. The latter (...) employs two qualifications concerning the physical sufficiency and relative proximity of the physical cause required for every physical effect. The second question is addressed in two steps. I begin by challenging the adequacy of the empirical support offered by David Papineau for closure. Then I assess the merits of “level” and “domain” versions of stringently pure closure. I argue that a domain version lacks adequate and non-question-begging support within the context of the Exclusion Argument. And I argue that the level version leads to a puzzling metaphysics of the physical domain. Thus, we have grounds for rejecting the version of closure required for the Exclusion Argument. This means we can resist the Exclusion Argument while avoiding the implausible implications that come with rejecting one of its other premises. That is, because there are grounds to reject causal closure, one can reasonably affirm the non-overdeterminative causal efficacy of conscious mental states while denying that the latter are identical with physical states. (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”.

I argue for a substantive interpretation of Carlos Vaz Ferreira’s account of intellectual flourishing as intellectual liberation. For Vaz Ferreira, I argue, there is an inescapable master-slave dynamic between language and language users, so that flourishing intellectually essentially involves a type of mastery of language that frees up thinking from enslaving linguistic/conceptual confusions and thus facilitates the acquisition of truth. Central to this project are Vaz Ferreira’s most interesting, and radical, views on the nature of language signification and thus on (...) human’s ability to accurately describe and know reality, for failing to keep these linguistic limitations in mind, Vaz Ferreira argues, is a central way for language to enslave humans to confused thinking and thus prevent their intellectual flourishing. (shrink)

Leibniz claims that for every possible substance S there is an individual concept that includes predicates describing everything that will ever happen to S, if S existed. Many commentators have thought that this leads Leibniz to think that all properties are had essentially, and thus that it is not metaphysically possible for substances to be otherwise than the way their individual concept has them as being. I argue against this common way of reading Leibniz’s views on the metaphysics of modality. (...) I develop a model in which individual concepts are innocent; that is, individual concepts are divine ideas that permit God to know everything that will ever happen to all possible substances, if created, but these individual concepts neither require that all properties are had essentially nor require that it is metaphysically necessary for substances to be the way their individual concepts have them as being. (shrink)

This paper defends a version of Davidson’s demonstrative theory of quotation and against against the Fregean identity theory (IT henceforth) as articulated and defended by Corey Washington (1992). On the Fregean view, when an expression is referred to by means of quotation the quoted material itself is a linguistic referring expression. Quotation-marks are not needed; when they are used, they serve to make clearer the shift in syntactic and semantic properties effected on the quoted material by its occupying that linguistic (...) context: whatever its usual syntactic function, the quoted material functions as a singular term; whatever its usual semantic function, in that linguistic environment the quoted material refers to itself. On DT, in contrast, quotation-marks themselves are the linguistic bearers of reference, functioning like a demonstrative; the quoted material merely plays the role of a demonstratum. In the version I argue for the referent is obtained through some contextually suggested relation; in the default case the relation will be: … instantiates the linguistic type __, but there are other possibilities. In this way, the view can deal with the fact that we do not merely refer with quotations to expression-types, but also to other entities related in some way to the relevant token we use: features exhibited by the token distinct from those constituting its linguistic type, features exhibited by other tokens of the same type but not by the one actually used (as when, by using a graphic token, we refer to its phonetic type), or even other related tokens. (shrink)

Paraconsistency is the study of logical systems with a non-explosive negation such that a pair of contradictory formulas (with respect to such negation) does not necessarily imply triviality, discordant to what would be expected by contemporary logical orthodoxy. From a purely logical point of view, the significance of paraconsistency relies on the meticulous distinction between the general notions of contradictoriness and triviality of a theory—respectively, the fact that a given theory proves a proposition and its negation, and the fact that (...) a given theory proves any proposition (in the language of its underlying logic). Aside from this simple rationale, the formal techniques and approaches that meet the latter definitional requirement are manifold. Furthermore, it is not solely the logical-mathematical properties of such systems that are open to debate. Rather, there are several foundational and philosophical questions worth studying, including the very question about the nature of the contradictions allowed by paraconsistentists. This entry aims to advance a brief account of some distinct approaches to paraconsistency, providing a panorama on the development of paraconsistent logic. (shrink)

In The Philosophy of Logical Atomism Russell held the view that facts in the world are formally structured complexes, the structure of which matches the logical structure of correspondent propositions. Russell also seems to have denied that there are facts of identity and of diversity. This paper argues that Identity and Diversity can be understood as purely formal structures in Russellian facts. It considers Russell’s possible reasons for denying the existence of facts of identity and diversity and shows how problematic (...) these reasons are. In particular, I argue that identity statements are not tautologies, and their denial does not result into a contradiction. An important consequence of this thesis is that Metaphysics and Logic are not as tied up as Russell took them to be, but nevertheless these are good news for the old formal program for Metaphysics that lies at the very heart of what he called philosophical logic. (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)

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)

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)

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.

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)

There are propositions constituting the content of fictions—sometimes of the utmost importance to understand them—which are not explicitly presented, but must somehow be inferred. This essay deals with what these inferences tell us about the nature of fiction. I will criticize three well-known proposals in the literature: those by David Lewis, Gregory Currie, and Kendall Walton. I advocate a proposal of my own, which I will claim improves on theirs. Most important for my purposes, I will argue on this basis, (...) against Walton’s objections, for an illocutionary-act account of fiction, inspired in part by some of Lewis’s and Currie’s suggestions, but (perhaps paradoxically) above all by Walton’s deservedly influential views. (shrink)

My general aim in this paper is to shed light on the controversial concept of a bare particular. I do so by arguing that bare particulars are best understood in terms of the individuative work they do within the framework of a realist constituent ontology. I argue that outside such a framework, it is not clear that the notion of a bare particular is either motivated or coherent. This is suggested by reflection on standard objections to bare particulars. However, within (...) the framework of a realist constituent ontology, bare particulars provide for a coherent theory of individuation—one with a potentially significant theoretical price tag, but one that also has advantages over rival theories. (shrink)

Contra recent, inflationary views, the paper submits a deflationary approach to legal ontology. It argues, in particular, that to answer ontological questions about legal entities, we only need conceptual analysis and empirical investigation. In developing this proposal, it follows Amie Thomasson’s ‘easy ontology’ and her strategy for answering whether ordinary objects exist. The purpose of this is to advance a theory that, on the one hand, does not fall prey to sceptical views about legal reality (viz., that ontological truths about (...) legal entities are established by metaphysical principles); and, on the other, is compatible with common-sense jurisprudence (viz., that there in fact exist legal entities, and they all have important practical implications). While this methodology is common to legal philosophers interested in elucidating the ‘artifactual nature’ of law, the paper departs from their projects by taking a step forward in connecting this deflationary approach to legal ontology with an expressivist account of legal discourse, thus providing enough resources to satisfy the general ambition of jurisprudence, viz., to establish the conditions for the analysis of legal reality and its normative character. (shrink)