This article introduces an “ordonomic” approach to corporate citizenship. We believe that ordonomics offers a conceptual framework for analyzing both the social structure and the semantics of moral commitments. We claim that such an analysis can provide theoretical guidance for the changing role of business in society, especially in regard to the expectation and trend that businesses take a political role and act as corporate citizens. The systematicraison d'êtreof corporate citizenship is that business firms can and—judged by the criterion of (...) prudent self-interest—“should” take on an active role in rule-finding discourses and rule-setting processes with the intent of realizing a win-win outcome of the economic game. We identify—and illustrate—four ways that corporate citizens can employ moral commitments as a factor of production to enhance their processes of economic value creation. (shrink)

We propose a non-representationalist framework for deep learning relying on a novel method computational phenomenology, a dialogue between the first-person perspective (relying on phenomenology) and the mechanisms of computational models. We thereby propose an alternative to the modern cognitivist interpretation of deep learning, according to which artificial neural networks encode representations of external entities. This interpretation mainly relies on neuro-representationalism, a position that combines a strong ontological commitment towards scientific theoretical entities and the idea that the brain operates on symbolic (...) representations of these entities. We proceed as follows: after offering a review of cognitivism and neuro-representationalism in the field of deep learning, we first elaborate a phenomenological critique of these positions; we then sketch out computational phenomenology and distinguish it from existing alternatives; finally we apply this new method to deep learning models trained on specific tasks, in order to formulate a conceptual framework of deep-learning, that allows one to think of artificial neural networks’ mechanisms in terms of lived experience. (shrink)

A revised and enlarged version of Biologen unter Hitler, translated by Thomas Dunlap.

The complexity class of [Formula: see text]-polynomial local search problems is introduced and is used to give new witnessing theorems for fragments of bounded arithmetic. For 1 ≤ i ≤ k + 1, the [Formula: see text]-definable functions of [Formula: see text] are characterized in terms of [Formula: see text]-PLS problems. These [Formula: see text]-PLS problems can be defined in a weak base theory such as [Formula: see text], and proved to be total in [Formula: see text]. Furthermore, the [Formula: (...) see text]-PLS definitions can be skolemized with simple polynomial time functions, and the witnessing theorem itself can be formalized, and skolemized, in a weak base theory. We introduce a new [Formula: see text]-principle that is conjectured to separate [Formula: see text] and [Formula: see text]. (shrink)

We determine the exact bounds for the length of an arbitrary reduction sequence of a term in the typed λ-calculus with β-, ξ- and η-conversion. There will be two essentially different classifications, one depending on the height and the degree of the term and the other depending on the length and the degree of the term.

Inspired from Buchholz' ordinal analysis of ID1 and Beckmann's analysis of the simple typed λ-calculus we classify the derivation lengths for Gödel's system T in the λ-formulation.

Dynamic ordinal analysis is ordinal analysis for weak arithmetics like fragments of bounded arithmetic. In this paper we will define dynamic ordinals – they will be sets of number theoretic functions measuring the amount of sΠ b 1(X) order induction available in a theory. We will compare order induction to successor induction over weak theories. We will compute dynamic ordinals of the bounded arithmetic theories sΣ b n (X)−L m IND for m=n and m=n+1, n≥0. Different dynamic ordinals lead to (...) separation. In this way we will obtain several separation results between these relativized theories. We will generalize our results to further languages extending the language of bounded arithmetic. (shrink)

We investigate the relation between intermediate predicate logics based on countable linear Kripke frames with constant domains and Gödel logics. We show that for any such Kripke frame there is a Gödel logic which coincides with the logic defined by this Kripke frame on constant domains and vice versa. This allows us to transfer several recent results on Gödel logics to logics based on countable linear Kripke frames with constant domains: We obtain a complete characterisation of axiomatisability of logics based (...) on countable linear Kripke frames with constant domains. Furthermore, we obtain that the total number of logics defined by countable linear Kripke frames on constant domains is countable. (shrink)

