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)

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)

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

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)

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)

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)

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)

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.

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)

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.

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)

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)

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)

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)

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

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)

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.

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)

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)

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)

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

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)

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.

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)

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)

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.

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)

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)

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)

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.

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)

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)

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)

Argumentation theory underwent a significant development in the Fifties and Sixties: its revival is usually connected to Perelman's criticism of formal logic and the development of informal logic. Interestingly enough it was during this period that Artificial Intelligence was developed, which defended the following thesis (from now on referred to as the AI-thesis): human reasoning can be emulated by machines. The paper suggests a reconstruction of the opposition between formal and informal logic as a move against a premise of an (...) argument for the AI-thesis, and suggests making a distinction between a broad and a narrow notion of algorithm that might be used to reformulate the question as a foundational problem for argumentation theory. (shrink)

Qual o lugar da filosofia nos dias atuais? Diante das inúmeras respostas possíveis a esta questão, nos debruçaremos em alguns tópicos que podemos inserir na chamada Ética Informacional, um ramo de investigação filosófico-interdisciplinar relativamente recente que discute problemas oriundos da relação ser humano/tecnologias digitais. Temas como privacidade informacional, arrogância epistêmica e divisão digital serão discutidos e relacionados, com o intuito de ilustrar o papel da filosofia na compreensão da complexidade inerente às dinâmicas sociais no contexto da sociedade da informação. Argumentaremos (...) que pensar o mundo contemporâneo a partir do viés da ética informacional se faz cada dia mais imprescindível para que possamos entrar em sintonia com as rápidas mudanças que a revolução informacional impõe à vida em sociedade e não sermos levados pelas enxurradas informacionais que presenciamos diariamente. (shrink)

“Trends in Logic XVI: Consistency, Contradiction, Paraconsistency, and Reasoning - 40 years of CLE” is being organized by the Centre for Logic, Epistemology and the History of Science at the State University of Campinas (CLEUnicamp) from September 12th to 15th, 2016, with the auspices of the Brazilian Logic Society, Studia Logica and the Polish Academy of Sciences. The conference is intended to celebrate the 40th anniversary of CLE, and is centered around the areas of logic, epistemology, philosophy and history of (...) science, while bringing together scholars in the fields of philosophy, logic, mathematics, computer science and other disciplines who have contributed significantly to what Studia Logica is today and to what CLE has achieved in its four decades of existence. It intends to celebrate CLE’s strong influence in Brazil and Latin America and the tradition of investigating formal methods inspired by, and devoted to, philosophical views, as well as philosophical problems approached by means of formal methods. The title of the event commemorates one of the three main areas of CLE, what has been called the “Brazilian school of paraconsistency”, combining such a pluralist view about logic and reasoning. (shrink)

Recent breakthroughs in stem cell differentiation and reprogramming suggest that functional human gametes could soon be created in vitro. While the ethical debate on the uses of in vitro generated gametes (IVG) was originally constrained by the fact that they could be derived only from embryonic stem cell lines, the advent of somatic cell reprogramming, with the possibility to easily derive human induced pluripotent stem cells from any individual, affords now a major leap in the feasibility of IVG derivation and (...) in the scope of their potential applications. In this paper we develop an ethical framework, rooted in recent scientific evidence, to support a robust experimental pipeline that could enable the first-in-human use of IVG. We then apply this framework to the following objectives: (1) a clarification of the genetic parenting options afforded by IVG, along with their ethical underpinnings; (2) a defence of the use of IVG to remedy infertility, broadening their scope to same-sex couples; (3) an assessment of the most far-reaching implications of IVG for multiplex parenting. These include, first, the liberation of parenting roles from the constraints of biological generations in vivo, allowing multiple individuals to engage in genetic parenting together, thus blurring the distinction between biological and social generations. Second, we discuss the conflation of IVG with sequencing technology and its implications for the possibility that prospective parents may choose among a hitherto unprecedented number of potential children. In view of these perspectives, we argue that, contrary to the exhausted paradigm according to which society lags behind science, IVG may represent instead a salient and most visible instance where biotechnological ingenuity could be used in pursuit of social experimentation. (shrink)

