In lieu of an abstract, here is a brief excerpt of the content:Reviewed by:Constructive Criticism: The Human Sciences in the Age of TheoryWilliam BywaterConstructive Criticism: The Human Sciences in the Age of Theory, by Martin Kreiswirth and Thomas Carmichael; 223 pp. Toronto: University of Toronto Press, 1995, $45.00 cloth, $17.95 paper.This book contains twelve essays based on papers presented at “The Human Sciences in the Age of Theory” conference sponsored by the Center for the Study of Theory and (...) Criticism at the University of Western Ontario and held at the University in 1993. Versions of six of the essays are published elsewhere.In After Virtue Alasdair MacIntyre offers the choice of Nietzsche or Aristotle. Authors in these essays offer a far greater variety. For Christopher Norris it’s Nietzsche or (late) Foucault, for Tilottama Rajan its Nietzsche and Lacan or Hegel, for Martin Kreiswirth and Gary Wihl (in separate essays) its Nietzsche or narrative, and for L. M. Findlay its Nietzsche or Ricoeur and narrative. This range of options reveals the extent to which these authors are attempting to escape the cul-de-sac created by the skeptical and nihilistic dimensions of Nietzsche which appear in deconstruction and postmodernism. “Constructive criticism” is an apt title for these essays. As a group they struggle to offer a way of understanding the complexities involved in resisting dominating discourses, while not giving in to despair or skepticism or nihilism.Diane Elam observes that “the age of theory begins when theories fail, when no single theoretical discourse is possible any longer.” The variety of alternatives to Nietzsche listed above is one manifestation of the truth of Elam’s claim. A second is the fact that none of these authors proposes wholesale adoption of the thinker who is being contrasted with Nietzsche. Each is selecting certain specific dimensions of the thinker’s position to be used to maintain contact with the complexity which they sense in the world around them.A third and more profound recognition is that these authors are not proposing their choices in the same spirit as MacIntyre [End Page 268] proposed his. The meaning of “either/or” is shifting. MacIntyre’s opposition between Nietzsche and Aristotle opposes two systems the latter of which represents a way to keep safe from the danger of moral chaos contained in the former. MacIntyre’s either/or contains this sense of opposition which is also a sense of salvation, of protection from having to grapple with things that are confusing, messy, dangerous. In the age of theory when theoretical discourse becomes impossible we can no longer be protected. “Either/or” shifts polarity. It no longer means my position will trump yours: it now means “either closed theoretical discourse or complexity and multiplicity.” The authors in Constructive Criticism choose complexity and multiplicity because to choose closed theoretical discourse is to choose insensitivity to all sorts of injustice.Heterogeneity is the watchword of all the authors in this volume and many of them see narrative as the mode of access to multiplicity. Kreiswirth argues that the meaningfulness of narrative depends on overdetermination and “complex accumulations and conjunctions of desire.” Little narratives, not master ones, are best able to show complexity. Findlay urges the use of metaphor to keep us in a place between the center and the margin. Wihl uses Rorty, Kundera and Nussbaum to underline “the moral significance of detailed, richly descriptive vocabularies” in contrast to the ascetic language of philosophy which does not permit the irony required for “perspicuity in the areas of ethical conflict and competing social agendas.” However, Victor Li is not at all happy about Rorty (or Habermas) both of whom, in criticizing others, appeal to “modernity’s own totalizing view of itself” instead of possessing, as they should, a sense of “the complex cultural logic of the in-between, of cultural hybridity and exchange.”However, there are two authors who—happily, I must say—make it clear that they do not want to throw theory out with the bath water. They are willing, it seems, to take the risk of both preserving what they do (theory) and maintaining a sense of the complexity of competing social agendas, overdetermination and cultural “hybridity.” John Fekete advocates both “utopia (radical... (shrink)

In der 1970 gegründeten Reihe erscheinen Arbeiten, die philosophiehistorische Studien mit einem systematischen Ansatz oder systematische Studien mit philosophiehistorischen Rekonstruktionen verbinden. Neben deutschsprachigen werden auch englischsprachige Monographien veröffentlicht. Gründungsherausgeber sind: Erhard Scheibe, Günther Patzig und Wolfgang Wieland. Von 1990 bis 2007 wurde die Reihe von Jürgen Mittelstraß mitherausgegeben.

Moral luck is a puzzling aspect of our psychology: Why do we punish outcomes that were not intended (i.e. accidents)? Prevailing psychological accounts of moral luck characterize it as an accident or error, stemming either from a re‐evaluation of the agent's mental state or from negative affect aroused by the bad outcome itself. While these models have strong evidence in their favor, neither can account for the unique influence of accidental outcomes on punishment judgments, compared with other categories of moral (...) judgment. Why might punishment be particularly sensitive to moral luck? We suggest that such sensitivity is easily understood from the broader perspective of punishment's ultimate adaptive goal: Changing others’ behavior by exploiting their capacity to learn. This pedagogical perspective accounts for the exceptional influence of outcomes on punitive sentiments and makes predictions for additional moderators of punishment. We review evidence supporting the pedagogical hypothesis of punishment and discuss fruitful directions for future research. (shrink)

Based on a comparison of various sources, such as different editions, correspondence, reviews, and lecture transcripts, it is shown that Ludwig Heinrich Jakob’s Outline of the General Logic and Critical Elements of Metaphysics in General uses one or more transcripts of Kant’s Logic Lectures as a source. In addition to the thus far known texts by Kiesewetter and Hippel, Jakob’s textbook should therefore also be added to the list of secondary transmissions of Kant’s Logic Lectures.

In dieser Marburger Vorlesung aus dem Wintersemester 1924/25 stellt sich Heidegger die Aufgabe, Platons Spatdialog "Sophistes" im Ausgang von Aristoteles verstandlich zu machen. Zentrum des einleitenden Aristoteles-Teils ist die Folge der dianoethischen Tugenden im VI. Buch der "Nikomachischen Ethik", in der Heidegger die sich aufsteigernde Stufenfolge eines Entbergens erkennt und demgemass den Primat der "Physis" aus der Uberlegenheit ihres Entbergens begrundet. Damit legt Heidegger die Zusammengehorigkeit von Sein und Wahrheit als Horizont des aristotelisch-griechischen Philosophierens frei und gewinnt so den "Boden", (...) aus dem die platonische Seinsforschung, wie sie im "Sophistes" vorliegt, erwachsen ist. Dementsprechend stellt sich Heidegger im Hauptteil die Aufgabe, in fortlaufender Interpretation des "Sophistes" konkret zu zeigen, dass und wie Platons Ontologie aus dem Entbergen erwachsen ist. Die Vorlesung bezeugt, dass Heidegger die in seinem fruhen Hauptwerk "Sein und Zeit" gestellte Frage nach dem "Sinn von Sein", d.h. nach der Un-verborgenheit des Seins in der Auseinandersetzung mit der philosophischen Uberlieferung gewonnen hat. (shrink)

Although women are the centre of African society, not much scholarly attention has been given to these conduits of human development in the Methodist Church in Zimbabwe. The stories of individual women have never formed part of Methodist historiography, ecclesiology, or theology. Methodist scholars exercised this pigeonholing even though women contribute to the life and mission of the church in a formidable way. Moreover, the ministers’ wives who are the leaders of the women’s movement that has the majority of church (...) membership in the Methodist Church in Zimbabwe have also not received scholarly attention despite how they have dedicated their lives to supporting their husband’s ministry. As a result, lay members of the women’s movement would not be expected to be celebrated as most Methodist scholars are male ministers who have never celebrated the work of their wives. This article was motivated by the appointment of Mrs. Sipiwe Chisvo, an ordinary member of the Women’s Fellowship from the low-density suburb of Chitungwiza, Zimbabwe to be the first black President of the World Federation of the Methodist and Uniting Church Women in 2022. Chisvo actively participated in the Methodist Church in Zimbabwe’s interventions in response to the COVID-19 pandemic and presumably, this contributed towards her visibility and recognition in the international arena.Contribution: Although African women often remain in the peripheries of culture, Sipiwe Chisvo is an example of a religious African woman who gave hope to the hopeless people during COVID-19 and this role contributed immensely to her appointment as the president of the World Federation of the Methodist and Uniting Church Women. With this identity, Chisvo represents selfless services rendered by African women to communities during pandemics and these services do not go unnoticed. (shrink)

¿Cuáles son los componentes distintivos del cuerpo humano que permiten identificarlo como un elemento material diferente del resto del mundo físico? ¿Son tales elementos algo meramente funcional, o remiten a otra dimensión que va más allá de la instrumentalidad? Estas son las preguntas que se plantean en el libro “Biología y racionalidad. El carácter distintivo del cuerpo humano” de José Ángel Lombo y José Manuel Giménez Amaya. Partiendo desde la perspectiva filosófica, los autores buscan clarificar estas cuestiones ofreciendo un marco (...) conceptual interdisciplinar que remite en todo momento a la unidad de la persona humana. (shrink)

Is there any reason to discriminate among the rival claims self-proclaimed conservatives make for being truly conservative? This article argues that at least some of these claims can legitimately be dismissed by an independent third. Drawing on and critically interrogating the theories of conservatism provided by Huntington, Oakeshott, as well as Brennan and Hamlin, this article argues that many characterizations of conservatism mistake contingent circumstances explaining why people historically were or conceivably might be reluctant to promote social change for a (...) fully-formed conservative ideology. Not least, risk- and uncertainty-centred accounts, which have gained in popularity as of recently, constitute no viable basis for plausible claims to being truly conservative. Rather than specifying what it takes to be a true conservative, these accounts provide a formalized description of one kind of contingent circumstances that may lead a principled non-conservative to adopt conservative political attitudes. (shrink)

The discussion of collective agency involves the reduction problem of the concept of a collective. Individualism and Cartesian internalism have long restricted orthodox theories and made them face the tension between an irreducible concept of a collective and ontological reductionism. Heterodox theories as functionalism and interpretationism reinterpret the concept of agency and accept it as realized on the level of a collective. In order to adequately explain social phenomena that have relations as their essence, in this paper we propose a (...) relational, holistic account of collective agency and argue that functionalism and interpretationism can be integrated into such an account. (shrink)

Is there any reason to discriminate among the rival claims self-proclaimed conservatives make for being truly conservative? This article argues that at least some of these claims can legitimately be dismissed by an independent third. Drawing on and critically interrogating the theories of conservatism provided by Huntington, Oakeshott, as well as Brennan and Hamlin, this article argues that many characterizations of conservatism mistake contingent circumstances explaining why people historically were or conceivably might be reluctant to promote social change for a (...) fully-formed conservative ideology. Not least, risk- and uncertainty-centred accounts, which have gained in popularity as of recently, constitute no viable basis for plausible claims to being truly conservative. Rather than specifying what it takes to be a true conservative, these accounts provide a formalized description of one kind of contingent circumstances that may lead a principled non-conservative to adopt conservative political attitudes. (shrink)

To incorporate medical ethics into clinical practice, it must first be understood and valued by health care professionals. The recognition of this principle led to an expanding and continuing educational effort by the ethics committee of the Vancouver General Hospital. This paper reviews this venture, including some pitfalls and failures, as well as successes. Although we began with consultants, it quickly became apparent that education in medical ethics must reach all health care professionals—and medical students as well. Our greatest successes (...) came in the formative years of a medical career (ie, in medical school and residency training programmes), but other efforts were not wasted, particularly among nurses and other health care professionals.Although this is a personal review of the experience in one institution, the lessons learnt in Vancouver are applicable to the further development of medical ethics in the UK. (shrink)

Daniel Taylor and Dawn Goodwin present a case study of the Morecambe Bay Inquiry (MBI), which examined the high rate of maternal and neonatal deaths over a period of 9 years (2004–2013), within the small maternity unit of Furness General Hospital (FGH), one of the three hospitals comprising Morecambe Bay Hospitals Trust.1 They examine this through a conceptual lens, and provide a solution involving changes in medical education. This commentary explores both these elements. First, they use the lens of ‘Normalisation (...) of Deviance’ (NoD) to explain organisational failure. However, other available lenses such as ‘Sociology of Disasters’, ‘Organisational Silence’ and ‘Comfort-seeking Behaviour’ may point to different problems and solutions. More justification for their choice of the lens of NoD would have been useful. Similarly, more justification for their focus on a cluster of five ‘serious untoward incidents’ (SUIs) occurring in 2008 would also have been useful. They suggest that before 2008, the perinatal mortality rate was low, patient satisfaction was high and recent level 2 accreditation of maternity services by the Clinical Negligence Scheme for Trusts all suggested standards of care within the obstetric department were adequate. This stream of positive signals is likely to have contributed towards a genuine belief of safe operation within the maternity unit by staff and board members. However, as they acknowledge, the first problem can be seen in 2004. According to the MBI,2 there were SUIs in the years before and after 2008, but this …. (shrink)

As founder of modern political economics and prominent theorist of the commercial society, Adam Smith’s importance is universally recognized. Little, however, has been done so far to develop Adam Smith’s virtue ethics in the context of modern business, characterized by digitalization. This article aims to rediscover Adam Smith’s virtue of prudence and its relevance for the “e-commercial society”: It presents a framework that considers the central place of prudence in the relationship between a prosperous e-commercial system and societal flourishing. In (...) Smith’s view of the commercial society, prudence enables people to develop habits of character related to industriousness, genuineness, spirit of sacrifice, and self-command, which help in the conduct of a prosperous business activity. This article translates Smith’s virtue of prudence into a language typical of consumers in the current e-commerce scenario, considering their development as persons and the contribution of their activities to the good of society. (shrink)

This paper argues that the allure of conspiracy theories lies in their evolutionary origins, specifically in our capacity to communicate unrepresented threats. Drawing on threat-detection psychology and error management theory, it posits that these theories serve as adaptive responses to perceived threats and social coalition-building, rather than as flaws in reasoning.

Die Abhandlung "Vom Wesen der Wahrheit" enthalt den von Heidegger mehrfach uberpruften Text eines Vortrags, der 1930 u. A. In Marburg und Freiburg gehalten wurde. DIe 8. AUflage der Einzelausgabe ist wort- und seitengleich mit dem Abdruck des Textes in der 3., durchgesehenen Auflage der Einzelausgabe der "Wegmarken" sowie mit dem Abdruck in der 2., durchgesehenen Auflage der "Wegmarken" als Band 9 der Gesamtausgabe. SIe enthalt damit erstmals auch die Randbemerkungen Heideggers aus seinen Handexemplaren.

"Collects Martin Heidegger's pivotal writings on art, its role in human life and culture, and its relationship to thinking and truth"--Publisher description.

Discussion of sexuality in African cultures has a long history, but since the 1990s ethical reflections on homosexuality on the continent have often degenerated into furors and provoked a spate of anti-gay legislation in several countries. Refutations of homophobic dispositions encounter as barrier a pervasive belief in African cultures, that childbearing for community replenishment is a cherished moral duty. Several philosophers consider these to be exaggerated inhibitions that unjustifiably impede social acceptance of homosexuality, and have proposed as a solution what (...) they consider to be self-justifying political-moral principles, that terminate in value-pluralistic ideas such as the acceptance of the equality of sexual orientations and vindication of the right to the freedom to choose and satisfy sexual desire. I question the adequacy of such self-justificatory normative principles and consider the solutions they proffer as depreciating the moral point of the African pro-natalist position. Consequently, I develop a moral argument grounded in the ontology of Kwame Gyekye’s moderate communitarian theory of personhood as the most persuasive justification for homosexuality. (shrink)

Human and animal interests are often in conflict. In many situations, however, it is unclear how to evaluate and weigh competing human and animal interests, as the satisfaction of the interests of one group often inevitably occurs at the expense of those of the other group. Human-animal conflicts of this kind give rise to ethical questions. If animals count morally for their own sake, then we must ask in which cases the satisfaction or frustration of the interests of humans and (...) animals in conflict situations is justified or unjustified from an ethical perspective. In this article, we argue that limited aggregation accounts represent a promising means for resolving interspecies conflicts. The reason for this is that they can appropriately consider the qualitative relevance of interests, their relative importance to each other, and the number of individuals affected. For our argument, we start from the premise that animals count morally for their own sake, albeit to a lesser extent than humans. That is, we accept the view that animals may be used, for example, as a source of food or in animal research. However, as we will show, many basic interests of animals are sufficiently similar to human interests and can thus be compared to them. Hence, they ought to be aggregated in cases of conflict with human interests. We illustrate our account and its practical implications with the real-world example of a human-animal conflict during the outbreak of a zoonotic disease among farmed animals. We conclude that, in many cases, animal interests ought to be given more importance than they currently receive, which includes distributing the burdens and risks of farming practices more fairly. (shrink)

In this paper we present an overview, with historical and critical remarks, of two articles by S. Jaśkowski ([20, 21] 1948 and [22, 23] 1949), which contain the oldest known formulation of a paraconsistent logic. Jaśkowski has built the logic – he termed discussive (D2) – by defining two new connectives and by introducing a modal translation map from D2 systems into Lewis’ modal logic S5. Discussive systems, for their formal details and their original philosophical justification, have attracted discrete attention (...) among experts. Indeed, in what follows, after having introduced Jaśkowski methodology of building D2 and his main philosophical motivations for providing such a system, we will explore some of the main contributions to the development of D2. (shrink)

Frame -- Perspective -- Approach and Encounter -- To See and Look Away -- And What If the Animal Replied? -- Discussion Questions.

This work has been selected by scholars as being culturally important, and is part of the knowledge base of civilization as we know it. This work is in the "public domain in the United States of America, and possibly other nations. Within the United States, you may freely copy and distribute this work, as no entity (individual or corporate) has a copyright on the body of the work. Scholars believe, and we concur, that this work is important enough to be (...) preserved, reproduced, and made generally available to the public. We appreciate your support of the preservation process, and thank you for being an important part of keeping this knowledge alive and relevant. (shrink)

A rejection system, also referred to as a complementary calculus, is a proof system axiomatising the invalid formulas of a logic, in contrast to traditional calculi which axiomatise the valid ones. Rejection systems therefore introduce a purely syntactic way of determining non-validity without having to consider countermodels, which can be useful in procedures for automated deduction and proof search. Rejection calculi have first been formally introduced by Łukasiewicz in the context of Aristotelian syllogistic and subsequently rejection systems for many well-known (...) logics have been proposed. In this paper, we deal with rejection systems for so-called non-deterministic finite-valued logics, a special case of non-deterministic many-valued logics which were introduced by Avron and Lev as a generalisation of traditional many-valued logics. More specifically, we introduce a systematic method for constructing sequent-style rejection systems for any given non-deterministic finite-valued logic. Furthermore, as special instances of our method, we provide concrete calculi for specific paraconsistent logics which can be characterised in terms of non-deterministic two- and three-valued semantics, respectively. (shrink)

A ideia que avançamos aqui é que Voltaire é de pleno direito o inventor ou um dos inventores privilegiados do conceito de "tempos modernos" ou de uma nova atitude do filósofo face ao presente, compreendido como acontecimento no sentido de ruptura com "a craca e a ferrugem dos séculos" que ainda continuam a pesar sobre os espíritos. Segue-se este paradoxo: o acontecimento da modernidade é ao mesmo tempo um presente efetivo e um simples "crepúsculo" para o advento das Luzes.

En los capítulos que conforman este trabajo, me propuse analizar la relación entre los efectos de los atentados terroristas del 11 de sep- tiembre de 2001 y el funcionamiento de la democracia estadounidense. La estrategia seguida fue, en varias oportunidades, la de contrastar los acontecimientos y procesos ocurri- dos en los Estados Unidos con la experiencia de las dictaduras del Cono Sur sudamericano de los años setenta y comienzos de los ochenta; en particular con el caso argentino.

Disjunctivism about perceptual appearances, as I conceive of it, is a theory which seeks to preserve a na.

Wie kein anderer Philosoph vor oder nach ihm thematisierte Heidegger die metaphysischen Denkschemata, die der abendländisch-neuzeitlichen Technikentwicklung zugrunde liegen. Auf verständliche Weise rekonstruiert dieses Buch Heideggers radikal metaphysikkritischen Ansatz vor dem Hintergrund seiner frühen und mittleren Schriften. Dabei wird nicht nur deutlich, wie sehr sein spätes Denken der Technik in Kontinuität zu seinem frühen fundamentalontologischen Projekt (und dessen Scheitern) steht, sondern es werden auch die Alternativen zum rechnenden Denken und Handeln in Kunst und Dichtung aufgezeigt. (Quelle: www.buchhandel.de).

A moral requirement R1 is said to be lexically prior to a moral requirement R2 just in case we are morally obliged to uphold R1 at the expense of R2 – no matter how many times R2 must be violated thereby. While lexical priority is a feature of many ethical theories, and arguably a part of common sense morality, attempts to model it within the framework of decision theory have led to a series of problems – a fact which is (...) sometimes spun as a ‘decision theoretic critique’ of lexical priority. In this paper, I develop an enriched decision theoretic framework that is capable of modelling lexical priority while avoiding all extant problems. This will involve introducing several new ingredients into the standard decision theoretic framework, including multidimensional utilities, de minimis risks, and the means to represent two different conceptions of risk. (shrink)

This article develops an ecological framework for understanding collective action. This is contrasted with approaches familiar from the collective intentionality debate, which treat individuals as fundamental units of collective action. Instead, we turn to social ecological psychology and dynamical systems theory and argue that they provide a promising framework for understanding collectives as the central unit in collective action. However, we submit that these approaches do not yet appreciate enough the relevance of social identities for collective action. To analyze this (...) aspect, we build on key insights from social identity theory and synthesize it with embodied and ecological accounts of perception and action. This results in the proposal of two new types of affordances. For an individual who enacts her "embodied social identity" of being a member of a particular collective, there can be what we call embodied social identity affordances. Moreover, when several individuals dynamically interact with each other against the background of their embodied social identities, this might lead to the emergence of a collective, which we understand as a dynamically constituted and ecologically situated perception-action system consisting of several individuals enacting relevant embodied social identity affordances. Building on previous work in social ecological psychology, we suggest that there can be genuine collective affordances, that is, affordances whose subject is not an individual, but a collective. (shrink)

Recent empirical findings from social psychology, ecological psychology, and embodied cognitive science indicate that situational factors crucially shape the course of human behavior. For instance, it has been shown that finding a dime, being under the influence of an authority figure, or just being presented with food in easy reach often influences behavior tremendously. These findings raise important new questions for the philosophy of action: Are these findings a threat to classical conceptions of human agency? Are humans passively pushed around (...) by situational factors, or are there agential aspects in the way we spontaneously experience and react to situations? How can one conceptualize the pervasive influence of situational factors on human action? What are situations in the first place, and how should the influence of these situations on action be thought of? This paper sets out to develop a new conceptual repertoire for thinking about the influence of situations on action, drawing on research from ecological psychology as well as from embodied and enactive cognitive science. The key proposal is the development of a philosophical sensorimotor account of agency: Action, it is proposed, should be conceived of as constant dynamical interaction of agential and environmental factors – factors which should all be conceptualized in new ways. (shrink)

These six essays present one of the most significant stages in the development of Buber's philosophical thought and particularly his philosophical anthropology. This edition includes an appendix consisting of an interesting dialogue between Buber and psychologist Carl R. Rogers.

Die theatralische Verkörperung der imagines agentes im Shakespeareschen Oeuvre, die noch für die bildhaften Denkformen bei Thomas Hobbes prägend wirkte, bezieht in Titus Andronicus und in Julius Caesar besondere Suggestivität durch die intertextuelle Einverleibung antiker Nationalerzählungen. Den dramatischen Aufzug bildmagisch aufgeladener Staatskörper konterkarieren bei Shakespeare, genauso wie in der vergleichend herangezogenen Faerie Queene, ikonoklastisch ausgestaltete Gegenbewegungen, die letztlich auf das frühneuzeitliche Dilemma der an Bedeutung überdeterminierten Körperbildlichkeit hinweisen. Die Metaphorik der zwei Körper des Königs implodiert, wo sie — wie schließlich (...) in Hamlet — den Ansprüchen der Legitimation von Herrschaft nicht mehr genügt. (shrink)

Feminist philosophers have long worried that intersectionality undermines the viability of the concept and category of woman, thereby undermining feminist theory and politics. Some have responded to this problem by abandoning intersectionality; others have attempted to find some suitably inclusive way of reconceptualizing woman. I provide a novel solution that focuses on conceptualizing oppression in light of intersectionality, rather than trying to provide an account of what it is to be a woman. By enabling us to understand feminism as responding (...) to gender oppression, this account shows that intersectionality does not conceptually undermine and fragment feminism. Feminism should be intersectional. (shrink)

This paper challenges the negative attitudes towards labelled proof systems, usually referred to as semantic pollution, by arguing that such critiques overlook the full potential of labelled calculi. The overarching objective is to develop a practice-based philosophical analysis of labelled calculi to provide insightful considerations regarding their proof-theoretic and philosophical value. To achieve this, successful applications of labelled calculi and related results will be showcased, and comparisons with other relevant works will be discussed. The paper ends by advocating for a (...) more practice-based approach towards the philosophical understanding of proof systems and their role in structural proof theory. (shrink)