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)

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)

Background: The new human coronavirus that leads to COVID-19 has spread rapidly around the world and has a high degree of lethality. In more severe cases, patients remain hospitalized for several days under treatment of the health team. Thus, it is important to develop and use technologies with the aim to strengthen conventional therapy by encouraging movement, physical activity, and improving cardiorespiratory fitness for patients. In this sense, therapies for exposure to virtual reality are promising and have been shown to (...) be an adequate and equivalent alternative to conventional exercise programs.Aim: This is a study protocol with the aim of comparing the conventional physical therapy intervention with the use of a non-immersive VR software during COVID-19 hospitalization.Methods: Fifty patients hospitalized with confirmed diagnosis of COVID-19 will be divided in two groups under physiotherapy treatment using conventional or VR intervention: Group A: participants with COVID-19 will start the first day of the protocol with VR tasks in the morning and then in the second period, in the afternoon, will perform the conventional exercises and Group B: participants with COVID-19 will start the first day with conventional exercises in the morning and in the second period, in the afternoon, will perform activity with VR. All participants will be evaluated with different motor and physiologic scales before and after the treatment to measure improvements.Conclusion: Considering the importance of benefits from physical activity during hospitalization, VR software shows promise as a potential mechanism for improving physical activity. The results of this study may provide new insights into hospital rehabilitation.Trial Registration:ClinicalTrials.gov, identifier: NCT04537858. Registered on 01 September 2020. (shrink)

This article investigates the existence of an original Brazilian legal culture. It parts from a critical examination of the key moments in the history of Brazil through the accounts of its most important scholars, such as Caio Prado Júnior, Darcy Ribeiro, Sérgio Buarque de Holanda, Wilson Martins, Oliveira Viana, Roberto Damatta, José Murilo de Carvalho, among others. It identifies in the Brazilian legal culture something one might call tradition of exception, which can be found in many of its most (...) prominent aspects, such as the persistent denial of any general or abstract regulatory standards, the uncritical introduction of foreign doctrines and legal patterns, the maintenance of aristocratic traditions in social life and the historical disregard of the Brazilian people as political subject. The article also offers a reflection on the problems and potentials of the current historic moment, in which for the first time Brazilians face the possibility of a genuine cultural emancipation. (shrink)

Suszko's Thesis maintains that many-valued logics do not exist at all. In order to support it, R. Suszko offered a method for providing any structural abstract logic with a complete set of bivaluations. G. Malinowski challenged Suszko's Thesis by constructing a new class of logics (called q-logics by him) for which Suszko's method fails. He argued that the key for logical two-valuedness was the "bivalent" partition of the Lindenbaum bundle associated with all structural abstract logics, while his q-logics were generated (...) by "trivalent" matrices. This paper will show that contrary to these intuitions, logical two-valuedness has more to do with the geometrical properties of the deduction relation of a logical structure than with the algebraic properties embedded on it. (shrink)

Au cours de cet entretien, Emmanuel Renault nous offre un aperçu de la manière dont la thématique de la reconnaissance est traitée en France aujourd’hui, notamment à travers le renouveau des études sur Hegel et Marx. Il explique la façon dont la reconnaissance a pu s’ériger en paradigme (en dépit de ses usages multiples et variés en France comme ailleurs), au cours de la dernière décennie et le rôle joué par Axel Honneth dans ce procès. Finalement, il explicite sa manière (...) d’envisager la pratique de la philosophie politique et son projet d’une critique du capitalisme. Emmanuel Renault nous livre également un commentaire critique mais constructif sur la manière dont Paul Ricœur envisage la reconnaissance et suggère quelques pistes concernant les possibles développements futurs des usages de la reconnaissance. (shrink)

Multialgebras have been much studied in mathematics and in computer science. In 2016 Carnielli and Coniglio introduced a class of multialgebras called swap structures, as a semantic framework for dealing with several Logics of Formal Inconsistency that cannot be semantically characterized by a single finite matrix. In particular, these LFIs are not algebraizable by the standard tools of abstract algebraic logic. In this paper, the first steps towards a theory of non-deterministic algebraization of logics by swap structures are given. Specifically, (...) a formal study of swap structures for LFIs is developed, by adapting concepts of universal algebra to multialgebras in a suitable way. A decomposition theorem similar to Birkhoff’s representation theorem is obtained for each class of swap structures. Moreover, when applied to the 3-valued algebraizable logics J3 and Ciore, their classes of algebraic models are retrieved, and the swap structures semantics become twist structures semantics. This fact, together with the existence of a functor from the category of Boolean algebras to the category of swap structures for each LFI, suggests that swap structures can be seen as non-deterministic twist structures. This opens new avenues for dealing with non-algebraizable logics by the more general methodology of multialgebraic semantics. (shrink)

