Wilfred Sieg. Mechanical Procedures and Mathematical Experience.

Hilbert's finitist program was not created at the beginning of the twenties solely to counteract Brouwer's intuitionism, but rather emerged out of broad philosophical reflections on the foundations of mathematics and out of detailed logical work; that is evident from notes of lecture courses that were given by Hilbert and prepared in collaboration with Bernays during the period from 1917 to 1922. These notes reveal a dialectic progression from a critical logicism through a radical constructivism toward finitism; the progression has (...) to be seen against the background of the stunning presentation of mathematical logic in the lectures given during the winter term 1917/18. In this paper, I sketch the connection of Hilbert's considerations to issues in the foundations of mathematics during the second half of the 19th century, describe the work that laid the basis of modern mathematical logic, and analyze the first steps in the new subject of proof theory. A revision of the standard view of Hilbert's and Bernays's contributions to the foundational discussion in our century has long been overdue. It is almost scandalous that their carefully worked out notes have not been used yet to understand more accurately the evolution of modern logic in general and of Hilbert's Program in particular. One conclusion will be obvious: the dogmatic formalist Hilbert is a figment of historical (de)construction! Indeed, the study and analysis of these lectures reveal a depth of mathematical-logical achievement and of philosophical reflection that is remarkable. In the course of my presentation many questions are raised and many more can be explored; thus, I hope this paper will stimulate interest for new historical and systematic work. (shrink)

Wilfried Sieg and John Byrnes. AnModel for Parallel Computation: Gandy's Thesis.

On June 4, 1925, Hilbert delivered an address to the Westphalian Mathematical Society in Miinster; that was, as a quick calculation will convince you, almost exactly sixty years ago. The address was published in 1926 under the title Über dasUnendlicheand is perhaps Hilbert's most comprehensive presentation of his ideas concerning the finitist justification of classical mathematics and the role his proof theory was to play in it. But what has become of the ambitious program for securing all of mathematics, once (...) and for all? What of proof theory, the very subject Hilbert invented to carry out his program? The Hilbertian ambition reached out too far: in its original form, the program was refuted by Gödel's Incompleteness Theorems. And even allowing more than finitist means in metamathematics, the Hilbertian expectations for proof theory have not been realized: a constructive consistency proof for second-order arithmetic is still out of reach. Nevertheless, remarkable progress has been made. Two separate, but complementary directions of research have led to surprising insights: classical analysis can be formally developed in conservative extensions of elementary number theory; relative consistency proofs can be given by constructive means for impredicative parts of second order arithmetic. The mathematical and metamathematical developments have been accompanied by sustained philosophical reflections on the foundations of mathematics. This indicates briefly the main themes of the contributions to the symposium; in my introductory remarks I want to give a very schematic perspective, that is partly historical and partly systematic. (shrink)

Wilfred Sieg. Relative Consistency and Accesible Domains.

The incompleteness theorems constitute the mathematical core of Gödel’s philosophical challenge. They are given in their “most satisfactory form”, as Gödel saw it, when the formality of theories to which they apply is characterized via Turing machines. These machines codify human mechanical procedures that can be carried out without appealing to higher cognitive capacities. The question naturally arises, whether the theorems justify the claim that the human mind has mathematical abilities that are not shared by any machine. Turing admits that (...) non-mechanical steps of intuition are needed to transcend particular formal theories. Thus, there is a substantive point in comparing Turing’s views with Gödel’s that is expressed by the assertion, “The human mind infinitely surpasses any finite machine”. The parallelisms and tensions between their views are taken as an inspiration for beginning to explore, computationally, the capacities of the human mathematical mind. (shrink)

This commentary focuses on Hommel et al.'s inferences on action planning. It discusses the relevance of anticipated extrinsic movement effects for action control, the problems of a feature-based representation of actions, and the necessity of the acquisition of conditional movement-effect associations.

