Results for 'Matthias Jenny'

160 found
Order:
  1. 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  
  2. 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   3 citations  
  3. 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  
  4. 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  
  5. A Defense of Impurist Permissivism.Jenny Yi-Chen Wu - 2023 - Episteme:1-21.
    One famous debate in contemporary epistemology considers whether there is always one unique, epistemically rational way to respond to a given body of evidence. Generally speaking, answering “yes” to this question makes one a proponent of the Uniqueness thesis, while those who answer “no” are called “permissivists”. Another influential recent debate concerns whether non-truth-related factors can be the basis of epistemic justification, knowledge, or rational belief. Traditional theories answer “no”, and are therefore considered “purists”. However, more recently many theorists have (...)
    Download  
     
    Export citation  
     
    Bookmark  
  6. 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  
  7. 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  
  8. Simulating (some) individuals in a connected world.Jenny Krutzinna - 2021 - Journal of Medical Ethics 47 (6):403-404.
    Braun explores the use of digital twin technology in medicine with a particular emphasis on the question of how such simulations can represent a person.1 In defining some first conditions for ethically justifiable forms of representation of digital twins, he argues that digital twins do not threaten an embodied person, as long as that person retains control over their simulated representation via dynamic consent, and ideally with the option to choose both form and usage of the simulation. His thoughtful elaboration (...)
    Download  
     
    Export citation  
     
    Bookmark   2 citations  
  9. 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  
  10. (1 other version)Enabling posthumous medical data donation: an appeal for the ethical utilisation of personal health data.Jenny Krutzinna, Mariarosaria Taddeo & Luciano Floridi - 2019 - Science and Engineering Ethics 25 (5):1357-1387.
    This article argues that personal medical data should be made available for scientific research, by enabling and encouraging individuals to donate their medical records once deceased, similar to the way in which they can already donate organs or bodies. This research is part of a project on posthumous medical data donation developed by the Digital Ethics Lab at the Oxford Internet Institute at the University of Oxford. Ten arguments are provided to support the need to foster posthumous medical data donation. (...)
    Download  
     
    Export citation  
     
    Bookmark   3 citations  
  11. 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  
  12. The Museum on the Edge of Forever.Jenny Walklate - 2014 - Teorie Vědy / Theory of Science 36 (1):49-76.
    This article argues that understanding any space or site relies on a knowledge of its fourth dimension - the timescape. It will explore this by situating the investigation in the museum - a place of heightened contrivance which could easily be shallowly interpreted as "mere style". It will defend a new method of investigating museum temporality which combines both phenomenology and literary theory, and will replace the idea of geo-epistemology with geochronic epistemology: an understanding of context and situation which takes (...)
    Download  
     
    Export citation  
     
    Bookmark  
  13. 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  
  14.  74
    The Extended Mind Hypothesis: An Objection and Defense.Jenny Lorraine Nielsen - manuscript
    Download  
     
    Export citation  
     
    Bookmark  
  15. 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  
  16. The intellectual capacity of David stove.Jenny Teichman - 2001 - Philosophy 76 (1):149-157.
    David Stove's essay “The intellectual capacity of women” was first published in 1990, in the Proceedings of a Sydney philosophical society. It has been re-published twice since his death. It seems though that during his lifetime Stove himself refused to agree to its being re-printed. This raises two questions: Did Stove believe his essay on women contains mistakes? And: does it contain mistakes? The main flaws in the essay stem from a rash adoption of simplistic ideas about probability coupled with (...)
    Download  
     
    Export citation  
     
    Bookmark  
  17. The Scope of New Mechanism.Jenny Nielsen - manuscript
    In recent years, New Mechanism has become one of the most popular and widely discussed philosophical accounts of scientific explanation. Some of its proponents see it as a successor to traditional deductive nomological and statistical approaches to the philosophy of explanation. New Mechanists thus argue for the generality of their approach as a model of scientific explanation. Here we will show that the generality of NME as an account of scientific explanation is restricted. Most significantly, NME is widely recognized to (...)
    Download  
     
    Export citation  
     
    Bookmark  
  18. 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  
  19. 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  
  20. 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   23 citations  
  21. 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  
  22. Breaking the Cycle: Solidarity with care-leaver mothers.Jenny Krutzinna - 2021 - Journal of Diversity and Gender Studies 7 (2):82-92.
    A significant proportion of child protection cases involve care-experienced mothers, which reveals a continuous cycle of mothers who lose their children to social services after having been in state care themselves as children. While the importance of protecting children requires little explanation and forms the justificatory basis for child protection interventions, it is important to remember that care-experienced mothers were once children entrusted to the state’s care, and who arguably have been failed by the state in that their parenting opportunities (...)
    Download  
     
    Export citation  
     
    Bookmark  
  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. Who is ‘the child’? Best interests and individuality of children in discretionary decision-making.Jenny Krutzinna - manuscript
    While the substantiation of “best interests” has received much attention, the question of how “the child” is conceptualised to ensure any action taken or decision made is in the particular child’s best interests has been largely neglected. In this paper, I argue that the lack of robust understanding of who “the child” is means that we continue to make many generalisations and category-based assumptions in determining the child’s best interests. In addressing the challenge of doing right by the individual child, (...)
    Download  
     
    Export citation  
     
    Bookmark  
  25. 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  
  26. 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  
  27. Expectations in music.Jenny Judge & Bence Nanay - 2021 - In Jerrold Levinson (ed.), Oxford Handbook of Music and Philosophy. Oxford University PRess. pp. 997-1018.
    Almost every facet of the experience of musical listening—from pitch, to rhythm, to the experience of emotion—is thought to be shaped by the meeting and thwarting of expectations. But it is unclear what kind of mental states these expectations are, what their format is, and whether they are conscious or unconscious. Here, we distinguish between different modes of musical listening, arguing that expectations play different roles in each, and we point to the need for increased collaboration between music psychologists and (...)
    Download  
     
    Export citation  
     
    Bookmark  
  28. 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  
  29. 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  
  30. 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  
  31. Science as Performance: An Investigation of the Practice of Science Via the Lens of Performance Theory.Jenny L. Nielsen - 2022 - Collective Entanglements (Iari).
    While science is often presented as a body of knowledge or collection of passively accumulated facts, science should be examined and experienced as a performed process, a human endeavor connected to the ways we access the world. In this white paper, I briefly introduce the practice of science from the perspective of performance theory. By examining science in the context of performance, we may approach certain key questions about science directly. How do scientists perform experiments and practice the scientific method (...)
    Download  
     
    Export citation  
     
    Bookmark  
  32. (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  
  33. 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  
  34. 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  
  35. 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  
  36. 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  
  37. The Limits of New Mechanism as a General Theory of Scientific Explanation.Nielsen Jenny - forthcoming - Dissertation, University of Kansas
    Dissertation Prospectus. Exploring the limits of New Mechanism as a general theory of scientific explanation, limiting its scope and proposing constraints.
    Download  
     
    Export citation  
     
    Bookmark  
  38. 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  
  39. Creating ‘family’ in adoption from care.Jenny Krutzinna - 2020 - In Tarja Pösö, Marit Skivenes & June Thoburn (eds.), Adoption from Care. International Perspectives on Children’s Rights, Family Preservation and State Intervention. Research in Social Work. pp. 195-213.
    Adoption may be defined as ‘the legal process through which the state establishes a parental relationship, with all its attendant rights and duties, between a child and a (set of) parent(s) where there exists no previous procreative relationship’ . In adoptions from care, state intervention effectively converts an established, or nascent, adult– child relationship into ‘family’ in the legal sense. From the state’s perspective, adoption thus entails the transfer of parental responsibilities for a child in public care to a private (...)
    Download  
     
    Export citation  
     
    Bookmark  
  40. 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  
  41. 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  
  42. 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 (...)
    Download  
     
    Export citation  
     
    Bookmark   3 citations  
  43. 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  
  44. 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  
  45. Dissertation Abstract - Math Over Mechanism: Proposing the Rational-Relational Theory of Scientific Explanation in Light of Impinging Constraints of New Mechanism.Jenny Nielsen - forthcoming - In ProQuest.
    In this dissertation I achieve the following: (1) I present motivating criteria for a general comprehensive theory of scientific explanation. I review historical approaches to modeling explanation in light of these criteria. (2) I present New Mechanist Explanation ("NME") as the leading candidate for a contemporary, complete theory of scientific explanation. (3) I present constraints on the applicability of New Mechanism in modeling biology, chemistry, and physics. I argue for the unsuitability of NME as a candidate for a general theory (...)
    Download  
     
    Export citation  
     
    Bookmark  
  46. Nach den Nachrufen.Matthias Kettner - 2017 - Deutsche Zeitschrift für Philosophie 65 (6):1148-1162.
    Name der Zeitschrift: Deutsche Zeitschrift für Philosophie Jahrgang: 65 Heft: 6 Seiten: 1148-1162. -/- Der Essay „Nach den Nachrufen. Zum Gedenken an Karl-Otto Apel“ enthält neben (1) wirkungsgeschichtlichen Anmerkungen der „transzendentalpragmatischen“ Kommunikationsphilosophie und einigen persönlichen Rückblicken des Autors auf die Studienzeit bei und Zusammenarbeit mit dem 2017 verstorbenen Karl-Otto Apel (2) eine Rekonstruktion des transzendentalpragmatischen Begriffs der virtuell unbegrenzten Kommunikationsgemeinschaft. Dieser Begriff wird als eine spezifische interpersonelle Beziehungsfigur rekonstruiert, die Personen immer dann konstituieren, wenn und weil sie sich als Subjekte (...)
    Download  
     
    Export citation  
     
    Bookmark  
  47. 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  
  48. Schlick und die "Wende der Philosophie" - Vom kritischen Realismus zum logischen Empirismus.Matthias Neuber - 2016 - In Husserl, Cassirer, Schlick: "Wissenschaftliche Philosophie" im Spannungsfeld von Phänomenologie, Neukantianismus und logischem Empirismus. [New York]: Springer.
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  49. 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 (...)
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  50. 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  
1 — 50 / 160