Philosophy of Science: A Unified Approach combines a general introduction to philosophy of science with an integrated survey of all its important subfields. As the book’s subtitle suggests, this excellent overview is guided methodologically by "a unified approach" to philosophy of science: behind the diversity of scientific fields one can recognize a methodological unity of the sciences. This unity is worked out in this book, revealing all the while important differences between subject areas. Structurally, this comprehensive book offers a two-part (...) approach, which makes it an excellent introduction for students new to the field and a useful resource for more advanced students. Each chapter is divided into two sections. The first section assumes no foreknowledge of the subject introduced, and the second section builds upon the first by bringing into the conversation more advanced, complementary topics. Definitions, key propositions, examples and figures overview all of the core material. At the end of every chapter there are selected readings and exercises . The book also includes a comprehensive bibliography and an index. (shrink)

This article describes abductions as special patterns of inference to the best explanation whose structure determines a particularly promising abductive conjecture and thus serves as an abductive search strategy. A classification of different patterns of abduction is provided which intends to be as complete as possible. An important distinction is that between selective abductions, which choose an optimal candidate from given multitude of possible explanations, and creative abductions, which introduce new theoretical models or concepts. While selective abduction has dominated the (...) literature, creative abductions are rarely discussed, although they are essential in science. The article introduces several kinds of creative abductions, such as theoretical model abduction, common cause abduction and statistical factor analysis, and illustrates them by various real case examples. It is suggested to demarcate scientifically fruitful abductions from purely speculative abductions by the criterion of causal unification. (shrink)

Schurz draws on modern alethic- deontic predicate logic to address the venerable yet enduring problem of whether what ought to be can be derived from what is. After two extensive introductory chapters supplying the background in philosophy and logic to readers unfamiliar with it, he examines such dimensions as the logical explication of Hume's thesis, the special Hume thesis, weakened versions of it, generalizations, some applications to ethical arguments, problems of identity and existence, whether there are analytic bridge principles, and (...) whether they are scientifically justifiable. The inquiry is expanded from Part II of his 1989 Relevant Deduction in Science and Ethics with a Case Study of the Is-Ought Problem. No index. Annotation copyrighted by Book News, Inc., Portland, OR. (shrink)

There are two ways of representing rational belief: qualitatively as yes-or-no belief, and quantitatively as degrees of belief. Standard rationality conditions are: consistency and logical closure, for qualitative belief, satisfaction of the probability axioms, for quantitative belief, and a relationship between qualitative and quantitative beliefs in accordance with the Lockean thesis. In this paper, it is shown that these conditions are inconsistent with each of three further rationality conditions: fallibilism, open-mindedness, and invariance under independent conceptual expansions. Restrictions of the Lockean (...) thesis that have been suggested in the literature cannot remove the inconsistency. In the outlook we discuss two alternative ways of dealing with this problem: restricting conjunctive closure or going for a dual system account. (shrink)

Starting from a brief recapitulation of the contemporary debate on scientific realism, this paper argues for the following thesis : Assume a theory T has been empirically successful in a domain of application A, but was superseded later on by a superior theory T * , which was likewise successful in A but has an arbitrarily different theoretical superstructure. Then under natural conditions T contains certain theoretical expressions, which yielded T's empirical success, such that these T-expressions correspond (in A) to (...) certain theoretical expressions of T * , and given T * is true, they refer indirectly to the entities denoted by these expressions of T * . The thesis is first motivated by a study of the phlogiston–oxygen example. Then the thesis is proved in the form of a logical theorem , and illustrated by further examples. The final sections explain how the correspondence theorem justifies scientific realism and work out the advantages of the suggested account. Introduction: Pessimistic Meta-induction vs. Structural Correspondence The Case of the Phlogiston Theory Steps Towards a Systematic Correspondence Theorem The Correspondence Theorem and Its Ontological Interpretation Further Historical Applications Discussion of the Correspondence Theorem: Objections and Replies Consequences for Scientific Realism and Comparison with Other Positions 7.1 Comparison with constructive empiricism 7.2 Major difference from standard scientific realism 7.3 From minimal realism and correspondence to scientific realism 7.4 Comparison with particular realistic positions CiteULike Connotea Del.icio.us What's this? (shrink)

