In this paper, we trace the conceptual history of the term ?metamathematics? in the nineteenth century. It is well known that Hilbert introduced the term for his proof-theoretic enterprise in about 1922. But he was verifiably inspired by an earlier usage of the phrase in the 1870s. After outlining Hilbert's understanding of the term, we will explore the lines of inducement and elucidate the different meanings of ?metamathematics? in the final decades of the nineteenth century. Finally, we will investigate the (...) earlier occurrences and come to the conclusion that the conceptual prehistory of the Hilbertian notion of metamathematics dates back to 1870, whereas the history of the word starts in 1799 at the latest. What is this: metamathematics? It is something amazing everybody, [?] since it makes the mind dizzy and withdraws thinking its sole fulcrum.1 1 Brunner 1898, p. 832: ?Was ist das: Metamathematik? Es ist etwas, was einen Jeden in das äusserste Staunen versetzt, [?] was das Gehirn schwindlig macht und dem Denken seinen einzigen Stütz- und Angelpunkt zu entziehen droht? (shrink)

In the face of the ever-growing effect the actions of the present may have upon future people, most conspicuously around climate change, democracy has been accused, with good justification, of a presentist bias: of systemically favouring the presently living. By contrast, this paper will argue that the intimate relation, both quasi-ontological and normative, that Derrida's work establishes between temporality and justice insists upon another, more future-regarding aspect of democracy. We can get at this aspect by arguing for two consequences of (...) the deconstructive affirmation of sur-vivre, of the alterity of death in life. Firstly, justice is not first of all justice for the living, but intergenerational from the start. This is so because no generation coincides with itself; rather, it dies and is reborn at every moment, and so – and this is the second consequence – consists in taking turns. Affirming life as living-on means affirming that it involves exchanging life's stations, as the young become the old, and the unborn become the dead. In this sense, the justice of living-on, I will argue, shares an essential feature with democracy, whose principle of exchanging the rulers with the ruled led Derrida to characterize it in terms of the wheel. Democracy consists in the principled assent to power changing hands, a switchover life demands of every generation at every turn. This assent further requires an acceptance of the gift of inheritance without which no life can survive. But as the gift can also never be fully acknowledged or appropriated, it must be passed on to the indefinite, unknown future, in a turning that is the time of life. (shrink)

The literature on agentive or practical knowledge tends to be focused on knowing what one is doing or what one is going to do. Knowing what one has done and has achieved thereby seems to be another matter. In fact, achievements are often taken to be beyond the ken of practical knowledge. I argue that this is a mistake. The intelligibility of the very idea of practical knowledge depends on the possibility of knowing one's achievements in the same manner. For (...) if it is to be intelligible as knowledge of the actuality of one's action in the material world, knowing what one is doing has to include knowledge of what one has done so far. (shrink)

This study endorses the use of data envelopment analysis, which uses benefit-of-the-doubt weighting to evaluate the social, economic and overall performance of social enterprises. This methodology is especially useful for creating composite indicators based on multiple outputs expressed in different measurement units, and allows for enterprise-specific weighting of the different objectives. Applying this methodology on a unique longitudinal dataset of Flemish sheltered workshops suggests that social enterprises may face different types of mission drift. Further, our results show that top-performing social (...) enterprises are more economically and socially efficient than low performers. These top performers also have a stronger economic orientation, which sheds new light on the balance between social and economic orientations in social enterprises. (shrink)

Philosophy & Social Criticism, Volume 48, Issue 7, Page 1014-1034, September 2022. The plural, impure or discordant nature of time has become an important theme in recent critical social and political theory. Against Althusser’s dismissal of Sartre’s presumedly Hegelian understanding of time and history, this article establishes Jean-Paul Sartre as a key figure in this debate on the plurality of temporalities. Especially in the Critique of Dialectical Reason, Sartre understands history and the social in terms of a multiplicity of uneven (...) and non-synchronous temporalisations, rejecting an notion of time as a universal container within which events take place. The originality of Sartre’s approach is that it establishes a link between the notion of the plurality of temporalities and the problem of freedom and domination. His mature social and political theory allows us to understand temporalisation as a strategy for domination, and objective social temporality as key to a form of anonymous or structural domination. A reconstruction of this highly complex and sophisticated approach to thinking domination through time can also shed an original light on the temporal dimension of democracy and totalitarianism. (shrink)

