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. (shrink)

In this paper, we explore a rationalistic orientation in Western society. We suggest that this orientation is one of the predominant ways in which Western society tends to frame, understand and deal with a majority of problems and questions – namely in terms of mathematical analysis, calculation and quantification, relying on logic, numbers, and statistics. Our main goal in this paper is to uncover the affective structure of this rationalistic orientation. In doing so, we illustrate how this orientation structures the (...) way not only individuals but society as a whole frames and solves problems. We firstly point towards some exemplary instances of the rationalistic orientation, specifically regarding science, society, and lifeworld practice. Crucially, we argue that the rationalistic orientation is not merely based on a set of beliefs we could easily correct; but rather, that it is an affective condition tacitly shaping our engagement with the world in an encompassing way. Relating to the work of Martin Heidegger, we argue that what we have called an orientation in the beginning is in fact a rationalistic attunement. This attunement fundamentally shapes the pre-reflective level of how individuals approach the world. We elaborate this claim by showing how the rationalistic attunement concretely manifests in tangible socio-material affect dynamics. In the end, we motivate a critical stance towards this attunement, providing the ability to reflect upon and question instances where this way of framing and solving problems is counterproductive. (shrink)

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. (shrink)

In this paper, we propose a regularity theory of causation. The theory aims to be reductive and to align with our pre‐theoretic understanding of the causal relation. We show that our theory can account for a wide range of causal scenarios, including isomorphic scenarios, omissions, and scenarios which suggest that causation is not transitive.

In this paper, I develop the concept ofaffective milieusby building on the recently established notion ofaffective arrangements. Affective arrangements bring together the more analytical research of situated affectivity with affect studies informed by cultural theory. As such, this concept takes a step past the usual synchronic understanding of situatedness toward an understanding of the social, dynamic, historical, and cultural situatedness of individuals in relation to situated affectivity. However, I argue that affective arrangements remain too narrow in their scope of analysis (...) since their focus mainly lies on local, marked-off, and unique constellations of affect relations. They neglect the more mundane and day-to-day affect dynamics of social life. Hence, I introduce the notion of affective milieus, which brings to light the everyday, ubiquitous affective engagements of individuals with their socio-material surroundings. Affective milieus specifically call attention to how commonplace affect relations create territories in the social universe which form and mold individuals all the time. In that way, this paper apprehends and advances recent developments in the research on situated affectivity. (shrink)

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. (shrink)

Most recent accounts of personal autonomy acknowledge that the social environment a person lives in, and the personal relationships she entertains, have some impact on her autonomy. Two kinds of conceptualizing social conditions are traditionally distinguished in this regard: Causally relational accounts hold that certain relationships and social environments play a causal role for the development and on-going exercise of autonomy. Constitutively relational accounts, by contrast, claim that autonomy is at least partly constituted by a person’s social environment or standing. (...) The central aim of this paper is to raise the question how causally and constitutively relational approaches relate to the fact that we exercise our autonomy over time. I argue that once the temporal scope of autonomy is opened up, we need not only to think differently about the social dimension of autonomy. We also need to reconsider the very distinction between causally and constitutively relational accounts, because it is itself a synchronic (and not a diachronic) distinction. (shrink)

Multiple Realizability (MR) must still be regarded as one of the principal arguments against type reductionist accounts of higher-order properties and their special laws. Against this I argue that there is no unique MR but rather a multitude of MR categories. In a slogan: MR is itself “multi-realized”. If this is true then we cannot expect one unique reductionist strategy against MR as an anti-reductionist argument. The main task is rather to develop a taxonomy of the wide variety of MR (...) cases and to sketch possible reductionist answers for each class of cases. The paper outlines some first steps in this direction. (shrink)

Artists inspired by music and musicians -- Composers inspired by art and artists -- Twin talents : artist-musicians and musician-artists -- Musicians pose for the artists : a history of portrait iconography.

The paper provides a formal representation of goal systems. The focus is on three properties: consistency, conflict, and coherence. An aim is to attain conceptual clarity of these properties. It is argued that consistency is adequately regarded as a property relative to the decision situation or, more specifically, the set of alternatives that the agent faces. Moreover, as a condition of rationality, consistency is stronger than some writers have claimed. Conflict is adequately regarded as a relation over subsets of a (...) given goal system and should likewise be regarded as relative to the set of alternatives that the agent faces. Coherence is given a probabilistic interpretation, based on a support relation over subsets of goal systems. (shrink)

