This paper is concerned with extensions of geometric stability theory to some nonelementary classes. We prove the following theorem:Theorem. Let [Formula: see text] be a large homogeneous model of a stable diagram D. Let p, q ∈ SD(A), where p is quasiminimal and q unbounded. Let [Formula: see text] and [Formula: see text]. Suppose that there exists an integer n < ω such that [Formula: see text] for any independent a1, …, an∈ P and finite subset C ⊆ (...) Q, but [Formula: see text] for some independent a1, …, an, an+1∈ P and some finite subset C ⊆ Q.Then [Formula: see text] interprets a group G which acts on the geometry P′ obtained from P. Furthermore, either [Formula: see text] interprets a non-classical group, or n = 1,2,3 and•If n = 1 then G is abelian and acts regularly on P′.•If n = 2 the action of G on P′ is isomorphic to the affine action of K ⋊ K* on the algebraically closed field K.•If n = 3 the action of G on P′ is isomorphic to the action of PGL2(K) on the projective line ℙ1(K) of the algebraically closed field K.We prove a similar result for excellent classes. (shrink)

. We study a local version of the order property in several frameworks, with an emphasis on frameworks where the compactness theorem fails: (1) Inside a fixed model, (2) for classes of models where the compactness theorem fails and (3) for the first order case. Appropriate localizations of the order property, the independence property, and the strict order property are introduced. We are able to generalize some of the results that were known in the case of local stability for (...) the first order theories, and for stability for nonelementary classes (existence of indiscernibles, existence of averages, stability spectrum, equivalence between order and instability). In the first order case, we also prove the local version of Shelah's Trichotomy Theorem. Finally, as an application, we give a new characterization of stable types when the ambient first order theory is simple. (shrink)

The study of existentially closed closure algebras begins with Lipparini’s 1982 paper. After presenting new nonelementary axioms for algebraically closed and existentially closed closure algebras and showing that these nonelementary classes are different, this paper shows that the classes of finitely generic and infinitely generic closure algebras are closed under finite products and bounded Boolean powers, extends part of Hausdorff’s theory of reducible sets to existentially closed closure algebras, and shows that finitely generic and infinitely generic (...) closure algebras are elementarily inequivalent. Special properties of algebraically closed, existentially closed, finitely generic, and infinitely generic closure algebras are established along the way. (shrink)

A study of smooth classes whose generic structures have simple theory is carried out in a spirit similar to Hrushovski 147; Simplicity and the Lascar group, preprint, 1997) and Baldwin–Shi 1). We attach to a smooth class K0, of finite -structures a canonical inductive theory TNat, in an extension-by-definition of the language . Here TNat and the class of existentially closed models of =T+,EX, play an important role in description of the theory of the K0,-generic. We show that if (...) M is the K0,-generic then MEX. Furthermore, if this class is an elementary class then Th=Th). The investigations by Hrushovski and Pillay , provide a general theory for forking and simplicity for the nonelementary classes, and using these ideas, we show that if K0,, where {,*}, has the joint embedding property and is closed under the Independence Theorem Diagram then EX is simple. Moreover, we study cases where EX is an elementary class. We introduce the notion of semigenericity and show that if a K0,-semigeneric structure exists then EX is an elementary class and therefore the -theory of K0,-generic is near model complete. By this result we are able to give a new proof for a theorem of Baldwin and Shelah 1359). We conclude this paper by giving an example of a generic structure whose first-order theory is simple. (shrink)