This paper makes a plea for more reflexive attempts to develop and anchor the emerging concept of responsible research and innovation. RRI has recently emerged as a buzzword in science policy, becoming a focus of concerted experimentation in many academic circles. Its performative capacity means that it is able to mobilise resources and spaces despite no common understanding of what it is or should be ‘made of’. In order to support reflection and practice amongst those who are interested in and (...) using the concept, this paper unpacks understandings of RRI across a multi-disciplinary body of peer-reviewed literature. Our analysis focuses on three key dimensions of RRI that remain particularly opaque. A total of 48 publications were selected through a systematic literature search and their content was qualitatively analysed. Across the literature, RRI is portrayed as a concept that embeds numerous features of existing approaches to govern and assess emerging technologies. Our analysis suggests that its greatest potential may be in its ability to unify and provide political momentum to a wide range of long-articulated ethical and policy issues. At the same time, RRI’s dynamism and resulting complexity may represent its greatest challenge. Further clarification on what RRI has to offer in practice—beyond what has been offered to date—is still needed, as well as more explicit engagement with research and institutional cultures of responsibility. Such work may help to realise the high political expectations that are attached to nascent RRI. (shrink)

The logics of formal inconsistency (LFIs, for short) are paraconsistent logics (that is, logics containing contradictory but non-trivial theories) having a consistency connective which allows to recover the ex falso quodlibet principle in a controlled way. The aim of this paper is considering a novel semantical approach to first-order LFIs based on Tarskian structures defined over swap structures, a special class of multialgebras. The proposed semantical framework generalizes previous aproaches to quantified LFIs presented in the literature. The case of QmbC, (...) the simpler quantified LFI expanding classical logic, will be analyzed in detail. An axiomatic extension of QmbC called QLFI1o is also studied, which is equivalent to the quantified version of da Costa and D'Ottaviano 3-valued logic J3. The semantical structures for this logic turn out to be Tarkian structures based on twist structures. The expansion of QmbC and QLFI1o with a standard equality predicate is also considered. (shrink)

In ' Unnatural Doubts' Michael Williams argues that Cartesian skepticism is not truly an "intuitive problem" (that is, one which we can state with little or no appeal to contentious theories) at all. According to Williams, the skeptic has rich theoretical commitments all his own, prominent among which is the epistemic priority thesis. I argue, however, that Williams's diagnostic critique of the epistemic priority thesis fails on his own conception of what is required for success. Furthermore, in a brief "Afterword" (...) I argue that the later Wittgenstein (to whom Williams sometimes appeals) would concur with my critique of Williams's antiskeptical efforts. (shrink)

Though it seems rather surprising in retrospect, until about twenty-five years ago no philosopher in the Western tradition had explicitly formulated the question whether there could be an epistemic analogue to practical akrasia. Also surprisingly, despite the prima facie analogue with practical akrasia (the possibility of which is not much disputed), much of the recent work on this question has defended the rather bold view that epistemic akrasia is impossible. While the arguments purporting to show the impossibility of epistemic akrasia (...) have been criticized by some, I propose instead to make a head-on attack and defend the substantive view that epistemic akrasia is possible — indeed, actual. This leaves for another day the project of diagnosing exactly where the arguments for the impossibility of epistemic akrasia go wrong. Here, I content myself with trying to show that they must go wrong, since — as I will argue — epistemic akrasia is possible. (shrink)

In this interview, conducted by Gonçalo Marcelo, Richard Kearney recaps his intellectual trajectory, commenting on his early works on imagination and his own narrative style of doing philosophy in order then to make explicit the deep connection between the more recent developments of Carnal Hermeneutics, Reimagining the Sacred and the work done with others in the context of the Guestbook Project. Drawing on some lesser-known aspects of his work, he emphasizes the carnal dimension of recognition and discusses the pitfalls (...) of the Age of Excarnation. Finally, and as part of his ongoing role as a public intellectual, he also comments on Europe’s social and political situation and the dangers it faces arguing for a pedagogy of narrative exchange as a means to foster hospitality and inclusion. (shrink)

