We present well-ordering proofs for Martin-Löf's type theory with W-type and one universe. These proofs, together with an embedding of the type theory in a set theoretical system as carried out in Setzer show that the proof theoretical strength of the type theory is precisely ψΩ1Ω1 + ω, which is slightly more than the strength of Feferman's theory T0, classical set theory KPI and the subsystem of analysis + . The strength of intensional and extensional version, of the version (...) à la Tarski and à la Russell are shown to be the same. (shrink)

We define a type theory MLM, which has proof theoretical strength slightly greater then Rathjen's theory KPM. This is achieved by replacing the universe in Martin-Löf's Type Theory by a new universe V having the property that for every function f, mapping families of sets in V to families of sets in V, there exists a universe inside V closed under f. We show that the proof theoretical strength of MLM is $\geq \psi_{\Omega_1}\Omega_{{\rm M}+\omega}$ . This is slightly greater than (...) $|{\rm KPM}|$ , and shows that V can be considered to be a Mahlo-universe. Together with [Se96a] it follows $|{\rm MLM}|=\psi_{\Omega_1}(\Omega_{{\rm M}+\omega})$. (shrink)

This article provides the proof-theoretic analysis of the transfinitely iterated fixed point theories $\widehat{ID}_\alpha and \widehat{ID}_{ the exact proof-theoretic ordinals of these systems are presented.

This article provides the proof-theoretic analysis of the transfinitely iterated fixed point theories $\widehat{ID}_\alpha and \widehat{ID}_{<\alpha};$ the exact proof-theoretic ordinals of these systems are presented.

Induction–recursion is a powerful definition method in intuitionistic type theory. It extends inductive definitions and allows us to define all standard sets of Martin-Löf type theory as well as a large collection of commonly occurring inductive data structures. It also includes a variety of universes which are constructive analogues of inaccessibles and other large cardinals below the first Mahlo cardinal. In this article we give a new compact formalization of inductive–recursive definitions by modeling them as initial algebras in slice categories. (...) We give generic formation, introduction, elimination, and equality rules generalizing the usual rules of type theory. Moreover, we prove that the elimination and equality rules are equivalent to the principle of the existence of initial algebras for certain endofunctors. We also show the equivalence of the current formulation with the formulation of induction–recursion as a reflection principle given in Dybjer and Setzer 93). Finally, we discuss two type-theoretic analogues of Mahlo cardinals in set theory: an external Mahlo universe which is defined by induction–recursion and captured by our formalization, and an internal Mahlo universe, which goes beyond induction–recursion. We show that the external Mahlo universe, and therefore also the theory of inductive–recursive definitions, have proof-theoretical strength of at least Rathjen's theory KPM. (shrink)

ABSTRACT In recent debates about conceptual engineering, it appears that the internalist has an explanatory advantage when it comes to accounting for meaning change and conceptual change. In this paper, I argue against this impression. I show how two different varieties of externalism, originalism and anti-individualism, can coherently explain various cases of meaning change, irrespective of whether they involve proper names or kind terms; and also irrespective of whether they occur in everyday, legal, or scientific contexts. I point out which (...) mechanisms and interpretational strategies the originalist and anti-individualist can invoke, relative to their respective background assumptions about the nature of concepts. Furthermore, I offer an argument in favour of the claim that externalism as such has no implications concerning whether concepts can undergo change. I establish this by showing that originalism allows for conceptual change while anti-individualism insists on conceptual stability. (shrink)

Peter Singer’s defense of the duty to aid the world’s poor by the pond analogy is self-defeating. It cannot be both true that you ought to save the drowning child from a pond at the expense of ruining your shoes and that you ought to aid the world’s poor if you thereby do not sacrifice anything of comparable moral importance. Taking the latter principle seriously would lead you to let the child in front of you drown whenever you could thereby (...) save more children in the developing world. Though Singer can defend the duty to aid the world’s poor starting from consequentialist principles requiring you to make things go best in the impartial sense, he cannot have it invoking the commonsense judgment about what you ought to do in the pond case. There is no sound path from commonsense morality to Singer’s principles of beneficence. (shrink)

In this volume, Baumstark deals with the transmission of Aristotelian philosophy into Syriac and Arabic. Syriac texts with German translations are included, alongside a detailed study of their textual interrelationships.

We give a survey of epistemological and ontological approaches that have left traces in the 20th-century biology. A common motive of most of them is the effort to incorporate biology into the realm of physical sciences. However, such attempts failed, and must fail in the future, unless the criterion for what science is becomes biologically oriented. This means broadening the realm of classical natural sciences, incorporating at least part of the thesaurus of the “humanities”. We suggest three mutually complementary candidates (...) for further development in this direction: modular biology, the hermeneutics of the living, and the semiotic disciplines. (shrink)

In this paper, I will argue with Ernst Cassirer that anticipation plays an essential part in the constitution of time, as seen from a transcendental perspective. Time is, as any transcendental concept, regarded as basically relational and subjective and only in a derivative way objective and indifferent to us. This entails that memory is prior to history, and that anticipation is prior to prediction. In this paper, I will give some examples in order to argue for this point. Furthermore, I (...) will also argue, again with Cassirer and contra Henri Bergson, that time should be seen as a functional unity, and not as a collection of three different things-in-themselves (past, present and future). (shrink)