David Hilbert was one of the great mathematicians who expounded the centrality of their subject in human thought. In this collection of essays, Wilfried Sieg frames Hilbert's foundational work, from 1890 to 1939, in a comprehensive way and integrates it with modern proof theoretic investigations.

Wilfried Sieg. Calculations by Man and Machine: Mathematical Presentation.

We establish by elementary proof-theoretic means the conservativeness of two subsystems of analysis over primitive recursive arithmetic. The one subsystem was introduced by Friedman [6], the other is a strengthened version of a theory of Minc [14]; each has been shown to be of considerable interest for both mathematical practice and metamathematical investigations. The foundational significance of such conservation results is clear: they provide a direct finitist justification of the part of mathematical practice formalizable in these subsystems. The results are (...) generalized to relate a hierarchy of subsystems, all contained in the theory of arithmetic properties, to a corresponding hierarchy of fragments of arithmetic. The proof theoretic tools employed there are used to re-establish in a uniform, elementary way relationships between various fragments of arithmetic due to Parsons, Paris and Kirby, and Friedman. (shrink)

Natural deduction (for short: nd-) calculi have not been used systematically as a basis for automated theorem proving in classical logic. To remove objective obstacles to their use we describe (1) a method that allows to give semantic proofs of normal form theorems for nd-calculi and (2) a framework that allows to search directly for normal nd-proofs. Thus, one can try to answer the question: How do we bridge the gap between claims and assumptions in heuristically motivated ways? This informal (...) question motivates the formulation of intercalation calculi. Ic-calculi are the technical underpinnings for (1) and (2), and our paper focuses on their detailed presentation and meta-mathematical investigation in the case of classical predicate logic. As a central theme emerges the connection between restricted forms of nd-proofs and (strategies for) proof search: normal forms are not obtained by removing local "detours", but rather by constructing proofs that directly reflect proof-strategic considerations. That theme warrants further investigation. (shrink)

Wilfred Sieg and Dirk Schlimm. Dedekind's Analysis of Number: Systems and Axioms.

In this article we give a unifying approach to the theory of fundamental sequences and their related Hardy hierarchies of number-theoretic functions and we show the equivalence of the new approach with the classical one.

The Hygiene Hypothesis has been recognized as an important cornerstone to explain the sudden increase in the prevalence of asthma and allergic diseases in modernized culture. The recent epidemic of allergic diseases is in contrast with the gradual implementation of Homo sapiens sapiens to the present-day forms of civilization. This civilization forms a gradual process with cumulative effects on the human immune system, which co-developed with parasitic and commensal Helminths. The clinical manifestation of this epidemic, however, became only visible in (...) the second half of the twentieth century. In order to explain these clinical effects in terms of the underlying IgE-mediated reactions to innocuous environmental antigens, the low biodiversity of antigens in the domestic environment plays a pivotal role. The skewing of antigen exposure as a cumulative effect of reducing biodiversity in the immediate human environment as well as in changing food habits, provides a sufficient and parsimonious explanation for the rise in allergic diseases in a highly developed and helminth-free modernized culture. Socio-economic tendencies that incline towards a further reduction of environmental biodiversity may provide serious concern for future health. This article explains that the “Hygiene Hypothesis”, the “Old Friends Hypothesis”, and the “Skewed Antigen Exposure Hypothesis” are required to more fully explain the rise of allergy in modern societies. (shrink)

