In this book we present a collection of papers on the topic of applying paraconsistent logic to solve inconsistency related problems in science, mathematics and computer science. The goal is to develop, compare, and evaluate different ways of applying paraconsistent logic. After more than 60 years of mainly theoretical developments in many independent systems of paraconsistent logic, we believe the time has come to compare and apply the developed systems in order to increase our philosophical understanding of reasoning when faced (...) with inconsistencies. This book wants to be a first step toward an application based, constructive debate to tackle the question which systems are best applied for which kind of problems and which philosophical conclusions can be drawn from such applications. (shrink)

In this paper I propose a new approach to the foundation of mathematics: non-monotonic set theory. I present two completely different methods to develop set theories based on adaptive logics. For both theories there is a finitistic non-triviality proof and both theories contain (a subtle version of) the comprehension axiom schema. The first theory contains only a maximal selection of instances of the comprehension schema that do not lead to inconsistencies. The second allows for all the instances, also the inconsistent (...) ones, but restricts the conclusions one can draw from them in order to avoid triviality. The theories have enough expressive power to form a justification/explication for most of the established results of classical mathematics. They are therefore not limited by Gödel’s incompleteness theorems. This remarkable result is possible because of the non-recursive character of the final proofs of theorems of non-monotonic theories. I shall argue that, precisely because of the computational complexity of these final proofs, we cannot claim that non-monotonic theories are ideal foundations for mathematics. Nevertheless, thanks to their strength, first order language and the recursive dynamic (defeasible) proofs of theorems of the theory, the non-monotonic theories form (what I call) interesting pragmatic foundations. (shrink)

In this paper, we aim to devise a logic that can deal with both the paradoxes that motivate dialetheism and the paradoxes related to the irrelevance of material implication. We propose the semantics and the sequent calculus of a relevant logic inspired by difference-making accounts of causation and arguably true to Graham Priest’s Logic of Paradox \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}: a relevant logic that validates those and only those \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}-consequences that are not irrelevant. The new logic’s relevant implication is then added to \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} to obtain a logic with the logical vocabulary required to cope with the mentioned paradoxes. (shrink)

