This paper investigates modular combinations of temporal logic systems. Four combination methods are described and studied with respect to the transfer of logical properties from the component one-dimensional temporal logics to the resulting combined two-dimensional temporal logic. Three basic logical properties are analyzed, namely soundness, completeness, and decidability. Each combination method comprises three submethods that combine the languages, the inference systems, and the semantics of two one-dimensional temporal logic systems, generating families of two-dimensional temporal languages with varying expressivity and varying (...) degrees of transfer of logical properties. The temporalization method and the independent combination method are shown to transfer all three basic logical properties. The method of full join of logic systems generates a considerably more expressive language but fails to transfer completeness and decidability in several cases. So a weaker method of restricted join is proposed and shown to transfer all three basic logical properties. (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)

This paper generalises and complements the work on combining temporal logics started by Finger and Gabbay [11, 10]. We present proofs of transference of soundness, completeness and decidability for the temporalisation of logics T for any flow of time, eliminating the original restriction that required linear time for the transference of those properties through logic combination. We also generalise such results to the external application of a multi-modal system containing any number of connectives with arbitrary arity, that respect normality.This (...) generalisation over generic flows of time propagates to other combinations of logics that can be interpreted in terms of temporalisations. In this way, the independent combination of temporal logics is studied over generic flows of time. We show the transfer of soundness, completeness and decidability for independent combination of temporal logics. Finally, we also discuss the independent combination of any finite number of normal multi-modal logics. (shrink)

In this paper we study families of resource aware logics that explore resource restriction on rules; in particular, we study the use of controlled cut-rule and introduce three families of parameterised logics that arise from different ways of controlling the use of cut. We start with a formulation of classical logic in which cut is non-eliminable and then impose restrictions on the use of cut. Three Cut-and-Pay families of logics are presented, and it is shown that each family provides an (...) approximation process for full propositional classical logic when the control over the use of cut is progressively weakened. A sound and complete semantics is given for each component of each of the three families of approximated logics. One of these families is shown to possess the uniform substitution property, a new result for approximated reasoning. A tableau based decision procedure is presented for each element of the approximation families and the complexity of each decision procedure is studied. We show that there are families in which every component logic can be decided polynomially. (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)

ABSTRACT We introduce a two-dimensional temporal logic as a formalism which enables the description of both the history of a world and the evolution of an observer's views about the history. We apply such formalism to the description of certain problems that occur in historical database systems due to updates. The historical dimension describes the history of a world according to an observer's view at a certain moment in time. The transaction dimension describes the evolution of an observer's view; changes (...) can occur in the observer's view of the present and future as well as in his views of the past. The database is seens as an observer of the history of the world. Besides describing the history of the world, the database system can also execute temporal specifications in the form of temporal actions. The two-dimensional formalism is used to describe the effects of updates in the execution of temporal actions. The detection of some problematic effects and its implementation are discussed. (shrink)

This work studies the structure of proofs containing non-analytic cuts in the cut-based system, a sequent inference system in which the cut rule is not eliminable and the only branching rule is the cut. Such sequent system is invertible, leading to the KE-tableau decision method. We study the structure of such proofs, proving the existence of a normal form for them in the form of a comb-tree proof. We then concentrate on the problem of efficiently computing non-analytic cuts. For that, (...) we study the generalisation of techniques present in many modern theorem provers, namely the techniques of conflict-driven formula learning. (shrink)

Inspired by the recent work on approximations of classical logic, we present a method that approximates several modal logics in a modular way. Our starting point is the limitation of the n-degree of introspection that is allowed, thus generating modaln-logics. The semantics for n-logics is presented, in which formulas are evaluated with respect to paths, and not possible worlds. A tableau-based proof system is presented, n-SST, and soundness and completeness is shown for the approximation of modal logics image and image.

In this paper we explore a generalization of traditional abduction which can simultaneously perform two different tasks: given an unprovable sequent Γ ⊢ G, find a sentence H such that Γ, H ⊢ G is provable ; given a provable sequent Γ ⊢ G, find a sentence H such that Γ ⊢ H and the proof of Γ, H ⊢ G is simpler than the proof of Γ ⊢ G . We argue that the two tasks should not be distinguished, (...) and present a general procedure for finding suitable hypotheses or lemmas. When the original sequent is provable, the abduced formula can be seen as a cut formula with respect to Gentzen's sequent calculus, so the abduction method is cut-based. Our method is based on the tableau-like system KE and we argue for its advantages over existing abduction methods based on traditional Smullyan-style Tableaux. (shrink)

