Eine kurze Biografie des antiken Naturforschers Plinius des Älteren anlässlich der Wiederkehr seines Todes beim Ausbruch des Vesuv am 25. August 79 n.Chr. Mit 31 Abbildungen.

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)

This paper presents an outline of a new theory of relevant deduction which arose from the purpose of solving paradoxes in various fields of analytic philosophy. In distinction to relevance logics, this approach does not replace classical logic by a new one, but distinguishes between relevance and validity. It is argued that irrelevant arguments are, although formally valid, nonsensical and even harmful in practical applications. The basic idea is this: a valid deduction is relevant iff no subformula of the conclusion (...) is replaceable on some of its occurrences by any other formula salva validitate of the deduction. The paper first motivates the approach by showing that four paradoxes seemingly very distant from each other have a common source. Then the exact definition of relevant deduction is given and its logical properties are investigated. An extension to relevance of premises is discussed. Finally the paper presents an overview of its applications in philosophy of science, ethics, cognitive psychology and artificial intelligence. (shrink)

The basic theory of scientific understanding presented in Sections 1–2 exploits three main ideas.First, that to understand a phenomenonP (for a given agent) is to be able to fitP into the cognitive background corpusC (of the agent).Second, that to fitP intoC is to connectP with parts ofC (via arguments in a very broad sense) such that the unification ofC increases.Third, that the cognitive changes involved in unification can be treated as sequences of shifts of phenomena inC. How the theory fits (...) typical examples of understanding and how it excludes spurious unifications is explained in detail. Section 3 gives a formal description of the structure of cognitive corpuses which contain descriptive as well as inferential components. The theory of unification is then refined in the light of so called puzzling phenomena, to enable important distinctions, such as that between consonant and dissonant understanding. In Section 4, the refined theory is applied to several examples, among them a case study of the development of the atomic model. The final part contains a classification of kinds of understanding and a discussion of the relation between understanding and explanation. (shrink)

Function and teleology can be naturalized either by reference to systems with a particular type of organization or by reference to a particular kind of history. As functions are generally ascribed to states or traits according to their current role and regardless of their origin, etiological accounts are inappropriate. Here, I offer a systems-theoretical interpretation as a new version of an organizational account of functionality, which is more comprehensive than traditional cybernetic views and provides explicit criteria for empirically testable function (...) ascriptions. I propose, that functional states, traits or items are those components of a complex system, which are under certain circumstances necessary for their self-re-production. I show, how this notion can be applied in intra- and trans-generational function ascriptions in biology, how it can deal with the problems of multifunctionality and functional equivalents, and how it relates to concepts like fitness and adaptation. Finally, I argue that most intentional explanations can be treated as functional explanations. (shrink)

Zwart and Franssen’s impossibility theorem reveals a conflict between the possible-world-based content-definition and the possible-world-based likeness-definition of verisimilitude. In Sect. 2 we show that the possible-world-based content-definition violates four basic intuitions of Popper’s consequence-based content-account to verisimilitude, and therefore cannot be said to be in the spirit of Popper’s account, although this is the opinion of some prominent authors. In Sect. 3 we argue that in consequence-accounts , content-aspects and likeness-aspects of verisimilitude are not in conflict with each other, but (...) in agreement . We explain this fact by pointing towards the deep difference between possible-world- and the consequence-accounts, which does not lie in the difference between syntactic (object-language) versus semantic (meta-language) formulations, but in the difference between ‘disjunction-of-possible-worlds’ versus ‘conjunction-of-parts’ representations of theories. Drawing on earlier work, we explain in Sect. 4 how the shortcomings of Popper’s original definition can be repaired by what we call the relevant element approach. We propose a quantitative likeness-definition of verisimilitude based on relevant elements which provably agrees with the qualitative relevant content-definition of verisimilitude on all pairs of comparable theories. We conclude the paper with a plea for consequence-accounts and a brief analysis of the problem of language-dependence (Sect. 6). (shrink)

Normic laws have the form "if A, then normally B." They are omnipresent in everyday life and non-physical 'life' sciences such as biology, psychology, social sciences, and humanities. They differ significantly from ceteris-paribus laws in physics. While several authors have doubted that normic laws are genuine laws at all, others have argued that normic laws express a certain kind of prototypical normality which is independent of statistical majority. This paper presents a foundation for normic laws which is based on generalized (...) evolution theory and explains their omnipresence, lawlikeness, and reliability. It is argued that the fact that normic laws are a product of evolution must establish a systematic connection between prototypical and statistical normality. (shrink)

