In the five-year period 2005-2009, Brazil dramatically reduced carbon emissions by about twenty-five percent and at the same time maintained a stable economic growth rate of 3.5% annually. This combination of economic growth and emissions reduction is unique in the world. It was driven by a dramatic reduction in deforestation in the Amazonian forest and the Cerrado Savannah. This shift empowered the sustainability social forces in Brazil to the point that in December 2009 Congress passed a very progressive law internalizing (...) carbon constraints and promoting the transition to a low-carbon economy. The Article first analyzes the Brazilian position in the global carbon cycle and public policies since 2005, including the progressive shift in 2009 and the contradictory dynamic in 2010-2012. It then analyzes the potential for a transition to a low-carbon economy in Brazil and the impact on global climate governance. (shrink)

The environmental and human rights movements have valuable contributions to make to each other. Environmentalists can contribute to the greening of human rights by getting the human rights movement to recognize a right to a safe environment, to see humans as part of nature, and to begin considering the idea that nature may have claims of its own. The human rights movement can contribute to environmentalism by getting environmentalists to recognize that they have strong reasons to support rights to political (...) participation, freedom from violence, due process of law, education, and adequate nutrition. (shrink)

One of the most important phenomena in contemporary South America has been the tendency towards more democratic systems. After protracted periods of authoritarian rule, Brazil, Argentina, Uruguay, and Bolivia appear to be heading in a more democratic direction. This process has awakened political hopes and attracted intellectual reflection, especially regarding Brazil and Argentina, the largest and most influential nations of South America. Both countries are in different moments, with different timings, in transitions which could lead to the establishment of stable (...) democratic regimes. The following will discuss a number of new social movements which have emerged under the military regimes and have been significant in the struggle for democracy. (shrink)

Arranges the work of Viola Cordova, presenting her understanding and interpretation of the interactions between people and nature.

This article investigates how much influence consumers could have in the GDR during the 1960s by means of a case study of a patient striving towards an apparently reasonable psychiatric treatment through his actions in- and outside the clinic. The patient tried to obtain an effective therapy by referring to his model socialist work and life. The former patient also subsequently acted as a consumer via different activities, both within the GDR and abroad. Finally, against the background of different theories (...) of patient and consumer history, this article will discuss how consumer historical approaches can be useful for studying a socialist state. (shrink)

_The Power of Religion in the Public Sphere_, co-edited by Eduardo Mendieta and Jonathan VanAntwerpen, represents a rare opportunity to experience a diverse group of preeminent philosophers confronting one pervasive contemporary concern: what role does, or should, religion play in our public lives? Reflecting on her recent work concerning state violence in Israel-Palestine, Judith Butler explores the potential of religious perspectives for renewing cultural and political criticism, while Jürgen Habermas, best known for his seminal conception of the public sphere, (...) thinks through the ambiguous legacy of the concept of "the political" in contemporary theory. Charles Taylor argues for a radical redefinition of secularism, and Cornel West defends civil disobedience and emancipatory theology. Eduardo Mendieta and Jonathan VanAntwerpen detail the immense contribution of these philosophers to contemporary social and political theory, and an afterword by Craig Calhoun places these attempts to reconceive the significance of both religion and the secular in the context of contemporary national and international politics. (shrink)

The search for truth and spirituality, intertwined with the search for one’s self, has been a perennial theme in arts and literature. In some works of Finnish literature at the turn of the twentieth century, the figure of a person seeking for spiritual fulfilment tended to intertwine with that of the upstart. At first sight, it might seem odd that these two figures should overlap in literary works, but as I show, especially in early twentieth-century Finnish literature, such cases are (...) not rare, given the wide range of meanings that the word nousukas would denote. (shrink)

In this paper we discuss the extent to which the very existence of substructural logics puts the Tarskian conception of logical systems in jeopardy. In order to do this, we highlight the importance of the presence of different levels of entailment in a given logic, looking not only at inferences between collections of formulae but also at inferences between collections of inferences—and more. We discuss appropriate refinements or modifications of the usual Tarskian identity criterion for logical systems, and propose an (...) alternative of our own. After that, we consider a number of objections to our account and evaluate a substantially different approach to the same problem. (shrink)

Eduardo Arroyo, Armelle Auris, François Boissonnet, Paul HENRY, Pierre-Jean LABARRIERE, MATIEU, Gilles AILLAUD, Gérad THALMANN, Nicole MATHIEU, Jacques VIMARD, Michel QUAREZ, Leonardo CREMONINI, L'atelier d'Eduardo Arryo: Le carré blanc du ring, Rue Descartes, No. 7, Logiques de l'éthique (Juin 1993), pp. 149-168.

