This pioneering book lays new foundations for the study of reference and truth.

Apologies. The purpose of the following talk is to give an overview of the present state of aims, methods and results in Pure Proof Theory. Shortage of time forces me to concentrate on my very personal views. This entails that I will emphasize the work which I know best, i.e., work that has been done in the triangle Stanford, Munich and Münster. I am of course well aware that there are as important results coming from outside this triangle and I (...) apologize for not displaying these results as well.Moreover the audience should be aware that in some points I have to oversimplify matters. Those who complain about that are invited to consult the original papers.1.1. General. Proof theory startedwithHilbert's Programme which aimed at a finitistic consistency proof for mathematics.By Gödel's Theorems, however, we know that we can neither formalize all mathematics nor even prove the consistency of formalized fragments by finitistic means. Inspite of this fact I want to give some reasons why I consider proof theory in the style of Gentzen's work still as an important and exciting field of Mathematical Logic. I will not go into applications of Gentzen's cut-elimination technique to computer science problems—this may be considered as applied proof theory—but want to concentrate on metamathematical problems and results. In this sense I am talking about Pure Proof Theory.Mathematicians are interested in structures. There is only one way to find the theorems of a structure. Start with an axiom system for the structure and deduce the theorems logically. These axiom systems are the objects of proof-theoretical research. Studying axiom systems there is a series of more or less obvious questions. (shrink)

This essay focuses on the genetic text of Nietzsche’s unpublished poem An Hafis. Frage eines Wassertrinkers in order to establish the development of this poem from preliminary versions to an authoritative version. Through such a detailed philological analysis of the text in Nietzsche’s notebooks, it becomes increasingly clear that the final version of An Hafis constitutes an intertextual answer to Goethe’s West-östlicher Divan (1819/1827), which itself was inspired by the late-medieval Persian poet Hafez. Developing from different, and open-ended, semantic configurations (...) to a final version, Nietzsche’s An Hafis also allows us to reassess the editorial practices necessary to shed light on Nietzsche’s unpublished lyrical drafts. (shrink)

In a recent paper, Kit Fine offers a reconstruction of Cantor's theory of ordinals. It avoids certain mentalistic overtones in it through both a non-standard ontology and a non-standard notion of abstraction. I argue that this reconstruction misses an essential constructive and computational content of Cantor's theory, which I in turn reconstruct using Martin-Löf's theory of types. Throughout, I emphasize Kantian themes in Cantor's epistemology, and I also argue, as against Michael Hallett's interpretation, for the need for a constructive understanding (...) of Cantorian ?existence principles? (shrink)

This chapter explores some fundamental consequences of the correspondence between physical process and computations. Most physical questions may be answerable only through irreducible amounts of computation. Those that concern idealized limits of infinite time, volume, or numerical precision can require arbitrarily long computations, and so be considered formally undecidable. The behavior of a physical system may always be calculated by simulating explicitly each step in its evolution. Much of theoretical physics has, however, been concerned with devising shorter methods of calculation (...) that reproduce the outcome without tracing each step. Computational irreducibility is common among the systems investigated in mathematics and computation theory, but it may well be the exception rather than the rule, since most physical questions may be answerable only through irreducible amounts of computation. (shrink)

De 'Essais' van de Franse filosoof Michel de Montaigne (1533-1592) hebben in vier en een halve eeuw niets aan zeggingskracht en relevantie verloren. Dat concludeert historicus en schrijver Jeroen Lutters, die boek schreef over Montaigne als pedagoog. Hoe word je een goede leraar? In ieder geval niet door een leerling gedachteloos informatie te laten stampen.00Aan het prille begin van de moderne tijd waarschuwt Montaigne al voor een onderwijssysteem waarin leerlingen allemaal dezelfde geestdodende lesjes moeten volgen. Juist de verwondering en de (...) creativiteit van zowel de leraar als de leerling zouden in het onderwijs centraal moeten staan. Of zoals Montaigne het formuleerde: "Misschien kun je best geleerd zijn door de geleerdheid die je bij een ander vindt, maar wijs kun je alleen maar zijn door de wijsheid die je uit jezelf haalt."00Naast de reis die Jeroen Lutters in zijn boek onderneemt langs de ideeën van Montaigne probeert hij, ondanks de coronabeperkingen, ook de torenkamer van het Château de Montaigne in het plaatsje Saint-Michel-de Montaigne te bezoeken, waar de 'Essais' vierhonderdvijftig jaar geleden tot stand kwamen. Uiteindelijk lukt dat en staat Lutters op de plek waar Montaigne zich terugtrok uit het publieke leven om te werken aan zichzelf als een kunstenaar aan een sculptuur. In dit boek lezen we hoe wij dat allemaal kunnen doen.0. (shrink)

