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)

There is a tension between the idea of popular sovereignty and our understanding that basic constitutional rights and liberties have a normative authority which is independent from the results of democratic decision‐making procedures. On the one hand there is the claim that the content of political justice, at least as far as the basic liberties are concerned, is to be fixed solely by substantive moral and political argument, while on the other there is the claim that it is the people (...) who determine the specific scheme of basic liberties that they live under. The apparent tension between the two claims can be resolved by introducing, firstly, a distinction between the concept of justice and the concept of legitimacy and, secondly, between proto‐rights and constitutional rights. Unlike constitutional rights, proto‐rights are moral, not legal, rights, and they are less specific than constitutional rights: one set of proto‐rights allows for various schemes of legal constitutional rights. Proto‐rights are part of the principles of justice and can be established only by substantive argument while constitutional rights have to be established by the procedures of democratic legitimization, and, therefore, they are a result of the exercise of popular sovereignty. The correlated distinctions between justice and legitimacy, and between proto‐rights and constitutional rights, allow us to specify the scope of the two claims and, hence, to affirm both simultaneously. The philosophical and legal relevance of the distinctions made is elucidated by a brief discussion of the constitutional rights of freedom of speech in the US and Germany. (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)

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.

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. Formal Systems, Church Turing Thesis, and Gödel's Theorems: Three Contributions to The MIT Encyclopedias of Cognitive Science.

Thema der vorliegenden Arbeit ist der dialektische Gehalt der wichtigsten bildungstheoretischen Abhandlungen des padagogischen Theoretikers Josef Derbolav. Ergebnis der zum grossten Teil immanent durchgefuhrten Analyse ist der Aufweis, dass Derbolav die dialektische Fassung didaktischer, anthropologischer und handlungstheoretischer Prinzipien aufgrund metaphysischer Denkstrukturen nicht oder nur teilweise gelingt. Inwieweit einige dieser Prinzipien dialektisches Potential enthalten konnten, zeigt der Verfasser anhand der Entwicklung eines eigenen, an der hermeneutischen Philosophie orientierten dialektischen Standpunktes.".

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

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)

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

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)

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.

The Carnegie Mellon Proof Tutor project was motivated by pedagogical concerns: we wanted to use a "mechanical" (i.e. computerized) tutor for teaching students..

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)

Wilfred Sieg and Clinton Field. Automated Search for Gödel's Proofs.

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.

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.

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)