Currently, there is no non-anthropocentric guide to the practice of nature conservation and the treatment of invasive species and domestic animals. In examining the so-called ‘ecocentric’ and ‘animal’ ethics, we highlight some differences between them, and argue that the basic aspiration for support of all nonhuman life needs to be retained. We maintain that hierarchies of value need to be flexible, establishing basic principles and then weighing up the options in the context of anthropocentrism, industrial development and human population growth. (...) Acknowledging the role of these conditions creates space for combining individual-based and collective-based ethics in practice. (shrink)

This volume is the first ever collection devoted to the field of proof-theoretic semantics. Contributions address topics including the systematics of introduction and elimination rules and proofs of normalization, the categorial characterization of deductions, the relation between Heyting's and Gentzen's approaches to meaning, knowability paradoxes, proof-theoretic foundations of set theory, Dummett's justification of logical laws, Kreisel's theory of constructions, paradoxical reasoning, and the defence of model theory. The field of proof-theoretic semantics has existed for almost 50 years, but the term (...) itself was proposed by Schroeder-Heister in the 1980s. Proof-theoretic semantics explains the meaning of linguistic expressions in general and of logical constants in particular in terms of the notion of proof. This volume emerges from presentations at the Second International Conference on Proof-Theoretic Semantics in Tübingen in 2013, where contributing authors were asked to provide a self-contained description and analysis of a significant research question in this area. The contributions are representative of the field and should be of interest to logicians, philosophers, and mathematicians alike. (shrink)

The framework of natural deduction is extended by permitting rules as assumptions which may be discharged in the course of a derivation. this leads to the concept of rules of higher levels and to a general schema for introduction and elimination rules for arbitrary n-ary sentential operators. with respect to this schema, (functional) completeness "or", "if..then" and absurdity is proved.

Theories in the usual sense, as characterized by a language and a set of theorems in that language ("statement view"), are related to theories in the structuralist sense, in turn characterized by a set of potential models and a subset thereof as models ("non-statement view", J. Sneed, W. Stegmüller). It is shown that reductions of theories in the structuralist sense (that is, functions on structures) give rise to so-called "representations" of theories in the statement sense and vice versa, where representations (...) are understood as functions that map sentences of one theory into another theory. It is argued that commensurability between theories should be based on functions on open formulas and open terms so that reducibility does not necessarily imply commensurability. This is in accordance with a central claim by Stegmüller on the compatibility of reducibility and incommensurability that has recently been challenged by D. Pearce. (shrink)

Ethical thought experiments such as the trolley dilemma have been investigated extensively in the past, showing that humans act in utilitarian ways, trying to cause as little overall damage as possible. These trolley dilemmas have gained renewed attention over the past few years, especially due to the necessity of implementing moral decisions in autonomous driving vehicles. We conducted a set of experiments in which participants experienced modified trolley dilemmas as drivers in virtual reality environments. Participants had to make decisions between (...) driving in one of two lanes where different obstacles came into view. Eventually, the participants had to decide which of the objects they would crash into. Obstacles included a variety of human-like avatars of different ages and group sizes. Furthermore, the influence of sidewalks as potential safe harbors and a condition implicating self-sacrifice were tested. Results showed that participants, in general, decided in a utilitarian manner, sparing the highest number of avatars possible with a limited influence by the other variables. Derived from these findings, which are in line with the utilitarian approach in moral decision making, it will be argued for an obligatory ethics setting implemented in ADVs. (shrink)

The standard approach to what I call “proof-theoretic semantics”, which is mainly due to Dummett and Prawitz, attempts to give a semantics of proofs by defining what counts as a valid proof. After a discussion of the general aims of proof-theoretic semantics, this paper investigates in detail various notions of proof-theoretic validity and offers certain improvements of the definitions given by Prawitz. Particular emphasis is placed on the relationship between semantic validity concepts and validity concepts used in normalization theory. It (...) is argued that these two sorts of concepts must be kept strictly apart. (shrink)

Prawitz observed that Russell’s paradox in naive set theory yields a derivation of absurdity whose reduction sequence loops. Building on this observation, and based on numerous examples, Tennant claimed that this looping feature, or more generally, the fact that derivations of absurdity do not normalize, is characteristic of the paradoxes. Striking results by Ekman show that looping reduction sequences are already obtained in minimal propositional logic, when certain reduction steps, which are prima facie plausible, are considered in addition to the (...) standard ones. This shows that the notion of reduction is in need of clarification. Referring to the notion of identity of proofs in general proof theory, we argue that reduction steps should not merely remove redundancies, but must respect the identity of proofs. Consequentially, we propose to modify Tennant’s paradoxicality test by basing it on this refined notion of reduction. (shrink)

