Building on previous work by Mints, Buchholz and Schwichtenberg, a simplified version of continuous normalization for the untyped λ-calculus and Gödel’s is presented and analysed in the coalgebraic framework of non-wellfounded terms with so-called repetition constructors.The primitive recursive normalization function is uniformly continuous w.r.t. the natural metric on non-wellfounded terms. Furthermore, the number of necessary repetition constructors is locally related to the number of reduction steps needed to reach the normal form and its size.It is also shown how continuous normal (...) forms relate to derivations of strong normalizability in the typed λ-calculus and how this leads to new bounds for the sum of the height of the reduction tree and the size of the normal form.Finally, the methods are extended to an infinitary λ-calculus with ω-rule and permutative conversions and this is used to derive a strong form of normalization for an iterative version of Gödel’s system , leading to a value table semantics for number-theoretic functions. (shrink)

Using appropriate notation systems for proofs, cut-reduction can often be rendered feasible on these notations. Explicit bounds can be given. Developing a suitable notation system for Bounded Arithmetic, and applying these bounds, all the known results on definable functions of certain such theories can be reobtained in a uniform way.

Consider the following restriction of the polymorphically typed lambda calculus . All quantifications are parameter free. In other words, in every universal type α.τ, the quantified variable α is the only free variable in the scope τ of the quantification. This fragment can be locally proven terminating in a system of intuitionistic second-order arithmetic known to have strength of finitely iterated inductive definitions.

A fragment with the same provably recursive functions as n iterated inductive definitions is obtained by restricting second order arithmetic in the following way. The underlying language allows only up to n + 1 nested second order quantifications and those are in such a way, that no second order variable occurs free in the scope of another second order quantifier. The amount of induction on arithmetical formulae only affects the arithmetical consequences of these theories, whereas adding induction for arbitrary formulae (...) increases the strength by one inductive definition. (shrink)

La menzogna è irrinunciabile per vincere in politica? Davi ci spiega quali sono i meccanismi di persuasione a cui ricorrono taluni politici per farsi eleggere e quali le responsabilità di quegli elettori che scelgono comunque di votare chi sostiene anche ciò che non può essere vero. È indubbio che la comunicazione politica si rifaccia al simbolismo e al linguaggio delle favole; non necessariamente per occultare la realtà, ma più direttamente per esprimere con maggiore efficacia il suo messaggio. Alle celebri favole (...) di 'Biancaneve', 'Cenerentola', 'Il brutto anatroccolo' sono ricorsi infatti uomini politici del calibro di Berlusconi, Prodi, Nixon, Carter, Mitterrand e partiti quali la Democrazia Cristiana; l'hanno fatto per conquistare voti ma anche per attivare ampi meccanismi di consenso che attingessero direttamente dall'inconscio collettivo. Le conseguenze - ammonisce l'autore - possono essere molto serie, come nel caso dell'attuale politica americana che ha portato la manipolazione e l'inganno a essere riconosciuti come tratti identitari della presidenza di George W. Bush. (shrink)

In this book, linguists and philosophers combine to offer a unique insight not only into Grice's contribution to philosophy of language, but on his theories of natural and non-natural meaning, implicatures and the semantic-pragmatic distinction.

We highlight the need to focus on the underlying determinants and production mechanisms to fully understand the nature of facial expression of emotion and to settle the theoretical debate about the meaning of motor expression. Although emotion theorists have generally remained rather vague about the details of the process, this has been a central concern of componential appraisal theories. We describe the fundamental assumptions and predictions of this approach regarding the patterning of facial expressions for different emotions. We also review (...) recent evidence for the assumption that specific facial muscle movements may be reliable symptoms of certain appraisal outcomes and that facial expressions unfold over time on the basis of a sequence of appraisal check results. (shrink)

I show that in his De motu animalium Aristoteles proposes a teleology of the practical on the most general zoological level, i.e. on the level common to humans and self-moving animals. A teleology of the practical is a teleological account of the highest practical goals of animal and human self-motion. I argue that Aristotle conceives of such highest practical goals as goals that are contingently related to their realizations. Animal and human self-motion is the kind of action in which certain (...) state of affairs that realize values are mechanized. (shrink)