Platonic Patterns is a reprint collection of many of Holger Thesleff's studies in Plato—spanning from 1967 to 2003. It includes three books, four articles and a new introduction by the author, which sets the general outline of his interpretation of Plato. Whereas much of the scholarship on Plato has tended to operate within the frame of one language and/or a single school of thought, Thesleff constructively combines several discoveries and theories of various scholars with his own research, focusing on (...) how Plato can be understood in his own context. The work represents small but significant breakthroughs in research on Plato from an internationally inclusive standpoint. Having previously been published mainly in Finland by scholarly societies, availability outside the Nordic countries has, up until now, been minimal. Thesleff employs his singular expertise of Greek language and literature to make innovative contributions to the study and interpretation of Plato. He thematically stresses the significance of the less overt elements found in Plato's dialogues, such as Plato's use of humor and his linguistic expression, while taking into account the chronology and/or the intended audience. (shrink)

Drawing on recent work in developmental and comparative psychology, this paper argues that demonstratives function to coordinate the interlocutors' joint focus of attention, which is one of the most basic functions of human communication. The communicative importance of demonstratives is reflected in a number of properties that together characterize them as a particular word class: In contrast to other closed-class expressions, demonstratives are universal, they are generally so old that their roots cannot be traced back to other linguistic items, they (...) are among the earliest words that children learn, and they are closely tied to a particular gesture. Moreover, demonstratives play an important role in the organization of discourse and the diachronic evolution of grammar, which arguably is also motivated by their communicative function to establish joint attention. (shrink)

In der Debatte um den wissenschaftlichen Realismus gewinnt zunehmend der Strukturenrealismus - dessen Auffassung zufolge der Realgehalt wissenschaftlicher Theorien in deren mathematisch-logischer Struktur liegt - an Bedeutung. Die vorliegende Arbeit untersucht diese These anhand der in unserer fundamentalen Physik bedeutsamsten Klasse von Theorien, den Eichtheorien, die durch spezielle lokale Symmetriestrukturen gekennzeichnet sind. Die Arbeit bietet dem Leser in ihren ersten Kapiteln einen Einstieg in die zentralen Themen Symmetrien, wissenschaftlicher Realismus und Eichtheorien. In den im Mittelteil durchgeführten Analysen werden Quanten- und (...) Gravitations-Eichtheorien in konzeptioneller Hinsicht - vor allem bezüglich der zugrundeliegenden Prinzipien - und ontologischer Hinsicht - mit Blick auf die Unterbestimmtheit der Entitäten und verschiedener Lokalitätsannahmen - im Detail untersucht. Resultierend ergibt sich eine Stützung des Strukturenrealismus, jedoch nicht in dessen radikaler ontischer Variante, sondern in der moderateren epistemischen oder allenfalls intermediären Spielart, bei der sowohl Strukturen als auch deren Träger existieren, wobei letzterer jedoch amorph und und mithin epistemisch unverfügbar ist. (shrink)

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. (shrink)

Gegenstand dieses Beitrags ist eine Auseinandersetzung mit der Wissenschaftlichkeit der Medizin. Den Leitfaden der Analyse bildet dabei ein jüngerer Ansatz in der analytischen Wissenschaftstheorie, wonach Systematizität als zentrales Kriterium von Wissenschaft anzusehen ist (Hoyningen-Huene 2013). Ich werde im Detail zeigen, dass die Medizin dieses mehrdimensionale Kriterium insgesamt erfüllt, dass aus der Wissenschaftlichkeit der Medizin aber gleichwohl normative Konsequenzen folgen, die beispielsweise zur Abgrenzung von der Homöopathie und einer kritischen Bewertung des biopsychosozialen Modells führen. Zudem resultieren der Anwendungscharakter der Medizin und (...) die zentrale Bedeutung des Arzt-Patienten-Verhältnisses nicht in einer Schwächung des Anspruchs der Medizin als Wissenschaft. (shrink)

The desideratum of semantic interoperability has been intensively discussed in medical informatics circles in recent years. Originally, experts assumed that this issue could be sufficiently addressed by insisting simply on the application of shared clinical terminologies or clinical information models. However, the use of the term ‘ontology’ has been steadily increasing more recently. We discuss criteria for distinguishing clinical ontologies from clinical terminologies and information models. Then, we briefly present the role clinical ontologies play in two multicentric research projects. Finally, (...) we discuss the interactions between these different kinds of knowledge representation artifacts and the stakeholders involved in developing interoperational real-world clinical applications. We provide ontology engineering examples from two EU-funded projects. (shrink)

