The paper proposes a reconstruction of some fragments of Hegel’s Jena manuscripts concerning the natural genesis of recognitive spiritual consciousness. On this basis it will be argued that recognition has a foothold in nature. As a consequence, recognition should not be understood as a bootstrapping process, that is, as a self-positing and self-justifying normative social phenomenon, intelligible within itself and independently of anything external to it.

Resumo -/- A partir da experiência de produção de uma videoaula de Lógica em Libras (Testa, Moraes, Bizio e Caló, 2021) para o IFSP FILOLIBRAS, inserida no contexto do projeto ‘O Ensino de Filosofia para Surdos: elaboração de material didático em uma perspectiva de inclusão escolar’ (Moraes e Bizio, 2021), levantamos algumas questões relativas ao arcabouço teórico do projeto. Após introduzirmos as motivações do projeto, explicamos como sua metodologia foi tratada no contexto da aula de Lógica, expondo as principais (...) dificuldades e soluções encontradas. Através da análise desta experiência, pretendemos levantar subsídios teóricos para pesquisas futuras no tema, incluindo a produção de um curso inteiramente voltado para o ensino de Lógica em Libras, não apenas enquanto área da Filosofia, mas também enquanto área de estudo multi e transdisciplinar, propedêutica ao fomento do Pensamento Crítico. -/- Palavras-chave: Ensino de Lógica, Educação Especial, Pedagogia Bilíngue, Libras. -/- Abstract -/- Based on the experience of producing a video lesson on Logic in Libras (Testa, Moraes, Bizio and Caló, 2021) to the IFSP FILOLIBRAS, inserted in the context of the project ‘O Ensino de Filosofia para Surdos: elaboração de material didático em uma perspectiva de inclusão escolar’ (‘Teaching Philosophy for Deaf students: elaboration of didactic material in a perspective of inclusive education’, in a free translation) (Moraes and Bizio, 2021), we raise some questions regarding the theoretical framework of the project. After introducing the motivations of the project, we explain how the chosen methodology was considered in the context of the Logic class, exposing the main difficulties and solutions found. Through the analysis of this experience, we intend to raise theoretical subsidies for future research on the subject, including the production of a course entirely focused on the teaching of Logic in Libras, not only as an area of Philosophy but also as a multi and transdisciplinary area of study, propaedeutic to fostering Critical Thinking. -/- Keywords: Teaching Logic, Special Education, Bilingual Pedagogy, Libras. (shrink)

In this article I intend to show the strict relation between the notions of “second nature” and “recognition”. To do so I begin with a problem (circularity) proper to the theory of Hegelian and post- Hegelian Anerkennung. The solution strategy I propose is signifi cant also in terms of bringing into focus the problems connected with a notion of “space of reasons” that stems from the Hegelian concept of “Spirit”. I thus broach the notion of “second nature” as a bridgeconcept (...) that can play a key role both for a renewal of the theory of Anerkennung and for a rethinking of the “space of reasons” within the debate between Robert Brandom and John McDowell. Against this background I illustrate the novelties introduced by the dialectical conception of the relation between fi rst and second nature developed by Hegel and the contribution this idea can make to a revisited theory of recognition as a phenomenon articulated on two levels. I then return to the question of the space of reasons to show the contribution the renewed conception of recognition as second nature makes to the definition of its intrinsic sociality as something that is not in principle opposed to a sense of naturalness. (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)