Aktuelle bioethische Debatten werden vor allem von zwei Schwierigkeiten überschattet: zum einen von der Unklarheit des Begriffes menschlicher Autonomie. Hier geht es um individualethische Fragen, vor allem um Beginn und Ende menschlichen Lebens. Zum anderen bedroht die Verschiebung individueller Wissensträgerschaft zum anonymen Kollektivsubjekt angesichts einer zunehmenden Ökonomisierung des Gesundheitswesens das ärztliche Ethos des Helfens und Heilens. Diese und weitere konfliktgeladene Problemstellungen diskutiert Jan P. Beckmann in seinem neuen Buch.

Seit fast 200 Jahren wird Clausewitz gelesen und interpretiert. Rasmus Beckmann erschließt seine Kriegstheorie den modernen Sozialwissenschaften. Dabei wird deutlich, dass sich Clausewitz keineswegs auf zwischenstaatliche Kriege beschränkt hat. Auch die asymmetrischen Kriege kann man durch seine Theorie besser analysieren und verstehen. Dies zeigt der Autor am Beispiel des Afghanistankrieges.

We prove that the boundedness theorem of generalized recursion theory can be derived from the ω-completeness theorem for number theory. This yields a proof of the boundedness theorem which does not refer to the analytical hierarchy theorem.

The article offers an insight into road traffic accidents by unravelling both the internal elements and the social context of the so-called car–driver hybrid. It takes a critical perspective on the art of designing road safety. More importantly, it seeks to contribute to social studies of transport and mobility through development of analytical concepts within the discipline. The points of departure are the inherent ambiguities of mobility. The author suggests that ‘being in traffic’ is always determined by coexisting forms of (...) mobility and immobility. This ambivalent stage is then called motility. The author discusses car-drivers as motile hybrids, as they are mobile and immobile, as well as subjects and objects at the same time. In order to apply these concepts, the question of what happens to hybrids in crashes is addressed, employing Bruno Latour’s concept of ‘immutable mobiles’. The article concludes with a discussion of the social role of road safety experts, arguing that transport safety experts create a specific kind of spatio-temporal order within which the motile hybrid exists. It is the safety professional who decides when to take agency away from the subject and give it to the object, and it s/he who determines where to slow down and where to speed up the car–driver hybrid. (shrink)

This paper proves exponential separations between depth d-LK and depth -LK for every utilizing the order induction principle. As a consequence, we obtain an exponential separation between depth d-LK and depth -LK for . We investigate the relationship between the sequence-size, tree-size and height of depth d-LK-derivations for , and describe transformations between them. We define a general method to lift principles requiring exponential tree-size -LK-refutations for to principles requiring exponential sequence-size d-LK-refutations, which will be described for the Ramsey principle (...) and d=0. From this we also deduce width lower bounds for resolution refutations of the Ramsey principle. (shrink)

This paper studies the complexity of constant depth propositional proofs in the cedent and sequent calculus. We discuss the relationships between the size of tree-like proofs, the size of dag-like proofs, and the heights of proofs. The main result is to correct a proof construction in an earlier paper about transformations from proofs with polylogarithmic height and constantly many formulas per cedent.

Let T be Gödel's system of primitive recursive functionals of finite type in a combinatory logic formulation. Let $T^{\star}$ be the subsystem of T in which the iterator and recursor constants are permitted only when immediately applied to type 0 arguments. By a Howard-Schütte-style argument the $T^{\star}$ -derivation lengths are classified in terms of an iterated exponential function. As a consequence a constructive strong normalization proof for $T^{\star}$ is obtained. Another consequence is that every $T^{\star}$ -representable number-theoretic function is elementary (...) recursive. Furthermore, it is shown that, conversely, every elementary recursive function is representable in $T^{\star}$ .The expressive weakness of $T^{\star}$ compared to the full system T can be explained as follows: In contrast to $T$ , computation steps in $T^{\star}$ never increase the nesting-depth of ${\mathcal I}_\rho$ and ${\mathcal R}_\rho$ at recursion positions. (shrink)

