Can one extend crisp Peano arithmetic PA by a possibly many-valued predicate Tr(x) saying "x is true" and satisfying the "dequotation schema" $\varphi \equiv \text{Tr}(\bar{\varphi})$ for all sentences φ? This problem is investigated in the frame of Lukasiewicz infinitely valued logic.

This paper concerns the question of how to draw inferences common sensically from uncertain knowledge. Since the early work of Shore and Johnson (1980), Paris and Vencovská (1990), and Csiszár (1989), it has been known that the Maximum Entropy Inference Process is the only inference process which obeys certain common sense principles of uncertain reasoning. In this paper we consider the present status of this result and argue that within the rather narrow context in which we work this complete and (...) consistent mode of uncertain reasoning is actually characterised by the observance of just a single common sense principle (or slogan). (shrink)

Pure Inductive Logic is the study of rational probability treated as a branch of mathematical logic. This monograph, the first devoted to this approach, brings together the key results from the past seventy years, plus the main contributions of the authors and their collaborators over the last decade, to present a comprehensive account of the discipline within a single unified context.

This paper corrects three widely held misunderstandings about Maxent when used in common sense reasoning: That it is language dependent; That it produces objective facts; That it subsumes, and so is at least as untenable as, the paradox-ridden Principle of Insufficient Reason.

Frank Plumpton Ramsey (1903–30) made seminal contributions to philosophy, mathematics and economics. Whilst he was acknowledged as a genius by his contemporaries, some of his most important ideas were not appreciated until decades later; now better appreciated, they continue to bear an influence upon contemporary philosophy. His historic significance was to usher in a new phase of analytic philosophy, which initially built upon the logical atomist doctrines of Bertrand Russell and Ludwig Wittgenstein, raising their ideas to a new level of (...) sophistication, but ultimately he became their successor rather than remain a mere acolyte. (shrink)

Rational Pavelka logic extends Lukasiewicz infinitely valued logic by adding truth constants r̄ for rationals in [0, 1]. We show that this is a conservative extension. We note that this shows that provability degree can be defined in Lukasiewicz logic. We also give a counterexample to a soundness theorem of Belluce and Chang published in 1963.

We investigate uncertain reasoning with quantified sentences of the predicate calculus treated as the limiting case of maximum entropy inference applied to finite domains.

A necessary and sufficient condition in terms of a de Finetti style representation is given for a probability function in Polyadic Inductive Logic to satisfy being part of a Language Invariant family satisfying Spectrum Exchangeability. This theorem is then considered in relation to the unary Carnap and Nix–Paris Continua.

We give a brief account of some de Finetti style representation theorems for probability functions satisfying Spectrum Exchangeability in Polyadic Inductive Logic, together with applications to Non-splitting, Language Invariance, extensions with Equality and Instantial Relevance.

We consider the version of Pure Inductive Logic which obtains for the language with equality and a single unary function symbol giving a complete characterization of the probability functions on this language which satisfy Constant Exchangeability.

We propose and investigate an Analogy Principle in the context of Unary Inductive Logic based on a notion of support by structural similarity which is often employed to motivate scientific conjectures.

We argue in favour of identifying one aspect of rational choice with the tendency to conform to the choice you expect another like-minded, but non-communicating, agent to make and study this idea in the very basic case where the choice is from a non-empty subset K of 2 A and no further structure or knowledge of A is assumed.

This paper investigates the quantifier "there exist unboundedly many" in the context of first-order arithmetic. An alternative axiomatization is found for Peano arithmetic based on an axiom schema of regularity: The union of boundedly many bounded sets is bounded. We also obtain combinatorial equivalents of certain second-order theories associated with cuts in nonstandard models of arithmetic.

We prove that: • if there is a model of I∆₀ + ¬ exp with cofinal Σ₁-definable elements and a Σ₁ truth definition for Σ₁ sentences, then I∆₀ + ¬ exp +¬BΣ₁ is consistent, • there is a model of I∆₀ Ω₁ + ¬ exp with cofinal Σ₁-definable elements, both a Σ₂ and a ∏₂ truth definition for Σ₁ sentences, and for each n > 2, a Σ n truth definition for Σ n sentences. The latter result is obtained by (...) constructing a model with a recursive truth-preserving translation of Σ₁ sentences into boolean combinations of $\exists \sum {\begin{array}{*{20}{c}} h \\ 0 \\ \end{array} } $ sentences. We also present an old but previously unpublished proof of the consistency of I∆₀ + ¬ exp + ¬BΣ₁ under the assumption that the size parameter in Lessan's ∆₀ universal formula is optimal. We then discuss a possible reason why proving the consistency of I∆₀ + ¬ exp + ¬BΣ₁ unconditionally has turned out to be so difficult. (shrink)

The logical consequence relations η▹η provide a very attractive way of inferring new facts from inconsistent knowledge bases without compromising standards of credibility. In this short note we provide proof theories and completeness theorems for these consequence relations which may have some applicability in small examples.

