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)

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)

Heideggers Verstrickung in den Nationalsozialismus war schon immer Gegenstand großer Kontroversen, doch gab es seit den Forschungen von Hugo Ott von vor 20 Jahren keine neuen Materialien mehr, auf deren Basis Heideggers Wirken beurteilt werden konnte. Holger Zaborowski hat nun erstmals umfassend bisher unbekannte Dokumente gesichtet und kann ein ganz neues und nüchternes Bild des großen Philosophen im Nationalsozialismus zeichnen.

The German philosopher Robert Spaemann provides an important contribution to a number of contemporary debates in philosophy and theology, opening up possibilities for conversation between these disciplines. He engages in a dialogue with classical and contemporary positions and often formulates important and original insights which lie beyond common alternatives. In this study Holger Zaborowski provides an analysis of the most important features of Spaemann's philosophy and shows the unity of his thought. The question 'Who is a person?' is of (...) increasing significance: Are all human beings persons? Are there animals that can be considered persons? What does it mean to speak of personal identity and of the dignity of the person? Spaemann provides an answer to these questions: Every human being, he argues, is a person and, therefore, 'has' his nature in freedom. In order to understand the person, Spaemann explains, we have to think about the relation between nature and freedom and avoid the reductive accounts of this relation prevalent in important strands of modern thought. Spaemann develops a challenging critique of modernity, incorporating analysis of modern anti-modernisms and showing that these are also subject to a dialectical development, perpetuating the problematic shortcomings of many features of modern reasoning. If we do not want to abolish ourselves as persons, Spaemann reasons, we need to find a way of understanding ourselves that evades the dialectic of modernity. Thus, he reminds his readers of 'self-evident' knowledge: insights that we have once already known, but tend to forget. (shrink)

The paper is an attempt to react as direct and as close as possible on Dummett’s 2007 paper by addressing his overall theses about bridging the gulfs between philosophers and physicists and between analytical and continental philosophy on the one hand and, on the other hand, picking up a couple of more detailed issues Dummett raises about physics and its philosophy.

Die politischen Entwicklungen in den Staaten der islamischen Welt beeinflussen seit einigen Jahrzehnten maageblich das Weltgeschehen. Doch wahrend die deutschsprachige Literatur zum Staatsdenken im europaisch-nordamerikanischen Raum kaum noch uberblickt werden kann, ist die Zahl der politikwissenschaftlichen Veroffentlichungen zum Staatsdenken muslimischer Intellektueller bisher sehr uberschaubar. Diese Lucke soll der vorliegende Band schlieaen, der sich an Regional- und Sozialwissenschaftler ebenso wie an interessierte Laien wendet. Der Begriff des Staatsdenkens ist dabei bewusst weit gefasst, um auch die politische Ideengeschichte des Mittelalters und auch (...) die modernen politischen Theorien berucksichtigen zu konnen, bei denen der Staatsbegriff im engen Sinne zwar keine zentrale Rolle spielt, zugleich aber doch standig als Bezugsrahmen prasent ist. (shrink)

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)

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.

This paper offers a review of research on demonstratives from an interdisciplinary perspective. In particular, we consider the role of demonstratives in current research on language universals, language evolution, language acquisition, multimodal communication, signed language, language and perception, language in interaction, spatial imagery, and discourse processing. Traditionally, demonstratives are analyzed as a particular class of spatial deictics. Yet, a number of recent studies have argued that space is largely irrelevant to deixis and that demonstratives are primarily used for social and (...) interactive purposes. Synthesizing findings in the literature, we conclude that demonstratives are a very special class of linguistic items that are foundational to both spatial and social aspects of language and cognition. (shrink)

Whether meaning is compositional has been a major issue in linguistics and formal philosophy of language for the last 2 decades. Semantic holism is widely and plausibly considered as an objection to the principle of semantic compositionality therein. It comes as a surprise that the holistic peculiarities of scientific language have been rarely addressed in formal accounts so far, given that semantic holism has its roots in the philosophy of science. For this reason, a model-theoretic approach to semantic holism in (...) the language of science is presented here. This approach preserves compositionality to a large extent. *Received September 2009; revised February 2010. †To contact the author, please write to: Seminar for Philosophy, Logic, and Theory of Science, Hauspostfach 49, Ludwig-Maximilians-Universität, Munich 80539, Germany; e-mail: holger[email protected]. (shrink)

The aim of this paper is twofold: First, to present an examination of the principles underlying gauge field theories. I shall argue that there are two principles directly connected to the two well-known theorems of Emmy Noether concerning global and local symmetries of the free matter-field Lagrangian, in the following referred to as "conservation principle" and "gauge principle". Since both these express nothing but certain symmetry features of the free field theory, they are not sufficient to derive a true interaction (...) coupling to a new gauge field. For this purpose it is necessary to advocate a third, truly empirical principle which may be understood as a generalization of the equivalence principle. The second task of the paper is to deal with the ontological question concerning the reality status of gauge potentials in the light of the proposed logical structure of gauge theories. A nonlocal interpretation of topological effects in gauge theories and, thus, the non-reality of gauge potentials in accordance with the generalized equivalence principle will be favoured. (shrink)