The author's purpose is to read the main work of Euclid “with modern eyes” and to find out what knowledge a mathematician of today, familiar with the works of V. D. Waerden and Bourbaki, can gain by studying Euclid's “theory of magnitudes”, and what new insight into Greek mathematics occupation with this subject can provide. The task is to analyse and to axiomatize by modern means (i) in a narrower sense Book V. of the Elements, i.e. the theory of proportion (...) of Eudoxus, (ii) in a wider sense the whole sphere of magnitudes which Euclid applies in his Elements. This procedure furnishes a clear picture of the inherent structure of his work, thereby making visible specific characteristics of Greek mathematics. After a clarification of the preconditions and a short survey of the historical development of the theory of proportions (Part I of this work), an exact analysis of the definitions and propositions of Book V. of the Elements is carried out in Part II. This is done “word by word”. The author applies his own system of axioms, set up in close accordance with Euclid, which permits one to deduce all definitions and propositions of Euclid's theory of magnitudes (especially those of Books V. and VI.). In this way gaps and “tacit assumptions” in the work become clearly visible; above all, the logical structure of the system of magnitudes given by Euclid becomes evident: not “ratio” — like something sui generis — is the governing concept of Book V., but magnitudes and their relation “of having a ratio” form the base of the theory of proportions. These magnitudes represent a well defined structure, a so-called “Eudoxic Semigroup” with the numbers as operators; it can easily be imbedded in a general theory of magnitudes equally applicable to geometry and physics. The transition to ratios — a step not executed by Euclid — is examined in Part III; it turns out to be particularly unwieldy. An elegant way opens up by interpreting proportion as a mapping of totally ordered semigroups. When closely examined, this mapping proves to be an isomorphism, thus suggesting the application of the modern theory of homomorphism. This theory permits a treatment of the theory of proportions as developed by Eudoxus and Euclid which is hardly surpassable in brevity and elegance in spite of its close affinity to Euclid. The generalization to a “classically” founded theory of magnitudes is now self-evident. (shrink)

Germany since 1990 has one of the strictest human embryo protection laws, yet according to the Stem Cell Act of 2002 allows, under strict conditions, the import and use of human embryonic stem cells (hESC) for high priority research goals. The author tries to show how this is taken to be coherent by the parliamentary majority (though not necessarily by the general public) in Germany. In doing so, he firstly looks into the chronicle of the debate in Germany showing its (...) different stages since 1999, then dwells upon the relation between the law and the role of ethics in this issue, and thirdly presents the two fundamentally different positions of the German debate, that is, that the human embryo created for IVF purposes is a human being and stands from its very beginnings under the constitutional principles of respect for, and protection of, human life versus the position that before being implanted the human embryo may become a human being and therefore belongs to the human species only potentially, so that its right to life protection may be assessable over against other high priority goals, such as research aiming at possible help for patients with life-endangering diseases. In spite of the Stem Cell Act of 2002, the debate of the German general public goes on, especially due to the recent EU 6th Research Framework Program which plans to also fund hESC research. (shrink)

We construct by diagonalization a non-well-founded primitive recursive tree, which is well-founded for co-r.e. sets, provable in Σ1 0. It follows that the supremum of order-types of primitive recursive well-orderings, whose well-foundedness on co-r.e. sets is provable in Σ1 0, equals the limit of all recursive ordinals ω1 ck . RID=""ID="" Mathematics Subject Classification (2000): 03B30, 03F15 RID=""ID="" Supported by the Deutschen Akademie der Naturforscher Leopoldina grant #BMBF-LPD 9801-7 with funds from the Bundesministerium für Bildung, Wissenschaft, Forschung und Technologie. RID=""ID="" (...) I would like to thank A. SETZER for his hospitality during my stay in Uppsala in December 1998 – these investigations are inspired by a discussion with him; S. BUSS for his hospitality during my stay at UCSD and for valuable remarks on a previous version of this paper; and M. MÖLLERFELD for remarks on a previous title. (shrink)

