In this paper first order theories for nonmonotone inductive definitions are introduced, and a proof-theoretic analysis for such theories based on combined operator forms a la Richter with recursively inaccessible and Mahlo closure ordinals is given.

A new approach to Hume's problem of induction that justifies the optimality of induction at the level of meta-induction. Hume's problem of justifying induction has been among epistemology's greatest challenges for centuries. In this book, Gerhard Schurz proposes a new approach to Hume's problem. Acknowledging the force of Hume's arguments against the possibility of a noncircular justification of the reliability of induction, Schurz demonstrates instead the possibility of a noncircular justification of the optimality of induction, or, more precisely, of (...) meta-induction (the application of induction to competing prediction models). Drawing on discoveries in computational learning theory, Schurz demonstrates that a regret-based learning strategy, attractivity-weighted meta-induction, is predictively optimal in all possible worlds among all prediction methods accessible to the epistemic agent. Moreover, the a priori justification of meta-induction generates a noncircular a posteriori justification of object induction. Taken together, these two results provide a noncircular solution to Hume's problem. Schurz discusses the philosophical debate on the problem of induction, addressing all major attempts at a solution to Hume's problem and describing their shortcomings; presents a series of theorems, accompanied by a description of computer simulations illustrating the content of these theorems (with proofs presented in a mathematical appendix); and defends, refines, and applies core insights regarding the optimality of meta-induction, explaining applications in neighboring disciplines including forecasting sciences, cognitive science, social epistemology, and generalized evolution theory. Finally, Schurz generalizes the method of optimality-based justification to a new strategy of justification in epistemology, arguing that optimality justifications can avoid the problems of justificatory circularity and regress. (shrink)

Einleitung. Die stellung des parlamentes und sein verhältnis zum individuum.--Die moderne demokratie und der gleichheitzbegriff.--Die gleichheit vor dem gesetz.--Das problem der gleichheit der staaten im bundesstaatsrect.

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)

Together with its introduction, Language, Mind and Epistemology examines Davidson's unified stance towards philosophy by joining American and European authors ...

In the first part of my paper I discuss eight arguments in favour of the theory-dependence of observation: realistic content, guidance function of theories, perception as cognitive construction, expectation-dependence of perception, theory-dependence of scientific data, continuity between observational and theoretical concepts, language-dependence, and meaning holism. I argue that although these arguments make correct points, they do not exclude the existence of observations that are weakly theory-neutral in the sense that they don’t depend on acquired background knowledge. In the second part (...) I suggest an experimental method, the method of ostensive learning experiments, by which the degree of theory- and language-independence of a concept can be tested. (shrink)

Amblyopia, or lazy eye, is a neurological vision disorder that studies have shown to affect two to five percent of the population. Current methods of treatment produce the best visual outcome, if the condition is identified early in the patient's life. Several early screening procedures are aimed at finding the condition while the patient is a child, including an automated vision screening system. This paper aims to use artificial intelligence techniques to automatically identify children who are at risk for developing (...) the amblyopic condition and should therefore be referred to a specialist, i.e., pediatric ophthalmologist. Three techniques, namely, decision tree learning, random forest, and artificial neural network, are studied in this paper in terms of their effectiveness, using metrics of sensitivity, specificity, and accuracy. The features used by the techniques are extracted from images of patient eyes and are based on the color information. The efficacy of pixel color data is investigated with respect to the measurement of the rate of change of the color in the iris and pupil, i.e., color slope features. A 10-fold stratified cross validation procedure is used to compare the effectiveness of the three AI techniques in this medical application domain. (shrink)

Les divers points de vue relatifs au concept mathématique de l’infini sont ordonnés en série croissante d’après le degré où l’on reconnaît ce concept en ses diverses complications. Cette série est divisée en trois groupes : la mathématique du fini, la « conception constructive », et la « conception en soi » de l’infini. D’après cette série, l’on explique le programme d"Hilbert, qui est de prouver que la mathématique est libre de contradiction, et l’on rapporte brièvement les méthodes qui sont (...) en question pour administrer cette preuve. (shrink)

