Results for 'Matthias Michel'

782 found
Order:
  1. The old and new criterion problems.Matthias Michel - 2023 - In Michal Polák, Tomáš Marvan & Juraj Hvorecký (eds.), Conscious and Unconscious Mentality: Examining Their Nature, Similarities and Differences. Routledge. pp. 130-154.
    Negative subjective reports such as “I didn’t see the stimulus” can be interpreted as indicating either that the subject didn’t see the stimulus, or as indicating that, while the subject did see the stimulus, the strength of sensory signals associated with the stimulus fell below a conservative criterion for answering “seen”. Determining which of these two interpretations is correct is the criterion problem. I present two ways in which researchers can solve this problem. But there’s more. What I call the (...)
    Download  
     
    Export citation  
     
    Bookmark  
  2. Validity Drifts in Psychiatric Research.Matthias Michel - forthcoming - British Journal for the Philosophy of Science.
    Psychiatric research is in crisis because of repeated failures to discover new drugs for mental disorders. Lack of measurement validity could partly account for these failures. If researchers do not actually measure the effects of drugs on the disorders they aim to investigate, one should expect suboptimal treatment outcomes. I argue that this is the case, focusing on depression, and fear & anxiety disorders. In doing so, I show how psychiatric research illustrates a more general phenomenon that I call “validity (...)
    Download  
     
    Export citation  
     
    Bookmark  
  3. Fish and microchips: on fish pain and multiple realization.Matthias Michel - 2019 - Philosophical Studies 176 (9):2411-2428.
    Opponents to consciousness in fish argue that fish do not feel pain because they do not have a neocortex, which is a necessary condition for feeling pain. A common counter-argument appeals to the multiple realizability of pain: while a neocortex might be necessary for feeling pain in humans, pain might be realized differently in fish. This paper argues, first, that it is impossible to find a criterion allowing us to demarcate between plausible and implausible cases of multiple realization of pain (...)
    Download  
     
    Export citation  
     
    Bookmark   21 citations  
  4. 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 (...)
    Download  
     
    Export citation  
     
    Bookmark   6 citations  
  5. Minority Reports: Consciousness and the Prefrontal Cortex.Matthias Michel & Jorge Morales - 2020 - Mind and Language 35 (4):493-513.
    Whether the prefrontal cortex is part of the neural substrates of consciousness is currently debated. Against prefrontal theories of consciousness, many have argued that neural activity in the prefrontal cortex does not correlate with consciousness but with subjective reports. We defend prefrontal theories of consciousness against this argument. We surmise that the requirement for reports is not a satisfying explanation of the difference in neural activity between conscious and unconscious trials, and that prefrontal theories of consciousness come out of this (...)
    Download  
     
    Export citation  
     
    Bookmark   13 citations  
  6. Confidence in Consciousness Research.Matthias Michel - forthcoming - WIREs Cognitive Science:e1628.
    To study (un)conscious perception and test hypotheses about consciousness, researchers need procedures for determining whether subjects consciously perceive stimuli or not. This article is an introduction to a family of procedures called ‘confidence-based procedures’, which consist in interpreting metacognitive indicators as indicators of consciousness. I assess the validity and accuracy of these procedures, and answer a series of common objections to their use in consciousness research. I conclude that confidence-based procedures are valid for assessing consciousness, and, in most cases, accurate (...)
    Download  
     
    Export citation  
     
    Bookmark   4 citations  
  7. 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.
    Download  
     
    Export citation  
     
    Bookmark   14 citations  
  8. Methodological Artefacts in Consciousness Science.Matthias Michel - 2017 - Journal of Consciousness Studies 24 (11-12):94-117.
    Consciousness is scientifically challenging to study because of its subjective aspect. This leads researchers to rely on report-based experimental paradigms in order to discover neural correlates of consciousness (NCCs). I argue that the reliance on reports has biased the search for NCCs, thus creating what I call 'methodological artefacts'. This paper has three main goals: first, describe the measurement problem in consciousness science and argue that this problem led to the emergence of methodological artefacts. Second, provide a critical assessment of (...)
    Download  
     
    Export citation  
     
    Bookmark   9 citations  
  9. Calibration in Consciousness Science.Matthias Michel - 2021 - Erkenntnis (2):1-22.
    To study consciousness, scientists need to determine when participants are conscious and when they are not. They do so with consciousness detection procedures. A recurring skeptical argument against those procedures is that they cannot be calibrated: there is no way to make sure that detection outcomes are accurate. In this article, I address two main skeptical arguments purporting to show that consciousness scientists cannot calibrate detection procedures. I conclude that there is nothing wrong with calibration in consciousness science.
    Download  
     
    Export citation  
     
    Bookmark   2 citations  
  10. Conscious Perception and the Prefrontal Cortex A Review.Matthias Michel - 2022 - Journal of Consciousness Studies 29 (7-8):115-157.
    Is perceptual processing in dedicated sensory areas sufficient for conscious perception? Localists say ‘Yes—given some background conditions.’ Prefrontalists say ‘No: conscious perceptual experience requires the involvement of prefrontal structures.’ I review the evidence for prefrontalism. I start by presenting correlational evidence. In doing so, I answer the ‘report argument’, according to which the apparent involvement of the prefrontal cortex in consciousness stems from the requirement for reports. I then review causal evidence for prefrontalism and answer the ‘lesion argument’, which purports (...)
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  11. A new empirical challenge for local theories of consciousness.Matthias Michel & Adrien Doerig - 2021 - Mind and Language 37 (5):840-855.
    Local theories of consciousness state that one is conscious of a feature if it is adequately represented and processed in sensory brain areas, given some background conditions. We challenge the core prediction of local theories based on long-lasting postdictive effects demonstrating that features can be represented for hundreds of milliseconds in perceptual areas without being consciously perceived. Unlike previous empirical data aimed against local theories, localists cannot explain these effects away by conjecturing that subjects are phenomenally conscious of features that (...)
    Download  
     
    Export citation  
     
    Bookmark   2 citations  
  12. A role for the anterior insular cortex in the global neuronal workspace model of consciousness.Matthias Michel - 2017 - Consciousness and Cognition 49:333-346.
    According to the global neuronal workspace model of consciousness, consciousness results from the global broadcast of information throughout the brain. The global neuronal workspace is mainly constituted by a fronto-parietal network. The anterior insular cortex is part of this global neuronal workspace, but the function of this region has not yet been defined within the global neuronal workspace model of consciousness. In this review, I hypothesize that the anterior insular cortex implements a cross-modal priority map, the function of which is (...)
    Download  
     
    Export citation  
     
    Bookmark   4 citations  
  13. The perceptual reality monitoring theory.Matthias Michel - forthcoming - In Michael Herzog, Aaron Schurger & Adrien Doerig (eds.), Scientific Theories of Consciousness: The Grand Tour. Cambridge University Press.
    This chapter presents the perceptual reality monitoring theory of consciousness (PRM). PRM is a higher-order theory of consciousness. It holds that consciousness involves monitoring the reliability of one’s own sensory signals. I explain how a perceptual reality monitoring mechanism computes the higher order representations that are crucial for consciousness. While PRM accounts for the difference between conscious and unconscious states, it does not explain, on its own, why experiences feel the way they do—the phenomenal character of experience. PRM is compatible (...)
    Download  
     
    Export citation  
     
    Bookmark  
  14. L'accointance entre omniscience et omnipotence.Matthias Michel - forthcoming - Klesis.
    Introspection is the capacity by which we know our own conscious mental states. Several theories aim to explain it. According to acquaintance theory, we know our experiences by being acquainted with them. Acquaintance is non-causal, non-inferential, and non-observational. I present a dilemma for the acquaintance theory of introspection. Either subjects are always acquainted with all their experiences; or some attentional mechanism selects the relevant experiences (or aspects of experiences) for introspection. The first option is implausible: it implies that subjects are (...)
    Download  
     
    Export citation  
     
    Bookmark  
  15. Confirmation bias without rhyme or reason.Matthias Michel & Megan A. K. Peters - 2020 - Synthese 199 (1-2):2757-2772.
    Having a confirmation bias sometimes leads us to hold inaccurate beliefs. So, the puzzle goes: why do we have it? According to the influential argumentative theory of reasoning, confirmation bias emerges because the primary function of reason is not to form accurate beliefs, but to convince others that we’re right. A crucial prediction of the theory, then, is that confirmation bias should be found only in the reasoning domain. In this article, we argue that there is evidence that confirmation bias (...)
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  16. Making Progress on the Prefrontal Debate.Matthias Michel & Rafael Malach - 2022 - Journal of Consciousness Studies 29 (7-8):158-164.
    Download  
     
    Export citation  
     
    Bookmark  
  17. Higher-order theories do just fine.Matthias Michel & Hakwan Lau - forthcoming - Cognitive Neuroscience.
    Doerig et al. have set several criteria that theories of consciousness need to fulfill. By these criteria, higher-order theories fare better than most existing theories. But they also argue that higher-order theories may not be able to answer both the ‘small network argument’ and the ‘other systems argument’. In response, we focus on the case of the Perceptual Reality Monitoring theory to explain why higher-order theories do just fine.
    Download  
     
    Export citation  
     
    Bookmark  
  18. The mnemonic basis of subjective experience.Hakwan Lau, Matthias Michel, Joseph LeDoux & Stephen Fleming - 2022 - Nature Reviews Psychology.
    Conscious experiences involve subjective qualities, such as colours, sounds, smells and emotions. In this Perspective, we argue that these subjective qualities can be understood in terms of their similarity to other experiences. This account highlights the role of memory in conscious experience, even for simple percepts. How an experience feels depends on implicit memory of the relationships between different perceptual representations within the brain. With more complex experiences such as emotions, explicit memories are also recruited. We draw inspiration from work (...)
    Download  
     
    Export citation  
     
    Bookmark   3 citations  
  19. Human and Animal Minds: The Consciousness Questions Laid to Rest, by Peter Carruthers. [REVIEW]Matthias Michel - 2021 - Philosophical Review 130 (4):619–623.
    Download  
     
    Export citation  
     
    Bookmark  
  20. Les données en première personne et l’expérimentation en psychologie (First-Person Data and Psychological Experiments).Pascal Ludwig & Matthias Michel - 2019 - Philosophia Scientiae 23:111-130.
    En sciences sociales, les scientifiques utilisent les rapports des sujets sur leurs propres états mentaux dans leurs démarches expérimentales. Ainsi, l’introspection, ou la capacité des sujets à former des croyances sur leurs propres états mentaux, y joue un rôle important. Selon les tenants de l’introspectionnisme, l’introspection est une méthode, certes privée, mais qui permet de justifier directement des hypothèses scientifiques. Ainsi, contrairement aux méthodes utilisées dans les sciences de la nature qui se fondent uniquement sur des données publiques, les sciences (...)
    Download  
     
    Export citation  
     
    Bookmark  
  21. How Should We Study Animal Consciousness Scientifically?Jonathan Birch, Donald M. Broom, Heather Browning, Andrew Crump, Simona Ginsburg, Marta Halina, David Harrison, Eva Jablonka, Andrew Y. Lee, François Kammerer, Colin Klein, Victor Lamme, Matthias Michel, Françoise Wemelsfelder & Oryan Zacks - 2022 - Journal of Consciousness Studies 29 (3-4):8-28.
    This editorial introduces the Journal of Consciousness Studies special issue on "Animal Consciousness". The 15 contributors and co-editors answer the question "How should we study animal consciousness scientifically?" in 500 words or fewer.
    Download  
     
    Export citation  
     
    Bookmark   2 citations  
  22. 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 (...)
    Download  
     
    Export citation  
     
    Bookmark   33 citations  
  23. Philosophie der modernen Physik - Philipp Frank und Abel Rey.Matthias Neuber - 2010 - Grazer Philosophische Studien 80 (1):131-149.
    The aim of this paper is to show that the French philosopher and historian of science Abel Rey played a more influential role in the formative phase of the Vienna Circle than hitherto supposed. On the whole, it will be argued that Rey's contribution had political impact. His interpretation of "modern physics" in 1907 in the face of the alleged "bankruptcy of science" should be appreciated as a masterpiece of applied enlightenment thought. As such, it was especially paradigmatic for Philipp (...)
    Download  
     
    Export citation  
     
    Bookmark   5 citations  
  24. Critical Realism in Perspective - Remarks on a Neglected Current in Neo-Kantian Epistemology.Matthias Neuber - 2014 - In T. Uebel (ed.), Philosophy of Science in a European Perspective. Springer. pp. 657-673.
    Critical realism is a frequently mentioned, but not very well-known, late nineteenth-/early twentieth-century philosophical tradition. Having its roots in Kantian epistemology, critical realism is best characterized as a revisionist approach toward the original Kantian doctrine. Its most outstanding thesis is the idea that Kantian things-in-themselves are knowable. This idea was—at least implicitly—suggested by thinkers such as Alois Riehl, Wilhelm Wundt, and Oswald Külpe. Interestingly enough, the philosophical position of the early Moritz Schlick stands in the critical realist tradition as well. (...)
    Download  
     
    Export citation  
     
    Bookmark   2 citations  
  25. Towards Post-Pandemic Sustainable and Ethical Food Systems.Matthias Kaiser, Stephen Goldson, Tatjana Buklijas, Peter Gluckman, Kristiann Allen, Anne Bardsley & Mimi E. Lam - 2021 - Food Ethics 6 (1).
    The current global COVID-19 pandemic has led to a deep and multidimensional crisis across all sectors of society. As countries contemplate their mobility and social-distancing policy restrictions, we have a unique opportunity to re-imagine the deliberative frameworks and value priorities in our food systems. Pre-pandemic food systems at global, national, regional and local scales already needed revision to chart a common vision for sustainable and ethical food futures. Re-orientation is also needed by the relevant sciences, traditionally siloed in their disciplines (...)
    Download  
     
    Export citation  
     
    Bookmark   3 citations  
  26. On Shamelessness.Michelle Mason - 2010 - Philosophical Papers 39 (3):401-425.
    Philosophical suspicions about the place of shame in the psychology of the mature moral agent are in tension with the commonplace assumption that to call a person shameless purports to mark a fault, arguably a moral fault. I shift philosophical suspicions away from shame and toward its absence in the shameless by focusing attention on phenomena of shamelessness. In redirecting our attention, I clarify the nature of the failing to which ascriptions of shamelessness might refer and defend the thought that, (...)
    Download  
     
    Export citation  
     
    Bookmark   25 citations  
  27. Newton in Grönland. Das umgestülpte experimentum crucis in der Streulichtkammer.Matthias Rang & Olaf L. Müller - 2009 - Philosophia Naturalis 46 (1):61-114.
    Newtons experimentum crucis hat ein komplementares Gegenstück, d.h. ein Experiment, in dem die Rollen von Licht und Schatten genau ausgetauscht sind. Statt wie Newton in der Dunkelkammer zu experimentieren, müssen wir das Komplement des experimentum crucis in einer Streulichtkammer aufbauen (deren Wände sog. Lambertstrahler sind). Wenn es dieses umgestülpte Experiment wirklich gibt, dann liefert es für jeden newtonischen Beweis einen umgestülpten Gegenbeweis, dessen Konklusion die Heterogenitat der Schatten wäre (also die Behauptung, dass nicht weißes Licht, sondern schwarze Schatten eine heterogene (...)
    Download  
     
    Export citation  
     
    Bookmark   6 citations  
  28. The Polysemy View of Pain.Michelle Liu - 2023 - Mind and Language 38 (1):198-217.
    Philosophers disagree about what the folk concept of pain is. This paper criticises existing theories of the folk concept of pain, i.e. the mental view, the bodily view, and the recently proposed polyeidic view. It puts forward an alternative proposal – the polysemy view – according to which pain terms like “sore,” “ache” and “hurt” are polysemous, where one sense refers to a mental state and another a bodily state, and the type of polysemy at issue reflects two distinct but (...)
    Download  
     
    Export citation  
     
    Bookmark   7 citations  
  29. Contemporary (Analytic Tradition).Robert Michels - 2024 - In Kathrin Koslicki & Michael J. Raven (eds.), The Routledge Handbook of Essence in Philosophy. Routledge.
    This paper provides an overview of the history of the notion of essence in 20th century analytic philosophy, focusing on views held by influential analytic philosophers who discussed, or relied on essence or cognate notions in their works. It in particular covers Russell and Moore’s different approaches to essence before and after breaking with British idealism, the (pre- and post-)logical positivists’ critique of metaphysics and rejection of essence (Wittgenstein, Carnap, Schlick, Stebbing), the tendency to loosen the notion of logical necessity (...)
    Download  
     
    Export citation  
     
    Bookmark  
  30. Disagreement, Credences, and Outright Belief.Michele Palmira - 2018 - Ratio 31 (2):179-196.
    This paper addresses a largely neglected question in ongoing debates over disagreement: what is the relation, if any, between disagreements involving credences and disagreements involving outright beliefs? The first part of the paper offers some desiderata for an adequate account of credal and full disagreement. The second part of the paper argues that both phenomena can be subsumed under a schematic definition which goes as follows: A and B disagree if and only if the accuracy conditions of A's doxastic attitude (...)
    Download  
     
    Export citation  
     
    Bookmark   11 citations  
  31. Imagining Dinosaurs.Michel-Antoine Xhignesse - forthcoming - Journal of Aesthetics and Art Criticism.
    There is a tendency to take mounted dinosaur skeletons at face value, as the raw data on which the science of paleontology is founded. But the truth is that mounted dinosaur skeletons are substantially intention-dependent—they are artifacts. More importantly, I argue, they are also substantially imagination-dependent: their production is substantially causally reliant on preparators’ creative imaginations, and their proper reception is predicated on audiences’ recreative imaginations. My main goal here is to show that dinosaur skeletal mounts are plausible candidates for (...)
    Download  
     
    Export citation  
     
    Bookmark  
  32. Reactive Attitudes.Michelle Mason - 2022 - In Hugh LaFollette (ed.), International Encyclopedia of Ethics. Wiley.
    Download  
     
    Export citation  
     
    Bookmark   2 citations  
  33. Political Equality and Epistemic Constraints on Voting.Michele Giavazzi - 2024 - Philosophy and Public Affairs 52 (2):147-176.
    As part of recent epistemic challenges to democracy, some have endorsed the implementation of epistemic constraints on voting, institutional mechanisms that bar incompetent voters from participating in public decision-making procedures. This proposal is often considered incompatible with a commitment to political equality. In this paper, I aim to dispute the strength of this latter claim by offering a theoretical justification for epistemic constraints on voting that does not rest on antiegalitarian commitments. Call this the civic accountability justification for epistemic constraints (...)
    Download  
     
    Export citation  
     
    Bookmark  
  34. Belief, Voluntariness and Intentionality.Matthias Steup - 2011 - Dialectica 65 (4):537-559.
    In this paper, I examine Alston's arguments for doxastic involuntarism. Alston fails to distinguish (i) between volitional and executional lack of control, and (ii) between compatibilist and libertarian control. As a result, he fails to notice that, if one endorses a compatibilist notion of voluntary control, the outcome is a straightforward and compelling case for doxastic voluntarism. Advocates of involuntarism have recently argued that the compatibilist case for doxastic voluntarism can be blocked by pointing out that belief is never intentional. (...)
    Download  
     
    Export citation  
     
    Bookmark   21 citations  
  35. Classicality Lost: K3 and LP after the Fall.Matthias Jenny - 2016 - Thought: A Journal of Philosophy 6 (1):43-53.
    It is commonly held that the ascription of truth to a sentence is intersubstitutable with that very sentence. However, the simplest subclassical logics available to proponents of this view, namely K3 and LP, are hopelessly weak for many purposes. In this article, I argue that this is much more of a problem for proponents of LP than for proponents of K3. The strategies for recapturing classicality offered by proponents of LP are far less promising than those available to proponents of (...)
    Download  
     
    Export citation  
     
    Bookmark   2 citations  
  36.  86
    Provisional Attitudes.Michele Palmira - forthcoming - In Kurt Sylvan, Ernest Sosa, Jonathan Dancy & Matthias Steup (eds.), The Blackwell Companion to Epistemology, 3rd edition. Wiley Blackwell.
    Download  
     
    Export citation  
     
    Bookmark  
  37. The new Tweety puzzle: arguments against monistic Bayesian approaches in epistemology and cognitive science.Matthias Unterhuber & Gerhard Schurz - 2013 - Synthese 190 (8):1407-1435.
    In this paper we discuss the new Tweety puzzle. The original Tweety puzzle was addressed by approaches in non-monotonic logic, which aim to adequately represent the Tweety case, namely that Tweety is a penguin and, thus, an exceptional bird, which cannot fly, although in general birds can fly. The new Tweety puzzle is intended as a challenge for probabilistic theories of epistemic states. In the first part of the paper we argue against monistic Bayesians, who assume that epistemic states can (...)
    Download  
     
    Export citation  
     
    Bookmark   7 citations  
  38. Completeness and Correspondence in Chellas–Segerberg Semantics.Matthias Unterhuber & Gerhard Schurz - 2014 - Studia Logica 102 (4):891-911.
    We investigate a lattice of conditional logics described by a Kripke type semantics, which was suggested by Chellas and Segerberg – Chellas–Segerberg (CS) semantics – plus 30 further principles. We (i) present a non-trivial frame-based completeness result, (ii) a translation procedure which gives one corresponding trivial frame conditions for arbitrary formula schemata, and (iii) non-trivial frame conditions in CS semantics which correspond to the 30 principles.
    Download  
     
    Export citation  
     
    Bookmark   6 citations  
  39. Ostwald, Weber und die 'energetischen Grundlagen' der Kulturwissenschaft.Matthias Neuber - 2015 - In Gerhard Wagner & Claudius Härpfer (eds.), Max Webers vergessene Zeitgenossen. Studien zur Genese der Wissenschaftslehre. Wiesbaden: Harrassowitz Verlag..
    Wilhelm Ostwald’s program of a physical energetics is the attempt at a comprehensive description of nature on the basis of the concept of energy. In his book Energetische Grundlagen der Kulturwissenschaft, first published in 1909, Ostwald applies this conception to the area of culture. His central assumption is that cultural phenomena should be described by the energetic notion of “efficiency relation” (Güteverhältnis). His systematic thesis is that science, when organized according to the Machian “principle of economy,” proves as the highest (...)
    Download  
     
    Export citation  
     
    Bookmark  
  40. Systematic construction of natural deduction systems for many-valued logics.Matthias Baaz, Christian G. Fermüller & Richard Zach - 1993 - In Proceedings of The Twenty-Third International Symposium on Multiple-Valued Logic, 1993. Los Alamitos, CA: 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.
    Download  
     
    Export citation  
     
    Bookmark   14 citations  
  41. 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.
    Download  
     
    Export citation  
     
    Bookmark   17 citations  
  42. 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 (...)
    Download  
     
    Export citation  
     
    Bookmark   19 citations  
  43. 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 $ - (...)
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  44. Schopenhauer's Aesthetic Ideology.Michel-Antoine Xhignesse - 2023 - In David Bather Woods & Timothy Stoll (eds.), The Schopenhauerian mind. New York, NY: Routledge. pp. 127-40.
    Download  
     
    Export citation  
     
    Bookmark  
  45. The Intransparency of Political Legitimacy.Matthias Brinkmann - 2023 - Philosophers' Imprint 23.
    Some moral value is transparent just in case an agent with average mental capacities can feasibly come to know whether some entity does, or does not, possess that value. In this paper, I consider whether legitimacy—that is, the property of exercises of political power to be permissible—is transparent. Implicit in much theorising about legitimacy is the idea that it is. I will offer two counter-arguments. First, injustice can defeat legitimacy, and injustice can be intransparent. Second, legitimacy can play a critical (...)
    Download  
     
    Export citation  
     
    Bookmark  
  46. Epistemic Paternalism, Personal Sovereignty, and One’s Own Good.Michel Croce - 2020 - In Amiel Bernal & Guy Axtell (eds.), Epistemic Paternalism Reconsidered: Conceptions, Justifications and Implications. Lanham, Md: Rowman & LIttlefield. pp. 155-168.
    A recent paper by Bullock (2018) raises a dilemma for proponents of epistemic paternalism. If epistemic paternalists contend that epistemic improvements contribute to one’s wellbeing, then their view conflates with general paternalism. Instead, if they appeal to the notion of a distinctive epistemic value, their view is unjustified, in that concerns about epistemic value fail to outweigh concerns about personal sovereignty. In this chapter, I address Bullock’s challenge in a way that safeguards the legitimacy of epistemic paternalism, albeit restricting its (...)
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  47. Perception and Coincidence in Helmholtz’s Theory of Measurement.Matthias Neuber - 2018 - Journal for the History of Analytical Philosophy 6 (3).
    The present paper is concerned with Helmholtz’s theory of measurement. It will be argued that an adequate understanding of this theory depends on how Helmholtz’s application of the concepts of perception and coincidence is interpreted. In contrast both to conventionalist and Kantian readings of Helmholtz’s theory, a more realistic interpretation will be suggested.
    Download  
     
    Export citation  
     
    Bookmark   4 citations  
  48. 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.
    Download  
     
    Export citation  
     
    Bookmark   7 citations  
  49. 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 (...)
    Download  
     
    Export citation  
     
    Bookmark   7 citations  
  50. 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 (...)
    Download  
     
    Export citation  
     
    Bookmark   6 citations  
1 — 50 / 782