Neural networks are widely used in systems of artificial intelligence, but due to their black box nature, they have so far evaded formal analysis to certify that they satisfy desirable properties, mainly when they perform critical tasks. In this work, we introduce methods for the formal analysis of reachability and robustness of neural networks that are modeled as rational McNaughton functions by, first, stating such properties in the language of Łukasiewicz infinitely-valued logic and, then, using the reasoning techniques of such (...) logical system. We also present a case study where we employ the proposed techniques in an actual neural network that we trained to predict whether it will rain tomorrow in Australia. (shrink)

This book is a specialized monograph on the development of the mathematical and computational metatheory of reductive logic and proof-search, areas of logic that are becoming important in computer science. A systematic foundational text on these emerging topics, it includes proof-theoretic, semantic/model-theoretic and algorithmic aspects. The scope ranges from the conceptual background to reductive logic, through its mathematical metatheory, to its modern applications in the computational sciences. Suitable for researchers and graduate students in mathematical, computational and philosophical logic, and in (...) theoretical computer science and artificial intelligence, this is the latest in the prestigous world-renowned Oxford Logic Guides, which contains Michael Dummet's Elements of intuitionism (2nd Edition), Dov M. Gabbay, Mark A. Reynolds, and Marcelo Finger's Temporal Logic Mathematical Foundations and Computational Aspects, J. M. Dunn and G. Hardegree's Algebraic Methods in Philosophical Logic, H. Rott's Change, Choice and Inference: A Study of Belief Revision and Nonmonotonic Reasoning, and P. T. Johnstone's Sketches of an Elephant: A Topos Theory Compendium: Volumes 1 and 2. (shrink)

This book is a specialized monograph on the development of the mathematical and computational metatheory of reductive logic and proof-search, areas of logic that are becoming important in computer science. A systematic foundational text on these emerging topics, it includes proof-theoretic, semantic/model-theoretic and algorithmic aspects. The scope ranges from the conceptual background to reductive logic, through its mathematical metatheory, to its modern applications in the computational sciences. Suitable for researchers and graduate students in mathematical, computational and philosophical logic, and in (...) theoretical computer science and artificial intelligence, this is the latest in the prestigous world-renowned Oxford Logic Guides, which contains Michael Dummet's Elements of intuitionism, Dov M. Gabbay, Mark A. Reynolds, and Marcelo Finger's Temporal Logic Mathematical Foundations and Computational Aspects, J. M. Dunn and G. Hardegree's Algebraic Methods in Philosophical Logic, H. Rott's Change, Choice and Inference: A Study of Belief Revision and Nonmonotonic Reasoning, and P. T. Johnstone's Sketches of an Elephant: A Topos Theory Compendium: Volumes 1 and 2. (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)

Nesta entrevista, conduzida por Gonçalo Marcelo e Maria Luísa Portocarrero, Daniel Frey, professor de filosofia da religião na Universidade de Estrasburgo e Presidente do Conselho Científico do Fonds Ricoeur, apresenta alguns aspetos centrais da sua investigação filosófica, do seu desenvolvimento intelectual e das atividades desenvolvidas no Fonds Ricoeur. Daniel Frey expõe a sua teoria hermenêutica da leitura, influenciada por Gadamer e Ricoeur, mostrando a especificidade da abordagem hermenêutica da leitura. Na entrevista, o autor também explora a importância da filosofia (...) do jovem Ricoeur dos anos 1950‑1960, e a evolução da relação entre filosofia e religião em Ricoeur. Fazendo uma breve descrição do estatuto das obras que se tornam “clássicas” e dos projetos recentes do Fonds Ricoeur, como a digitalização dos arquivos de Ricoeur, esta entrevista de Daniel Frey mostra‑nos até que ponto o trabalho de Ricoeur se encontra hoje aberto a novas leituras e interpretações. (shrink)