Întrebarea de bază este, ce este o pseudoştiinţă? Una din cele mai disputate delimitări ale ştiinţei. Mulţi savanţi de renume mondial, unanim recunoscuţi (ca de ex. Charles Darwin) au cochetat de-a lungul timpului cu diverse aspecte ale pseudoştiinţei considerându-le, cu bună credinţă, drept ştiinţă. Şi multe domenii ale pseudoştiinţei actuale au fost, la vremea lor, considerate drept domenii onorabile ale ştiinţei. Chiar şi în prezent, practicanţii pseudoştiinţelor nu recunosc valabilitatea etichetei puse domeniului lor de activitate. Oamenii de ştiinţă au tendinţa (...) să claseze pe loc un domeniu de activitate, în funcţie de cunoştinţele şi cultura lor, drept ştiinţă sau pseudoştiinţă. Dar graniţa dintre ştiinţă şi pseudoştiinţă este în multe cazuri foarte vagă. Într-un fel, această problemă seamănă cu problema filozofică a stabilirii a ce e bine şi ce e rău. Filosofii ştiinţei, cum ar fi Paul Feyerabend, au susţinut că nu este nici posibil, nici de dorit, o distincţie între ştiinţă şi non-ştiinţă. Printre problemele care pot face distincţia dificilă este viteza variabilă de evoluţie între teoriile şi metodologiile ştiinţei ca răspuns la noile date. În plus, standardele specifice aplicabile unui domeniu al ştiinţei ar putea să nu fie aplicabile în alte domenii. După cum se spune în diferite cursuri despre introducerea în ştiinţe, pseudoştiinţa este oricare subiect care pare a fi ştiinţific la prima vedere, sau ai cărui susţinători susţin că este ştiinţific, dar care contravine condiţiilor de testare sau deviază mult de la alte aspecte fundamentale ale metodelor ştiinţifice. Pseudoştiinţa este caracterizată de folosirea unor afirmaţii vagi, exagerate sau care nu se pot testa, supralicitarea confirmării în detrimentul argumentării, lipsa transparenţei pentru teste realizate de alţi experţi, şi o stagnare în dezvoltarea teoriei. CUPRINS: Pseudoştiinţa - Ştiinţa şi pseudoştiinţa - - Metodologie ştiinţifică - - Falsificabilitatea - - Normele Merton - - Refuzul de a recunoaşte problemele - - Critica termenului - Identificarea pseudoştiinţei - Ştiinţa patologică - - Exemplele lui Langmuir - - - Raze N - - - Exemple ulterioare - - Exemple mai noi - - - Poliapa - - - Fuziunea la rece - - - Memoria apei - Antropomorfism - - În preistorie - - În religie şi mitologie - - - Critici - - În ştiinţă - - - Antonim - Criptozoologia - - Referinţe - - Critici - Pseudomatematica - - Unele taxonomii ale pseudomatematicii - - - Încercările de rezolvare a problemelor clasice imposibil de rezolvat - - Practicanţii - - Un exemplu ilustrativ - Radiestezia - - Originea radiesteziei - - Dispozitivele de detecţie - - - Anse - - Evaluarea ştiinţifică a radiesteziei - - - Studiul Kassel - - - Studiu Betz - - - Explicaţii sugerate - Scientologia - - Credinţe - - - Puntea Libertăţii Totale - - - Morala şi etica - - - Triunghiurile ARC şi KRC - - - Viaţa de apoi - - - Dumnezeu - - - Ştiinţa - - Învăţături şi practici - - - Terminologie - - - Interpretare şi context - - - Învăţarea treptată - - - Audit - - - Organismul - - - Naşterea silenţioasă - - - Sărbători - Sincronicitatea - - Principiul - - Exemplu - - Relaţia cu cauzalitatea - - Critici - Programarea neuro-lingvistică - - Tehnici sau set de practici - - Aplicaţii - - - Psihoterapie - - - Alte utilizări - - NLP ca o cvasi-religie - Manipularea şi automanipularea prin cuvinte - - Aflaţi când şi unde se folosesc cuvintele - - Testaţi pentru a vedea cum reacţionaţi la cuvinte - - Controlul sau manipularea prin cuvinte - - Uitaţi-vă la nivelul cuvintelor - - Vedeţi cum vă pot ajuta cuvintele, făcându-se nu doar utile, ci şi frumoase - - Exploraţi lumea mentală a cuvintelor - - - Încercaţi să exploraţi lumea fără cuvinte - - Priviţi din nou totul, pentru prima dată fără cuvinte Pseudofizica - Anti-gravitaţia - - Efecte convenţionale care imită efectele anti-gravitaţiei - - Soluţii ipotetice - - - Scuturi gravitaţionale - - - Cercetări în relativitatea generală în anii 1950 - - - A cincea forţă - - - "Unităţi distorsionate" în relativitatea generală - - - Breakthrough Propulsion Physics Program - - Încercări experimentale şi comerciale - - - Dispozitive giroscopice - - - Gravitatorul lui Thomas Townsend Brown - - - Cuplarea gravitoelectrică - - - Premiul Göde - Energia orgonică - - Dezvoltarea de către Reich a teoriilor sale orgonice - - Cărţile lui Reich - - Evaluarea teoriei - Eter luminifer - - Dezavantaje şi critici - Fuziunea la rece - - Fuziunea cu bule - - Rezultate - - - Producţia de energie şi căldura în exces - - - Heliu, elemente grele, şi neutroni - - Mecanisme propuse - Planete ipotetice: X / Nibiru - - Teorii ale conspiraţiei - - Reacţii publice - - Influenţa culturală - Poliapa (Apa polimerizată) - Maşini alimentate cu apă - - Ce nu sunt maşini alimentate cu apă - - Extragerea energiei din apă - - Hidrogenul ca supliment - - Pilula de benzină şi aditivi Pseudoarheologia - Caracteristici - - Lipsa metodei ştiinţifice - - Opoziţia la regulile arheologice - - Motivaţii naţionaliste - - Motivaţii religioase - Rasele de bază - - Rase de bază, epoci şi subrase - - - Prima rasă de bază (eterică) - - - A doua rasă de bază (hiperboreană) - - - A treia rasă de bază (lemuriană) - - - A patra rasă de bază (atlantidă) - - - A cincea rasă de bază (ariană) - - - A şasea rasă de bază - - - A şaptea rasă de bază - - Migrarea spre Mercur - - Credinţa teosofică în fraternitatea umanităţii - Protocronism - - Istoria protocronismului - - Scrierea dacică - Pământul gol (Intratereştrii) - - Ipoteza Pământului gol concav - Fenomenul 2012 - - Tortuguero - - Chilam Balam - Creaţia inteligentă - - Concepte - - - Complexitatea ireductibilă - - - Complexitatea specifică - - - Universul bine pus la punct - - - Creatorul inteligent - - Mişcarea creaţia inteligentă - - - Religia şi susţinătorii importanţi - Creaţionismul ştiinţific - - Abordări ale ştiinţei creaţiei - - - Religia - - - Afilieri religioase moderne - - - Abordări ştiinţifice - - Critici - - - Ipoteze metafizice - - - Critici religioase - - - Critici ştiinţifice - - - Critici istorice, filozofice, şi sociologice - - Domenii de studiu - - - Biologia creaţionistă - - - Ştiinţele Pământului şi Geofizica - - - Astronomia şi cosmologia - Ufologia - - Statutul ca disciplină ştiinţifică - - - Pseudoştiinţă - - - Aspecte metodologice - Teoria astronautului extraterestru - - Argumente şi susţinători - - Erich von Däniken - - Ipoteza creaţiei - - - Argumentul genetic - - - Cercetarea genetică şi evoluţia creierului Medicina alternativă - Tipuri de medicină alternativă - - Sisteme bazate pe convingeri neştiinţifice sau practici tradiţionale - - Energii supranaturale şi interpretări eronate ale energiilor fizice - Ayurveda - Homeopatia - - Remedii şi tratamente - - - Pregătirea - - - Diluţii - - - Patogeneza - - Reglementări şi prevalenţe - - Opoziţia publică - Medicina energetică - - Clasificarea metodelor - - Convingeri - - Cercetări ştiinţifice - - - Vindecarea la distanţă - - - Vindecarea prin contact - - - Baza de date - - Explicaţii alternative pentru rapoarte pozitive - Reiki - - Practica - - - Vindecarea - - - Tratamentul întregului organism - - - Tratament localizat - - - Respiraţia - - - Trei piloni de bază - Terapia de conversie - Metoda Bates pentru îmbunătăţirea vederii - - Concepte - - - Acomodarea - - - Cauze ale problemelor de vedere - Detoxifierea - - Detoxifierea în medicina alternativă - - - Istoric - - - Tampoane de curăţare şi detoxifiere - - Tipuri de detoxifiere - - - Dezintoxicarea de alcool - - - Dezintoxicarea de droguri - - - Detoxifiere metabolică - - - Medicina alternativă - - Modalităţi de detoxifiere - - - Diete de detoxifiere - - - Curăţirea colonului - - - Metale grele - - - Dispozitive de detoxifiere - - Terapia de chelare - - - Detoxifierea proteică - - Detoxifierea anusului şi intestinelor cu cafea - - - Efecte şi riscuri - - Plasturi (tampoane) de detoxifiere aplicate pe picioare - - - Ce sunt plasturii de detoxifiere (tampoanele de detoxifiere) pentru picior? - - - De ce se aplică plasturii pe picioare? - Fizionomia - - Origini moderne - - Perioada de popularitate - - Ştiinţa modernă - - Utilizarea modernă - Frenologia Paranormal - Activităţi paranormale - - Fantome şi alte entităţi spirituale - - Viaţa extraterestră şi OZN-urile - - Criptide - Cercetări în paranormal - - Abordări anecdotice - - Abordarea observaţiilor participanţilor - - Anomalistica - - Neuroştiinţa - - Critici - Vitalism - - Filozofia - - Ştiinţa - - - Relaţia cu emergentismul - - Mesmerism - - Medicina complementară şi alternativă - Aura - - Tradiţii spirituale - - Teste - - Explicaţii - Profeţii - - Definiţii - - Civilizaţii antice - - Credinţa Bahá'í - - Budism - - China - Religiile abrahamice - - Iudaism - - - She'ol - Experienţe aproape de moarte - - Caracteristici - Viaţa de Apoi (Viaţa de după moarte) - - Filozofia vieţii de Apoi - - - Filozofia modernă - - - Filozofia procesului - - Ştiinţa despre viaţa de Apoi - Modele metafizice ale Vieţii de Apoi - - Reîncarnarea - - Raiul şi iadul - - Limbo - - Purgatoriul - Nemurirea - - Abordări ştiinţifice - - Abordări religioase - - Nemurirea biologică - - - Specii biologice nemuritoare - - - Evoluţia îmbătrânirii - - Speranţe privind nemurirea biologică umană - - - Substanţe care prelungesc durata de viaţă - - - Nemurirea tehnologică - - - Crionica - - - Încărcarea minţii la calculator - - - Cibernetica - - - Nemurirea evoluţionară - Strigoi - Fantome - - Tipologia - - - Context antropologic - - Fantomele şi viaţa de apoi - - Teama de fantome - - Atribute comune - - Locaţii - Locaţii paranormale - România - - Judeţul Bacău - - - Conacul Zarifopol, în Filipeşti - - Bucureşti - - - Mănăstirea Chiajna - - - Hotel Cişmigiu - - - "Casa Diavolului", pe strada General Praporgescu - - - Orfelinatul pe strada Franceză - - - Casa Vernescu pe Calea Victoriei - - - Iazul Vrăjitoarelor - - Judeţul Călăraşi - - - Pădurea Călugăreasa - - Judeţul Cluj - - - Castelul Bánffy - - - Pădurea Hoia - - Judeţul Dâmboviţa - - - Trinitatea Miresei pe DN7 - - Judeţul Dolj - - - Pădurea Radovan - - Judeţul Iaşi - - - Casa Gavril Buzatu pe Manta Roşie - - - Dealul Lunganilor - - Judeţul Maramureş - - - Drumul European E58 lângă Cicărlău Parapsihologia - Terminologie - Cercetări - - Domenii - - Metodologie - - Cercetări experimentale - Percepţiile extrasenzoriale - - Investigarea parapsihologică - - Percepţiile extrasenzoriale şi hipnoza - Psihochinezia (telechinezia) - - Credinţa - - - Subdomenii ale telechineziei - - - Aptitudini notabile ale capabilităţilor psihocinetice Ezoterism - Etimologie - Cosmologia ezoterică - - Gnosticism - - Cabala - - Neoplatonism - - Teosofia şi antroposofia - - Max Theon şi "filosofia cosmică" - Ocultism - - Ştiinţă şi ocultism - - - Calităţi oculte - Magia - - Caracteristici comune în practica magiei - - - Ritualuri - - - Simboluri magice - - - Limbajul magiei - - - Magicieni - - - Vrăjitoria - - Teorii - - - Origini antropologice şi psihologice - Clarviziunea - - Aspecte ale clarviziunii - - Vizualizarea de la distanţă - Geomanţia - Tarot - - Arcana mare şi arcana mică - - Utilizare - - - Cărţi inversate - - - Desfăşurări - Masoneria - - Istoria masoneriei - - Loja masonică - - Structura masoneriilor - - - Recunoaşterea masonică reciprocă - Taoism - - Categorisire - - Ceaiul şi taoismul - - Credinţe taoiste - - Principii - - - Tao - - - De (Te) - - - Wu wei - - - Pu - - Spiritualitatea - - Escatologia Astrologia - Principii şi practici - - Astrologia occidentală - - Astrologia hindusă - - Astrologia chineză şi din Asia de Est - Astrologia şi ştiinţa - - Delimitarea - Astrohărţi - Principiile de bază ale astrologiei - - Modele astrologice - - Astrologia predictivă - Tradiţii în astrologie - - Tradiţii istorice - - Tradiţii ezoterice - Horoscop - - Etimologie - - Concepte în astrologia occidentală - - - Unghiuri - - - Zodiacul - - - Case - - Construcţia unui horoscop în astrologia occidentală - - - Case - - - Plasamente ale planetelor - - - Aspecte - - - Ascendentul - - Horoscopul chinez - Bioritm - - Teoria - - Calculul - - Plauzibilitate Vrăjitoria - Definiţii - Practici invocate de vrăjitoare - - Descântece - - Invocarea morţii - Vrăjitoarele bune - Demonologia Referinţe Despre autor - Nicolae Sfetcu - - De același autor - - Contact Editura - MultiMedia Publishing . (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)