We consider two formalizations of the notion of irrelevance as a rationality principle within the framework of (Carnapian) Inductive Logic: Johnson's Sufficientness Principle, JSP, which is classically important because it leads to Carnap's influential Continuum of Inductive Methods and the recently proposed Weak Irrelevance Principle, WIP. We give a complete characterization of the language invariant probability functions satisfying WIP which generalizes the Nix-Paris Continuum. We argue that the derivation of two very disparate families of inductive methods from alternative perceptions of (...) 'irrelevance' is an indication that this notion is imperfectly understood at present. (shrink)

We define certain properties of subsets of models of arithmetic related to their codability in end extensions and elementary end extensions. We characterize these properties using some more familiar notions concerning cuts in models of arithmetic.

In lieu of an abstract, here is a brief excerpt of the content:Journal of the History of Philosophy 41.3 (2003) 424-425 [Access article in PDF] Martin Beck Matustík. Jürgen Habermas: A Philosophical-Political Profile. Lanham, MD: Rowman & Littlefield Publishers, 2001. Pp. xxxvii + 341. Cloth, $85.00. Paper, $29.95.Martin Beck Matustík's Jürgen Habermas is arguably the most exciting contribution to critical theory debates and scholarship in the last decade. Not only does it provide an original and convincing portrayal of Habermas's life (...) and work to date, it shows Matustík as one of the pre-eminent twenty first-century critical theorists in his own right. And it confirms for radical social theorists that a confrontation with Habermas remains a productive encounter, for as with all of the greatest figures in the history of philosophy, we learn as much from his mistakes as from his successes.Matustík's brilliant innovation is to literally invent a new genre of philosophical biography. Studying the relationship between Habermas's life and his writings, Matustík distinguishes between authoring (the dramatic situations of one's life) and authorship (one's theoretical and political oeuvre). Taken separately, both Habermas's authoring and authorship demonstrate huge, sometimes culpable, blindnesses and aporias. Combined, they show him to be one of the most nuanced and provocative intellectuals of our age.Habermas's authorship is quite well known and academically influential, resulting recently in what some have called a critical theory industry. (Matustík previously explored this authorship in Postnational Identity: Critical Theory and Existential Philosophy in Habermas, Kierkegaard, and Havel [Guilford, 1993].) Through a fascinating account of his well-known major works combined with many lesser known (and untranslated) ones such as the Kleine Politische Schriften, Matustík convincingly describes Habermas's oeuvreas an integration of "the constitutional needs of 1945 with the revolutionary core of 1968, while searching for an audience and the procedurally supported life forms that would receive this historical integration" (91). Matustík's reconstruction of the existential dimension of Habermas's communicative turn continues to challenge more conservative third-generation critical theorists as well as those discontents who merely focus on his formalistic and legalistic turn since the publication of the monumental Theorie des Kommunikativen Handelns. Left here, Jürgen Habermas would already constitute a major contribution.But all is not left here; the bulk of the text engages the dramatic, generational profiles that comprise Habermas's heretofore underthematized authoring, including:his "existentially motivated philosophical birthday," May 8, 1945;his 1953 public break with Heidegger, publishing "Mit Heidegger gegen Heidegger denken";his participation in the anti-nuclear movement of the late 1950s;his "break" with the student movement after Benno Ohnesorg's murder by Berlin police in 1967;his involvement in the controversies around the German Autumn in 1977; andhis qualified support for the Gulf War in 1991, and then again for the 1999 NATO intervention in Kosovo/a.In the connection between authoring and authorship, Habermas's true richness as an intellectual emerges. For he has been involved in an intricate dance between what Matustík calls "learning by disaster" and "blindness by disaster" that captures the true heart of communicative ethics and critical social theory for a skeptical age. First his blindness: [Habermas] says yes only to those aspects of the student movement that fit within his horizon.... He misses the core of the worldwide student movements, the core inspired by the postcolonial turn and its constitutive liberation struggles by various oppressed gender, sex, race, and economic classes. His partial no to the student movement expresses his own blindness to this main student challenge. His no is born from his blindness by disaster—his blindness by the light of liberation in 1945. (252, italics in original) Still, from as early as 1945 Habermas's life is also marked by a constantly recurring struggle with "learning by disaster," for he is indeed cognizant of the possible invasion of communication by the "monstrously" or "traumatically" unspeakable (Auschwitz). Matustík sees Habermas's writings and profile as a form of witnessing to the disasters of the traumatic past... (shrink)

During two centuries of industrial revolution, history's most powerful ruling class has been produced, equipped, and armed to the teeth --not just with bullets but also with powerful media and an aggressive ideology of domination. Increasingly, the democratic institutions crafted at the dawn of capitalism are being undermined or overrun by corporate and financial overseers. Despite the fact that history gives ample reason to fear the worst for the future, social and political theory can be a form of resistance and (...) hope. The papers in this volume express this hope, exploring progressive and liberatory institutional conceptions; analyzing multiple experiences of alienation and culture; reconceiving gender, sexuality, and desire; and scrutinizing humanitarian intervention for both corrupted elements and future possibilities for the just defense of the defenseless. These papers were selected from among the best of those presented at the RPA's 4th biennial conference, held in November 2000 at Loyola University - Chicago. (shrink)

