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

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)

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.

The political debate in Western polyarchies readily points to a «Parteienstaat», «particrazia», or particracy. Empirical verification, however, is by far more difficult to carry out, though it is a descriptive necessity for further analysis of this phenomenon.An initial attempt to detect the particraties in Western Europe has been performed and revealed two particracies : Belgium and Italy. Other polyarchies have either the cabinet or the president as the most influential actor, an,d some seem to have a real concurrence of approximately (...) equivalent actors. The reliability of this first attempt, however, must be improved. (shrink)

La dissolution assez inattendue des Chambres, le 24 septembre 1971 impliquait une promesse d'élection directe du gouvernement. Cette promesse s'est cependant vite volatilisée. Des élections calmes et traditionnelles ont pris le relais, le gouvernement ayant choisi uniquement le moment le moins défavorable pour les partis de la majorité.La composition des listes s'effectue dans un plus grand calme que de coutume et se déroule davantage par le biais de petits comités ou d'assemblées peu nombreuses. Cependant un grand changement de personnel se (...) réalise par le retrait plus au mains forcé de 65 parlementaires sortants; ce chiffre est, d'après la tradition établie depuis plusieurs élections, très élevé.En dehors de Bruxelles la campagne est calme. Une personnification se manifeste de plus en plus, aussi bien en Wallonie qu'en Flandre.En ce qui concerne la personnification, Bruxelles a une longueur d'avance. Le penchant pour l'«argumentation» symbolique est une autre caractéristique de la campagne. On ne s'oppose pas sur les points litigieux, on ne les expose même pas.Les résultats électoraux en W allonie et à Bruxelles diffèrent fondamentalement de ceux de la Flandre. En Wallonie et à Bruxelles de grands changements se font jour : le P.L.P. est le grand perdant tandis que le F.D.F./R.W. sort des élections en grand vainqueur. En Flandre, par contre, il y a peu de changements dans les chiffres globaux, mais de région à région de petits gains et de petites pertes sant enregistrés.Ceux-ci cependant vont dans des sens divers et même souvent radicalement opposés. L'explication de ces changements reste encore à fournir. Une fois de plus, le nombre des votes blanc et non valables à augmenté. La composition de la Chambre des Représentants et du Sénat issue de ces élections ne permet qu'une bipartite entre C.V.P. -P.S.C. et P.S.B. Les trois partis traditionnels possèdent encore numériquement plus des 2/3 des sièges. Certaines complications dans la réorganisation de l'Etat établie par la révision constitutionnelle, se font déjà entrevoir. Et cela n'est qu'un des problèmes que ces élections ont portés à l'attention de l'opinion publique. (shrink)

In carm. 55, Catullus supposes his friend Camerius may be caught in erotic adventure:num te lacteolae tenent puellae?si linguam clauso tenes in ore,fructus proicies amoris omnes:uerbosa gaudet Venus loquella. 20uel, si uis, licet obseres palatum,dum nostri sis particeps amoris.

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.

Wilfred Sieg. Mechanical Procedures and Mathematical Experience.

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)

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

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.

Contemporary philosophy is said to focus on particular issues, rather than on comprehensive syntheses. The following contribution intends to join this trend by offering some reflections on the “animal rights” debate, which is to be situated within the wider context of environmental philosophy. While classical Western concepts of man were anthropocentric, recent cultural developments have triggered a rediscovery of Nature, especially of nonhuman animals, while focusing on their affiliations with us, humans. Appropriate relations with those animals require a respectful attitude (...) on the human side, as if those animals had full moral and legal rights. But is this not an illusion? Can we talk about real “rights” for animals, or should we just remain aware of them having their own feelings and take care not to hurt them, unless for a “serious” cause? While taking note of the wide variety of animal species and habitats , the answer to this question may have its bearings on one’s personal choices regarding food, clothing, entertainment, etc. (shrink)

According to an opinion poll which was carried out in the middle of 1975 with a representative sample of Belgian citizens, the problems which most imposed themselves about that time were economie problems, viz.inflation and employment. These two problems were perceived as the most pressing by the more active part of the population as well. However, the solutions that citizens favour for a broad range of problems are not logically consistent, and demonstrate that many citizens have but very little insight (...) in the problems' structure. Yet, those who do feel more concerned, generally favour the same solutions as does the average citizen ; there is no polarization to be noticed.Considerable differences are brought forward by splitting up the results in two main regions : Flanders vs. Wallonia. The ethnic and linguistic difference appears to be also a political difference as far as problem-solving is concerned. The type of solutions citizens favour also shows that the stereotype «conservative Flanders» vs. «progressist Wallonia» is not valid any longer. (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)

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.".

The paper discusses the problem of global distributive justice. It proposes to distinguish between principles for the domestic and for the global or intersocietal distribution of wealth. It is argued that there may be a plurality of partly diverging domestic conceptions of distributive justice, not all of which need to be liberal egalitarian conceptions. It is maintained, however, that principles regulating the intersocietal distribution of wealth have to be egalitarian principles. This claim is defended against Rawls's argument in The Law (...) of Peoples that egalitarian principles of distributive justice should not be applied globally. Moreover, it is explained in detail, why Rawls's “duty of assistance to burdened societies” cannot be an appropriate substitute for a global principle of distributive justice. (shrink)

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

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

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

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.

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)

The Federation of Belgian companies is a confederation which groups 36 branch associations covering 30. 000 individual firms. About 85 % are small and medium-sizedfirms occupying less than 50 employees. The VBO/FEB is the most important exponent of the high degree of affiliation on the employers' side. The process of decision making reflects the structure of the federation. The mandate is defined in the board of the VBO/FEB, composed by a representative ofeach branch association. This representative holds his mandate on (...) the basis of the deliberations held in the elected board of his association. The guiding principle is consensus, which is not synonymous of unanimity. When a consistent and representative majority emerges from the debate, the members holding another opinion join that majority in a spirit ofemployers' solidarity. The decision making process aims in this way to combine efficiency and democracy. This is particularly important for the VBO/FEB, as that organisation not only acts as a lobby but also as a social partner able to conclude agreements. In the Belgian system, social partners are consulted by the authorities, because of their representativeness. It must however be clear that they may not interfere with the political decisions which in our democratic system rest with government and parliament. (shrink)

In his classic paper On Computable Numbers Turing analyzed what can be done by a human computor in a routine, “mechanical” way. He argued that mechanical op-erations obey locality conditions and are carried out on configurations satisfying boundedness conditions. Processes meeting these restrictive conditions can be shown to be computable by a Turing machine. Turing viewed memory limitations of computors as the ultimate reason for the restrictive conditions. In contrast, Gandy analyzed in his paper Church’s Thesis and Principles for Mechanisms (...) what can be done by “discrete deterministic mechanical devices” and appealed to physical considerations to motivate restrictive principles. These devices include, crucially, ones that carry out parallel processes, e.g., cellular automata. Following Turing’s methodological ways and guided by Conway’s “Game of Life” as a paradigm, Gandy formulated four restrictive principles and proved that devices satisfying them are computationally equivalent to Turing machines. (shrink)

The available studies and opinion polls are examined for indications of the degree and the content of political knowledge of the Belgian citizens. Political knowledge differs strikingly depending on the components of decision making : political parties, office bolders and their competence, power relations, institutional settings, pressure groups, corporatism and policy measures. Proceeding from personification to content and from more important to less important aspects, the knowledge declines noticeably. A marked portion of the populationshows a lack of even the most (...) elementary knowledge. (shrink)