A detailed analysis of joint-contribution of premises and conclusions in classically valid sequents is presented in terms of hypergraphs. In (Saint-Germier, P., Verdée, P., & Villalonga, P. T. (2024). _Relevant entailment and logical ground. Philosophical Studies_ (pp. 1–43). https://doi.org/10.1007/s11098-024-02101-1 ), this idea of joint-contribution is introduced and motivated as a method for characterizing four kinds of relevant validity, in the sense of selecting the relevantly valid sequents among the classically valid sequents. The account in (Saint-Germier, P., Verdée, P., (...) & Villalonga, P. T. (2024). _Relevant entailment and logical ground. Philosophical Studies_ (pp. 1–43). https://doi.org/10.1007/s11098-024-02101-1 ) is built on a calculus, called \(\textsf{GLK}^{\hbox {a}}\), which proves grounding claims for (enthymematically) valid sequents. In the present paper an adequate representation of \(\textsf{GLK}^{\hbox {a}}\) is given in terms of hypergraphs. The hypergraphs are a kind of diagrammatic proofs for Classical Propositional Logic, entirely based on the grounds of premises and conclusions. The hypergraphs and their visualization provide insights into the relations between premises and conclusions and into the way validity is produced by the binding of premises and conclusions via their partial grounds. They visualize the network of elements of the sequent that contribute to its logical validity. Non-contributing (i.e. irrelevant) premises and conclusions are then specified to be those that are disconnected from the network, however one constructs the graphs. (shrink)

In this paper, we present a generic format for adaptive vague logics. Logics based on this format are able to (1) identify sentences as vague or non-vague in light of a given set of premises, and to (2) dynamically adjust the possible set of inferences in accordance with these identifications, i.e. sentences that are identified as vague allow only for the application of vague inference rules and sentences that are identified as non-vague also allow for the application of some extra (...) set of classical logic rules. The generic format consists of a set of minimal criteria that must be satisfied by the vague logic in casu in order to be usable as a basis for an adaptive vague logic. The criteria focus on the way in which the logic deals with a special ⊡-operator. Depending on the kind of logic for vagueness that is used as a basis for the adaptive vague logic, this operator can be interpreted as completely true, definitely true, clearly true , etc. It is proven that a wide range of famous logics for vagueness satisfies these criteria when extended with a specific ⊡-operator, e.g. fuzzy basic logic and its well known extensions, cf. [7], super- and subvaluationist logics, cf. [6], [9], and clarity logic, cf. [13]. Also a fuzzy logic is presented that can be used for an adaptive vague logic that can deal with higher-order vagueness. To illustrate the theory, some toy-examples of adaptive vague proofs are provided. (shrink)

In this article, I present a dynamic logic game for defeasible reasoning. I argue that, as far as defeasible reasoning is concerned, one should distinguish between practical and ideal rationality. Starting from the adaptive logic framework, I formalize both rationality notions by means of logic games. The presented adaptive logic games are based on (i) standard logic games on the one hand and (ii) dynamic proof procedures for adaptive logic on the other hand. The games are similar to standard logic (...) games, but have the extra property that some moves are revisable. This is handled by means of a main control game, which starts different standard logic games. I argue that the adaptive logic games form intuitive reasoning models for rationality in defeasible reasoning contexts. Moreover, I will also demonstrate that the games give a good insight in the computational complexity of defeasible reasoning forms. (shrink)

In this article complexity results for adaptive logics using the minimal abnormality strategy are presented. It is proven here that the consequence set of some recursive premise sets is $\Pi _1^1 - complete$ . So, the complexity results in (Horsten and Welch, Synthese 158:41–60,2007) are mistaken for adaptive logics using the minimal abnormality strategy.

In this paper, we present a generic format for adaptive vague logics. Logics based on this format are able to (1) identify sentences as vague or non-vague in light of a given set of premises, and to (2) dynamically adjust the possible set of inferences in accordance with these identifications, i.e. sentences that are identified as vague allow only for the application of vague inference rules and sentences that are identified as non-vague also allow for the application of some extra (...) set of classical logic rules. The generic format consists of a set of minimal criteria that must be satisfied by the vague logic in casu in order to be usable as a basis for an adaptive vague logic. The criteria focus on the way in which the logic deals with a special ⊡-operator. Depending on the kind of logic for vagueness that is used as a basis for the adaptive vague logic, this operator can be interpreted as completely true, definitely true, clearly true, etc. It is proven that a wide range of famous logics for vagueness satisfies these criteria when extended with a specific ⊡-operator, e.g. fuzzy basic logic and its well known extensions, cf. [7], super- and subvaluationist logics, cf. [6], [9], and clarity logic, cf. [13]. Also a fuzzy logic is presented that can be used for an adaptive vague logic that can deal with higher-order vagueness. To illustrate the theory, some toy-examples of adaptive vague proofs are provided. (shrink)

In this paper we first develop a logic independent account of relevant implication. We propose a stipulative denition of what it means for a multiset of premises to relevantly L-imply a multiset of conclusions, where L is a Tarskian consequence relation: the premises relevantly imply the conclusions iff there is an abstraction of the pair such that the abstracted premises L-imply the abstracted conclusions and none of the abstracted premises or the abstracted conclusions can be omitted while still maintaining valid (...) L-consequence. Subsequently we apply this denition to the classical logic consequence relation to obtain NTR-consequence, i.e. the relevant CL-consequence relation in our sense, and develop a sequent calculus that is sound and complete with regard to relevant CL-consequence. We present a sound and complete sequent calculus for NTR. In a next step we add rules for an object language relevant implication to the sequent calculus. The object language implication reflects exactly the NTR-consequence relation. One can see the resulting logic NTR-> as a relevant logic in the traditional sense of the word. By means of a translation to the relevant logic R, we show that the presented logic NTR is very close to relevance logics in the Anderson-Belnap-Dunn-Routley-Meyer tradition. However, unlike usual relevant logics, NTR is decidable for the full language, Disjunctive Syllogism and Adjunction are valid, and neither Modus Ponens nor the Cut rule are admissible. (shrink)

In this paper, we first develop truthmaker semantics for four relevance logics defined as the non-transitive relevant cores [as introduced in Verdée et al. (Aust J Log 16:10–40, 2019)] of the well-known propositional logics CL\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$${\textbf {CL}}$$\end{document} (classical logic), LP\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$${\textbf {LP}}$$\end{document} (the logic of paradox), K3\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$${\textbf {K3}}$$\end{document} (strong Kleene logic), and FDE\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} (...) \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$${\textbf {FDE}}$$\end{document} (first degree entailment). The semantics is similar to Kit Fine’s truthmaker semantics for classical logic, but we define the notion of exact verification similarly to Fine’s notion of loose verification. Dropping Fine’s principle of Downward Closure of the set of consistent states nevertheless warrants the exactness of our verification notion. The semantics of the four non-transitive relevance logics shows that they are in fact straightforward cut-free substructural logics, despite their definition by means of a filtering criterion. We develop the associated sound and complete sequent calculi for these logics. Finally, we argue that the four presented truthmaker semantics are also interesting alternatives to the standard Kit Fine style truthmaker semantics for the original (irrelevant) consequence relations FDE\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$${\textbf {FDE}}$$\end{document}, LP\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$${\textbf {LP}}$$\end{document}, K3\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$${\textbf {K3}}$$\end{document}, and CL\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$${\textbf {CL}}$$\end{document} themselves. The most interesting difference with Fine’s approach is the way in which tautologies are handled: next to their usual verifiers, they are also made true by the empty state. We provide philosophical arguments for the plausibility of such an account. (shrink)

