The paper is motivated by the need of accounting for the practical syllogism as a piece of defeasible reasoning. To meet the need, the paper first refers to ranking theory as an account of defeasible descriptive reasoning. It then argues that two kinds of ought need to be distinguished, purely normative and fact-regarding obligations. It continues arguing that both kinds of ought can be iteratively revised and should hence be represented by ranking functions, too, just as iteratively revisable beliefs. Its (...) central proposal will then be that the fact-regarding normative ranking function must be conceived as the sum of a purely normative ranking function and an epistemic ranking function. The distinctions defends this proposal with a comparative discussion of some critical examples and some other distinctions made in the literature. It gives a more rigorous justification of this proposal. Finally, it starts developing the logic of purely normative and of fact-regarding normative defeasible reasoning, points to the difficulties of completing the logic of the fact-regarding side, but reaches the initial aim of accounting for the defeasible nature of the practical syllogism. (shrink)

I argue for the causal character of modeling in data-intensive science, contrary to widespread claims that big data is only concerned with the search for correlations. After discussing the concept of data-intensive science and introducing two examples as illustration, several algorithms are examined. It is shown how they are able to identify causal relevance on the basis of eliminative induction and a related difference-making account of causation. I then situate data-intensive modeling within a broader framework of an epistemology of scientific (...) knowledge. In particular, it is shown to lack a pronounced hierarchical, nested structure. The significance of the transition to such “horizontal” modeling is underlined by the concurrent emergence of novel inductive methodology in statistics such as non-parametric statistics. Data-intensive modeling is well equipped to deal with various aspects of causal complexity arising especially in the higher level and applied sciences. (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)

This addresses the transformations of metaphysics as a discipline, the emergence of analytical mechanics, the diverging avenues of 18th-century Newtonianism, the body-mind problem, and philosophical principles of classification in the life sciences. An appendix contains a critical edition and first translation into English of Newton's scholia from David Gregory's Estate on the Propositions IV through IX Book III of his Principia.

In this paper two theories of defeasible reasoning, Pollock's account and my theory of ranking functions, are compared, on a strategic level, since a strictly formal comparison would have been unfeasible. A brief summary of the accounts shows their basic difference: Pollock's is a strictly computational one, whereas ranking functions provide a regulative theory. Consequently, I argue that Pollock's theory is normatively defective, unable to provide a theoretical justification for its basic inference rules and thus an independent notion of admissible (...) rules. Conversely, I explain how quite a number of achievements of Pollock's account can be adequately duplicated within ranking theory. The main purpose of the paper, though, is not to settle a dispute with formal epistemology, but rather to emphasize the importance of formal methods to the whole of epistemology. (shrink)

The numerous modal systems between S4 and S5 are investigated from an epistemological point of view by interpreting necessity either as knowledge or as (strong) belief. It is shown that-granted some assumptions about epistemic logic for which the author has argued elsewhere-the system S4.4 may be interpreted as the logic of true belief, while S4.3.2 and S4.2 may be taken to represent epistemic logic systems for individuals who accept the scheme knowledge = true belief only for certain special instances. There (...) is strong evidence in favor of the assumption that S4.2 is the logic of knowledge. (shrink)

We examine the performance of some standard causal discovery algorithms, both constraint-based and score-based, from the perspective of how robust they are against failures of the Causal Faithfulness Assumption. For this purpose, we make only the so-called Triangle-Faithfulness assumption, which is a fairly weak consequence of the Faithfulness assumption, and otherwise allows unfaithful distributions. In particular, we allow violations of Adjacency-Faithfulness and Orientation-Faithfulness. We show that the PC algorithm, a representative constraint-based method, can be made more robust against unfaithfulness by (...) incorporating elements of the GES algorithm, a representative score-based method; similarly, the GES algorithm can be made less error-prone by incorporating elements of the conservative PC algorithm. As our simulations demonstrate, the increased robustness seems to matter even when faithfulness is not exactly violated, for with only finite sample, distributions that are not exactly unfaithful may be sufficiently close to being unfaithful to make trouble. (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)

An abridged and translated edition of two of Wolfgang Ernst’s major works, representing the ambitious claim of a comprehensive knowledge-oriented analysis of media temporalities.

Objective standards for justification or for being a reason would be desirable, but inductive skepticism tells us that they cannot be presupposed. Rather, we have to start from subjective-relative notions of justification and of being a reason. The paper lays out the strategic options we have given this dilemma. The paper explains the requirements for this subject-relative notion and how they may be satisfied. Then it discusses four quite heterogeneous ways of providing more objective standards, which combine without guaranteeing complete (...) success. (shrink)

The systems Kα of transfinite cumulative types up to α are extended to systems K∞α that include a natural infinitary inference rule, the so-called limit rule. For countable α a semantic completeness theorem for K∞α is proved by the method of reduction trees, and it is shown that every model of K∞α is equivalent to a cumulative hierarchy of sets. This is used to show that several axiomatic first-order set theories can be interpreted in K∞α, for suitable α.