People have disagreed on the significance of Libet-style experiments for discussions about free will. In what specifically concerns free will in a libertarian sense, some argue that Libet-style experiments pose a threat to its existence by providing support to the claim that decisions are determined by unconscious brain events. Others disagree by claiming that determinism, in a sense that conflicts with libertarian free will, cannot be established by sciences other than fundamental physics. This paper rejects both positions. First, it is (...) argued that neuroscience and psychology could in principle provide support for milder deterministic claims that would also conflict with libertarian free will. Second, it is argued that Libet-style experiments—due to some of their peculiar features, ones that need not be shared by neuroscience as a whole—currently do not support such less demanding deterministic claims. The general result is that neuroscience and psychology could in principle... (shrink)

In 1986, Mikenberg et al. introduced the semantic notion of quasi-truth defined by means of partial structures. In such structures, the predicates are seen as triples of pairwise disjoint sets: the set of tuples which satisfies, does not satisfy and can satisfy or not the predicate, respectively. The syntactical counterpart of the logic of partial truth is a rather complicated first-order modal logic. In the present article, the notion of predicates as triples is recursively extended, in a natural way, to (...) any complex formula of the first-order object language. From this, a new definition of quasi-truth is obtained. The proof-theoretic counterpart of the new semantics is a first-order paraconsistent logic whose propositional base is a 3-valued logic belonging to hierarchy of paraconsistent logics known as Logics of Formal Inconsistency, which was proposed by Carnielli and Marcos in 2002. (shrink)

We introduce a methodology whereby an arbitrary logic system L can be enriched with temporal features to create a new system T(L). The new system is constructed by combining L with a pure propositional temporal logic T (such as linear temporal logic with Since and Until) in a special way. We refer to this method as adding a temporal dimension to L or just temporalising L. We show that the logic system T(L) preserves several properties of the original temporal logic (...) like soundness, completeness, decidability, conservativeness and separation over linear flows of time. We then focus on the temporalisation of first-order logic, and a comparison is make with other first-order approaches to the handling of time. (shrink)

Modern semiotics is a branch of logics that formally defines symbol-based communication. In recent years, the semiotic classification of signs has been invoked to support the notion that symbols are uniquely human. Here we show that alarm-calls such as those used by African vervet monkeys (Cercopithecus aethiops), logically satisfy the semiotic definition of symbol. We also show that the acquisition of vocal symbols in vervet monkeys can be successfully simulated by a computer program based on minimal semiotic and neurobiological constraints. (...) The simulations indicate that learning depends on the tutor-predator ratio, and that apprentice-generated auditory mistakes in vocal symbol interpretation have little effect on the learning rates of apprentices (up to 80% of mistakes are tolerated). In contrast, just 10% of apprentice-generated visual mistakes in predator identification will prevent any vocal symbol to be correctly associated with a predator call in a stable manner. Tutor unreliability was also deleterious to vocal symbol learning: a mere 5% of “lying” tutors were able to completely disrupt symbol learning, invariably leading to the acquisition of incorrect associations by apprentices. Our investigation corroborates the existence of vocal symbols in a non-human species, and indicates that symbolic competence emerges spontaneously from classical associative learning mechanisms when the conditioned stimuli are self-generated, arbitrary and socially efficacious. We propose that more exclusive properties of human language, such as syntax, may derive from the evolution of higher-order domains for neural association, more removed from both the sensory input and the motor output, able to support the gradual complexification of grammatical categories into syntax. (shrink)

This paper elaborates on the link between different types and degrees of experience that can be gone through within a form of life or collectivity—the so-called levels of immersion—and the development of distinct types of tacit knowledge and expertise. The framework is then probed empirically and theoretically. In the first case, its ‘predictions’ are compared with the accounts of novices who have gone through different ‘learning opportunities’ during a pre-operational training programme for running a huge nickel industrial plant in Brazil. (...) These are also analysed vis-à-vis the experience of an expert who has designed and experienced the outcomes of two pre-operational training sessions in the nickel industry before developing and managing the one discussed here. Theoretically, the framework is used to pinpoint exactly what interactional experts who have developed their expertise through linguistic socialisation alone are able to do as well as to analyse the case of technical connoisseurs. The results indicate that the proposed framework is useful. It supports the design and improvement of training programmes for the development of tacit knowledge while at the same time bringing about a refined analysis of claims concerning the abilities of types of experts and expertise. (shrink)

