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)

RESUMO Não há Estado sem os indivíduos. Para Rousseau a construção do Estado requer a participação direta dos cidadãos. A participação ativa dos cidadãos resultará na expressão da vontade geral. É a vontade geral que, via pacto social, dará vida e união ao Estado. O Estado é um projeto de corpo político. A participação ativa dos cidadãos com vistas a impedir a corrupção e a dissolução da sociedade remete à concepção da soberania popular. Nessa modalidade de soberania, os cidadãos seriam (...) capazes de construir e manter os fundamentos da sociedade civil. Rousseau, como um contratualista, pensa a sua época e as soluções políticas para os problemas reais de seu tempo. Portanto, é desse cenário entre a teoria e a prática que Rousseau partirá para configurar a distinção e a relação desse importante tripé: soberano, Legislador e príncipe. ABSTRACT There is no State without subjects. For Rousseau, statebuilding requires the direct participation of citizens. The active participation of citizens will result in the expression of the general will. It is the general will that via social pact, will give life and unity to the state. The state is a political body design. The active participation of citizens in order to prevent corruption and dissolution of the society refers to the conception of popular sovereignty. In this mode of sovereignty, citizens would be able to build and maintain the foundations of civil society. Rousseau, as a contractualist, thinks his time and political solutions for the real issues of his time. So it is this scenario between theory and practice, which Rousseau will start to set up the distinction and the relationship of this important tripod: Sovereign, Legislator and Prince. (shrink)

Des deux Essais réunis dans ce volume, l'un, Introduction à la lecture de Platon, présente, dans une première partie, une analyse de la composition subtile et raffinée du dialogue socratique : œuvre dramatique qui présuppose la présence d'un personnage n'y figurant pas, celle du lecteur-auditeur, auquel est dévolu le rôle de comprendre le sens caché du débat et d'en tirer les conclusions. Conclusions que Socrate, délibérément, évite de formuler, mais qui y sont nécessairement impliquées. Ce que l'auteur démontre en prenant (...) comme exemples le Ménon, le Protagoras et le Théétète. La deuxième partie de l'Introduction offre une étude de La République en soulignant l'actualité paradoxale des problèmes fondamentaux qui y sont discutés par Platon. Faisant suite à l'Introduction, les Entretiens sur Descartes reproduisent les conférences données par l'auteur à l'Université du Caire lors du tricentenaire du Discours de la méthode. Ces Entretiens développent une conception de la philosophie de Descartes comme catharsis spirituelle et intellectuelle qui ouvre à l'homme la voie vers la vérité, et vers Dieu. Descartes échappe ainsi au scepticisme et au désarroi qui ont suivi le bouillonnement confus de la Renaissance. La science cartésienne, toute périmée qu'elle soit, est présentée comme un effort prodigieux pour réaliser l'idéal - ou le rêve - de la mathématisation totale de l'Univers, ressuscité, de nos jours par Einstein. (shrink)

En proposant une histoire de la philosophie pré-chrétienne, de Thalès aux Néo-platoniciens, Kojève développe en fait une réflexion sur la philosophie elle-même, et il jette les bases d'une reconstruction générale et systématique des discours philosophiques. Il affirme de manière provocatrice, d'une part que la philosophie, en tant que discours systématique, s'est achevée avec le Système du Savoir de Hegel, d'autre part qu'il est donc possible de présenter logiquement un développement cohérent (du point de vue historique également) de tous les discours (...) philosophiques décisifs. Il faut donc d'abord les présenter en fonction de la place logique qu'ils occupent ; Thalès, Parménide, Héraclite, Socrate, Platon, Aristote, les Sceptiques, les Stoïciens, Plotin et Proclus. (shrink)

— 1. Les rapports entre Galilée et Descartes : état actuel de la question. — 2-3. L’erreur de l’interprétation traditionnelle. — 4. Gomment elle provient de Descartes lui-même. — 5. L’erreur de Descartes. — 6. Les expériences de Galilée sont interprétées à tort comme preuves expérimentales. — 7. Rôle de l’expérience. — 8. et de la raison. — 9. Expérience et mathématiques. — 10. L’innéisme chez Galilée. —11. Le platonisme de Galilée. —12. Son attitude semblable à celle de Descartes.