Proposing a theory of the origins of human language ability and presenting an account of the early evolution of language, this text explains why humans are the only language-using animals and challenges the assumption that language is due to intelligence-- jacket cover.

“Ethical life” is Hegel’s term for the actuality of what Kant calls an “ethical community.” As members of the same ethical community, human beings are related to one another as persons in and only in acting from nothing but respect for the same practical law. Kant and Hegel both take ethical life to be a necessary, nay, the highest, end of pure reason. I argue that this is correct. And I identify the idea of ethical life with the idea of (...) a peculiar form of love. Kant and Hegel disagree—in a curiously reciprocal fashion—about the reach of ethical life and about our capacity to know it to reside within our power: while Kant identifies ethical life with the actuality of the ethical community of all possible human beings, Hegel holds that it is necessarily limited to some particular body politic; and while Hegel thinks that to be a human being is to self-knowingly co-constitute an ethical community, Kant believes that it is to be unable to know oneself to even be apt for this. With Hegel and against Kant, I argue that the only way to have the idea of ethical life is to live it. But with Kant and against a naïve form of Hegelianism, I argue that to be conscious of oneself as a human being, a practically rational animal, is to be conscious of oneself as morally evil, i.e. as actively prone to deeming one’s own particularity the supreme law. I show that this entails Hegelian particularism. And I end by noting that this saddles the Hegelian with the task of demonstrating that ethical particularization belongs to the very idea of pure reason itself, objectively conceived. (shrink)

A traditional view maintains that thought, while expressed in language, is non-linguistic in nature and occurs in non-linguistic beings as well. I assess this view against current theories of the evolutionary design of human grammar. I argue that even if some forms of human thought are shared with non-human animals, a residue remains that characterizes a unique way in which human thought is organized as a system. I explore the hypothesis that the cause of this difference is a grammatical way (...) of structuring semantic information, and I present evidence that the organization of grammar precisely reflects the organization of a specific mode of thought apparently distinctive of humans. Since there appears to be no known non-grammatical structuring principle for the relevant mode of thought, I suggest that grammar is that principle, with no independent ?Language of Thought? needed. (shrink)

Short description: Wie kann der Boden für eine kulturmenschliche Potenzialentfaltung politisch und gesellschaftlich fruchtbar gemacht werden?; Promotional text: Immanuel Hermann Fichtes ›System der Ethik‹ ist vor dem Hintergrund einer innenpolitischen Erstarrung als Folge der Revolution von 1848 und des in Deutschland sich nahezu gleichzeitig ereignenden wirtschaftlichen ›Take-off‹ des beginnenden Industriezeitalters verfasst. In direktem Bezug auf diese Umbruchssituation bietet Fichtes Konzeption, die Wolfram Schmitz in seiner Studie erstmals umfassend untersucht, Leitlinien für eine weitgreifende Reform von Staat und Gesellschaft.; Biographical note: (...) Dr. Wolfram Schmitz hat Philosophie, Geschichte und Soziologie studiert. (shrink)