How can we identify and estimate workers’ tacit knowledge? How can we design a personnel mix aimed at improving and speeding up its transfer and development? How is it possible to implement tacit knowledge sustainable projects in remote areas? In order to answer these questions, it is necessary to distinguish between types of tacit knowledge, to establish what they allow for and to consider their sources. It is also essential to find a way of managing the tacit knowledge ‘stock’ and (...) distribution within the workforce. In short, a conceptual framework is needed to manage tacit knowledge. Based on previous works and 2 years of action research, this paper introduces such a framework and describes its partial application to support the pre-operational training and hiring in a large industrial plant in Brazil. Two contributions emerge from the research. First, the concept of ‘levels of similarity’ is introduced as a means to qualify the experience of workers and estimate the associated tacit knowledge. Second, the capability of carrying out three types of judgement properly and speedily is put forward as being a core ability of those who possess what has been called ‘collective tacit knowledge’ (Collins in Organ Stud 28(2):257–262, 2007). In practical terms, the results indicate the opportunity for companies to capitalize on the experience and tacit knowledge of their workers in a systematic way and with due recognition. Ultimately, positive impacts are expected in their absorptive capacity as well as in their management and human resources systems, accident prevention, productivity and the development of sustainable projects in remote areas. (shrink)

Background Ethical decision making in intensive care is a demanding task. The need to proceed to ethical decision is considered to be a stress factor that may lead to burnout. The aim of this study is to explore the ethical problems that may increase burnout levels among physicians and nurses working in Portuguese intensive care units . A quantitative, multicentre, correlational study was conducted among 300 professionals.Results The most crucial ethical decisions made by professionals working in ICU were related to (...) communication, withholding or withdrawing treatments and terminal sedation. A positive relation was found between ethical decision making and burnout in nurses, namely, between burnout and the need to withdraw treatments , to withhold treatments and to proceed to terminal sedation . This did not apply to physicians. Emotional exhaustion was the burnout subdimension most affected by the ethical decision. The nurses' lack of involvement in ethical decision making was identified as a risk factor. Nevertheless, in comparison with nurses , it was the physicians who more keenly felt the need to proceed to ethical decisions in ICU.Conclusions Ethical problems were reported at different levels by physicians and nurses. The type of ethical decisions made by nurses working in Portuguese ICUs had an impact on burnout levels. This did not apply to physicians. This study highlights the need for education in the field of ethics in ICUs and the need to foster inter-disciplinary discussion so as to encourage ethical team deliberation in order to prevent burnout. (shrink)

Disagreement as we find it in both the history and the contemporary practice of philosophy is an inadequately understood phenomenon. In this paper I outline and motivate the problem of disagreement, arguing that "hard cases" of disagreement confront us with an unresolved, and seemingly unresolvable, challenge to the rationality of philosophical discourse, thereby raising the specter of a worri-some form of metaphilosophical skepticism. A variety of responses and attempted evasions are considered, though none are found to be particularly satisfying: Thus, (...) the specter remains unexorcised. El desacuerdo que encontramos tanto en la historia como en la práctica contemporánea de la filosofía es un fenómeno mal entendido. En este trabajo hago un esbozo y aduzco los motivos del problema del desacuerdo, argumentando que los "casos difíciles" de desacuerdo nos confrontan con un problema sin resolver y al parecer sin posibilidad de resolverse, que pone en duda la racionalidad del discurso filosófico, y con lo cual surge el espectro de una preocupante forma de escepticismo metafilosófico. Examino varias respuestas y tentativas de evasiones, aunque ninguna de ellas es particularmente satisfactoria. Así, el espectro sigue sin ser exorcizado. (shrink)

This volume deals with the relation between pragmatics and the philosophy of mind.