Robert Brandom propõe um modelo de interação social no qual defende que as atitudes práticas dos usuários da linguagem instituem os conteúdos semânticos e as normas inferenciais que determinam seus usos. Assim, o que ele descreve é uma prática linguística, caracterizado por asserções, que mostra como as atitudes dos agentes, diante das asserções sendo produzidas e consumidas, devem ser entendidas para que instituam conteúdos inferencialmente articulados. Ademais, Brandom relaciona a prática assertiva e o entendimento inferencial do conteúdo semântico a um (...) paradigma racionalista, sugerindo que os conteúdos que aparecem em asserções são aquilo que podem ser oferecidos ou exigidos, dentro da prática de uso da linguagem, como razões. Considerando estas ideias, o objetivo deste trabalho é desenvolver e relacionar os conceitos de "asserção", "inferência" e "razão", tais como Brandom os compreende. (shrink)

La presente nota crítica tiene como finalidad exponer y comentar las ideas fundamentales de la edición española del primer escrito de Jacques Derrida, El problema de la génesis en la filosofía de Husserl. Asimismo, hacemos algunas aclaraciones sobre el origen y significado de este escrito. Al concluir, añadimos algunas observaciones sobre la traducción y sobre el estudio final del editor y traductor Javier Bassas Vila sobre la filosofía del joven Derrida.

Recent research with human embryos, in different parts of the world, has sparked a new debate on the ethics of genetic human enhancement. This debate, however, has mainly focused on gene-editing technologies, especially CRISPR (Clustered Regularly Interspaced Short Palindromic Repeats). Less attention has been given to the prospect of pursuing genetic human enhancement by means of IVF (In Vitro Fertilisation) in conjunction with in vitro gametogenesis, genome-wide association studies, and embryo selection. This article examines the different ethical implications of the (...) quest for cognitive enhancement by means of gene-editing on the one hand, and embryo selection on the other. The article focuses on the ethics of cognitive enhancement by means of embryo selection, as this technology is more likely to become commercially available before cognitive enhancement by means of gene-editing. This article argues that the philosophical debate on the ethics of enhancement should take into consideration public attitudes to research on human genomics and human enhancement technologies. The article discusses, then, some of the recent findings of the SIENNA Project, which in 2019 conducted a survey on public attitudes to human genomics and human enhancement technologies in 11 countries (France, Germany, Greece, the Netherlands, Poland, Spain, Sweden, Brazil, South Africa, South Korea, and United States). (shrink)

In Scepticism, Freedom and Autonomy, Araujo argues against this interpretation, asserting that we retain control over our opinions only through selective ...

Este artigo discute o sentido pretendido por Adorno com a expressão “derradeira chance do pensamento”. Para tal, busca-se uma aproximação entre alguns elementos presentes nas seções 1 e 41 de Minima moralia, em especial: o intelectual independente e o filósofo-escritor como porta-vozes da crítica à falta de originalidade na produção filosófica.

Este artigo disserta sobre alguns pontos presentes no texto Das Unheimliche, de Sigmund Freud. A partir de uma meta-análise filosófica, procura-se explicitar as intenções não aparentes de Freud com sua análise do termo Unheimliche. Determinadas particularidades da abordagem freudiana são observadas desvendando relações estéticas na construção de sentido do espírito próprio da psicanálise. Uma eventual aproximação dialética com a Teoria Crítica ajudará a identificar, nesse jogo de relações, a importância de conteúdos marginalizados pela história do conhecimento que são revitalizados por (...) Freud. (shrink)

O presente trabalho teve por intenção discutir as mudanças nos planos econômicos, político - via acumulação flexível - e culturais - via discurso pós-moderno, que trazem mudanças para a manifestação cultural do futebol. À luz do materialismo histórico e dialético foi possível compreender que o fenômeno futebol tem passado por um processo de mercadorização cujo grande interesse, no campo do espetáculo, não é proporcionar para os espectadores um futebol arte, como já existiu, mas sim, movimentar uma indústria esportiva bilionária.