This book introduces generative grammar as an area of study and asks what it tells us about the human mind. Wolfram Hinzen lays the foundation for the unification of modern generative linguistics with the philosophies of mind and language. He introduces Chomsky's program of a 'minimalist' syntax as a novel explanatory vision of the human mind. He explains how the Minimalist Program originated in work in cognitive science, biology, linguistics, and philosophy, and examines its implications for work in these (...) fields. He considers the way the human mind is designed when seen as an arrangement of structural patterns in nature, and argues that its design is the product not so much of adaptive evolutionary history as of principles and processes that are ahistorical and internalist in character. Linguistic meaning, he suggests, arises in the mind as a consequence of structures emerging on formal rather than functional grounds. From this he substantiates an unexpected and deeply unfashionable notion of human nature. Clearly written in nontechnical language and assuming a limited knowledge of the fields it examines and links, Minimal Mind Design will appeal to a wide range of scholars in linguistics, philosophy, and cognitive science. It also provides an exceptionally clear insight into the nature and aims of Chomsky's Minimalist Program. (shrink)

This interdisciplinary book considers the relationship between language and thought from a philosophical perspective, drawing both on the philosophical study of language and the purely formal study of grammar, and arguing that the two should align. The claim is that grammar provides homo sapiens with the ability to think in certain grammatical ways and that this in turn explains the vast cognitive powers of human beings. Evidence is considered from biology, the evolution of language, language disorders, and linguistic phenomena.

Dieser Band dokumentiert die Hauptvorträge des XIX. Deutschen Kongresses für Philosophie, der vom 23.-27. September 2002 in Bonn stattfand. Das Thema des Kongresses Grenzen und Grenzüberschreitungen wurde dabei hinsichtlich des gesamten Spektrums philosophischer Fragestellungen beleuchtet. So wird die aktuelle Problematik hinsichtlich der Grenzen technischer Machbarkeit und moralischer Verantwortbarkeit ebenso aufgegriffen wie klassische erkenntnis- und wissenschaftstheoretische Fragestellungen nach den Grenzen unserer kognitiven Möglichkeiten. Weitere Beiträge befassen sich mit Grenzen und Grenzüberschreitungen in der Ästhetik, Geschichtsphilosophie, Kulturphilosophie, Metaphysik, Philosophie des Geistes, Philosophie der (...) Logik und Mathematik, der politischen Philosophie sowie der Religionsphilosophie. Der historischen Dimension des Themas wird ebenfalls Rechnung getragen und zugleich die Diskussion von Grenzen und Grenzüberschreitungen durch die Geschichte der Philosophie zurückverfolgt. (shrink)

Life's Solution builds a persuasive case for the predictability of evolutionary outcomes. The case rests on a remarkable compilation of examples of convergent evolution, in which two or more lineages have independently evolved similar structures and functions. The examples range from the aerodynamics of hovering moths and hummingbirds to the use of silk by spiders and some insects to capture prey. Going against the grain of Darwinian orthodoxy, this book is a must read for anyone grappling with the meaning of (...) evolution and our place in the Universe. Simon Conway Morris is the Ad Hominen Professor in the Earth Science Department at the University of Cambridge and a Fellow of St. John's College and the Royal Society. His research focuses on the study of constraints on evolution, and the historical processes that lead to the emergence of complexity, especially with respect to the construction of the major animal body parts in the Cambrian explosion. Previous books include The Crucible of Creation (Getty Center for Education in the Arts, 1999) and co-author of Solnhofen (Cambridge, 1990). Hb ISBN (2003) 0-521-82704-3. (shrink)

Internalism is an explanatory strategy that makes the internal structure and constitution of the organism a basis for the investigation of its external function and the ways in which it is embedded in an environment. It is opposed to an externalist explanatory strategy, which takes its departure from observations about external function and mind-environment interactions, and infers and rationalizes internal organismic structure from that. This paper addresses the origins of truth, a basic ingredient in the human conceptual scheme. I suggest (...) the necessity of pursuing an internalist line of explanation for it, as adopted in the biolinguistic program and generative grammar at large. According to this view, the concept of truth is a presupposition for the way language is used in relation to the world, rather than a function of that use or a consequence of language-world relations. (shrink)

