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

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)

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)

Driven by the question, 'What is the computational content of a (formal) proof?', this book studies fundamental interactions between proof theory and computability. It provides a unique self-contained text for advanced students and researchers in mathematical logic and computer science. Part I covers basic proof theory, computability and Gödel's theorems. Part II studies and classifies provable recursion in classical systems, from fragments of Peano arithmetic up to Π11-CA0. Ordinal analysis and the (Schwichtenberg-Wainer) subrecursive hierarchies play a central role and are (...) used in proving the 'modified finite Ramsey' and 'extended Kruskal' independence results for PA and Π11-CA0. Part III develops the theoretical underpinnings of the first author's proof assistant MINLOG. Three chapters cover higher-type computability via information systems, a constructive theory TCF of computable functionals, realizability, Dialectica interpretation, computationally significant quantifiers and connectives and polytime complexity in a two-sorted, higher-type arithmetic with linear logic. (shrink)

resumo Este artigo tem como objetivo tratar dos Ensaios de Michel de Montaigne a partir de uma perspectiva que leve em conta a íntima relação entre o pensamento filosófico e a sua ex p ressão literária. Parte-se da suspeita de que há, na própria criação ens a í s t ica, um conteúdo filosófico cético, que é próprio deste autor. Neste sentido, o ens a io como gêne ro literário já não seria apenas o exercício livre do pensamento, mas constituiria (...) a forma que ex p r i me, da me l hor ma neira possível, os efeitos causados pela “crise pirrônica” e, em especial, a constatação filosófica do caráter relativo do conhecimento humano. palavras-chaves Michel de Montaigne; Renascimento; Ceticismo; Pirronismo; Ensaio. (shrink)

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

The book "Wer hat das Wissen in der Wissenschaft versteckt?" [Who had hidden knowledge in science?] is about the organisational character of science - "science" as understood in continental Europa as social & natural sciences. The reason for this interest is that, as it is the case with other things, human beings undertake scientific enquiries because they, as individuals, have certain interests related to the content of their activities, they want to know certain things. Then, when an activity is organised, (...) the organisation (or organisational structure) itself develops own interests and imposes them on the individuals. Soon, the individuals do not follow anymore (so much) their own interests but the interests of the organisation. This phenomenon is exemplarified by an analysis of the foreword of Wilhelm Schmid's book: "Philosophie der Lebenskunst" (1998) [Philosophy of the art of living], his habilitation at the University of Erfurt: The analysis shows how Schmid in this foreword is trying hard to present the art of living (which is first and foremost useful for the individual human person) as something which is useful for society because this is what science, represented by the academic environment in which we are socialized requires. In total, the book comprises 12 individual studies of which the analysis of the foreword of Schmid's "Philosophie der Lebenskunst" is one. The other 11 studies analyse texts by: Jeanne Marie Gagnebin, Sandra Beaufays, andreas Hütig, Carl Djerassi, Monika Wogrolly, Friedericke Hassauer, Michel Foucault, John Stuart Mill, Erich Visotschnig & Siegfried Schrotta, Gordon A. Frutschnigg, and Oliver Sacks. One important aspect of the book is the relationship between philosophy and science, analysed e.g. with the help of Gordon A. Frutschnigg's diploma theses on the diploma theses completed at the Institute of Philosophy of the University of Vienna between 2005 and 2007: Can philosophy, which primarily serves for the orientation of the individual in life be scientific in the sense of the organisational character of science (which tries to exclude individual interests as best as it can for they are deemed to bring subjectivity into science striving for objective truth). The choice of the books/texts which are analyzed in this study was partly (admittedly) random; however, they bear a common characteristic which is: these are texts which show/make visible the organisational character of science. The character of the studies in this book is phenomenological because they provide a close look at 12 texts/books and their use of language, supported by extensive quotes. (shrink)