Background: The family interview context is permeated by numerous ethical issues which may generate conflicts and impact on organ donation process. Objective: This study aims to analyze the family interview process with a focus on principlist bioethics. Method: This exploratory, descriptive study uses a qualitative approach. The speeches were collected using the following prompt: “Talk about the family interview for the donation of organs and tissues for transplantation, from the preparation for the interview to the decision of the family to (...) donate or not.” For the treatment of qualitative data, we chose the method of content analysis and categorical thematic analysis. Participants: The study involved 18 nurses who worked in three municipal organ procurement organizations in São Paulo, Brazil, and who conducted family interviews for organ donation. Ethical considerations: The data were collected after approval of the study by the Research Ethics Committee of the School of Nursing of the University of São Paulo. Results: The results were classified into four categories and three subcategories. The categories are the principles adopted by principlist bioethics. Discussion: The principles of autonomy, beneficence, non-maleficence, and justice permeate the family interview and reveal their importance in the organs and tissues donation process for transplantation. Conclusion: The analysis of family interviews for the donation of organs and tissues for transplantation with a focus on principlist bioethics indicates that the process involves many ethical considerations. The elucidation of these aspects contributes to the discussion, training, and improvement of professionals, whether nurses or not, who work in organ procurement organizations and can improve the curriculum of existing training programs for transplant coordinators who pursue ethics in donation and transplantation as their foundation. (shrink)

Este artigo contextualiza o nazismo como projeto de degradação da multiplicidade humana a partir da instrumentalização da língua alemã e consequentemente da linguagem como experiência humana. Tal contextualização se inicia apresentando os projetos amplamente conhecidos do nazismo, que se dão à sombra de Auschwitz, para, em seguida, partir à análise das observações de Victor Klemperer sobre a aplicação da LTI na sociedade alemã no período que envolveu o entreguerras e o final da Segunda Guerra Mundial, precisamente na cidade de Dresden, (...) onde Klemperer viveu e repensou sua condição judaica. Por meio do uso estratégico da linguagem, o nazismo interveio nos hábitos da sociedade alemã, o que implicou a adesão popular à ideologia do Terceiro Reich, bem como provocou a legitimação da reprodução do mal naquela sociedade, enquanto projeto pervertido de cidadania. Disso resulta uma compreensão biopolítica da linguagem, na medida em que se reconhece o nazismo como doutrina do fanatismo. (shrink)

Given the abrupt global disruption caused by SARS-CoV-2, one might think that the COVID pandemic was an unpredictable event. But in the years leading up to the emergence of the COVID pandemic, several documents had already been warning of the increasing occurrences of new disease outbreaks with pandemic potential and lack of corresponding policies to promote pandemic preparedness and response. In this article, we call these documents “early warnings”. We argue that a survey of early warnings can help science communicators (...) to promote the public understanding of evidence-based pandemic preparedness and response policies at local or international level. Our proposal differs from other approaches to pandemic preparedness and response in that it highlights the relevance of documents published before the COVID outbreak. We show that the early warnings did not become outdated after the COVID outbreak, but, rather, that they are even more pressing now. (shrink)

Este trabalho analisa os potenciais impactos do chamado Novo Ensino Médio na formação do estudante, especialmente na preparação para o exercício de uma cidadania ativa. Instituída com a Lei 13.415, de 16 de fevereiro de 2017, a reforma do ensino médio pretende três alterações fundamentais: a primeira, promover o aumento progressivo da carga horária mínima até atingir o período integral. A segunda mudança, criar os “intinerários formativos”, com novas disciplinas, reduzindo relativamente a carga de conteúdos obrigatórios, e permitir ao estudante (...) orientar sua trajetória escolar para os seus interesses, inclinações e necessidades pessoais. A terceira, incentivar e ampliar a oferta do ensino técnico. Nossa avaliação sobre a reforma está ancorada no entendimento de Habermas de que a participação qualificada no debate público requer dos indivíduos o desenvolvimento e o uso de competências expressivas reconhecidas (legitimadas) pela comunidade interpretativa. A educação formal, nesta perspectiva, ao difundir as bases para definição racional dos argumentos e dos meios legítimos para expressão da vontade, visa capacitar e qualificar a participação dos indivíduos no debate público. As conclusões parciais resultantes desta abordagem estão baseadas em estudo empírico realizado na Escola Estadual Reverendo Hugh Clarence Tucker, no Rio de Janeiro. Elas indicam que, embora recentes e incompletas, as mudanças no ensino médio têm potencial para agravar as diferenças sociais entre estudantes pobres e ricos uma vez que as escolas particulares das elites são mais bem preparadas para este ambiente. Além disso, elas têm profissionais mais bem remunerados e cobrados em resultados mensuráveis pela administração escolar e pelas famílias. (shrink)