The paper is a kind of opinionated review paper on current issues in the debate about Structural Realism, roughly the view that we should be committed in the structural rather than object-like content of our best current scientific theories. The major thesis in the first part of the paper is that Structural Realism has to take structurally derived intrinsic properties into account, while in the second part key elements of aligning Structural Realism with a Humean framework are outlined.

The program of “neurophenomenal structuralism” is presented as an agenda for a genuine structuralist neuroscience of consciousness that seeks to understand specific phenomenal experiences as strictly relational affairs. The paper covers a broad range of topics. It starts from considerations about neural change detection and relational coding that motivate a solution of the Newman problem of the brain in terms of spatiotemporal relations. Next, phenomenal quality spaces and their Q-structures are discussed. Neurophenomenal structuralism proclaims a homomorphic mapping of the structures (...) of self-organized neural maps in the brain onto Q-structures, and it will be demonstrated how this leads to a new and special version of structural representationalism about phenomenal content. A methodological implication of neurophenomenal structuralism is that it proposes measurement procedures that focus on the relationships between different stimuli (as, for instance, similarity ratings or representational geometry methods). Finally, it will be shown that neurophenomenal structuralism also has strong philosophical implications, as it leads to holism about phenomenal experiences and serves to reject inverted qualia scenarios. (shrink)

We aim to devise a Ramsey test analysis of actual causation. Our method is to define a strengthened Ramsey test for causal models. Unlike the accounts of Halpern and Pearl ([2005]) and Halpern ([2015]), the resulting analysis deals satisfactorily with both over- determination and conjunctive scenarios.

English summary: This book deals with the early philosophical development of Hegel.

The paper has three parts. In the first part ExtOSR, an extended version of Ontic Structural Realism, will be introduced. ExtOSR considers structural properties as ontological primitives, where structural properties are understood as comprising both relational and structurally derived intrinsic properties or structure invariants. It is argued that ExtOSR is best suited to accommodate gauge symmetry invariants and zero value properties. In the second part, ExtOSR will be given a Humean shape by considering structures as categorical and global. It will (...) be laid out how such structures serve to reconstruct non-essential structural kinds and laws. In the third part Humean structural realism will be defended against the threat of quidditism. (shrink)

Standard models for model predicate logic consist of a Kripke frame whose worlds come equipped with relational structures. Both modal and two-sorted predicate logic are natural languages for speaking about such models. In this paper we compare their expressivity. We determine a fragment of the two-sorted language for which the modal language is expressively complete on S5-models. Decidable criteria for modal definability are presented.

After decades of neglect philosophers of physics have discovered gauge theories--arguably the paradigm of modern field physics--as a genuine topic for foundational and philosophical research. Incidentally, in the last couple of years interest from the philosophy of physics in structural realism--in the eyes of its proponents the best suited realist position towards modern physics--has also raised. This paper tries to connect both topics and aims to show that structural realism gains further credence from an ontological analysis of gauge theories--in particular (...) U(1) gauge theory. In the first part of the paper the framework of fiber bundle gauge theories is briefly presented and the interpretation of local gauge symmetry will be examined. In the second part, an ontological underdetermination of gauge theories is carved out by considering the various kinds of non-locality involved in such typical effects as the Aharonov-Bohm effect. The analysis shows that the peculiar form of non-separability figuring in gauge theories is a variant of spatiotemporal holism and can be distinguished from quantum theoretic holism. In the last part of the paper the arguments for a gauge theoretic support of structural realism are laid out and discussed. (shrink)

Previous studies have shown that multiple reference frames are available and compete for selection during the use of spatial terms such as “above.” However, the mechanisms that underlie the selection process are poorly understood. In the current paper we present two experiments and a comparison of three computational models of selection to shed further light on the nature of reference frame selection. The three models are drawn from different areas of human cognition, and we assess whether they may be applied (...) to a reference frame selection by examining their ability to account for both existing and new empirical data comprising acceptance rates, response times, and response time distributions. These three models are the competitive shunting model, the leaky competing accumulator model, and a lexical selection model. Model simulations show that only the LCA model satisfactorily accounts for the empirical observations. The key properties of this model that seem to drive its success are its bounded linear activation function, its number and type of processing stages, and its use of decay. Uncovering these critical properties has important implications for our understanding not only of spatial term use, in particular, but also of conflict and selection in human cognition more generally. (shrink)