Statman and Orevkov independently proved that cut-elimination is of nonelementary complexity. Although their worst-case sequences are mathematically different the syntax of the corresponding cut formulas is of striking similarity. This leads to the main question of this paper: to what extent is it possible to restrict the syntax of formulas and — at the same time—keep their power as cut formulas in a proof? We give a detailed analysis of this problem for negation normal form , prenex normal form (...) and monotone formulas. We show that proof reduction to NNF is quadratic, while PNF behaves differently: although there exists a quadratic transformation into a proof in PNF too, additional cuts are needed; the elimination of these cuts requires nonelementary expense in general. By restricting the logical operators to {,,,}, we obtain the type of monotone formulas. We prove that the elimination of monotone cuts can be of nonelementary complexity . On the other hand, we define a large class of problems where cut-elimination of monotone cuts is only exponential and show that this bound is tight. This implies that the elimination of monotone cuts in equational theories is at most exponential. Particularly, there are no short proofs of Statman's sequence with monotone cuts. (shrink)

When a professor from Middle Europe teaches Computer Ethics in the Middle East using a textbook from the US, cultural differences become apparent. A main challenge lies in avoiding cultural imperialism during teaching. In order to meet this challenge, personal portfolios have been used for course work. The course design as well as portfolio tasks are presented and experiences are discussed. Based on our experiences we recommend applying this approach to equally overcome effects of group dynamics in similar courses as (...) well as to bridge the generational gap that normally exists between students and professors. (shrink)

Die „Grundlage der gesamten Wissenschaftslehre“ bleibt für den, der Fichte im philosophiegeschichtlichen Zusammenhang sehen will, der wichtigste Text; dies gilt auch dann noch, wenn die Akademie-Ausgabe abgeschlossen sein wird. Der Jenaer Fichte hat nicht nur auf seine Zeitgenossen am stärksten gewirkt, er war auch seinerseits damals noch am offensten für Einflüsse. Der vorliegende Kommentar – der erste, der den gesamten deutschen Text behandelt – bietet keine Paraphrase, keine Übersetzung in eine zeitgemäßere Sprache, keine „Darstellung“, die Fichtes Disposition durch eine eigene (...) ersetzt und damit – gewollt oder ungewollt – in Konkurrenz zum Original tritt. Er will vielmehr den Leser auf seinem dornigen Pfad Satz für Satz begleiten und bei keiner Schwierigkeit im Stich lassen. Die konkrete Erforschung literarischer Bezüge und Abhängigkeiten zeigt, wie sehr der „Selbstdenker“ Fichte – unbeschadet seiner Eigenständigkeit – nicht nur in der Philosophie, sondern im ganzen Geistesleben der Epoche verwurzelt ist. Durch die ausgiebigen, mit sprachlichen Erläuterungen versehenen Zitate entlegener Quellen ist der Kommentar zugleich eine Art Lesebuch. (shrink)

The present "philological commentary" is directed at those who have decided to take time for reading the original text, at least in an English translation. The first volume "Textual Criticism" is intended to meet the difficulties caused by the fact that our text editions are based on manuscripts separated from the original by more than a millennium.

With the third volume, it is invited to enter the intellectual environment of Aristotle. The most relevant sources are given in full (with English translation), so that the commentary is also a reader documenting the disputationes metaphysicae of the 4th century BC. For the undeniable contradictions in the Metaphysics, a new genetic explanation is offered.

Though since Werner Jaeger's famous Studien zur Entstehungsgeschichte der Metaphysik des Aristoteles of 1912 remarkable observations were made, the topic "Composition of the Metaphysics" almost disappeared from the agenda. As, however, neglect of this philological task results in either selective reading or anachronistic systematization, the author has resumed it, extending it to the internal structure of the singular books.

Though since Werner Jaeger's famous Studien zur Entstehungsgeschichte der Metaphysik des Aristoteles of 1912 remarkable observations were made, the topic "Composition of the Metaphysics" almost disappeared from the agenda. As, however, neglect of this philological task results in either selective reading or anachronistic systematization, the author has resumed it, extendig it to the internal structure of the singular books.

The question of the relationship between ontology and theology, the main problem of the interpretation in volume 3, is also the guiding question of our last volume. The history of metaphysics is a history of the efforts towards an outlook on the world and life, which are about the meaning and connection of fundamental concepts: being, life, intellect, unity, truth, goodness. From these, the concept of divinity is derived. As in the previous volumes, a rich material of original texts and (...) interpretations is spread out. (shrink)