The connection of the structure of statistical selection procedures with measure theory is investigated. The methods of measure theory are applied in order to analyze a mathematical description of preparation and registration of physical systems that is used by G. Ludwig for a foundation of quantum mechanics.

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: In this volume, Holger Gutschmidt has gathered together several studies on the concept of the idea and its relationship to the notion of justification in selected 17th century theories. His main focus is on the philosophy of Rene Descartes, who introduced the concept of the idea into modern epistemology. He devotes further chapters to Antoine Arnauld as well as to the logic of Port Royal, Spinoza, and finally Leibniz. The study of the concept of the idea in (...) the context of its function within theories of knowledge and justification has brought about a series of new research results as well as corrections to existing research. German description: Holger Gutschmidt versammelt in diesem Band mehrere Untersuchungen zur Konzeption der Idee und ihrer Beziehung zum Begrundungsbegriff in ausgewahlten Theorien des 17. Jahrhunderts. Sein Hauptaugenmerk liegt auf der Philosophie Rene Descartes', der den Ideenbegriff in die neuzeitliche Erkenntnistheorie einfuhrt. Weitere Kapitel widmet er Antoine Arnauld sowie der Logik von Port Royal, Spinoza und schliesslich Leibniz. Die Untersuchung der Ideenkonzeption vor dem Hintergrund ihrer Funktion in den jeweiligen Theorien der Erkenntnis und der Begrundung fuhrt zu einer Reihe von neuen Forschungsresultaten und Korrekturen der bisherigen Forschungssituation. Der Autor beschaftigt sich unter anderem mit dem Thema der von Descartes eingefuhrten sogenannten objektiven Ideen, dem Verhaltnis von Idee und Begriff, der Seinsart von Ideen, der Funktion der Idee von Gott, dem direkten Realismus. (shrink)

In this paper, we analyse actual causation in terms of production. The latter concept is made precise by a strengthened Ramsey Test semantics of conditionals: \ iff, after suspending judgement about A and C, C is believed in the course of assuming A. This test allows us to verify or falsify that an event brings about another event. Complementing the concept of production by a weak condition of difference-making gives rise to a full-fledged analysis of causation.

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

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)

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)

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)

Structural realism is sometimes said to undermine the theory underdetermination (TUD) argument against realism, since, in usual TUD scenarios, the supposed underdetermination concerns the object-like theoretical content but not the structural content. The paper explores the possibility of structural TUD by considering some special cases from modern physics, but also questions the validity of the TUD argument itself. The upshot is that cases of structural TUD cannot be excluded, but that TUD is perhaps not such a terribly serious anti-realistic argument.

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.

The paper looks at the intersection of extended cognition and social cognition. The central claim is that the mechanisms of shared intentionality can equally be considered as coupling mechanisms of cognitive extension into the social domain. This claim will be demonstrated by investigating a detailed example of cooperative action, and it will be argued that such cases imply that socially extended cognition is not only about cognitive vehicles, but that content must additionally to be taken into account. It is finally (...) outlined how social content externalism can in principle be grounded in socially extended cognition. (shrink)

Topics in Cognitive Science, Volume 14, Issue 2, Page 214-222, April 2022.

The aim of this paper is to scrutinize active externalism and its repercussions for externalism about mental content. I start from the claim that active externalism is a version of content externalism that follows from the extended cognition thesis as a thesis about cognitive vehicles. Various features of active content externalism are explored by comparison with the known forms of passive externalism – in particular with respect to the multiple realizability of the relevant external content-determining components and with respect to (...) mental causation. A crucial result is that social externalism is already a version of active externalism. I conclude with a first sketch of a general account of meaning inspired by extended cognition: a use theory supplemented by a functional-role account. (shrink)

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

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)

This paper explores the argument structure of the concept of spontaneous symmetry breaking in the electroweak gauge theory of the Standard Model: the so-called Higgs mechanism. As commonly understood, the Higgs argument is designed to introduce the masses of the gauge bosons by a spontaneous breaking of the gauge symmetry of an additional field, the Higgs field. The technical derivation of the Higgs mechanism, however, consists in a mere reshuffling of degrees of freedom by transforming the Higgs Lagrangian in a (...) gauge-invariant manner. This already raises serious doubts about the adequacy of the entire manoeuvre. It will be shown that no straightforward ontic interpretation of the Higgs mechanism is tenable, since gauge transformations possess no real instantiations. In addition, the explanatory value of the Higgs argument will be critically examined. (shrink)

A central topic in the logic of science concerns the proper semantic analysis of theoretical sentences, that is sentences containing theoretical terms. In this paper, we present a novel choice-semantical account of theoretical truth based on the epsilon-term definition of theoretical terms. Specifically, we develop two ways of specifying the truth conditions of theoretical statements in a choice functional semantics, each giving rise to a corresponding logic of such statements. In order to investigate the inferential strength of these logical systems, (...) we provide a translation of each truth definition into a modal definition of theoretical truth. Based on this, we show that the stronger notion of choice-semantical truth captures more adequately our informal semantic understanding of scientific statements. (shrink)

Proponents of mechanistic explanations have recently proclaimed that all explanations in the neurosciences appeal to mechanisms. The purpose of the paper is to critically assess this statement and to develop an integrative account that connects a large range of both mechanistic and dynamical explanations. I develop and defend four theses about the relationship between dynamical and mechanistic explanations: that dynamical explanations are structurally grounded, that they are multiply realizable, possess realizing mechanisms and provide a powerful top-down heuristic. Four examples shall (...) support my points: the harmonic oscillator, the Haken–Kelso–Bunz model of bimanual coordination, the Watt governor and the Gierer–Meinhardt model of biological pattern formation. I also develop the picture of “horizontal” and “vertical” directions of explanations to illustrate the different perspectives of the dynamical and mechanistic approach as well as their potential integration by means of intersection points. (shrink)