Online research in philosophy

Traditionally, the manufacturer/operator of a machine is held (morally and legally) responsible for the consequences of its operation. Autonomous, learning machines, based on neural networks, genetic algorithms and agent architectures, create a new situation, where the manufacturer/operator of the machine is in principle not capable of predicting the future machine behaviour any more, and thus cannot be held morally responsible or liable for it. The society must decide between not using this kind of machine any more (which is not a (...) realistic option), or facing a responsibility gap, which cannot be bridged by traditional concepts of responsibility ascription. (shrink)

Earlier version on philsci-archive.pitt.edu; latest version.

William Alston has argued that the so-called deontological conception of epistemic justification, on which epistemic justification is to be spelled out in terms of blame, responsibility, and obligations, is untenable. The basic idea of the argument is that this conception is untenable because we lack voluntary control over our beliefs and, therefore, cannot have any obligations to hold certain beliefs. If this is convincing, however, the argument threatens the very idea of doxastic responsibility. For, how can we ever be responsible (...) for our beliefs if we lack control over them? Several philosophers have argued that the idea that we bear responsibility for our beliefs can be saved, because absence of voluntary control over our beliefs is perfectly compatible with having obligations to hold particular beliefs. With others, I call this view ‘doxastic compatibilism’. It comes in two varieties. On the first variety, doxastic obligations do not require any kind of doxastic control whatsoever. I argue that this variety of doxastic compatibilism fails because it confuses doxastic responsibility with other closely related phenomena. On the second variety, doxastic obligations do not require voluntary doxastic control, but only compatibilist doxastic control (roughly, reason-responsiveness) and we do in fact have such control. I grant that we have such control, but also argue that having such control is insufficient for bearing doxastic responsibility. The plausibility of the examples put forward by doxastic compatibilists in support of the claim that it is sufficient for doxastic responsibility derives from the fact that in these examples, the subjects have control over factors that influence what they believe rather than control over those beliefs themselves. (shrink)

Lembecks Philosophiebegriff ist keine Zumutung Content Type Journal Article Pages 1-9 DOI 10.1007/s10743-011-9098-6 Authors Matthias Wille, Institut für Philosophie, Fakultät für Geisteswissenschaft, Universität Duisburg-Essen, Universitätsstraße 12, 45117 Essen, Germany Journal Husserl Studies Online ISSN 1572-8501 Print ISSN 0167-9848.

Hoppmann, Michael J.: Argumentative Verteidigung. Grundlegung zu einer modernen Statuslehre. [Argumentative Advocacy. Foundations of a Modern Stasis Theory.] Content Type Journal Article Pages 525-526 DOI 10.1007/s10503-010-9192-5 Authors Matthias Plötz, University of Amsterdam, Amsterdam, The Netherlands Journal Argumentation Online ISSN 1572-8374 Print ISSN 0920-427X Journal Volume Volume 24 Journal Issue Volume 24, Number 4.

Dietmar von der Pfordten, Normative Ethik Content Type Journal Article Pages 1-2 DOI 10.1007/s10677-012-9364-5 Authors Matthias Hoesch, WWU Münster, Philosophisches Seminar, Domplatz 23, 48143 Münster, Germany Journal Ethical Theory and Moral Practice Online ISSN 1572-8447 Print ISSN 1386-2820.

Although metaphysics as a discipline can hardly be separated from Aristotle and his works, the questions it raises were certainly known to authors even before the reception of Aristotle in the thirteenth century. Even without the explicit use of this term the twelfth century manifested a strong interest in metaphysical questions under the guise of «natural philosophy» or «divine science», leading M.-D. Chenu to coin the expression of a twelfth century «éveil métaphysique». In their commentaries on Boethius and under the (...) influence of Neoplatonism, twelfth century authors not only anticipate essential elements of thirteenth century metaphysics, they also make an original contribution to the history of metaphysics by attempting to integrate the theory of first principles, philosophical theology and ontology. This volume presents and examines the contributions of the twelfth century to metaphysics made by selected Jewish, Christian and Muslim authors of the Iberian Peninsula and Francia. -/- Contributors include Matthias Lutz-Bachmann (Frankfurt am Main), Andreas Speer (Würzburg), Charles Burnett (London), Alexander Fidora (Frankfurt am Main), Thomas Ricklin (Neuchâtel), Yossef Schwartz (Jerusalem), Josep Udina (Barcelona), Jack C. Marler (St. Louis/USA), Gillian R. Evans (Cambridge), Andreas Niederberger (Frankfurt am Main) and Françoise Hudry (Paris). (shrink)

When I take a sip from the coffee in my cup, I can taste that it is sweet. When I hold the cup with my hands, I can feel that it is hot. Why does the experience of feeling that the cup is hot give me justification for believing that the cup is hot?And why does the experience of tasting that the coffee is sweet give me justification for believing that the coffee is sweet?In general terms: Why is it that (...) a sense experience that P is a source of justification—a reason—for believing that P? Call this the Question. I will discuss various answers to the Question, and defend the one I myself favor. (shrink)