Gregory Bateson’s work on play led him to conclude that paradox is the ground of propositions and denotation. Working through the concepts of analog and digital communication, logical typing problems, and various dimensions of “framing” and meta-discourse, I broadly illustrate how what Bateson came to call “the paradoxes of abstraction” inevitably arise within denotative utterances. In addressing the root paradoxes of framing and denotation which Bateson’s work on play identified and sought to elucidate, this manuscript outlines and advances some of (...) Bateson’s main contributions to communication theory. (shrink)

In this paper, I will present what I take to be a standard view of morality, and I argue that this view amounts to a paradox: the moral event or moral concern, the source of morality, ultimately leads, through moral theory, to a denial of itself. I will show how Badiou and Levinas take a way out of this and in doing so deny the possibility of anticipating the moral. Furthermore, I claim that this anticipatory moment can be introduced back (...) by means of the concept of “practical wisdom” as used in analytical virtue ethics. Finally, I argue that the Kantian notion of the sublime is structurally the same as the moral event in Badiou and Levinas, and that our view of the sublime can benefit from both Levinas’ view and the concept of “practical wisdom” as well. (shrink)

An influential objection to the view that intentions are non-derivatively relevant to the moral permissibility of actions states that if intentions were relevant to permissibility in such a way, one would have to take them into account in decision making, which would be odd (in some morally relevant sense of ‘oddness’). The paper outlines and assesses three candidates for the oddness: that considering intentions in decision making is an unordinary practice, that it is impossible or conceptually confused, and that it (...) assigns intentions the weight as moral considerations that they intuitively do not have. The paper rejects the first two and shows that the third is probably what motivates most critics of the relevance of intentions who raise this objection. If this is correct, the objection is a non-starter as it assumes what it has to prove. Towards the end, it is argued that the objection does not serve as a plausible error theory either. (shrink)

I argue that the two criteria traditionally identified as jointly sufficient for voluntary behavior according to Aristotle require qualification. Without such qualification, they admit troubling exceptions. Through minding these difficult examples, I conclude that a third condition mentioned by Aristotle – the eph' hēmin – is key to qualifying the original two criteria. What is eph' hēmin is that which is efficiently caused by appetite and teleologically caused by reason such that the agent could have, in theory, acted differently. I (...) propose that praise and blame are justified only when 1: the behavior is voluntary and 2: the agent is susceptible to the positive influences of appropriate praise and blame to help form, improve, or strengthen a good character. Through concentrating on the agent's affectability in morally salient situations, we may better understand the qualified criteria's role in voluntary human behavior in general. (shrink)

In this paper, I take up Herman Paul’s suggestion to analyze the process of writing history in terms of virtues. In contrast to Paul, however, I argue that the concept of virtue used here should not be based on virtue epistemology, but rather on virtue ethics. The reason is that virtue epistemology is discriminative towards non-coginitive virtues and incompatible with the Ankersmitian/Whitean view of historiography as a multivocal path from historical reality to historical representation. Virtue ethics on the other hand, (...) more specifically those forms of virtue ethics which emphasize the uncodifiability thesis, is very capable of providing such an account. In order to make this somewhat more concrete, I distinguish four important traits of virtue ethics, and I try to make clear how these can be interpreted with respect to the writing of history. (shrink)

Society economics has been always connected with religious and ethic views of each people. A lot of philosophers and theologists closely studied the problem of synthesis and mutual influence of these social institutions. Within the frame of historical development of philosophy there were such periods. The most illustrative example of such synthesis, maybe, is the parallel development of Protestantism and capitalism. It is possible to note this world tendency in the places with strong protestant influence (in particular its conservative branch (...) – kalvinism). Capitalism influence is also strong enough. Kalvin was the first to speak against the capital growth condemnation. He considered economy to be a natural aspect of man’s life which should be regulated in agreement with Bible. It’s worth noting that Kalvinist approach to personal life bred a new type of ascets in secular world very wealthy people who consider their wealth as their duty to the God. The main goal of these people was accumulation for accumulation sake and for their possibility of soul salvation but not for their demand satisfaction. These people consider themselves as some kind of tool; their direct religious duty was to accumulate wealth. This was the essence of “protestant spirit”, the intersection point of capitalism and Protestantism, the starting point of political economics. (shrink)

The emergence of novelty in the realm of the living remains, despite the long tradition of evolutionary biology, unwelcome, calling for explanation by old, established knowledge. The prevailing neodarwinian evolutionary paradigm approaches living beings as passive outcomes of external (and extraneous, hence “blind”) formative forces. Many teachings opposing Darwinism also take the existence of eternal, immutable and external laws as a necessary prerequisite. Ironically enough, authors who oppose Darwinian theory, and admit that living beings possess a “self”, often accentuate internal, (...) ideal and eternal harmony,which is incompatible with historical changes; moreover such harmony is again imposed by external, atemporal “laws”. I describe here a third approach embodied by the names of two unrelated scholars, Stuart Kauffman (biology, physics) and Juri Lotman (semiotics, culturology). Their approach suggests thatthe evolution of organisms, minds, cultures — is a continuous negotiation (semiosis) of ‘laws’, driving to ever broader spaces of freedom and constantly larger autonomy of existence. (shrink)

