Assuming “Schanuel's Condition” for a certain class of exponential fields, Sturm's technique for polynomials in real closed fields can be extended to more complicated exponential terms in the corresponding exponential field. Hence for this class of terms the exact number of zeros can be calculated. These results give deeper insights into the model theory of exponential fields. MSC: 03C65, 03C60, 12L12.

In the present paper some tools are given to state the exact number of roots for some simple classes of exponential terms . The result were obtained by generalizing Sturm's technique for real closed fields. Moreover for arbitrary non-zero terms t certain estimations concerning the location of roots of t are given. MSC: 03C65, 03C60, 12L12.

We construct a normal extension of K4 with the finite model property whose minimal tense extension is not complete with respect to Kripke semantics.

He finds the key in the concept of responsibility, which implies not only the freedom and flexibility of responsiveness to others but also a guiding ideal of ...

We propose a logic for reasoning about metric spaces with the induced topologies. It combines the 'qualitative' interior and closure operators with 'quantitative' operators 'somewhere in the sphere of radius r.' including or excluding the boundary. We supply the logic with both the intended metric space semantics and a natural relational semantics, and show that the latter (i) provides finite partial representations of (in general) infinite metric models and (ii) reduces the standard '∈-definitions' of closure and interior to simple constraints (...) on relations. These features of the relational semantics suggest a finite axiomatisation of the logic and provide means to prove its EXPTIME-completeness (even if the rational numerical parameters are coded in binary). An extension with metric variables satisfying linear rational (in)equalities is proved to be decidable as well. Our logic can be regarded as a 'well-behaved' common denominator of logical systems constructed in temporal, spatial, and similarity-based quantitative and qualitative representation and reasoning. Interpreted on the real line (with its Euclidean metric), it is a natural fragment of decidable temporal logics for specification and verification of real-time systems. On the real plane, it is closely related to quantitative and qualitative formalisms for spatial representation and reasoning, but this time the logic becomes undecidable. (shrink)

This article presents a critical qualitative study of two opinion articles, written by two eminent scholars (Jürgen Habermas and Timothy Snyder), on the German government’s hesitant arms supply for Ukraine during the first phase of the Russian war of aggression in 2022. The main aim of the article is the uncovering of the discursive practices of critique performed by two major public intellectuals. This case study thus allows insights into the simplistic representation of the Russo-Ukrainian war in German elite media (...) discourse. The analysis focuses on actor representations and topic limitations and manipulations in the two op-eds. It is shown that both Habermas and Snyder use characteristic ways of social actor representations in their texts which exhibit their allegiances. Furthermore, both of them limit and change topics at the meso- and macro-levels of their texts in order to make their arguments sound. In closing, the critical potential of linguistic discourse analysis is shortly addressed by arguing that the context sensitive application of the categories for analyzing discourse can uncover the internal norms to which authors orient which makes them open for a critical analysis. (shrink)

Bd. 1. Ursprung und Einheit -- Bd. 2. Der Marburger Neukantianismus in Quellen.

Der dialogphilosophische Konsens daruber, dass weder das Sein noch die Zeit umfassend begreifbar sei, zwingt zu der Einsicht, dass auch die Welt und ihre Elemente weder aus dem Sein noch aus der Zeit ableitbar sind: Die Phanomene sind kognitiv nicht greifbar. Die vorliegende Studie zur Dialogphilosophie geht dieser Dimension der Zeitlichkeit des Seins nach. Sie gliedert sich in zwei Teile: Der erste Teil widmet sich der Untersuchung der Zeitlichkeit in der Sprache, insbesondere in ihrem Niederschlag in der Grammatik. Darauf aufbauend (...) untersucht der zweite Teil die Zeitlichkeit des Sozialen. (shrink)

Quantentheorie und Relativitätstheorie haben das Weltbild der Physik revolutioniert. Beide Theorien gelten jedoch als unanschaulich und schwer verständlich. Dieses Sachbuch schafft neue Zugänge und lädt zum Mitdenken ein. Renommierte Experten aus Physik und Philosophie erläutern Grundbegriffe, Erkenntnisfortschritte und Deutungsfragen zu Raum, Zeit und Materie. Dabei kommen typische Themen aus der Philosophie der Physik zur Sprache, wie etwa die Interpretationsdebatte der Quantentheorie oder Modellbildungen in der Kosmologie. Weltbildrelevante Fragen nach dem Verhältnis von Mathematik, Empirie und Anschauung oder nach der Verlässlichkeit physikalischer (...) Erkenntnis erfordern die Verbindung von Physik und Philosophie, von fachwissenschaftlicher Grundlagenforschung und methodenkritischer Reflexion. Der thematische Bogen geht zurück auf ein hochkarätig besetztes Symposium mit populärwissenschaftlicher Ausrichtung. Das Buch enthält Beiträge von Andreas Bartels, Robert Harlander, Paul Hoyningen-Huene, Gert-Ludwig Ingold, Claus Kiefer, Meinard Kuhlmann, Klaus Mainzer, Oliver Passon, Manfred Stöckler, Rüdiger Vaas und Reinhard Werner. (shrink)