The hypothetical notion of consequence is normally understood as the transmission of a categorical notion from premisses to conclusion. In model-theoretic semantics this categorical notion is 'truth', in standard proof-theoretic semantics it is 'canonical provability'. Three underlying dogmas, (I) the priority of the categorical over the hypothetical, (II) the transmission view of consequence, and (III) the identification of consequence and correctness of inference are criticized from an alternative view of proof-theoretic semantics. It is argued that consequence is a basic semantical (...) concept which is directly governed by elementary reasoning principles such as definitional closure and definitional reflection, and not reduced to a categorical concept. This understanding of consequence allows in particular to deal with non-wellfounded phenomena as they arise from circular definitions. (shrink)

From the point of view of proof-theoretic semantics, it is argued that the sequent calculus with introduction rules on the assertion and on the assumption side represents deductive reasoning more appropriately than natural deduction. In taking consequence to be conceptually prior to truth, it can cope with non-well-founded phenomena such as contradictory reasoning. The fact that, in its typed variant, the sequent calculus has an explicit and separable substitution schema in form of the cut rule, is seen as a crucial (...) advantage over natural deduction, where substitution is built into the general framework. (shrink)

We present our calculus of higher-level rules, extended with propositional quantification within rules. This makes it possible to present general schemas for introduction and elimination rules for arbitrary propositional operators and to define what it means that introductions and eliminations are in harmony with each other. This definition does not presuppose any logical system, but is formulated in terms of rules themselves. We therefore speak of a foundational account of proof-theoretic harmony. With every set of introduction rules a canonical elimination (...) rule, and with every set of elimination rules a canonical introduction rule is associated in such a way that the canonical rule is in harmony with the set of rules it is associated with. An example given by Hazen and Pelletier is used to demonstrate that there are significant connectives, which are characterized by their elimination rules, and whose introduction rule is the canonical introduction rule associated with these elimination rules. Due to the availabiliy of higher-level rules and propositional quantification, the means of expression of the framework developed are sufficient to ensure that the construction of canonical elimination or introduction rules is always possible and does not lead out of this framework. (shrink)

In the 1920s, Paul Hertz (1881-1940) developed certain calculi based on structural rules only and established normal form results for proofs. It is shown that he anticipated important techniques and results of general proof theory as well as of resolution theory, if the latter is regarded as a part of structural proof theory. Furthermore, it is shown that Gentzen, in his first paper of 1933, which heavily draws on Hertz, proves a normal form result which corresponds to the completeness of (...) prepositional SLD-resolution in logic programming. (shrink)

The institutional reform of the Belgian state seems to run parallel with a redefinition of the whole of Belgian society. 'Subnationalism' has overtaken the traditional ethno-linguistic definitions which used to provide a basis for political identification and mobilisation. The territorial demarcation of the regions and the politicisation of cultural life on both sides of the linguistic border constitute basic ingredientsfor 'nationbuilding'projects in Flanders and Wallonia. A number of elements are distinguished to explain why the 'nationalism' of the regions will have (...) repercussions on the political developments in the capital area. Language and territoriality have always played a special role in Brussels. Changes in connection with definitions of territoriality and identity now seem to create opportunities to redefine the relationship between the communities in Brussels. It is not inconceivable that, in the long run, the linguistic divide wilt fade out and wilt be replaced by an identification on the basis of a territorial criterion shared by all the Brussels' inhabitants. (shrink)

From French miniature paintings to the work of Pope Pius II, this collection of essays explores the philosophical history behind medieval European art. The essays reveal how a visual vocabulary was established among French miniature painters to express the concepts of personal identity and alterity in their work and how Pope Pius II helped spread these metaphysical ideologies across the eastern Christian world. An exhaustive and articulate guide to European art in the Middle Ages, this book is essential reading for (...) art students and enthusiasts alike. (shrink)

Background: Despite the growing potential of mobile-based technologies, innovative interventions targeting the reduction of acute stress in daily life remain under-researched. Music listening is an easy-to-administer activity that is associated with lower levels of biological and self-reported stress. However, the application of music as an intervention in moments of acute stress in daily life remains to be examined. We developed a just-in-time intervention delivering music in moments of stressful experiences in daily life and tested its feasibility using a mixed methods (...) approach.Methods: In this uncontrolled pilot study, the ecological momentary music intervention was tested by 10 chronically stressed women aged 23.5 ± 3.3 years. Over 18 consecutive days, whenever participants reported stressful experiences, they were encouraged to listen to a self-compiled playlist. Subjective stress levels and saliva samples were assessed at three time points per stress report. We analyzed app-based log data, in-the-moment responses, questionnaire data, and semi-structured interview data.Results: On average, participants’ compliance with the study protocol lay at 70%. Overall, 65 stressful experiences were reported, 51 of which were followed by music listening, for an average duration of 12:53 min. Complete data were provided for 46 stressful experiences. Participants reported immediate relaxation and distraction through music listening. The interviews revealed that the intervention was easy to use and that music listening in moments of perceived stress was viewed as a new and pleasant activity. Several aspects of the protocol were identified, which should be improved in future studies.Conclusion: Since repeated stressful experiences in daily life can pose a threat to physical and mental integrity, interventions that are easily applicable and deliver support when needed most are necessary. Following minor adaptations, the EMMI can be considered as a feasible approach to target psychobiological stress responses in daily life, which is worthy of investigation in future larger-scale trials. (shrink)

