Results for 'Matthias Birrer'

1000+ found
Order:
  1. .Matthias Birrer - 2017
    No categories
     
    Export citation  
     
    Bookmark  
  2.  18
    Matthias Birrer: Kant und die Heterogenität der Erkenntnisquellen. Berlin/boston: De Gruyter, 2017. 327 Seiten. ISBN 978-3-11-054238-7. [REVIEW]Reinhard Hiltscher - 2017 - Kant Studien 111 (1):139-145.
  3. 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 (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   13 citations  
  4. 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 (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   33 citations  
  5. 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 (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  6. Ancient and medieval moral epistemology.Matthias Perkams - 2018 - In Aaron Zimmerman, Karen Jones & Mark Timmons (eds.), Routledge Handbook on Moral Epistemology. Routledge.
     
    Export citation  
     
    Bookmark  
  7.  97
    The responsibility gap: Ascribing responsibility for the actions of learning automata.Andreas Matthias - 2004 - Ethics and Information Technology 6 (3):175-183.
    Traditionally, the manufacturer/operator of a machine is held (morally and legally) responsible for the consequences of its operation. Autonomous, learning machines, based on neural networks, genetic algorithms and agent architectures, create a new situation, where the manufacturer/operator of the machine is in principle not capable of predicting the future machine behaviour any more, and thus cannot be held morally responsible or liable for it. The society must decide between not using this kind of machine any more (which is not a (...)
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark   174 citations  
  8. 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.
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  9.  10
    Kant Und Die Heterogenität der Erkenntnisquellen.Birrer Mathias - 2017 - Berlin, DE and Boston, USA: De Gruyter.
    Vor dem Hintergrund der Debatte um nichtbegriffliche Vorstellungsinhalte sucht diese Arbeit ein adäquates Verständnis von Kants Lehre der Erkenntnisquellen, Sinnlichkeit und Verstand, und der Ungleichartigkeit der anschaulichen und begrifflichen Vorstellungsweise, speziell bezüglich der Transzendentalen Ästhetik, der Lehre der transzendentalen Synthesis der Einbildungskraft (Selbstaffektion) und der Theorie des transzendentalen Schematismus. -/- Engaging in the Kantian debate on the existence of non-conceptual content, this work attempts to provide an adequate understanding of Kant’s doctrine of the two sources of human knowledge, sensibility and (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   5 citations  
  10. Realistic Claims in Logical Empiricism.Matthias Neuber - forthcoming - In Uskali Mäki, Stéphanie Ruphy, Gerhard Schurz & Ioannis Votsis (eds.), Recent Developments in the Philosophy of Science: EPSA13 Helsinki. Springer.
    Logical empiricism is commonly seen as a counter-position to scientific realism. In the present paper it is shown that there indeed existed a realist faction within the logical empiricist movement. In particular, I shall point out that at least four types of realistic arguments can be distinguished within this faction: Reichenbach’s ‘probabilistic argument,’ Feigl’s ‘pragmatic argument,’ Hempel’s ‘indispensability argument,’ and Kaila’s ‘invariantist argument.’ All these variations of arguments are intended to prevent the logical empiricist agenda from the shortcomings of radical (...)
    Direct download  
     
    Export citation  
     
    Bookmark   1 citation  
  11.  9
    Rechtsphilosophie zwischen Ost und West: eine vergleichende Analyse der frühen rechtsphilosophischen Gedanken von John C.H. Wu.Matthias Christian - 1988 - New York: Springer Verlag.
    "Rechtsphilosophie zwischen Ost und West" ist das erste Buch, das systematisch das frA1/4he Werk des bedeutenden chinesischen Rechtsgelehrten, Richters, Diplomaten und Schriftstellers John C.H. Wu (1899-1986) behandelt. Die Arbeit setzt sich in chronologischer Reihenfolge kritisch mit den VerAffentlichungen Wus im Zeitraum von 1921 bis 1936 auseinander. Wu, spAter Verfechter einer dynamischen Naturrechtslehre, versucht, die mehr pragmatisch-funktionale Rechtsauffassung der fA1/4hrenden amerikanischen Rechtsgelehrten mit dem von Kant geprAgten Denken R. Stammlers zu einer inneren Begegnung zu bringen. Gleichzeitig ist die Thematik chinesischen Rechtsdenkens (...)
    Direct download  
     
    Export citation  
     
    Bookmark  
  12.  26
    Zwischen Alexander dem Großen und Arcadius, von Anaxarchos von Abdera zu Synesios von Kyrene. Die Gattung Über das Königtum im Kontext antiker Alleinherrschaften – eine Skizze.Matthias Haake - 2011 - Quaestio 11:65-82.
    The aim of the current investigation is to analyze the writings On Kingship in the context of sole rulership in Antiquity. Writings On Kingship first appeared in the time of Alexander the Great and flourished during the Hellenistic period, but there are although some treatises written under Roman rule during the Imperial period and in Late Antiquity. Starting point of the analysis is to understand the treatises On Kingship as a literary genre. By taking into account the authors, the addressees, (...)
    No categories
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark  
  13.  8
    Paletten und palettenbilder.Matthias Krüger - 2013 - In Iris Wenderholm, Jörg Trempler & Markus Rath (eds.), Das haptische bild: Körperhafte bilderfahrung in der neuzeit. De Gruyter. pp. 159-182.
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark  
  14.  14
    Klarheit statt Wahrheit. Evidenz und Gewißheit bei Ludwig Wittgenstein.Matthias Kröß - 1998 - In Gary Smith & Matthias Kröß (eds.), Die ungewisse Evidenz. De Gruyter. pp. 139-172.
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark  
  15.  21
    The Sociology of Theodor Adorno.Matthias Benzer - 2011 - Cambridge University Press.
    Theodor Adorno is a widely-studied figure, but most often with regard to his work on cultural theory, philosophy and aesthetics. The Sociology of Theodor Adorno provides the first thorough English-language account of Adorno's sociological thinking. Matthias Benzer reads Adorno's sociology through six major themes: the problem of conceptualising capitalist society; empirical research; theoretical analysis; social critique; the sociological text; and the question of the non-social. Benzer explains the methodological and theoretical ideas informing Adorno's reflections on sociology and illustrates Adorno's (...)
    Direct download  
     
    Export citation  
     
    Bookmark   14 citations  
  16.  3
    Wissenschaft, Wirtschaft, Gesellschaft: Ringvorlesung an der Technischen Universität Braunschweig im Sommersemester 1995.Matthias Bohnet & Klaus Lampe (eds.) - 1996 - Braunschweig: TU Braunschweig, Presse- und Öffentlichkeitsarbeit.
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark  
  17. Dong xi fang zhi jian de fa lü zhe xue: Wu Jingxiong zao qi fa lü zhe xue si xiang zhi bi jiao yan jiu.Matthias Christian - 2004 - Beijing: Zhongguo zheng fa da xue chu ban she. Edited by Jingxiong Wu.
     
    Export citation  
     
    Bookmark  
  18.  87
    Kurt Gödel and the foundations of mathematics: horizons of truth.Matthias Baaz (ed.) - 2011 - New York: Cambridge University Press.
    This volume commemorates the life, work, and foundational views of Kurt Gödel (1906-1978), most famous for his hallmark works on the completeness of first-order logic, the incompleteness of number theory, and the consistency - with the other widely accepted axioms of set theory - of the axiom of choice and of the generalized continuum hypothesis. It explores current research, advances, and ideas for future directions not only in the foundations of mathematics and logic, but also in the fields of computer (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  19. 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 (...)
    Direct download  
     
    Export citation  
     
    Bookmark  
  20.  73
    Primer on an ethics of AI-based decision support systems in the clinic.Matthias Braun, Patrik Hummel, Susanne Beck & Peter Dabrock - 2021 - Journal of Medical Ethics 47 (12):3-3.
    Making good decisions in extremely complex and difficult processes and situations has always been both a key task as well as a challenge in the clinic and has led to a large amount of clinical, legal and ethical routines, protocols and reflections in order to guarantee fair, participatory and up-to-date pathways for clinical decision-making. Nevertheless, the complexity of processes and physical phenomena, time as well as economic constraints and not least further endeavours as well as achievements in medicine and healthcare (...)
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark   23 citations  
  21. Gayatri Chakravorty Spivak.Matthias Catön - 2004 - In Gisela Riescher (ed.), Politische Theorie der Gegenwart in Einzeldarstellungen. Von Adorno Bis Young. Alfred Kröner Verlag. pp. 343--457.
     
    Export citation  
     
    Bookmark  
  22.  4
    Umwertung aller Werte: deutsche Literatur im Urteil Nietzsches.Matthias Politycki - 1989 - New York: Walter de Gruyter.
    For several decades, Monographien und Texte zur Nietzsche-Forschung (MTNF) has set the agenda in a rapidly growing and changing field of Nietzsche scholarship. The book series is international in orientation and reflects the entire spectrum of research on Nietzsche. The series publishes monographs and edited volumes that undergo a strict peer-review process. The series is led by an international team of editors.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   5 citations  
  23. The Philosophy of mathematics today.Matthias Schirn (ed.) - 1998 - New York: Clarendon Press.
    This comprehensive volume gives a panorama of the best current work in this lively field, through twenty specially written essays by the leading figures in the field. All essays deal with foundational issues, from the nature of mathematical knowledge and mathematical existence to logical consequence, abstraction, and the notions of set and natural number. The contributors also represent and criticize a variety of prominent approaches to the philosophy of mathematics, including platonism, realism, nomalism, constructivism, and formalism.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   7 citations  
  24. 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 (...)
    Direct download (6 more)  
     
    Export citation  
     
    Bookmark   19 citations  
  25.  2
    Begegnung mit Wolfgang Harich.Matthias Eckholdt - 1996 - Schwedt/Oder: Kiro. Edited by Wolfgang Harich.
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark  
  26. Future Design: Incorporating Preferences of Future Generations for Sustainability.Matthias Fritsch (ed.) - 2020 - Springer.
     
    Export citation  
     
    Bookmark  
  27.  47
    Vapnik–Chervonenkis Density in Some Theories without the Independence Property, II.Matthias Aschenbrenner, Alf Dolich, Deirdre Haskell, Dugald Macpherson & Sergei Starchenko - 2013 - Notre Dame Journal of Formal Logic 54 (3-4):311-363.
    We study the Vapnik–Chervonenkis density of definable families in certain stable first-order theories. In particular, we obtain uniform bounds on the VC density of definable families in finite $\mathrm {U}$-rank theories without the finite cover property, and we characterize those abelian groups for which there exist uniform bounds on the VC density of definable families.
    Direct download (7 more)  
     
    Export citation  
     
    Bookmark   11 citations  
  28.  13
    Making the law explicit: the normativity of legal argumentation.Matthias Klatt - 2008 - New York: Hart.
    This book considers Robert Brandom's philosophy and presents an original and exciting analysis of the semantic argument in legal argumentation.
    Direct download  
     
    Export citation  
     
    Bookmark   6 citations  
  29.  48
    Represent me: please! Towards an ethics of digital twins in medicine.Matthias Braun - 2021 - Journal of Medical Ethics 47 (6):394-400.
    Simulations are used in very different contexts and for very different purposes. An emerging development is the possibility of using simulations to obtain a more or less representative reproduction of organs or even entire persons. Such simulations are framed and discussed using the term ‘digital twin’. This paper unpacks and scrutinises the current use of such digital twins in medicine and the ideas embedded in this practice. First, the paper maps the different types of digital twins. A special focus is (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   14 citations  
  30.  10
    Die Legitimität der Moderne: Kulturkritik und Herrschaftskonzeption bei Max Weber und bei Carl Schmitt.Matthias Eberl - 1994 - Marburg: Tectum Verlag.
    Direct download  
     
    Export citation  
     
    Bookmark  
  31.  2
    Michail Bachtins philosophische Ästhetik der Literatur.Matthias Freise - 1993 - New York: P. Lang.
    Die vorliegende erste deutschsprachige Monographie über den russischen Literaturwissenschaftler und Kulturphilosophen Michail Bachtin (1895-1975) geht der unter der schillernd-mehrdeutigen Oberfläche von Bachtins Arbeiten verborgenen Tiefenstruktur seines Denkens nach. In der Tiefe zeigt sich als die entscheidende Eigenart literarischer Texte ihr Wertcharakter. Die Konsequenzen, die sich daraus für die Produktion und Rezeption von literarischer Kunst ergeben, werden in der vorliegenden Arbeit kritisch erörtert.
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark   1 citation  
  32.  13
    Begriffe, Sätze, Dinge: Referenz und Wahrheit bei Wilhelm von Ockham.Matthias Kaufmann - 1994 - New York: E.J. Brill.
  33.  20
    Plotins Schrift "Über den Geist, die Ideen und das Seiende": Enneade V 9 (5): Text, Übersetzung, Kommentar.Matthias Vorwerk & Plotinus - 2001 - München: Saur. Edited by Plotinus.
    Die Beiträge zur Altertumskunde enthalten Monographien, Sammelbände, Editionen, Übersetzungen und Kommentare zu Themen aus den Bereichen Klassische, Mittel- und Neulateinische Philologie, Alte Geschichte, Archäologie, Antike Philosophie sowie Nachwirken der Antike bis in die Neuzeit. Dadurch leistet die Reihe einen umfassenden Beitrag zur Erschließung klassischer Literatur und zur Forschung im gesamten Gebiet der Altertumswissenschaften.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  34.  9
    A case study of cracks in the scientific enterprise: Response to the comments.Matthias Dehmer & Abbe Mowshowitz - 2016 - Complexity 21 (S1):20-22.
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark   4 citations  
  35.  7
    Raum und Zeit, formale Anschauung und Kants Erkenntnisdualismus von Sinnlichkeit und Verstand.Mathias Birrer - 2018 - In Violetta L. Waibel, Margit Ruffing & David Wagner (eds.), Natur und Freiheit. Akten des XII. Internationalen Kant-Kongresses. De Gruyter. pp. 1159-1166.
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark   1 citation  
  36.  19
    Variation in dual-task performance reveals late initiation of speech planning in turn-taking.Matthias J. Sjerps & Antje S. Meyer - 2015 - Cognition 136 (C):304-324.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   16 citations  
  37.  95
    Possible Worlds Semantics for Indicative and Counterfactual Conditionals?: A Formal Philosophical Inquiry Into Chellas-Segerberg Semantics.Matthias Unterhuber - 2013 - Ontos (Now de Gruyter).
    Conditional structures lie at the heart of the sciences, humanities, and everyday reasoning. It is hence not surprising that conditional logics – logics specifically designed to account for natural language conditionals – are an active and interdisciplinary area. The present book gives a formal and a philosophical account of indicative and counterfactual conditionals in terms of Chellas-Segerberg semantics. For that purpose a range of topics are discussed such as Bennett’s arguments against truth value based semantics for indicative conditionals.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   14 citations  
  38. Data mining to combat terrorism and the roots of privacy concerns.Frans A. J. Birrer - 2005 - Ethics and Information Technology 7 (4):211-220.
    Recently, there has been a heavy debate in the US about the government’s use of data mining in its fight against terrorism. Privacy concerns in fact led the Congress to terminate the funding of TIA, a program for advanced information technology to be used in the combat of terrorism. The arguments put forward in this debate, more specifically those found in the main report and minority report by the TAPAC established by the Secretary of Defense to examine the TIA issue, (...)
    Direct download (8 more)  
     
    Export citation  
     
    Bookmark   3 citations  
  39. Mood Experience: Implications of a Dispositional Theory of Moods.Matthias Siemer - 2009 - Emotion Review 1 (3):256-263.
    The core feature that distinguishes moods from emotions is that moods, in contrast to emotions, are diffuse and global. This article outlines a dispositional theory of moods (DTM) that accounts for this and other features of mood experience. DTM holds that moods are temporary dispositions to have or to generate particular kinds of emotion-relevant appraisals. Furthermore, DTM assumes that the cognitions and appraisals one is disposed to have in a given mood partly constitute the experience of mood. This article outlines (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   22 citations  
  40.  31
    Interpolation in fuzzy logic.Matthias Baaz & Helmut Veith - 1999 - Archive for Mathematical Logic 38 (7):461-489.
    We investigate interpolation properties of many-valued propositional logics related to continuous t-norms. In case of failure of interpolation, we characterize the minimal interpolating extensions of the languages. For finite-valued logics, we count the number of interpolating extensions by Fibonacci sequences.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   13 citations  
  41.  43
    A Leap of Faith: Is There a Formula for “Trustworthy” AI?Matthias Braun, Hannah Bleher & Patrik Hummel - 2021 - Hastings Center Report 51 (3):17-22.
    Trust is one of the big buzzwords in debates about the shaping of society, democracy, and emerging technologies. For example, one prominent idea put forward by the High‐Level Expert Group on Artificial Intelligence appointed by the European Commission is that artificial intelligence should be trustworthy. In this essay, we explore the notion of trust and argue that both proponents and critics of trustworthy AI have flawed pictures of the nature of trust. We develop an approach to understanding trust in AI (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   10 citations  
  42.  9
    The dark triad and corporate sustainability: An empirical analysis of personality traits of sustainability managers.Matthias Pelster & Stefan Schaltegger - 2021 - Business Ethics, the Environment and Responsibility 31 (1):80-99.
    Business Ethics, the Environment & Responsibility, Volume 31, Issue 1, Page 80-99, January 2022.
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark   2 citations  
  43.  6
    Der Psychologismusstreit in der deutschen Philosophie.Matthias Rath - 1994
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark   12 citations  
  44.  43
    Past and Present Interactions in Legal Reasoning and Logic.Matthias Armgardt, Patrice Canivez & Sandrine Chassagnard-Pinet (eds.) - 2015 - Cham, Switzerland: Springer.
    This volume explores the relation between legal reasoning and logic from both a historical and a systematic perspective. The topics addressed include, among others, conditional legal acts, disjunctions in legal acts, presumptions and conjectures, conflicts of values, Jørgensen´s Dilemma, the Rhetor´s Dilemma, the theory of legal fictions and the categorization of contracts. The unifying problematic of these contributions concerns the conditional structures and, more particularly, the relationship between legal theory and legal reasoning in the context of conditions.
  45.  5
    Phänomenologie der Normativität: Entwurf einer materialen Anthropologie im Anschluss an Max Scheler und Helmuth Plessner.Matthias Schlossberger - 2019 - Basel: Schwabe Verlag.
    Phänomenologie der Normativität ist der Versuch zu zeigen, wie Normativität in der menschlichen Natur gründet. Im Anschluss an die phänomenologische Anthropologie Max Schelers und Helmuth Plessners stellt der Autor die Strukturen menschlichen Lebens heraus, die alle menschlichen Lebensformen fundieren. Menschen sind Lebewesen, die einen Leib haben, und dieses Phänomen ist ursprünglicher als die Unterscheidung von Körper und Geist. Hält man sich dies vor Augen, werden bestimmte Formen menschlicher Normativität verständlich: Die menschliche Lebensweise ist auf ein Gleichgewicht verschiedener Formen des Miteinanders (...)
    Direct download  
     
    Export citation  
     
    Bookmark   1 citation  
  46.  21
    Expert Advice and Argumentation: Some Remarks on the Work of Douglas Walton.Frans A. J. Birrer - 2001 - Argumentation 15 (3):267-276.
    Appeal to expert judgement has become a wide-spread and unavoidable element in public debates in modern society. The many and fundamental argumentative complications that they raise have not received proportional attention in argumentation studies so far. A prominent exception is a recent book by Douglas Walton, devoted entirely to arguments involving expert opinion (Walton, 1997). Confronting some examples from the field of Science and Society with Walton's earlier work, the need can be traced for a more elaborate and sophisticated treatment (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  47. Elimination of Cuts in First-order Finite-valued Logics.Matthias Baaz, Christian G. Fermüller & Richard Zach - 1993 - Journal of Information Processing and Cybernetics EIK 29 (6):333-355.
    A uniform construction for sequent calculi for finite-valued first-order logics with distribution quantifiers is exhibited. Completeness, cut-elimination and midsequent theorems are established. As an application, an analog of Herbrand’s theorem for the four-valued knowledge-representation logic of Belnap and Ginsberg is presented. It is indicated how this theorem can be used for reasoning about knowledge bases with incomplete and inconsistent information.
    Direct download  
     
    Export citation  
     
    Bookmark   17 citations  
  48. Why worry about theory‐dependence? Circularity, minimal empiricality and reliability.Matthias Adam - 2004 - International Studies in the Philosophy of Science 18 (2 & 3):117 – 132.
    It is a widely shared view among philosophers of science that the theory-dependence (or theory-ladenness) of observations is worrying, because it can bias empirical tests in favour of the tested theories. These doubts are taken to be dispelled if an observation is influenced by a theory independent of the tested theory and thus circularity is avoided, while (partially) circular tests are taken to require special attention. Contrary to this consensus, it is argued that the epistemic value of theory-dependent tests has (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   8 citations  
  49.  10
    Einleitende Bemerkungen.Mathias Birrer - 2017 - In Birrer Mathias (ed.), Kant Und Die Heterogenität der Erkenntnisquellen. Berlin, DE and Boston, USA: De Gruyter. pp. 97-107.
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark  
  50.  3
    Frontmatter.Mathias Birrer - 2017 - In Birrer Mathias (ed.), Kant Und Die Heterogenität der Erkenntnisquellen. Berlin, DE and Boston, USA: De Gruyter.
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark  
1 — 50 / 1000