Results for 'Matthias Dahl'

(not author) ( search as author name )
1000+ found
Order:
  1.  15
    Skiing and Thinking About It: Moment-to-Moment and Retrospective Analysis of Emotions in an Extreme Sport.Audun Hetland, Joar Vittersø, Simen Oscar Bø Wie, Eirik Kjelstrup, Matthias Mittner & Tove Irene Dahl - 2018 - Frontiers in Psychology 9.
  2.  12
    Forschung an Minderjährigen im internationalen Vergleich: Bilanz und Zukunftsperspektiven.Matthias Dahl & Claudia Wiesemann - 2001 - Ethik in der Medizin 13 (1-2):87-110.
    Zusammenfassung: Medizinische Studien an Kindern und Jugendlichen erfordern eine gesonderte ethische Betrachtung. Als ein besonders sensibler Bereich erweist sich hierbei die rein fremdnützige Forschung. Die Haltung des Gesetzgebers in dieser Frage ist nicht eindeutig. Dies wirft vielfältige Probleme auf und ist in letzter Zeit vielfach kritisiert worden, da sie der Realität klinischer Studien nicht gerecht wird. Für eine gesetzliche und ethische Neuregelung sollte dazu auf die differenzierte internationale Diskussion zurückgegriffen werden. Diskutiert werden die historische Entwicklung der Forschung an Kindern und (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  3.  22
    Vaccination in pediatrics and informed consent: balancing social paternalism and patients’ autonomy.Matthias Dahl - 2002 - Ethik in der Medizin 14 (3):201-214.
    Bei der Durchführung von Impfungen in der Pädiatrie sind die Interessen von Kind, Eltern und öffentlicher Gesundheitsvorsorge zu berücksichtigen. Eine ethische Diskussion allein auf Grundlage der informierten Einwilligung wird der vielschichtigen Dimension der Impfproblematik nicht gerecht. In bestimmten Fällen erscheint eine Impfung auch gegen den Willen der Eltern legitim, z. B. wenn das Kindeswohl gefährdet ist. Ein genereller Impfzwang ist jedoch ethisch nicht zu rechtfertigen. Untersuchungen haben gezeigt, dass impfkritische Eltern andere Entscheidungskriterien verwenden als bislang von Experten angenommen. Für die (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark  
  4.  21
    Vaccination in pediatrics and informed consent: balancing social paternalism and patients’ autonomy.Matthias Dahl - 2002 - Ethik in der Medizin 14 (3):201-214.
    Bei der Durchführung von Impfungen in der Pädiatrie sind die Interessen von Kind, Eltern und öffentlicher Gesundheitsvorsorge zu berücksichtigen. Eine ethische Diskussion allein auf Grundlage der informierten Einwilligung wird der vielschichtigen Dimension der Impfproblematik nicht gerecht. In bestimmten Fällen erscheint eine Impfung auch gegen den Willen der Eltern legitim, z. B. wenn das Kindeswohl gefährdet ist. Ein genereller Impfzwang ist jedoch ethisch nicht zu rechtfertigen. Untersuchungen haben gezeigt, dass impfkritische Eltern andere Entscheidungskriterien verwenden als bislang von Experten angenommen. Für die (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  5.  31
    Forschung an Minderjährigen im internationalen Vergleich: Bilanz und Zukunftsperspektiven. [REVIEW]Matthias Dahl & Claudia Wiesemann - 2001 - Ethik in der Medizin 13 (1-2):87-110.
    Definition of the problem: Medical research with children, especially non-therapeutic research, requires particular consideration. In the current situation this kind of research is not clearly regulated by law in Germany. This entails practical problems in evaluating clinical studies from an ethical point of view. Arguments and conclusion: To develop a new policy framework the international ethical discussion is reviewed. The article analyzes the historical development of research with minors from an ethical perspective, the notion of minimal risk, criteria for evaluating (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   4 citations  
  6. Forschung mit Kindern und Jugendlichen–Ist eine neue rechtliche Regelung notwendig.Claudia Wiesemann & Matthias Dahl - 2003 - In C. Wiesemann, A. Dörries, G. Wolfslast & A. Simon (eds.), Das Kind Als Patient. Campus.
    No categories
     
    Export citation  
     
    Bookmark   1 citation  
  7. Morality and the Meaning of Life: Some First Thoughts.Norman Dahl - 1997 - In Thomas L. Carson & Paul K. Moser (eds.), Morality and the good life. New York: Oxford University Press.
    No categories
     
    Export citation  
     
    Bookmark   5 citations  
  8.  35
    Emotional Action and Communication in Early Moral Development.Audun Dahl, Joseph J. Campos & David C. Witherington - 2011 - Emotion Review 3 (2):147-157.
    Emotional action and communication are integral to the development of morality, here conceptualized as our concerns for the well-being of other people and the ability to act on those concerns. Focusing on the second year of life, this article suggests a number of ways in which young children’s emotions and caregivers’ emotional communication contribute to early forms of helping, empathy, and learning about prohibitions. We argue for distinguishing between moral issues and other normative issues also in the study of early (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   4 citations  
  9. Ancient and medieval moral epistemology.Matthias Perkams - 2018 - In Aaron Zimmerman, Karen Jones & Mark Timmons (eds.), Routledge Handbook on Moral Epistemology. Routledge.
     
    Export citation  
     
    Bookmark  
  10. The case for physician assisted suicide: how can it possibly be proven?Edgar Dahl & Neil Levy - 2006 - Journal of Medical Ethics 32 (6):335-338.
    In her paper, The case for physician assisted suicide: not proven, Bonnie Steinbock argues that the experience with Oregon’s Death with Dignity Act fails to demonstrate that the benefits of legalising physician assisted suicide outweigh its risks. Given that her verdict is based on a small number of highly controversial cases that will most likely occur under any regime of legally implemented safeguards, she renders it virtually impossible to prove the case for physician assisted suicide. In this brief paper, we (...)
    Direct download (7 more)  
     
    Export citation  
     
    Bookmark   3 citations  
  11.  8
    Paletten und palettenbilder.Matthias Krüger - 2013 - In Iris Wenderholm, Jörg Trempler & Markus Rath (eds.), Das haptische bild: Körperhafte bilderfahrung in der neuzeit. De Gruyter. pp. 159-182.
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark  
  12.  14
    Klarheit statt Wahrheit. Evidenz und Gewißheit bei Ludwig Wittgenstein.Matthias Kröß - 1998 - In Gary Smith & Matthias Kröß (eds.), Die ungewisse Evidenz. De Gruyter. pp. 139-172.
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark  
  13.  10
    Humor Assessment and Interventions in Palliative Care: A Systematic Review.Lisa M. Linge-Dahl, Sonja Heintz, Willibald Ruch & Lukas Radbruch - 2018 - Frontiers in Psychology 9.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  14.  43
    The origin in traces: diversity and universality in Paul Ricoeur’s hermeneutic phenomenology of religion.Darren E. Dahl - 2019 - International Journal for Philosophy of Religion 86 (2):99-110.
    At the heart of Paul Ricoeur’s hermeneutic phenomenology of religion one discovers a commitment to the diversity of religious expression. This commitment is grounded in his understanding of the linguistic and temporal conditions of religious phenomena. By exploring his contribution to the debate concerning the so-called ‘theological turn’ in French phenomenology in relation to his studies of translation, this essay explores Ricoeur’s understanding of religious phenomenality where meaning is experienced as the simultaneous advance and withdrawal of an originary event in (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  15.  34
    Problems with using a human-dog interaction model for human-robot interaction?Torbjorn S. Dahl - 2014 - Interaction Studies 15 (2):190-194.
  16.  15
    Problems with using a human-dog interaction model for human-robot interaction?Torbjorn S. Dahl - 2014 - Interaction Studiesinteraction Studies Social Behaviour and Communication in Biological and Artificial Systems 15 (2):190-194.
  17.  21
    The Sociology of Theodor Adorno.Matthias Benzer - 2011 - Cambridge University Press.
    Theodor Adorno is a widely-studied figure, but most often with regard to his work on cultural theory, philosophy and aesthetics. The Sociology of Theodor Adorno provides the first thorough English-language account of Adorno's sociological thinking. Matthias Benzer reads Adorno's sociology through six major themes: the problem of conceptualising capitalist society; empirical research; theoretical analysis; social critique; the sociological text; and the question of the non-social. Benzer explains the methodological and theoretical ideas informing Adorno's reflections on sociology and illustrates Adorno's (...)
    Direct download  
     
    Export citation  
     
    Bookmark   14 citations  
  18.  87
    Kurt Gödel and the foundations of mathematics: horizons of truth.Matthias Baaz (ed.) - 2011 - New York: Cambridge University Press.
    This volume commemorates the life, work, and foundational views of Kurt Gödel (1906-1978), most famous for his hallmark works on the completeness of first-order logic, the incompleteness of number theory, and the consistency - with the other widely accepted axioms of set theory - of the axiom of choice and of the generalized continuum hypothesis. It explores current research, advances, and ideas for future directions not only in the foundations of mathematics and logic, but also in the fields of computer (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  19.  14
    A Preface to Economic Democracy.Robert Alan Dahl - 1985 - University of California Press.
    Tocqueville pessimistically predicted that liberty and equality would be incompatible ideas. Robert Dahl, author of the classic _A Preface to Democratic Theory,_ explores this alleged conflict, particularly in modern American society where differences in ownership and control of corporate enterprises create inequalities in resources among Americans that in turn generate inequality among them as citizens. Arguing that Americans have misconceived the relation between democracy, private property, and the economic order, the author contends that we can achieve a society of (...)
    No categories
  20. Counterpossibles in Science: The Case of Relative Computability.Matthias Jenny - 2018 - Noûs 52 (3):530-560.
    I develop a theory of counterfactuals about relative computability, i.e. counterfactuals such as 'If the validity problem were algorithmically decidable, then the halting problem would also be algorithmically decidable,' which is true, and 'If the validity problem were algorithmically decidable, then arithmetical truth would also be algorithmically decidable,' which is false. These counterfactuals are counterpossibles, i.e. they have metaphysically impossible antecedents. They thus pose a challenge to the orthodoxy about counterfactuals, which would treat them as uniformly true. What’s more, I (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   33 citations  
  21. Documentary meaning- understanding or critique?: Karl Mannheim's early sociology of knowledge.Göran Dahl - 1994 - Philosophy and Social Criticism 20 (1-2):103-121.
  22. Gayatri Chakravorty Spivak.Matthias Catön - 2004 - In Gisela Riescher (ed.), Politische Theorie der Gegenwart in Einzeldarstellungen. Von Adorno Bis Young. Alfred Kröner Verlag. pp. 343--457.
     
    Export citation  
     
    Bookmark  
  23. Dong xi fang zhi jian de fa lü zhe xue: Wu Jingxiong zao qi fa lü zhe xue si xiang zhi bi jiao yan jiu.Matthias Christian - 2004 - Beijing: Zhongguo zheng fa da xue chu ban she. Edited by Jingxiong Wu.
     
    Export citation  
     
    Bookmark  
  24.  9
    Rechtsphilosophie zwischen Ost und West: eine vergleichende Analyse der frühen rechtsphilosophischen Gedanken von John C. H. Wu.Matthias Christian - 1988 - New York: Springer.
    "Rechtsphilosophie zwischen Ost und West" ist das erste Buch, das systematisch das frA1/4he Werk des bedeutenden chinesischen Rechtsgelehrten, Richters, Diplomaten und Schriftstellers John C.H. Wu (1899-1986) behandelt. Die Arbeit setzt sich in chronologischer Reihenfolge kritisch mit den VerAffentlichungen Wus im Zeitraum von 1921 bis 1936 auseinander. Wu, spAter Verfechter einer dynamischen Naturrechtslehre, versucht, die mehr pragmatisch-funktionale Rechtsauffassung der fA1/4hrenden amerikanischen Rechtsgelehrten mit dem von Kant geprAgten Denken R. Stammlers zu einer inneren Begegnung zu bringen. Gleichzeitig ist die Thematik chinesischen Rechtsdenkens (...)
    Direct download  
     
    Export citation  
     
    Bookmark  
  25.  73
    Primer on an ethics of AI-based decision support systems in the clinic.Matthias Braun, Patrik Hummel, Susanne Beck & Peter Dabrock - 2021 - Journal of Medical Ethics 47 (12):3-3.
    Making good decisions in extremely complex and difficult processes and situations has always been both a key task as well as a challenge in the clinic and has led to a large amount of clinical, legal and ethical routines, protocols and reflections in order to guarantee fair, participatory and up-to-date pathways for clinical decision-making. Nevertheless, the complexity of processes and physical phenomena, time as well as economic constraints and not least further endeavours as well as achievements in medicine and healthcare (...)
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark   22 citations  
  26. Labeled calculi and finite-valued logics.Matthias Baaz, Christian G. Fermüller, Gernot Salzer & Richard Zach - 1998 - Studia Logica 61 (1):7-33.
    A general class of labeled sequent calculi is investigated, and necessary and sufficient conditions are given for when such a calculus is sound and complete for a finite -valued logic if the labels are interpreted as sets of truth values. Furthermore, it is shown that any finite -valued logic can be given an axiomatization by such a labeled calculus using arbitrary "systems of signs," i.e., of sets of truth values, as labels. The number of labels needed is logarithmic in the (...)
    Direct download (6 more)  
     
    Export citation  
     
    Bookmark   19 citations  
  27.  8
    Construction of patients’ position in Norway’s Patients’ Rights Act.Elin Margrethe Aasen & Berit Misund Dahl - 2019 - Nursing Ethics 26 (7-8):2278-2287.
    Background:Since the adoption of the Universal Declaration of Human Rights by the United Nations in 1948, human rights as set out in government documents have gradually changed, with more and more power being transferred to individual.Objectives:The aim of this article is to analyze how the position of the patient in need of care is constructed in Norway’s renamed and revised Patients’ and Service Users’ Rights Act (originally Patients’ Rights Act, 1999) and published comments which accompanying this legislation from the Norwegian (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  28.  47
    Vapnik–Chervonenkis Density in Some Theories without the Independence Property, II.Matthias Aschenbrenner, Alf Dolich, Deirdre Haskell, Dugald Macpherson & Sergei Starchenko - 2013 - Notre Dame Journal of Formal Logic 54 (3-4):311-363.
    We study the Vapnik–Chervonenkis density of definable families in certain stable first-order theories. In particular, we obtain uniform bounds on the VC density of definable families in finite $\mathrm {U}$-rank theories without the finite cover property, and we characterize those abelian groups for which there exist uniform bounds on the VC density of definable families.
    Direct download (7 more)  
     
    Export citation  
     
    Bookmark   11 citations  
  29.  47
    Represent me: please! Towards an ethics of digital twins in medicine.Matthias Braun - 2021 - Journal of Medical Ethics 47 (6):394-400.
    Simulations are used in very different contexts and for very different purposes. An emerging development is the possibility of using simulations to obtain a more or less representative reproduction of organs or even entire persons. Such simulations are framed and discussed using the term ‘digital twin’. This paper unpacks and scrutinises the current use of such digital twins in medicine and the ideas embedded in this practice. First, the paper maps the different types of digital twins. A special focus is (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   14 citations  
  30.  19
    Plotins Schrift "Über den Geist, die Ideen und das Seiende": Enneade V 9 (5): Text, Übersetzung, Kommentar.Matthias Vorwerk & Plotinus - 2001 - München: Saur. Edited by Plotinus.
    Die Beiträge zur Altertumskunde enthalten Monographien, Sammelbände, Editionen, Übersetzungen und Kommentare zu Themen aus den Bereichen Klassische, Mittel- und Neulateinische Philologie, Alte Geschichte, Archäologie, Antike Philosophie sowie Nachwirken der Antike bis in die Neuzeit. Dadurch leistet die Reihe einen umfassenden Beitrag zur Erschließung klassischer Literatur und zur Forschung im gesamten Gebiet der Altertumswissenschaften.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  31.  13
    Making the law explicit: the normativity of legal argumentation.Matthias Klatt - 2008 - New York: Hart.
    This book considers Robert Brandom's philosophy and presents an original and exciting analysis of the semantic argument in legal argumentation.
    Direct download  
     
    Export citation  
     
    Bookmark   6 citations  
  32. Basic ethical principles in European bioethics and biolaw: Autonomy, dignity, integrity and vulnerability – Towards a foundation of bioethics and biolaw.Jacob Dahl Rendtorff - 2002 - Medicine, Health Care and Philosophy 5 (3):235-244.
    This article summarizes some of the results of the BIOMED II project “Basic Ethical Principles in European Bioethics and Biolaw” connected to a research project of the Danish Research Councils “Bioethics and Law”. The BIOMED project was based on cooperation between 22 partners in most EU countries. The aim of the project was to identify the ethical principles of respect for autonomy, dignity, integrity and vulnerability as four important ideas or values for a European bioethics and biolaw. The research concluded (...)
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark   59 citations  
  33.  95
    Possible Worlds Semantics for Indicative and Counterfactual Conditionals?: A Formal Philosophical Inquiry Into Chellas-Segerberg Semantics.Matthias Unterhuber - 2013 - Ontos (Now de Gruyter).
    Conditional structures lie at the heart of the sciences, humanities, and everyday reasoning. It is hence not surprising that conditional logics – logics specifically designed to account for natural language conditionals – are an active and interdisciplinary area. The present book gives a formal and a philosophical account of indicative and counterfactual conditionals in terms of Chellas-Segerberg semantics. For that purpose a range of topics are discussed such as Bennett’s arguments against truth value based semantics for indicative conditionals.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   14 citations  
  34.  9
    A case study of cracks in the scientific enterprise: Response to the comments.Matthias Dehmer & Abbe Mowshowitz - 2016 - Complexity 21 (S1):20-22.
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark   4 citations  
  35.  19
    Variation in dual-task performance reveals late initiation of speech planning in turn-taking.Matthias J. Sjerps & Antje S. Meyer - 2015 - Cognition 136 (C):304-324.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   15 citations  
  36.  45
    Responsibility, ethics, and legitimacy of corporations.Jacob Dahl Rendtorff - 2009 - Portland, OR: International Specialized Book Services [distributor].
    Business ethics, corporate social responsibility, corporate citizenship, values-driven management, corporate governance, and ethical leadership are necessary ...
    Direct download  
     
    Export citation  
     
    Bookmark   5 citations  
  37. Mood Experience: Implications of a Dispositional Theory of Moods.Matthias Siemer - 2009 - Emotion Review 1 (3):256-263.
    The core feature that distinguishes moods from emotions is that moods, in contrast to emotions, are diffuse and global. This article outlines a dispositional theory of moods (DTM) that accounts for this and other features of mood experience. DTM holds that moods are temporary dispositions to have or to generate particular kinds of emotion-relevant appraisals. Furthermore, DTM assumes that the cognitions and appraisals one is disposed to have in a given mood partly constitute the experience of mood. This article outlines (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   21 citations  
  38.  30
    Interpolation in fuzzy logic.Matthias Baaz & Helmut Veith - 1999 - Archive for Mathematical Logic 38 (7):461-489.
    We investigate interpolation properties of many-valued propositional logics related to continuous t-norms. In case of failure of interpolation, we characterize the minimal interpolating extensions of the languages. For finite-valued logics, we count the number of interpolating extensions by Fibonacci sequences.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   13 citations  
  39.  8
    The dark triad and corporate sustainability: An empirical analysis of personality traits of sustainability managers.Matthias Pelster & Stefan Schaltegger - 2021 - Business Ethics, the Environment and Responsibility 31 (1):80-99.
    Business Ethics, the Environment & Responsibility, Volume 31, Issue 1, Page 80-99, January 2022.
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark   2 citations  
  40.  6
    Der Psychologismusstreit in der deutschen Philosophie.Matthias Rath - 1994
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark   12 citations  
  41.  43
    Past and Present Interactions in Legal Reasoning and Logic.Matthias Armgardt, Patrice Canivez & Sandrine Chassagnard-Pinet (eds.) - 2015 - Cham, Switzerland: Springer.
    This volume explores the relation between legal reasoning and logic from both a historical and a systematic perspective. The topics addressed include, among others, conditional legal acts, disjunctions in legal acts, presumptions and conjectures, conflicts of values, Jørgensen´s Dilemma, the Rhetor´s Dilemma, the theory of legal fictions and the categorization of contracts. The unifying problematic of these contributions concerns the conditional structures and, more particularly, the relationship between legal theory and legal reasoning in the context of conditions.
  42.  42
    A Leap of Faith: Is There a Formula for “Trustworthy” AI?Matthias Braun, Hannah Bleher & Patrik Hummel - 2021 - Hastings Center Report 51 (3):17-22.
    Trust is one of the big buzzwords in debates about the shaping of society, democracy, and emerging technologies. For example, one prominent idea put forward by the High‐Level Expert Group on Artificial Intelligence appointed by the European Commission is that artificial intelligence should be trustworthy. In this essay, we explore the notion of trust and argue that both proponents and critics of trustworthy AI have flawed pictures of the nature of trust. We develop an approach to understanding trust in AI (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   9 citations  
  43.  18
    Freedom, Enjoyment and Happiness.Norman O. Dahl - 1991 - Noûs 25 (5):724-726.
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  44. Elimination of Cuts in First-order Finite-valued Logics.Matthias Baaz, Christian G. Fermüller & Richard Zach - 1993 - Journal of Information Processing and Cybernetics EIK 29 (6):333-355.
    A uniform construction for sequent calculi for finite-valued first-order logics with distribution quantifiers is exhibited. Completeness, cut-elimination and midsequent theorems are established. As an application, an analog of Herbrand’s theorem for the four-valued knowledge-representation logic of Belnap and Ginsberg is presented. It is indicated how this theorem can be used for reasoning about knowledge bases with incomplete and inconsistent information.
    Direct download  
     
    Export citation  
     
    Bookmark   17 citations  
  45.  35
    Just data? Solidarity and justice in data-driven medicine.Matthias Braun & Patrik Hummel - 2020 - Life Sciences, Society and Policy 16 (1):1-18.
    This paper argues that data-driven medicine gives rise to a particular normative challenge. Against the backdrop of a distinction between the good and the right, harnessing personal health data towards the development and refinement of data-driven medicine is to be welcomed from the perspective of the good. Enacting solidarity drives progress in research and clinical practice. At the same time, such acts of sharing could—especially considering current developments in big data and artificial intelligence—compromise the right by leading to injustices and (...)
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   9 citations  
  46.  75
    In Defence of Non-Ideal Political Deference.Matthias Brinkmann - 2022 - Episteme 19 (2):264-285.
    Many philosophers have claimed that relying on the testimony of others in normative questions is in some way problematic. In this paper, I consider whether we should be troubled by deference in democratic politics. I argue that deference is less problematic in impure cases of political deference, and most non-ideal cases of political deference are impure. To establish the second point, I rely on empirical research from political psychology. I also outline two principled reasons why we should expect political deference (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   4 citations  
  47. Epsilon theorems in intermediate logics.Matthias Baaz & Richard Zach - 2022 - Journal of Symbolic Logic 87 (2):682-720.
    Any intermediate propositional logic can be extended to a calculus with epsilon- and tau-operators and critical formulas. For classical logic, this results in Hilbert’s $\varepsilon $ -calculus. The first and second $\varepsilon $ -theorems for classical logic establish conservativity of the $\varepsilon $ -calculus over its classical base logic. It is well known that the second $\varepsilon $ -theorem fails for the intuitionistic $\varepsilon $ -calculus, as prenexation is impossible. The paper investigates the effect of adding critical $\varepsilon $ - (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  48. Why worry about theory‐dependence? Circularity, minimal empiricality and reliability.Matthias Adam - 2004 - International Studies in the Philosophy of Science 18 (2 & 3):117 – 132.
    It is a widely shared view among philosophers of science that the theory-dependence (or theory-ladenness) of observations is worrying, because it can bias empirical tests in favour of the tested theories. These doubts are taken to be dispelled if an observation is influenced by a theory independent of the tested theory and thus circularity is avoided, while (partially) circular tests are taken to require special attention. Contrary to this consensus, it is argued that the epistemic value of theory-dependent tests has (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   8 citations  
  49.  49
    Practical Reason, Aristotle, and Weakness of the Will.Norman O. Dahl - 1984 - Univ of Minnesota Press.
    Rich with historical and cultural value, these works are published unaltered from the original University of Minnesota Press editions.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   17 citations  
  50.  81
    Gentzen Calculi for the Existence Predicate.Matthias Baaz & Rosalie Iemhoff - 2006 - Studia Logica 82 (1):7-23.
    We introduce Gentzen calculi for intuitionistic logic extended with an existence predicate. Such a logic was first introduced by Dana Scott, who provided a proof system for it in Hilbert style. We prove that the Gentzen calculus has cut elimination in so far that all cuts can be restricted to very simple ones. Applications of this logic to Skolemization, truth value logics and linear frames are also discussed.
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark   7 citations  
1 — 50 / 1000