Data sharing – broadly defined as the exchange of health-related data among multiple controllers and processors – has gained increased relevance in the health sciences over recent years as the need and demand for collaboration has increased. This includes data obtained through healthcare provisions, clinical trials, observational studies, public health surveillance programs, and other data collection methods. The practice of data sharing presents several notable challenges, however. Compliance with a complex and dynamic regulatory framework is essential, with the General Data (...) Protection Regulation being a prominent example in a European context. Recent regulatory developments related to clinical trial transparency, trade secrecy, data access, AI training data, and health data spaces further contribute to the difficulties. Simultaneously, government initiatives often encourage scientists to embrace principles of “open data” and “open innovation.” The variety of regulations in this domain has the potential to impede widespread data sharing and hinder innovation. This edited volume, therefore, compiles comparative case studies authored by leading scholars from diverse disciplines and jurisdictions. The book aims to outline the legal complexities of data sharing. By examining real-world scenarios from diverse disciplines and a global perspective, it explores the normative, policy, and ethical dilemmas that surround data sharing in the health sciences today. Chapter Patient Perspectives on Data Sharing, Chapter Supplementary Measures and Appropriate Safeguards for International Transfers of Health Data after Schrems II are available open access under a Creative Commons Attribution 4.0 International License via link.springer.com. (shrink)

We present a categorical/denotational semantics for the Lambek Syntactic Calculus , indeed for a λlD-typed version Curry-Howard isomorphic to it. The main novelty of our approach is an abstract noncommutative construction with right and left adjoints, called sequential product. It is defined through a hierarchical structure of categories reflecting the implicit permission to sequence expressions and the inductive construction of compound expressions. We claim that Lambek's noncommutative product corresponds to a noncommutative bi-endofunctor into a category, which encloses all categories of (...) such hierarchical structure. A soundness theorem for LSC is shown with respect to this semantical framework. (shrink)

O uso de argumentos igualmente convincentes tanto em prol quanto contra a veracidade de uma proposição era conhecido na Renascença como in utramque partem. Céticos do início da Modernidade utilizaram argumentos in utramque partem visando demonstrar que não se pode fundamentar a moralidade em um terreno sólido, já que os argumentos apresentados em favor da ideia de Justiça poderiam ser neutralizados por argumentos igualmente convincentes contra a ideia de Justiça. Nesse artigo, eu argumento que Hugo Grotius tentou refutar esse tipo (...) de ceticismo moral em seus principais escritos filosóficos, De jure bellic ac pacis e De jure praedae commentarius. Contra os céticos, Grotius procura estabelecer que as razões apresentadas a favor e contra a ideia de Justiça não são incompatíveis entre si. (shrink)

O uso de argumentos igualmente convincentes tanto em prol quanto contra a veracidade de uma proposição era conhecido na Renascença como in utramque partem. Céticos do início da Modernidade utilizaram argumentos in utramque partem visando demonstrar que não se pode fundamentar a moralidade em um terreno sólido, já que os argumentos apresentados em favor da ideia de Justiça poderiam ser neutralizados por argumentos igualmente convincentes contra a ideia de Justiça. Nesse artigo, eu argumento que Hugo Grotius tentou refutar esse tipo (...) de ceticismo moral em seus principais escritos filosóficos, De jure bellic ac pacis e De jure praedae commentarius. Contra os céticos, Grotius procura estabelecer que as razões apresentadas a favor e contra a ideia de Justiça não são incompatíveis entre si. (shrink)

Minha intenção é mostrar, contra o realismo em relações internacionais, que, ao abordarmos os conceitos de justiça internacional e de direitos humanos, a partir de uma perspectiva contratualista, o denominado conflito entre o interesse nacional e as exigências da moralidade se mostra bem menos problemático. Apresento os principais argumentos em favor do contratualismo através de uma reconstrução da teoria moral de David Gauthier. Em seguida, procuro mostrar que o tipo de contratualismo defendido por Rawls e seus seguidores não é capaz (...) de evitar as críticas feitas pelo realismo à tentativa de defendermos uma concepção de justiça e de direitos humanos no âmbito das relações internacionais. PALAVRAS-CHAVE – Contratualismo. Realismo. Direitos humanos. David Gauthier. John Rawls. ABSTRACT In this paper I argue against realism in international relations by showing that a contractarian approach to the concepts of international justice and human rights renders the socalled conflict between national interest and morality far less pressing than it seems to be. I discuss the thrust of the contractarian approach by means of a presentation of David Gauthier’s moral theory. Then, I show that the kind of contractarian approach advanced by Rawls and his followers is not able to counter the realist contention against the ideas of justice and human rights in the context of international relations. KEY WORDS – Contractarianism. Realism. Human rights. David Gauthier. John Rawls. (shrink)