Zusammenfassung Der Beitrag analysiert auf der Basis theoretischer Überlegungen sowie empirischer Ergebnisse Möglichkeiten und Grenzen einer „interkulturellen Öffnung“ von Sportvereinen, worunter Strukturanpassungen verstanden werden, die auf die Inklusion und Integration von Personen mit Migrationshintergrund zielen. Es wird gezeigt, inwiefern eine nachhaltige interkulturelle Öffnung der Vereine von der programmatischen Anbindung an den Vereinszweck, von der kontinuierlichen Behandlung in den Kommunikationswegen, von spezifischen Personalentscheidungen und der Kompatibilität mit der Organisationskultur abhängig ist.

This important and challenging book is the fruit of many years of engagement with Aristotle’s thinking about the soul-body relation by one of the most distingui.

This paper discusses Aristotle's notion of the practical syllogism. It is argued that the notion of ‘practical’ reasoning in the sense of reasoning which implies motion in one sense or the other is alien to Aristotle's philosophy of nature. All (at least in type) the relevant passages will be discussed. The outcome is that there are three different contexts in which it would be justified to speak of practical syllogisms: (i) human deliberation, (ii) the illustration of the triggering cause of (...) animal motion, and (iii) the teleological ex post explanationof human action. (i) is genuine, but non-deductive reasoning which does not immediately result in action/motion, whereas (ii) is not genuine reasoning, but an analogy with deductive reasoning. Finally, the relation between (i) and (ii) in Aristotle's theory of animal motion will be discussed. (shrink)

The goal of this paper is to propose a unified approach to the split scope readings of negative indefinites, comparative quantifiers, and numerals. There are two main observations that justify this approach. First, split scope shows the same kinds of restrictions across these different quantifiers. Second, split scope always involves low existential force. In our approach, following Sauerland, natural language determiner quantifiers are quantifiers over choice functions, of type <<,t>,t>. In split readings, the quantifier over choice functions scopes above other (...) operators (such as intensional verbs like must or can). Determiner quantifiers leave a choice-function trace when they move and this trace combines with the noun restriction, which is interpreted low. That split scope always involves low existential force is derived, without stipulation, from Kratzer’s idea that low existential force can be achieved via binding (into the noun restriction). (shrink)

The aim of this chapter is to explain Aristotle’s definition of the vegetative part of the soul in the De anima from a methodological point of view. I discuss Aristotle’s conception of the soul and his conception of “parts of the soul” before I turn to his definition of the vegetative part of the soul in De anima II 4. I argue that the definition of the vegetative capacity is deliberately abstract so as to cover its various activities under one (...) common heading. I also argue that the De anima deliberately avoids a positive and determinate description of the activity of the soul that is properly responsible for the vegetative functions, and that Aristotle offers such a positive and determinate description in his works dedicated to the actions and affections “common to body and soul”. (shrink)

Proceedings of the NATO Advanced Study Institute on Proof and Computation, held in Marktoberdorf, Germany, July 20 - August 1, 1993.

How do animals make themselves move? Unlike most modern theories, Aristotle answers this question through a general theory of animal movement valid for both humans and animals. This book interprets this theory and analyses its fundamental concepts.

Images are objects of work in the laboratory. On its face, this work is achieved through talk Yet the talk attached to these images makes reference to other images, which are drawn from varcous environments. In this article, four such environments are identified: the domain of laboratory practice; the context of invisible physical reactions; the future image as it will appear in publication; and the domain of case precedents and reference scenarios from the field. The work of image analysis brings (...) the outside of the image into it and takes the inside out. Thus it can be seen that images are not just taken, they are designed and made. (shrink)