Name der Zeitschrift: Neue Zeitschrift für Systematische Theologie und Religionsphilosophie Jahrgang: 57 Heft: 4 Seiten: 501-520.

***Angaben zur beteiligten Person Kann: Christoph Kann ist Professor für Philosophie an der Universität Düsseldorf.

We investigate connections between the syntactic and semantic distance of programs on an abstract, recursion theoretic level. For a certain rather restrictive notion of interdependency of the two kinds of distances, there remain only few and “unnatural” numberings allowing such close relationship. Weakening the requirements leads to the discovery of universal metrics such that for an arbitrary recursively enumerable family of functions a numbering compatible with such a metric can uniformly be constructed. We conclude our considerations with some implications on (...) learning theory. (shrink)

Philosophie ist wissentlicher Einhegungsversuch des Nichtwissens. Wo immer sie daher die Bedeutung und Wirksamkeit des Nichtwissens nicht präsent hält, verfehlt sie ihre Mitte. Das hat sich seit der Antike bis heute nicht geändert. Allerdings blieb es den Interessen der Zeiten und Denker vorbehalten, die Mischformen von Wissen und Nichtwissen in ihrer Eigenart mehr oder weniger eingehend zu analysieren. Selbst wenn die sokratische Formel vom Wissen des Nichtwissens durchgängig gerne zitiert wurde: Wie die Formen des Wissens in ihren schwachen, aber unentbehrlichen (...) Variationen näherhin zu charakterisieren sind, hat über die Zeiten die Philosophen eher selten interessiert. Aber diese schwachen Formen des Wissens wie Ahnung, Mutmaßung und das Gefühl als Grundlage von Situationseinschätzungen sind für unseren Alltag von erheblicher Bedeutung. Wolfram Hogrebe diskutiert in seinem Buch Formen des Wissens in ihrer szenischen Relevanz, ja das Szenische als Wissensform selbst. Ein von der Philosophie bislang völlig ignoriertes Thema. Aber die Philosophie kann gar nicht ignorieren, ohne dennoch auch in ihrem Absehen noch etwas Mitgesehenes hervortreten zu lassen. (shrink)

The question of 20th century philosophy was: how are we humans situated in our world? In forms of consciousness, as Husserl insistently analyzed, in language games, as Wittgenstein thought, or in a prior understanding of being, as Heidegger recommended? Wolfram Hogrebe summarizes these answers in what he calls scenic existence. This is grounded in certainties in which we experience ourselves sensitively 'tinted'. In this respect, forms of consciousness, language games and understanding of being are only built up from an (...) anonymous sonority. Wolfram Hogrebe has been following these circumstances for several years. In this new book, he delineates the project in historically informed, multi-faceted differentiations, terminating in a plea for a new enlightenment that may be understood as a program for our time. (shrink)

Theories of belief and meaning have long occupied philosophers. Typically, there is a correlation between the meaning of a sentence that is uttered and the content of the attitude that the speaker thereby conveys. This is also why a sentence can be used to specify content in an attribution of the attitude to the speaker. From the perspective of a theory of semantic content, there is a level of description where mental states and sentences can be said to share a (...) content or meaning. But there is a contrary view gaining currency, claiming that belief and meaning have to be kept apart conceptually, theoretically, and methodologically. Thus it could be that meaning is an internal or private notion that can be accounted for purely linguistically (or even non-intentionally altogether), while the same may not be true of belief. The volume brings together researchers from various areas in philosophy, psychology, and linguistics to address these questions. The tradition of logical positivism, sometimes thought of as having been a passing phase in twentieth-century philosophy, has as a matter of record remained a vibrant force. But it has shifted from broadside critiques of other systems of thought into a deeper study of how the structure of logic and language impact human behavior and psychological conditioning. Among the contributors to this international symposium are Michael Esfeld, Wolfram Hisses, Max Kolbel, Isaac Levi, Diego Marconi, James McGilvary, Olaf Muller, Paul Peitroski and Norbert Hornstein, Sebastian Rodl, and Alberto Voltolini. (shrink)