In the present paper we give a functional interpretation of Aczel's constructive set theories CZF − and CZF in systems T ∈ and T ∈ + of constructive set functionals of finite types. This interpretation is obtained by a translation × , a refinement of the ∧ -translation introduced by Diller and Nahm 49–66) which again is an extension of Gödel's Dialectica translation. The interpretation theorem gives characterizations of the definable set functions of CZF − and CZF in terms of (...) constructive set functionals. In a second part we introduce constructive set theories in all finite types. We expand the interpretation to these theories and give a characterization of the translation × . We further show that the simplest non-trivial axiom of extensionality is not interpretable by functionals of T ∈ and T ∈ + . We obtain this result by adapting Howard's notion of hereditarily majorizable functionals to set functionals. Subject of the last section is the translation ∨ that is defined in Burr for an interpretation of Kripke-Platek set theory with infinity. (shrink)

Frege famously endorsed a principle of Thought-Sentence Correspondence that can be spelt out as follows: (Corr1) For all sentences s, for all thoughts t, if r expresses t, then:if a sense is expressed by a part of s then it is part of t, &(Corr2) For all sentences s, for all thoughts t, if s expresses t, then:if a sense is part of t then it is expressed by at least one part of s. He clearly embraces Corr1 when he (...) writes in § 32 of Grundgesetze, vol. I: ‘If a name is part of the name of a trut... (shrink)

In this article I focus on the question question of why we actually do read literary texts and what the merits of engaging with literary works are. The central argument is that (among the many other functions literature is abile to perform) literature is cognitively valuable by focusing not on what is said, but on how it is said. Reading literary texts adds to our expressive capacities, enriches our conceptual schemes and can so allow us to get a better grasp (...) of (relevant aspects of) the world. In short, Literature is cognitively valuable not in virtue of the content it expresses, but by means of formal or stylistic elements to which it draws our attention. (shrink)

Die Wissensvermittlung in Gesundheitsethik ermöglicht es Auszubildenden der Pflege, sich in ihrer zukünftigen Tätigkeit bei Entscheidungsprozessen des Behandlungsteams hinsichtlich pflegeethischer Fragestellungen einzubringen. Vor diesem Hintergrund wurde anhand der vorliegenden Studie die Entwicklung moralischer Positionen sowie pflegeethischer Kenntnisse von Pflegeauszubildenden sichtbar gemacht. An zwei Krankenpflegeschulen (Berlin und Fürth) wurden im Rahmen einer Panelstudie von August 2010 bis März 2011 Daten einer ersten Querschnittserhebung von Auszubildenden in der Pflege erhoben. Für die Studie wurde ein strukturierter Fragebogen verwendet. Die Studienteilnahme erfolgte freiwillig. Alle (...) Auszubildenden hatten vor der Befragung in unterschiedlichem Umfang Unterricht in Gesundheitsethik erhalten. An beiden Standorten zeigten die Teilnehmenden einen Zuwachs an pflegeethischen Kenntnissen. Auszubildende, die bislang keine praktische Erfahrung mit Sterbehilfe gemacht hatten, zeigten Schwierigkeiten in der theoretischen Handhabung dieser Maßnahmen. Für alle Auszubildenden zeigte sich ein allgemeiner Trend zu einer Befürwortung des partizipativen Interaktionsmodells und damit zu einer Förderung der Patientenselbstbestimmung. Zugleich schätzten die Studienteilnehmenden die Fähigkeiten von Patienten, medizinisch richtige Therapieentscheidungen zu treffen, als gering ein. Die Ausbildung in Gesundheitsethik besitzt ein großes Potential, Kenntnisse zu vermitteln und dadurch die ethische Kompetenzentwicklung zu befördern. Unsere Ergebnisse werfen die Frage auf, inwieweit es einer Integration praktischer Erfahrungen mit Fragestellungen der Gesundheitsethik bedarf, um eine praxisrelevante und wissenschaftlich fundierte Wissensvermittlung zu gewährleisten. (shrink)

The puzzle of the absentminded driver combines an unstable decision problem with a version of the Sleeping Beauty problem. Its analysis depends on the choice between “halfing” and “thirding” as well as that between “evidential” and “causal” decision theory. I show that all four combinations lead to interestingly different solutions, and draw some general lessons about the formulation of causal decision theory, the interpretation of mixed strategies and the connection between rational credence and objective chance.

Name der Zeitschrift: Klio Jahrgang: 99 Heft: 2 Seiten: 753-757.

Laws are true lawlike sentences. But what is lawlikeness? Much effort went into investigating the issue, but the richer the concert of opinions became, the more apparent their deficiencies became too, and with it the profound importance of the issue for epistemology and philosophy of science.

The article put forwards an argument against the deployment of American middle range missiles in 1983 within the Federal Republic of Germany. It stresses the threat to safety particularly for European countries, because of the technological superiority of American missiles over Russian missiles.