In this paper we deal with the logic ${\cal M\kern-1pt L}_{\omega_1}$ which is the infinitary extension of propositional modal logic that has conjunctions and disjunctions only for countable sets of formulas. After introducing some basic concepts and tools from modal logic, we modify Makkai's generalization of the notion of consistency property to make it fit for modal purposes. Using this construction as a universal instrument, we prove, among other things, interpolation for ${\cal M\kern-1pt L}_{\omega_1}$ as well as preservation results for (...) universal, existential, and positive ${\cal M\kern-1pt L}_{\omega_1}$-formulas. (shrink)

In [STU 00, KUT 03] we introduced a family of ‘modal' languages intended for talking about distances. These languages are interpreted in ‘distance spaces' which satisfy some of the standard axioms of metric spaces. Among other things, we singled out decidable logics of distance spaces and proved expressive completeness results relating classical and modal languages. The aim of this paper is to axiomatize the modal fragments of the semantically defined distance logics of [KUT 03] and give a new proof of (...) their decidability. (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.

The aim of this paper is to construct a tableau decision algorithm for the modal description logic K ALC with constant domains. More precisely, we present a tableau procedure that is capable of deciding, given an ALC-formula with extra modal operators (which are applied only to concepts and TBox axioms, but not to roles), whether is satisfiable in a model with constant domains and arbitrary accessibility relations. Tableau-based algorithms have been shown to be practical even for logics of rather high (...) complexity. This gives us grounds to believe that, although the satisfiability problem for K ALC is known to be NEXPTIME-complete, by providing a tableau decision algorithm we demonstrate that highly expressive description logics with modal operators have a chance to be implementable. The paper gives a solution to an open problem of Baader and Laux [5]. (shrink)

Dealing with topics of definability, this paper provides some interesting insights into the expressive power of basic modal logic. After some preliminary work it presents an abstract algebraic characterization of the elementary classes of basic modal logic, that is, of the classes of models that are definable by means of (sets of) basic modal formulas. Taking that for a start, the paper further contains characterization results for modal universal classes and modal positive classes.

Name der Zeitschrift: Archiv für Geschichte der Philosophie Jahrgang: 97 Heft: 2 Seiten: 234-260.

In this paper we deal with the logic which is the infinitary extension of propositional modal logic that has conjunctions and disjunctions only for countable sets of formulas. After introducing some basic concepts and tools from modal logic, we modify Makkai's generalization of the notion of consistency property to make it fit for modal purposes. Using this construction as a universal instrument, we prove, among other things, interpolation for as well as preservation results for universal, existential, and positive -formulas.

This paper deals with modal Horn formulas. It contains a characterization of the classes of models definable by modal universal Horn formulas as well as a preservation result for modal universal Horn formulas.

The aim of this paper is to establish a new notion of equivalencebetween temporal models, so-called S-similarity, as the appropriate notionof bisimilarity for temporal logic with Since and Until. The main technicalresults of the paper provide semantical characterizations of the first-orderformulas that are equivalent to a temporal formula: Theorem 3.7 concernsthe equivalence of temporal and first-order formulas with respect to pointedtemporal models, whereas Theorem 4.4 takes the level of temporal modelsinto account.

This collection includes twenty original philosophical essays in honour of Wolfgang Spohn. The contributions mirror the scope of Wolfgang Spohn’s work. They address topics from epistemology (e.g., the theory of ranking functions, belief revision, and the nature of knowledge and belief), philosophy of science (e.g., causation, induction, and laws of nature), the philosophy of language (e.g., the theory of meaning and the semantics of counterfactuals), and the philosophy of mind (e.g., intentionality and free will), as well as problems of ontology, (...) logic, the theory of practical rationality, and meta-philosophy. ― Contributors: Ansgar Beckermann, Wolfgang Benkewitz, Bernd Buldt, Ralf Busse, Christoph Fehige, Wolfgang Freitag, Gordian Haas, Volker Halbach, Franz Huber, Andreas Kemmerling, Manfred Kupffer, Hannes Leitgeb, Godehard Link, Arthur Merin, Thomas Müller, Julian Nida-Rümelin, Martine Nida-Rümelin, Hans Rott, Holger Sturm, Thomas Ede Zimmermann, Alexandra Zinke. (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)

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)

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)

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.

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)

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.

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)

Ohne den Verleger Hermann Niemeyer hätte es keine DVjs gegeben. Am Beispiel dieser Zeitschrift untersucht der Beitrag auf der Grundlage unveröffentlichter Korrespondenzen, unter welchen historischen Bedingungen und Konstellationen eine funktionierende Infrastruktur für wissenschaftliches Publizieren im Deutschland der 1920er und 1930er Jahre geschaffen und unterhalten wurde.

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.

In this paper, a new account of empirical claims in structuralism is developed. Its novelty derives from the use that is made of the linguistic approach to scientific theories despite the presumed incompatibility of structuralism with that approach. It is shown how the linguistic approach can be applied to the framework of structuralism if the semantic foundations of that approach are refined to do justice to the doctrine of indirect interpretation of theoretical terms. This doctrine goes back to Carnap but (...) has been advanced until the present day without a proper semantic explanation. (shrink)

Epigenetic modifications, such as DNA methylation and post‐translation modifications of histones, have been shown to play an important role in chromatin structure, promoter activity, and cellular reprogramming. Large protein complexes, such as Polycomb and trithorax, often harbor multiple activities which affect histone tail modification. Nevertheless, the mechanisms underlying the deposition of these marks, their propagation during cell replication, and the alteration on their distribution during transformation still require further study. Here we review recent data on those processes in both normal (...) and cancer cells, and we propose that the unscheduled expression of oncogenic transcription factors causes reprogramming of normal cells into cancer stem cells. (shrink)

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

Einer weit verbreiteten Auffassung zufolge ist es moralisch besser, eine andere Person in die Irre zu führen als sie anzulügen. Diese Auffassung ist in neuerer Zeit jedoch ausführlich von Bernard Williams und Jennifer Saul kritisiert worden – ihnen zufolge verdankt sich unsere moralische Präferenz für Irreführungen einem Irrtum und lässt sich bei näherer Betrachtung nicht aufrechterhalten. Im ersten Teil des Aufsatzes versuche ich demgegenüber zu zeigen, dass es in manchen Fällen tatsächlich moralische Gründe gibt, statt zu lügen in die Irre (...) zu führen. Im Mittelpunkt steht dabei eine expressive und beziehungsorientierte Analyse von Irreführungen: Wir können mit Irreführungen, so die zentrale These, im Unterschied zu Lügen zumindest in manchen Fällen zum Ausdruck bringen, dass wir die andere Person respektieren und uns die Fortführung einer vertrauensvollen Beziehung mit ihr am Herzen liegt. Im zweiten Teil weise ich dann allerdings nach, dass die moralische Präferenz für Irreführungen nicht in allen Fällen gerechtfertigt ist – zum einen, weil der mit Irreführungen zum Ausdruck gebrachte Respekt gegenüber anderen Personen nicht immer angemessen ist, und zum anderen, weil mit Irreführungen nicht in allen Situationen Respekt vor der anderen Person und ein Interesse an einer vertrauensvollen Beziehung mit ihr zum Ausdruck gebracht werden kann. (shrink)

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

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)

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)

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)