This paper presents eight (previously unpublished) adaptive logics for belief revision, each of which define a belief revision operation in the sense of the AGM framework. All these revision operations are shown to satisfy the six basic AGM postulates for belief revision, and Parikh's axiom of Relevance. Using one of these logics as an example, we show how their proof theory gives a more dynamic flavor to belief revision than existing approaches. It is argued that this turns belief revision (that (...) obeys Relevance) into a more natural undertaking, where analytic steps are performed only as soon as they turn out to be necessary in order to uphold certain beliefs. (shrink)

In this paper, we present a generic format for adaptive vague logics. Logics based on this format are able to (1) identify sentences as vague or non-vague in light of a given set of premises, and to (2) dynamically adjust the possible set of inferences in accordance with these identifications, i.e. sentences that are identified as vague allow only for the application of vague inference rules and sentences that are identified as non-vague also allow for the application of some extra (...) set of classical logic rules. The generic format consists of a set of minimal criteria that must be satisfied by the vague logic in casu in order to be usable as a basis for an adaptive vague logic. The criteria focus on the way in which the logic deals with a special ⊡-operator. Depending on the kind of logic for vagueness that is used as a basis for the adaptive vague logic, this operator can be interpreted as completely true, definitely true, clearly true, etc. It is proven that a wide range of famous logics for vagueness satisfies these criteria when extended with a specific ⊡-operator, e.g. fuzzy basic logic and its well known extensions, cf. [7], super- and subvaluationist logics, cf. [6], [9], and clarity logic, cf. [13]. Also a fuzzy logic is presented that can be used for an adaptive vague logic that can deal with higher-order vagueness. To illustrate the theory, some toy-examples of adaptive vague proofs are provided. (shrink)

It is shown that a set of semi-recursive logics, including many fragments of CL, can be embedded within CL in an interesting way. A logic belongs to the set iff it has a certain type of semantics, called nice semantics. The set includes many logics presented in the literature. The embedding reveals structural properties of the embedded logic. The embedding turns finite premise sets into finite premise sets. The partial decision methods for CL that are goal directed with respect to (...) CL are turned into partial decision methods that are goal directed with respect to the embedded logics. (shrink)

This paper is devoted to a consequence relation combining the negation of Classical Logic ) and a paraconsistent negation based on Graham Priest’s Logic of Paradox ). We give a number of natural desiderata for a logic \ that combines both negations. They are motivated by a particular property-theoretic perspective on paraconsistency and are all about warranting that the combining logic has the same characteristics as the combined logics, without giving up on the radically paraconsistent nature of the paraconsistent negation. (...) We devise the logic \ by means of an axiomatization and three equivalent semantical characterizations. By showing that this logic is maximally paraconsistent, we prove that \ is the only logic satisfying all postulated desiderata. Finally we show how the logic’s infinite-valued semantics permits defining different types of entailment relations. (shrink)

According to an intuitive picture of relevant entailment, an entailment is relevant if all the formulas it contains contribute to its validity. In this paper, we provide a ground-theoretic analysis of this notion of contribution, and as a result of relevant entailment. We build a system of bilateral logical grounding within which we can derive classical entailment and analyze the contribution of premises and conclusions, in terms of a certain type of connection between their respective logical grounds. The resulting framework (...) is shown to have a strong unifying and explanatory power by bringing together the notions of grounding and relevance and explaining the commonalities and differences between alternative contribution-based accounts of relevance. (shrink)