This paper argues that throughout his intellectual career, Hobbes remains unsatisfied with his own attempts at proving the invariant advisability of contract-keeping. Not only does he see himself forced to abandon his early idea that contractual obligation is a matter of physical laws. He also develops and retains doubts concerning its theoretical successor, the doctrine that the obligatoriness characteristic of contracts is the interest in self-preservation in alliance with instrumental reason - i.e. prudence. In fact, it is during his work (...) on Leviathan that Hobbes notes the doctrine's main shortcoming, namely the limitation of its dialectical potential to cases in which contract-breakers are publicly identifiable. This essay shows Hobbes's doubts about his Leviathan's treatment of contractual obligation by way of a close reading of its central 15 th chapter and an analysis of some revealing shifts between the English Leviathan and the (later) Latin edition. The paper ends by suggesting that Hobbes's awareness of the flaws at the heart of his political philosophy helps account for some striking changes in his latest writings. (shrink)

This paper concerns various competing views on the nature of perceptual justification. Various thought experiments that motivate various views are discussed. Once reliabilism is rejected and some form of internalism is instead embraced, the following issue arises: must an internalist nevertheless require that perceptual justification involve the possession of evidence for the reliability of our perceptual processes? Matthias Steup answers in the affirmative, espousing what he calls internalist reliabilism. Some problems are raised for this form of internalism.

I critique Matthias Steup’s account of exercising direct voluntary control over coming to have doxastic attitudes via doxastic decisions. I show that the sort of agency Steup argues is exercised in doxastic decision-making is not sufficient for agents to exercise direct voluntary control over their doxastic attitudes. This counts against such putative decisions being the locus of direct control in doxastic agency. Finally, I briefly consider what, if any, consequences the failure of Steup’s theory of doxastic agency may have (...) for epistemic deontologism. (shrink)

According to a standard criticism, Robert Brandom's “normative pragmatics”, i.e. his attempt to explain normative statuses in terms of practical attitudes, faces a dilemma. If practical attitudes and their interactions are specified in purely non-normative terms, then they underdetermine normative statuses; but if normative terms are allowed into the account, then the account becomes viciously circular. This paper argues that there is no dilemma, because the feared circularity is not vicious. While normative claims do exhibit their respective authors' practical attitudes (...) and thereby contribute towards establishing the normative statuses they are about, this circularity is not a mark of Brandom's explanatory strategy but a feature of social practice of which we theorists partake. (shrink)

"One of Frege's main semantic principles, is however, missing in Dummett's book, [Frege: philosophy of language] and it is has been ignored by most Frege scholars. That principle is the thesis concerning the ambiguity of the word 'is'. Angelelli come close to attending to it when he makes some remarks on identity and predication, and Matthias Schirn puts special emphasis on the role of the thesis in Frege's work. However, the great majority of Frege scholars have neglected the ambiguity (...) doctrine, even when they have commented on each of the allegedly different meanings of 'is' separately. This is strange in view of the fact that it was Frege and Russell who proposed the thesis and established it as one of the basic ingredients of modern logic. They have in fact been followed by most philosophers. For instance, in the Tractatus Ludwig Wittgenstein emphasizes the ambiguity of the verb 'to be' and stresses the.. (shrink)

This paper makes three points: First, empiricism as a stance is problematic unless criteria for evaluating the stance are provided. Second, Van Fraassen conceives of the empiricist stance as receiving its content, at least in part, from the rejection of metaphysics. But the rejection of metaphysics seems to presuppose for its justification the very empiricist doctrine Van Fraassen intends to replace with the empiricist stance. Third, while I agree with Van Fraassen’s endorsement of voluntarism, I raise doubts about the possibility (...) of defending voluntarism without engaging in the kind of metaphysics Van Fraassen rejects. (shrink)

Matthias Steup (Steup 2008) has recently argued that our doxastic attitudes are free by (i) drawing an analogy with compatibilism about freedom of action and (ii) denying that it is a necessary condition for believing at will that S's having an intention to believe that p can cause S to believe that p . In this paper, however, I argue that the strategies espoused in (i) and (ii) are incompatible.

