In lieu of an abstract, here is a brief excerpt of the content:Violence and Religion:Walter Burkert and René Girard in ComparisonWolfgang Palaver (bio)Translated by Gabriel Borrud1Since the attacks of September 11th, 2001, the relationship between violence and religion has been the center of focus of ever more discussions and examinations. Often, however, these inquiries lack a profound theory that will enable a real understanding of how the two phenomena are related. Walter Burkert and René Girard are two thinkers who grasp (...) the connection between religion and violence, and the present essay will take a closer look at how the two understand this connection. There are similarities and differences between the two thinkers, and these will be highlighted in three sections. In the first, attention will be turned to Burkert and Girard's interpretation of how religion and violence are related—and how this understanding can offer an evolutionary explanation of religion. The second section will examine Girard's thoughts on the mimetic roots of violence, which will serve as a frame of comparison between the two thinkers. A final section will contrast Burkert and Girard with regard to the biblical religions of Judaism and Christianity. [End Page 121]1. Two "Seismographs" for the Relationship Between Religion and ViolenceThe art historian and scholar Aby Warburg once called Jakob Burkhardt and Friedrich Nietzsche "sensitive seismographs," referring to their ability to register the ramifications of the past with uncanny precision.2 Warburg's characterization is appropriate for Burkert and Girard as well, as each shows a hypersensitive understanding of the role religion and violence play in the origins and stability of human culture. It is no coincidence that Burkert and Girard arrived at their respective theories almost simultaneously—both mentioned the significance of violence and religion for the foundation of civilization in works published in 1972. Just years after World War II, the atrocities in the Nazi concentration camps, and the United States's dropping of atomic bombs on Hiroshima and Nagasaki, Girard and Burkert revealed in explicit terms just how central violence and religion were in the formation of human culture.The significance of Girard and Burkert's ideas only grows in the context of contemporary critiques of religion, especially those coming from Darwinian circles. The virulent critique of the evolutionary biologist, Richard Dawkins, for instance, comes to mind. In all of Dawkins's prolific work, however, he fails to offer a convincing explanation of the evolutionary nature of religion: in a word, he doesn't adequately answer the question of why religion is a universal cultural phenomenon.3 Dawkins asserts that religion is a mere by-product of certain psychological dispositions—for instance, a by-product of the naïve readiness to place one's trust in a superior, or a by-product of an instinctive dualism. However, by implementing a mere cognitive construct in his explanation of how religious rituals have shaped human culture over thousands of years, he only broaches the subject matter. One of the main reasons why Dawkins falls short of explaining the omnipresence of religion in human civilization is his rather one-sided and rash explication of violence, which in his opinion stems solely from religion.4 Dawkins proposes that humans are peaceful, quasi-Rousseauian beings that inherit their violent streak only through religious agitation. Following Dawkins's line of thought, the abolition of religion would mean the creation of a world of peace; however, even those who support his very legitimate critique of religious fundamentalism will find these thoughts rather naïve.Burkert and Girard, meanwhile, are able to delve into the essence of religion by explaining both its ritualistic nature and its importance for human evolution. In the case of Burkert, one sees his interest in evolutionary theory from the outset, as his book Homo Necans (first published 1972)5 contains passages [End Page 122] that refer directly to the work of the behavioral scientist Konrad Lorenz. In the "Gifford Lectures" of 1989, Burkert even speaks of the "tracks of biology in early religion."6 In an article published in 2000, Burkert shows that religion is an indispensable part of the process of humanization—and fundamental to the evolution of human culture.7The concrete examples that Burkert employs to... (shrink)