This paper supplements an earlier one (Wassermann 1978b). Its views aim to reinforce those of Lewontin and other prominent evolutionists, but differ significantly from the opinions of some philosophers of science, notably Popper (1957) and Olding (1978). A basic distinction is made between 'laws' and 'theories of mechanisms'. The 'Theory of Evolution' is not characterized by laws, but is viewed here as a hypertheory which explains classifiable evolutionary phenomena in terms of subordinate classifiable theories of 'evolution-specific mechanisms' (ESMs), each of (...) which could apply to a host of species. Adaptations could result from ESMs that are rooted in molecular complementarities. The status of optimization theories that aim to predict best adapted states of organisms or populations is also discussed. (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.

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.

, 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)

Giuseppe Gallis konsequentes Streben nach einer angemessenen Berücksichtigung beider Pole, des Subjektpols ebenso wie des Objektpols, sowohl in der Forschung als auch in allen Bereichen des menschlichen Lebens kommt im vorliegenden Sammelband in allen Arbeiten zum Tragen. Galli eröffnet damit auch neue Felder f8r die gestalttheoretische Forschungs- und Anwendungspraxis. Er erschließt Themen, die nicht zuletzt auch f8r die medizinischen, philosophischen, psychologischen und psychotherapeutischen Aufgabenstellungen zentral sind. Er plädiert nicht nur allgemein für einen dialogischen Ansatz in der zwischenmenschlichen Begegnung, er führt (...) in einer Reihe von Aufsätzen in diesem Sammelband auch sehr konkret die Fruchtbarkeit eines solchen Dialogs mit der Gedankenwelt eines Norbert Elias, Szvetan Todorovic und Paul Ricoeur für eine Bereicherung und Weiterentwicklung der Gestalttheorie vor Augen. (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)

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.

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)

The article presents proofs of the context freeness of a family of typelogical grammars, namely all grammars that are based on a uni- ormultimodal logic of pure residuation, possibly enriched with thestructural rules of Permutation and Expansion for binary modes.

Gerhard Kruger (1902-1972) konnte seine philosophiegeschichtlichen Untersuchungen nicht zum Abschluss bringen. Dieses Manuskript uas dem Nachlass stellt radikal die Frage nach der Geschichtlichkeit, die nach Kruger in dem Satz gipfelt: Wir leben in einer Zeit totaler Geschichtlichkeit. Ein Vorwort von Richard Schaeffler eroffnet den Zugang zu Gerhard Krugers Denken.

This open access book examines the many contributions of Paul Lorenzen, an outstanding philosopher from the latter half of the 20th century. It features papers focused on integrating Lorenzen's original approach into the history of logic and mathematics. The papers also explore how practitioners can implement Lorenzen’s systematical ideas in today’s debates on proof-theoretic semantics, databank management, and stochastics. Coverage details key contributions of Lorenzen to constructive mathematics, Lorenzen’s work on lattice-groups and divisibility theory, and modern set theory and Lorenzen’s (...) critique of actual infinity. The contributors also look at the main problem of Grundlagenforschung and Lorenzen’s consistency proof and Hilbert’s larger program. In addition, the papers offer a constructive examination of a Russell-style Ramified Type Theory and a way out of the circularity puzzle within the operative justification of logic and mathematics. Paul Lorenzen's name is associated with the Erlangen School of Methodical Constructivism, of which the approach in linguistic philosophy and philosophy of science determined philosophical discussions especially in Germany in the 1960s and 1970s. This volume features 10 papers from a meeting that took place at the University of Konstanz. (shrink)

This paper deals with: (i) the theory ID # 1 which results from $\widehat{\mathrm{ID}}_1$ by restricting induction on the natural numbers to formulas which are positive in the fixed point constants, (ii) the theory BON(μ) plus various forms of positive induction, and (iii) a subtheory of Peano arithmetic with ordinals in which induction on the natural numbers is restricted to formulas which are Σ in the ordinals. We show that these systems have proof-theoretic strength φω 0.

In this note it is shown that in explicit mathematics the strong power type axiom is inconsistent with (uniform) elementary comprehension and discuss some general aspects of power types in explicit mathematics.

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)