The theories Si1 and Ti1 are the analogues of Buss' relativized bounded arithmetic theories in the language where every term is bounded by a polynomial, and thus all definable functions grow linearly in length. For every i, a Σbi+1-formula TOPi, which expresses a form of the total ordering principle, is exhibited that is provable in Si+11 , but unprovable in Ti1. This is in contrast with the classical situation, where Si+12 is conservative over Ti2 w. r. t. Σbi+1-sentences. The independence (...) results are proved by translations into propositional logic, and using lower bounds for corresponding propositional proof systems. (shrink)

This Christian sermon uses a DNA lab experience as a basis for theological reflection on ourselves and our offering. Who are we to God? What determines the self that we offer? Can the alphabet of DNA shed light for us on the Word of God in our lives? This first attempt to introduce the language and laboratory environment of genetic testing (represented by DNA fingerprinting) within a parish preaching context juxtaposes liturgical, scientific, and biblical language and settings for fresh insights.

The new critical edition of Stein’s lectures on philosophical and theological anthropology makes it possible to research further her theory of the person as developed during her middle period in Munster, that is, between 1932 and 1933. Her project revolves around the anthropological foundations of a Catholicpedagogy. Th is phase of her work is marked by various debates. On one hand, she attempts to bring the intellectual legacy of Husserl and phenomenology intodialogue with Thomas Aquinas and other Scholastic thinkers. On (...) the other hand, she confronts the ideas and spirit of National Socialism with her Catholic faith.Stein’s Munster phenomenological method contrasts with Husserl’s transcendental phenomenology; she develops an “eidetic psychology within a universal ontology.” In her “somatological” anthropology, the human being appears as a unity of lived body, soul, and mind. As a person, the human being is investigated as species, double species (man-woman), individual, as having a communal essence (outside the concept of race), and, ultimately, as a seeker of God. Stein examines the freedom of human beings, which lies between the givens of nature and grace, as well as the tension between knowledge and faith. In the final section of this paper, I discuss Stein’s position over against contemporary deconstructivist feminism. (shrink)

There is a striking correspondence -which reveals, at the same time, its important differences- between Edith Stein and Simone Weil, not only in their life circumstances but also in their intellectual preoccupation with the subject of the human being, liberty, and their relationship with the Absolute.

Films That Spill is a comprehensive study of the Cinema of Transgression, a hitherto under-examined moment in US underground film culture. Reconsidering the concept of transgressive cinema not only as a description of the intentionally provocative content of the films, but rather as a feature of a cross-disciplinary practice, the book explores how filmmaking in the context of the vibrant and intermingling art, music, performance, and film scenes in 1980s Lower Manhattan spilled over the boundaries of artistic disciplines, media formats, (...) and content concepts. This study not only provides a microhistory of these scenes and insight into their afterlife in archives and exhibitions. It also represents an innovative contribution to debates within film, media, and visual culture about the methodological and historiographical challenges posed by the expansion of film beyond the discursive boundaries of cinema. (shrink)

The author inquires into the relation between the production of genetic knowledge on the one hand, and human autonomy and self-determination on the other. He does so by specifying the notions of “genetic test” and “human autonomy”; by discussing the epistemic status of genetic knowledge, given its importance for the clarification of its anthropological and ethical implications; and by inquiring into some ethical implications by investigating the conditions under which genetic knowledge of the individual may justifiably be established. This discussion (...) shows that the autonomy-based right to self-determination as far as gene in formation is concerned, is fundamental. This has major implications, which the author identifies with regard to the difficult problem of the moral legitimacy of the use of genetic knowledge in the context of insurance policies. S. Afr. J. Philos. Vol.23(1) 2004: 69-81. (shrink)