This book endeavors to fill the conceptual gap in theorizing about embodied cognition. The theories of mind and cognition which one could generally call "situated" or "embodied cognition" have gained much attention in the recent decades. However, it has been mostly phenomenology, which has served as a philosophical background for their research program. The main goal of this book is to bring the philosophy of classical American pragmatism firmly into play. Although pragmatism has been arguably the first intellectual current which (...) systematically built its theories of knowledge, mind and valuation upon the model of a bodily interaction between an organism and its environment, as the editors and authors argue, it has not been given sufficient attention in the debate and, consequently, its conceptual resources for enriching the embodied mind project are far from being exhausted. In this book, the authors propose concrete subject-areas in which the philosophy of pragmatism can be of help when dealing with particular problems the philosophy of the embodied mind nowadays faces - a prominent example being the inevitable tension between bodily situatedness and the potential universality of symbolic meaning. (shrink)

This paper defends the normativity of meaning thesis by clearing up a misunderstanding about what the thesis amounts to. The misunderstanding is that according to it, failing to use an expression in accordance with the norms which constitute its meaning amounts to changing the expression’s meaning. If this was what the thesis claimed, then it would indeed be easy to show that meaning norms do not yield prescriptions and cannot be followed. However, there is another reading: what is constitutive of (...) meaning is not the norm’s being followed, but the norm’s being applicable. On this reading, some standard arguments against the thesis lose their force. After discussing the alternative reading and its consequences, the paper goes on to sketch a model of how norms of meaning become applicable in the first place. This model supports the view that talk of meaning has its pragmatic home in contexts of linguistic calibration. (shrink)

Name der Zeitschrift: Das Mittelalter Jahrgang: 19 Heft: 2 Seiten: 302-325.

This paper argues that ceteris paribus (cp) laws exist based on a Lewisian best system analysis of lawhood (BSA). Furthermore, it shows that a BSA faces a second trivialization problem besides the one identified by Lewis. The first point concerns an argument against cp laws by Earman and Roberts. The second point aims to help making some assumptions of the BSA explicit. To address the second trivialization problem, a restriction in terms of natural logical constants is proposed that allows one (...) to describe regularities, as specified by basic generics (e.g. ‘birds can fly’) and universals (e.g. ‘all birds can fly’). It is argued that cp laws rather than strict laws might be a part of the the best system of such a regularity-based BSA, since sets of cp laws can be both (a) simpler and (b) stronger when reconstructed as generic non-material conditionals. Yet, if sets of cp laws might be a part of the best system of a BSA and thus qualify as proper laws of nature, it seems reasonable to conclude that at least some cp laws qualify as proper laws of nature. (shrink)

Assuming an essential difference between scientific data and phenomena, this paper argues for the view that we have to understand how empirical findings get transformed into scientific phenomena. The work of scientists is seen as largely consisting in constructing these phenomena which are then utilized in more abstract theories. It is claimed that these matters are of importance for discussions of theory choice and progress in science. A case study is presented as a starting point: paleomagnetism and the use of (...) paleomagnetic data in early discussions of continental drift. Some general features of this study are presented in formalized language. It is suggested that the presentation given is particularly suited for a semantic conception of theories. Even though the construction of scientific phenomena is the main topic of this paper, the view presented here is more adapted to realism than social constructivism. (shrink)

Freges Kontextprinzip "Nur im Zusammenhange eines Satzes bedeuten die Wörter etwas" hat auch nach der von ihm vollzogenen Angleichung von Behauptungssätzen an Eigennamen Gültigkeit für die formale Sprache der "Grundgesetze". Der Bedeutungsvollständigkcitsbeweis, den er für sein Logiksystem anstrebt, schließt eine unmittelbare Anwendung dieses Prinzips nicht nur auf die unvollständigen Funktionsausdrücke, sondern auch auf die leerstellenfreien Wertverlaufsnamen ein. Wahrheitsnamen (Sätze) zeichnen sich vor anderen symbolsprachlichen Eigennamen in mehrfacher Hinsicht, insbesondere durch ihre semantische Selbständigkeit aus. Wertverlaufsnamen haben nur im Zusammenhang eines Wahrheitswertnamens (...) eine Bedeutung. Ihre Bedeutung besteht in ihrem Beitrag zur Bestimmung der Bedeutung von Wahrheitswertnamen, in denen sie vorkommen. (shrink)

