Results for 'Matthías Jónasson'

970 found
Order:
  1. Recht und sittlichkeit in Pestalozzis kulturtheorie.Matthías Jónasson - 1936 - Berlin,: Druck: Triltsch & Huther.
  2.  26
    Deleuze and sport: towards a general athleticism of thought.Jonnie Eriksson & Kalle Jonasson - 2023 - Journal of the Philosophy of Sport 50 (2):159-174.
    The French philosopher Gilles Deleuze repeatedly referred to a wide range of sports and games throughout his career. This article assembles a comprehensive view of the philosophy of sport seen from Deleuze’s perspective. By studying the development of how he discussed different sports and games, and by pinpointing the concepts he constructed with reference to them, the article attests to the merits of a Deleuzian philosophy of sports. His term athleticism is utilised as a node to overview his allusions to (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  3. Learning from errors in digital patient communication: Professionals’ enactment of negative knowledge and digital ignorance in the workplace.Rikke Jensen, Charlotte Jonasson, Martin Gartmeier & Jaana Parviainen - 2023 - Journal of Workplace Learning 35 (5).
    Purpose. The purpose of this study is to investigate how professionals learn from varying experiences with errors in health-care digitalization and develop and use negative knowledge and digital ignorance in efforts to improve digitalized health care. Design/methodology/approach. A two-year qualitative field study was conducted in the context of a public health-care organization working with digital patient communication. The data consisted of participant observation, semistructured interviews and document data. Inductive coding and a theoretically informed generation of themes were applied. Findings. The (...)
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark  
  4.  18
    Case Studies: In Organ Transplants, Americans First?Jeffrey M. Prottas, Olga Jonasson & John I. Kleinig - 1986 - Hastings Center Report 16 (5):23.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  5.  20
    Relationships Between Aerobic Fitness Levels and Cognitive Performance in Swedish Office Workers.Alexandra Pantzar, Lars S. Jonasson, Örjan Ekblom, Carl-Johan Boraxbekk & Maria M. Ekblom - 2018 - Frontiers in Psychology 9.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  6.  25
    Negative Knowledge in Virtual and Game-Based Environments.Maria Solomou, Charlotte Jonasson & Martin Gartmeier - 2017 - In José María Ariso (ed.), Augmented Reality: Reflections on its Contribution to Knowledge Formation. Berlin: De Gruyter. pp. 217-234.
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark  
  7.  16
    Walking Time Is Associated With Hippocampal Volume in Overweight and Obese Office Workers.Frida Bergman, Tove Matsson-Frost, Lars Jonasson, Elin Chorell, Ann Sörlin, Patrik Wennberg, Fredrik Öhberg, Mats Ryberg, James A. Levine, Tommy Olsson & Carl-Johan Boraxbekk - 2020 - Frontiers in Human Neuroscience 14.
  8. How (not) to underestimate unconscious perception.Matthias Michel - 2022 - Mind and Language 38 (2):413-430.
    Studying consciousness requires contrasting conscious and unconscious perception. While many studies have reported unconscious perceptual effects, recent work has questioned whether such effects are genuinely unconscious, or whether they are due to weak conscious perception. Some philosophers and psychologists have reacted by denying that there is such a thing as unconscious perception, or by holding that unconscious perception has been previously overestimated. This article has two parts. In the first part, I argue that the most significant attack on unconscious perception (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   9 citations  
  9.  96
    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   31 citations  
  10. Doxastic freedom.Matthias Steup - 2008 - Synthese 161 (3):375-392.
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   110 citations  
  11.  65
    Matthias Wunsch: Fragen nach dem Menschen. Philosophische Anthropologie, Daseinsontologie und Kulturphilosophie.Matthias Wunsch & Steffen Kluck - 2015 - Philosophischer Literaturanzeiger 68 (1):033-038.
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  12. Believing intentionally.Matthias Steup - 2017 - Synthese 194 (8):2673-2694.
    According to William Alston, we lack voluntary control over our propositional attitudes because we cannot believe intentionally, and we cannot believe intentionally because our will is not causally connected to belief formation. Against Alston, I argue that we can believe intentionally because our will is causally connected to belief formation. My defense of this claim is based on examples in which agents have reasons for and against believing p, deliberate on what attitude to take towards p, and subsequently acquire an (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   35 citations  
  13. 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  
  14.  54
    Matthias Neuber: Die Grenzen des Revisionismus. Schlick, Cassirer und das ‚Raumproblem‘.Matthias Wille - 2014 - Philosophischer Literaturanzeiger 67 (2):124-129.
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  15. Expanding Our Grasp: Causal Knowledge and the Problem of Unconceived Alternatives.Matthias Egg - 2016 - British Journal for the Philosophy of Science 67 (1):115-141.
    I argue that scientific realism, insofar as it is only committed to those scientific posits of which we have causal knowledge, is immune to Kyle Stanford’s argument from unconceived alternatives. This causal strategy is shown not to repeat the shortcomings of previous realist responses to Stanford’s argument. Furthermore, I show that the notion of causal knowledge underlying it can be made sufficiently precise by means of conceptual tools recently introduced into the debate on scientific realism. Finally, I apply this strategy (...)
    Direct download (6 more)  
     
    Export citation  
     
    Bookmark   20 citations  
  16.  17
    The dual function of social gaze.Matthias S. Gobel, Heejung S. Kim & Daniel C. Richardson - 2015 - Cognition 136 (C):359-364.
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   24 citations  
  17. The deontic conception of epistemic justification.Matthias Steup - 1988 - Philosophical Studies 53 (1):65 - 84.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   42 citations  
  18.  48
    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  
  19.  43
    Vereno, Matthias, Menschheitsüberlieferung und Heilsgeschichte. [REVIEW]Matthias E. Korger - 1962 - Augustinianum 2 (2):453-454.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  20. 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  
  21. Computational vs. causal complexity.Matthias Scheutz - 2001 - Minds and Machines 11 (4):543-566.
    The main claim of this paper is that notions of implementation based on an isomorphic correspondence between physical and computational states are not tenable. Rather, ``implementation'' has to be based on the notion of ``bisimulation'' in order to be able to block unwanted implementation results and incorporate intuitions from computational practice. A formal definition of implementation is suggested, which satisfies theoretical and practical requirements and may also be used to make the functionalist notion of ``physical realization'' precise. The upshot of (...)
    Direct download (14 more)  
     
    Export citation  
     
    Bookmark   29 citations  
  22. 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   18 citations  
  23. Sprachhandlung, Existenz, Wahrheit Hauptthemen der Sprachanalytischen Philosophie. Hrsg. Von Matthias Schirn.Matthias Schirn - 1974
    No categories
     
    Export citation  
     
    Bookmark  
  24.  28
    Idealismus, „neuer“ Realismus und die Anfänge der analytischen Philosophie in den Vereinigten Staaten.Matthias Neuber - 2023 - Archiv für Geschichte der Philosophie 105 (4):648-684.
    Analytic philosophy in the United States emerged parallel to the demise of idealism. During the second half of the nineteenth century, Josiah Royce had contributed importantly to the predominance of idealist systems and corresponding academic groups. With the rise of pragmatism and new realism, the situation changed dramatically: the idealist movement lost momentum and realism began to dominate the discourse. The present paper argues that the critiques of idealism put forward by the realists during the first two decades of the (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  25.  24
    Matthias Hofmann: Schleiermachers Vorlesungen über das Leben Jesu – Die Einleitungen der Kollegien von 1819/20 und 1829/30. Zwei Teileditionen von Hörernachschriften. [REVIEW]Matthias Hofmann - 2020 - Journal for the History of Modern Theology/Zeitschrift für Neuere Theologiegeschichte 27 (2):262-310.
    Between 1819 and 1832 Friedrich Schleiermacher was giving lectures on the life of Jesus at the University of Berlin. The following article includes two partial editions, which document the introductory parts of the lectures from 1819/20 and 1829/30. Both are based on manuscripts written by Schleiermacher’s listeners. Especially to explore the development of Schleiermacher’s conceptual considerations this two partial editions should be a useful addition to the new critical edition of Schleiermacher’s Vorlesungen über das Leben Jesu published in 2018 by (...)
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark  
  26.  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  
  27. (1 other version)The Philosophy of Mathematics Today: Papers From a Conference Held in Munich From June 28 to July 4,1993.Matthias Schirn (ed.) - 1998 - Oxford, England: Clarendon Press.
    The Philosophy of Mathematics Today gives a panorama of the best current work in this lively field, through twenty essays specially written for this collection by leading figures. The topics include indeterminacy, logical consequence, mathematical methodology, abstraction, and both Hilbert's and Frege's foundational programmes. The collection will be an important source for research in the philosophy of mathematics for years to come. Contributors Paul Benacerraf, George Boolos, John P. Burgess, Charles S. Chihara, Michael Detlefsen, Michael Dummett, Hartry Field, Kit Fine, (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   6 citations  
  28. On Being Bound to Linguistic Norms. Reply to Reinikainen and Kaluziński.Matthias Kiesselbach - 2020 - International Journal of Philosophical Studies 28 (4):1-14.
    The question whether a constitutive linguistic norm can be prescriptive is central to the debate on the normativity of meaning. Recently, the author has attempted to defend an affirmative answer, pointing to how speakers sporadically invoke constitutive linguistic norms in the service of linguistic calibration. Such invocations are clearly prescriptive. However, they are only appropriate if the invoked norms are applicable to the addressed speaker. But that can only be the case if the speaker herself generally accepts them. This qualification (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   3 citations  
  29. Systematic construction of natural deduction systems for many-valued logics.Matthias Baaz, Christian G. Fermüller & Richard Zach - 1993 - In Unknown (ed.), Proceedings of The Twenty-Third International Symposium on Multiple-Valued Logic, 1993. IEEE Press. pp. 208-213.
    A construction principle for natural deduction systems for arbitrary, finitely-many-valued first order logics is exhibited. These systems are systematically obtained from sequent calculi, which in turn can be automatically extracted from the truth tables of the logics under consideration. Soundness and cut-free completeness of these sequent calculi translate into soundness, completeness, and normal-form theorems for natural deduction systems.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   14 citations  
  30. Primitive ontology and quantum state in the GRW matter density theory.Matthias Egg & Michael Esfeld - 2015 - Synthese 192 (10):3229-3245.
    The paper explains in what sense the GRW matter density theory is a primitive ontology theory of quantum mechanics and why, thus conceived, the standard objections against the GRW formalism do not apply to GRWm. We consider the different options for conceiving the quantum state in GRWm and argue that dispositionalism is the most attractive one.
    Direct download (7 more)  
     
    Export citation  
     
    Bookmark   23 citations  
  31. The Normativity of Meaning: From Constitutive Norms to Prescriptions.Matthias Kiesselbach - 2014 - Acta Analytica 29 (4):427-440.
    This paper defends the normativity of meaning thesis by clearing up a misunderstanding about what the thesis amounts to. The misunderstanding is that according to it, failing to use an expression in accordance with the norms which constitute its meaning amounts to changing the expression’s meaning. If this was what the thesis claimed, then it would indeed be easy to show that meaning norms do not yield prescriptions and cannot be followed. However, there is another reading: what is constitutive of (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   8 citations  
  32. When visual metacognition fails: widespread anosognosia for visual deficits.Matthias Michel, Yi Gao, Matan Mazor, Isaiah Kletenik & Dobromir Rahnev - 2024 - Trends in Cognitive Sciences.
    Anosognosia for visual deficits—cases where significant visual deficits go unnoticed—challenges the view that our own conscious experiences are what we know best. We review these widespread and striking failures of awareness. Anosognosia can occur with total blindness, visual abnormalities induced by brain lesions, and eye diseases. We show that anosognosia for visual deficits is surprisingly widespread. Building on previous accounts, we introduce a framework showing how apparently disparate forms of anosognosia fit together. The central idea is that, to notice a (...)
    Direct download  
     
    Export citation  
     
    Bookmark  
  33. Freedom to Roam.Matthias Brinkmann - 2022 - Journal of Ethics and Social Philosophy 21 (2):209-233.
    Some European countries legally recognise a “right to roam”—a right to freely traverse across land, even if privately owned. Political philosophers have paid little attention to the right, and have often conceptualised property rights to include strong claim-rights to exclude others. I offer an account of the right to roam, and consider whether it can be philosophically justified on a left-liberal account of property. After finding a defence in terms of the interests served by the right lacking, I suggest that (...)
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  34. Empiricism, metaphysics, and voluntarism.Matthias Steup - 2011 - Synthese 178 (1):19-26.
    This paper makes three points: First, empiricism as a stance is problematic unless criteria for evaluating the stance are provided. Second, Van Fraassen conceives of the empiricist stance as receiving its content, at least in part, from the rejection of metaphysics. But the rejection of metaphysics seems to presuppose for its justification the very empiricist doctrine Van Fraassen intends to replace with the empiricist stance. Third, while I agree with Van Fraassen’s endorsement of voluntarism, I raise doubts about the possibility (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   8 citations  
  35.  61
    Assessing fisheries – using an ethical matrix in a participatory process.Matthias Kaiser & Ellen-Marie Forsberg - 2001 - Journal of Agricultural and Environmental Ethics 14 (2):191-200.
    The Norwegian National Committee for Research Ethics inScience and Technology (NENT), collaborating with The NorwegianFisherman''s Association and The Research Council of Norway,started in 1999 a project aiming at an ethical assessment of Norwegian fisheries for the year 2020. The project was to preparethe ground for ethical debate in and of the fishery sector inview of pending important decisions on long term strategies. Thispaper has its focus on the method used for achieving these aims,rather than the substantive results concerning the fisheries. (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   19 citations  
  36.  30
    Data Envelopment Analysis and Social Enterprises: Analysing Performance, Strategic Orientation and Mission Drift.Matthias Staessens, Pieter Jan Kerstens, Johan Bruneel & Laurens Cherchye - 2019 - Journal of Business Ethics 159 (2):325-341.
    This study endorses the use of data envelopment analysis, which uses benefit-of-the-doubt weighting to evaluate the social, economic and overall performance of social enterprises. This methodology is especially useful for creating composite indicators based on multiple outputs expressed in different measurement units, and allows for enterprise-specific weighting of the different objectives. Applying this methodology on a unique longitudinal dataset of Flemish sheltered workshops suggests that social enterprises may face different types of mission drift. Further, our results show that top-performing social (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   4 citations  
  37. Dual Systems of Sequents and Tableaux for Many-Valued Logics.Matthias Baaz, Christian G. Fermüller & Richard Zach - 1993 - Bulletin of the EATCS 51:192-197.
    The aim of this paper is to emphasize the fact that for all finitely-many-valued logics there is a completely systematic relation between sequent calculi and tableau systems. More importantly, we show that for both of these systems there are al- ways two dual proof sytems (not just only two ways to interpret the calculi). This phenomenon may easily escape one’s attention since in the classical (two-valued) case the two systems coincide. (In two-valued logic the assignment of a truth value and (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   8 citations  
  38.  61
    Computationalism: New Directions.Matthias Scheutz (ed.) - 2002 - MIT Press.
  39. For Oneself and Toward Another: The Puzzle about Recognition.Matthias Haase - 1977 - Philosophical Topics 42 (1):113-152.
    The paper is devoted to a certain way of thinking of the action of another. The posture of mind is characteristically expressed by a specific use of what G. E. M. Anscombe calls stopping modals. On this use, the sentence, “You can’t do that; it is mine,” registers the necessity of justice. My question is: what is the relation between the status of a person, a bearer of rights, the recognition of others as persons, and the practice of addressing the (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   11 citations  
  40.  71
    Particles, Cutoffs and Inequivalent Representations: Fraser and Wallace on Quantum Field Theory.Matthias Egg, Vincent Lam & Andrea Oldofredi - 2017 - Foundations of Physics 47 (3):453-466.
    We critically review the recent debate between Doreen Fraser and David Wallace on the interpretation of quantum field theory, with the aim of identifying where the core of the disagreement lies. We show that, despite appearances, their conflict does not concern the existence of particles or the occurrence of unitarily inequivalent representations. Instead, the dispute ultimately turns on the very definition of what a quantum field theory is. We further illustrate the fundamental differences between the two approaches by comparing them (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   8 citations  
  41. Compact propositional Gödel logics.Matthias Baaz & Richard Zach - 1998 - In Baaz Matthias (ed.), 28th IEEE International Symposium on Multiple-Valued Logic, 1998. Proceedings. IEEE Press. pp. 108-113.
    Entailment in propositional Gödel logics can be defined in a natural way. While all infinite sets of truth values yield the same sets of tautologies, the entailment relations differ. It is shown that there is a rich structure of infinite-valued Gödel logics, only one of which is compact. It is also shown that the compact infinite-valued Gödel logic is the only one which interpolates, and the only one with an r.e. entailment relation.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   7 citations  
  42.  17
    Der Realismus Im Logischen Empirismus: Eine Studie Zur Geschichte der Wissenschaftsphilosophie.Matthias Neuber - 2017 - Springer Verlag.
    In der Studie geht Matthias Neuber der Frage nach, in welchem Verhältnis das Konzept des Realismus und der logische Empirismus des Wiener Kreises, eine der dominanten Strömungen der deutschsprachigen theoretischen Philosophie des frühen 20. Jahrhunderts, zueinander stehen. Diese Fragestellung ist in der philosophiehistorischen Forschung bislang nur am Rande behandelt worden. Das ist umso erstaunlicher, als die neuere wissenschaftsphilosophische Realismusdebatte gerade durch den logischen Empirismus maßgeblich mitbestimmt worden ist. Der Autor geht aber noch einen Schritt weiter: Er begründet in dem Band (...)
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   5 citations  
  43. Hypersequents and the proof theory of intuitionistic fuzzy logic.Matthias Baaz & Richard Zach - 2000 - In Clote Peter G. & Schwichtenberg Helmut (eds.), Computer Science Logic. 14th International Workshop, CSL 2000. Springer. pp. 187– 201.
    Takeuti and Titani have introduced and investigated a logic they called intuitionistic fuzzy logic. This logic is characterized as the first-order Gödel logic based on the truth value set [0,1]. The logic is known to be axiomatizable, but no deduction system amenable to proof-theoretic, and hence, computational treatment, has been known. Such a system is presented here, based on previous work on hypersequent calculi for propositional Gödel logics by Avron. It is shown that the system is sound and complete, and (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   6 citations  
  44. Deconstructive aporias: quasi-transcendental and normative.Matthias Fritsch - 2011 - Continental Philosophy Review 44 (4):439-468.
    This paper argues that Derrida’s aporetic conclusions regarding moral and political concepts, from hospitality to democracy, can only be understood and accepted if the notion of différance and similar infrastructures are taken into account. This is because it is the infrastructures that expose and commit moral and political practices to a double and conflictual (thus aporetic) future: the conditional future that projects horizonal limits and conditions upon the relation to others, and the unconditional future without horizons of anticipation. The argument (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   7 citations  
  45.  68
    Frege's Approach to the Foundations of Analysis (1874–1903).Matthias Schirn - 2013 - History and Philosophy of Logic 34 (3):266-292.
    The concept of quantity (Größe) plays a key role in Frege's theory of real numbers. Typically enough, he refers to this theory as ?theory of quantity? (?Größenlehre?) in the second volume of his opus magnum Grundgesetze der Arithmetik (Frege 1903). In this essay, I deal, in a critical way, with Frege's treatment of the concept of quantity and his approach to analysis from the beginning of his academic career until Frege 1903. I begin with a few introductory remarks. In Section (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   6 citations  
  46.  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  
  47.  23
    Index.Matthias Egg - 2014 - In Scientific Realism in Particle Physics: A Causal Approach. De Gruyter. pp. 187-190.
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark   5 citations  
  48.  81
    The Concept of Political Competence.Matthias Brinkmann - 2018 - Critical Review: A Journal of Politics and Society 30 (3):163-193.
    Two crucial distinctions regarding political competence must be made. First, the mere probability that you will make a morally right decision (reliability) is distinct from your ability to skillfully make a decision (competence). Empirical and normative accounts have focused primarily on reliability, but competence is more important if we take central normative commitments seriously. Second, the competence you have on your own (direct competence) is distinct from the competence you have in contributing to some collective enterprise (contributory competence). Direct competence (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   3 citations  
  49.  33
    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  
  50.  27
    Matthias Schirn. On translating Frege’s die Grundlagen der Arithmetik. History and Philosophy of Logic, vol. 31 , no. 1, pp. 47–72. [REVIEW]Matthias Wille - 2010 - Bulletin of Symbolic Logic 16 (3):428-429.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
1 — 50 / 970