Holger Andreas

The concept of measurement is fundamental to a whole range of different disciplines, including not only the natural and engineering sciences, but also laboratory medicine and certain branches of the social sciences. This being the case, the concept of measurement has a particular relevance to the development of top-level ontologies in the area of knowledge engineering. For this reason, the present paper is concerned with ontological aspects of measurement. We are searching for a list of concepts that are apt to characterize measurement methods in a general manner. To establish such means of characterization, we will primarily deal with the semantics of measurement values.

In this paper, we develop a non-reductive variant of the regularity theory of causation proposed in Andreas and Günther (Pacific Philosophical Quarterly 105: 2–32, 2024). The variant is motivated as a refinement of Lewis’s (Journal of Philosophy 70:556–567, 1973) regularity theory. We do not pursue a reductive theory here because we found a challenge for Baumgartner's (Erkenntnis 78:85–109, 2013) regularity theory which applies to our previous theory as well. The challenge is sidestepped by a framework of law-like propositions resembling structural equations. We furthermore improve the deviancy condition of our previous theory. Finally, we show that the present theory can compete with the most advanced regularity and counterfactual accounts.

The well-known formal semantics of conditionals due to Stalnaker Studies in logical theory, Blackwell, Oxford, 1968), Lewis, and Gärdenfors The logic and 1140 epistemology of scientific change, North-Holland, Amsterdam, 1978, Knowledge in flux, MIT Press, Cambridge, 1988) all fail to distinguish between trivially and nontrivially true indicative conditionals. This problem has been addressed by Rott :345–370, 1986) in terms of a strengthened Ramsey Test. In this paper, we refine Rott’s strengthened Ramsey Test and the corresponding analysis of explanatory relations. We show that our final analysis captures the presumed asymmetry between explanans and explanandum much better than Rott’s original analysis.

In this paper, a solution to the problem of theoretical terms is developed that is based on Carnap’s doctrine of indirect interpretation of theoretical terms. This doctrine will be given a semantic, model-theoretic explanation that is not given by Carnap himself as he remains content with a syntactic explanation. From that semantic explanation, rules for the truth-value assignment to postulates, i.e. sentences that determine the meaning of theoretical terms, are derived. The logical status of postulates will be clarified thereby in such a way that the problem of theoretical terms disappears.

This book aims to lay bare the logical foundations of tractable reasoning. It draws on Marvin Minsky's seminal work on frames, which has been highly influential in computer science and, to a lesser extent, in cognitive science. Only very few people have explored ideas about frames in logic, which is why the investigation in this book breaks new ground. The apparent intractability of dynamic, inferential reasoning is an unsolved problem in both cognitive science and logic-oriented artificial intelligence. By means of a logical investigation of frames and frame concepts, Andreas devises a novel logic of tractable reasoning, called frame logic. Moreover, he devises a novel belief revision scheme, which is tractable for frame logic. These tractability results shed new light on our logical and cognitive means to carry out dynamic, inferential reasoning. Modularity remains central for tractability, and so the author sets forth a logical variant of the massive modularity hypothesis in cognitive science.

According to Woodward’s influential account of explanation, explanations have a counterfactual structure, and explanatory counterfactuals are analysed in terms of causal relations and interventions. In this paper, we provide a formal semantics of explanatory counterfactuals based on a Ramsey Test semantics of conditionals. Like Woodward’s account, our account is guided by causal considerations. Unlike Woodward’s account, it makes no reference to causal graphs and it also covers cases of explanation where interventions are impossible.

We put forth an analysis of causation. The analysis centers on the notion of a causal model that provides only partial information as to which events occur, but complete information about the dependences between the events. The basic idea is this: an event causes another just in case there is a causal model that is uninformative on both events and in which the first event makes a difference as to the occurrence of the other. We show that our analysis captures more causal scenarios than the other counterfactual accounts to date.

We define a formal semantics of conditionals based on _normatively ideal worlds_. Such worlds are described informally by Armgardt (Gabbay D, Magnani L, Park W, Pietarinen A-V (eds) Natural arguments: a tribute to john woods, College Publications, London, pp 699–708, 2018) to address well-known problems of the counterfactual approach to causation. Drawing on Armgardt’s proposal, we use iterated conditionals in order to analyse causal relations in scenarios of multi-agent interaction. This results in a refined counterfactual approach to causal responsibility in legal contexts, which solves overdetermination problems in an intuitively accessible manner.

