Results for 'Matthias Blaß'

966 found
Order:
  1. The Mismeasure of Consciousness: A problem of coordination for the Perceptual Awareness Scale.Matthias Michel - 2018 - Philosophy of Science (5):1239-1249.
    As for most measurement procedures in the course of their development, measures of consciousness face the problem of coordination, i.e., the problem of knowing whether a measurement procedure actually measures what it is intended to measure. I focus on the case of the Perceptual Awareness Scale to illustrate how ignoring this problem leads to ambiguous interpretations of subjective reports in consciousness science. In turn, I show that empirical results based on this measurement procedure might be systematically misinterpreted.
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark   14 citations  
  2. An Informal Internet Survey on the Current State of Consciousness Science.Matthias Michel, Stephen M. Fleming, Hakwan Lau, Alan L. F. Lee, Susana Martinez-Conde, Richard E. Passingham, Megan A. K. Peters, Dobromir Rahnev, Claire Sergent & Kayuet Liu - 2018 - Frontiers in Psychology 9.
    The scientific study of consciousness emerged as an organized field of research only a few decades ago. As empirical results have begun to enhance our understanding of consciousness, it is important to find out whether other factors, such as funding for consciousness research and status of consciousness scientists, provide a suitable environment for the field to grow and develop sustainably. We conducted an online survey on people’s views regarding various aspects of the scientific study of consciousness as a field of (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   8 citations  
  3. Integrating research and development: the emergence of rational drug design in the pharmaceutical industry.Matthias Adam - 2005 - Studies in History and Philosophy of Science Part C: Studies in History and Philosophy of Biological and Biomedical Sciences 36 (3):513-537.
    Rational drug design is a method for developing new pharmaceuticals that typically involves the elucidation of fundamental physiological mechanisms. It thus combines the quest for a scientific understanding of natural phenomena with the design of useful technology and hence integrates epistemic and practical aims of research and development. Case studies of the rational design of the cardiovascular drugs propranolol, captopril and losartan provide insights into characteristics and conditions of this integration. Rational drug design became possible in the 1950s when theoretical (...)
    Direct download (7 more)  
     
    Export citation  
     
    Bookmark   10 citations  
  4. 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   24 citations  
  5.  26
    Food ethics: a Wide Field in Need of Dialogue.Matthias Kaiser & Anne Algers - 2016 - Food Ethics 1 (1):1-7.
    No categories
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   5 citations  
  6.  32
    CSR - the Cuckoo’s Egg in the Business Ethics Nest.Matthias P. Hühn - 2018 - Humanistic Management Journal 3 (2):279-298.
    Corporate/collective moral responsibility is a thorny topic in business ethics and this paper argues that this is due a number of unacknowledged and connected epistemic issues. Firstly, CSR, Corporate Citizenship and many other research streams that are based on the assumption of collective and/or corporate moral responsibility are not compatible with Kantian ethics, consequentialism, or virtue ethics because corporate/collective responsibility violates the axioms and central hypotheses of these research programmes. Secondly, in the absence of a sound theoretical moral philosophical foundation, (...)
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   3 citations  
  7. Doxastic Voluntarism and Up-To-Me-Ness.Matthias Steup - 2018 - International Journal of Philosophical Studies 26 (4):611-618.
    No categories
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  8.  74
    The asymmetry between domestic and global legitimacy.Matthias Brinkmann - 2023 - Critical Review of International Social and Political Philosophy.
    There are two bodies of literature, one offering theories of the legitimacy of domestic institutions like states, another offering theories of the legitimacy of international institutions like the IMF. Accounts of domestic legitimacy stress the importance of democratic procedure, while few to no theorists make democracy a necessary condition for the legitimacy of international institutions. In this paper, I ask whether this asymmetry can be defended. Is there a unified higher-order theory which can explain why legitimacy requires democracy in the (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   3 citations  
  9.  14
    3. „Ziel und Gegenstand“.Matthias Wunsch - 2017 - In Hans-Peter Krüger (ed.), Helmuth Plessner: Die Stufen des Organischen Und der Mensch. Berlin: De Gruyter. pp. 37-54.
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark   2 citations  
  10. Braucht die Theoretische Physik den Religiösen Glauben? Neo-Scholastik und Positivismus in der Dritten RepublikLa Physique Théorique A-T-Elle Besoin des Croyances Religieuses? Néo-Scolastique et Postivisme Sous la IIIe RépubliqueIs theoretical physics in need of religious faith? Neo-scholasticism and positivism in the Third RepublicLa Física Teórica Necesita las Creencias Religiosas? Neoescolástica y Positivismo Bajo la III República.Matthias Neuber - 2013 - Revue de Synthèse 134 (2):221-247.
    Pierre Duhem gilt ais einer der wichtigsten Reprüsentanten der franzosischen Wissenschaftsphilosophie um 1900. Seine Konzeption physikalischer Theorien wird üblicherweise ais moderne Umsetzung des antiken – proto-positivistischen – Programms der „Rettung der Phänomene‟ angesehen. Diese Sicht ist richtig, bedarf aber der Ergänzung, indem der diskursive Kontext der Duhemschen Position berücksichtigt wird. Im vorliegenden Beitrag wird dargelegt, dass Duhems philosophischer Zeitgenosse Abel Rey eine zentrale Rolle in diesem Zusammenhang spielte.
    No categories
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark  
  11.  96
    Legitimate Power without Authority: The Transmission Model.Matthias Brinkmann - 2020 - Law and Philosophy 39 (2):119-146.
    Some authors have argued that legitimacy without authority is possible, though their work has not found much uptake in mainstream political philosophy. I provide an improved model how legitimate political institutions without authority are possible, the Transmission Model, which I couple with a thin substantive position, the Moral Value View. I defend the model against three common objections.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   7 citations  
  12. Trust in Food and Trust in Science.Matthias Kaiser & Anne Algers - 2017 - Food Ethics 1 (2):93-95.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  13.  27
    Pragmatism and Embodied Cognitive Science: From Bodily Intersubjectivity to Symbolic Articulation.Matthias Jung & Roman Madzia (eds.) - 2016 - Boston: De Gruyter.
    This book endeavors to fill the conceptual gap in theorizing about embodied cognition. The theories of mind and cognition which one could generally call "situated" or "embodied cognition" have gained much attention in the recent decades. However, it has been mostly phenomenology, which has served as a philosophical background for their research program. The main goal of this book is to bring the philosophy of classical American pragmatism firmly into play. Although pragmatism has been arguably the first intellectual current which (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   9 citations  
  14. Am I You?Matthias Haase - 2014 - Philosophical Explorations 17 (3):358-371.
    It has been suggested that a rational being stands in what is called a “second-personal relation” to herself. According to philosophers like S. Darwall and Ch. Korsgaard, being a rational agent is to interact with oneself, to make demands on oneself. The thesis of the paper is that this view rests on a logical confusion. Transitive verbs like “asking”, “making a demand” or “obligating” can occur with the reflexive pronoun, but it is a mistake to assume that the reflexive and (...)
    Direct download (11 more)  
     
    Export citation  
     
    Bookmark   17 citations  
  15. Scientific realism and underdetermination in quantum theory.Matthias Egg & Juha Saatsi - 2021 - Philosophy Compass 16 (11):e12773.
    This paper surveys the status of scientific realism in relation to quantum physics, focusing on the problem of underdetermination.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   4 citations  
  16.  41
    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   14 citations  
  17. Developing the ethical matrix as a decision support framework: GM fish as a case study.Matthias Kaiser, Kate Millar, Erik Thorstensen & Sandy Tomkins - 2007 - Journal of Agricultural and Environmental Ethics 20 (1):65-80.
    The Ethical Matrix was developed to help decision-makers explore the ethical issues raised by agri-food biotechnologies. Over the decade since its inception the Ethical Matrix has been used by a number of organizations and the philosophical basis of the framework has been discussed and analyzed extensively. The role of tools such as the Ethical Matrix in public policy decision-making has received increasing attention. In order to further develop the methodological aspects of the Ethical Matrix method, work was carried out to (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   22 citations  
  18. Coordination Cannot Establish Political Authority.Matthias Brinkmann - 2018 - Ratio Juris 31 (1):49-69.
    One of the most common arguments in favour of the state's authority is that without the coordinating hand of political institutions, we could not achieve important moral benefits. I argue that if we understand authority correctly, then coordination cannot even in principle establish that coordinators have political authority.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   5 citations  
  19.  72
    On the complexity of proof deskolemization.Matthias Baaz, Stefan Hetzl & Daniel Weller - 2012 - Journal of Symbolic Logic 77 (2):669-686.
    We consider the following problem: Given a proof of the Skolemization of a formula F, what is the length of the shortest proof of F? For the restriction of this question to cut-free proofs we prove corresponding exponential upper and lower bounds.
    Direct download (6 more)  
     
    Export citation  
     
    Bookmark   6 citations  
  20.  39
    Complexity of t-tautologies.Matthias Baaz, Petr Hájek, Franco Montagna & Helmut Veith - 2001 - Annals of Pure and Applied Logic 113 (1-3):3-11.
    A t-tautology is a propositional formula which is a tautology in all fuzzy logics defined by continuous triangular norms. In this paper we show that the problem of recognizing t-tautologies is coNP complete, and thus decidable.
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   9 citations  
  21.  70
    Practically Self-Conscious Life.Matthias Haase - 2018 - In John Hacker-Wright (ed.), Philippa Foot on Goodness and Virtue. Springer Verlag. pp. 85-126.
    Neo-Aristotelian ethical naturalism suggests that the sense of normative terms like “ought” and “good” as they appear in ethical discourse is to be elucidated in terms of the relation in which a living individual stands to the life-form or “species” of which it is an exemplar—in our case: the human life-form. A theory of this form has to provide a story about questions such as: What enables us to distinguish the different kinds of life within the theory? What makes them, (...)
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark   6 citations  
  22.  25
    Tackling Structural Injustices: On the Entanglement of Visibility and Justice in Emerging Technologies.Matthias Braun, Hannah Bleher, Eva Maria Hille & Jenny Krutzinna - 2023 - American Journal of Bioethics 23 (7):100-102.
    In today’s world, Artificial Intelligence plays a central role in many decision-making processes. However, its use can lead to structural and epistemic injustices—especially in the context of healt...
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  23.  4
    Begriffsrealismus als sprachwissenschaftliches Problem.Matthias Attig - 2018 - In Andreas Gardt & Ekkehard Felder (eds.), Wirklichkeit Oder Konstruktion?: Sprachtheoretische Und Interdisziplinäre Aspekte Einer Brisanten Alternative. Boston: De Gruyter. pp. 324-343.
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark  
  24.  17
    Feldenkrais ‘Functional Integration’ Increases Body Contact Surface in the Supine Position: A Randomized-Controlled Experimental Study.Matthias Brummer, Harald Walach & Stefan Schmidt - 2018 - Frontiers in Psychology 9.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  25.  31
    Armut in der Schweiz.Matthias Neugebauer & Jean-Daniel Strub - 2004 - Zeitschrift Für Evangelische Ethik 48 (1):291-300.
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  26.  21
    Zwischen Großmünster und Paradeplatz. Vom Protestantischen Arbeitsethos und der Katholischen Soziallehre zu den Herausforderungen einer globalisierten Wirtschaft.Matthias Neugebauer - 2007 - Zeitschrift Für Evangelische Ethik 51 (2):146-149.
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  27.  23
    Precaution, governance and the failure of medical implants: the ASR hip in the UK.Matthias Wienroth, Pauline McCormack & Thomas J. Joyce - 2014 - Life Sciences, Society and Policy 10 (1).
    Hip implants have provided life-changing treatment, reducing pain and improving the mobility and independence of patients. Success has encouraged manufacturers to innovate and amend designs, engendering patient hopes in these devices. However, failures of medical implants do occur. The failure rate of the Articular Surface Replacement metal-on-metal hip system, implanted almost 100,000 times world-wide, has re-opened debate about appropriate and timely implant governance. As commercial interests, patient hopes, and devices' governance converge in a socio-technical crisis, we analyse the responses of (...)
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  28.  32
    Cut normal forms and proof complexity.Matthias Baaz & Alexander Leitsch - 1999 - Annals of Pure and Applied Logic 97 (1-3):127-177.
    Statman and Orevkov independently proved that cut-elimination is of nonelementary complexity. Although their worst-case sequences are mathematically different the syntax of the corresponding cut formulas is of striking similarity. This leads to the main question of this paper: to what extent is it possible to restrict the syntax of formulas and — at the same time—keep their power as cut formulas in a proof? We give a detailed analysis of this problem for negation normal form , prenex normal form and (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   8 citations  
  29.  7
    Phänomenologie der Normativität: Entwurf einer materialen Anthropologie im Anschluss an Max Scheler und Helmuth Plessner.Matthias Schlossberger - 2019 - Basel: Schwabe Verlag.
    Phänomenologie der Normativität ist der Versuch zu zeigen, wie Normativität in der menschlichen Natur gründet. Im Anschluss an die phänomenologische Anthropologie Max Schelers und Helmuth Plessners stellt der Autor die Strukturen menschlichen Lebens heraus, die alle menschlichen Lebensformen fundieren. Menschen sind Lebewesen, die einen Leib haben, und dieses Phänomen ist ursprünglicher als die Unterscheidung von Körper und Geist. Hält man sich dies vor Augen, werden bestimmte Formen menschlicher Normativität verständlich: Die menschliche Lebensweise ist auf ein Gleichgewicht verschiedener Formen des Miteinanders (...)
    Direct download  
     
    Export citation  
     
    Bookmark   1 citation  
  30.  45
    The Skolemization of existential quantifiers in intuitionistic logic.Matthias Baaz & Rosalie Iemhoff - 2006 - Annals of Pure and Applied Logic 142 (1):269-295.
    In this paper an alternative Skolemization method is introduced that, for a large class of formulas, is sound and complete with respect to intuitionistic logic. This class extends the class of formulas for which standard Skolemization is sound and complete and includes all formulas in which all strong quantifiers are existential. The method makes use of an existence predicate first introduced by Dana Scott.
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark   7 citations  
  31.  24
    Kosmopolitanismus: zur Geschichte und Zukunft eines umstrittenen Ideals.Matthias Lutz-Bachmann, Andreas Niederberger & Philipp Schink (eds.) - 2010 - Weilerswist: Velbrück.
    Direct download  
     
    Export citation  
     
    Bookmark  
  32. Argument Identification: The Problem of Non-Argumentative Phenomena.Matthias Holweger - forthcoming - Teaching Philosophy.
    A major part of philosophical work is engagement with argumentative texts. Engaging with an argumentative text involves correctly identifying the arguments presented in this text. In the context of teaching philosophy in school, the difficulty of correctly identifying arguments in philosophical texts is often underestimated. In this paper, I focus on one specific problem with argument identification that has been neglected in philosophy didactics thus far: the problem that there are many non-argumentative phenomena in an argumentative text that are easily (...)
    Direct download  
     
    Export citation  
     
    Bookmark  
  33. Knowing what I have done.Matthias Haase - 2018 - Manuscrito 41 (4):195-253.
    The literature on agentive or practical knowledge tends to be focused on knowing what one is doing or what one is going to do. Knowing what one has done and has achieved thereby seems to be another matter. In fact, achievements are often taken to be beyond the ken of practical knowledge. I argue that this is a mistake. The intelligibility of the very idea of practical knowledge depends on the possibility of knowing one's achievements in the same manner. For (...)
    No categories
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   4 citations  
  34. Kontingenz / herausgegeben von Gerhart v. Graevenitz und Odo Marquard in Zusammenarbeit mit Matthias Christen.Gerhart von Graevenitz, Odo Marquard, Matthias Christen & Forschungsgruppe Poetik und Hermeneutik (eds.) - 1998 - München: W. Fink Verlag.
     
    Export citation  
     
    Bookmark  
  35.  56
    Ethics of digital twins: four challenges.Matthias Braun - 2022 - Journal of Medical Ethics 48 (9):579-580.
    In the article ‘Represent Me: Please! Towards an Ethics of Digital Twins in Medicine’, I analysed and tried to better understand the main ethical challenges associated with Digital Twins. For those who are just entering the debate with this article: DT is a metaphor for a bundle of artificial intelligence driven simulation technologies that constantly, in real time and ad personam simulate single or multiple parts of the body and make predictions about future health states based on these simulations. My (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  36.  35
    The constitutional structure of proportionality.Matthias Klatt - 2012 - Oxford, U.K.: Oxford University Press. Edited by Moritz Meister.
    Setting out the 'state of the art' in proportionality doctrine, this book combines theoretical reconstruction with case-law examples, defending and developing the dominant model of proportionality.
    Direct download  
     
    Export citation  
     
    Bookmark   5 citations  
  37. Varieties of constitutivism.Matthias Haase & Erasmus Mayr - 2019 - Philosophical Explorations 22 (2):95-97.
    Volume 22, Issue 2, June 2019, Page 95-97.
    No categories
    Direct download (11 more)  
     
    Export citation  
     
    Bookmark   3 citations  
  38.  61
    Frege's objects of a quite special kind.Matthias Schirn - 1990 - Erkenntnis 32 (1):27 - 60.
  39.  15
    Object affordances from the perspective of an avatar.Matthias G. Arend & Jochen Müsseler - 2021 - Consciousness and Cognition 92:103133.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  40.  67
    (1 other version)On Translating Frege's Die Grundlagen der Arithmetik.Matthias Schirn - 2010 - History and Philosophy of Logic 31 (1):47-72.
    In this essay, I critically discuss Dale Jacquette's new English translation of Frege's work Die Grundlagen der Arithmetik as well as his Introduction and Critical Commentary (Frege, G. 2007. The Foundations of Arithmetic. A Logical-Mathematical Investigation into the Concept of Number . Translated with an Introduction and Critical Commentary by Dale Jacquette. New York: Longman. xxxii + 112 pp.). I begin with a short assessment of Frege's book. In sections 2 and 3, I examine several claims that Jacquette makes in (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   7 citations  
  41.  13
    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  
  42. Hume’s Principle and Axiom V Reconsidered: Critical Reflections on Frege and His Interpreters.Matthias Schirn - 2006 - Synthese 148 (1):171-227.
    In this paper, I shall discuss several topics related to Frege's paradigms of second-order abstraction principles and his logicism. The discussion includes a critical examination of some controversial views put forward mainly by Robin Jeshion, Tyler Burge, Crispin Wright, Richard Heck and John MacFarlane. In the introductory section, I try to shed light on the connection between logical abstraction and logical objects. The second section contains a critical appraisal of Frege's notion of evidence and its interpretation by Jeshion, the introduction (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   7 citations  
  43.  95
    Illness, Disease and Sin: The Connection Between Genetics and Spirituality.Matthias Beck - 2007 - Christian Bioethics 13 (1):67-89.
    The New Testament, while rejecting any superficial connection between illness and sin, does not reject a possible connection between illness and a person's relationship with God. An example can be seen in the story of the young blind man who was healed. His blindness does not result from any fault he or his parents had committed but apparently from God's wish to reveal his own healing power. The inner blindness of the Pharisees is a different type of blindness far more (...)
    Direct download (9 more)  
     
    Export citation  
     
    Bookmark   4 citations  
  44.  57
    Frege: Importance and Legacy.Matthias Schirn (ed.) - 1996 - New York: De Gruyter.
    No detailed description available for "Importance and Legacy".
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   6 citations  
  45.  91
    Society as experiment: sociological foundations for a self-experimental society.Matthias Gross & Wolfgang Krohn - 2005 - History of the Human Sciences 18 (2):63-86.
    Experiments are generally thought of as actions or operations undertaken to test a scientific hypothesis in settings detached from the rest of society. In this paper a different notion of experiment will be discussed. It is an understanding that has been developed in the classical tradition of the Chicago School of Sociology since the 1890s, but has so far remained unexplored. This sociological understanding of experiment does not model itself strictly on the natural sciences. Rather, it implies a process of (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   9 citations  
  46.  25
    Quantitative and Qualitative Approaches to Generalization and Replication–A Representationalist View.Matthias Borgstede & Marcel Scholz - 2021 - Frontiers in Psychology 12.
    In this paper, we provide a re-interpretation of qualitative and quantitative modeling from a representationalist perspective. In this view, both approaches attempt to construct abstract representations of empirical relational structures. Whereas quantitative research uses variable-based models that abstract from individual cases, qualitative research favors case-based models that abstract from individual characteristics. Variable-based models are usually stated in the form of quantified sentences. This syntactic structure implies that sentences about individual cases are derived using deductive reasoning. In contrast, case-based models are (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  47.  34
    Frege on Quantities and Real Numbers in Consideration of the Theories of Cantor, Russell and Others.Matthias Schirn - 2014 - In Godehard Link (ed.), Formalism and Beyond: On the Nature of Mathematical Discourse. Boston: De Gruyter. pp. 25-95.
  48.  29
    Sematische Vollständigkeit, Wertverlaufsnamen und Freges Kontextprinzip.Matthias Schirn - 1985 - Grazer Philosophische Studien 23 (1):79-104.
    Freges Kontextprinzip "Nur im Zusammenhange eines Satzes bedeuten die Wörter etwas" hat auch nach der von ihm vollzogenen Angleichung von Behauptungssätzen an Eigennamen Gültigkeit für die formale Sprache der "Grundgesetze". Der Bedeutungsvollständigkcitsbeweis, den er für sein Logiksystem anstrebt, schließt eine unmittelbare Anwendung dieses Prinzips nicht nur auf die unvollständigen Funktionsausdrücke, sondern auch auf die leerstellenfreien Wertverlaufsnamen ein. Wahrheitsnamen (Sätze) zeichnen sich vor anderen symbolsprachlichen Eigennamen in mehrfacher Hinsicht, insbesondere durch ihre semantische Selbständigkeit aus. Wertverlaufsnamen haben nur im Zusammenhang eines Wahrheitswertnamens (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  49.  49
    On Skolemization in constructive theories.Matthias Baaz & Rosalie Iemhoff - 2008 - Journal of Symbolic Logic 73 (3):969-998.
    In this paper a method for the replacement, in formulas, of strong quantifiers by functions is introduced that can be considered as an alternative to Skolemization in the setting of constructive theories. A constructive extension of intuitionistic predicate logic that captures the notions of preorder and existence is introduced and the method, orderization, is shown to be sound and complete with respect to this logic. This implies an analogue of Herbrand's theorem for intuitionistic logic. The orderization method is applied to (...)
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark   3 citations  
  50.  50
    Medizinethik in den Medien: Befunde und Aufgaben in Theorie und Praxis.Matthias Kettner - 2006 - Ethik in der Medizin 18 (4):353-358.
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   6 citations  
1 — 50 / 966