This work considers Valkyries in the medieval Scandinavian mythology and literature and places them in the context of the early history of European religion. Drawing on textual and archaeological sources, a detailed review of Celtic, Etruscan and Graeco-Roman female demons of the battlefield and of death is presented, and their remarkable similarity with the Valkyries analysed against the background of Mediterranean-transalpine cultural contacts.

(2013). Critical notice of Aaron James, Fairness in Practice: A Social Contract for a Global Economy. Canadian Journal of Philosophy: Vol. 43, No. 3, pp. 382-401.

Expert athletes are determined to make faster and better decisions, as revealed in several simple heuristic studies using verbal reports or micro-movement responses. However, heuristic decision-making experiments that require motor responses, also being considered as the embodied-choice experiments, are still underrepresented. Furthermore, it is less understood how decision time and confidence depend on the type of embodied choices players make. To scrutinize the decision-making processes, this study investigated the embodied choices of male athletes with different expertise in a close-to-real-life environment; (...) 22 elite, and 22 amateur team handball players performed a sport-specific embodied-choice test. Attack sequences were shown to the players, who had to choose between four provided options by giving a respective sport-specific motor response. We analyzed the frequencies of specific choices and the best choice, as well as the respective decision time and decision confidence. Elite and amateur players differed in the frequencies of specific choices, and elite players made the best choice more often. Slower decision times of elite players were revealed in specific choices and in best choices, the confidence of decisions was rated equally high by both player groups. Indications are provided that elite players make better choices rather slower, instead of faster. We suppose this is due to specific sensorimotor interactions and speed-accuracy-tradeoffs in favor of accuracy in elite players. Our findings extend expert decision-making research by using an embodied-choice paradigm, highlighting considerations of decision time and confidence in future experiments. (shrink)

Unter »globaler Armut« wird das Phänomen verstanden, dass Teile der Weltbevölkerung über so wenig Ressourcen verfügen, dass sie ihre Grundbedürfnisse nicht befriedigen können. In der Debatte um globale Armut wird gefragt, wer in globaler Perspektive arm ist; welche Ursachen und welche Folgen diese Armut hat; warum und wie sie bekämpft werden sollte. Die globale Perspektive gibt dabei in drei Hinsichten vor, wie der Armutsbegriff in diesem Kontext zu verstehen ist, und diese drei begrifflichen Festlegungen prägen die gesamte Debatte um das (...) Phänomen globaler Armut. (shrink)

Das Kernanliegen der philosophischen Arbeiten Ludwig Sieps ist die Formulierung einer praktischen Philosophie für die Gegenwart. In seinen jüngeren Arbeiten sind insbesondere der Begriff der Natur und der Begriff der Erfahrung in den Fokus gerückt. Eine plausible Ethik muss nach Siep einerseits eine evaluative Naturbetrachtung und insbesondere eine Reflexion der Natur des Menschen umfassen. Andererseits muss sie aber auch, weil sie sich nicht auf apriorische Prinzipien stützen kann, ein Konzept der historischen Erfahrung heranziehen, wenn sie Antworten auf die heute relevanten (...) Fragen geben möchte. Der Band behandelt anlässlich des 75. Geburtstages Ludwig Sieps zentrale Aspekte seiner jüngeren Arbeiten, teils kritisch und teils mit Vorschlägen für mögliche Weiterentwicklungen. Ziel dieser Auseinandersetzung mit dem philosophischen Denken Ludwig Sieps ist es, entlang der systematischen Linien »Natur« und »Erfahrung« Bausteine zu einer praktischen Philosophie der Gegenwart zu diskutieren. (shrink)

