Results for 'Matthias Lich'

238 found
Order:
  1. Fuchs, Du hast das Gelb gestohlen. Versuch über Goethes diebische Variation eines Experiments von Newton.Olaf L. Müller - 2010 - In Katalog zur Ausstellung experiment farbe. Dornach: pp. 38-53.
    Newton fächert einen weißen Lichtstrahl durch prismatische Brechung (Refraktion) auf und entdeckt dadurch sein Vollspektrum, das die größte Farbenvielfalt zeigt und aus Lichtstrahlen unterschiedlicher Refrangibilität besteht (1672). Laut Newtons Theorie müsste sich die Farbvielfalt seines Vollspektrums steigern lassen, wenn man den Auffangschirm immer weiter vom brechenden Prisma entfernt; denn dadurch müssten zuvor noch vermischte Lichtbündel ähnlicher Farbe schließlich doch auseinanderstreben. Diese Prognose ist empirisch falsch, wie Goethe in seiner Farbenlehre (1810) herausstreicht: Das Endspektrum enthält weniger Farben, insbesondere fehlt dort das (...)
    Download  
     
    Export citation  
     
    Bookmark  
  2. Confidence in Consciousness Research.Matthias Michel - 2023 - WIREs Cognitive Science 14 (2):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  
  3. 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   2 citations  
  4. 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.
    Download  
     
    Export citation  
     
    Bookmark   14 citations  
  5. 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 (...)
    Download  
     
    Export citation  
     
    Bookmark  
  6. Moralisches Chaos im Klassenzimmer - Probleme bei der Behandlung von Moralphilosophie in der Schule.Matthias Holweger & Friedrich Christoph Dörge - manuscript
    Die meisten Ethik- und Philosophie-Lehrpläne sehen vor, dass Schüler/innen die Grundlagen der Moralphilosophie kennen und verstehen. Im vorliegenden Beitrag nennen und erläutern wir einige Probleme, die der Erreichung dieses Ziels entgegenstehen. Eines dieser Probleme – die Vermischung unterschiedlicher Fragen – illustrieren wir an einer konkreten Lehreinheit. Anschließend skizzieren wir schädliche Folgen dieses Problems und deuten mögliche Wege zu seiner Beseitigung an.
    Download  
     
    Export citation  
     
    Bookmark  
  7. 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  
  8. 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   8 citations  
  9. 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  
  10. 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  
  11. Teaching Ethics Without Confusing Questions - Illustrated By the Example of Schopenhauer's Ethics.Matthias Holweger - 2023 - Journal of Didactics of Philosophy 7:1-17.
    Like many other philosophical disciplines, ethics is sometimes highly abstract. And many key notions of the discipline are vague, ambiguous or both. Abstractness, vagueness, and ambiguity invite confusion. My objective in this paper is to draw attention to a serious problem that, despite being widespread, has so far remained largely unrecognized: the confusion of different questions in teaching ethics. This confusion occurs, for example, when a philosopher’s viewpoint is presented as an answer to one question, but in fact, the philosopher (...)
    Download  
     
    Export citation  
     
    Bookmark  
  12. 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   18 citations  
  13. Authority through Service: A Mesoamerican Approach to Political Expertise.Matthias Kramm - forthcoming - Social Theory and Practice.
    In this article, I draw on the Mesoamerican institution of community offices (cargo) to support the view that political authority should be based on both political legitimacy and political expertise. I argue that the Mesoamerican tradition of cargos allows for a notion of political expertise that one acquires by rendering a service to one’s community. This expertise could be made a prerequisite for political representation without being vulnerable to several charges that have been levelled against epistocracy.
    Download  
     
    Export citation  
     
    Bookmark  
  14. Completeness of a first-order temporal logic with time-gaps.Matthias Baaz, Alexander Leitsch & Richard Zach - 1996 - Theoretical Computer Science 160 (1-2):241-270.
    The first-order temporal logics with □ and ○ of time structures isomorphic to ω (discrete linear time) and trees of ω-segments (linear time with branching gaps) and some of its fragments are compared: the first is not recursively axiomatizable. For the second, a cut-free complete sequent calculus is given, and from this, a resolution system is derived by the method of Maslov.
    Download  
     
    Export citation  
     
    Bookmark   2 citations  
  15. Making Progress on the Prefrontal Debate.Matthias Michel & Rafael Malach - 2022 - Journal of Consciousness Studies 29 (7-8):158-164.
    Download  
     
    Export citation  
     
    Bookmark  
  16. 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   36 citations  
  17. 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   9 citations  
  18. 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   1 citation  
  19. Quantified Propositional Gödel Logics.Matthias Baaz, Agata Ciabattoni & Richard Zach - 2000 - In Voronkov Andrei & Parigot Michel (eds.), Logic for Programming and Automated Reasoning. 7th International Conference, LPAR 2000. Springer. pp. 240-256.
    It is shown that Gqp↑, the quantified propositional Gödel logic based on the truth-value set V↑ = {1 - 1/n : n≥1}∪{1}, is decidable. This result is obtained by reduction to Büchi's theory S1S. An alternative proof based on elimination of quantifiers is also given, which yields both an axiomatization and a characterization of Gqp↑ as the intersection of all finite-valued quantified propositional Gödel logics.
    Download  
     
    Export citation  
     
    Bookmark   3 citations  
  20. Effective finite-valued approximations of general propositional logics.Matthias Baaz & Richard Zach - 2008 - In Arnon Avron & Nachum Dershowitz (eds.), Pillars of Computer Science: Essays Dedicated to Boris (Boaz) Trakhtenbrot on the Occasion of His 85th Birthday. Springer Verlag. pp. 107–129.
    Propositional logics in general, considered as a set of sentences, can be undecidable even if they have “nice” representations, e.g., are given by a calculus. Even decidable propositional logics can be computationally complex (e.g., already intuitionistic logic is PSPACE-complete). On the other hand, finite-valued logics are computationally relatively simple—at worst NP. Moreover, finite-valued semantics are simple, and general methods for theorem proving exist. This raises the question to what extent and under what circumstances propositional logics represented in various ways can (...)
    Download  
     
    Export citation  
     
    Bookmark  
  21. Completeness of a Hypersequent Calculus for Some First-order Gödel Logics with Delta.Matthias Baaz, Norbert Preining & Richard Zach - 2006 - In Baaz Matthias, Preining Norbert & Zach Richard (eds.), 36th Interna- tional Symposium on Multiple-valued Logic. May 2006, Singapore. Proceedings. IEEE Press.
    All first-order Gödel logics G_V with globalization operator based on truth value sets V C [0,1] where 0 and 1 lie in the perfect kernel of V are axiomatized by Ciabattoni’s hypersequent calculus HGIF.
    Download  
     
    Export citation  
     
    Bookmark  
  22. Short Proofs of Tautologies using the Schema of Equivalence.Matthias Baaz & Richard Zach - 1994 - In Egon Börger, Yuri Gurevich & Karl Meinke (eds.), Computer Science Logic. 7th Workshop, CSL '93, Swansea. Selected Papers. Springer. pp. 33-35.
    It is shown how the schema of equivalence can be used to obtain short proofs of tautologies A , where the depth of proofs is linear in the number of variables in A .
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  23. 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   24 citations  
  24. Rawls's List of Human Rights and Self-Determination of Peoples.Matthias Katzer - 2022 - In Valerio Fabbrizi & Leonardo Fiorespino (eds.), The Persistence of Justice as Fairness. Reflections on Rawls's Legacy. UniversItalia. pp. 91-116.
    Scholars have struggled with identifying the exact reasoning that leads to the list of human rights in Rawls's Law of Peoples. This essay argues that the list can best be explained by a reasoning based on the value of self-determination of peoples. At the same time, it argues that this reasoning still has serious difficulties. In particular, it is necessary to clarify whether human rights may always be enforced by coercive means against states that violate them. However, once this has (...)
    Download  
     
    Export citation  
     
    Bookmark  
  25. The trust game CRISPR for human germline editing unsettles scientists and society.Matthias Braun & Darian Meacham - 2019 - EMBO Reports 20 (2).
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  26. Fish and microchips: on fish pain and multiple realization.Matthias Michel - 2018 - 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  
  27. 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  
  28. Minority Reports: Consciousness and the Prefrontal Cortex.Matthias Michel & Jorge Morales - 2019 - 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   15 citations  
  29. 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. New York, NY: 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  
  30. 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   15 citations  
  31. 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  
  32. Introduction: Why Should We Study Migration Policies at the Interface between Empirical Research and Normative Analysis?Matthias Hoesch & Lena Laube - 2019 - Proceedings of the 2018 ZiF Workshop “Studying Migration Policies at the Interface Between Empirical Research and Normative Analysis”.
    The text introduces the concept behind the Proceedings of the 2018 ZiF Workshop “Studying Migration Policies at the Interface between Empirical Research and Normative Analysis”. It explains why there is a need to study migration policies across disciplines, includes a short note on the current literature, and provides a look back at the workshop. DOI:10.17879/15199624685 .
    Download  
     
    Export citation  
     
    Bookmark  
  33. Benign Infinity.Matthias Steup - 2019 - In Rodrigo Borges, Branden Fitelson & Cherie Braden (eds.), Knowledge, Scepticism, and Defeat: Themes from Klein. Springer Verlag. pp. 235-57.
    According to infinitism, all justification comes from an infinite series of reasons. Peter Klein defends infinitism as the correct solution to the regress problem by rejecting two alternative solutions: foundationalism and coherentism. I focus on Klein's argument against foundationalism, which relies on the premise that there is no justification without meta-justification. This premise is incompatible with dogmatic foundationalism as defended by Michael Huemer and Time Pryor. It does not, however, conflict with non-dogmatic foundationalism. Whereas dogmatic foundationalism rejects the need for (...)
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  34. 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   2 citations  
  35. 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  
  36. Constructing Commitment: Brandom's Pragmatist Take on Rule‐Following.Matthias Kiesselbach - 2011 - Philosophical Investigations 35 (2):101-126.
    According to a standard criticism, Robert Brandom's “normative pragmatics”, i.e. his attempt to explain normative statuses in terms of practical attitudes, faces a dilemma. If practical attitudes and their interactions are specified in purely non-normative terms, then they underdetermine normative statuses; but if normative terms are allowed into the account, then the account becomes viciously circular. This paper argues that there is no dilemma, because the feared circularity is not vicious. While normative claims do exhibit their respective authors' practical attitudes (...)
    Download  
     
    Export citation  
     
    Bookmark   10 citations  
  37. A Tale of Two (and More) Models of Rights of Nature.Matthias Kramm - forthcoming - Environmental Ethics.
    In our contemporary world, the rights of nature have become an important legal device for environmental protection. Some of the most influential rights of nature frameworks can be found in non-Western contexts and have been strongly influenced by ecocentric accounts of nature. This article addresses the question of whether rights of nature can be implemented in Western contexts as well, focusing in particular on Europe. It first examines ecocentric justifications of the rights of nature and discusses two possible non-ecocentric alternatives. (...)
    Download  
     
    Export citation  
     
    Bookmark  
  38. 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  
  39. 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   3 citations  
  40. Algorithmic Structuring of Cut-free Proofs.Matthias Baaz & Richard Zach - 1993 - In Egon Börger, Gerhard Jäger, Hans Kleine Büning, Simone Martini & Michael M. Richter (eds.), Computer Science Logic. CSL’92, San Miniato, Italy. Selected Papers. Springer. pp. 29–42.
    The problem of algorithmic structuring of proofs in the sequent calculi LK and LKB ( LK where blocks of quantifiers can be introduced in one step) is investigated, where a distinction is made between linear proofs and proofs in tree form. In this framework, structuring coincides with the introduction of cuts into a proof. The algorithmic solvability of this problem can be reduced to the question of k-l-compressibility: "Given a proof of length k , and l ≤ k : Is (...)
    Download  
     
    Export citation  
     
    Bookmark  
  41. Incompleteness of a first-order Gödel logic and some temporal logics of programs.Matthias Baaz, Alexander Leitsch & Richard Zach - 1996 - In Kleine Büning Hans (ed.), Computer Science Logic. CSL 1995. Selected Papers. Springer. pp. 1--15.
    It is shown that the infinite-valued first-order Gödel logic G° based on the set of truth values {1/k: k ε w {0}} U {0} is not r.e. The logic G° is the same as that obtained from the Kripke semantics for first-order intuitionistic logic with constant domains and where the order structure of the model is linear. From this, the unaxiomatizability of Kröger's temporal logic of programs (even of the fragment without the nexttime operator O) and of the authors' temporal (...)
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  42. Approximating Propositional Calculi by Finite-valued Logics.Matthias Baaz & Richard Zach - 1994 - In Baaz Matthias & Zach Richard (eds.), 24th International Symposium on Multiple-valued Logic, 1994. Proceedings. IEEE Press. pp. 257–263.
    The problem of approximating a propositional calculus is to find many-valued logics which are sound for the calculus (i.e., all theorems of the calculus are tautologies) with as few tautologies as possible. This has potential applications for representing (computationally complex) logics used in AI by (computationally easy) many-valued logics. It is investigated how far this method can be carried using (1) one or (2) an infinite sequence of many-valued logics. It is shown that the optimal candidate matrices for (1) can (...)
    Download  
     
    Export citation  
     
    Bookmark  
  43. 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   4 citations  
  44. 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  
  45. (1 other version)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  
  46. 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 (...)
    Download  
     
    Export citation  
     
    Bookmark  
  47. 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  
  48. 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  
  49. Vaihinger, Scholz und die Religionsphilosophie des 'Als ob'.Matthias Neuber - manuscript
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  50. Tilo Wesche. Die Rechte der Natur: Vom nachhaltigen Eigentum.Matthias Kramm - 2024 - Environmental Philosophy 21 (1):113-116.
    In this book review, I summarize the main argument of Tilo Wesche's book "Die Rechte der Natur: Vom nachhaltigen Eigentum" (The rights of Nature: On sustainable ownership) and conclude with a critical appraisal.
    Download  
     
    Export citation  
     
    Bookmark  
1 — 50 / 238