Conrad Gessner was town physician and lecturer at the Zwinglian reformed lectorium in Zurich. His approach towards the world and mankind was centred on his preoccupation with the human soul, an object of study that had challenged classical writers such as Aristotle and Galen, and which remained as important in post-Reformation debate. Writing commentaries on Aristotles De Anima was part of early-modern natural philosophy education at university and formed the preparatory step for studying medicine. This article uses the case study (...) of Gessners commentary on De Anima to explore how Gessners readers prioritised De Animas information. Gessners intention was to provide the students of philosophy and medicine with the most current and comprehensive thinking. His readers responses raise questions about evolving discussions in natural philosophy and medicine that concerned the foundations of preventive healthcare on the one hand, and of anatomically specified pathological medicine on the other, and Gessners part in helping these develop. (shrink)

In einer Zeit, in der die Menschheit in einem bisher ungekannten Ausmaß nutzend wie zerstörend in die sie umgebende und tragende Natur eingreift, erhält die Frage nach der Stellung des Menschen zu ihr und damit auch nach der menschlichen Natur neue Aktualität. Anlässlich des achtzigsten Geburtstags von Friedrich Tomberg haben sich Vertreter und Vertreterinnen verschiedener Fachdisziplinen im Rahmen eines Kolloquiums zusammengefunden, um sowohl über die gegenwärtigen Gefährdungen zu diskutieren als auch sich der kreativen Potenzen zu besinnen, die den Menschen von (...) Natur aus gegeben sind und die sie zu konstruktiven Antworten auf die epochalen Herausforderungen befähigen könnten. Die in diesem Band versammelten Beiträge bieten aus unterschiedlichen, ja gegensätzlichen Sichtweisen heraus Anregungen, die Problematik gegenwärtiger conditio humana deutlicher und differenzierter ins Bewusstsein zu heben. (shrink)

The aim of this paper is to investigate how children use their participation in research as a potential transformative social practice in everyday life. The concept of transformative social practice will be discussed in relation to the notion of transformation. Through empirical examples provided by Holly (12) and Oliver (11), the article argues that research processes open up possibilities for understanding ourselves (researchers and participants) in new ways. ‘Life Mapping’ - as dialogical method in research with children - will be (...) presented and reflected upon as a way for children to develop different understandings of themselves, their families, and everyday life. This emphasizes the connection between the use of child-relevant methodologies and how specific children can bring dialogues from the research process in to play in their everyday lives. Data is drawn from a qualitative study and is a part of a PhD project studying children’s everyday lives with two households as a result of parental divorce. The project involves ten children aged 8- 12 and their parents. (shrink)

G. FREGE, Collected papers on mathematics, logic, and philosophy. Edited by B. McGuinness. Translated by M. Black, V. H. Dudman, P. Geach, H. Kaal, E.-H. W. Kluge, B. McGuinness and R. H. Stoothoff. Oxford and New York: Blackwell, 1984. viii + 412pp. £28.50.

In their Basic Logic, Sambin, Battilotti and Faggian give a foundation of logical inference rules by reference to certain reflection principles. We investigate the relationship between these principles and the principle of Definitional Reflection proposed by Hallnäs and Schroeder-Heister.

The new area of logic and computation is now undergoing rapid development. This has affected the social pattern of research in the area. A new topic may rise very quickly with a significant body of research around it. The community, however, cannot wait the traditional two years for a book to appear. This has given greater importance to thematic collections of papers, centred around a topic and addressing it from several points of view, usually as a result of a workshop, (...) summer school, or just a scientific initiative. Such a collection may not be as coherent as a book by one or two authors yet it is more focused than a collection of key papers on a certain topic. It is best thought of as a thematic collection, a study in the area of logic and computation. The new series Studies in Logic and Computation is intended to provide a home for such thematic collections. Substructural logics are nonclassical logics, which arose in response to problems in foundations of mathematics and logic, theoretical computer science, mathematical linguistics, and category theory. They include intuitionistic logic, relevant logic, BCK logic, linear logic, and Lambek's calculus of syntactic categories. Substructural logics differ from classical logics, and from each other, in their presuppositions about Gentzen's structural rules, although their presuppositions about the deductive role of logical constants are invariant. Substructural logics have been a subject of study for logicians during the last sixty years. Specialists have often worked in isolation, however, largely unaware of the contributions of others. This book brings together new papers by some of the most eminent authorities in these varioustraditions to produce a unified view of substructural logics. (shrink)