When discussing Logical Pluralism several critics argue that such an open-minded position is untenable. The key to this conclusion is that, given a number of widely accepted assumptions, the pluralist view collapses into Logical Monism. In this paper we show that the arguments usually employed to arrive at this conclusion do not work. The main reason for this is the existence of certain substructural logics which have the same set of valid inferences as Classical Logic—although they are, in a clear (...) sense, non-identical to it. We argue that this phenomenon can be generalized, given the existence of logics which coincide with Classical Logic regarding a number of metainferential levels—although they are, again, clearly different systems. We claim this highlights the need to arrive at a more refined version of the Collapse Argument, which we discuss at the end of the paper. (shrink)

Many authors have considered that the notions of paraconsistency and dialetheism are intrinsically connected, in many cases, to the extent of confusing both phenomena. However, paraconsistency is a formal feature of some logics that consists in invalidating the rule of explosion, whereas dialetheism is a semantical/ontological position consisting in accepting true contradictions. In this paper, we argue against this connection and show that it is perfectly possible to adopt a paraconsistent logic and reject dialetheism, and, moreover, that there are examples (...) of non-paraconsistent logics that can be interpreted in a dialetheic way. (shrink)

A comparison between the Prolegomena of Chapter II of De iure praedae and the Prolegomena of De iure belli ac pacis leads to the conclusion that the ideas of Grotius on legal systematization have changed considerably between 1604 and 1625. Whereas Grotius starts in IPC with general principles with a rather unclear distinction between leges and regulae, in IBP he gives first the philosophical and theological basis of international law, intertwined by a concise set of general legal rules, mostly derived (...) from Roman law after its reception in Western Europe. The general outlines of legal systematization in the early-modern period are expounded. In the attempts of legal systematization the concept of subjective rights is essential. These subjective rights are not, as is sometimes assumed, a medieval renewal of legal technique, but can be found essentially already in classical Roman law of the first centuries AD.The institutional system is not yet visible in De iure praedae, it might be different for De iure belli ac pacis. Significant here are possibly the expressions ius ad bellum and ius in bello. (shrink)

Anti-exceptionalism about logic states that logical theories have no special epistemological status. Such theories are continuous with scientific theories. Contemporary anti-exceptionalists include the semantic paradoxes as a part of the elements to accept a logical theory. Exploring the Buenos Aires Plan, the recent development of the metainferential hierarchy of ST\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$${\mathbf {ST}}$$\end{document}-logics shows that there are multiple options to deal with such paradoxes. There is a whole ST\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} (...) \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$${\mathbf {ST}}$$\end{document}-based hierarchy, of which LP\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$${\mathbf {LP}}$$\end{document} and ST\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$${\mathbf {ST}}$$\end{document} themselves are only the first steps. This means that the logics in this hierarchy are also options to analyze the inferential patterns allowed in a language that contains its own truth predicate. This paper explores these responses analyzing some reasons to go beyond the first steps. We show that LP\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$${\mathbf {LP}}$$\end{document}, ST\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$${\mathbf {ST}}$$\end{document} and the logics of the ST\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$${\mathbf {ST}}$$\end{document}-hierarchy offer different diagnoses for the same evidence: the inferences and metainferences the agents endorse in the presence of the truth-predicate. But even if the data are not enough to adopt one of these logics, there are other elements to evaluate the revision of classical logic. Which is the best explanation for the logical principles to deal with semantic paradoxes? How close should we be to classical logic? And mainly, how could a logic obey the validities it contains? From an anti-exceptionalist perspective, we argue that ST\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$${\mathbf {ST}}$$\end{document}-metainferential logics in general—and STTω\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$${\mathbf {STT}}_{\omega }$$\end{document} in particular—are the best available options to explain the inferential principles involved with the notion of truth. (shrink)

In this note we shall argue that Milne’s new effort does not refute Truthmaker Maximalism. According to Truthmaker Maximalism, every truth has a truthmaker. Milne has attempted to refute it using the following self-referential sentence M: This sentence has no truthmaker. Essential to his refutation is that M is like the Gödel sentence and unlike the Liar, and one way in which Milne supports this assimilation is through the claim that his proof is essentially object-level and not semantic. In Section (...) 2, we shall argue that Milne is still begging the question against Truthmaker Maximalism. In Section 3, we shall argue that even assimilating M to the Liar does not force the truthmaker maximalist to maintain the ‘dull option’ that M does not express a proposition. There are other options open and, though they imply revising the logic in Milne’s reasoning, this is not one of the possible revisions he considers. In Section 4, we shall suggest that Milne’s proof requires an implicit appeal to semantic principles and notions. In Section 5, we shall point out that there are two important dissimilarities between M and the Gödel sentence. Section 6 is a brief summary and conclusion. (shrink)