Statman and Orevkov independently proved that cut-elimination is of nonelementary complexity. Although their worst-case sequences are mathematically different the syntax of the corresponding cut formulas is of striking similarity. This leads to the main question of this paper: to what extent is it possible to restrict the syntax of formulas and — at the same time—keep their power as cut formulas in a proof? We give a detailed analysis of this problem for negation normal form , prenex normal form and (...) monotone formulas. We show that proof reduction to NNF is quadratic, while PNF behaves differently: although there exists a quadratic transformation into a proof in PNF too, additional cuts are needed; the elimination of these cuts requires nonelementary expense in general. By restricting the logical operators to {,,,}, we obtain the type of monotone formulas. We prove that the elimination of monotone cuts can be of nonelementary complexity . On the other hand, we define a large class of problems where cut-elimination of monotone cuts is only exponential and show that this bound is tight. This implies that the elimination of monotone cuts in equational theories is at most exponential. Particularly, there are no short proofs of Statman's sequence with monotone cuts. (shrink)

Definition of the problem: Is it the brain that makes a human being a person? This anthropological question has been raised because of the findings of modern human brain research, and there are severe ethical consequences anew: If the appropriate anthropological answer is yes, then all invasive research would be problematic, because one would touch the basis of human essence. The problem is that the two major philosophical paradigms that offer an answer to the anthropological question, dualism and monism, have (...) opposing concepts. Arguments: This paper argues that the error of these two paradigms is that they understand the human body and the human mind as ’res’– as things. The explanation of the human being as an interactive unit of body and mind is impossible in both paradigms. A third anthropological view that tries to make that understandable is the anthropology of the Hebrew Bible. It does assume the category ’thing’ while speaking about humans, it presumes the category ’aspect’. There is no Hebrew word for ’mind’ in contrast to ’body’ or vice versa. The biblical language only knows terms for the unity of human beings seen under a certain aspect. Conclusion: Here, the body and thus the brain are important and necessary condition for human essence, but this is not a sufficient explanation for the human personality. Invasive research on the human brain is here neither generally forbidden nor tolerated – one has to demonstrate in every single case whether the planned operation touches regions that are crucial for the personality of the human subject. (shrink)

Ortsnamen können im Kontext gegenwärtiger Debatten, insbesondere zum sog. spatial turn und zur Religionsästhetik, wesentliche Beiträge leisten, sind im religionswissenschaftlichen Fachdiskurs bislang jedoch kaum gewürdigt worden. Der Aufsatz gibt in Form eines Hypothesenkatalogs einen Überblick über zentrale Aspekte des Potentials, das diese Quellengattung hier haben kann: In diachroner Perspektive können Toponyme u. a. als Quellen für historische religiöse Raumordnungen dienen. In synchroner Perspektive spielen sie u. a. als Speicherungsmedium des kulturellen Gedächtnisses eine Rolle bei der Schaffung von Assoziationsräumen und der (...) Vergegenwärtigung und Naturalisierung von religiösen Ordnungen. Sie leisten einen Beitrag zur Schaffung eines Gefühls von Heimat, zu Orientierungsstiftung und zu Kontingenzbewältigung. Zugleich können sie zu Katalysatoren einer Neuerfindung von Traditionen werden, dokumentieren religiöse Pluralismen und stellen Kristallisationspunkte von Konflikten dar. (shrink)