Malgré sa défiance pour la théorie, la recherche scientifique de Goethe n’est pas allée sans un soin tout particulier porté à la méthode qu’elle devait mettre en œuvre. Précisément parce qu’il fallait rendre compte du phénomène dans sa diversité et dans sa totalité, il importait de réfléchir aux moyens qui assureraient la réussite d’une telle démarche. Pour Goethe, il s’agissait de mettre en œuvre un concours harmonieux des différentes facultés de l’esprit humain, seul capable de répondre à la richesse du (...) réel tel qu’il se manifeste à nous, et donc seul capable de fonder adéquatement une démarche expérimentale en science. (shrink)

Der vorliegende "philologische" Kommentar beansprucht Kants Critik der reinen Vernunft aus ihren historischen Voraussetzungen zu erklären. Zu diesen gehört an erster Stelle Kants Sprache; sie ist nicht mehr die unsere, was den unvorbereiteten Leser von heute schon an der Semantik und Syntax vieler Sätze scheitern lässt. Neben einer Fülle von sprachlichen Erläuterungen und textkritischen Untersuchungen bringt der Kommentar reichliche Zitate aus den von Kant benutzten Logik- und Metaphysik-Lehrbüchern, die seine Rezeption der "dogmatischen" Philosophie Christian Wolffs und seiner Nachfolger belegen; lateinische (...) Texte werden dabei sowohl im Original als auch in deutscher Übersetzung geboten. Einzelne Motive werden ideengeschichtlich bis in die Antike zurückverfolgt; hieraus eröffnen sich Perspektiven für eine "Metakritik" von einem "vorkritischen" Standpunkt aus, die im Rahmen eines philologischen Kommentars nur angedeutet werden können. (shrink)

We investigate model theoretic characterisations of the expressive power of modal logics in terms of bisimulation invariance. The paradigmatic result of this kind is van Benthem’s theorem, which says that a first-order formula is invariant under bisimulation if, and only if, it is equivalent to a formula of basic modal logic. The present investigation primarily concerns ramifications for specific classes of structures. We study in particular model classes defined through conditions on the underlying frames, with a focus on (...) frame classes that play a major role in modal correspondence theory and often correspond to typical application domains of modal logics. Classical model theoretic arguments do not apply to many of the most interesting classes–for instance, rooted frames, finite rooted frames, finite transitive frames, well-founded transitive frames, finite equivalence frames–as these are not elementary. Instead we develop and extend the game-based analysis over such classes and provide bisimulation preserving model constructions within these classes. Over most of the classes considered, we obtain finite model theory analogues of the classically expected characterisations, with new proofs also for the classical setting. The class of transitive frames is a notable exception, with a marked difference between the classical and the finite model theory of bisimulation invariant first-order properties. Over the class of all finite transitive frames in particular, we find that monadic second-order logic is no more expressive than first-order as far as bisimulation invariant properties are concerned — though both are more expressive here than basic modal logic. We obtain ramifications of the de Jongh–Sambin theorem and a new and specific analogue of the Janin–Walukiewicz characterisation of bisimulation invariant monadic second-order for finite transitive frames. (shrink)

The nature of the census figures produced by Demetrius of Phaleron, crucial evidence for the size of the Athenian population, has been misunderstood. The census categories were not 'native Athenians, foreign residents and slaves', but 'citizens above the property qualification, residents without political rights and members of households'. The property qualification of 1,000 drachmas associated with Demetrius' regime was the requirement for holding the highest offices; the property requirement for citizenship rights was lower, as it was in the spurious constitution (...) of Draco described in Athenaion Politeia 4, which was probably invented and inserted during Demetrius' reign. In the light of this reinterpretation of the evidence for the structure of the Athenian population under Demetrius, a reconsideration of the evidence for the size of the Athenian population in 322 BC suggests that there were ea. 30,000 adult male citizens and far fewer metics than generally assumed, probably ea. 5,000. The distribution of property among the citizen population was very uneven, with the richest 30% of the population owning about 80% of the wealth. According to Demetrius' census as reinterpreted here, slaves outnumbered free residents by 'only' about 3:1, which still seems an implausibly high figure, but needs to be taken seriously as a government estimate rather than a rhetorical exaggeration. (shrink)