In lieu of an abstract, here is a brief excerpt of the content:Reviewed by:Conflict and Contest in Nietzsche’s Philosophy ed. by Herman Siemens and James PearsonVanessa LemmHerman Siemens and James Pearson, eds., Conflict and Contest in Nietzsche’s Philosophy London: Bloomsbury, 2019. 302 pp. ISBN: 978-1-3500-6695-3 (cloth); 978-1-3501-6383-6 (paper). £23.30.Conflict and Contest in Nietzsche’s Philosophy is a collection inspired by the 2014 Friedrich Nietzsche Society conference on “Nietzsche, Love, and War.” However, the content of the book is broader than the conference, (...) encompassing the themes of conflict and contest in Nietzsche’s philosophy as a whole. The volume is divided into four main parts: part 1: “Nietzsche’s Ontology of Conflict”; part 2: “Conflict and Culture: Nietzsche’s Agon and the Greeks”; part 3: “Ethos and Conflict: Nietzsche’s Warriors and Warrior-Philosophers”; and part 4: “Conflict and Contestation in Language, Rhetoric and Style.” Surprisingly, the volume does not include a section dedicated to conflict and politics. This question is dealt with to some extent in individual chapters across the four parts of the book.The volume is composed of fourteen chapters largely drawn from the conference presentations, with additional chapters solicited from Nicolas Lema on agon and politics in Nietzsche’s early writings; Frank Chouraqui on hyperbole and conflict in the slave revolt in morality; Ritchie Robertson and Enrico Müller on Nietzsche and Burkhardt; and Guillaume Métayer on philosophy and terrorism and the notion of “Attentat” in Nietzsche. As such, the volume achieves a balance of views on these topics from both established and doctoral and postdoctoral scholars in Nietzsche studies, as well as from both Anglo-Saxon and Continental traditions in philosophy.The volume is ambitious and claims to fill what it identifies as a series of gaps and shortcomings in current Nietzsche scholarship. According to the editors, most commentators “have failed to recognize the integral role of conflict in Nietzsche’s philosophy not only as a theme, but as a dynamic and structural principle that cuts across the different domains of his thought and acts as a moving center of gravity throughout his philosophical development” (1). Conflict and Contest takes its starting point from the works [End Page 218] of Wolfgang Müller-Lauter and Paul van Tongeren, who both understand “conflict and struggle as the hermeneutic key” to understanding Nietzsche’s philosophy (8). The volume makes a welcome addition to Nietzsche scholarship, complementing the monographs of Yunus Tuncel’s Agon in Nietzsche (2013), Christa Davis Acampora’s Contesting Nietzsche (2013), and of course those recently published by the editors: Herman W. Siemens, Agonal Perspectives on Nietzsche’s Philosophy of Critical Transvaluation (2021), and James S. Pearson, Nietzsche on Conflict, Struggle and War (2022).The edited volume opens with a programmatic defense of the centrality of conflict and contest in Nietzsche’s work, beginning with his early writing on Greek agonistic culture, his middle period comprising an “extended apology of war” in HH and “a conflict-based theory of character” in D, a “stronger connection between knowledge and the conflict of drives” in GS and BGE, all the way to the development of his will to power thesis, which underpins, according to the editors, Nietzsche’s “radically immanent ontology of conflict” (5). The editors’ introduction offers an overview that includes a conceptual analysis of the terms “conflict,” “struggle,” and “will to power” (2–5), as well as an outline of the various domains of conflict across Nietzsche’s oeuvre (5–7): physical, biological, political, psychological, philosophical, and cultural.The editors make an important point right at the beginning of the book, namely, that Nietzsche has a highly differentiated understanding of conflict and struggle, reflected in the irreducible multiplicity of terms found in his philosophy, such as Agon, Auseinandersetzung, Concurrenz, Dissonanz, Gegensaetzlichkeit, Kampf, Konflikt, Krieg, Streit, Wettkampf, Wettspiel, Wettstreit, Widerspruch, Widerstreit, Zwiespalt, Zwietracht, and Zwist (1). Finding an adequate way of capturing this plurality of meanings in the original (German) text when translating into English is no doubt a challenge. In parts 3 and 4, for example, the term Kampf is translated variously as war, struggle, and contest, making it difficult for the reader to trace the various meanings back to the original... (shrink)

The “official” history of connexive logic was written in 2012 by Storrs McCall who argued that connexive logic was founded by ancient logicians like Aristotle, Chrysippus, and Boethius; that it was further developed by medieval logicians like Abelard, Kilwardby, and Paul of Venice; and that it was rediscovered in the 19th and twentieth century by Lewis Carroll, Hugh MacColl, Frank P. Ramsey, and Everett J. Nelson. From 1960 onwards, connexive logic was finally transformed into non-classical calculi which partly concur with (...) systems of relevance logic and paraconsistent logic. In this paper it will be argued that McCall’s historical analysis is fundamentally mistaken since it doesn’t take into account two versions of connexivism. While “humble” connexivism maintains that connexive properties only apply to “normal” antecedents, “hardcore” connexivism insists that they also hold for “abnormal” propositions. It is shown that the overwhelming majority of the forerunners of connexive logic were only “humble” connexivists. Their ideas concerning connexive implication don’t give rise, however, to anything like a non-classical logic. (shrink)