Resumen: La tolerancia es un privilegio de los poderosos. Una persona puede tolerar sólo si tiene el poder para interferir con aquello que objeta. En este artículo analizaré las circunstancias en las que alguien tiene el poder para tolerar. Argumentaré que la respuesta debe incorporar consideraciones tanto prácticas como metafísicas. Específicamente, defenderé que alguien tiene el poder para tolerar cuando sus propiedades fundan tal poder en la situación práctica en que ella se encuentra, según es caracterizada por sus intereses prácticos. (...) Al hacerlo criticaré el análisis del mencionado poder realizado por Glen Newey. (shrink)

Experimentation represents today a ‘hot’ topic in computing. If experiments made with the support of computers, such as computer simulations, have received increasing attention from philosophers of science and technology, questions such as “what does it mean to do experiments in computer science and engineering and what are their benefits?” emerged only recently as central in the debate over the disciplinary status of the discipline. In this work we aim at showing, also by means of paradigmatic examples, how the traditional (...) notion of controlled experiment should be revised to take into account a part of the experimental practice in computing along the lines of experimentation as exploration. Taking inspiration from the discussion on exploratory experimentation in the philosophy of science—experimentation that is not theory-driven—we advance the idea of explorative experiments that, although not new, can contribute to enlarge the debate about the nature and role of experimental methods in computing. In order to further refine this concept we recast explorative experiments as socio-technical experiments, that test new technologies in their socio-technical contexts. We suggest that, when experiments are explorative, control should be intended in a posteriori form, in opposition to the a priori form that usually takes place in traditional experimental contexts. (shrink)

The question about the scientific nature of computing has been widely debated with no universal consensus reached about its disciplinary status. Positions vary from acknowledging computing as the science of computers to defining it as a synthetic engineering discipline. In this paper, we aim at discussing the nature of computing from a methodological perspective. We consider, in particular, the nature and role of experiments in this field, whether they can be considered close to the traditional experimental scientific method or, instead, (...) they possess peculiar and unique features. We argue that this experimental perspective should be taken into account when discussing the status of computing. We critically survey how the experimental method has been conceived and applied in computing, and some open issues that could be tackled with the aid of the history of science, the philosophy of science, and the philosophy of technology. (shrink)

In this article, we will present a number of technical results concerning Classical Logic, ST and related systems. Our main contribution consists in offering a novel identity criterion for logics in general and, therefore, for Classical Logic. In particular, we will firstly generalize the ST phenomenon, thereby obtaining a recursively defined hierarchy of strict-tolerant systems. Secondly, we will prove that the logics in this hierarchy are progressively more classical, although not entirely classical. We will claim that a logic is to (...) be identified with an infinite sequence of consequence relations holding between increasingly complex relata: formulae, inferences, metainferences, and so on. As a result, the present proposal allows not only to differentiate Classical Logic from ST, but also from other systems sharing with it their valid metainferences. Finally, we show how these results have interesting consequences for some topics in the philosophical logic literature, among them for the debate around Logical Pluralism. The reason being that the discussion concerning this topic is usually carried out employing a rivalry criterion for logics that will need to be modified in light of the present investigation, according to which two logics can be non-identical even if they share the same valid inferences. (shrink)

This paper presents a case of severe uncertainty in the development of autonomous and intelligent systems in Artificial Intelligence and autonomous robotics. After discussing how uncertainty emerges from the complexity of the systems and their interaction with unknown environments, the paper describes the novel framework of explorative experiments. This framework presents a suitable context in which many of the issues relative to uncertainty, both at the epistemological level and at the ethical one, in this field should be reframed. The case (...) of autonomous robot systems for search and rescue is used to make the discussion more concrete. (shrink)