[ENGLISH] The present article is a contribution to the development of metrological structural realism (MSR). This position of philosophy of science goes back to Matthias Neuber, who introduces it as a third variation of the main structural realisms: epistemic structural realism (ESR) and ontic structural realism (OSR). Here, Neuber attempts to tackle the problems of OSR and ESR while preserving their respective strengths. Of central importance to his approach, are the concepts of invariance, structure and, especially, measurement. Starting from (...) Eino Kaila’s „non-linguistic, realist account of logical empricism“, the present article investigates the necessity of yet another position of structural realism. The established structural realisms are examined for their strengths and weaknesses. Afterwards, the requirements on MSR are formulated in a way that extends beyond Neuber’s account. These requirements are of ontological, epistemological and metrological nature. Finally, a short outlook on the role of the present physical theories – especially quantum mechanics – for the formulation of MSR as a full-grown theory of philosophy of science is presented. -/- [DEUTSCH] Der vorliegende Aufsatz ist ein Beitrag zur Entwicklung des Metrologischen Strukturenrealismus (MSR). Diese Wissenschaftstheoretische Position geht auf Matthias Neuber zurück, der sie als dritte Spielart zwischen den großen Strukturenrealismen – dem Epistemischen Strukturenrealismus (ESR) und dem Ontischen Strukturenrealismus (OSR) – ansiedelt. Neuber versucht, die wissenschaftstheoretischen Probleme von ESR und OSR anzugehen, gleichzeitig aber ihre jeweiligen Stärken beizubehalten. Dabei sind die Konzepte der Invarianz, der Struktur und besonders der Messung von zentraler Bedeutung. Ausgehend von Eino Kailas „non-linguistic, realist account of logical empiricism“ untersucht der vorliegende Aufsatz die Notwendigkeit einer weiteren strukturenrealistischen Position. Dazu werden die etablierten Strukturenrealismen auf ihre Stärken und Schwächen hin untersucht. Es folgt eine Ausformulierung der Forderungen an den MSR, die über die Darstellung bei Neuber hinaus geht. Diese Forderungen sind ontologischer, epistemischer und metrologischer Natur. Abschließend wird ein kurzer Ausblick zur Rolle aktueller, physikalischer Theorien – insbesondere der Quantenmechanik – bei der Formulierung des MSR als vollwertige, wissenschaftstheoretische Position gegeben. (shrink)

All conceptions of equal opportunity draw on some distinction between morally justified and unjustified inequalities. We discuss how this distinction varies across a range of philosophical positions. We find that these positions often advance equality of opportunity in tandem with distributive principles based on merit, desert, consequentialist criteria or individuals' responsibility for outcomes. The result of this amalgam of principles is a festering controversy that unnecessarily diminishes the widespread acceptability of opportunity concerns. We therefore propose to restore the conceptual separation (...) of opportunity principles concerning unjustified inequalities from distributive principles concerning justifiable inequalities. On this view, equal opportunity implies that that morally irrelevant factors should engender no differences in individuals' attainment, while remaining silent on inequalities due to morally relevant factors. We examine this idea by introducing the principle of ‘opportunity dominance' and explore in a simple application to what extent this principle may help us arbitrate between opposing distributive principles. We also compare this principle to the selection rules developed by John Roemer and Dirk Van de Gaer. (shrink)

This volume gathers eleven new and three previously unpublished essays that take on questions of epistemic justification, responsibility, and virtue. It contains the best recent work in this area by major figures such as Ernest Sosa, Robert Audi, Alvin Goldman, and Susan Haak.

Skeptics claim that we know radically less than we think we do. For example, skeptics might claim that we have next to no knowledge of the past, the future, or other minds. Here we will consider the skeptical claim that we have next to no knowledge of the external world: the world of physical objects that we at least seem to perceive. One well-known argument in support of this claim appeals to the possibility of being a BIV: a brain in (...) a vat. According to the BIV Hypothesis, you are a mere BIV without a normal body. This of course means, among other things, that you don't have hands. The nerve endings of your brain are stimulated in a manner so sophisticated that the perfect illusion of a normal life is generated. Let's distinguish between the.. (shrink)

It is commonly thought that the prevalence of moral dissent poses a problem for the moral cognitivist, forcing her to diagnose either a lot of misunderstanding, or a lot of unexplained observational error. Since mere misunderstanding can be ruled out in most cases of moral dissent, and since the diagnosis of widespread unexplained error is interpretively unstable, prevalent dissent has pushed many philosophers towards non-cognitivism. In this essay, I argue that once a diachronic, pragmatist theory of language along the lines (...) of the latest Wittgenstein is employed, a third interpretive option becomes available to the cognitivist. Besides the diagnostic options of misunderstanding and factual disagreement, she can argue that a given case of moral dissent is an instance of grammatical tension. This interpretation not only saves moral cognitivism, it also has some attractive theoretical implications. Among other things, it yields an elegant way of solving the current debate around moral particularism. (shrink)

I distinguish between Old Contextualism, New Contextualism, and the Multiple Concepts Theory. I argue that Old Contextualism cannot handle the following three problems: (i) the disquotational paradox, (ii) upward pressure resistance, (iii) inability to avoid the acceptance of skeptical conclusions. New Contextualism, in contrast, can avoid these problems. However, since New Contextualism appears to be a semanticized mirror image of MCT, it remains unclear whether it is in fact a genuine version of contextualism.

