We propose a new class of multiple contraction operations — the system of spheres-based multiple contractions — which are a generalization of Grove’s system of spheres-based (singleton) contractions to the case of contractions by (possibly non-singleton) sets of sentences. Furthermore, we show that this new class of functions is a subclass of the class of the partial meet multiple contractions.
The postulate of Recovery, among the six postulates for theory contraction, formulated and studied by Alchourrón, Gärdenfors and Makinson is the one that has provoked most controversy. In this article we construct withdrawal functions that do not satisfy Recovery, but try to preserve minimal change, and relate these withdrawal functions with the AGM contraction functions.
The 1985 paper by Carlos Alchourrón, Peter Gärdenfors, and David Makinson, “On the Logic of Theory Change: Partial Meet Contraction and Revision Functions” was the starting-point of a large and rapidly growing literature that employs formal models in the investigation of changes in belief states and databases. In this review, the first twenty-five years of this development are summarized. The topics covered include equivalent characterizations of AGM operations, extended representations of the belief states, change operators not included in the original (...) framework, iterated change, applications of the model, its connections with other formal frameworks, computatibility of AGM operations, and criticism of the model. (shrink)
The 1985 paper by Carlos Alchourrón (1931–1996), Peter Gärdenfors, and David Makinson (AGM), "On the Logic of Theory Change: Partial Meet Contraction and Revision Functions" was the starting-point of a large and rapidly growing literature that employs formal models in the investigation of changes in belief states and databases. In this review, the first twentyfive years of this development are summarized. The topics covered include equivalent characterizations of AGM operations, extended representations of the belief states, change operators not included in (...) the original framework, iterated change, applications of the model, its connections with other formal frameworks, computatibility of AGM operations, and criticism of the model. (shrink)
This paper focuses on the extension of AGM that allows change for a belief base by a set of sentences instead of a single sentence. In [FH94], Fuhrmann and Hansson presented an axiomatic for Multiple Contraction and a construction based on the AGM Partial Meet Contraction. We propose for their model another way to construct functions: Multiple Kernel Contraction, that is a modification of Kernel Contraction, proposed by Hansson [Han94] to construct classical AGM contractions and belief base contractions. This construction (...) works out the unsolved problem pointed out by Hansson in [Han99, pp. 369]. (shrink)
We introduce a constructive model of selective belief revision in which it is possible to accept only a part of the input information. A selective revision operator ο is defined by the equality K ο α = K * f(α), where * is an AGM revision operator and f a function, typically with the property ⊢ α → f(α). Axiomatic characterizations are provided for three variants of selective revision.
Since the early 1980s, logical theories of belief revision have offered formal methods for the transformation of knowledge bases or “corpora” of data and beliefs. Early models have dealt with unconditional acceptance and integration of potentially belief-contravening pieces of information into the existing corpus. More recently, models of “non-prioritized” revision were proposed that allow the agent rationally to refuse to accept the new information. This paper introduces a refined method for changing beliefs by specifying constraints on the relative plausibility of (...) propositions. Like the earlier belief revision models, the method proposed is a qualitative one, in the sense that no numbers are needed in order to specify the posterior plausibility of the new information. We use reference beliefs in order to determine the degree of entrenchment of the newly accepted piece of information. We provide two kinds of semantics for this idea, give a logical characterization of the new model, study its relation with other operations of belief revision and contraction, and discuss its intuitive strengths and weaknesses. (shrink)
In the logic of theory change, the standard model is AGM, proposed by Alchourrón et al. (J Symb Log 50:510–530, 1985 ). This paper focuses on the extension of AGM that accounts for contractions of a theory by a set of sentences instead of only by a single sentence. Hansson (Theoria 55:114–132, 1989 ), Fuhrmann and Hansson (J Logic Lang Inf 3:39–74, 1994 ) generalized Partial Meet Contraction to the case of contractions by (possibly non-singleton) sets of sentences. In this (...) paper we present the possible worlds semantics for partial meet multiple contractions. (shrink)
In this article we present a new class of multiple contraction functionswhich are a generalization of the epistemic entrenchment-based contractions (Grdenfors & Makinson, 1988) to the case of contractions by (possibly nonsingleton) sets of sentences and provide an axiomatic characterization for that class of functions. Moreover, we show that the class of epistemic entrenchment-based multiple contractions coincides with the class of system of spheres-based multiple contractions introduced in Fermé & Reis (2012).
Semi-contraction is a withdrawal operation defined by Fermé in "On the logic of theory change: Contraction without recovery." In this paper we propose: (1) an axiomatic characterization of semi-contraction; (2) an alternative construction for semi-contraction based on semi-saturatable sets, inspired by Levi's saturatable sets; (3) a special kind of semi-contraction that satisfies the Lindström and Rabinowicz interpolation thesis.
Five types of constructions are introduced for non-prioritized belief revision, i.e., belief revision in which the input sentence is not always accepted. These constructions include generalizations of entrenchment-based and sphere-based revision. Axiomatic characterizations are provided, and close interconnections are shown to hold between the different constructions.
This paper focuses on the extension of AGM that allows change for a belief base by a set of sentences instead of a single sentence. In [FH94], Fuhrmann and Hansson presented an axiomatic for Multiple Contraction and a construction based on the AGM Partial Meet Contraction. We propose for their model another way to construct functions: Multiple Kernel Contraction, that is a modification of Kernel Contraction, proposed by Hansson [Han94] to construct classical AGM contractions and belief base contractions. This construction (...) works out the unsolved problem pointed out by Hansson in [Han99, pp. 369]. (shrink)
Alchourrón devoted his last years to the analysis of the notion of defeasible conditionalization. He developed a formal system capturing the essentials of this notion. His definition of the defeasible conditional is given in terms of strict implication operator and a modal operator f which is interpreted as a revision function at the language level. In this paper, we will point out that this underlying revision function is more general than the well known AGM revision [4]. In addition, we will (...) give a complete characterization of that more general kind of revision and will show how permits to unify models of revision given by other authors. Alchourrón dedicó sus últimos años al análisis de la noción de condicionalización derrotable. Desarrolló un sistema formal que captura los aspectos esenciales de esta noción. Su definición de condicional revisable está dada en términos del operador de implicación estricta y un operador modal f el cual es interpretado en el nivel del lenguaje como una función de revisión. En este trabajo señalamos que la función de revisión subyacente es más general que la bien conocida función de revisión de AGM. Además, presentaremos una caracterización completa de una clase de revisión más general y mostraremos cómo nuestro modelo permite unificar los modelos de revisión propuestos por otros autores. (shrink)
Five types of constructions are introduced for non-prioritized belief revision, i.e., belief revision in which the input sentence is not always accepted. These constructions include generalizations of entrenchment-based and sphere-based revision. Axiomatic characterizations are provided, and close interconnections are shown to hold between the different constructions.
_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)
Nous partageons, au sujet de la nature du temps, l’intuition fondamentale selon laquelle le futur est ouvert tandis que le passé est fermé. Par exemple, alors que nous pensons pouvoir influencer le cours du futur, nous savons qu’aucune de nos actions ne peut influencer le cours du passé. Cependant, bien que cette intuition soit largement partagée, identifier la nature de l’asymétrie qu’elle reflète n’est pas chose aisée. Dans cet article, j’explore différentes manières de caractériser l’asymétrie entre le ‘futur ouvert’ et (...) le ‘passé fermé’ dans le but de rendre justice à notre intuition. En particulier, je discute la question de savoir si cette asymétrie doit être caractérisée de façon sémantique, épistémique, métaphysique ou ontologique. Je conclus que, bien que plusieurs de ces caractérisations contribuent à une compréhension globale du phénomène, une caractérisation ontologique de l’asymétrie doit être préférée, car elle s’avère supérieure en termes de pouvoir explicatif, d’intelligibilité, ainsi que dans sa capacité à inclure différents sens que l’on peut prêter au concept d’ouverture. (shrink)
Who Comes After the Subject offers the most comprehensive overview to date of contemporary French thinking on the question of the "subject." Nineteen philosophers and critics offer diverse perspectives on the subject as it has manifested itself in our modern discourses: the subject of philosophy, of the State, of history, of psychoanalysis. Each contribution asks What has become of the subject? or What has the subject become? in the wake of its critiques and deconstructions .
Rejecting the Cut rule has been proposed as a strategy to avoid both the usual semantic paradoxes and the so-called v-Curry paradox. In this paper we consider if a Cut-free theory is capable of accurately representing its own notion of validity. We claim that the standard rules governing the validity predicate are too weak for this purpose and we show that although it is possible to strengthen these rules, the most obvious way of doing so brings with it a serious (...) problem: an internalized version of Cut can be proved for a Curry-like sentence. We also evaluate a number of possible ways of escaping this difficulty. (shrink)
Opinionated state of the art paper on scientific explanation. Analysis and discussion of the most relevant models and theories in the contemporary literature, namely, the deductive-nomological model, the models of inductive-statistical and statistical relevance, the pragmatic theory of why questions, the unifying theory of standard arguments, and the causal/non-causal counterfactual theory.
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)
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)
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)
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)
"The essays in this book make it elegantly clear that there is a vigorous and rigorous Latin American philosophy... and that others dismiss it at their peril." —Mario Sáenz The ten essays in this lively anthology move beyond a purely historical consideration of Latin American philosophy to cover recent developments in political and social philosophy as well as innovations in the reception of key philosophical figures from the European Continental tradition. Topics such as indigenous philosophy, multiculturalism, the philosophy of race, (...) democracy, postmodernity, the role of women, and the position of Latin America and Latin Americans in a global age are explored by notable philosophers from the region. An introduction by Eduardo Mendieta examines recent trends and points to the social, political, economic, and cultural conditions that have inspired the discipline. Latin American Philosophy brings English-speaking readers up to date with recent scholarship and points to promising new directions. (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)
In this paper, we present a non-trivial and expressively complete paraconsistent naïve theory of truth, as a step in the route towards semantic closure. We achieve this goal by expressing self-reference with a weak procedure, that uses equivalences between expressions of the language, as opposed to a strong procedure, that uses identities. Finally, we make some remarks regarding the sense in which the theory of truth discussed has a property closely related to functional completeness, and we present a sound and (...) complete three-sided sequent calculus for this expressively rich theory. (shrink)
In 1997, I introduced the concept and the phrase “bio art”, originally in relation to my artwork “Time Capsule”. This work approached the problem of wet interfaces and human hosting of digital memory through the implantation of a microchip. The work consisted of a microchip implant, seven sepia-toned photographs, a live television broadcast, a webcast, interactive telerobotic webscanning of the implant, a remote database intervention, and additional display elements, including an X-ray of the implant. While “bio art” is applicable to (...) a large gamut of in vivo works that employ biological media, made by myself and others, in 1998, I started to employ the more focused term “transgenic art”. Republished in Ars Electronica ‘99—Life Science, ed. Gerfried Stocker and Christine Schopf, 289–296.) to describe a new art form based on the use of genetic engineering to create unique living beings. Art that manipulates or creates life must be pursued with great care, with acknowledgment of the complex issues it raises and, above all, with a commitment to respect, nurture, and love the life created. I have been creating and exhibiting a series of transgenic artworks since 1999. I have also been creating bio art that is not transgenic. The implications of this ongoing body of work have particular esthetic and social ramifications, crossing several disciplines and providing material for further reflection and dialog. What follows is an overview of theses works, the issues they evoke, and the debates they have elicited. (shrink)
This paper defends the Quine-Putnam mathematical indispensability argument against two objections raised by Penelope Maddy. The objections concern scientific practices regarding the development of the atomic theory and the role of applied mathematics in the continuum and infinity. I present two alternative accounts by Stephen Brush and Alan Chalmers on the atomic theory. I argue that these two theories are consistent with Quine’s theory of scientific confirmation. I advance some novel versions of the indispensability argument. I argue that these new (...) versions accommodate Maddy’s history of the atomic theory. Counter-examples are provided regarding the role of the mathematical continuum and mathematical infinity in science. (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)
Transhumanist thought on overpopulation usually invokes the welfare of present human beings and the control over future generation, thus minimizing the need and meaning of new births. Here we devise a framework for a more thorough screening of the relevant literature, to have a better appreciation of the issue of natality. We follow the lead of Hannah Arendt and Brent Waters in this respect. With three overlapping categories of words, headed by “natality,” “birth,” and “intergenerations,” a large sample of books (...) on transhumanism is scrutinized, showing the lack of sustained reflection on the issue. After this preliminary scrutiny, a possible defense of natality in face of modern and transhumanist thought is marshaled, evoking a number of desirable human traits. One specific issue, the impact of modern values on natality, is further explored, reiterating that concerns about overpopulation and enhanced humans should keep in sight the natural cycle of birth and death. (shrink)
To the surprise of many readers, Jürgen Habermas has recently made religion a major theme of his work. Emphasizing both religion's prominence in the contemporary public sphere and its potential contributions to critical thought, Habermas's engagement with religion has been controversial and exciting, putting much of his own work in fresh perspective and engaging key themes in philosophy, politics and social theory. Habermas argues that the once widely accepted hypothesis of progressive secularization fails to account for the multiple trajectories of (...) modernization in the contemporary world. He calls attention to the contemporary significance of "postmetaphysical" thought and "postsecular" consciousness - even in Western societies that have embraced a rationalistic understanding of public reason. Edited by Craig Calhoun, Eduardo Mendieta, and Jonathan VanAntwerpen, _Habermas and Religion_ presents a series of original and sustained engagements with Habermas's writing on religion in the public sphere, featuring new work and critical reflections from leading philosophers, social and political theorists, and anthropologists. Contributors to the volume respond both to Habermas's ambitious and well-developed philosophical project and to his most recent work on religion. The book closes with an extended response from Habermas - itself a major statement from one of today's most important thinkers. (shrink)