For Tarski logics, there are simple criteria that enable one to conclude that two premise sets are equivalent. We shall show that the very same criteria hold for adaptive logics, which is a major advantage in comparison to other approaches to defeasible reasoning forms. A related property of Tarski logics is that the extensions of equivalent premise sets with the same set of formulas are equivalent premise sets. This does not hold for adaptive logics. However a very similar criterion does. (...) We also shall show that every monotonic logic weaker than an adaptive logic is weaker than the lower limit logic of the adaptive logic or identical to it. This highlights the role of the lower limit for settling the adaptive equivalence of extensions of equivalent premise sets. (shrink)

In this paper we present a logic that determines when implications in a classical logic context express a relevant connection between antecedent and consequent. In contrast with logics in the relevance logic literature, we leave classical negation intact—in the sense that the law of non-contradiction can be used to obtain relevant implications, as long as there is a connection between antecedent and consequent. On the other hand, we give up the requirement that our theory of relevance should be able to (...) define a new standard of deduction. We present and argue for a list of requirements such a logical theory of classical relevance needs to meet and go on to formulate a system that respects each of these requirements. The presented system is a Tarski logic that extends the relevance logic R with a new relevant implication which allows for Disjunctive Syllogism and similar rules. This is achieved by interpreting the logical symbols in the antecedents in a stronger way than the logical symbols in consequents. A proof theory and an algebraic semantics are formulated and interesting metatheorems are proven. Finally we give a philosophical motivation for our non-standard relevant implication and the asymmetric interpretation of antecedents and consequents. (shrink)

The early calculus is a popular example of an inconsistent but fruitful scientific theory. This paper is concerned with the formalisation of reasoning processes based on this inconsistent theory. First it is shown how a formal reconstruction in terms of a sub-classical negation leads to triviality. This is followed by the evaluation of the chunk and permeate mechanism proposed by Brown and Priest in, 379–388, 2004) to obtain a non-trivial formalisation of the early infinitesimal calculus. Different shortcomings of this application (...) of C&P as an explication of inconsistency tolerant reasoning are pointed out, both conceptual and technical. To remedy these shortcomings, an adaptive logic is proposed that allows for conditional permeations of formulas under the assumption of consistency preservation. First the adaptive logic is defined and explained and thereafter it is demonstrated how this adaptive logic remedies the defects C&P suffered from. (shrink)

This paper answers the philosophical contentions defended in Horsten and Welch . It contains a description of the standard format of adaptive logics, analyses the notion of dynamic proof required by those logics, discusses the means to turn such proofs into demonstrations, and argues that, notwithstanding their formal complexity, adaptive logics are important because they explicate an abundance of reasoning forms that occur frequently, both in scientific contexts and in common sense contexts.

This paper answers the philosophical contentions defended in Horsten and Welch (2007, Synthese, 158, 41–60). It contains a description of the standard format of adaptive logics, analyses the notion of dynamic proof required by those logics, discusses the means to turn such proofs into demonstrations, and argues that, notwithstanding their formal complexity, adaptive logics are important because they explicate an abundance of reasoning forms that occur frequently, both in scientific contexts and in common sense contexts.

I how, in contrast to Verdée, that one may think of classical consequence as a form of inexact entailment within a standard modalized state space.

This article reacts against the undesirable ideological separation between dialectical and rhetorical approaches to argumentative discourse. It argues that a sound evaluation of argumentation requires an analysis that reveals all aspects of the discourse pertinent to critical testing. To explain the rationale of the various moves made in the discourse and the strategic patterns behind them, not only the interlocutors' dialectical goals must be taken into account, but also their rhetorical goals. After explaining how rhetorical insight can be instrumental in (...) deepening and justifying a dialectical analysis, an integrated analysis is made of the rhetorical strategies that are brought to bear in an advertorial published by the oil company Shell. (shrink)

