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)

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)

Studies of consumer complaint behavior have shown that many elderly consumers are very reluctant to pursue their rights through the complaint process when they encounter problems with products or services. This passive complaint behavior may be very costly to the elderly, who often live on fixed incomes. This paper presents a theory developed in experimental psychology that may help explain why clderly consumers are more likely than other consumers to incur losses rather than engage in complaint activity. The theory, known (...) as learned helplessness (LH), refers to a process whereby noncontingent reinforcement produces the expectation that events are uncontrollable.The theory of learned helplessness is presented and related to specific behaviors of dissatisfied elderly consumers that have been reported in the literature. Strategy implications of the theory are discussed for counselors, consumer affairs practitioners, and others interested in helping elderly consumers exercise their rights. (shrink)

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

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)

Wilfried Sieg. Formal Systems, Church Turing Thesis, and Gödel's Theorems: Three Contributions to The MIT Encyclopedias of Cognitive Science.

Since their inception, the Perspectives in Logic and Lecture Notes in Logic series have published seminal works by leading logicians. Many of the original books in the series have been unavailable for years, but they are now in print once again. This volume, the fifteenth publication in the Lecture Notes in Logic series, collects papers presented at the symposium 'Reflections on the Foundations of Mathematics' held in celebration of Solomon Feferman's 70th birthday (The 'Feferfest') at Stanford University, California in 1988. (...) Feferman has shaped the field of foundational research for nearly half a century. These papers reflect his broad interests as well as his approach to foundational research, which emphasizes the solution of mathematical and philosophical problems. There are four sections, covering proof theoretic analysis, logic and computation, applicative and self-applicative theories, and philosophy of modern mathematical and logic thought. (shrink)

Der Band untersucht die fünf Stellen des Hebräerbriefes, die herkömmlicherweise als Hinweise auf die Parusie Christi gedeutet werden (Hebr 1,6; 9,28; 10,25.36-39; 12,25-29). Ausgangspunkt ist die Feststellung, dass eine apokalyptische Rede von der Parusie zur übrigen Denkweise des Schreibens nicht recht passen will, die eher von einer mittelplatonischen Ontologie geprägt ist. Zur Auflösung dieser Spannung werden in Teil I die problematischen Stellen des Hebräerbriefes textimmanent analysiert und in Teil II mit relevanten Texten von Philon, Plutarch, Seneca und Alkinoos in Verbindung (...) gebracht, die ebenfalls eingehend analysiert werden. Teil III führt schließlich die Ergebnisse der ersten beiden Teile zusammen und macht eine mittelplatonische Umformung des Parusiegedankens durch den Autor des Hebräerbriefes plausibel. (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.".

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)

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.

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)

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)

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

The Belgian electorate has the possibility not only to decide on the number of seats for the different parties, but also to appoint the members of parliament. By making insufficient use of the preferential vote, the electorale however denies itself the power to choose members of parliament. In a quasi-experiment the difference in the selection of members by the political parties and by the electorale is examined for the period 1949-1987. The Difference is small, tending to lower the more the (...) electorate use the preferential vote, which is the key to that autonomous selection. A puzzling result, which can be understood taking into account that the growth of the preferential vote is nearly exclusively given to or attrackted by the candidates leading the party lists. A striking illustration of the difficult emancipation of the electorate. (shrink)

Within the Belgian political system political issues are hard to deal with. The institutions do not provide a problem-solving mechanism : no ref erendum, no direct election of a one-party cabinet. Moreover, electoral campaigns usually involve a lot of heterogeneous issues and almost never focus upon a single one. Active political participation of citizens is, by definition, selective and, compared with electoral participation, limited, although, the number of people taking part in a political demonstration is sometimes considerable. An investigation of (...) the Belgian political elite shows that active political participation, sparked off by a single issue, can be considered as one of the most polyarchie types of political decision-making in Belgium. This involves an increase of tension and conflict, a slowing down of the process of decision-making and a selective accessibility to this type of participation. Belgian politicians try to avoid these difficulties by either opting for non-decision or consociational politics. (shrink)

Wilfred Sieg and Rosella Lupiccini. Computing Machines: Entry for the Second Edition of the Encyclopedia of Philsophy.

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)

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)

It is a remarkable fact that Hilbert's programmatic papers from the 1920s still shape, almost exclusively, the standard contemporary perspective of his views concerning (the foundations of) mathematics; even his own, quite different work on the foundations of geometry and arithmetic from the late 1890s is often understood from that vantage point. My essay pursues one main goal, namely, to contrast Hilbert's formal axiomatic method from the early 1920s with his existential axiomatic approach from the 1890s. Such a contrast illuminates (...) the circuitous beginnings of the finitist consistency program and connects the complex emergence of existential axiomatics with transformations in mathematics and philosophy during the 19th century; the sheer complexity and methodological difficulties of the latter development are partially reflected in the well known, but not well understood correspondence between Frege and Hilbert. Taking seriously the goal of formalizing mathematics in an effective logical framework leads also to contemporary tasks, not just historical and systematic insights; those are briefly described as “one direction” for fascinating work. (shrink)

Two young logicians, whose work had a dramatic impact on the direction of logic, exchanged two letters in early 1931. Jacques Herbrand initiated the correspondence on 7 April and Kurt Gödel responded on 25 July, just two days before Herbrand died in a mountaineering accident at La Bérarde (Isère). Herbrand's letter played a significant role in the development of computability theory. Gödel asserted in his 1934 Princeton Lectures and on later occasions that it suggested to him a crucial part of (...) the definition of a general recursive function. Understanding this role in detail is of great interest as the notion is absolutely central. The full text of the letter had not been available until recently, and its content (as reported by Gödel) was not in accord with Herbrand's contemporaneous published work. Together, the letters reflect broader intellectual currents of the time: they are intimately linked to the discussion of the incompleteness theorems and their potential impact on Hilbert's Program. (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)

In this rapid commentary, a mini-review is given of the present state-of-knowledge regarding the etiology and epidemiology of the new coronavirus 2019-nCoV and the risks for developing Acute respiratory distress syndrome. The available knowledge on the viral genomics, molecular biology and pathogenicity of viruses of the Coronaviridae family and other Nidovirales, forms a helpful template for understanding the present pandemic outbreak. However, important questions remain unanswered about the underlying mechanism causing the very high case fatality ratios and mechanisms regarding severe (...) reactions like ARDS, fatal cardiac and renal failures, associated with a number of important comorbidity factors. Immunological reactions to lung alveoles in particular in late phase ARDS in SARS-like CoV diseases, so far may not have received enough attention. Finally a shortlist of questions for high priority further research is suggested. (shrink)