Recent claims, mainly from computer scientists, concerning a largely automated and model-free data-intensive science have been countered by critical reactions from a number of philosophers of science. The debate suffers from a lack of detail in two respects, regarding the actual methods used in data-intensive science and the specific ways in which these methods presuppose theoretical assumptions. I examine two widely-used algorithms, classificatory trees and non-parametric regression, and argue that these are theory-laden in an external sense, regarding the framing of (...) research questions, but not in an internal sense concerning the causal structure of the examined phenomenon. With respect to the novelty of data-intensive science, I draw an analogy to exploratory as opposed to theory-directed experimentation. (shrink)

According to the transparency approach, achievement of self-knowledge is a two-stage process: first, the subject arrives at the judgment ‘p’; second, the subject proceeds to the judgment ‘I believe that p.’ The puzzle of transparency is to understand why the transition from the first to the second judgment is rationally permissible. After revisiting the debate between Byrne and Boyle on this matter, I present a novel solution according to which the transition is rationally permissible in virtue of a justifying argument (...) that begins from a premise referring to the mental utterance that is emitted in the course of judging ‘p.’. (shrink)

Rational agents are supposed to maximize expected utility. But what are the options from which they choose? I outline some constraints on an adequate representation of an agent’s options. The options should, for example, contain no information of which the agent is unsure. But they should be sufficiently rich to distinguish all available acts from one another. These demands often come into conflict, so that there seems to be no adequate representation of the options at all. After reviewing existing proposals (...) for how to construe decision-theoretic options and finding them all wanting, I suggest that our model of rational agents should include a special domain of ‘virtual’ option propositions to serve as formal objects of deliberation and choice. (shrink)

Many philosophical theories of self-knowledge can be understood as attempts to explain why self-ascriptions enjoy a certain kind of authority that other-ascriptions lack (the Authority Thesis). The aim of this paper is not to expand the stock of existing explanations but to ask whether the Authority Thesis can be adequately specified. To this end, I identify three requirements that must be met by any satisfactory specification. I conclude that the search for an adequate specification of the Authority Thesis leads to (...) a dilemma: it either yields an interpretation under which the thesis is philosophically interesting but false, or it produces an interpretation under which the thesis is actually true but of minor philosophical interest. (shrink)

Many spiritual traditions employ certain mental techniques (meditation) which consist in inhibiting mental activity whilst nonetheless remaining fully conscious, which is supposed to lead to a realisation of one’s own true nature prior to habitual self-substantialisation. In this paper I propose that this practice can be understood as a special means of becoming aware of consciousness itself as such. To explain this claim I conduct some phenomenologically oriented considerations about the nature of consciousness qua presence and the problem of self-presence (...) of this presence. (shrink)

Sections 1, 2 and 3 contain the main result, the strong finite axiomatizability of all 2-valued matrices. Since non-strongly finitely axiomatizable 3-element matrices are easily constructed the result reveals once again the gap between 2-valued and multiple-valued logic. Sec. 2 deals with the basic cases which include the important F i from Post's classification. The procedure in Sec. 3 reduces the general problem to these cases. Sec. 4 is a study of basic algebraic properties of 2-element algebras. In particular, we (...) show that equational completeness is equivalent to the Stone-property and that each 2-element algebra generates a minimal quasivariety. The results of Sec. 4 will be applied in Sec. 5 to maximality questions and to a matrix free characterization of 2-valued consequences in the lattice of structural consequences in any language. Sec. 6 takes a look at related axiomatization. problems for finite algebras and matrices. We study the notion of a propositional consequence with equality and, among other things, present explicit axiomatizations of 2-valued consequences with equality. (shrink)

It is widely held that if an object a is identical (or non-identical) to an object b, then it is necessary that a is identical (non-identical) to b. This view is supported an argument from Leibniz's Law and a popular conception of de re modality. On the other hand, there are good reasons to allow for contingent identity. Various alternative accounts of de re modality have been developed to achieve this kind of generality, and to explain what is wrong with (...) the argument from Leibniz's Law. (shrink)