Plato's depiction of the world soul's cognitive activity in Timaeus 37 A 2‐C 5 offers a general account of intellectual cognition. He gives this account by describing the activity of an ideal cognitive agent, involving the very same comparative mechanism that governs human intellectual activity, namely, the active production of a propositional grasp of sameness and difference that things have in relation to each other in several respects. Plato depicts the world soul's intellectual activity as entirely devoid of immediate forms (...) of cognition such as perception and/or intellectual intuition: everything the world soul cognizes is the outcome of its active comparison of things with each other. In particular, there is no direct cognitive grasp of the being of things. The paper ends with a suggestion as to how to understand Plato's account of the world soul's activity as an instance of the ‘like is known by like’ principle of cognition. (shrink)

Keine ausführliche Beschreibung für "Genese und Analyse" verfügbar.

Among scholars it is common to assume that Aristotle’s practical syllogism does two jobs. It is often taken to explain both animal motion and human deliberation. I will call this the “two-jobs view of the practical syllogism”. In what follows, I will argue that the two-jobs view of the practical syllogism is not working. I will then try to give a very brief and incomplete sketch of how to conceive of a non-two-jobs view of the Aristotelian practical syllogism. Finally, I (...) will discuss two possible problems for the non-two-jobs view. (shrink)

Zusammenfassung Der Beitrag verfolgt das Ziel, Mechanismen der Inklusion und Exklusion in Sportvereinen zu identifizieren, die die Partizipation von Personen mit Migrationshintergrund am organisierten Sport erklären können. Im Lichte von theoretischen Überlegungen zur „symbolischen Grenzziehung“ und „Zugehörigkeit“ werden Ergebnisse aus Fallstudien in Nordrhein-Westfalen und Baden-Württemberg präsentiert.

Zusammenfassung Der Beitrag untersucht den Gebrauch von Moral in der Kommunikation zwischen Trainer und Ath­leten im Spitzensport. Dabei wird moralische Kommunikation aus systemtheoretischer Perspektive als soziale Tatsache konstruiert, um im Lichte dieser Konstruktion konkrete Beispiele aus den Sport­arten Handball und Hockey analysieren und im Hinblick auf ihre Funktionen und Folgen reflektie­ren zu können. Die Ergebnisse dieser Analysen münden in Empfehlungen an Trainer, die zu einem sensiblen Umgang mit Moral raten, da insbesondere dem polemogenen Charakter moralischer und moralisierender Kommunikation Rechnung zu (...) tragen ist. (shrink)

Selbstbestimmung ist ein unverzichtbares element ethischen freiheits-und handlungsverstandnisses. Wie vertragt sich das freiheits-und handlungsverstandnisses.Wie vertragt sich das freiheits - und handlungsverstansnis theologischer ethik mit der psychoanalytischen grunderkenntnis, dass die menschliche person in ihrem handeln nicht einmal Herr ist im eigenen Hause.

A definition of emotion common to the affective sciences is an urgent desideratum. Lack of such a definition is a constant source of numerous misunderstandings and a series of mostly fruitless debates. There is little hope that there ever will be agreement on a common definition of emotion, given the sacred traditions of the disciplines involved and the egos of the scholars working in these disciplines. Our aim here is more modest. We propose a list of elements for a working (...) definition of emotion and discuss the justification for the inclusion of elements from our respective perspectives (philosophy and psychology). This working partial definition may at least serve as a litmus test to examine theories of emotion, old and new, across disciplinary boundaries. (shrink)

Zusammenfassung Die Vereinbarkeit von Spitzensport- und Schulkarriere gestaltet sich für schulpflichtige Nachwuchsathleten sehr schwierig. Der vorliegende Beitrag konstruiert diese Unvereinbarkeit zunächst als Inklusionsproblem und beschreibt dann prinzipielle Lösungsmöglichkeiten im Rahmen einer Funktionalisierung von Schulen. Dabei wird insbesondere die sachliche Funktionalisierung in Form der strukturellen Kopplung von Spitzensport und Schule in den Blick genommen. Am Beispiel der „NRW-Sportschulen" und der „Spezialschulen Sport" in Brandenburg werden schließlich Möglichkeiten und Grenzen dieser strukturellen Kopplung diskutiert und Barrieren der sachlichen Funktionalisierung von Schulen identifiziert.