According to the paradigm of adaptive rationality, successful inference and prediction methods tend to be local and frugal. As a complement to work within this paradigm, we investigate the problem of selecting an optimal combination of prediction methods from a given toolbox of such local methods, in the context of changing environments. These selection methods are called meta-inductive strategies, if they are based on the success-records of the toolbox-methods. No absolutely optimal MI strategy exists—a fact that we call the “revenge (...) of ecological rationality”. Nevertheless one can show that a certain MI strategy exists, called “AW”, which is universally long-run optimal, with provably small short-run losses, in comparison to any set of prediction methods that it can use as input. We call this property universal access-optimality. Local and short-run improvements over AW are possible, but only at the cost of forfeiting universal access-optimality. The last part of the paper includes an empirical study of MI strategies in application to an 8-year-long data set from the Monash University Footy Tipping Competition. (shrink)

The no free lunch theorem is a radicalized version of Hume’s induction skepticism. It asserts that relative to a uniform probability distribution over all possible worlds, all computable prediction algorithms—whether ‘clever’ inductive or ‘stupid’ guessing methods —have the same expected predictive success. This theorem seems to be in conflict with results about meta-induction. According to these results, certain meta-inductive prediction strategies may dominate other methods in their predictive success. In this article this conflict is analyzed and dissolved, by means of (...) probabilistic analysis and computer simulation. (shrink)

The expansion or revision of false theories by true evidence does not always increase their verisimilitude. After a comparison of different notions of verisimilitude the relation between verisimilitude and belief expansion or revision is investigated within the framework of the relevant element account. We are able to find certain interesting conditions under which both the expansion and the revision of theories by true evidence is guaranteed to increase their verisimilitude.

According to the comparative Bayesian concept of confirmation, rationalized versions of creationism come out as empirically confirmed. From a scientific viewpoint, however, they are pseudo-explanations because with their help all kinds of experiences are explainable in an ex-post fashion, by way of ad-hoc fitting of an empirically empty theoretical framework to the given evidence. An alternative concept of confirmation that attempts to capture this intuition is the use novelty criterion of confirmation. Serious objections have been raised against this criterion. In (...) this paper I suggest solutions to these objections. Based on them, I develop an account of genuine confirmation that unifies the UN-criterion with a refined probabilistic confirmation concept that is explicated in terms of the confirmation of evidence-transcending content parts of the hypothesis. (shrink)

The constraint against harming people in order to save yourself and others seems stronger than the constraint against harming people as a consequence of saving yourself and others. The reduced constraint against acting in one type of case is often justified with reference to the intentions of the agent or to the fact that she does not use the people she harms as a means. In this article I offer a victim-centered account. I argue that the circumstances in which the (...) people to be harmed find themselves are significant in distinguishing morally between two instances of harming. (shrink)

, Pietroski and Rey ([1995]) suggested a reconstruction of ceteris paribus (CP)-laws, which — as they claim — saves CP-laws from vacuity. This discussion note is intended to show that, although Pietroski and Rey's reconstruction is an improvement in comparison to previous suggestions, it cannot avoid the result that CP-laws are almost vacuous. It is proved that if Cx is an arbitrary (nomological) event-type which has independently identifiable deterministic causes, then for every other (nomological) event-type Ax which is not strictly (...) connected with Cx or with ¬Cx, ‘CP if Ax then Cx’ satisfies the conditions of Pietroski and Rey for CP-laws. It is also shown that Pietroski and Rey's reconstruction presupposes the assumption of determinism. The conclusion points towards some alternatives to Piectroski and Rey's reconstruction. (shrink)

In the first part I argue that normic laws are the phenomenological laws of evolutionary systems. If this is true, then intuitive human reasoning should be fit in reasoning from normic laws. In the second part I show that system P is a tool for reasoning with normic laws which satisfies two important evolutionary standards: it is probabilistically reliable, and it has rules of low complexity. In the third part I finally report results of an experimental study which demonstrate that (...) intuitive human reasoning is in well accord with basic argument patterns of system P. (shrink)

