We present a novel, perspicuous framework for building iterated ultrapowers. Furthermore, our framework naturally lends itself to the construction of a certain type of order indiscernibles, here dubbed tight indiscernibles, which are shown to provide smooth proofs of several results in general model theory.

Given a model \ of set theory, and a nontrivial automorphism j of \, let \\) be the submodel of \ whose universe consists of elements m of \ such that \=x\) for every x in the transitive closure of m ). Here we study the class \ of structures of the form \\), where the ambient model \ satisfies a frugal yet robust fragment of \ known as \, and \=m\) whenever m is a finite ordinal in the sense (...) of \ Our main achievement is the calculation of the theory of \ as precisely \-\. The following theorems encapsulate our principal results:Theorem A. Every structure in \ satisfies \-\.Theorem B. Each of the following three conditions is sufficient for a countable structure \ to be in \: \ is a transitive model of \-\. \ is a recursively saturated model of \-\. \ is a model of \.Theorem C. Suppose \ is a countable recursively saturated model of \ and I is a proper initial segment of \ that is closed under exponentiation and contains \. There is a group embedding \ from \\) into \\) such that I is the longest initial segment of \ that is pointwise fixed by \ for every nontrivial \.\)In Theorem C, \\) is the group of automorphisms of the structure X, and \ is the ordered set of rationals. (shrink)

We consider extensions of Peano arithmetic suitable for doing some of nonstandard analysis, in which there is a predicate N(x) for an elementary initial segment, along with axiom schemes approximating ω 1 -saturation. We prove that such systems have the same proof-theoretic strength as their natural analogues in second order arithmetic. We close by presenting an even stronger extension of Peano arithmetic, which is equivalent to ZF for arithmetic statements.

Rechtsphilosophie soll nach phänomenologischer Auffassung das Wesen des Rechts erfassen, nach sprachanalytischer Ansicht die Bedeutung von ›Recht‹ bestimmen und im Gegensatz dazu, für pragmatistische Rechtsphilosophen wie Ronald Dworkin, ermitteln, was Recht ist. Über die Ziele und die Methoden der Rechtsphilosophie gibt es also, wie in der Philosophie üblich, erhebliche Differenzen. Über ihren Gegenstand scheint jedoch insoweit Einigkeit zu bestehen, als es beim Recht um eine spezifische Form der Ordnung menschlicher Verhältnisse geht, die vom Brauchtum, von der Moral und ebenso von (...) der Religion unterschieden werden kann, ohne dass dies eine Vorentscheidung über mögliche Beziehungen zwischen diesen Formen der Regulierung menschlichen Verhaltens beinhaltet. (shrink)

Let U be a well-founded model of ZFC whose class of ordinals has uncountable cofinality, such that U has a Σ n end extension for each n ∈ ω. It is shown in Theorem 1.1 that there is such a model which has no elementary end extension. In the process some interesting facts about topless end extensions (those with no least new ordinal) are uncovered, for example Theorem 2.1: If U is a well-founded model of ZFC, such that U has (...) uncountable cofinality and U has a topless Σ 3 end extension, then U has a topless elementary end extension and also a well-founded elementary end extension, and contains ordinals which are (in U) highly hyperinaccessible. In § 3 related results are proved for κ-like models (κ any regular cardinal) which need not be well founded. As an application a soft proof is given of a theorem of Schmerl on the model-theoretic relation κ → λ. (The author has been informed that Silver had earlier, independently, found a similar unpublished proof of that theorem.) Also, a simpler proof is given of (a generalization of) a characterization by Keisler and Silver of the class of well-founded models which have a Σ n end extension for each n ∈ ω. The case κ = ω 1 is investigated more deeply in § 4, where the problem solved by Theorem 1.1 is considered for non-well-founded models. In Theorems 4.1 and 4.4, ω 1 -like models of ZFC are constructed which have a Σ n end extension for all n ∈ ω but have no elementary end extension. ω 1 -like models of ZFC which have no Σ 3 end extension are produced in Theorem 4.2. The proof uses a notion of satisfaction class, which is also applied in the proof of Theorem 4.6: No model of ZFC has a definable end extension which satisfies ZFC. Finally, Theorem 5.1 generalizes results of Keisler and Morley, and Hutchinson, by asserting that every model of ZFC of countable cofinality has a topless elementary end extension. This contrasts with the rest of the paper, which shows that for well-founded models of uncountable cofinality and for κ-like models with κ regular, topless end extensions are much rarer than blunt end extensions. (shrink)