In 1936, G. Birkhoff and J. v. Neumann published an article with the title The logic of quantum mechanics'. In this paper, the authors demonstrated that in quantum mechanics the most simple observables which correspond to yes-no propositions about a quantum physical system constitute an algebraic structure, the most important proper ties of which are given by an orthocomplemented and quasimodular lattice Lq. Furthermore, this lattice of quantum mechanical proposi tions has, from a formal point of view, many similarities with (...) a Boolean lattice L8 which is known to be the lattice of classical propositional logic. Therefore, one could conjecture that due to the algebraic structure of quantum mechanical observables a logical calculus Q of quantum mechanical propositions is established, which is slightly different from the calculus L of classical propositional logic but which is applicable to all quantum mechanical propositions. This calculus has sometimes been called 'quan tum logic'. However, the statement that propositions about quantum physical systems are governed by the laws of quantum logic, which differ from ordinary classical logic and which are based on the empirically well-established quantum theory, is exposed to two serious objec tions: Logic is a theory which deals with those relationships between various propositions that are valid independent of the content of the respective propositions. Thus, the validity of logical relationships is not restricted to a special type of proposition, e. g. to propositions about classical physical systems. (shrink)

Martin Heidegger is widely regarded as one of the most influential philosophers of the twentieth-century, and his seminal text Being and Time is considered one of the most significant texts in contemporary philosophy. Yet his name has also been mired in controversy because of his affiliations with the Nazi regime, his failure to criticize its genocidal politics and his subsequent silence about the holocaust. Now, according to Heidegger's wishes, and to complete the publication of his multi-volume Complete Works, his highly (...) controversial and secret 'Black Notebooks' have been released to the public. These notebooks reveal the extent to which Heidegger's 'personal Nazism' was neither incidental nor opportunistic, but part of his philosophical ethos. So, why would Heidegger, far from destroying them, allow these notebooks, which contain examples of this extreme thinking, to be published? In this revealing new book, Peter Trawny, editor of Heidegger's complete works in German, confronts these questions and, by way of a compelling study of his theoretical work, shows that Heidegger was committed to a conception of freedom that is only beholden to the judgement of the history of being; that is, that to be free means to be free from the prejudices, norms, or mores of one's time. Whoever thinks the truth of being freely exposes themselves to the danger of epochal errancy. For this reason, Heidegger's decision to publish his notebooks, including their anti-Jewish passages, was an exercise of this anarchical freedom. In the course of a wide-ranging discussion of Heidegger's views on truth, ethics, the truth of being, tragedy and his relationship to other figures such as Nietzsche and Schmitt, Trawny provides a compelling argument for why Heidegger wanted the explosive material in his Black Notebooks to be published, whilst also offering an original and provocative interpretation of Heidegger's work. (shrink)

This volume is a collection of some of the most important philosophical papers by Peter Gärdenfors. Spanning a period of more than 20 years of his research, they cover a wide ground of topics, from early works on decision theory, belief revision and nonmonotonic logic to more recent work on conceptual spaces, inductive reasoning, semantics and the evolutions of thinking. Many of the papers have only been published in places that are difficult to access. The common theme of all (...) the papers is the dynamics of thought. Several of the papers have become minor classics and the volume bears witness of the wide scope of Gärdenfors’ research and of his crisp and often witty style of writing. The volume will be of interest to researchers in philosophy and other cognitive sciences. (shrink)

Framed by the theory of evolution, this volume offers a new understanding of the mechanisms by which we transfer information from narrative make-believe to real life. Ranging across game theory and philosophy of science, as well as poetics and aesthetics, Peter Swirski explains how literary fictions perform as a systematic tool of enquiry, driven by thought experiments. Crucially, he argues for a continuum between the cognitive tools employed by scientists, philosophers, and scholars or writers of fiction."--Jacket.

The expansion of research on deep brain stimulation (DBS) and adaptive DBS (aDBS) raises important neuroethics and policy questions related to data sharing. However, there has been little empirical research on the perspectives of experts developing these technologies. We conducted semi-structured, open-ended interviews with aDBS researchers regarding their data sharing practices and their perspectives on ethical and policy issues related to sharing. Researchers expressed support for and a commitment to sharing, with most saying that they were either sharing their data (...) or would share in the future and that doing so was important for advancing the field. However, those who are sharing reported a variety of sharing partners, suggesting heterogeneity in sharing practices and lack of the broad sharing that would reflect principles of open science. Researchers described several concerns and barriers related to sharing, including privacy and confidentiality, the usability of shared data by others, ownership and control of data (including potential commercialization), and limited resources for sharing. They also suggested potential solutions to these challenges, including additional safeguards to address privacy issues, standardization and transparency in analysis to address issues of data usability, professional norms and heightened cooperation to address issues of ownership and control, and streamlining of data transmission to address resource limitations. Researchers also offered a range of views on the sensitivity of neural activity data (NAD) and data related to mental health in the context of sharing. These findings are an important input to deliberations by researchers, policymakers, neuroethicists, and other stakeholders as they navigate ethics and policy questions related to aDBS research. (shrink)