Zuerst im 2CV, dann im umgebauten VW-Bus: Das Zürcher Fotografenpaar Margrit und Ernst Baumann, 1929 bzw. 1928 geboren, begann in den 1950er-Jahren rund um den Erdball zu reisen. Ihre Fotografien publizierten sie in Zeitschriften und Zeitungen wie Stern, Neue Zürcher Zeitung oder Das gelbe Heft und brachten so die Welt in die Wohnzimmer. Kosmopolitan und neugierig kamen sie zu Motiven mit Seltenheitswert: Farbporträts von Che Guevara gehören ebenso dazu wie Reportagen über die letzten Kopfjäger im ecuadorianischen Urwald. Ein Schwerpunkt dieser (...) reich bebilderten Doppelmonografie ist ihre Reise entlang der “Panamericana” 1957-1959, die Süd- und Nordamerika verbindet. Sie fotografierten Reportagen, Porträts und Landschaftsbilder und drehten den wohl ersten Farbfilm über den legendären Verkehrsweg. Dieser Film und ein Filporträt über die beiden Fotografen sind dem Buch auf DVD beigefügt. Das Buch präsentiert Funde aus ihrem Fotoarchiv - viele Bilder erstmals im Originalausschnitt - sowie Publikationen in Zeitschriften. Der Historiker und Schriftsteller Wilfried Meichtry erzählt vom ereignisreichen Leben des Paars, das sich zeitlebens als journalistische Handwerker verstanden hat. Der Fotohistoriker Markus Schürpf ordnet ihr Werk in die Foto- und Pressegeschichte ein, Nadine Olonetzky verfasst Begleittexte zu den Bildern. Eine Entdeckung in der Schweizer Fotogeschichte. (shrink)

English summary: Does pastoral care require ethical competence in order to fulfil its task properly? And, conversely, to what extent does ethical reflection require feedback from pastoral experience in order to remain true to life and of practical relevance? Wilfried Sturm examines the way hospital pastors deal with ethical challenges and conflict situations in neonatal clinics and enquires into the insights that can be gained from them for the relationship of pastoral care and ethics. German description: Braucht Seelsorge ethische (...) Kompetenz, um ihrem Auftrag gerecht zu werden? Inwiefern bedarf umgekehrt die ethische Reflexion der Ruckkopplung an seelsorgerliche Erfahrung, um lebensnah und praxisrelevant zu bleiben? Wilfried Sturm untersucht den Umgang von Klinikseelsorgerinnen und -seelsorgern mit ethischen Herausforderungen und Konfliktsituationen in der Fruh- und Neugeborenenmedizin und fragt, welche Einsichten sich daraus fur das Verhaltnis von Seelsorge und Ethik gewinnen lassen. (shrink)

The concept of merit good is a problematic concept in economic theory. The concept was introduced in 1956 by Richard Musgrave. In 1990, on the occasion of an international conference on the concept of merit good, John Head wrote that the concept of merit good raises methodologically difficult and controversial issues. The concept raises doubt about the ultimate normative authority of the consumer sovereignty principle. I will demonstrate that the concept deserves the attention of the philosophical profession for multiple reasons.

Herbrand's Theorem, in the form of $$\underset{\raise0.3em\hbox{$\smash{\scriptscriptstyle-}$}}{\exists } $$ -inversion lemmata for finitary and infinitary sequent calculi, is the crucial tool for the determination of the provably total function(al)s of a variety of theories. The theories are (second order extensions of) fragments of classical arithmetic; the classes of provably total functions include the elements of the Polynomial Hierarchy, the Grzegorczyk Hierarchy, and the extended Grzegorczyk Hierarchy $\mathfrak{E}^\alpha $ , α < ε0. A subsidiary aim of the paper is to show (...) that the proof theoretic methods used here are distinguished by technical elegance, conceptual clarity, and wide-ranging applicability. (shrink)

The Belgian polyarchy has developed into a «particracy» in which the political parties have a preponderant impact on the political decisionmaking.As in every polyarchy, the political parties fulfill a set of vital functions in the Belgian system. But that does not explain its «particratie» particularity. The particracy arises as a consequence of four factors. The parties are fixed by the «zuilen» into an «internal-imperialistic» role. The power of the parties increased considerably, an increase of which the politization of the instruments (...) for, and the agencies of, policy is one of the most important, together with the capability of making and unmaking issues. The impact and power of the opponents of the parties in the decision-making process have been diminished to a considerable extent. This weakening involves the king, the parliament, theadministration, the electorate, and, ultimately, the cabinet because of the growing impact of the parties on policy design and policy output as well as on the appointment of ministers. Finally, the choice of the consociational pattern of politics of accomodation by the elite indicates the instrumental function of particracy in Belgian politics. (shrink)