Um princípio moral a priori, segundo Kant, não resulta dizer que ele vem antes da experiência moral, mas que pode ter uma origem independente dela, recebendo uma justificação sem um recurso à experiência. A Metafísica dos Costumes de Kant é de ordem metodológica, sendo que o método analítico consiste em que a partir do saber filosófico aplica-se o princípio a casos particulares. Desse modo, Kant procura estabelecer o princípio supremo da moralidade e, este seria um juízo sintético a priori, tendo (...) as formas puras da sensibilidade e do entendimento para possibilitarem os juízos sintéticos a priori. Além disso, o princípio supremo da moralidade justificará a priori e deduzirá dele as obrigações morais. Há três proposições fundamentais das quais Kant estabelece para apresentar o princípio supremo da moralidade: a primeira refere-se ao valor moral da ação da qual está em seu cumprimento por dever e não simplesmente em conformidade com o dever; a segunda proposição afirma que uma ação desempenhada por dever não tem seu valor no propósito a ser atingido, mas na máxima que a determina; e por fim, a terceira declara o dever sendo a necessidade de uma ação executada por respeito à lei. Kant alcança o imperativo moral através de desdobramentos conceituais, onde formula o Imperativo Categórico sendo uma máxima de ação que possui um valor universal, isto é, aplicada ao indivíduo e para todos os outros seres racionais. Todo comportamento moral é, segundo Kant, comportamento regrado. Isso quer dizer que o agir moralmente consiste em seguir a lei moral de certo modo. Há um quadro de deveres apontado na obra Metafísica dos Costumes, onde se apresenta a distinção entre os deveres para consigo e deveres para com os outros e, dessa maneira, entende-se em deveres para consigo como, não cometer suicídio e desenvolver os talento, e assim, em deveres para com os outros se entende como, manter as promessas e ajudar as pessoas que necessitam. E portanto, Kant critica a Regra de ouro por não fazer essa distinção entre deveres para consigo e deveres para com os outros. O imperativo categórico institui a necessidade de julgar as máximas desde um ponto de vista imparcial, e uma máxima de ação é uma regra de agir que tem validade apenas para um indivíduo. Desse modo, uma ação praticada por dever tem seu valor na máxima que a determina, isto é, uma máxima de ação é uma regra subjetiva do agir, a possível portadora do dever moral. Kant testa as máximas a partir daquilo que ele considera o princípio supremo da moralidade, ou seja, o Imperativo Categórico. Logo, um imperativo é um mandamento da razão, onde todos os imperativos exprimem-se pelo verbo dever. Sendo assim, há duas subclasses básicas de imperativos: hipotéticas ou categóricas. Um imperativo hipotético apresenta uma ação como necessária para atingir um determinado fim, e os imperativos hipotéticos ainda se subdividem em problemáticos, isto é, para uma intenção possível, e em assertóricos, para uma intenção real. O Imperativo Categórico é o princípio que estabelece se as máximas de ação, ou seja, são regras subjetivas do agir, que podem ser consideradas leis práticas. Em outras palavras, o Imperativo Categórico é uma norma para decidir quais máximas podem ser transformadas em leis práticas. A fórmula geral do Imperativo Categórico, “Age apenas segundo uma máxima tal que possas ao mesmo tempo querer que ela se torne lei universal’’ é o único princípio da moralidade. Portanto, a universalidade de uma máxima é a exigência do princípio supremo da moral de Kant. Ter uma vontade boa é exatamente cumprir o dever pelo dever, e é exatamente isso que confere valor moral a nossas ações. Logo, seguir uma lei moral é apenas uma condição necessária do agir moralmente, mas não é suficiente. Kant em a Fundamentação da metafísica dos costumes sustenta, desse modo, que: “Não há nada em lugar algum, no mundo e até mesmo fora dele, que se possa pensar como sendo irrestritamente bom, a não ser tão-somente uma boa vontade.” (KANT, GMS, 4: 393) Segundo Kant o conceito de bom e mau não tem que ser determinado antes da lei moral, isto é, não existe nada de modo absoluto bom, mas apenas existe uma boa vontade. Desse modo, Kant critica tanto a ética antiga de virtudes e a ética utilitarista de seu tempo. Algumas propriedades são até favoráveis a essa boa vontade e podem facilitar muito sua obra, contudo não têm qualquer valor intrínseco incondicional, mas pressupõem sempre ainda uma boa vontade, que restringe, aliás, com razão, a alta estima em que são tidas e não permite tê-las como absolutamente boas. A moderação nos afectos e paixões, o autodomínio e a sóbria deliberação não somente são coisas boas sob muitos aspectos, mas parece até mesmo constituir uma parte do valor intrínseco da pessoa; só que falta muito ainda para declará-los sem restrição como bons. Pois, sem princípios de uma boa vontade, podem tronar-se extremamente maus, e o sangue-frio de um malfeitor torna-o não só mais perigoso, mas também ainda mais imediatamente abominável aos nossos olhos do que teria sido assim considerado sem isso. (KANT, GMS, 4: 393) Kant afirma, assim, que as virtudes de certo modo podem ser más se não existir uma vontade boa para guia-la, logo, ele não louva de modo absoluto as virtudes e também não admite que a felicidade possa ser o fim último que justifica as ações morais, mas a priorização do correto e não do bem. E por fim, Kant argumenta contra a ética utilitarista, declarando que uma ação não pode ser considerada como sendo absolutamente boa a partir de seus resultados. Desse modo, há regras morais que se deve cumprir, independente dos resultados ou consequências. A proposta da ética kantiana em sustentar que existem princípios auto evidentes, ou seja, normas morais, ou o tal princípio supremo da moralidade, onde prioriza o correto ao invés do bem, ao meu ver revela a pureza da ação do homem em contraste com sua capacidade para tal. Assim, quando Kant refere-se as ações, não apenas as consequências delas as tornam certas ou erradas, isto é, erradas independentemente das suas consequências, aliás, uma ação é errada quando com ela infringe-se intencionalmente algumas das normas morais. E por fim, acredito ser pior provocar um mal que permitir que um mal ocorra, como por exemplo, é pior matar uma pessoa que deixá-la morrer. E também, seria pior dar origem a um mal intencionalmente que dar a origem a um mal que não pretendemos produzir, como por exemplo, é pior torturar alguém que fazer algo que resulte em sofrimento como efeito colateral. (shrink)

In the present paper, our objective is to examine the application of belief revision models to scientific rationality. We begin by considering the standard model AGM, and along the way a number of problems surface that make it seem inadequate for this specific application. After considering three different heuristics of informational economy that seem fit for science, we consider some possible adaptations for it and argue informally that, overall, some paraconsistent models seem to better satisfy these principles, following Testa (...) (2015). These models have been worked out in formal detail by Testa, Cogniglio, & Ribeiro (2015, 2017). (shrink)