Anger is often described as a wild emotion that endangers both social order and the possibility of constructive political dialogue. And yet, anger is an indispensable political emotion – for without angry speech the body politic would lack the voice of the powerless questioning the justice of the dominant order. Anger is not the opposite of order, for anger is domesticated by the dominant to serve order – in the form of force, authority, moral indignation and care. Moreover, order itself, (...) in the form of technical rationality, is rooted in the anger of the middle-class professional whose claim to social status and power depends upon their moralistic enforcement of the rule of technique. A dialogical politics can only emerge when anger is heard with empathy, rather than domesticated or silenced. (shrink)

Peter Achinstein has gathered some prominent philosophers and historians of science for critical and lively discussions of both general questions about the ...

This volume brings historians of science and social historians together to consider the role of "little tools"--such as tables, reports, questionnaires, dossiers, index cards--in establishing academic and bureaucratic claims to authority and objectivity. From at least the eighteenth century onward, our science and society have been planned, surveyed, examined, and judged according to particular techniques of collecting and storing knowledge. Recently, the seemingly self-evident nature of these mundane epistemic and administrative tools, as well as the prose in which they are (...) cast, has demanded historical examination. The essays gathered here, arranged in chronological order by subject from the late seventeenth to the late twentieth century, involve close readings of primary texts and analyses of academic and bureaucratic practices as parts of material culture. The first few essays, on the early modern period, largely point to the existence of a "juridico-theological" framework for establishing authority. Later essays demonstrate the eclipse of the role of authority per se in the modern period and the emergence of the notion of "objectivity." Most of the essays here concern the German cultural space as among the best exemplars of the academic and bureaucratic practices described above. The introduction to the volume, however, is framed at a general level the closing essays also extend the analyses beyond Germany to broader considerations on authority and objectivity in historical practice. The volume will interest scholars of European history and German studies as well as historians of science. Peter Becker is Professor of Central European History, European University Institute. William Clark is Lecturer in History and Philosophy of Science, Cambridge University. (shrink)

Newton deplored speculation in science, Einstein reveled in it. What exactly are scientific speculations? Are they ever legitimate? Are they subject to constraints? This book defends a pragmatic approach to these issues and applies it to speculations within science and to speculations about science.

A major problem with the Christian doctrine of the Incarnation is that Jesus is meant to be both God and man. Richard Swinburne attempts to overcome the problem by having it that in him there are two consciousnesses – the consciousness of being God, and the consciousness of being a man. This position is rejected, on the Aristotelian ground that one consciousness is enough to explain with dignity the mind of Christ.

"Wisdom in the Open Air" traces the Norwegian roots of the strain of thinking called "deep ecology" - the search for the solutions to environmental problems by examining the fundamental tenets of our culture. Although Arne Naess coined the term in the 1970s, the insights of deep ecology actually reflect a whole tradition of thought that can be seen in the history of Norwegian culture, from ancient mountain myths to the radical ecoactivism of today. Beginning with an introduction to Norway's (...) emphasis on nature and the wild, Reed and Rothenberg explore the birth of the environmental movement in the 1960s and 1970s. What follows is a collection of writings by prominent Norwegian thinkers on humanity and nature, most never before published in English. From Peter Wessel Zapffe, a twentieth-century Kierkegaardian figure, the list goes on to include Arne Naess, activist/critic/artist Sigmund Kvaloy, wilderness educator Nils Faarlund, novelist Finn Alnaes, sociologist Johan Galtung, and social reformer Erik Dammann. Their points of view offer thoughts on the significance of modern life and what it means to be human in the face of deteriorating environmental global trends of the 20th century. "Wisdom in the Open Air" asks and answers a fundamental question concerning the ecomovement: what is the role of deep, often abstract, thinking in the attempt to avert a very real ecological crisis? (shrink)