We still lack an operational theory for a complete analysis of early socialization processes. Bourdieu has stressed their bodily dimension but has done so at the expense of more symbolic aspects. This theoretical option corresponds to a very general goal of the Bourdieusian theory of practice: analysing sociality without suffering an intellectualist bias. However, symbolic activity and socializing language in particular can be approached as a practical phenomenon (i.e. habitual, informal, unconscious, etc.). From this viewpoint, the sociology of embodiment may (...) have much to learn from cultural psychology, which has focused on early language as it is naturally performed – when people speak to children, and when children speak. The work of cultural psychologists on the role of everyday words and narratives in the making of the self can be extended through a sociological ethnography of language. The features and interests of such an ethnography are discussed in the final section of the article, on the basis of fieldwork conducted in a nursery. This final development illustrates and analyses the concrete appropriation of caregiver injunctions by 2- to 3-year-old children. (shrink)

Les vœux du nouvel an à la nation constituent un genre d’allocutions présidentielles traditionnellement rattachées aux grands discours du Président de la République. Le temps du bilan de l’année écoulée, de même que l’annonce de l’agenda politique pour l’année qui suit, sont autant de sujets dans la communication politique de l’Élysée pour s’adresser aux citoyens et leur parler d’eux-mêmes, du pays, du récit national en cours et à écrire. Le cas échéant, les vœux aux Français constituent une opportunité dans le (...) calendrier pour actualiser la vision ou le projet politique que porte le Président, renouveler aussi l’image de celui-ci dans le regard du citoyen. Cependant, la scène englobante d’énonciation infléchit ce genre discursif vers un certain lyrisme : la solennité du 31 décembre appelle en effet un temps de pause pour porter un regard réflexif sur l’expérience citoyenne empirique, en particulier sur le « faire commun » en tant que membre de la communauté nationale. Dans ce contexte d’énonciation, le discours du chef de l’État met donc en jeu et actualise l’imaginaire social collectif autour du sentiment d’appartenance à un destin national évocateur. Or, si le pathos est bien inscrit dans l’écriture des vœux du nouvel an à la nation, son emploi surprend l’auditeur ou le lecteur attentif car il déjoue l’empathie du Président envers le citoyen et réoriente l’usage de ces discours. La rhétorique du pathos dans les vœux a tendance au contraire à inverser le rapport d’identification et d’adhésion du citoyen à un projet pour la nation dicté par le chef de l’État. Et cette intention politique sous-jacente se joue notamment dans les ressorts stylistiques de la littérarité et dans le travail sur le verbe présidentiel prétendument lyrique et porteur d’une proposition de récit actualisé et souhaité au nom de et pour la nation française. (shrink)

Any thorough discussion of computing machines requires the examination of rigorous concepts of computation and is facilitated by the distinction between mathematical, symbolic and physical computations. The delicate connection between the three kinds of computations and the underlying questions, "What are machines?" and "When are they computing?", motivate an extensive theoretical and historical discussion. The relevant outcome of this..

Wilfried Sieg and John Byrnes. Gödel, Turing, and K-Graph Machines.

Dedekind’s structuralism is a crucial source for the structuralism of mathematical practice—with its focus on abstract concepts like groups and fields. It plays an equally central role for the structuralism of philosophical analysis—with its focus on particular mathematical objects like natural and real numbers. Tensions between these structuralisms are palpable in Dedekind’s work, but are resolved in his essay Was sind und was sollen die Zahlen? In a radical shift, Dedekind extends his mathematical approach to “the” natural numbers. He creates (...) the abstract concept of a simply infinite system, proves the existence of a “model”, insists on the stepwise derivation of theorems, and defines structure-preserving mappings between different systems that fall under the abstract concept. Crucial parts of these considerations were added, however, only to the penultimate manuscript, for example, the very concept of a simply infinite system. The methodological consequences of this radical shift are elucidated by an analysis of Dedekind’s metamathematics. Our analysis provides a deeper understanding of the essay and, in addition, illuminates its impact on the evolution of the axiomatic method and of “semantics” before Tarski. This understanding allows us to make connections to contemporary issues in the philosophy of mathematics and science. (shrink)