John Duns Scotus deals with a question which is still of importance for modern ethical debate, namely what is the difference between a good deed which is intended but may be hindered by the circumstances and a good deed which is both intended and consummated? Scotus discusses this issue in connection with the question of whether moral goodness or badness can be assigned to the external act, which depends on physical capability. In his investigation, he determines that the imputability of (...) acts, i.e. the fact that the actor had free power of disposition over them, is a criterion for being able to morally qualify them as good or bad. His conclusion that one can clearly attribute the external act with its own moral good or evil is primarily based on his definition of the moral good as the totality of circumstances necessary according to right reason for a good act. William of Ockham expressly rejects Doctor Subtilis' conclusion and relativizes his criterion of moral goodness to the point of meaninglessness. Ockham attributes the moral good or evil of an act almost exclusively to the actor's intention. He explains the moral significance attributable to the actual consummation of an intentional action in terms of the acts of will occurring during and after consummation, which can be morally judged in their own right. He does admit, however, that a judgment made by mortals is based on criteria different from those relevant in the eyes of God. Today, the particularly interesting aspect of this debate seems to be that a moral conception similar to Kant's is confronted with a position that can still be called Aristotelian, albeit with some Augustinian influence. Yet the perceivable theoretical proximity between these two authors could indicate a possible connection between two of the most important ethical concepts in the history of occidental philosophy. Die auch für moderne Ethikkonzepte nicht unwichtige Frage, worin der moralische Unterschied zwischen einer nur gewollten, aber durch die Umstände verhinderten und einer ausgeführten guten Tat liegt, wird von Johannes Duns Scotus im Zusammenhang mit der Frage bearbeitet, ob dem äußeren, auf körperliche Vermögen angewiesenen Akt eine eigene moralische Güte oder Schlechtigkeit zukommt. Bei seiner Untersuchung ermittelt er als Kriterium für die moralische Qualifizierbarkeit in die eine oder andere Richtung die Zurechenbarkeit von Handlungen, d.h. den Umstand, daß sie in der freien Verfügungsgewalt des Handelnden stehen. Das Resultat seiner Überlegungen, daß nämlich der äußeren Handlung sehr wohl eine eigene moralische Güte oder Schlechtigkeit zugesprochen werden kann, basiert wesentlich auf seiner Definition der moralischen Güte als Gesamtheit der gemäß der rechten Vernunft für eine gute Handlung erforderlichen Umstände. Wilhelm von Ockham weist das Resultat des Doctor Subtilis ausdrücklich zurück und relativiert dessen Kriterium moralischer Güte bis zur weitgehenden Bedeutungslosigkeit. Er führt die moralische Güte oder Schlechtigkeit eines Aktes ausschließlich auf die Intentionen des Handelnden zurück und erklärt die eigene moralische Bedeutung, die der Ausführung einer willentlichen Handlung zukommt, durch die während und nach der Ausführung stattfindenden Willensakte, die ihrerseits moralischer Beurteilung unterliegen. Allerdings gesteht er zu, daß die Beurteilung durch die irdische Gerichtsbarkeit z.T. anderen Gesichtspunkten folgt als die vor den Augen Gottes. Heute scheint an dieser Debatte vor allem der Umstand interessant, daß eine der kantischen nicht unähnliche Moralkonzeption mit einer trotz aller augustinischen Einfüsse noch aristotelischen Position konfrontiert wird. Die dennoch feststellbare theoretische Nähe beider Autoren könnte Hinweise für eine mögliche Verknüpfung dieser beiden wohl wichtisten Ethikkonzepte der abendländischen Philosophiegeschichte geben. (shrink)

Architecture is about buildings, and consequently, reflecting philosophically on architecture comprises asking what buildings are. The question seems easy to answer using everyday concepts, refined, if necessary, by referring to concepts from civil engineering or building legislation. Philosophical interest is raised mainly when time enters into the problem. This paper argues that the identity of buildings through time cannot be reduced to the identity of their designations, their materials or their locations in space and time. Instead, it proposes to construe (...) buildings as Peircean sign processes. The identity of a building then becomes a function of the maintenance of sign relations by value-guided communities. (shrink)

Was verbindet Hammer, Pinsel und Geige? Werkzeuge und Instrumente vermitteln zwischen menschlichem Körper und Materie. So genießen diese Objekte eine genuine Gemeinsamkeit, und doch gründet gerade in der Differenz beider Begriffe die abendländische Unterscheidung zwischen handwerklichen und künstlerischen bzw. musikalischen oder wissenschaftlichen Tätigkeiten. Die Beiträge des achten Bandes der Hamburger Forschungen zur Kunstgeschichte nehmen Werkzeuge und Instrumente aus einer kunsthistorischen Perspektive und im interdisziplinären Dialog in den Blick. Das Augenmerk liegt gleichermaßen auf den Techniken ihrer Handhabung, ihrer Diskursivierung in Kritik (...) und Theorie sowie ihrer Darstellung im Bild. Mit Beiträgen von: Gotlind Birkle, Martine Clouzot, Philippe Cordez, Gottfried Korff, Matthias Krüger, François Lamy, Katja Müller-Helle, Ulrich Pfisterer, Albrecht Pohlmann, François Poplin, Julia Ann Saviello, Monika Wagner. (shrink)

We study cut-elimination in first-order classical logic. We construct a sequence of polynomial-length proofs having a non-elementary number of different cut-free normal forms. These normal forms are different in a strong sense: they not only represent different Herbrand-disjunctions but also differ in their propositional structure. This result illustrates that the constructive content of a proof in classical logic is not uniquely determined but rather depends on the chosen method for extracting it.