The series of conversations between Angela Y. Davis and Eduardo Mendieta entitled Abolition Democracy is a powerful investigation of the failed moral imagination of imperial democracies. After examining their discussion of how truncated political discourses enable abuses in both war and imprisonment, I look to the “exceptional” status of war prisons such as at Guantánamo and Abu Ghraib. I argue that domestic prisons, like international war prisons, are means for the paradigmatic functioning of the exception in modern democracy, as described (...) by Giorgio Agamben, and thus constitute no less of an “ultimate carceral threat.” Within the domestic prison, the legal status of inmates is virtually suspended and they are reduced to bare life. I conclude that we may yet share the hopes of Davis and Mendieta for an abolition democracy, and that such a democracy would bear the echoes of the unconditional sovereignty “to come” theorized by Jacques Derrida. (shrink)

The rapprochement between critical social theory and liberal political theory raises the question of whether Critical Theory remains adequately equipped to respond to contemporary global crises such as nationalism and ecological devastation. Recent Critical Theory---represented by the 2nd generation Frankfurt School writings of Jurgen Habermas and his U.S. reception---has neglected the original program of critical theory as an oppositional methodology oriented to liberation. This liberatory spirit has been replaced by an internal debate whose boundaries are set by current discourses within (...) the philosophy of language and moral/political philosophy, and by the one-sided response of Critical Theorists to the influx of postmodernism to the academy. ;Habermas's procedural framework for democratic legitimation, in which meeting formal conditions legitimates the outcome of discursively-based decisions, implies minimal background conditions which, when met by existing institutions and mechanisms of consent-generation, lead Habermas to tacitly legitimate both anti-democratic practices and geo-political calamities. This brings Habermas's theory quite close to the uncritical Enlightenment discourse of John Rawls. While Habermas argues he is the bearer of a "counter-discourse of modernity," his theory, like Rawls's excludes the margins of opposition in which hope for liberation from existing institutions is most clearly found. ;I thus recommend a return to first-generation critical theory, reread as a philosophy of praxis. I argue against recent post-Marxist social theory that the mere proliferation of discourses is inadequate to respond to the demands of liberation articulated by the disenfranchised and oppressed. I also argue against neo0Heideggerian "politics of thought." These discourses are replaced by a New Critical Theory which refuses abstract polarization between modern and postmodern thought, and seeks to displace both current discourses of legitimation and the regimes they support. New Critical Theory is exemplified by recent developments in feminist theory and postmodern social theory . ;Though ongoing pathologies of modernity resist global attempts at either remediation of radical change-and thus ope for liberation continues to appear impossible-I conclude that oppositional theory and oppositional movements have not yet exhausted all possibilities for mutual reinforcement. (shrink)

In the last couple years of George W. Bush’s reign the word “sovereignty” has been on everyone’s lips. As the U.S. prepared to invade Iraq in March 2003, those who supported the war claimed that Iraq posed a threat to U.S. security and sovereignty while those against the war argued that a preemptive strike against another sovereign nation was justified only in urgent self-defense or that U.S. sovereignty should ultimately yield to the sovereignty of international organizations such as the UN. (...) But what exactly is sovereignty?In this paper I take a few cues from Jacques Derrida’s recently published Rogues in order to analyze in detail the Platonic origins of sovereignty. I demonstrate the way in which Plato displaces or transforms a sovereignty based in convention and institutions into a sovereignty rooted in the putative knowledge of the few. Such an analysis of the origins of sovereignty can go a long way, I argue, in helping us understand and resist the policies and arguments of our sovereigns and the hidden ideas of sovereignty on which they rely. (shrink)

This essay is comprised of two unusual pairings—Immanuel Wallerstein with Michael Hardt and Antonio Negri; and Don DeLillo with William Gibson—and a thesis: We live, today, in a period of transition between modernity and postmodernity that is best characterized as what I call hyper-capitalism. The end of modernity, as described both by Wallerstein’s world-systems theory and by the “postmodern” political philosophy of the authors of Empire, does not lead us into postmodernity proper, but into a period of geopolitical chaos. This (...) chaos may be best understood, not only by closing the gap between these variegated social theorists, but also via the dystopic cyberpunk fiction of DeLillo’s Cosmopolis and Gibson’s Pattern Recognition. (shrink)

An edited collection of all new work in the area of "new critical theory," intended to serve as a signature volume for the New Critical Theory Series. The volume, like the series as a whole, is designed to capture the present moment in postdisciplinary theory, as the older tradition of critical theory in the Frankfurt School sense comes together with postmodernism and the new critical theory. It represents the dialogue that is taking place among the various strands of theory and (...) can serve as a survey of contemporary leftist philosophy. (shrink)