Dichotomies are ubiquitous in deliberative thinking, in decision making and in arguing in all spheres of life.[i] Sticking uncompromisingly to a dichotomy may lead to sharp disagreement and paradox, but it can also sharpen the issues at stake and help to find a solution. Dichotomies are particularly in evidence in debates, i.e., in argumentative dialogical exchanges characterized by their agonistic nature. The protagonists in a debate worth its name hold positions that are or that they take to be opposed; they (...) argue against each other’s positions; and they defend their positions from the adversary’s attacks. In some cases, this may lead to a polarization of the debate through treating it as grounded on one or more dichotomies. In others, the contenders may construe the opposition as non-dichotomous and therefore less irreconcilable. Whereas the former attitude, which leads to ‘dichotomization’, is likely to radicalize a debate, rendering it difficult – sometimes impossible – to resolve, the latter, which leads to ‘de-dichotomization’, opens possibilities of solution of the debate other than all out victory of one side and defeat of the other. In addition to its effect on the outcome of a debate, the contenders’ attitude towards dichotomies in the debate’s management has further, important implications. It is intrinsically connected with the typology of debates and their typical argumentative moves. For the appropriateness of one or the other of these attitudes for best capturing the nature of the antagonism that underlies a debate is in fact an indicator of the kind of debate it actually is or is perceived by the contenders to be. Furthermore, such ‘attitudes’ are expressed by the contenders’ preferred choices of argumentative moves; and these, in turn, can be recognized, in a given debate context, as subservient either to a dichotomizing or to a de-dichotomizing strategy vis-à-vis a dichotomy taken to be at the root of the divergence. (shrink)

In 1988, J. Ivlev proposed some (non-normal) modal systems which are semantically characterized by four-valued non-deterministic matrices in the sense of A. Avron and I. Lev. Swap structures are multialgebras (a.k.a. hyperalgebras) of a special kind, which were introduced in 2016 by W. Carnielli and M. Coniglio in order to give a non-deterministic semantical account for several paraconsistent logics known as logics of formal inconsistency, which are not algebraizable by means of the standard techniques. Each swap structure induces naturally a (...) non-deterministic matrix. The aim of this paper is to obtain a swap structures semantics for some Ivlev-like modal systems proposed in 2015 by M. Coniglio, L. Fariñas del Cerro and N. Peron. Completeness results will be stated by means of the notion of Lindenbaum–Tarski swap structures, which constitute a natural generalization to multialgebras of the concept of Lindenbaum–Tarski algebras. (shrink)

Although the controversy between Malthus and Ricardo has long been considered to be an important source for the history of economic thought, it has hardly been the object of a careful study qua controversy, i.e. as a polemical dialogical exchange. We have undertaken to fill this gap, within the framework of a more ambitious project that places controversies at the center of an account of the history of ideas, in science and elsewhere. It is our contention that the dialogical co-text (...) is essential for reconstructing the meaning and the evolution of science. In the present paper we try to substantiate this contention by means of a pragma-rhetorical study of this particular controversy. First, we reconstruct, through an analysis of a chunk of the correspondence, a micro-level of specific moves and countermoves which constitute a sequential structure within which also meta-scientific and meta-controversial considerations play a role. We then move to a macro-level of analysis, looking for recurrent patterns of argumentation. Finally, we draw epistemological conclusions on the nature of rationality and progress as manifested in actual scientific controversies. (shrink)

In a previous paper, I argued that neuroscience and psychology could in principle undermine libertarian free will by providing support for a subset of what I called “statements of local determination.” I also argued that Libet-style experiments have not so far supported statements of that sort. In a commentary to the paper, Adina Roskies and Eddy Nahmias accept the claim about Libet-style experiments, but reject the claim about the possibilities of neuroscience. Here, I explain why I still disagree with their (...) conclusion, despite being sympathetic to a lot of what they say in support of it. (shrink)

In dialogue with his interlocutor, Axel Honneth summarizes the way his work on recognition has unfolded over the past two decades. While he has retained his principal insights, some important parts of his theory have changed. He comments that if he were to rewrite The Struggle for Recognition today, he would focus more on institutions and the historicization of recognition patterns. He clarifies his stance on some contemporary controversial issues, including the crisis of capitalism, gay marriage, and his quarrel with (...) Peter Sloterdijk. Finally, he sheds some light on topics much discussed within Critical Theory, such as the relation between theory and praxis and the possibility of politicizing recognition, and on lesser-known aspects of his theory, namely, the relationship between his work and literature. (shrink)

The man who is seeking to convert another in the proper manner should do so in a dialectical and not in a contentious way ... he who asks questions in a contentious spirit and he who in replying refuses to admit what is apparent ... are both of them bad dialecticians.

I argue that we are subject to ‘aesthetic luck’ in four senses: constitutive, upbringing, sociogeographic, and circumstantial. I review evidence from our practices, philosophy, and science. I then consider what challenges aesthetic luck raises to the communicability of aesthetic judgments, the formation of one’s aesthetic character, and the goal of a life well lived, as well as possible answers to those challenges.