According to a plausible picture of information, to acquire information is to rule out possibilities. What is the nature of these possibilities? The most natural answer---that they are possible states of the world---seems to be refuted by the existence of informative truths that are necessary, and so don't rule out any real possibilities. This seems to show that informational contents cannot be identified with the real possibilities they eliminate. Real possibilities, it seems, are too coarse-grained to do the work of (...) informational contents. ;In the first part of the dissertation, I look at two defenses of the coarse-grained conception of content. First, Stalnaker has claimed that the informativeness of necessary truths can be explained within a two-dimensional semantic framework, in which necessary truths have contingent metalinguistic contents. In Chapter 1, I argue that this metalinguistic approach misconstrues the content of mathematical truths. Second, Stalnaker has claimed that we have independent reason to adopt a coarse-grained conception of content since naturalistic views of content such as indicator views allow only for coarse-grained contents. In Chapter 2, I argue that both indicator and teleological views allow for more fine-grained contents and that, given certain assumptions, they even require them. Together, these arguments show that the best attempt to explain the informativeness of necessary truths in terms of coarse-grained entities fails, and that naturalism gives us no reason for thinking that some other attempt will succeed. Instead of explaining informativeness in terms of the elimination of real possibilities, I claim, we should explain it in terms of the elimination of more fine-grained epistemic possibilities. ;In the second part of the dissertation, I describe the characteristic features of epistemic possibilities. Chapter 3 clarifies the relevant sense of epistemic possibility by distinguishing it from related senses that have gone under the same name. I argue that P is epistemically possible for a thinker at a time just in case an operative belief that P is compatible with his operative beliefs at this time, where beliefs are called compatible, not if their contents are compatible, but if the beliefs themselves are compatible in the sense that it is possible to have them at the same time. Since epistemic possibility in this sense is a matter of what it is possible to believe, I call it epistemic possibility in the believability sense. ;In Chapter 4, I turn to the question of what sort of thing epistemic possibilities are. I argue that epistemic possibilities can be defined in terms of, but not identified with, a certain kind of fine-grained content. (shrink)

How does your information change when you learn that something might be the case, where the modal “might” is epistemic? On the orthodox view, a proposition is added to your information base; on the view defended here, no propositions are added to your information base but some are removed from it. I argue that Stephen Yablo’s recent attempt to define this removal operation as a kind of propositional subtraction fails, offer a definition of my own in terms of the part–whole (...) relations between the truthmakers of the propositions one accepts, and argue that a deontic analogue of this account solves a problem about permission posed long ago by David Lewis. (shrink)

Inhalt: G. Funke: "Zu den Sachen selbst" oder "ist alles Interpretation?" - A. Riethmueller: "Interpretation" in der Musik. Eine Skizze - O. Zwierlein: "Interpretation" in Antike und Mittelalter.

Moses Mendelssohn (1729-1786) steht nicht nur für ein neues Selbstverständnis einer "aufgeklärten" jüdischen Elite, sondern auch - wie hier erstmals dokumentiert wird - für einen neuen Umgang mit »ästhetischer Bildung« und Musik: Er selbst nahm Klavierunterricht beim Bach-Schüler Kirnberger, während Sara Levy, geb. Itzig, ihren Salon zu einem Zentrum der Bach-Pflege machte und zahlreiche Berliner Juden ausgerechnet bei öffentlichen Aufführungen von Händels »Messias« und Grauns »Tod Jesu« mitwirkten. Die manifeste Bevorzugung "alter" und selbstreferentieller Musik in diesen Kreisen erlaubt die These, (...) daß die jüdische Minderheit in Berlin der Idee einer »absoluten Musik« wesentlich den Boden bereitet hat. (shrink)