This paper expounds a simple and non-trivial Ramsey Test. Drawing on the work of Peter Gärdenfors, it aims to help establish an epistemic alternative to the semantics of variably strict conditionals by Robert Stalnaker (in: Rescher (ed), Studies in logical theory, Blackwell, Oxford, 1968) and David Lewis (Counterfactuals, Blackwell, Oxford, 1973). The novelty of the present contribution lies in considering the framework of Preferred Subtheories as model of belief change upon which conditionals are defined. The resulting semantics avoids triviality in the sense that a major premise of the proof of Gärdenfors’ triviality theorem is violated.

In this paper, we aim to explore connections between a Carnapian semantics of theoretical terms and an eliminative structuralist approach in the philosophy of mathematics. Specifically, we will interpret the language of Peano arithmetic by applying the modal semantics of theoretical terms introduced in Andreas (Synthese 174(3):367–383, 2010). We will thereby show that the application to Peano arithmetic yields a formal semantics of universal structuralism, i.e., the view that ordinary mathematical statements in arithmetic express general claims about all admissible interpretations of the Peano axioms. Moreover, we compare this application with the modal structuralism by Hellman (Mathematics without numbers: towards a modal-structural interpretation. Oxford University Press: Oxford, 1989), arguing that it provides us with an easier epistemology of statements in arithmetic.

The present paper aims to complement causal model approaches to causal explanation by Woodward [15], Halpern and Pearl [5], and Strevens [14]. It centres on a strengthened Ramsey Test of conditionals: α ≫ γ iff, after sus- pending judgment about α and γ, an agent can infer γ from the supposition of α. It has been shown by Andreas and Gu ̈nther [1] that such a conditional can be used as starting point of an analysis of ‘because’ in natural language. In what follows, we shall refine this analysis so as to yield a fully fledged account of causal explanation.

In this book we present a collection of papers on the topic of applying paraconsistent logic to solve inconsistency related problems in science, mathematics and computer science. The goal is to develop, compare, and evaluate different ways of applying paraconsistent logic. After more than 60 years of mainly theoretical developments in many independent systems of paraconsistent logic, we believe the time has come to compare and apply the developed systems in order to increase our philosophical understanding of reasoning when faced with inconsistencies. This book wants to be a first step toward an application based, constructive debate to tackle the question which systems are best applied for which kind of problems and which philosophical conclusions can be drawn from such applications.

In this book we present a collection of papers on the topic of applying paraconsistent logic to solve inconsistency related problems in science, mathematics and computer science. The goal is to develop, compare, and evaluate different ways of applying paraconsistent logic. After more than 60 years of mainly theoretical developments in many independent systems of paraconsistent logic, we believe the time has come to compare and apply the developed systems in order to increase our philosophical understanding of reasoning when faced with inconsistencies. This book wants to be a first step toward an application based, constructive debate to tackle the question which systems are best applied for which kind of problems and which philosophical conclusions can be drawn from such applications.

A simple explanation of theoreticity says that a term is theoretical if and only if it refers to nonobservational entities. Paradigmatic examples of such entities are electrons, neutrinos, gravitational forces, genes etc. There is yet another explanation of theoreticity: a theoretical term is one whose meaning becomes determined through the axioms of a scientific theory. The meaning of the term ‘force’, for example, is seen to be determined by Newton’s laws of motion and further laws about special forces, such as the law of gravitation. Theoreticity is a property that is commonly applied to both expressions in the language of science, and referents and concepts of such expressions. Objects, relations and functions as well as concepts thereof may thus qualify as theoretical in a derived sense.

Als Wissenschaftslogik bezeichnet Carnap jene Disziplin, welche die Nachfolge der traditionellen Philosophie im 20. Jahrhundert antreten sollte. Den zentralen Bezugspunkt von Carnaps wissenschaftslogischen Arbeiten bildet die von Frege und Russell entwickelte mathematische Logik. Dies gilt auch für die Zweistufenkonzeption, mit der Carnap ein allgemeines Schema zur Analyse der Bedeutung von Begriffen nichtmathematischer Theorien entwirft. Dabei wird die Abhängigkeit der begrifflichen Bedeutung von den Aussagen der jeweiligen Theorie explizit anerkannt, was eine Überwindung der Dogmen des Empirismus innerhalb des Logischen Empirismus einschlieβt. Allerdings geht Carnap in seinen Arbeiten zur Semantik formaler Sprachen auf die spezifischen Eigenschaften von theoretischen Termen nicht ein, so daβ die Überwindung der Dogmen des Empirismus unvollständig bleibt. Darauf gründet sich die wesentliche Aufgabe der vorliegenden Untersuchung, welche darin besteht, die Deutung von theoretischen Termen durch Postulate im Rahmen der mathematischen Logik exakt zu beschreiben.