In this article we explore multiple change operators, i.e., operators in which the epistemic input is a set of sentences instead of a single sentence. We propose two types of change: prioritized change, in which the input set is fully accepted, and symmetric change, where both the epistemic state and the epistemic input are equally treated. In both kinds of operators we propose a set of postulates and we present different constructions: kernel changes and partial meet changes.

Trying to overcome Dugundji’s result on uncharacterisability of modal logics by finite logical matrices, Kearns and Ivlev proposed, independently, a characterisation of some modal systems by means of four-valued multivalued truth-functions , as an alternative to Kripke semantics. This constitutes an antecedent of the non-deterministic matrices introduced by Avron and Lev . In this paper we propose a reconstruction of Kearns’s and Ivlev’s results in a uniform way, obtaining an extension to another modal systems. The first part of the paper (...) is devoted to four-valued Nmatrices, including Kearns’s and Ivlev’s. Besides proving with full details Kearns’s results for T, S4 and S5, we also obtain a characterisation of the system B by four-valued Nmatrices with level valuations. Concerning Ivlev’s results, two new modal systems are introduced and char.. (shrink)

An argument against the rationality of desiring to go to heaven might be put in the form of a trilemma: (1) any state of being that both lasts eternally and preserves me as the person I am would be hellish and therefore would not be a state of being that I could have any reason to desire; (2) any state of being that lasts eternally and yet fails to preserve my personhood by turning me into a non-person would not be (...) a state of being that I (qua person that I am) could have any reason to desire; and (3) any state of being that lasts eternally and yet fails to preserve my personhood by turning me into some other person would not be a state of being that I (qua person that I am) could have any reason to desire. This paper offers defenses of each of the three horns of this trilemma and concludes that there is no rationally compelling reason for any human being to desire to go to heaven. (shrink)

This paper focuses on Gilberto Gomes’ work on free will. In a series of contributions that have had a significant impact on the respective literature, Gomes developed a conception about free will and argued that its existence is consistent with recent scientific findings, specially in neuroscience. In this paper, I object to a claim of Gomes about his conception of free will, namely the claim that it is a compatibilist conception. I seek to show that Gomes does not use the (...) term ‘compatibilism’ as it is usual in the contemporary literature on free will, i.e., as the thesis that free will can exist even if determinism is true. Moreover, the conception of free will Gomes proposes actually has an incompatibilist commitment. I argue that, more than a mere terminological point, acknowledging the incompatibilist aspect of Gomes’ view motivates important questions about the details of the view and helps to reveal a limitation of his defense of the existence of free will. [Este artigo tem como tema o trabalho de Gilberto Gomes sobre o livre-arbítrio. Em uma série de contribuições que tiveram um impacto significativo na respectiva literatura, Gomes elaborou uma concepção sobre o livre-arbítrio e argumentou que sua existência é consistente com descobertas científicas recentes, especialmente na neurociência. Neste artigo, questiono uma afirmação de Gomes sobre sua concepção sobre o livre-arbítrio, a saber, que se trata de uma concepção compatibilista. Busco mostrar que Gomes não usa o termo ‘compatibilismo’ como é habitual na literatura contemporânea sobre o livre-arbítrio, isto é, como a tese segundo a qual o livre-arbítrio pode existir ainda que o determinismo seja verdadeiro. Ademais, a concepção sobre o livre-arbítrio desenvolvida por Gomes tem, efetivamente, um compromisso incompatibilista. Argumento que, mais do que uma mera elucidação terminológica, reconhecer o elemento incompatibilista presente na proposta de Gomes suscita questões importantes sobre os detalhes da proposta e também ajuda a reconhecer uma limitação de sua defesa da existência do livre-arbítrio.]. (shrink)

blandior ratio : C, 34). I will first survey how extensive, albeit usually overlooked, is Leibniz’s concern with these “weaker” forms of reasoning, and how crucial they are for many of his practical and theoretical endeavors. I will then trace back this acute need of Leibniz´s brand of rationalism to the peculiar nature of the Principle of Sufficient Reason (PSR), as opposed to the other basic principle of his philosophy, the Principle of Contradiction (PC). I will present here only the (...) bare bones of the argument, in a sort of extended summary, omitting the textual support as well the references to the relevant secondary literature. (shrink)