This article provides the proof-theoretic analysis of the transfinitely iterated fixed point theories $\widehat{ID}_\alpha and \widehat{ID}_{ the exact proof-theoretic ordinals of these systems are presented.

Jäger, G., Fixed points in Peano arithmetic with ordinals, Annals of Pure and Applied Logic 60 119-132. This paper deals with some proof-theoretic aspects of fixed point theories over Peano arithmetic with ordinals. It studies three such theories which differ in the principles which are available for induction on the natural numbers and ordinals. The main result states that there is a natural theory in this framework which is a conservative extension of Peano arithmeti.

This article suggests a revision of the theory of causal nets. In section 1 we introduce an axiomatization of TCN based on a realistic understanding. It is shown that the causal Markov condition entails three independent principles. In section 2 we analyze indeterministic decay as the major counterexample to one of these principles: screening off by common causes. We call SCC-violating common causes interactive causes. In section 3 we develop a revised version of TCN, called TCN*, which accounts for interactive (...) causes. It is shown that there are interactive causal models that admit of no faithful noninteractive reconstruction. (shrink)

This paper elaborates on the following correspondence theorem (which has been defended and formally proved elsewhere): if theory T has been empirically successful in a domain of applications A, but was superseded later on by a different theory T* which was likewise successful in A, then under natural conditions T contains theoretical expressions which were responsible for T’s success and correspond (in A) to certain theoretical expressions of T*. I illustrate this theorem at hand of the phlogiston versus oxygen theories (...) of combustion, and the classical versus relativistic theories of mass. The ontological consequences of the theorem are worked out in terms of the indirect reference and partial truth. The final section explains how the correspondence theorem may justify a weak version of scientific realism without presupposing the no-miracles argument. (shrink)

In this article we introduce systems for metapredicative Mahlo in explicit mathematics and admissible set theory. The exact upper proof-theoretic bounds of these systems are established.

In this article we discuss the notion of a linguistic universal, and possible sources of such invariant properties of natural languages. In the first part, we explore the conceptual issues that arise. In the second part of the paper, we focus on the explanatory potential of horizontal evolution. We particularly focus on two case studies, concerning Zipf’s Law and universal properties of color terms, respectively. We show how computer simulations can be employed to study the large scale, emergent, consequences of (...) psychologically and psychologically motivated assumptions about the working of horizontal language transmission. (shrink)

In this paper I reconstruct and compare criteria of theoreticity that have been developed by Carnap, Sneed and proponents of the Munich school of structuralist philosophy of science. For this purpose I develop a unified framework in which one can transform model-theoretic theory representations into linguistic ones, and vice versa. This bridges the gap between statement and non-statement view and allows a precise comparison of linguistic and model-theoretic criteria of theoreticity. In the final part I suggest a system of improved (...) definitions of theoreticity and pre-theoreticity. (shrink)

In this paper we study applicative theories of operations and numbers with the non-constructive minimum operator in the context of a total application operation. We determine the proof-theoretic strength of such theories by relating them to well-known systems like Peano Arithmetic PA and the system <0 of second order arithmetic. Essential use will be made of so-called fixed-point theories with ordinals, certain infinitary term models and Church-Rosser properties.

The goal of this paper is to answer the following question: Does it make sense to speak of thought experiments not only in physics, but also in mathematics, to refer to an authentic type of activity? One may hesitate because mathematics as such is the exercise of reasoning par excellence, an activity where experience does not seem to play an important role. After reviewing some results of the research on thought experiments in the natural sciences, we turn our attention to (...) experiments and thought experiments in mathematics, especially in fundamental mathematics, and investigate what thought experiments can teach us there. If we accept the principle that mathematical practice can sometimes be best described by a pragmatist approach where the concept of experience in mathematics is considered from a new perspective, thought experiments can in some cases be a useful instrument different from both ‘mathematical experiments’ and ‘formal’ proofs: they are mathematical experiments using deviant methods. (shrink)

Strong notions of free will are closely connected to the possibility to do otherwise as well as to an agent’s ability to causally influence her environment via her decisions controlling her actions. In this paper we employ techniques from the causal modeling literature to investigate whether a notion of free will subscribing to one or both of these requirements is compatible with naturalistic views of the world such as non-reductive physicalism to the background of determinism and indeterminism. We argue that (...) from a causal modeler’s perspective the only possibility to get both requirements consists in subscribing to reductive physicalism and indeterminism. (shrink)

This paper describes the development of theories of scientific explanation since Hempel's earliest models in the 1940ies. It focuses on deductive and probabilistic whyexplanations and their main problems: lawlikeness, explanation-prediction asymmetries, causality, deductive and probabilistic relevance, maximal specifity and homogenity, the height of the probability value. For all of these topic the paper explains the most important approaches as well as their criticism, including the author's own accounts. Three main theses of this paper are: (1) Both deductive and probabilistic explanations (...) are important in science, not reducible to each other. (2) One must distinguish between (cause giving) explanations and (reason giving) justifications and predictions. (3) The adequacy of deductive as well as probabilistic explanations is relative to a pragmatically given background knowledge-which does not exclude, however, the possibility of purely semantic models. (shrink)

This paper deals with universes in explicit mathematics. After introducing some basic definitions, the limit axiom and possible ordering principles for universes are discussed. Later, we turn to least universes, strictness and name induction. Special emphasis is put on theories for explicit mathematics with universes which are proof-theoretically equivalent to Feferman's.

In this paper, we discuss some formal properties of the model ofbidirectional Optimality Theory that was developed inBlutner (2000). We investigate the conditions under whichbidirectional optimization is a well-defined notion, and we give aconceptually simpler reformulation of Blutner's definition. In thesecond part of the paper, we show that bidirectional optimization can bemodeled by means of finite state techniques. There we rely heavily onthe related work of Frank and Satta (1998) about unidirectionaloptimization.

One persistent puzzle in the life sciences is the asymmetric lipid composition of the cellular plasma membrane: while the exoplasmic leaflet is enriched in lipids carrying predominantly saturated fatty acids, the cytoplasmic leaflet hosts preferentially lipids with (poly‐)unsaturated fatty acids. Given the high energy requirements necessary for cells to maintain this asymmetry, the question naturally arises regarding its inherent benefits. In this paper, we propose asymmetry to represent a potential solution for harmonizing two conflicting requirements for the plasma membrane: first, (...) the need to build a barrier for the uncontrolled influx or efflux of substances; and second, the need to form a fluid and dynamic two‐dimensional substrate for signaling processes. We hence view here the plasma membrane as a composite material, where the exoplasmic leaflet is mainly responsible for the functional integrity of the barrier and the cytoplasmic leaflet for fluidity. We reinforce the validity of the proposed mechanism by presenting quantitative data from the literature, along with multiple examples that bolster our model. (shrink)

In this paper we establish the proof-theoretic equivalence of (i) $\hbox {\sf ATR}$ and $\widehat{\hbox{\sf ID}}_{\omega}$ , (ii) $\hbox{\sf ATR}_0+ (\Sigma^1_1-\hbox{\sf DC})$ and $\widehat{\hbox {\sf ID}}_{<\omega^\omega} , and (iii) $\hbox {\sf ATR}+(\Sigma^1_1-\hbox{\sf DC})$ and $\widehat{\hbox {\sf ID}}_{<\varepsilon_0} $.

In this paper I investigate unification as a virtue of explanation. In the first part of the paper (sec. 1-2) I give a brief exposition of the unification account of Schurz and Lambert (1994) and Schurz (1999). I illustrate the advantages of this account in comparison to the older unification accounts of Friedman (1974) and Kitcher (1981). In the second part (sec. 3) I discuss several comments and objections to the Schurz-Lambert account that were raised by Weber and van Dyck (...) (2002), Gijsbers (2007) and de Regt (2005). In the third and final part (sec. 4), I argue that explanation should be understood as a prototype concept which contains nomic expectability, causality and unification as prototypical virtues of explanations, although none of these virtues provides a sufficient and necessary "defining condition" of explanation.El artículo analiza la unificación como virtud explicativa. En su primera parte hago una breve exposición del enfoque de la unificación de Schurz y Lambert (1994) y Schurz (1999). Ilustro las ventajas de este planteamiento sobre otros anteriores, como Friedman (1974) y Kitcher (1981). En la segunda parte (secc. 3)discuto varios comentarios y objeciones al enfoque Schurz-Lambert planteados por Weber y van Dyck (2002), Gijsbers (2007) y de Regt (2005). En la tercera y última parte (secc. 4) argumento que la explicación debería entenderse como un concepto prototipo que contiene la esperabilidad nómica, la causalidad y launificación como virtudes prototípicas de las explicaciones, aunque ninguna de estas virtudes ofrece una condición “definitoria”, suficiente y necesaria, de la explicación. (shrink)

I came to the topic of the title in connection with my logical investigations of the Is-Ought problem in multimodal logics . There are infinitely many mathematically possible modal logics. Are they all philosophically serious candidates? Which modal logic the “right” one — does such a question make sense? A similar question can be raised for the infinite variety of propositional logics weaker than classical logics. The Vienna Circle concept of logic was that logic holds merely by form, independently from (...) the facts of the world. Have we lost this concept completely? Is it a matter of arbitrary choice, of mere subjective-practical appropriateness, which logic one chooses? Is Quine right that there is no distinction between analytic and synthetic truth, even if we take “analytic truth” in the narrow sense of “logical truth”? These are the questions which have motivated this paper. (shrink)

Suppose two people are about to drown. We are in a position to save only one, so the other will have to die. One of the two has just culpably killed an innocent person, but has no intention of killing anybody else and there is no reason to expect that he will. Everything else being equal, should we give them an equal chance of being saved by flipping a coin? In this paper I argue that we should not. I argue (...) that the implications of a person's moral culpability for (recent or prospective) harm to a particular victim should transfer to other conflict situations in which the wrongdoer might find him or herself. This requires establishing the extent to which a person's contributing to harming another person — and his moral culpability for that harm — impinges on our decision making in situations where it is possible only to assist either the wrongdoer or some other person that is not his victim. (shrink)

Keine ausführliche Beschreibung für "Beiträge zur Geschichte und Interpretation der Philosophie Kants" verfügbar.

The main thesis of the article is that one’s responsibility to render assistance is not affected by having contributed to the situation by causing harm. I examine ways in which contribution to need is morally significant. Although contribution is relevant with regard to certain features, such as questions of blame, compensation, and fair distribution of the cost of assistance, I argue that contribution should carry no weight when assessing our duty to assist people in severe need if we can do (...) so at little cost. If this is true we have reason to suspect that it is redundant to know whether or not we have in fact contributed to the need of the global poor when assessing our duty to address global poverty. (shrink)

We show that the principle of ω model reflection for Π1n − 1 formulas is equivalent over ACA0 to the scheme of Π1n bar induction. This extends and refines previous results of Friedman and Simpson.

It is shown that the criteria of T-theoreticity proposed by Balzer and Gähde lead to strongly counterintuitive and in this sense paradoxical results: most of the obviously empirical or at least nontheoretical terms come out as theoretical. This is demonstrated for a lot of theories in different areas. On the way, some improved and some new structuralist theory-reconstructions are given. The conclusion is drawn that the T-theoreticity of a term cannot possibly be proved on the basis of the mathematical structure (...) of theory T alone (as Gähde and Balzer suggest). Rather, an independent notion of pre-T-theoreticity and-more importantly-of empiricity is needed; i.e., not empirical and not pre-T-theoretical are independent, necessary but not sufficient conditions for T-theoretical (this is also a necessary complement of Sneed's original criterion). Finally it is asked whether the structuralist criterion of T-theoreticity complemented by such independent conditions would be a satisfactory answer to Putnam's challenge, and the answer again is negative: the criterion is not able to distinguish between empirically contentful and completely contentless (superfluous) theoretical terms. (shrink)

Critical Rationalism has become an influential philosophy in many areas including a great number of scientific disciplines. Yet only few studies have been devoted to the role of the philosophy of Sir Karl Popper in the vast field of education. This volume undertakes to fill this gap. Leading scholars in the educational science and in the philosophy of education have critically written for this volume in an attempt to elaborate Popper's methodological and socio-political views and confront them with a globally (...) relevant spectrum of scientific objectives and cultural values. Among the topics discussed are moral values, education for freedom and its consequences for the student, and the critical attitude in political education. Attention is also paid to the historiography of this significant philosophical movement. Regarding pedagogical research, the empirical paradigm, the falsificatory approach to educational research, the complex relationship between educational theory and practice as well as the problem of value-neutrality in educational science are objects of critical analysis. (shrink)

We discuss several ontological properties of explicit mathematics and operational set theory: global choice, decidable classes, totality and extensionality of operations, function spaces, class and set formation via formulas that contain the definedness predicate and applications.