A foundationalist account of the justification of our empirical beliefs is committed to the following two claims: (1) Sense experience is a source of justification. (2) Some empirical beliefs are basic: justified without receiving their justification from any other beliefs. In this paper, I will defend each of these claims against an objection. The objection to (1) that I will discuss is due to Donald Davidson. He writes: The relation between a sensation and a belief cannot be logical, since sensations (...) are not beliefs or other propositional attitudes. What then is the relation? The answer is, I think, obvious: the relation is causal. Sensations cause some beliefs and in this sense are the basis or ground of those beliefs. But a causal explanation of a belief does not show how or why the belief is justified. [1] There are two important thoughts in this passage. The first of these is explicitly expressed, the second implied: (3) Sense-experiential states are devoid of propositional content. (4) Necessarily, if a mental state can play the role of a justifier, it has propositional content. (3) and (4) entail that a sense-experiential state cannot play the role of a justifier. If that is true, then (1) is false. This, in any case, seems to me to be Davidson's argument. In response to it, I accept (4) but reject (3). This is an unusual move for foundationalists, who tend to accept (3) and deny (4). Nevertheless, it is what I take to be the right move. (shrink)

Ray Monk and Anthony Palmer, (eds) Bertrand Russell and the Origins of Analytical Philosophy, Thoemmes Press, Bristol, 1996; pp. xvi + 383; Hans-Johann Glock, (ed.) The Rise of Analytic Philosophy, Blackwell, 1997; pp. xiv + 95; Matthias Schirn, (ed.) Frege: Importance and Legacy, Walter de Gruyter, Berlin, 1996; pp. x + 466; Stuart G. Shanker, (ed.) Philosophy of Science, Logic and Mathematics in the Twentieth Century, Routledge History of Philosophy Volume IX, Routledge, 1996; pp. xxxviii + 461; John Blackmore, (...) (ed.) Ludwig Boltzmann: His Later Life and Philosophy, 1900-1906, Kluwer, Dordrecht, 1995; pp. xvi + 266. (shrink)

Epistemic deontology is the view that the concept of epistemic justification is deontological: a justified belief is, by definition, an epistemically permissible belief. I defend this view against the argument from doxastic involuntarism, according to which our doxastic attitudes are not under our voluntary control, and thus are not proper objects for deontological evaluation. I argue that, in order to assess this argument, we must distinguish between a compatibilist and a libertarian construal of the concept of voluntary control. If we (...) endorse a compatibilist construal, it turns out that we enjoy voluntary control over our doxastic attitudes after all. If, on the other hand, we endorse a libertarian construal, the result is that, for our doxastic attitudes to be suitable objects of deontological evaluation, they need not be under our voluntary control. (shrink)

The Ethical Matrix was developed to help decision-makers explore the ethical issues raised by agri-food biotechnologies. Over the decade since its inception the Ethical Matrix has been used by a number of organizations and the philosophical basis of the framework has been discussed and analyzed extensively. The role of tools such as the Ethical Matrix in public policy decision-making has received increasing attention. In order to further develop the methodological aspects of the Ethical Matrix method, work was carried out to (...) study the potential role of the Ethical Matrix as a decision support framework. When considering which frameworks to apply when analyzing the ethical dimensions of the application of agri-food biotechnologies, it is important to clarify the substantive nature of any prospective framework. In order to further investigate this issue, reflections on the neologism “ethical soundness” of an ethical framework are presented here. This concept is introduced in order to provide more structured evaluations of a range of ethical tools, including ethical frameworks such as the Ethical Matrix. As well as examining the philosophical dimensions of the method, theoretical analysis and literature studies were combined with stakeholder engagement exercises and consultations in order to review the Ethical Matrix from a user perspective. This work resulted in the development of an Ethical Matrix Manual, which is intended to act as a guide for potential user groups. (shrink)

Although the notion of logical object plays a key role in Frege's foundational project, it has hardly been analyzed in depth so far. I argue that Marco Ruffino's attempt to fill this gap by establishing a close link between Frege's treatment of expressions of the form ‘the concept F’ and the privileged status Frege assigns to extensions of concepts as logical objects is bound to fail. I argue, in particular, that Frege's principal motive for introducing extensions into his logical theory (...) is not to be able to make in-direct statements about concepts, but rather to define all numbers as logical objects of a fundamental kind in order to ensure that we have the right cognitive access to them qua logical objects via Axiom V. Contrary to what Ruffino claims, reducibility to extensions cannot be the ‘ultimate criterion’ for Frege of what is to be regarded as a logical object. (shrink)

In this paper, I examine Alston's arguments for doxastic involuntarism. Alston fails to distinguish (i) between volitional and executional lack of control, and (ii) between compatibilist and libertarian control. As a result, he fails to notice that, if one endorses a compatibilist notion of voluntary control, the outcome is a straightforward and compelling case for doxastic voluntarism. Advocates of involuntarism have recently argued that the compatibilist case for doxastic voluntarism can be blocked by pointing out that belief is never intentional. (...) In response to this strategy, I distinguish between two types of intentionality and argue that belief is no less intentional than action is. (shrink)

