Results for 'Anja Heister'

585 found
Order:
  1.  46
    Uniting Ecocentric and Animal Ethics: Combining Non-Anthropocentric Approaches in Conservation and the Care of Domestic Animals.Helen Kopnina, Joe Gray, William Lynn, Anja Heister & Raghav Srivastava - 2023 - Ethics, Policy and Environment 26 (2):265-286.
    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. (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  2.  48
    A Theory of Unborn Life: From Abortion to Genetic Manipulation.Anja J. Karnein - 2012 - Oup Usa.
    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 (...)
    Direct download  
     
    Export citation  
     
    Bookmark   6 citations  
  3. Uniform proof-theoretic semantics for logical constants.Peter Schroeder-Heister - 1991 - Journal of Symbolic Logic 56:1142.
  4. Atomic Systems in Proof-Theoretic Semantics: Two Approaches.Peter Schroeder-Heister & Thomas Piecha - 2016 - In Ángel Nepomuceno Fernández, Olga Pombo Martins & Juan Redmond (eds.), Epistemology, Knowledge and the Impact of Interaction. Cham, Switzerland: Springer Verlag.
     
    Export citation  
     
    Bookmark   5 citations  
  5.  88
    The categorical and the hypothetical: a critique of some fundamental assumptions of standard semantics.Peter Schroeder-Heister - 2012 - Synthese 187 (3):925-942.
    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 (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   19 citations  
  6. A natural extension of natural deduction.Peter Schroeder-Heister - 1984 - Journal of Symbolic Logic 49 (4):1284-1300.
    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.
    Direct download (9 more)  
     
    Export citation  
     
    Bookmark   102 citations  
  7. Logische Konstanten und Regeln.P. Schroeder-Heister - 1982 - Conceptus: Zeitschrift Fur Philosophie 16 (38):45-59.
    No categories
     
    Export citation  
     
    Bookmark   5 citations  
  8.  49
    Advances in Proof-Theoretic Semantics.Peter Schroeder-Heister & Thomas Piecha (eds.) - 2015 - Cham, Switzerland: Springer Verlag.
    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 (...)
  9.  38
    Perceptions of Privacy in the Care of Elderly People in Five European Countries.Anja Schopp, Helena Leino-Kilpi, Maritta Välimäki, Theo Dassen, Maria Gasull, Chryssoula Lemonidou, P. Anne Scott, Marianne Arndt & Anne Kaljonen - 2003 - Nursing Ethics 10 (1):39-47.
    The focus of this article is on elderly patients’ and nursing staff perceptions of privacy in the care of elderly patients/residents in five European countries. Privacy includes physical, social and informational elements. The results show that perceptions of privacy were strongest in the UK (Scotland) and weakest in Greece. Country comparisons revealed statistically significant differences between the perceptions of elderly patients and also between those of nurses working in the same ward or long-term care facility. Perceptions of privacy by patients (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   12 citations  
  10.  41
    Grading of Frequency Spectral Centroid Across Resting-State Networks.Anja Ries, Catie Chang, Sarah Glim, Chun Meng, Christian Sorg & Afra Wohlschläger - 2018 - Frontiers in Human Neuroscience 12.
  11. Generalized definitional reflection and the inversion principle.Peter Schroeder-Heister - 2007 - Logica Universalis 1 (2):355-376.
    . 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 (...)
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark   20 citations  
  12. Human Decisions in Moral Dilemmas are Largely Described by Utilitarianism: Virtual Car Driving Study Provides Guidelines for Autonomous Driving Vehicles.Anja K. Faulhaber, Anke Dittmer, Felix Blind, Maximilian A. Wächter, Silja Timm, Leon R. Sütfeld, Achim Stephan, Gordon Pipa & Peter König - 2019 - Science and Engineering Ethics 25 (2):399-418.
    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 (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   16 citations  
  13. Can a Philosophical Position Consist in a Stance? or, How to be an Empiricist and a Philosopher at the Same Time.Anja Jauernig - 2007 - In Bradley John Monton (ed.), Images of empiricism: essays on science and stances, with a reply from Bas C. van Fraassen. New York: Oxford University Press.
     
    Export citation  
     
    Bookmark   2 citations  
  14. (1 other version)Proof-Theoretic Semantics.Peter Schroeder-Heister - 2024 - Stanford Encyclopedia of Philosophy.
  15.  66
    The completeness of intuitionistic logic with respect to a validity concept based on an inversion principle.Peter Schroeder-Heister - 1983 - Journal of Philosophical Logic 12 (3):359 - 377.
  16.  39
    Substructural Logics.Peter Joseph Schroeder-Heister & Kosta Došen - 1993 - Oxford, England: Oxford University Press on Demand.
    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, (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   24 citations  
  17.  10
    Ovid, apollonios und sappho: Die liebessymptomatik der medea in ov. met. 7,74-88.Anja Bettenworth - 2003 - Philologus: Zeitschrift für Antike Literatur Und Ihre Rezeption 147 (1):101-113.
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  18.  9
    Mimetische Zeremonien: Musik als Spiel, Ritual, Kunst.Hanns-Werner Heister (ed.) - 2007 - Berlin: Weidler.
    Direct download  
     
    Export citation  
     
    Bookmark  
  19.  16
    Essay Review.P. Schroeder-Heister - 1986 - History and Philosophy of Logic 7 (2):187-193.
    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.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  20.  19
    Begründungsrationalität und Logik.Peter Schroeder-Heister - 2005 - In Gereon Wolters & Martin Carrier (eds.), Homo Sapiens und Homo Faber: epistemische und technische Rationalität in Antike und Gegenwart ; Festschrift für Jürgen Mittelstrass. Berlin/New York: de Gruyter. pp. 285--296.
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark  
  21.  9
    Extensions of Logic Programming: International Workshop, Tübingen, FRG, December 8-10, 1989. Proceedings.Peter Schroeder-Heister - 1991 - Springer.
    This volume contains finalized versions of papers presented at an international workshop on extensions of logic programming, held at the Seminar for Natural Language Systems at the University of Tübingen in December 1989. Several recent extensions of definite Horn clause programming, especially those with a proof-theoretic background, have much in common. One common thread is a new emphasis on hypothetical reasoning, which is typically inspired by Gentzen-style sequent or natural deduction systems. This is not only of theoretical significance, but also (...)
    Direct download  
     
    Export citation  
     
    Bookmark  
  22.  17
    Interview with Tu Wei-ming.Anja Steinbauer - 1999 - Philosophy Now 23:28-31.
    Direct download  
     
    Export citation  
     
    Bookmark   1 citation  
  23. Definitional Reflection and Basic Logic.Peter Schroeder-Heister - 2013 - Annals of Pure and Applied Logic 164 (4):491-501.
    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.
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark   10 citations  
  24.  96
    Resolution and the origins of structural reasoning: Early proof-theoretic ideas of Hertz and Gentzen.Peter Schroeder-Heister - 2002 - Bulletin of Symbolic Logic 8 (2):246-265.
    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 (...)
    Direct download (9 more)  
     
    Export citation  
     
    Bookmark   20 citations  
  25. Validity Concepts in Proof-theoretic Semantics.Peter Schroeder-Heister - 2006 - Synthese 148 (3):525-571.
    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 (...)
    Direct download (8 more)  
     
    Export citation  
     
    Bookmark   62 citations  
  26.  99
    Proof-Theoretic Semantics, Self-Contradiction, and the Format of Deductive Reasoning.Peter Schroeder-Heister - 2012 - Topoi 31 (1):77-85.
    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 (...)
    Direct download (6 more)  
     
    Export citation  
     
    Bookmark   16 citations  
  27.  33
    Well‐Hidden Regularities: Abstract Uses of in and on Retain an Aspect of Their Spatial Meaning.Anja Jamrozik & Dedre Gentner - 2015 - Cognitive Science 39 (8):1881-1911.
    Prepositions name spatial relationships. But they are also used to convey abstract, non-spatial relationships —raising the question of how the abstract uses relate to the concrete spatial uses. Despite considerable success in delineating these relationships, no general account exists for the two most frequently extended prepositions: in and on. We test the proposal that what is preserved in abstract uses of these prepositions is the relative degree of control between the located object and the reference object. Across four experiments, we (...)
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   4 citations  
  28.  53
    Intra-individual variability and continuity of action and perception measures in infants.Anja Gampe, Anne Keitel & Moritz M. Daum - 2015 - Frontiers in Psychology 6:131790.
    The development of action and perception, and their relation in infancy is a central research area in socio-cognitive sciences. In this Perspective Article, we focus on the developmental variability and continuity of action and perception. At group level, these skills have been shown to consistently improve with age. We would like to raise awareness for the issue that, at individual level, development might be subject to more variable changes. We present data from a longitudinal study on the perception and production (...)
    Direct download (7 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  29.  71
    The Calculus of Higher-Level Rules, Propositional Quantification, and the Foundational Approach to Proof-Theoretic Harmony.Peter Schroeder-Heister - 2014 - Studia Logica 102 (6):1185-1216.
    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 (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   14 citations  
  30. Substructural Logics.Peter Schroeder-Heister - 1996 - Erkenntnis 45 (1):115-118.
    No categories
     
    Export citation  
     
    Bookmark   19 citations  
  31.  52
    Ekman’s Paradox.Peter Schroeder-Heister & Luca Tranchini - 2017 - Notre Dame Journal of Formal Logic 58 (4):567-581.
    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 (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   15 citations  
  32.  62
    A model-theoretic reconstruction of Frege's permutation argument.Peter Schroeder-Heister - 1987 - Notre Dame Journal of Formal Logic 28 (1):69-79.
  33.  30
    The Effects of Theta and Gamma tACS on Working Memory and Electrophysiology.Anja Pahor & Norbert Jaušovec - 2018 - Frontiers in Human Neuroscience 11.
  34.  9
    Giganten in Bebrykien:: Die Rezeption der Amykosgeschichte bei Valerius Flaccus.Anja Bettenworth - 2003 - Hermes 131 (3):312-322.
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark  
  35.  25
    Militärische Robotik als Herausforderung für das Verhältnis von menschlicher Kontrolle und maschineller Autonomie.Anja Dahlmann - 2017 - Zeitschrift Für Evangelische Ethik 61 (3):171-183.
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  36.  23
    Wie is de natie? : Een analyse van de betekenis van taal en territorialiteit in België.Anja Detant - 1998 - Res Publica 40 (1):59-78.
    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 (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark  
  37.  43
    Web-based mood induction.Anja S. Göritz & Klaus Moser - 2006 - Cognition and Emotion 20 (6):887-896.
  38.  9
    "Der Mensch, das ist die Welt des Menschen...": eine Diskussion über menschliche Natur.Hanns-Werner Heister & Lars Lambrecht (eds.) - 2013 - Berlin: Frank & Timme, Verlag für wissenschaftliche Literatur.
    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 (...)
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark  
  39. Werk und Virtuosität : zu Genese und Geltung der Trennung von Komponieren/Interpretieren.Hanns-Werner Heister - 2003 - In Otto Kolleritsch (ed.), Musikalische Produktion und Interpretation. Zur historischen Unaufhebbarkeit einer ästhetischen Konstellation. Wien: Universal Edition.
     
    Export citation  
     
    Bookmark  
  40.  24
    "Gender" Performs Tacitly: The "Tacit Turn" in Pedagogy.Anja Kraus - 2021 - Journal of Aesthetic Education 55 (4):70-81.
    Pedagogy in general is not only ruled by planning, explicit normative framings, and governmental strategies, but its topics, such as the success or the failure of teaching or learning processes or learners’ precarious or promising personality development, are also decisively influenced by unspoken, silent, corporal, spatial, material, barred, or alienated dimensions of pedagogy. Gender as an analytical category encloses these dimensions, as well as being a social category. In this essay, three sets of arguments, referring to implicit or tacit knowing, (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  41.  47
    Marx, Gender Issues, and Modes of Interpretation: Competing Outlooks on the Possibility of a Transition from Historical Materialism to Feminism: Recent Work on Marxism and Feminism: Christine Di Stefano, Heather Brown, Hilary Rose, and Karl Marx.Anja Matwijkiw & Bronik Matwijkiw - 2018 - Philosophical Forum 49 (1):83-104.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  42.  19
    The False Mirror.Anja Steinbauer - 2017 - Philosophy Now 123:4-4.
    No categories
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  43.  11
    Anhang.Anja Tiedemann - 2013 - In Die "Entartete" Moderne Und Ihr Amerikanischer Markt: Karl Buchholz Und Curt Valentin Als Händler Verfemter Kunst. De Gruyter. pp. 255-402.
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark  
  44.  76
    Popper's theory of deductive inference and the concept of a logical constant.Peter Schroeder-Heister - 1984 - History and Philosophy of Logic 5 (1):79-110.
    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 (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   12 citations  
  45. Reduction, representation and commensurability of theories.Peter Schroeder-Heister & Frank Schaefer - 1989 - Philosophy of Science 56 (1):130-157.
    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 (...)
    Direct download (9 more)  
     
    Export citation  
     
    Bookmark   8 citations  
  46. Frege’s permutation argument revisited.Kai Frederick Wehmeier & Peter Schroeder-Heister - 2005 - Synthese 147 (1):43-61.
    In Section 10 of Grundgesetze, Volume I, Frege advances a mathematical argument (known as the permutation argument), by means of which he intends to show that an arbitrary value-range may be identified with the True, and any other one with the False, without contradicting any stipulations previously introduced (we shall call this claim the identifiability thesis, following Schroeder-Heister (1987)). As far as we are aware, there is no consensus in the literature as to (i) the proper interpretation of the (...)
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark   10 citations  
  47.  43
    AI in law practice? So far, not much.Anja Oskamp & Marc Lauritsen - 2002 - Artificial Intelligence and Law 10 (4):227-236.
  48. Thinking sadly: In favor of an adverbial theory of emotions.Anja Berninger - 2016 - Philosophical Psychology 29 (6):799-812.
    Introspective as well as empirical evidence indicates that emotions shape our thinking in numerous ways. Yet, this modificatory aspect of emotions has received relatively little interest in the philosophy of emotion. I give a detailed account of this aspect. Drawing both on the work of William James and adverbialist conceptions of perception, I sketch a theory of emotions that takes these aspects into consideration and suggest that we should understand emotions as manners of thinking.
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  49.  58
    (1 other version)Trade associations and corporate social responsibility: Evidence from the UK water and film industries.Anja Schaefer & Finola Kerrigan - 2008 - Business Ethics, the Environment and Responsibility 17 (2):171–195.
    In highly structured organisational fields individual efforts to deal rationally with uncertainty and constraints tend to lead, in the aggregate, to greater homogeneity in structure, culture and output. Drawing on institutional theory, this paper develops research propositions regarding the nature and scope of corporate social responsibility (CSR) engagement at trade/industry association level. The cases of the water and sewerage and film industries are used in order to test these propositions. The findings suggest that (a) trade associations in more homogeneous industries (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   4 citations  
  50.  24
    Spirit and Unity: Ørsted's Fascination by Winterl's Chemistry.Anja Skaar Jacobsen - 2001 - Centaurus 43 (3-4):184-218.
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   4 citations  
1 — 50 / 585