Research Integrity (RI) is high on the agenda of both institutions and science policy. The European Union as well as national ministries of science have launched ambitious initiatives to combat misconduct and breaches of research integrity. Often, such initiatives entail attempts to regulate scientific behavior through guidelines that institutions and academic communities can use to more easily identify and deal with cases of misconduct. Rather than framing misconduct as a result of an information deficit, we instead conceptualize Questionable Research Practices (...) (QRPs) as attempts by researchers to reconcile epistemic and social forms of uncertainty in knowledge production. Drawing on previous literature, we define epistemic uncertainty as the inherent intellectual unpredictability of scientific inquiry, while social uncertainty arises from the human-made conditions for scientific work. Our core argument—developed on the basis of 30 focus group interviews with researchers across different fields and European countries—is that breaches of research integrity can be understood as attempts to loosen overly tight coupling between the two forms of uncertainty. Our analytical approach is not meant to relativize or excuse misconduct, but rather to offer a more fine-grained perspective on what exactly it is that researchers want to accomplish by engaging in it. Based on the analysis, we conclude by proposing some concrete ways in which institutions and academic communities could try to reconcile epistemic and social uncertainties on a more collective level, thereby reducing incentives for researchers to engage in misconduct. (shrink)

The present essay seeks, by way of the Austrian example, to make a contribution to what might be called the philosophy of the supranational state. More specifically, we shall attempt to use certain ideas on the philosophy of Gestalten as a basis for understanding some aspects of that political and cultural phenomenon which was variously called the Austrian Empire, the Habsburg Empire, the Danube Monarchy or Kakanien.

The paper explores the disjunctive riddle for induction: If we know the sample Ks to be P, we also know that they are P or F. Assuming that we also know that the future Ks are non-P, we can conclude that they are F, if only we can inductively infer the evidentially supported P-or-F hypothesis. Yet this is absurd. We cannot predict that future Ks are F based on the knowledge that the samples, and only they, are P. The ensuing (...) challenge is to account for the unprojectibility of the disjunctive hypothesis. I provide an explanation in terms of epistemic dependence. The P-or-F hypothesis is unprojectible because the evidence supporting it depends epistemically on the evidence for the defeated P-hypothesis. The paper also shows that the disjunctive riddle covers the essence of Goodman's infamous grue-problem, which, therefore, can be resolved by the same means: In contrast to the green-hypothesis, the grue-hypothesis is unprojectible because the grue-evidence depends on the evidence for a defeated hypothesis. (shrink)

Analogical reasoning addresses the question how evidence from various phenomena can be combined and made relevant for theory development and prediction. In the first part of my contribution, I review some influential accounts of analogical reasoning, both historical and contemporary, focusing in particular on Keynes, Carnap, Hesse, and more recently Bartha. In the second part, I sketch a general framework. To this purpose, a distinction between a predictive and a conceptual type of analogical reasoning is introduced. I then take up (...) a common intuition according to which analogical inferences hold if the differences between source and target concern only irrelevant circumstances. I attempt to make this idea more precise by addressing possible objections and in particular by specifying a notion of causal irrelevance based on difference making in homogeneous contexts. (shrink)

This paper scrutinizes Everett Nelson's conception of consistency by comparing it with the “standard” account of C. I. Lewis. This conflict surprisingly resembles a related controversy between the ancient logicians Chrysippus and Diodorus. Nelson's intuitions behind his peculiar conception of consistency are analysed and certain features of his logical system are critically examined. In particular, his objections against the law of the transitivity of implication and against the laws of conjunction and disjunction have to be discussed. Although Nelson's considerations contain (...) interesting ideas in favour of a relevantist conception of logic, they fail to convincingly support the hardcore connexive thesis that even a selfcontradictory proposition doesn't entail its own negation. (shrink)

Anti-reductionist philosophers have often argued that mental and linguistic phenomena contain an intrinsically normative element that cannot be captured by the natural sciences which focus on causal rather than rational relations. This line of reasoning raises the questions of how reasons could evolve in a world of causes and how children can be acculturated to participate in rule-governed social practices. In this paper I will sketch a Wittgensteinian answer to these questions. I will first point out that throughout his later (...) philosophy Wittgenstein draws a sharp distinction between "teaching" and "training": newly-born children are trained (conditioned) to react to specific stimuli in specific ways, which then allows them to acquire concepts and follow rules. I will then show that this picture presupposes a strong analogy between concepts and capacities, which is also present in Wittgenstein's later philosophy. In the last section I will point out that Wittgenstein only discusses the ontogenetic question of how individual children can acquire speech, but not the phylogenetic question of how rule-governed behavior could evolve in the first place. I will argue that this strategy should not be seen as a shortcoming, but rather as an expression of Wittgenstein's approach that can be characterized as naturalistic in a wide sense. (shrink)