If our actions are mostly free, then our doxastic attitudes are mostly free. According to compatibilism, our actions are mostly free. So if the thesis of equal doxastic freedom is true, compatibilism entails that our doxastic attitudes are mostly free. Hence the thesis I will defend is: Compatibilist Doxastic Freedom Compatibilism entails that our actions and our doxastic attitudes are mostly free. My argument in defense of this claim will be that the compatibility of freedom and causal determination is not (...) obvious; it needs explanation. Various explanations can be offered. If we apply these explanations to our doxastic attitudes, we are going to see that there is little reason to think that our doxastic attitudes are less free than our actions. (shrink)

In this essay, I critically discuss Dale Jacquette's new English translation of Frege's work Die Grundlagen der Arithmetik as well as his Introduction and Critical Commentary (Frege, G. 2007. The Foundations of Arithmetic. A Logical-Mathematical Investigation into the Concept of Number . Translated with an Introduction and Critical Commentary by Dale Jacquette. New York: Longman. xxxii + 112 pp.). I begin with a short assessment of Frege's book. In sections 2 and 3, I examine several claims that Jacquette makes in (...) his Introduction and Critical Commentary and put matters in the right perspective. In sections 4-7, I analyse errors and shortcomings in Jacquette's (and Austin's) translation(s) and show how they can be avoided. In this context, I consider several issues of interest for Frege's logic and philosophy of arithmetic. I conclude with general remarks. (shrink)

In this paper we discuss the new Tweety puzzle. The original Tweety puzzle was addressed by approaches in non-monotonic logic, which aim to adequately represent the Tweety case, namely that Tweety is a penguin and, thus, an exceptional bird, which cannot fly, although in general birds can fly. The new Tweety puzzle is intended as a challenge for probabilistic theories of epistemic states. In the first part of the paper we argue against monistic Bayesians, who assume that epistemic states can (...) at any given time be adequately described by a single subjective probability function. We show that monistic Bayesians cannot provide an adequate solution to the new Tweety puzzle, because this requires one to refer to a frequency-based probability function. We conclude that monistic Bayesianism cannot be a fully adequate theory of epistemic states. In the second part we describe an empirical study, which provides support for the thesis that monistic Bayesianism is also inadequate as a descriptive theory of cognitive states. In the final part of the paper we criticize Bayesian approaches in cognitive science, insofar as their monistic tendency cannot adequately address the new Tweety puzzle. We, further, argue against monistic Bayesianism in cognitive science by means of a case study. In this case study we show that Oaksford and Chater’s (2007, 2008) model of conditional inference—contrary to the authors’ theoretical position—has to refer also to a frequency-based probability function. (shrink)

This comprehensive volume gives a panorama of the best current work in this lively field, through twenty specially written essays by the leading figures in the field. All essays deal with foundational issues, from the nature of mathematical knowledge and mathematical existence to logical consequence, abstraction, and the notions of set and natural number. The contributors also represent and criticize a variety of prominent approaches to the philosophy of mathematics, including platonism, realism, nomalism, constructivism, and formalism.

After briefly discussing the relevance of the notions computation and implementation for cognitive science, I summarize some of the problems that have been found in their most common interpretations. In particular, I argue that standard notions of computation together with a state-to-state correspondence view of implementation cannot overcome difficulties posed by Putnam's Realization Theorem and that, therefore, a different approach to implementation is required. The notion realization of a function, developed out of physical theories, is then introduced as a replacement (...) for the notional pair computation-implementation. After gradual refinement, taking practical constraints into account, this notion gives rise to the notion digital system which singles out physical systems that could be actually used, and possibly even built. (shrink)

Defined narrowly, epistemology is the study of knowledge and justified belief. As the study of knowledge, epistemology is concerned with the following questions: What are the necessary and sufficient conditions of knowledge? What are its sources? What is its structure, and what are its limits? As the study of justified belief, epistemology aims to answer questions such as: How we are to understand the concept of justification? What makes justified beliefs justified? Is justification internal or external to one's own mind? (...) Understood more broadly, epistemology is about issues having to do with the creation and dissemination of knowledge in particular areas of inquiry. This article will provide a systematic overview of the problems that the questions above raise and focus in some depth on issues relating to the structure and the limits of knowledge and justification. (shrink)

My first car was a 1977 Plymouth Fury with a V8 engine. This car was fun in a number of ways, but on balance it disappointed because it broke down frequently. It was not a reliable car. My second car was a 1988 Honda Accord. I still have it. It never broke down. Except for regular maintenance, I never needed to bring it to a garage. Unlike my erstwhile Plymouth, it has been a reliable car. An argument in defense (...) of this claim could be based on the following principle: The Track Record Principle (TRP) A good track record (over a sufficiently long run and involving a suitably wide variety of circumstances) is evidence of reliability. (shrink)

Of late, evidentiality has received great attention in formal semantics. In this paper I develop ‘evidentiality-informed’ truth conditions for modal operators such as must and may . With language data drawn from Luoping Nase (a Tibeto-Burman language spoken in the P.R. of China and belonging to the Yi Nationality), I illustrate that epistemic modals clash with clauses articulating first-hand information. I then demonstrate that existing models such as Kratzer’s graded possible-worlds semantics fail to provide accurate truth conditions for modals tagging (...) clauses with first-hand information. As a remedy I propose a fuzzy version of possible-worlds semantics with various grades of belief and knowledge. In addition to preserving the expressive power of graded possible-worlds semantics, the fuzzy model will be shown to supply appropriate truth conditions for epistemic modals appended to evidential clauses (i.e. clauses expressing first-hand information). (shrink)

It is a widely shared view among philosophers of science that the theory-dependence (or theory-ladenness) of observations is worrying, because it can bias empirical tests in favour of the tested theories. These doubts are taken to be dispelled if an observation is influenced by a theory independent of the tested theory and thus circularity is avoided, while (partially) circular tests are taken to require special attention. Contrary to this consensus, it is argued that the epistemic value of theory-dependent tests has (...) nothing to do with the circularity or non-circularity of the test, but is instead based on the minimal empiricality and reliability of observations. Since theory-dependence does not in general prevent observations fulfilling these requirements, it should not be regarded as a phenomenon that is basically detrimental, but as neutral with respect to successful scientific knowledge gathering. (shrink)

In the context of the recent proliferation of nationalisms and enemy figures, this paper agrees with the desirability of retaining some of the explanatory and motivational potential of an agonistic account of politics, but gives reasons not to accept too much of Carl Schmitt's account of citizenship. The claim as to the necessarily antagonistic exclusion of concrete others can be supported neither on its own terms nor on Derridian grounds, as Chantal Mouffe, in particular, attempts to do. I then indicate (...) that différance may nonetheless account for strong (but not necessary) tendencies toward exclusion as well as for the intrinsic contradictions of liberal universalism. (shrink)

Ever since work of Paul Feyerabend, Russell Hanson and Thomas Kuhn in the 1960s, the thesis of the theory-ladenness of scientific observation has attracted much attention both in the philosophy and the sociology of science. The main concern has always been epistemic. It was argued –or feared– that if scientific observations depend on prevalent theories, an objective empirical test of theories and hypotheses by independent observation and experience is impossible. This suggests that theories might appear to be well confirmed by (...) observation, and yet it is not likely that they are largely true or empirically adequate. While some philosophers like Ian Hacking have argued that serious theory-dependence is less common than often assumed, sociologists such as David Bloor, Stephen Shapin, Karin Knorr-Cetina or Harry Collins have based their constructivist programs for the sociology of science on strong claims of theory-ladenness. (shrink)

Social scientists have traditionally attempted to avoid extending strategies for acquiring experimental knowledge to the sphere of the social. Bruno Latour, however, has introduced a notion of the collective experiment, an experiment conducted by and with us all. In this short paper I seek to explore, by way of elucidating the talk of collective experiments, that Latour's notion has long since existed in the theory and practice of ecological design and restoration. Practitioners in ecological restoration projects find themselves in a (...) situation of double contingency, since neither do they know how nature will respond to their intervention nor is their interpretation of these responses already certain. Experimental practice in society then becomes the proceduralization of this contingency. (shrink)

Liangshan Nuosu (Tibeto-Burman: P.R. China) exhibits two cross-linguistically rare attitude particles which ascribe wishes and fears to an impersonal socialised agent serving as a speaker-hedge. Linguistic properties of these particles not covered by (Potts, 2007a) and (Potts, 2007b) features of expressive content are elaborated upon. It is proposed to analyse the Nuosu attitude operators as illocutionary force indicating devices (IFIDs, see Searle and Vanderveken, 1985) and the utterances which host them as speech acts of the expressive type. Success conditions for (...) these speech acts are developed in a fuzzy logic system providing an accurate account of both successful and unsuccessful attitude ascriptions. The fuzzy logic system builds on the distinction between lower-level and higher-level formulae (following Thijsse (1996) and Schwartz (2003)). For lower-level formulae it incorporates a fuzzy epistemic and a fuzzy buletic mode of evaluation. Higher-level formulae are evaluated in a bivalent evaluation mode {successful, unsuccessful}. (shrink)

Consider a group of people whose preferences satisfy the axioms of one of the current versions of utility theory, such as von Neumann-Morgenstern (1944), Savage (1954), or Bolker-Jeffrey (1965). There are political and economic contexts in which it is of interest to find ways of aggregating these individual preferences into a group preference ranking. The question then arises of whether methods of aggregation exist in which the group’s preferences also satisfy the axioms of the chosen utility theory, and in which (...) at the same time the aggregation process satisfies certain plausible conditions (e.g., the Pareto conditions below). (shrink)

In his paper "Finitism" (1981), W.W. Tait maintains that the chief difficulty for everyone who wishes to understand Hilbert's conception of finitist mathematics is this: to specify the sense of the provability of general statements about the natural numbers without presupposing infinite totalities. Tait further argues that all finitist reasoning is essentially primitive recursive. In this paper, we attempt to show that his thesis "The finitist functions are precisely the primitive recursive functions" is disputable and that another, likewise defended by (...) him, is untenable. The second thesis is that the finitist theorems are precisely the universal closures of the equations that can be proved in PRA. /// En su articulo "Finitism" (1981), W.W. Tait sostiene que la dificultad principal para quien quiere comprender la concepción hilbertiana de la matemática finitista es ésta: especificar el sentido de la demostrabilidad de enunciados generales sobre los números naturales sin presuponer totalidades infinitas. Además, Tait argumenta que todo razonamiento finitista es esencialmente primitivo recursivo. En este artículo tratamos de mostrar que su tesis "Las funciones finitistas son precisamente las funciones primitivas recursivas" es discutible y que otra, también defendida por él, resulta insostenible. La segunda tesis es que los teoremas finitistas son precisamente las clausuras universales de las ecuaciones que pueden demostrarse en PRA. (shrink)

In: M. Carrier, D. Howard & J. Kourany (eds), Science and the Social: Knowledge, Epistemic Demands, and Social Values, Pittsburgh: University of Pittsburgh Press (im Erscheinen).

Hilbert developed his famous finitist point of view in several essays in the 1920s. In this paper, we discuss various extensions of it, with particular emphasis on those suggested by Hilbert and Bernays in Grundlagen der Mathematik (vol. I 1934, vol. II 1939). The paper is in three sections. The first deals with Hilbert's introduction of a restricted ? -rule in his 1931 paper ?Die Grundlegung der elementaren Zahlenlehre?. The main question we discuss here is whether the finitist (meta-)mathematician would (...) be entitled to accept this rule as a finitary rule of inference. In the second section, we assess the strength of finitist metamathematics in Hilbert and Bernays 1934. The third and final section is devoted to the second volume of Grundlagen der Mathematik. For preparatory reasons, we first discuss Gentzen's proposal of expanding the range of what can be admitted as finitary in his esssay ?Die Widerspruchsfreiheit der reinen Zahlentheorie? (1936). As to Hilbert and Bernays 1939, we end on a ?critical? note: however considerable the impact of this work may have been on subsequent developments in metamathematics, there can be no doubt that in it the ideals of Hilbert's original finitism have fallen victim to sheer proof-theoretic pragmatism. (shrink)

In Die Grundlagen der Arithmetik, Frege attempted to introduce cardinalnumbers as logical objects by means of a second-order abstraction principlewhich is now widely known as ``Hume's Principle'' (HP): The number of Fsis identical with the number of Gs if and only if F and G are equinumerous.The attempt miscarried, because in its role as a contextual definition HP fails tofix uniquely the reference of the cardinality operator ``the number of Fs''. Thisproblem of referential indeterminacy is usually called ``the Julius Caesar (...) problem''.In this paper, Frege's treatment of the problem in Grundlagen is critically assessed. In particular, I try to shed new light on it by paying special attention to the framework of his logicism in which it appears embedded. I argue, among other things, that the Caesar problem, which is supposed to stem from Frege's tentative inductive definition of the natural numbers, is only spurious, not genuine; that the genuine Caesar problem deriving from HP is a purely semantic one and that the prospects of removing it by explicitly defining cardinal numbers as objects which are not classes are presumably poor for Frege. I conclude by rejecting two closely connected theses concerning Caesar put forward by Richard Heck: (i) that Frege could not abandon Axiom V because he could not solve the Julius Caesar problem without it; (ii) that (by his own lights) his logicist programme in Grundgesetze der Arithmetik failed because he could not overcome that problem. (shrink)

Special issue. With contributions by Rogier De Langhe and Matthias Greiff, Igor Douven and Alexander Riegler, Stephan Hartmann and Jan Sprenger, Carl Wagner, Paul Weirich, and Jesús Zamora Bonilla.

Machine generated contents note: Part I. Historical Context - Gödel's Contributions and Accomplishments: 1. The impact of Gödel's incompleteness theorems on mathematics Angus Macintyre; 2. Logical hygiene, foundations, and abstractions: diversity among aspects and options Georg Kreisel; 3. The reception of Gödel's 1931 incompletabilty theorems by mathematicians, and some logicians, to the early 1960s Ivor Grattan-Guinness; 4. 'Dozent Gödel will not lecture' Karl Sigmund; 5. Gödel's thesis: an appreciation Juliette C. Kennedy; 6. Lieber Herr Bernays!, Lieber Herr Gödel! Gödel on (...) finitism, constructivity, and Hilbert's program Solomon Feferman; 7. Computation and intractability: echoes of Kurt Gödel Christos H. Papadimitriou; 8. From the entscheidungsproblem to the personal computer - and beyond B. Jack Copeland; 9. Gödel, Einstein, Mach, Gamow, and Lanczos: Gödel's remarkable excursion into cosmology Wolfgang Rindler; 10. Physical unknowables Karl Svozil; Part II. A Wider Vision - The Interdisciplinary, Philosophical, And Theological Implications of Gödel's Work: 11. Gödel and physics John D. Barrow; 12. Gödel, Thomas Aquinas, and the unknowability of God Denys A. Turner; 13. Gödel's mathematics of philosophy Piergiorgio Odifreddi; 14. Gödel's ontological proof and its variants Petr Hájek; 15. The Gödel theorem and human nature Hilary Putnam; 16. Gödel, the mind, and the laws of physics Roger Penrose; Part III. New Frontiers - Beyond Gödel's Work in Mathematics and Symbolic Logic: 17. Gödel's functional interpretation and its use in current mathematics Ulrich Kohlenbach; 18. My forty years on his shoulders Harvey M. Friedman; 19. My interaction with Kurt Gödel: the man and his work Paul J. Cohen; 20. The transfinite universe W. Hugh Woodin; 21. The Gödel phenomena in mathematics: a modern view Avi Wigderson. (shrink)

Ranking theory delivers an account of iterated contraction; each ranking function induces a specific iterated contraction behavior. The paper shows how to reconstruct a ranking function from its iterated contraction behavior uniquely up to multiplicative constant and thus how to measure ranks on a ratio scale. Thereby, it also shows how to completely axiomatize that behavior. The complete set of laws of iterated contraction it specifies amend the laws hitherto discussed in the literature.

In this paper, I shall discuss several topics related to <span class='Hi'>Frege</span>’s paradigms of second-order abstraction principles and his logicism. The discussion includes a critical examination of some controversial views put forward mainly by Robin Jeshion, Tyler Burge, Crispin Wright, Richard Heck and John MacFarlane. In the introductory section, I try to shed light on the connection between logical abstraction and logical objects. The second section contains a critical appraisal of <span class='Hi'>Frege</span>’s notion of evidence and its interpretation by Jeshion, (...) the introduction of the course-of-values operator and <span class='Hi'>Frege</span>’s attitude towards Axiom V, in the expression of which this operator occurs as the key primitive term. Axiom V says that the course-of-values of the function f is identical with the course-of-values of the function g if and only if f and g are coextensional. In the third section, I intend to show that in Die Grundlagen der Arithmetik (1884) <span class='Hi'>Frege</span> hardly could have construed Hume’s Principle (HP) as a primitive truth of logic and used it as an axiom governing the cardinality operator as a primitive sign. HP expresses that the number of Fs is identical with the number of Gs if and only if F and G are equinumerous. In the fourth section, I argue that Wright falls short of making a convincing case for the alleged analyticity of HP. In the final section, I canvass Heck’s arguments for his contention that <span class='Hi'>Frege</span> knew he could deduce the simplest laws of arithmetic from HP without invoking Axiom V. I argue that they do not carry conviction. I conclude this section by rejecting an interpretation concerning HP suggested by MacFarlane. (shrink)

Epistemology, in the strict sense of the word, is concerned with the nature of knowledge and justified (or rational) belief. This twofold concern may be divided into five discernable questions: 1. What is knowledge? 2. What is justified belief? 3. How do we acquire knowledge? 4. What makes our beliefs justified? 5. Is the extent of justified belief and knowledge roughly what we take it to be, or are the skeptics right when they (...) claim that it is much smaller than what we would like to think? The first question differs from the third, and the second from the fourth, because we must distinguish between definitional and substantive issues.1 Before we can address the substantive issues raised by questions 3 and 4, we must first settle what we mean when we talk of knowledge and justification. Thus, after a brief historical overview, Part I of this essay focuses on the conceptual issues that arise when we try to answer questions 1 and 2. Here, we encounter issues such as: How can we distinguish between the kind of justification that is relevant to knowledge, and other kinds of justification? Is justification a deontological concept, to be understood in such terms as ‘ought’, ‘permission’, or ‘obligation’? How is justification related to knowledge? Can knowledge be understood as justified true belief? In Part II, turning to issues that arise when we attempt to answer questions 3 and 4, we shall examine two important debates — foundationalism vs. coherentism, and internalism vs. externalism — and review the most important theories on the nature of knowledge and justification, such as evidentialism, reliabilism, the conclusive reasons theory, and the tracking theory. In Part III, our topic will be a new approach — virtue epistemology — that has received much attention during the past two decades and sheds new light on the problems that plague the theories examined in Part II.. (shrink)