Natural Formalization proposes a concrete way of expanding proof theory from the meta-mathematical investigation of formal theories to an examination of “the concept of the specifically mathematical proof.” Formal proofs play a role for this examination in as much as they reflect the essential structure and systematic construction of mathematical proofs. We emphasize three crucial features of our formal inference mechanism: (1) the underlying logical calculus is built for reasoning with gaps and for providing strategic directions, (2) the mathematical frame (...) is a definitional extension of Zermelo–Fraenkel set theory and has a hierarchically organized structure of concepts and operations, and (3) the construction of formal proofs is deeply connected to the frame through rules for definitions and lemmas. To bring these general ideas to life, we examine, as a case study, proofs of the Cantor–Bernstein Theorem that do not appeal to the principle of choice. A thorough analysis of the multitude of “different” informal proofs seems to reduce them to exactly one. The natural formalization confirms that there is one proof, but that it comes in two variants due to Dedekind and Zermelo, respectively. In this way it enhances the conceptual understanding of the represented informal proofs. The formal, computational work is carried out with the proof search system AProS that serves as a proof assistant and implements the above inference mechanism; it can be fully inspected at (see link below). (shrink)

Demokratische Systeme sind auch dann, wenn sie den grundrechtlichen Forderungen politischer Gerechtigkeit genügen, kritikwürdig und reformbedürftig, solange es ihnen nicht gelingt, allen Bürgern gerechte Anteile an den gesellschaftlich produzierten Reichtümern zu sichern. Bei den Auseinandersetzungen um Arbeitsmarktpolitik, Steuerpolitik, Erziehungspolitik, Meinungs- und Willensfreiheit steht auch Grundsätzlicheres zur Debatte: Was verstehen wir unter sozialer Gerechtigkeit? In Gerechtfertigte Ungleichheiten werden die Grundzüge einer Theorie sozialer Gerechtigkeit entwickelt. Es handelt sich um eine egalitäre Theorie, die soziale Ungleichheit ausdrücklich zulässt, diese aber an das Vorliegen (...) bestimmter öffentlicher Rechtfertigungsgründe bindet. (shrink)

Wilfred Sieg and John Byrnes. K-Graph Machines: Generalizing Turing's Machines and Arguments.

Church's and Turing's theses dogmatically assert that an informal notion of effective calculability is adequately captured by a particular mathematical concept of computability. I present an analysis of calculability that is embedded in a rich historical and philosophical context, leads to precise concepts, but dispenses with theses. To investigate effective calculability is to analyze symbolic processes that can in principle be carried out by calculators. This is a philosophical lesson we owe to Turing. Drawing on that lesson and recasting work (...) of Gandy, I formulate boundedness and locality conditions for two types of calculators, namely, human computing agents and mechanical computing devices (discrete machines). The distinctive feature of the latter is that they can carry out parallel computations. The analysis leads to axioms for discrete dynamical systems (representing human and machine computations) and allows the reduction of models of these axioms to Turing machines. Cellular automata and a variety of artificial neural nets can be shown to satisfy the axioms for machine computations. (shrink)

Using the concept of notations for infinitary derivations we give an explanation of Takeuti's reduction steps on finite derivations (used in his consistency proof for Π1 1-CA) in terms of the more perspicious infinitary approach from [BS88].

Dedekind's mathematical work is integral to the transformation of mathematics in the nineteenth century and crucial for the emergence of structuralist mathematics in the twentieth century. We investigate the essential components of what Emmy Noether called, his ‘axiomatic standpoint’: abstract concepts, models, and mappings.

This chapter contains section titled: Human Rights in Rawls's The Law of Peoples Human Rights as Universal Claim Rights Human Rights Minimalism and the Problem of Justification Acknowledgments Notes.