Die Idee, der zufolge Menschen, die aufgrund von spezifischen Eigenschaften ungleich sind, der Gerechtigkeit halber auf eine ungleiche Art und Weise behandelt werden sollten, scheint nicht problematisch zu sein. Älteren Menschen werden zum Beispiel in öffentlichen Verkehrsmitteln gewisse Sonderrechte zugestanden; im Strafrecht werden Minderjährige anders behandelt als Erwachsene; und Menschen mit einer körperlichen Behinderung dürfen öffentliche Ressourcen beanspruchen, auf die andere Menschen keinen Anspruch haben.

In the first part of this paper I point out the reasons in virtue of which human rights discourse was seen with scepticism, in the first half of twentieth century, in its capacity to compel states to act morally in the context of international relations. Then, in the second part, I examine the reasons in virtue of which this kind of scepticism lessened at the end of the Cold War. I argue that an ever growing interaction among actors in international (...) relations – including non-state actors – has contributed to the emergence of a decentralised system of norms in the context of which the discourse on the concept of human rights may be justified without one’s commitment to such metaphysical ideas as natural laws and natural rights. (shrink)

Moral beliefs and attitudes may vary to great extent across different societies. Even within the same society, the prevailing moral beliefs and attitudes may vary throughout the history of this society. The moral beliefs and attitudes that prevail in a given society, at a given time, constitute the “positive morality” of this society. But can we morally assess the “positive morality”? In this paper I present reasons so as to give this question an affirmative answer. I argue that the moral (...) assessment of the “positive morality” must resort to the general principles of “critical morality”. The conception of “critical morality” that I defend in this paper resumes some aspects of David Hume’s moral philosophy. In the last section of this paper I also argue that formative works of art, such as novels, feature films, and documentary films may participate in the process of rational deliberation required by “critical morality”. (shrink)

A pandemia de COVID suscitou diversas questões morais relacionadas, por exemplo, à vulnerabilidade de populações indígenas frente à nova doença, ou ao comportamento dos Estados mais ricos relativamente aos Estados mais pobres na distribuição de vacinas, ou relativamente à elaboração de protocolos para alocação de recursos escassos tomando-se como critério a idade dos pacientes. Consideradas isoladamente, essas questões dizem respeito a diferentes domínios de investigação da filosofia moral, a saber: o da justiça social, o da justiça internacional, e o da (...) justiça intergeneracional. Até o momento, no âmbito da bioética e da filosofia moral, pouco esforço tem sido feito na tentativa de se mostrar que essas e diversas outras questões moralmente relevantes, discutidas durante a pandemia de COVID, deveriam ser examinadas como pertinentes a um campo distinto de investigação filosófica, ao qual me refiro neste artigo como ética pandêmica. Neste artigo, procuro estabelecer uma estrutura conceitual para a ética pandêmica tendo especialmente em vista a discussão recente sobre atribuições de responsabilidade no âmbito da ética climática. (shrink)

Este artigo tem como objetivo analisar a Sociologia do Direito de Jürgen Habermas, mostrando a centralidade do direito na sua teoria da ordem social. Como sociólogo formado na tradição alemã de grandes sínteses filosóficas, Habermas, em seu livro " Direito e Democracia – Entre facticidade e validade ", que nos guiará neste artigo, descreve o objetivo ambicioso de produzir uma teoria geral da ação social à maneira de Parsons. Em sua explicação sobre a natureza das sociedades, o direito positivo é (...) entendido como uma linguagem estabilizadora das interações sociais tendo o importante papel de estruturar a ordem social. Celebrado entre os juristas, o entendimento completo das proposições de Habermas requer conhecimento amplo e crítico das teorias sociológicas sobre a natureza da ordem social. Muitas vezes secundarizado por sociólogos, especialmente os tradicionalistas e conservadores, o autor promove um entendimento das normas legais como um processo dialógico e multideterminado, que não é apenas um reflexo das relações sociais, mas que também estabelece parâmetros para a composição de conflitos inerentes às interações sociais. (shrink)