If an agent can't live up to the demands of ideal rationality, fallback norms come into play that take into account the agent's limitations. A familiar human limitation is our tendency to lose information. How should we compensate for this tendency? The Seeping Beauty problem allows us to isolate this question, without the confounding influence of other human limitations. If the coin lands tails, Beauty can't preserve whatever information she has received on Monday: she is bound to violate the norms (...) of ideal diachronic rationality. The considerations that support these norms, however, can still be used. I investigate how Beauty should update her beliefs so as to maximize the expected accuracy of her new beliefs. The investigation draws attention to important but neglected questions about the connection between rational belief and evidential support, about the status of ideal and non‐ideal norms, about the dependence of epistemic norms on descriptive facts, and about the precise formulation of expected accuracy measures. It also sheds light on the puzzle of higher‐order evidence. (shrink)

An infinite binary sequence X is Kolmogorov–Loveland random if there is no computable non-monotonic betting strategy that succeeds on X in the sense of having an unbounded gain in the limit while betting successively on bits of X. A sequence X is KL-stochastic if there is no computable non-monotonic selection rule that selects from X an infinite, biased sequence.One of the major open problems in the field of effective randomness is whether Martin-Löf randomness is the same as KL-randomness. Our first (...) main result states that KL-random sequences are close to Martin-Löf random sequences in so far as every KL-random sequence has arbitrarily dense subsequences that are Martin-Löf random. A key lemma in the proof of this result is that for every effective split of a KL-random sequence at least one of the halves is Martin-Löf random. However, this splitting property does not characterize KL-randomness; we construct a sequence that is not even computably random such that every effective split yields two subsequences that are 2-random. Furthermore, we show for any KL-random sequence A that is computable in the halting problem that, first, for any effective split of A both halves are Martin-Löf random and, second, for any computable, nondecreasing, and unbounded function g and almost all n, the prefix of A of length n has prefix-free Kolmogorov complexity at least n−g. Again, the latter property does not characterize KL-randomness, even when restricted to left-r.e. sequences; we construct a left-r.e. sequence that has this property but is not KL-stochastic and, in fact, is not even Mises–Wald–Church stochastic.Turning our attention to KL-stochasticity, we construct a non-empty class of KL-stochastic sequences that are not weakly 1-random; by the usual basis theorems we obtain such sequences that in addition are left-r.e., are low, or are of hyperimmune-free degree.Our second main result asserts that every KL-stochastic sequence has effective dimension 1, or equivalently, a sequence cannot be KL-stochastic if it has infinitely many prefixes that can be compressed by a factor of α<1. This improves on a result by Muchnik, who has shown that were they to exist, such compressible prefixes could not be found effectively. (shrink)

Abstract: Brentano’s conception of scientific philosophy had a strong influence on his students and on the intellectual atmosphere of Vienna in the late nineteenth century. The aim of this article is to expose Brentano’s conception and to contrast his views with that of two traditions he is said to have considerably influenced: phenomenology and analytic philosophy. I will shed light on the question of how and to what extent Brentano’s conception of philosophy as a rigorous science has had an impact (...) on these two traditions. The discussion will show that both took their liberties in the interpretation of the thesis, a move that allowed them to liberate themselves from Brentano’s inheritance and to fully develop their own philosophical positions. (shrink)

I argue that none of the usual interpretations of probability provide an adequate interpretation of probabilistic theories in science. Assuming that the aim of such theories is to capture noisy relationships in the world, I suggest that we do not have to give them classical truth-conditional content at all: their probabilities can remain uninterpreted. Indirectly, this account turns out to explain what is right about the frequency interpretation, the best-systems interpretation, and the epistemic interpretation.