Relative gradable adjectives raise serious problems in semantics. First, I explore a few intuitions about relative gradable predicates and clarify some points. Second, I propose a multipropositionalist, Perry-inspired, perspective on relative gradable predicate utterances. Perry's version of multipropositionalism introduces many different propositions or contents, including indexical content, referential content, and designational content, which are carried by the utterance of a single sentence. It also offers a new approach to relative gradable predicates, and suggests an explanation for the way relative predicates (...) work in linguistic communication and for the divergent intuitions about these predicates. My approach focuses on the cognitive significance of relative gradable sentence utterances. (shrink)

We prove two results on the stability spectrum for Lω1,ω. Here [Formula: see text] denotes an appropriate notion of Stone space of m-types over M. Theorem for unstable case: Suppose that for some positive integer m and for every α μ, K is not i-stable in μ. These results provide a new kind of sufficient condition for the unstable case and shed some light on the spectrum of strictly stable theories in this context. The methods avoid the use of compactness (...) in the theory under study. In this paper, we expound the construction of tree indiscernibles for sentences of Lω1,ω. Further we provide some context for a number of variants on the Ehrenfeucht–Mostowski construction. (shrink)

We give a level-by-level analysis of the Weak Vopěnka Principle for definable classes of relational structures ( $\mathrm {WVP}$ ), in accordance with the complexity of their definition, and we determine the large-cardinal strength of each level. Thus, in particular, we show that $\mathrm {WVP}$ for $\Sigma _2$ -definable classes is equivalent to the existence of a strong cardinal. The main theorem (Theorem 5.11) shows, more generally, that $\mathrm {WVP}$ for $\Sigma _n$ -definable classes is equivalent to (...) the existence of a $\Sigma _n$ -strong cardinal (Definition 5.1). Hence, $\mathrm {WVP}$ is equivalent to the existence of a $\Sigma _n$ -strong cardinal for all $n<\omega $. (shrink)

Introductory-level undergraduate classes in Logic or Critical Thinking are a staple in the portfolio of many Philosophy programs. A standard approach to these classes is to include teaching and learning activities focused on formal deductive and inductive logic, sometimes accompanied by teaching and learning activities focused on informal fallacies or argument construction. In this article, I discuss a proposal to include an additional element within these classes—namely, teaching and learning activities focused on intellectual virtues. After clarifying the (...) proposal, I identify three reasons in favor of implementing it and I discuss how to implement it, focusing on questions about pedagogical strategies and pedagogical resources. (shrink)

We introduce tame abstract elementary classes as a generalization of all cases of abstract elementary classes that are known to permit development of stability-like theory. In this paper, we explore stability results in this new context. We assume that [Formula: see text] is a tame abstract elementary class satisfying the amalgamation property with no maximal model. The main results include:. Theorem 0.1. Suppose that [Formula: see text] is not only tame, but [Formula: see text]-tame. If [Formula: see text] (...) and [Formula: see text] is Galois stable in μ, then [Formula: see text], where [Formula: see text] is a relative of κ from first order logic. [Formula: see text] is the Hanf number of the class [Formula: see text]. It is known that [Formula: see text]. The theorem generalizes a result from [17]. It is used to prove both the existence of Morley sequences for non-splitting and the following initial step towards a stability spectrum theorem for tame classes:. Theorem 0.2. If [Formula: see text] is Galois-stable in some [Formula: see text], then [Formula: see text] is stable in every κ with κμ=κ. For example, under GCH we have that [Formula: see text] Galois-stable in μ implies that [Formula: see text] is Galois-stable in μ+n for all n < ω. (shrink)