Der vorliegende Band diskutiert die Geschichts- und Sprachphilosophie Giambattista Vicos, primär in Bezug auf die Rechtslehre. Dabei wird Vico sowohl als Denker seines Zeitalters als auch in der Auseinandersetzung mit Autoren wie Suárez, Bacon, Descartes etc. gelesen und es ergeben sich immer wieder Bezüge zu aktuellen Debatten.

This chapter contains sections titled: Introduction The ACL2 System A Modeling Problem Case Studies.

Focused on Molina's main works the book offers the first comprehensive synopsis of his partly revolutionary philosophical positions concerning metaphysics of freedom, political philosophy, theory of law and their historical and systematic influence from the 17th century until today.

Après que le stalinisme nous a dépouillés de quelques utopies et que le capitalisme, dégagé de toute entrave, a définitivement montré son caractère inhumain, l'anarchisme s'avère attrayant, en ce qu'il tente de combiner les ...

Within the context of his epochal distinction between the sphere of law and of morals, of iustum and honestum, Christian Thomasius introduces a further category of conduct rules, which relate to so-called decorum, to good and proper behavior. They teach the individual how to behave socially, and have a stabilizing effect on society. As Thomasius distinguishes between a natural-law oriented, and thus for all individuals equal, natural decorum and a decorum politicum, which is oriented toward actual practices and feudal order, (...) he seems to waver between stabilizing and challenging then current feudalism. This impression weakens if one realizes that although Thomasius, in contrast to Cicero, undertook to demoralize decorum, still he accepted Cicero's theory of social roles. In the context of the actor's own interests, decorum covers those areas of social regulation that are not included within positive law seen as a means of coercive command. It is here that decorum is interesting systematically.Im Kontext seiner historischen Trennung der Sphären des Rechts und der Moral, des Iustum vom Honestum, führt Christian Thomasius noch eine weitere Kategorie von Verhaltensregeln ein, die zum sog. Decorum gehören, zur Wohlanständigkeit, welche die Menschen lehrt, in der Gesellschaft voranzukommen und für die Gesellschaft stabilisierende Wirkung besitzt. Da Thomasius zwischen einem naturrechtsnahen und daher für alle Menschen gleichen natürlichen Decorum und einem an die faktischen Sitten und die ständische Ordnung angelehnten Decorum politicum unterscheidet, scheint er zwischen einer Stabilisierung und einer Infragestellung der Ständegesellschaft zu schwanken. Dieser Eindruck schwächt sich ab, wenn man bedenkt, daß Thomasius gegenüber Cicero zwar eine Entmoralisierung des Decorum vornimmt, jedoch dessen Lehre der sozialen Rollen aufgreift. Das Decorum erfaßt unter Rückgriff auf des Eigeninteresse der Akteure jenen Bereich sozialer Regulierung, der von dem als Zwangsbefehl gedeuteten positiven Recht nicht berücksichtigt wird. Darin liegt sein systematisches Interesse. (shrink)

The article attempts to clarify the relationship between justifying ethical norms and applying them. The first part considers the role of philosophy within applied ethical contexts. The second part discusses the long tradition of comparing mathematics and ethics and recommends a method for the procedure to be followed in an ethical discussion. This recommendation relies on Rawls' reflective equilibrium. The subsequent attempt to justify ethics is primarily based on the idea that human communal life without some form of morality is (...) not a realistic goal to pursue but still that one may choose between various forms of morality. The last part of the paper contains several indications of how to apply different ethical approaches and how to follow the procedure presented here in light of the debate regarding Peter Singer's ethics. Der Artikel bemüht sich, das Verhältnis von Ethikbegründung und Ethikanwendung zu klären. Im ersten Teil werden dazu einige Überlegungen zur Rolle der Philosophie in Kontexten der Ethikanwendung angestellt. Ein zweiter Teil enthält neben Hinweisen auf die lange Tradition der Vergleiche von Mathematik und Ethik einen methodischen Vorschlag für das Vorgehen im Rahmen der ethischen Diskussion, der sich an Rawls' reflective equilibrium anlehnt. Der folgende Versuch einer Ethikbegründung basiert primär auf dem Gedanken, daß ein menschliches Zusammenleben ohne irgendeine Form der Moral aus anthropologischen Gründen kein realistisch erstrebbares Ziel ist, daß man jedoch zwischen unterschiedlichen Formen der Moral die Wahl hat. Im letzten Teil werden dann u.a. anhand der Debatte um Peter Singer einige Hinweise zur Anwendung verschiedener Ethikansätze und zur Anwendung des präsentierten Verfahrens gegeben. (shrink)