Des deux Essais réunis dans ce volume, l'un, Introduction à la lecture de Platon, présente, dans une première partie, une analyse de la composition subtile et raffinée du dialogue socratique : œuvre dramatique qui présuppose la présence d'un personnage n'y figurant pas, celle du lecteur-auditeur, auquel est dévolu le rôle de comprendre le sens caché du débat et d'en tirer les conclusions. Conclusions que Socrate, délibérément, évite de formuler, mais qui y sont nécessairement impliquées. Ce que l'auteur démontre en prenant (...) comme exemples le Ménon, le Protagoras et le Théétète. La deuxième partie de l'Introduction offre une étude de La République en soulignant l'actualité paradoxale des problèmes fondamentaux qui y sont discutés par Platon. Faisant suite à l'Introduction, les Entretiens sur Descartes reproduisent les conférences données par l'auteur à l'Université du Caire lors du tricentenaire du Discours de la méthode. Ces Entretiens développent une conception de la philosophie de Descartes comme catharsis spirituelle et intellectuelle qui ouvre à l'homme la voie vers la vérité, et vers Dieu. Descartes échappe ainsi au scepticisme et au désarroi qui ont suivi le bouillonnement confus de la Renaissance. La science cartésienne, toute périmée qu'elle soit, est présentée comme un effort prodigieux pour réaliser l'idéal - ou le rêve - de la mathématisation totale de l'Univers, ressuscité, de nos jours par Einstein. (shrink)

Requirements for business ethics education and organizational ethics trainings mark an important step in encouraging ethical behavior among business students and professionals. However, the lack of specificity in these guidelines as to how, what, and where business ethics should be taught has led to stark differences in approaches and content. The present effort uses meta-analytic procedures to examine the effectiveness of current approaches across organizational ethics trainings and business school courses. to provide practical suggestions for business ethics interventions and research. (...) Thus, the primary questions driving this research are as follows: what course characteristics moderate the effectiveness of ethics instruction?, and have ethics education and training efforts improved? Findings suggest that professional, focused, and workshop-based training programs are especially effective for improving business ethics. However, results also reveal considerable problems with many of the criteria used to evaluate the effectiveness of business ethics interventions. Practical suggestions for course design and evaluation in business ethics efforts are discussed along with future research needs. (shrink)

What proper role should considerations of risk, particularly to research subjects, play when it comes to conducting research on human enhancement in the military context? We introduce the currently visible military enhancement techniques (1) and the standard discussion of risk for these (2), in particular what we refer to as the ‘Assumption’, which states that the demands for risk-avoidance are higher for enhancement than for therapy. We challenge the Assumption through the introduction of three categories of enhancements (3): therapeutic, preventive, (...) and pure enhancements. This demands a revision of the Assumption (4), alongside which we propose some further general principles bearing on how to balance risks and benefits in the context of military enhancement research. We identify a particular type of therapeutic enhancements as providing a more responsible path to human trials of the relevant interventions than pure enhancement applications. Finally, we discuss some possible objections to our line of thought (5). While acknowledging their potential insights, we ultimately find them to be unpersuasive, at least provided that our proposal is understood as fully non-coercive towards the candidates for such therapeutic enhancement trials. (shrink)

According to a common philosophical intuition, the deep nature of things is hidden from us, and the world as we know it through perception and science is, just like a dream, shadows, or a computer simulation, somehow shallow and lacking in reality. This “intuition of unreality” clashes with a strong, but perhaps more naive, intuition to the effect that the world as we know it seems perfectly real. Shadows, dreams, or informational structures appear too unreal to be identical to the (...) world as we know it! This clash between the two intuitions forms the basis of the “problem of reality.” In the late nineteenth century psychiatrists encountered patients they referred to as “metaphysician doubters” who constantly questioned the reality of the world. This essay draws on studies of these patients in order to reject, and indeed diagnose, the intuition of unreality and recent metaphysical doctrines drawing on it, such as structuralism, digitalism, and virtual realism. (shrink)

This collection of six essays centers on Professor Koyre's great theme: the relative importance of metaphysics and observation, with controlled experiment a kind of marriage between the two. Professor Koyre's thesis might be summed up as a claim that when one is seeking to explain the scientific revolution, attention must be concentrated on the philosophical outlook of the scientist and away from speculative theories. At the time of his death, Alexandre Koyre was a professor at the Ecole Pratique des (...) Hautes Etudes (Sorbonne) and a memeber of the Institute for Advanced Study in Princeton. (shrink)

Depersonalization is a pathological condition consisting in a deep modification of the way things appear to a subject, leading him to feel estranged from his body, his actions, his thoughts, his mind and even from himself. In this article, I argue that the study of depersonalization raises three challenges for recent theories of the sense of bodily ownership. These challenges—which I call the centrality challenge, the dissociation challenge and the grounding challenge— thwart most of these theories and suggest that the (...) sense of bodily ownership hinges on a phenomenal mark of mineness that can not be accounted for in terms of our sensory, interoceptive, agentive, cognitive or affective dispositions and that is psychologically primitive. In short: that mineness is first. (shrink)