In light of new biomedical technologies, such as artificial reproduction, stem cell research, genetic selection and design, the question of what we owe to future persons-and unborn life more generally-is as contested as ever. In A Theory of Unborn Life: From Abortion to Genetic Manipulation, author Anja J. Karnein provides a novel theory that shows how our commitments to persons can help us make sense of our obligations to unborn life. We should treat embryos that will develop into persons (...) in anticipation of these persons. But how viable is this theory? Moreover, what does it mean to treat embryos in anticipation of the future persons they will develop into? Exploring the attractiveness of this approach for Germany and the U.S. - two countries with very different legal approaches to valuing unborn life-Karnein comes to startling conclusions to some of today's greatest ethical and legal debates. (shrink)

Drawing on interviews with women and men who serve on the supervisory boards of German stock-listed companies, this qualitative study examines why some female directors seek to augment gender equality in their organizations while others do not. Those who take action do so both in formal board processes and in informal settings. A sense of belonging to women as a social group and a sense of responsibility for women in the organization are key factors in explaining why some female directors (...) contribute to gender equality. In addition, the study highlights the relevance of a board culture supportive of gender equality and positive expectations by other organizational members about female directors’ role in advancing gender equality. Board chairs influence how supportive female directors perceive the organizational context to be. Where the organizational context is not seen as supportive, those who take equality-related action anyway are experienced directors. Surprisingly, the presence of other women on the board does not appear to be related to whether or not female directors take action. Examining female directors’ actions and paying close attention to both their identities and their specific organizational settings shows how the interplay between social identity and situational opportunities and constraints affects board behavior. (shrink)

. The term inversion principle goes back to Lorenzen who coined it in the early 1950s. It was later used by Prawitz and others to describe the symmetric relationship between introduction and elimination inferences in natural deduction, sometimes also called harmony. In dealing with the invertibility of rules of an arbitrary atomic production system, Lorenzen’s inversion principle has a much wider range than Prawitz’s adaptation to natural deduction. It is closely related to definitional reflection, which is a principle for reasoning (...) on the basis of rule-based atomic definitions, proposed by Hallnäs and Schroeder-Heister. After presenting definitional reflection and the inversion principle, it is shown that the inversion principle can be formally derived from definitional reflection, when the latter is viewed as a principle to establish admissibility. Furthermore, the relationship between definitional reflection and the inversion principle is investigated on the background of a universalization principle, called the ω- principle, which allows one to pass from the set of all defined substitution instances of a sequent to the sequent itself. (shrink)

The agri-food system is facing a range of social-ecological threats, many of which are caused and amplified by industrial agriculture. In response, numerous sustainable agriculture narratives have emerged, proposing solutions to the challenges facing the agri-food system. One such narrative that has recently risen to prominence is regenerative agriculture. However, the drivers for the rapid emergence of regenerative agriculture are not well understood. Furthermore, its transformative potential for supporting a more sustainable agri-food system is underexplored. Through a genealogical analysis of (...) four prominent sustainable agriculture narratives; organic agriculture, conservation agriculture, sustainable intensification, and agroecology; we consider how regenerative agriculture’s growing momentum can be contextualised within existing narratives and explore the implications this might have for its transformative potential. This analysis reveals that the genealogies of these sustainable agriculture narratives have led to a number of contestations and complementarities which have coalesced to drive the emergence of regenerative agriculture. We also find that, in contrast to agroecology, regenerative agriculture shares with other Global North narratives a limited scope for offering transformative pathways for agricultural production. This is largely due to their inadequate consideration of power and equity issues in the agri-food system. We argue that regenerative agriculture therefore risks inhibiting deeper agri-food system transformations that address both social and ecological challenges and is not the unifying sustainable agriculture narrative it claims to be. Nonetheless, regenerative agriculture could contribute towards a broader plurality of sustainable agriculture narratives that collectively might enable a transformation to a more sustainable, diverse, and just agri-food system. (shrink)

This paper deals with Popper's little-known work on deductive logic, published between 1947 and 1949. According to his theory of deductive inference, the meaning of logical signs is determined by certain rules derived from ?inferential definitions? of those signs. Although strong arguments have been presented against Popper's claims (e.g. by Curry, Kleene, Lejewski and McKinsey), his theory can be reconstructed when it is viewed primarily as an attempt to demarcate logical from non-logical constants rather than as a semantic foundation for (...) logic. A criterion of logicality is obtained which is based on conjunction, implication and universal quantification as fundamental logical operations. (shrink)