Este trabalho pretende confrontar as concepções teóricas das análises sociológicas tradicionais sobre a “ordem social”, as quais chamaremos de “sensualistas” - por pressuporem uma ordem social naturalizada, com as teorias cognitivistas que veem a “ordem social” como construção teórico-intelectiva dos indivíduos. Nossa expectativa é que essa discussão nos auxilie a entender o contexto atual da emergência de movimentos políticos radicalizados, não importa por qual matiz ideológico, e o risco real e a ameaça potencial que eles representam para a estabilidade dos (...) consensos tácitos assumidos pelos agentes na ordem social, tais como as noções de justo e injusto, certo e errado, bem e mal. Esperamos que a discussão sobre os fundamentos da ordem social, na forma colocada pelos cientistas sociais, se apodícticos e factuais ou cognitivos e racionais, ajude-nos a esclarecer até que ponto o radicalismo político, e os radicalismos de maneira geral, seja religioso, moral, bem como as ameaças de diáspora que os acompanham, têm o potencial de impor revezes ao que alguns analistas costumam chamar de “marcos civilizatórios”. Até que ponto, o extremismo político tem condições de impor perturbações de natureza moral aos pactos sociais ameaçando-os real e massivamente. (shrink)

The main aim of this paper is to introduce the logics of evidence and truth $$LET_{K}^+$$ and $$LET_{F}^+$$ together with sound, complete, and decidable six-valued deterministic semantics for them. These logics extend the logics $$LET_{K}$$ and $$LET_{F}^-$$ with rules of propagation of classicality, which are inferences that express how the classicality operator $${\circ }$$ is transmitted from less complex to more complex sentences, and vice-versa. The six-valued semantics here proposed extends the 4 values of Belnap-Dunn logic with 2 more values (...) that intend to represent (positive and negative) reliable information. A six-valued non-deterministic semantics for $$LET_{K}$$ is obtained by means of Nmatrices based on swap structures, and the six-valued semantics for $$LET_{K}^+$$ is then obtained by imposing restrictions on the semantics of $$LET_{K}$$. These restrictions correspond exactly to the rules of propagation of classicality that extend $$LET_{K}$$. The logic $$LET_{F}^+$$ is obtained as the implication-free fragment of $$LET_{K}^+$$. We also show that the 6 values of $$LET_{K}^+$$ and $$LET_{F}^+$$ define a lattice structure that extends the lattice L4 defined by the Belnap-Dunn four-valued logic with the 2 additional values mentioned above, intuitively interpreted as positive and negative reliable information. Finally, we also show that $$LET_{K}^+$$ is Blok-Pigozzi algebraizable and that its implication-free fragment $$LET_{F}^+$$ coincides with the degree-preserving logic of the involutive Stone algebras. (shrink)

No cinema brasileiro recente, o diálogo entre o documentário e a ficção tem merecido destaque, com produções de baixo orçamento e ideias originais. É o caso de Santiago (João Moreira Salles, 2007) e Viajo Porque Preciso, Volto Porque Te Amo (Marcelo Gomes, Karim Aïnouz, 2009), filmes que trabalham esse diálogo de forma sutil e diegética, ressignificando imagens de um arquivo próprio, pessoal.

Presents spiritual reflections, thoughts, stories, and ideas intended to inspire readers to realize the immeasurable value of every moment of life, and to encourage them to conduct their lives accordingly.

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)

But never let it be doubted that depression, in its extreme form, is madness. (Styron, 1990, p. 62)There is nothing wrong with our biology or our intelligence; sometimes we are just stuck. (Cvetkov...

We provide a model in which students must choose whether or not to cheat on a course exam. By assuming that the moral cost of acting dishonestly decreases as the number of other people who behave in the same way increases, our model explains one important channel by which unethical behavior of other individuals can influence observers’ behavior. Through the use of the Global Games approach of equilibrium selection, we build a framework that provides the micro-foundations of peer effects on (...) academic dishonesty and shows how better student technology of cheating and higher disutility of effort make the cheating equilibrium more likely to be selected. By extending the model, we find that the peer effect strength is not affected by the level of homogeneity of the cohort, but decreases in the size of the class. Our approach may be seen as an important step towards reduced-form models of peer effects on dishonest behavior. (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)