I tackle the definition of the relation between first and second nature while examining some problems with McDowell's conception. This, in the first place, will bring out the need to extend the notion of second nature to the social dimension, understanding it not just as `inner' second nature — individual mind — but also as `outer' second nature — objective spirit. In the second place the dialectical connection between these two notions of second nature will point the way to a (...) critical use of the concept itself, which will link up with a theory of reification. Furthermore, I shall endeavor to fit my reflection into the problematic constellation of critical theory: my analysis in fact rests on the question whether, within a critical theory, the philosophy of nature can be recaptured today, in such a way as to give meaning to the very notion of socio-philosophical criticism of reality. (shrink)

Andrea Cesalpino is an important figure in the history of science. He demonstrated that blood circulates into heart from veins and from the heart to arteries, paving the way to Harvey’s complete description of blood circulation. Moreover, he was the founder of botany as a systematic discipline, which he based, rather than on the observation of accidental similarities of plants, on the discovery of their vegetative-generative principle. In philosophy, he attempted to conciliate the immortality of the soul (i.e., the (...) form of the body) with the existence of a unique immaterial intellect, which is individuated and multiplied in the singular souls that participate to it. (shrink)

In this paper I illustrate what is reconstructive rationality, a notion that remains rather undetermined in Robert Brandom's work. I argue that theoretical and historical thinking are instances of reconstruction and should not be identified with it. I then explore a further instance of rational reconstruction, which Brandom calls “reconstructive metaphysics”, arguing that the demarcation between metaphysical and non-metaphysical theories has to be understood as a pragmatic one. Finally, I argue that Brandom’s reconstructive metaphysics is basically a pragmatist metaphysics. Here (...) I try to outline a pragmatist understanding of the concept of metaphysics in order to reconcile Brandom's more or less implicit attempt at metaphysical theorizing with his devotion to a pragmatist tradition that is resistant if not hostile to the very idea of metaphysics. Hence I come back to the question of how pragmatism has contributed to the understanding of “reconstructive rationality”, and argue that the latter is a notion of rationality which is needed by Brandom’s philosophy but which cannot find a clear place in the typology of the five forms of rationality that he introduces, being more akin to the core structure of rationality rather than a specific form of it. (shrink)

This article deals with the question of skepticism within Hegel's Phenomenology. The article reconstructs the role played by the tropes of ancient skepticism in Hegel's criticism of foundationalism and monological thinking. Furthermore, the skeptical method applied by Hegel is read as a sort of negative dialectics that is constitutive of a relational theory of rationality, and which culminates in his conception of the Absolute Knowing as speculative tropology.

The meaning of Enlightenment for the young Hegel (1785-1800) is closely related to the historical and theoretical moment in which skepticism became a constitutive aspect of his dialectical conception of philosophy. In this light the paper shows that the problem of skepticism understood as self-reflection of epistemological and social critique is deeply linked in the young Hegel’s writings with the archeology of the very idea of the dialectics of enlightenment.

Hegel's philosophy aims at responding to the questions raised by modern scepticism concerning the accessibility of the external world, of other minds, and of one's own mind. A key-role in Hegel's argumentative strategy against modern scepticism is played here by Hegel's theory of recognition. Recognition mediates the constitution of individual self-consciousness and intersubjectivity: self-knowledge is not logically independent of the awareness of other minds. At the same time, recognition institutes the possibility of objective reference to the world. In this way, (...) in Hegel the theory of recognition furnishes a unitary response to the threefold sceptical issue of the accessibility of the external world, of other minds, and of one's own mind. The reference to a common world of public objects is thus possible only thanks to the mediation of recognitive capacities that are naturally possessed and socially articulated, which make possible the triangulation between self, world and others. (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)

n this paper, I analyse Rahel Jaeggi’s socio-ontological account of forms of life. I show that her framework is a two-sided one, since it involves an understanding of forms of life both as inert bundles of practices and as having a normative structure. Here I argue that this approach is based on an a priori argument which assumes normativity as the condition of intelligibility of social criticism. I show that the intimate tension between these two sides is reflected in the (...) socio-ontological model of the constitution of social phenomena, which on the one side is understood in terms of habituation and materialization, and on the other side in terms of constitution through norms. The second side in the end prevails and leads to some sort of normative essentialism which involves a prescriptive meta-theoretical understanding of normativity combined with a socio-ontological model of constitutive rules. I then analyse two arguments that Jaeggi offers in support of her assumption that normative constitution is the deep structure of social practices. I name these the functional- teleological argument, and the crisis developmental argument, and argue that neither succeeds in proving that practices are not normatively underdetermined. (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)

Dewey’s notion of second nature is strictly connected with that of habit. I reconstruct the Hegelian heritage of this model and argue that habit qua second nature is understood by Dewey as a something which encompasses both the subjective and the objective dimension – individual dispositions and features of the objective natural and social environment.. Secondly, the notion of habit qua second nature is used by Dewey both in a descriptive and in a critical sense and is as such a (...) dialectical concept which connects ‘impulse’ and ‘habit’, ‘original’ or ‘native’ and ‘acquired’ nature, ‘first’ and ‘second nature’. Thirdly, the ethical model of second nature as habituation and the aesthetic model of second nature as art are for Dewey not opposed to one another, since by distinguishing ‘routine’ and ‘art’ as two modes of habit, he makes space for an expressive and creative notion of second nature. Finally, I argue that the expressive dialectics of habit formation plays a crucial role in Dewey’s critical social philosophy and that first and second nature operate as benchmark concepts for his diagnosis of social pathologies. (shrink)

In this paper recognition is taken to be a question of social ontology, regarding the very constitution of the social space of interaction. I concentrate on the question of whether certain aspects of the theory of recognition can be translated into the terms of a socio-ontological paradigm: to do so, I make reference to some conceptual tools derived from John Searle's social ontology and Robert Brandom's normative pragmatics. My strategy consists in showing that recognitive phenomena cannot be isolated at the (...) level of human interaction, and are, rather, in part proper to animal interaction as well. Furthermore, it is argued that recognitive powers are constitutive powers more basic than deontic ones and play a role much broader than the one they in fact assume in Searle and in Brandom. (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)

Paper given at the 20th Biennial Meeting of the Hegel Society of America, University of South Carolina, October 24-26, 2008 -/- The local problem of the soul-body relation can be grasped only against the global background of the relation between Nature and Spirit. This relates to Hegel's naturalism: the idea that there is one single reality - living reality - and different levels of description of it. This implies, moreover, that it is possible to ascribe some form of naturality also (...) to the social body of institutionalized ethical life. Hegel’s position can thus be characterised as a kind of aristotelian social naturalism: this, at bottom, is the combined meaning of the Hegelian theses that soul is the substance of Spirit, and habit its universal form. (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.

In this paper I will argue that critical theory needs to make its socio-ontological commitments explicit, whilst on the other hand I will posit that contemporary social ontology needs to amend its formalistic approach by embodying a critical theory perspective. In the first part of my paper I will discuss how the question was posed in Horkheimer’s essays of the 1930s, which leave open two options: (1) a constructive inclusion of social ontology within social philosophy, or else (2) a program (...) of social philosophy that excludes social ontology. Option (2) corresponds to Adorno’s position, which I argue is forced to recur to a hidden social ontology. Following option (1), I first develop a metacritical analysis of Searle, arguing that his social ontology presupposes a notion of 'recognition' which it cannot account for. Furthermore, by means of a critical reading of Honneth, I argue that critical theory could incorporate a socioontological approach, giving value to the constitutive socio-ontological role of recognition and to the socio-ontological role of objectification. I will finish with a proposal for a socio-ontological characterization of reification which involves that the basic occurrence of recognition is to be grasped at the level of background practices. (shrink)

In this contribution I outline some ideas on what the pragmatist model of habit ontology could offer us as regards the appreciation of the constitutive role that imagery plays for social action and cognition. Accordingly, a Deweyan understanding of habit would allow for an understanding of imagery in terms of embodied cognition rather than in representational terms. I first underline the motor character of imagery, and the role its embodiment in habit plays for the anticipation of action. Secondly, I reconstruct (...) Dewey's notion of imaginative rehearsal in light of contemporary, competing models of intersubjectivity such as embodied simulation theory and the narrative practice hypothesis, and argue that the Deweyan model offers us a more encompassing framework which can be useful for reconciling these approaches. In this text I am mainly concerned with sketching a broad picture of the lines along which such a project could be developed. For this reason not all questions are given equal attention, and I shall concentrate mainly on the basic ideas, without going directly into the details of many of them. (shrink)

Introductory essay to the collection "I that is We, We that is I" (ed. by Italo Testa and Luigi Ruggiu, Brill Books, 2016). In this book an international group of philosophers explore the many facets of Hegel’s formula which expresses the recognitive and social structures of human life. The book offers a guiding thread for the reconstruction of crucial motifs of contemporary thought such as the socio-ontological paradigm; the action-theoretical model in moral and social philosophy; the question of naturalism; (...) and the reassessment of the relevance of work and power for our understanding of human life. This collection addresses the shortcomings of Kantian and constructivist normative approaches to social practices and practical rationality it involves. It sheds new light on Hegel’s take on metaphysics and puts into question some presuppositions of the post-metaphysical interpretative paradigm. (shrink)

In this essay I first set out the advantages the " multivariate democratic polity " framework proposed by Ferrara offers in comparison to other more consensus-based notions of democratic legitimacy. Secondly, I highlight some ambiguities concerning the meta-theoretical status of this frame, since it is not clear whether it consists of an adaptive realistic description, or otherwise is a normative argument. Thirdly, I cast some doubts on the compatibility between the multivariate frame and the " dualist conception of democratic constitutionalism (...) " adopted by Ferrara, since the latter seems too indebted to the domestic analogy, and to a consensus-based model of legitimacy. Finally, I argue that the dualist approach does not seem a convenient way to include citizenship in deliberative processes, and the question of the emergence of a transnational demos should rather be reconsidered as crucial for this purpose. (shrink)

The theory of recognition arises within Hegel's confrontation with epistemological skepticism and aims at responding to the questions raised by modern skepticism concerning the accessibility of the external world, of other minds, and of one's own mind. This is possible to the extent that the theory of recognition is the guiding thread of a critique of the modern foundational theory of knowledge and, at the same time, the point of departure for an alternative approach. In this article I will dwell (...) on six stages of the evolution of Hegel's thought prior to the Phenomenology (1797-1806),stages shed great light on the direction taken by his argumentative strategy. Synthetically, the stages are as follows: 1. Hegel naturalizes the epistemological questions; 2. to do so he critiques foundationalism qua theory of empirical knowledge; 3. and qua theory of epistemic justification; 4. the critique of foundationalism is linked to a critique of the corresponding representationalistic theory of perception; 5. this, in turn, is linked to a critique of the monological theories of self-consciousness and to the development of a model of the rise of self-conscious knowing; 6. finally, Hegel synthesizes these epistemological views in a theory of knowledge qua recognition and in a metaphilosophical theory of philosophical rationality qua self-recognition: knowledge without foundation is thus the condition of possibility of philosophy’s self-justification. (shrink)

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.

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)

In _"I that is We, We that is I"_ leading scholars analyze the many facets of Hegel’s formula for the intersubjective structure of human life and explores its relevance for debates on social ontology, recognition, action theory, constructivism, and naturalism.

O propósito deste trabalho é analisar a estrutura e discutir a aplicação da(s) lógica(s) deôntica(s) na representação de normas jurídicas. Após uma apresentação desta(s) lógic(s) e, em particular, do sistema de von Wright e da SDL (Standard Deontic Logic), veremos as dificuldades de se aplicar uma lógica à análise do direito positivo: as regras da lógica devem permitir realizar sobre as normas formalizadas somente os tipos de inferência e operaçôes lógicas intuitivamente feitas pelos juristas, ou seja, a reconstrução lógica do (...) direito positivo não se trata de uma tarefa de criação do direito, mas uma tarefa de representação daquilo que o conceito de direito usual reconhece como tal. Para ilustrar estas dificuldades, abordaremos as propostas de Carlos Alchourrón em artigo de 1975, “Condicionalidad y la representación de las normas jurídicas”. (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)

This article proposes a general strategy to overcome normative conflicts, namely, paradoxes represented in Standard Deontic Logic. This solution is based on preference relations between norms that circumvent situations of conflict. Pragmatic justifications of the proposed method are also given.

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 this article I argue that contemporary critical theory needs the conceptual tools of social ontology in order to make its own ontological commitments explicit and strengthen its interdisciplinary approach. On the other hand, contemporary analytic social ontology needs critical theory in order to be able to focus on the role that social change, power, and historicity play in the constitution of social facts, and to see the shortcomings of an agential and intentionalist approach to social facts. My thesis is (...) strengthened by a historical reconstruction of the presence of two different approaches in the original program of the family of critical theory apparently most hostile to social ontology, (the Frankfurt School), namely Horkheimer’s program of a critical social philosophy which includes a social ontology, and Adorno’s negative attitude towards it, epitomized by the paradoxical notion of “ontology of the false state”. Adorno’s negative attitude was later inherited by Habermas and Honneth, whose work I show to be nevertheless deeply laden with ontological commitments. I then argue that, if one accepts the socio-ontological redefinition of critical theory, then the post-metaphysical paradigm adopted by Habermas should be revised and a certain conception of the linguistic turn in the understanding of social action abandoned. On the side of contemporary social ontology, the impulse coming from critical theory should allow us to distinguish between forms of ‘traditional social ontology’, that simply apply ready-made general metaphysical concepts to social reality, and a ‘critical social ontology’, oriented to socializing ontology and critically transforming metaphysical categories. (shrink)

In this paper, making reference to Robert Brandom's philosophical proposal - and against the background of Brandom's debate with Jürgen Habermas - I shall endeavor, first, to define the relation between recognition and normativity and then between recognition and criticism; in the final part of the paper I shall suggest a perspective that approaches recognition in terms of capacities. On this basis I attempt to see the critical attitude as something that is founded more on individual potentials than on formal (...) criteria and that is essentially connected with a power of redescription: a dialectical anthropology of recognition is thus the most promising base to account for that which substantiates our critical powers. (shrink)

Deliberative politics should start from an adequate and differentiated image of our dialogical practices and their normative structures; the ideals that we eventually propose for deliberative politics should be tested against this background. In this article I will argue that equal respect, understood as respect a priori conferred on persons, is not and should not be counted as a constitutive normative ground of public discourse. Furthermore, requiring such respect, even if it might facilitate dialogue, could have negative effects and lead (...) to fallacious paths of thought –as seems to happen on matters of deep disagreement such as the Colorado Fundamentalist/Gay HIV issue I discuss in paragraph 6. I will put forward this argument from the standpoint of argumentation or discourse theory, drawing consequences for dialogical theories of politics. Basing my argument on a pluralistic notion of public discourse – understood as a mixed discourse of persuasion, information-seeking and negotiation – I will argue that respect is a dynamic, situational phenomenon, and that the norm of equal respect for persons is contextually contingent in political deliberation: equal respect should be considered as a potential outcome, a discursive achievement – which I understand as a second order consensus achieved dynamically on a provisional basis – rather than as an universal condition for dialogue. (shrink)

Nosso objetivo neste trabalho é apresentar uma proposta de solução a paradoxos relacionados à lógica deôntica presentes na literatura, reunidos sob o que é chamado de dilemas deônticos - situações nas quais duas obrigações conflitantes estão presentes num mesmo sistema normativo. Situações deste tipo, quando formalizadas (em SDL - standard deontic logic - ou em outras lógicas relacionadas), levam a uma inconsistência. Nossa proposta baseia-se em relações de preferência que geram uma ferramenta de escolha dentre as duas soluções normativas conflitantes, (...) o que evita a inconsistência e permite o pleno cumprimento do sistema. Justificativas filosóficas são fornecidas as ferramentas lógicas, bem como as suas implicações. (shrink)

Introduction to a Forum on Michael's Thompson "Life and Action".

This paper briefly outlines some advancements in paraconsistent logics for modelling knowledge representation and reasoning. Emphasis is given on the so-called Logics of Formal Inconsistency (LFIs), a class of paraconsistent logics that formally internalize the very concept(s) of consistency and inconsistency. A couple of specialized systems based on the LFIs will be reviewed, including belief revision and probabilistic reasoning. Potential applications of those systems in the AI area of KRR are tackled by illustrating some examples that emphasizes the importance of (...) a fine-tuned treatment of consistency in modelling reputation systems, preferences, argumentation, and evidence. (shrink)

This paper considers the argument according to which, because we should regard it as a priori very unlikely that we are among the most important people who will ever exist, we should increase our confidence that the human species will not persist beyond the current historical era, which seems to represent a crucial juncture in human history and perhaps even the history of life on earth. The argument is a descendant of the Carter-Leslie Doomsday Argument, but I show that it (...) does not inherit the crucial flaw in its immediate ancestor. Nonetheless, we are not forced to follow the argument where it leads if we instead significantly decrease our confidence that we can affect the long-run future of humanity. GPI Working Paper No. 1-2019. (shrink)

Research on the ethics of algorithms has grown substantially over the past decade. Alongside the exponential development and application of machine learning algorithms, new ethical problems and solutions relating to their ubiquitous use in society have been proposed. This article builds on a review of the ethics of algorithms published in 2016, 2016). The goals are to contribute to the debate on the identification and analysis of the ethical implications of algorithms, to provide an updated analysis of epistemic and normative (...) concerns, and to offer actionable guidance for the governance of the design, development and deployment of algorithms. (shrink)

I argue that moral philosophers have either misunderstood the problem of moral demandingness or at least failed to recognize important dimensions of the problem that undermine many standard assumptions. It has been assumed that utilitarianism concretely directs us to maximize welfare within a generation by transferring resources to people currently living in extreme poverty. In fact, utilitarianism seems to imply that any obligation to help people who are currently badly off is trumped by obligations to undertake actions targeted at improving (...) the value of the long-term future. Reflecting on the demands of beneficence in respect of the value of the far future forces us to view key aspects of the problem of moral demandingness in a very different light. GPI Working Paper No. 1-2020. (shrink)

Laws are supposed to tell us how physical systems actually behave. The analysis of an important part of physical practice--abstraction--shows, however, that laws describe the behavior of physical systems under very special circumstances, namely when they are isolated. Nevertheless, laws are applied in cases of non-isolation as well. This practice requires an explanation. It is argued that one has to assume that physical systems have dispositions. I take these to be innocuous from an empiricist's standpoint because they can--at least in (...) principle--be measured. Laws can be applied whenever such a disposition is present, they describe how the physical system would behave if the disposition were manifest. (shrink)

I argue that many of the priority rankings that have been proposed by effective altruists seem to be in tension with apparently reasonable assumptions about the rational pursuit of our aims in the face of uncertainty. The particular issue on which I focus arises from recognition of the overwhelming importance and inscrutability of the indirect effects of our actions, conjoined with the plausibility of a permissive decision principle governing cases of deep uncertainty, known as the maximality rule. I conclude that (...) we lack a compelling decision theory that is consistent with a long-termist perspective and does not downplay the depth of our uncertainty while supporting orthodox effective altruist conclusions about cause prioritization. GPI Working Paper No. 2-2019. (shrink)

Increasing evidence from psychology and neuroscience suggests that emotion plays an important and sometimes critical role in moral judgment and moral behavior. At the same time, there is increasing psychological and neuroscientific evidence that brain regions critical in emotional and moral capacity are impaired in psychopaths. We ask how the criminal law should accommodate these two streams of research, in light of a new normative and legal account of the criminal responsibility of psychopaths.

Some believe that the current era is uniquely important with respect to how well the rest of human history goes. Following Parfit, call this the Hinge of History Hypothesis. Recently, MacAskill has argued that our era is actually very unlikely to be especially influential in the way asserted by the Hinge of History Hypothesis. I respond to MacAskill, pointing to important unresolved ambiguities in his proposed definition of what it means for a time to be influential and criticizing the two (...) arguments used to cast doubt on the claim that the current era is a uniquely important moment in human history. GPI Working Paper No. 9 - 2022. (shrink)

.This paper discusses Aristotle’s thesis and Boethius’ thesis, the most distinctive theorems of connexive logic. Its aim is to show that, although there is something plausible in Aristotle’s thesis and Boethius’ thesis, the intuitions that may be invoked to motivate them are consistent with any account of indicative conditionals that validates a suitably restricted version of them. In particular, these intuitions are consistent with the view that indicative conditionals are adequately formalized as strict conditionals.

This paper employs some outcomes (for the most part due to David Lewis) of the contemporary debate on the metaphysics of dispositions to evaluate those dispositional analyses of meaning that make use of the concept of a disposition in ideal conditions. The first section of the paper explains why one may find appealing the notion of an ideal-condition dispositional analysis of meaning and argues that Saul Kripke’s well-known argument against such analyses is wanting. The second section focuses on Lewis’ work (...) in the metaphysics of dispositions in order to call attention to some intuitions about the nature of dispositions that we all seem to share. In particular, I stress the role of what I call "Actuality Constraint". The third section of the paper maintains that the Actuality Constraint can be used to show that the dispositions with which ideal-condition dispositional analyses identify my meaning addition by "+" do not exist (in so doing, I develop a suggestion put forward by Paul Boghossian). This immediately implies that ideal-condition dispositional analyses of meaning cannot work. The last section discusses a possible objection to my argument. The point of the objection is that the argument depends on an illicit assumption. I show (1) that, in fact, the assumption in question is far from illicit and (2) that even without this assumption it is possible to argue that the dispositions with which ideal-condition dispositional analyses identify my meaning addition by "+" do not exist. (shrink)