Ernst Cassirer (1874-1945) gilt mit seiner Philosophie der symbolischen Formen als Begrunder der Kulturphilosophie. Henri Bergson (1859-1941) war lange Zeit einer der beruhmtesten franzosischen Denker und ist im Deutschen bekannt als Lebensphilosoph. Und Alfred North Whitehead (1861-1947) kennt man als Mathematiker und, mit Bertrand Russell, Herausgeber der Principia Mathematica, weniger als Philosophen. Doch dass sie alle drei in ahnlicher Weise eine Philosophie der Erfahrung als dynamisches System entworfen haben, das die philosophische Tradition revolutioniert und als Fundament fur die heute interessantesten (...) philosophischen Stromungen gelten kann, ist wenig bekannt. In diesem Buch wird die Originalitat und Eigenstandigkeit dieser drei grossen Philosophen gezeigt, indem ihr gemeinsamer phanomenologischer Ansatz vorgefuhrt und ausgebaut wird: die Dynamisierung der Form und die Betonung der Kreativitat, die es ermoglichen, Erfahrung als die Entstehung von etwas Neuem zu denken. (shrink)

The European Legacy, Volume 17, Issue 5, Page 688-690, August 2012.

Transhumanism proposes human enhancement while regarding the human body as unfit for the future. This fulfills age-old aspirations for a perfect and durable body. We use “alienation” as a concept to analyze this mismatch between human aspirations and our current condition. For Hannah Arendt alienation may be accounted for in terms of earth- and world-alienation, as well as alienation from human nature, and especially from the given (“resentment of the given”). In transhumanism, the biological body is an impediment to human (...) accomplishment. At most, this movement accepts “clean” bodies, not bodies with excretions. We argue that real human bodies are valued in the event of giving birth, so a modified concept that Arendt proposed, natality, seems a suitable way to explore the dialectic alienation-reconciliation involving the body (Arendt’s “A child has been born unto us”), when re-read by some feminist scholars. (shrink)

Adding a transparent truth predicate to a language completely governed by classical logic is not possible. The trouble, as is well-known, comes from paradoxes such as the Liar and Curry. Recently, Cobreros, Egré, Ripley and van Rooij have put forward an approach based on a non-transitive notion of consequence which is suitable to deal with semantic paradoxes while having a transparent truth predicate together with classical logic. Nevertheless, there are some interesting issues concerning the set of metainferences validated by this (...) logic. In this paper, we show that this logic, once it is adequately understood, is weaker than classical logic. Moreover, the logic is in a way similar to the paraconsistent logic LP. (shrink)

While some form of evaluation has always been employed in science (e.g. peer review, hiring), formal systems of evaluation of research and researchers have recently come to play a more prominent role in many countries because of the adoption of new models of governance. According to such models, the quality of the output of both researchers and their institutions is measured, and issues such as eligibility for tenure or the allocation of public funding to research institutions crucially depends on the (...) outcomes of such measures. However, concerns have been raised over the risk that such evaluation may be threatening epistemic pluralism by penalizing the existent heterodox schools of thought and discouraging the pursuit of new ones. It has been proposed that this may happen because of epistemic bias favouring mainstream research programmes. In this paper, I claim that (1) epistemic pluralism is desirable and should be preserved; (2) formal evaluation exercises may threaten epistemic pluralism because they may be affected by some form of epistemic bias; therefore, (3) to preserve epistemic pluralism, we need some strategy to actively dampen epistemic bias. (shrink)

In some recent articles, Cobreros, Egré, Ripley, & van Rooij have defended the idea that abandoning transitivity may lead to a solution to the trouble caused by semantic paradoxes. For that purpose, they develop the Strict-Tolerant approach, which leads them to entertain a nontransitive theory of truth, where the structural rule of Cut is not generally valid. However, that Cut fails in general in the target theory of truth does not mean that there are not certain safe instances of Cut (...) involving semantic notions. In this article we intend to meet the challenge of answering how to regain all the safe instances of Cut, in the language of the theory, making essential use of a unary recovery operator. To fulfill this goal, we will work within the so-called Goodship Project, which suggests that in order to have nontrivial naïve theories it is sufficient to formulate the corresponding self-referential sentences with suitable biconditionals. Nevertheless, a secondary aim of this article is to propose a novel way to carry this project out, showing that the biconditionals in question can be totally classical. In the context of this article, these biconditionals will be essentially used in expressing the self-referential sentences and, thus, as a collateral result of our work we will prove that none of the recoveries expected of the target theory can be nontrivially achieved if self-reference is expressed through identities. (shrink)

It is widely accepted that a theory of truth for arithmetic should be consistent, but -consistency is a highly desirable feature for such theories. The point has already been made for first-order languages, though the evidence is not entirely conclusive. We show that in the second-order case the consequence of adopting -inconsistent theories of truth are considered: the revision theory of nearly stable truth T # and the classical theory of symmetric truth FS. Briefly, we present some conceptual problems with (...) ω-inconsistent theories, and demonstrate some technical results that support our criticisms of such theories. (shrink)