Leibniz's development of a "calculus universalis" stands and falls with his theory of negation. During the entire period of the elaboration of the algebra of concepts, L1, Leibniz had to struggle hard to grasp the difference between propositional and conceptual negation. Within the framework of syllogistic, this difference seems to disappear because 'Omne A non B' may be taken to be equivalent to ‘Omne A est non-B’. Within the "universal calculus", however, the informal quantifier expression 'omne' is to be dropped. (...) Accordingly, ‘A non est B' expresses only the propositional negation of ‘A est B' and is hence logically weaker than ‘A est non-B'. Besides Leibniz's cardinal error of confusing propositional and conceptual negation the following issues are dealt with in this paper: -"Aristotelian" vs. "Scholastic" Syllogistic; – Metalinguistic theory of the truth-predicate; -Individual-concepts vs. concepts in general. (shrink)

This volume consists of essays from a colloquium about "philosophy of economics" held at the·University of l1unich in July, 1981. They are contributions to an enterprise which in some respects is long-standing and in other respects is new. The long-standing enterprise is to somehow establish decision theory and its kindred disciplines as the basis of economic theory from which its other parts might be shown to follow. The new enterprise is to apply (some of) the latest methods of phi. losophy (...) of science to economic theory. By "philosophy of science" we do not mean h:istory of science and the like; rather we mean a reconstructive proce dure which clarifies and deepens the understanding of the science under investigation. By "the latest methods" we refer to the structuralist view which has emerged in the last fifteen years, and which has been success fully applied most notably to physical theories. Economics being rather like a stepchild of a reconstructivist philo sophy of science, we think much of the interest of this volume to lie just in its attending to the newer enterprise_ We are happy to have brought together at the colloquium some of the few philosophers of scien ce working in. this field who share this common goal, and we hope that their essays will stimulate further work. -The contributions to the long-standing enterprise, though perhaps not as urgent, are no less valuable. (shrink)