In a previous article on cosmological arguments, I have put forward a few examples of complete infinite and circular explanations, and argued that complete non-wellfounded explanations such as these might explain the present state of the world better than their well-founded theistic counterparts (Billon, 2021). Although my aim was broader, the examples I gave there implied merely causal explanations. In this article, I would like to do three things: • Specify some general informative conditions for complete and incomplete non-wellfounded causal (...) explanations that can be used to assess candidate explanations and to generate new examples of complete non-wellfounded explanations. • Show that these conditions, which concern chains of causal explanations, easily generalize to chains of metaphysical, grounding explanations and even to chains involving other “determination relations” such as supervenience. • Apply these general conditions to the recent debates against the existence of nonwellfounded chains of grounds and show, with a couple of precise examples, that the latter can be complete, and that just like in the case of causal explanations, non-wellfoundedness can in fact be an aset rather than a liability. (shrink)

This study aims to map out the relationships that make up green innovation initiatives in Brazilian industry. The sample comprised 100 managers at manufacturing companies, most of them operating in the business of farm machinery and equipment and steel structures. To develop this study, Medeiros et al. study, mapping critical factors that drive the success of green product innovation and the paradigm of complexity, was used as a reference study. Based on the results, it was possible to identify that (...) the operational dynamic of the factors and variables that affect market success do not happen in an isolated or fragmented way; they occur systematically with different contingencies and structured basic and intermediate skills in order to meet the expectations of consumers, laws, and environmental legislation. Initially, the technological expertise factor was noted as very important for sustaining green product innovation. Furthermore, since proactive leaders are an important factor for successfully developing environmentally sustainable products, it must be added to technological expertise as the foundation for developing green innovation. After defining the basis for green product innovation, the intermediary conditions necessary for using the available technology appropriately were mapped out. In this sense, variables such as “elimination of cultural barriers,” “capacity for critical reflective analysis,” and “experimentation” are also very important. In addition, some of the variables of the cross-functional collaboration and market knowledge factors were a part of the structure that organizations need to transform potential into developing green products, which is the basis for the third level of the model. The fourth level of the model has the “meeting consumer expectations” and “following law and legislation” factors, which make up the main goals for developing environmentally sustainable products according to a number of surveys that were conducted. (shrink)

This paper tries to disclose the abstract manner in which orthodox theories of ‘welfare’ conceive of social values (ethics) and the consequences of such subjective treatment of values for theory itself and for praxis. The interest here resides particularly in the demonstration that the abstract articulation of social values stems from the admission of determinate ontological tenets, which characterise a profoundly conservative worldview. As the realisation of some of the values considered by orthodox theories of ‘welfare’ (such as the value (...) of equality) demands a truly transformative praxis, it is obstructed a priori. To overcome this continued frustration and finally realise social values, economists reclaim the idea of state intervention. The question then is whether the state has the capacity to radically modify social reality. (shrink)

Patients suffering from depersonalization complain of feeling detached from their body, their mental states, and actions or even from themselves. In this chapter, I argue that depersonalization consists in the lack of a phenomenal feature that marks my experiences as mine, which is usually called “mineness,” and that the study of depersonalization constitutes a neglected yet incomparable probe to assess empirically the scope, role, and even the nature of mineness. Here is how I will proceed. After describing depersonalization (§2) and (...) arguing that it involves a lack of mineness (§3) I will confront a series of objections (§4). I will then spell out what depersonalization can teach us about the scope of mineness (§5), about its role and psychological function (§6) and even about its nature (§7). (shrink)

Computational reproducibility possesses its own dynamics and narratives of crisis. Alongside the difficulties of computing as an ubiquitous yet complex scientific activity, computational reproducibility suffers from a naive expectancy of total reproducibility and a moral imperative to embrace the principles of free software as a non-negotiable epistemic virtue. We argue that the epistemic issues at stake in actual practices of computational reproducibility are best unveiled by focusing on software as a pivotal concept, one that is surprisingly often overlooked in accounts (...) of reproducibility issues. Software is not only about designing and coding but also about maintaining, supporting, distributing, licensing, and governance; it is not only about developers but also about users. We focus on openness debates among computational chemists involved in molecular modeling software packages as empirical grounding for our argument. We then identify and analyse four epistemic characteristics as key to the role of software in computational reproducibility. (shrink)

. Computational chemistry grew in a new era of “desktop modeling,” which coincided with a growing demand for modeling software, especially from the pharmaceutical industry. Parameterization of models in computational chemistry is an arduous enterprise, and we argue that this activity leads, in this specific context, to tensions among scientists regarding the epistemic opacity transparency of parameterized methods and the software implementing them. We relate one flame war from the Computational Chemistry mailing List in order to assess in detail the (...) relationships between modeling methods, parameterization, software and the various forms of their enclosure or disclosure. Our claim is that parameterization issues are an important and often neglected source of epistemic opacity and that this opacity is entangled in methods and software alike. Models and software must be addressed together to understand the epistemological tensions at stake. (shrink)