Logics L F (M) are considered, in which M ("most") is a new first-order quantifier whose interpretation depends on a given filter F of subsets of ω. It is proved that countable compactness and axiomatizability are each equivalent to the assertion that F is not of the form $\{(\bigcap F) \cup X:|\omega - X| with $|\omega - \bigcap F| = \omega$ . Moreover the set of validities of L F (M) and even of L F ω 1 ω (M) depends (...) only on a few basic properties of F. Similar characterizations are given of the class of filters F for which L F (M) has the interpolation or Robinson properties. An omitting types theorem is also proved. These results sharpen the corresponding known theorems on weak models (U, q), where the collection q is allowed to vary. In addition they provide extensions of first-order logic which possess some nice properties, thus escaping from contradicting Lindstrom's Theorem [1969] only because satisfaction is not isomorphism-invariant (as it is tied to the filter F). However, Lindstrom's argument is applied to characterize the invariant sentences as just those of first-order logic. (shrink)

Logics $L^F(M)$ are considered, in which $M$ ("most") is a new first-order quantifier whose interpretation depends on a given filter $F$ of subsets of $\omega$. It is proved that countable compactness and axiomatizability are each equivalent to the assertion that $F$ is not of the form $\{(\bigcap F) \cup X: |\omega - X| < \omega\}$ with $|\omega - \bigcap F| = \omega$. Moreover the set of validities of $L^F(M)$ and even of $L^F_{\omega_1\omega}(M)$ depends only on a few basic properties of (...) F. Similar characterizations are given of the class of filters $F$ for which $L^F(M)$ has the interpolation or Robinson properties. An omitting types theorem is also proved. These results sharpen the corresponding known theorems on weak models $(\mathfrak{U}, q)$, where the collection $q$ is allowed to vary. In addition they provide extensions of first-order logic which possess some nice properties, thus escaping from contradicting Lindstrom's Theorem [1969] only because satisfaction is not isomorphism-invariant (as it is tied to the filter $F$). However, Lindstrom's argument is applied to characterize the invariant sentences as just those of first-order logic. (shrink)

The concept of human dignity seems to be closely connected to the idea of human rights. But whereas human rights are at least from an institutional point of view well established, the concept of human dignity is often seen as either arbitrary and superfluous or fundamen-talistic. The paper shows that human rights and human dignity had different histories for a long time but are nowadays intrinsically connected. The concept of human dignity implies a certain core of human rights and offers (...) the chance to understand that there is not one overall view of human rights for all times and places, but that human rights discourse always has to be open to modifications according to the conditions of application. After first mentions in Cicero and Seneca, more diversified uses by Aquinas and Pico della Mirandola, the talk of human dignity finds its current meaning in Kant’s philosophy, often connected to the formula of persons as ends in themselves. This seems to be one of the systematic connections to the tradition of human rights which has its roots in the semantic shift of the word ius in 11th and 12th century from an objective order to claims of different kinds. This kind of argument is used in different contexts throughout the following centuries and transformed in 16thand 17th century into claims of citizen’s rights and human rights. Another connection between the two concepts is given by Martha Nussbaum’s capability approach which is not restricted to human reason. The criticisms against the two conceptions are also different, but connected: Human rights are accused to foster individualism and egoism against the community and declared to be an erroneous development of western culture. Human dignity is seen as an indicator of human hubris towards other creature, based on metaphysical assumptions and a part of “slave morals”, contempt by men like Nietzsche. Both criticisms seem not to be adequate. In the end, the concept of human dignity gives an instrument to defend as much as possible of human integrity in situations where human rights are violated, limited or in one or the other way under pressure. (shrink)

John Duns Scotus deals with a question which is still of importance for modern ethical debate, namely what is the difference between a good deed which is intended but may be hindered by the circumstances and a good deed which is both intended and consummated? Scotus discusses this issue in connection with the question of whether moral goodness or badness can be assigned to the external act, which depends on physical capability. In his investigation, he determines that the imputability of (...) acts, i.e. the fact that the actor had free power of disposition over them, is a criterion for being able to morally qualify them as good or bad. His conclusion that one can clearly attribute the external act with its own moral good or evil is primarily based on his definition of the moral good as the totality of circumstances necessary according to right reason for a good act. William of Ockham expressly rejects Doctor Subtilis' conclusion and relativizes his criterion of moral goodness to the point of meaninglessness. Ockham attributes the moral good or evil of an act almost exclusively to the actor's intention. He explains the moral significance attributable to the actual consummation of an intentional action in terms of the acts of will occurring during and after consummation, which can be morally judged in their own right. He does admit, however, that a judgment made by mortals is based on criteria different from those relevant in the eyes of God. Today, the particularly interesting aspect of this debate seems to be that a moral conception similar to Kant's is confronted with a position that can still be called Aristotelian, albeit with some Augustinian influence. Yet the perceivable theoretical proximity between these two authors could indicate a possible connection between two of the most important ethical concepts in the history of occidental philosophy. Die auch für moderne Ethikkonzepte nicht unwichtige Frage, worin der moralische Unterschied zwischen einer nur gewollten, aber durch die Umstände verhinderten und einer ausgeführten guten Tat liegt, wird von Johannes Duns Scotus im Zusammenhang mit der Frage bearbeitet, ob dem äußeren, auf körperliche Vermögen angewiesenen Akt eine eigene moralische Güte oder Schlechtigkeit zukommt. Bei seiner Untersuchung ermittelt er als Kriterium für die moralische Qualifizierbarkeit in die eine oder andere Richtung die Zurechenbarkeit von Handlungen, d.h. den Umstand, daß sie in der freien Verfügungsgewalt des Handelnden stehen. Das Resultat seiner Überlegungen, daß nämlich der äußeren Handlung sehr wohl eine eigene moralische Güte oder Schlechtigkeit zugesprochen werden kann, basiert wesentlich auf seiner Definition der moralischen Güte als Gesamtheit der gemäß der rechten Vernunft für eine gute Handlung erforderlichen Umstände. Wilhelm von Ockham weist das Resultat des Doctor Subtilis ausdrücklich zurück und relativiert dessen Kriterium moralischer Güte bis zur weitgehenden Bedeutungslosigkeit. Er führt die moralische Güte oder Schlechtigkeit eines Aktes ausschließlich auf die Intentionen des Handelnden zurück und erklärt die eigene moralische Bedeutung, die der Ausführung einer willentlichen Handlung zukommt, durch die während und nach der Ausführung stattfindenden Willensakte, die ihrerseits moralischer Beurteilung unterliegen. Allerdings gesteht er zu, daß die Beurteilung durch die irdische Gerichtsbarkeit z.T. anderen Gesichtspunkten folgt als die vor den Augen Gottes. Heute scheint an dieser Debatte vor allem der Umstand interessant, daß eine der kantischen nicht unähnliche Moralkonzeption mit einer trotz aller augustinischen Einfüsse noch aristotelischen Position konfrontiert wird. Die dennoch feststellbare theoretische Nähe beider Autoren könnte Hinweise für eine mögliche Verknüpfung dieser beiden wohl wichtisten Ethikkonzepte der abendländischen Philosophiegeschichte geben. (shrink)

Ryles Concept of Mind gilt als ebenso überholt wie logischer Behaviorismus und sprachanalytische Philosophie, denen er zugerechnet wird. Ryle betreibt jedoch keinen logischen Behaviorismus, da er das mentale Vokabular nicht zu beseitigen versucht. Für die sprachanalytische Philosophie bilden sich die Begriffe der Umgangssprache in der Auseinandersetzung mit der Welt, spiegeln daher auch die Weh wider. In den von Putnam gegen diese These konstruierten Situationen mit veränderten Wortverwendungsweisen sind auch die Referenten verändert. Putnam hat in der philosophy of mind eine ähnliche (...) Position wie Ryle. Hauptunterschiede sind seine unhaltbare Stilisierung der Turing-Maschinen-Analogie zum Funktionalismus und die Ablehnung des Common-Sense zugunsten der Wissenschaft. Diese läuft leer, da v.a. Begriffe, die sich auf unser Erleben der Welt beziehen, ihren Ursprung in der Grundbefindlichkeit des Menschen haben. Ryle hat gezeigt, daß auch diese öffentlich, d.h. rationaler Argumentation zugänglich sind. (shrink)

Ryles Concept of Mind gilt als ebenso überholt wie logischer Behaviorismus und sprachanalytische Philosophie, denen er zugerechnet wird. Ryle betreibt jedoch keinen logischen Behaviorismus, da er das mentale Vokabular nicht zu beseitigen versucht. Für die sprachanalytische Philosophie bilden sich die Begriffe der Umgangssprache in der Auseinandersetzung mit der Welt, spiegeln daher auch die Weh wider. In den von Putnam gegen diese These konstruierten Situationen mit veränderten Wortverwendungsweisen sind auch die Referenten verändert. Putnam hat in der philosophy of mind eine ähnliche (...) Position wie Ryle. Hauptunterschiede sind seine unhaltbare Stilisierung der Turing-Maschinen-Analogie zum Funktionalismus und die Ablehnung des Common-Sense zugunsten der Wissenschaft. Diese läuft leer, da v.a. Begriffe, die sich auf unser Erleben der Welt beziehen, ihren Ursprung in der Grundbefindlichkeit des Menschen haben. Ryle hat gezeigt, daß auch diese öffentlich, d.h. rationaler Argumentation zugänglich sind. (shrink)

Using an analytical and historical approach, this article indicates that democracy, as understood today, is more closely linked with human rights than many authors assume. The first section attempts to justify the approach selected, which connects distinctions revealed by linguistic analysis of various word usages with an historical investigation of the evolving meaning of certain concepts. Section two contains several systematic considerations which firstly, appeal for retention of the now commonly assumed equivalence between democracy in the classical sense and constitutional (...) democracy as it exists today and which secondly, require delimiting human rights as a special class of individual rights. It then becomes clear that much of the criticism in the literature claiming that human rights are anti-democratic, if not indeed of egoistical character, are unjustified. The third section contains an historical sketch of the relevant concepts. This sketch represents an effort to counteract commonly held beliefs that human rights originated in the group interests of the privileged class, since often conjectures about their origin are used to show that human rights are inherently undemocratic and amoral. It appears likely that canonists of the twelfth century developed the concepts of individual rights and human rights. They assumed both that individuals and groups had certain legal rights, but also that every human being had an innate right to the minimum vital necessities and a certain amount of freedom. These concepts regarding rights became absorbed into modern discourse via Ockham's political writings and Gerson's works. Under the influence of Reformation theory, scientific thought and the Enlightenment, they developed into a demand for the right to freedom for all. Der Aufsatz enthält analytische Überlegungen und historische Hinweise, die zeigen sollen, daß Demokratie, wie sie heute verstanden wird, und Menschenrechte enger miteinander verknüpft sind, als dies von vielen Autoren angenommen wird. Im ersten Abschnitt wird versucht, die hier benutzte Verknüpfung von sprachanalytischer Unterscheidung verschiedener Wortverwendungsweisen und begriffsgeschichtlicher Untersuchung zu rechtfertigen. Teil zwei enthält einige systematische Erwägungen, die erstens dafür plädieren, die im Alltagsdiskurs üblich gewordene Verknüpfung von Demokratie und demokratischem Verfassungsstaat beizubehalten. Zweitens sollte man Menschenrechte als besondere Klasse subjektiver Rechte ausgrenzen. Dann wird deutlich, daß die in der Literatur nicht seltenen Vorwürfe über ihren angeblich antidemokratischen, wenn nicht gar egoistischen Charakter unberechtigt sind. Im dritten Abschnitt dient eine begriffsgeschichtliche Skizze dazu, gegenüber historisch argumentierenden Kritikern den verbreiteten Überzeugungen über den Ursprung der Menschenrechte aus Gruppeninteressen von Privilegierten entgegenzutreten, da aus den angeblichen Anfängen nicht selten ein den Menschenrechten immanentes Monument des Undemokratischen und Amoralischen gefolgert wird. Vermutlich entwickelten sich subjektive Rechte und Menschenrechte als eigenständige Begriffe bei Kirchenrechtlern des zwölften Jahrhunderts, die sowohl besondere Rechtsansprüche von Einzelpersonen und Gruppierungen, aber auch ein jedem Menschen als solchem zukommendes Recht auf das Lebensnotwendige und auf ein gewisses Mass an Freiheit annahmen. Über Ockhams politische Schriften und über Gerson gelangten diese Rechtskonzepte in die neuzeitliche Diskussion, wo sie sich unter dem Einfluß reformatorischer Theorie, von naturwissenschaftlichem Denken und Aufklärung zur politischen Forderung nach Freiheitsrechten für alle entwickelten. (shrink)

Dass eine Norm aus dem Naturrecht begründet ist, kann entweder bedeuten, dass sie aus einem Katalog naturrechtlicher Normen entnommen oder abgeleitet ist oder dass sie vom Urheber des Naturrechts angeordnet wurde oder dass unter Rückgriff auf das Naturrecht ihre Richtigkeit und daher auch ihre Geltung bewiesen werden kann. Diese Differenzierung korrespondiert teilweise einer stark schematisierenden Einteilung, nach der man die Naturrechtsgeschichte als Aufeinanderfolge eines Rechtes aus der Natur, eines Rechtes aus der Natur des Menschen und eines Rechtes aus der Natur (...) des Rechts zu fassen versucht. Diese Ansätze, die sich natürlich nicht genau separieren lassen und häufig ineinander greifen, waren für die Konzeption dessen, was unter Recht zu verstehen sei und wie man es bestimmen könne, zusammen mit dem römischen Recht und traditionellen Rechtsauffassungen im europäischen Raum für lange Zeit konstitutiv. (shrink)