The concept of measurement is fundamental to a whole range of different disciplines, including not only the natural and engineering sciences, but also laboratory medicine and certain branches of the social sciences. This being the case, the concept of measurement has a particular relevance to the development of top-level ontologies in the area of knowledge engineering. For this reason, the present paper is concerned with ontological aspects of measurement. We are searching for a list of concepts that are apt to characterize measurement methods in a general manner. To establish such means of characterization, we will primarily deal with the semantics of measurement values.

Modal logic has been applied in many different areas, as reasoning about time, knowledge and belief, necessity and possibility, to mention only some examples. In the present paper, an attempt is made to use modal logic to account for the semantics of theoretical sentences in scientific language. Theoretical sentences have been studied extensively since the work of Ramsey and Carnap. The present attempt at a modal analysis is motivated by there being several intended interpretations of the theoretical terms once these terms are introduced through the axioms of a theory.

Concepts and methods coming from the formal logic of science have played only a very subordinated role in the philosophical analysis of thought experiments so far. The present article, therefore, takes a look at thought experimenting from the perspective of the logic of science in a Carnapian spirit. To this end, the widely discussed refutation of Aristotle′s theory of free falling bodies by Galilei will be investigated. Further, two prominent approaches to thought experimenting are subjected to a closer investigation: first, the empiricist interpretation by John D. Norton, and second, the use of mental models by Nancy J. Nersessian. The existence of creative abductions, which introduce theoretical concepts, will be found to pose a seemingly insurmountable problem for the empiricist approach. The use of mental models, by contrast, proves to exhibit very interesting connections to the semantics of theoretical concepts. Such models can be shown to determine, in part, the meaning of theoretical concepts in cases where the understanding of such concepts is not entirely founded on explicit axioms.

The distinction between the syntactic and the semantic approach to scientific theories emerged in formal philosophy of science. The semantic approach is commonly considered more advanced and more successful than the syntactic one, but the transition from the one approach to the other was not brought about without any loss. In essence, it is the formal analysis of atomic propositions and the analysis of deductive reasoning that dropped out of consideration in at least some of the elaborated versions of the semantic approach. In structuralist theory of science, as founded by Sneed and Stegmüller, the focus is on global propositions concerning the question of whether or not certain empirical systems satisfy a set-theoretic predicate that encodes the axioms of a scientific theory. Hence, an analysis of deductive reasoning from atomic premisses with the help of a given theory is missing. The objective of the present paper is to develop a deductive system on the basis of the structuralist framework. This system comes with a novel formulation of empirical propositions in structuralism.

This paper is concerned with connections between scientific and metaphysical realism. It is not difficult to show that scientific realism, as expounded by Psillos (1999) clearly qualifies as a kind of metaphysical realism in the sense of Putnam (1980). The statement of scientific realism therefore must not only deal with underdetermination and the dynamics of scientific theories but also answer the semantic challenges to metaphysical realism. As will be argued, the common core of these challenges is the proposition that a (metaphysical) realist semantics leads to semantic agnosticism in the sense that we are unable to grasp the proper meanings and referents of our linguistic expressions. Having established this, I will focus more specifically on the question of whether scientific realism—in its state-of-the-art account—has the resources to make reference to scientific concepts intelligible such that the semantic challenges can be answered.

The present paper aims at a synthesis of belief revision theory with the Sneed formalism known as the structuralist theory of science. This synthesis is brought about by a dynamisation of classical structuralism, with an abductive inference rule and base generated revisions in the style of Rott (2001). The formalism of prioritised default logic (PDL) serves as the medium of the synthesis. Why seek to integrate the Sneed formalism into belief revision theory? With the hybrid system of the present investigation, a substantial simplification of the ranking information that is necessary to define revisions and contractions uniquely is achieved. This system is, furthermore, expressive enough to capture complex and non-trivial scientific examples. It is thus closely related to a novel research area within belief revision theory which addresses the dynamics of scientific knowledge.