The Dialectica-style functional interpretation of Kripke-Platek set theory with infinity ( $\hbox{\sf KP} \omega$ ) given in [1] uses a choice functional (which is not a definable set function of ( $hbox{\sf KP} \omega$ ). By means of a Diller-Nahm-style interpretation (cf. [4]) it is possible to eliminate the choice functional and give an interpretation by set functionals primitive recursive in $x\mapsto\omega$ . This yields the following characterization: The class of $\Sigma$ -definable set functions of $\hbox{\sf KP} \omega$ coincides with (...) the collection of set functionals of type 1 primitive recursive in $x\mapsto \omega$. (shrink)

Dieses Buch geht davon aus, dass eine moderne Hermeneutik als Theorie des Verstehens im begrifflichen Rahmen der gegenwärtigen Theorie des Geistes und der Semantik rekonstruiert werden sollte. Vor diesem theoretischen Hintergrund, der in einem eigenen Kapitel näher umrissen wird, soll die Geschichte der Hermeneutik neu gelesen werden. Dabei wird deutlich, dass diese Lesart vielfach neue historische Interpretationen zu entwickeln und die wichtigsten Stationen der Geschichte der Hermeneutik theoretisch auf neue Weise zu integrieren vermag. Über die hermeneutischen Positionen hinaus, die in (...) den bisherigen Gesamtdarstellungen auftauchen, werden auch Entwürfe diskutiert, die besonders unter geist-theoretischen Aspekten interessant sind, zum Beispiel die antike Hermeneutik, die Hermeneutik Max Webers, die Hermeneutik der logischen Empiristen und die naturalistische Hermeneutik. Vor allem aber wird belegt, dass die Geschichte der Hermeneutik teilweise zu großen Einsichten gelangt ist, an die eine moderne Hermeneutik anknüpfen kann. Das Buch wendet sich nicht nur an Spezialisten der Hermeneutik-Geschichte, sondern an alle Interessierten, denen das Schicksal der verstehenden Wissenschaften am Herzen liegt, und möchte ihnen eine Perspektive empfehlen, unter der sich der Status und die Autonomie der Geisteswissenschaften sowie ihr Bezug auf das Humane unter Heranziehung substantieller Theorien auf neue Weise würdigen lassen. (shrink)

Traditional logic as a part of philosophy is one of the oldest scientific disciplines. Mathematical logic, however, is a relatively young discipline and arose from the endeavors of Peano, Frege, Russell and others to create a logistic foundation for mathematics. It steadily developed during the 20th century into a broad discipline with several sub-areas and numerous applications in mathematics, informatics, linguistics and philosophy. While there are already several well-known textbooks on mathematical logic, this book is unique in that it is (...) much more concise than most others, and the material is treated in a streamlined fashion which allows the professor to cover many important topics in a one semester course. Although the book is intended for use as a graduate text, the first three chapters could be understood by undergraduates interested in mathematical logic. These initial chapters cover just the material for an introductory course on mathematical logic combined with the necessary material from set theory. This material is of a descriptive nature, providing a view towards decision problems, automated theorem proving, non-standard models and other subjects. The remaining chapters contain material on logic programming for computer scientists, model theory, recursion theory, Godel’s Incompleteness Theorems, and applications of mathematical logic. Philosophical and foundational problems of mathematics are discussed throughout the text. The author has provided exercises for each chapter, as well as hints to selected exercises. About the German edition: …The book can be useful to the student and lecturer who prepares a mathematical logic course at the university. What a pity that the book is not written in a universal scientific language which mankind has not yet created. - A.Nabebin, Zentralblatt. (shrink)

A difference-making account of causality is proposed that is based on a counterfactual definition, but differs from traditional counterfactual approaches to causation in a number of crucial respects: it introduces a notion of causal irrelevance; it evaluates the truth-value of counterfactual statements in terms of difference-making; it renders causal statements background-dependent. On the basis of the fundamental notions 'causal relevance' and 'causal irrelevance', further causal concepts are defined including causal factors, alternative causes, and importantly inus-conditions. Problems and advantages of the (...) proposed account are discussed. Finally, it is shown how the account can shed new light on three classic problems in epistemology, the problem of induction, the logic of analogy, and the framing of eliminative induction. (shrink)

Modal accounts of knowledge, mind, and language, as prominently defended by Lewis, leave no room for enquiry into non-contingent matters. According to Lewis, there is only one necessarily true proposition, and it is vacuously known by everyone. What, then, are we doing when we do metaphysics, which often seems to deal with non-contingent questions? Lewis never gave a satisfactory answer, or even acknowledged the problem. I explore some options. Can we understand the relevant parts of metaphysics as dealing with contingent (...) questions about our concepts? Can we understand them in terms of a hyperintensional conception of “explicit” knowledge? Both options have some promise. Ultimately, however, I don’t think they succeed at squaring Lewis’s empiricist epistemology with his metaphysical realism. (shrink)

Through the work of philosophers like Sellars, Davidson and McDowell, the question of how the mind is related to the world has gained new importance in contemporary analytic philosophy. This book demonstrates that Husserl's phenomenological analyses of the structure of consciousness can provide fruitful insights for developing an original approach to these questions.

A systematic introduction into the mimetic theory of the French-American literary theorist and philosophical anthropologist René Girard, this essential text explains its three main pillars with the help of examples from literature and philosophy. This book also offers an overview of René Girard’s life and work, showing how much mimetic theory results from existential and spiritual insights into one’s own mimetic entanglements. Furthermore it examines the broader implications of Girard’s theories, from the mimetic aspect of sovereignty and wars to the (...) relationship between the scapegoat mechanism and the question of capital punishment. Mimetic theory is placed within the context of current cultural and political debates like the relationship between religion and modernity, terrorism, the death penalty, and gender issues. Drawing textual examples from European literature and philosophy, Palaver uses mimetic theory to explore the themes they present. A highly accessible book, this text is complemented by bibliographical references to Girard’s widespread work and secondary literature on mimetic theory and its applications, comprising a valuable bibliographical archive that provides the reader with an overview of the development and discussion of mimetic theory until the present day. (shrink)

Big Data and methods for analyzing large data sets such as machine learning have in recent times deeply transformed scientific practice in many fields. However, an epistemological study of these novel tools is still largely lacking. After a conceptual analysis of the notion of data and a brief introduction into the methodological dichotomy between inductivism and hypothetico-deductivism, several controversial theses regarding big data approaches are discussed. These include, whether correlation replaces causation, whether the end of theory is in sight and (...) whether big data approaches constitute entirely novel scientific methodology. In this Element, I defend an inductivist view of big data research and argue that the type of induction employed by the most successful big data algorithms is variational induction in the tradition of Mill's methods. Based on this insight, the before-mentioned epistemological issues can be systematically addressed. (shrink)