Der Ruf nach Verantwortung bestimmt zunehmend wissenschaftliche Debatten, bewegt aber auch das Denken der Bürger. Franz-Xaver Kaufmann sieht in der Verantwortung "eine ethische Grundkategorie unseres gegenwärtigen Selbstverständnisses". -/- Freiheit und Verantwortung stehen in einem direkten Verhältnis. So sind die Menschen verantwortlich für die Entscheidungen, die sie treffen, und für deren Folgen. Allerdings sind die Handlungsketten in der modernen Gesellschaft komplexer geworden. Wer trägt welche Verantwortung für welche Handlungsbereiche? Versuche, die Verantwortung auf gesellschaftliche Organisationen abzuwälzen, sind keine Lösung. Jeder Einzelne, aber (...) auch jede Gruppe, muss sich jeweils der eigenen Verantwortung stellen. -/- Die Beiträge des Bandes gehen auf das 10. Deutsch-Amerikanische Kolloquium zurück, das 2008 in Philadelphia stattfand. (shrink)

L’article traite de la relation entre l’homme et la loi chez Spinoza. Une première partie porte sur la question de savoir si l’individu doit toujours observer les lois. Dans la seconde, sous la conduite du Traité politique, nous passons à une perspective collective et on analyse la pensée de Spinoza sur la puissance de la multitude face aux lois. À la fin, on tire quelques conclusions pour la vie d’aujourd’hui.

De l'apathie de l'âme humaine, ou, L'incapacité de l'âme de se sentir, et l'absence de faculté de sentir en elle, alors que notre oragnisme vivant possède ces qualités -- Sur les idées distinctes des choses qui appartiennent soit à notre âme, soit à notre corps organique vivant -- Traité de l'art de philosopher avec simplicité et précision.

La obra americana de la baronesa de Wilson es un buen ejemlo para estudiar cómo en el siglo XIX se vive la "batalla" por los "modelos de mundo", fruto del encuentro entre las viejas representaciones de lo americano nacidas de las crónicas y aquellas nuevas producidas por la ideología criolla.Este artículo trabaja las nociones de modelo mundo y modelización de la Crítica como sabotaje (Asensi) ejemplificadas sobre este corpues textual. El modo en que la mujer es representada en este contexto (...) es también decisivo. (shrink)

Taking as a starting point the existence of an unimaginable large number of human beings, who, because of poverty, are prevented from a life worth of living and the assumption that the origin of action is a certain sense of responsibility, I will draw a general distinction between the responsibility for the past and the responsibility for the future. This is the framework for the fundamental part of the article, in which I will examine the various types of responsibility of (...) ordinary people in our western countries with regard to poverty in the world. The responsibility for taking collective and political actions to solve the problem stems from this analysis. Until this is not achieved, the responsibility for individual actions is maintained. And the meta-responsibility of showing our responsibility for this problem is required for those whose task is to communicate ideas. (shrink)

Aristotle maintains that vicious people are blameworthy despite their moral ignorance, since becoming vicious was up to them and whatever is up to us we are able to do or not do. However, one’s upbringing shapes one’s moral character. Together, these claims invite an objection I call the horrible childhood challenge. According to this objection, vicious adults who suffered horrible childhoods through which they were taught to adopt bad ends as though they were good should not be held accountable for (...) their vice. Aristotle’s likely answer to this challenge reveals that, for Aristotle, a minimal degree of rationality is necessary for moral responsibility. I argue that, for Aristotle, a vicious agent is responsible for her vice only if 1) she is rational, which implies 2) she grasps a specific basic principle, thus consenting to become a certain kind of person through action. The thoroughly bad who satisfy both claims are moral idiots; those who do not may be blameless brutes. (shrink)

El objetivo de este trabajo es identificar el significado del papel de la madre, en el desarrollo social, para tres iniciativas de la Renovación de la Pedagogía: la Institución Libre de Enseñanza, las Escuelas del Ave María y la Escuela Moderna de Barcelona. Las fuentes primarias, analizadas para alcanzar dicho fin, son publicaciones de revistas con fines socioeducativos, en su gran mayoría. Y nos advierten de un discurso dispar entre los tres proyectos. Determinando como conclusión principal que las propuestas examinadas (...) tuvieron sus propios planteamientos sobre el significado de madre, pero todas ellas sabían de su importancia como figura educadora. (shrink)

This book contains a variety of essays aimed at developing a philosophical defense of public goods against neo-liberal criticisms. Looking at concepts such as collective action, common property, intellectual property and issues such as health, education, welfare, environment, media, cities, and the prison industrial complex.