Results for 'Greiff Matthias'

59 found
Order:
  1. Standards and the Distribution of Cognitive Labour: A Model of the Dynamics of Scientific Activity.Langhe Rogieder & Greiff Matthias - 2010 - Logic Journal of the IGPL 18 (2):278-294.
    We present a model of the distribution of labour in science. Such models tend to rely on the mechanism of the invisible hand . Our analysis starts from the necessity of standards in distributed processes and the possibility of multiple standards in science. Invisible hand models turn out to have only limited scope because they are restricted to describing the atypical single-standard case. Our model is a generalisation of these models to J standards; single-standard models such as Kitcher are a (...)
    Download  
     
    Export citation  
     
    My bibliography   3 citations  
  2. Christoph Luetge, Hannes Rusch, & Matthias Uhl , Experimental Ethics: Toward an Empirical Moral Philosophy.Mark Alfano - 2016 - Ethical Theory and Moral Practice:1-4.
    It would be unkind but not inaccurate to say that most experimental philosophy is just psychology with worse methods and better theories. In Experimental Ethics: Towards an Empirical Moral Philosophy, Christoph Luetge, Hannes Rusch, and Matthias Uhl set out to make this comparison less invidious and more flattering. Their book has 16 chapters, organized into five sections and bookended by the editors’ own introduction and prospectus. Contributors hail from four countries (Germany, USA, Spain, and the United Kingdom) and five (...)
    Download  
     
    Export citation  
     
    My bibliography  
  3. Stadt Und Film. Versuche Zu Einer 'Visuellen Soziologie' Herausgegeben von Matthias Horwitz, Bernward Joerges Und Jörg Potthast MIT Beiträgen von B. Joerges, D. Kress, A. Krämer, D. Naegler Und J. Potthast.Bernward Joerges - 1996 - In Bernward Joerges, Jörg Potthast & Mathias Horowitz (eds.), WZB Discussion Papers. WZB.
    Download  
    Translate
     
     
    Export citation  
     
    My bibliography  
  4. Review of Matthias Steup (Ed.), Knowledge, Truth, and Duty: Essays on Epistemic Justification, Responsibility, and Virtue[REVIEW]Thomas D. Senor - 2002 - Notre Dame Philosophical Reviews 2002 (3).
    Download  
     
    Export citation  
     
    My bibliography  
  5. Personal Identity: Complex or Simple? Gasser Georg and Stefan Matthias, Eds. Cambridge University Press, 2012. XI + 259 Pp. $95 (Hardback). [REVIEW]A. R. J. Fisher - 2013 - Dialogue 52 (4):1-3.
    Download  
     
    Export citation  
     
    My bibliography  
  6. Matthias Neuber: Die Grenzen des Revisionismus: Schlick, Cassirer und das "Raumproblem". [REVIEW]Thomas Mormann - 2014 - Zeitschrift für Philosophische Forschung 68 (1):127-131.
    Download  
    Translate
     
     
    Export citation  
     
    My bibliography  
  7.  21
    Godehard Brüntrup, Matthias Rugel, and Maria Schwartz . Auferstehung des Leibes - Unsterblichkeit der Seele. [Resurrection of the Body - Immortality of the Soul]. Kohlhammer, 2010. [REVIEW]Thomas Marschler - 2011 - European Journal for Philosophy of Religion 3 (1):260-265.
    Download  
     
    Export citation  
     
    My bibliography  
  8. Against Doxastic Compatibilism.Rik Peels - 2014 - Philosophy and Phenomenological Research 89 (1):679-702.
    William Alston has argued that the so-called deontological conception of epistemic justification, on which epistemic justification is to be spelled out in terms of blame, responsibility, and obligations, is untenable. The basic idea of the argument is that this conception is untenable because we lack voluntary control over our beliefs and, therefore, cannot have any obligations to hold certain beliefs. If this is convincing, however, the argument threatens the very idea of doxastic responsibility. For, how can we ever be responsible (...)
    Download  
     
    Export citation  
     
    My bibliography   6 citations  
  9. Fish and Microchips: On Fish Pain and Multiple Realization.Matthias Michel - forthcoming - Philosophical Studies:1-18.
    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  
     
    My bibliography  
  10. 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  
    Translate
     
     
    Export citation  
     
    My bibliography  
  11. 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  
     
    My bibliography   2 citations  
  12. 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  
     
    My bibliography   6 citations  
  13. 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  
    Translate
     
     
    Export citation  
     
    My bibliography   3 citations  
  14. 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  
     
    My bibliography  
  15. Braucht die theoretische Physik den religiösen Glauben? Neo-Scholastik und Positivismus in der Dritten Republik.Matthias Neuber - 2013 - Revue de Synthèse 134 (2):221-247.
    Download  
    Translate
     
     
    Export citation  
     
    My bibliography  
  16. Classicality Lost: K3 and LP After the Fall.Matthias Jenny - 2016 - Thought: A Journal of Philosophy 5 (4).
    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 paper, 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  
     
    My bibliography  
  17. Constructing Commitment: Brandom's Pragmatist Take on Rule‐Following.Matthias Kiesselbach - 2012 - 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  
     
    My bibliography   2 citations  
  18. 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  
     
    My bibliography   3 citations  
  19. The Normativity of Meaning: From Constitutive Norms to Prescriptions.Matthias Kiesselbach - 2014 - Acta Analytica 29 (4):427-440.
    This paper defends the normativity of meaning thesis by clearing up a misunderstanding about what the thesis amounts to. The misunderstanding is that according to it, failing to use an expression in accordance with the norms which constitute its meaning amounts to changing the expression’s meaning. If this was what the thesis claimed, then it would indeed be easy to show that meaning norms do not yield prescriptions and cannot be followed. However, there is another reading: what is constitutive of (...)
    Download  
     
    Export citation  
     
    My bibliography   1 citation  
  20. Hobbes's Struggle with Contractual Obligation. On the Status of the Laws of Nature in Hobbes's Work.Matthias Kiesselbach - 2010 - Hobbes Studies 23 (2):105-123.
    This paper argues that throughout his intellectual career, Hobbes remains unsatisfied with his own attempts at proving the invariant advisability of contract-keeping. Not only does he see himself forced to abandon his early idea that contractual obligation is a matter of physical laws. He also develops and retains doubts concerning its theoretical successor, the doctrine that the obligatoriness characteristic of contracts is the interest in self-preservation in alliance with instrumental reason - i.e. prudence. In fact, it is during his work (...)
    Download  
     
    Export citation  
     
    My bibliography  
  21. Jakob Friedrich Fries (1773-1843): Eine Philosophie der Exakten Wissenschaften.Kay Herrmann - 1994 - Tabula Rasa. Jenenser Zeitschrift Für Kritisches Denken (6).
    Jakob Friedrich Fries (1773-1843): A Philosophy of the Exact Sciences -/- Shortened version of the article of the same name in: Tabula Rasa. Jenenser magazine for critical thinking. 6th of November 1994 edition -/- 1. Biography -/- Jakob Friedrich Fries was born on the 23rd of August, 1773 in Barby on the Elbe. Because Fries' father had little time, on account of his journeying, he gave up both his sons, of whom Jakob Friedrich was the elder, to the Herrnhut Teaching (...)
    Download  
    Translate
     
     
    Export citation  
     
    My bibliography  
  22. Critical Realism in Perspective - Remarks on a Neglected Current in Neo-Kantian Epistemology.Matthias Neuber - 2014 - In Maria Carla Galavotti, Dennis Dieks, Wenceslao J. Gonzales, Stephan Hartmann, Thomas Uebel & Marcel Weber (eds.), The Philosophy of Science in a European Perspective: New Directions in the Philosophy of Science. Springer. pp. 657-673.
    Critical realism is a frequently mentioned, but not very well-known, late nineteenth-/early twentieth-century philosophical tradition. Having its roots in Kantian epistemology, critical realism is best characterized as a revisionist approach toward the original Kantian doctrine. Its most outstanding thesis is the idea that Kantian things-in-themselves are knowable. This idea was—at least implicitly—suggested by thinkers such as Alois Riehl, Wilhelm Wundt, and Oswald Külpe. Interestingly enough, the philosophical position of the early Moritz Schlick stands in the critical realist tradition as well. (...)
    Download  
     
    Export citation  
     
    My bibliography  
  23. Ist die Idee des Guten nicht transzendent oder ist sie es doch? Nochmals Platons ΕΠΕΚΕΙΝΑ ΤΗΣ ΟΥΣΙΑΣ.Rafael Ferber - 2005 - In Damir Barbaric (ed.), Platon über das Gute und die Gerechtigkeit / Plato on Goodness and Justice / Platone sul Bene e sulla Giustizia. Königshausen & Neumann. pp. 149-174.
    Plato scholars such as Matthias Baltes (1940-2003) and Luc Brisson have defended the thesis that Plato‘s Idea of the Good is on the one hand beyond being (epekeina tês ousias) in dignity and power, but is nevertheless not transcendent over being. The article gives first (I.), an introduction into the status questionis. Second (II.), it delivers the most important arguments for the thesis of Baltes and Brisson. Third (III.), it gives two counterarguments against the thesis. Fourth (IV), it deals (...)
    Download  
    Translate
     
     
    Export citation  
     
    My bibliography  
  24.  37
    Introduction: Personal Identity: Complex or Simple?Georg Gasser & Matthias Stefan - 2012 - In Personal Identity: Complex or Simple? Cambridge: Cambridge University Press. pp. 1-17.
    Download  
     
    Export citation  
     
    My bibliography   2 citations  
  25. 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 (...)
    Download  
    Translate
     
     
    Export citation  
     
    My bibliography  
  26.  46
    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  
     
    My bibliography   8 citations  
  27.  40
    Effective Finite-Valued Approximations of General Propositional Logics.Matthias Baaz & Richard Zach - 2008 - In Arnon Avron, Nachum Dershowitz & Alexander Rabinovich (eds.), Pillars of Computer Science: Essays Dedicated to Boris (Boaz) Trakhtenbrot on the Occasion of His 85th Birthday. Berlin: Springer. 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  
     
    My bibliography  
  28. David J. Chalmers: Constructing the World. [REVIEW]Matthias Neuber - 2014 - Zeitschrift für Philosophische Forschung 68 (4):648-652.
    Download  
    Translate
     
     
    Export citation  
     
    My bibliography  
  29. Ostwald, Weber und die 'energetischen Grundlagen' der Kulturwissenschaft.Matthias Neuber - forthcoming - In Gerhard Wagner & Claudius Härpfer (eds.), Max Webers vergessene Zeitgenossen. Studien zur Genese der Wissenschaftslehre. Harrassowitz Verlag..
    Wilhelm Ostwald’s program of a physical energetics is the attempt at a comprehensive description of nature on the basis of the concept of energy. In his book Energetische Grundlagen der Kulturwissenschaft, first published in 1909, Ostwald applies this conception to the area of culture. His central assumption is that cultural phenomena should be described by the energetic notion of “efficiency relation” (Güteverhältnis). His systematic thesis is that science, when organized according to the Machian “principle of economy,” proves as the highest (...)
    Download  
    Translate
     
     
    Export citation  
     
    My bibliography  
  30. Vaihinger, Scholz und die Religionsphilosophie des 'Als ob'.Matthias Neuber - manuscript
    Download  
    Translate
     
     
    Export citation  
     
    My bibliography  
  31.  8
    Le Bien de Platon et le problème de la transcendance du Principe. Encore une fois l’ἐπέκεινα τῆς οὐσίας de Platon.Rafael Ferber - 2017 - Chôra 15:31-43.
    The article again treats the question of whether ≪the Idea of the Good is a Reality in the Universe, or beyond it. Is it immanent or transcendent?≫. Plato scholars such as Matthias Baltes and Luc Brisson have defended the thesis that Plato’s Idea of the Good is, on the one hand, beyond being in dignity and power, but, on the other, is nevertheless not transcendent over being. The article delivers first the most important arguments for the thesis of Baltes (...)
    Download  
    Translate
     
     
    Export citation  
     
    My bibliography  
  32. 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  
     
    My bibliography  
  33.  28
    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  
     
    My bibliography   1 citation  
  34. Warring Tautologies: Moral Dissent from a Cognitivist Perspective.Matthias Kiesselbach - 2009 - Ethic@ 8 (1):125-145.
    It is commonly thought that the prevalence of moral dissent poses a problem for the moral cognitivist, forcing her to diagnose either a lot of misunderstanding, or a lot of unexplained observational error. Since mere misunderstanding can be ruled out in most cases of moral dissent, and since the diagnosis of widespread unexplained error is interpretively unstable, prevalent dissent has pushed many philosophers towards non-cognitivism. In this essay, I argue that once a diachronic, pragmatist theory of language along the lines (...)
    Download  
    Translate
     
     
    Export citation  
     
    My bibliography  
  35.  25
    Algorithmic Structuring of Cut-Free Proofs.Matthias Baaz & Richard Zach - 1993 - In Egon Börger, Hans Kleine Büning, Gerhard Jäger, Simone Martini & Michael M. Richter (eds.), Computer Science Logic. CSL’92, San Miniato, Italy. Selected Papers. Berlin: 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  
     
    My bibliography  
  36. Zwischen Partikularismus und Generalismus: Ethische Probleme als Grammatische Spannungen.Matthias Kiesselbach - 2010 - Allgemeine Zeitschrift für Philosophie 35 (1):2010.
    This essay argues that there is room for a third position between moral particularism and moral generalism in their orthodox forms. The view proposed in this essay is inspired by the later Wittgenstein's conception of grammar and holds that formulations of ethical principles can be interpreted as grammatical statements, while ethical problems can be interpreted as instances of grammatical tension. On this reading, situations in which ethical principles turn out to conict come out as moments in the evolution of language. (...)
    Download  
    Translate
     
     
    Export citation  
     
    My bibliography  
  37.  23
    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  
     
    My bibliography   1 citation  
  38. Dogmenfreiheit als Prinzip? Neuere Literatur zum logischen Empirismus.Matthias Neuber - 2011 - Zeitschrift für Philosophische Forschung 65 (1):96-114.
    Download  
    Translate
     
     
    Export citation  
     
    My bibliography  
  39.  11
    Elimination of Cuts in First-Order Finite-Valued Logics.Matthias Baaz, Christian G. Fermüller & Richard Zach - 1994 - 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  
     
    My bibliography   3 citations  
  40.  42
    Review Carnap_Metaontology. [REVIEW]Matthias Neuber - forthcoming - Zeitschrift für Philosophische Forschung.
    Download  
    Translate
     
     
    Export citation  
     
    My bibliography  
  41.  21
    Hypersequents and the Proof Theory of Intuitionistic Fuzzy Logic.Matthias Baaz & Richard Zach - 2000 - In Peter G. Clote & Helmut Schwichtenberg (eds.), Computer Science Logic. 14th International Workshop, CSL 2000. Berlin: 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  
     
    My bibliography  
  42.  21
    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. Berlin: 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  
    Translate
     
     
    Export citation  
     
    My bibliography  
  43.  24
    Systematic Construction of Natural Deduction Systems for Many-Valued Logics.Matthias Baaz, Christian G. Fermüller & Richard Zach - 1993 - In Proceedings of The Twenty-Third International Symposium on Multiple-Valued Logic, 1993. Los Alamitos, CA: IEEE Press. pp. 208-213.
    A construction principle for natural deduction systems for arbitrary, finitely-many-valued first order logics is exhibited. These systems are systematically obtained from sequent calculi, which in turn can be automatically extracted from the truth tables of the logics under consideration. Soundness and cut-free completeness of these sequent calculi translate into soundness, completeness, and normal-form theorems for natural deduction systems.
    Download  
     
    Export citation  
     
    My bibliography  
  44.  87
    Schlick und die "Wende der Philosophie" - Vom kritischen Realismus zum logischen Empirismus.Matthias Neuber - forthcoming - In Husserl, Cassirer, Schlick: "Wissenschaftliche Philosophie" Im Spannungsfeld von Phänomenologie, Neukantianismus Und Logischem Empirismus. Springer.
    Download  
    Translate
     
     
    Export citation  
     
    My bibliography  
  45.  77
    Carnap's Aufbau and the Early Schlick.Matthias Neuber - manuscript
    Download  
    Translate
     
     
    Export citation  
     
    My bibliography  
  46.  19
    Incompleteness of a First-Order Gödel Logic and Some Temporal Logics of Programs.Matthias Baaz, Alexander Leitsch & Richard Zach - 1996 - In Hans Kleine Büning (ed.), Computer Science Logic. CSL 1995. Selected Papers. Berlin: 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  
     
    My bibliography  
  47.  70
    Feigl, Sellars, and the Idea of a 'Pure Pragmatics'.Matthias Neuber - manuscript
    Download  
    Translate
     
     
    Export citation  
     
    My bibliography  
  48.  61
    Review Don Ross, James Ladyman, Harold Kincaid (eds.): Scientific Metaphysics. [REVIEW]Matthias Neuber - 2014 - Zeitschrift für Philosophische Forschung 68 (3):426-430.
    Download  
    Translate
     
     
    Export citation  
     
    My bibliography  
  49.  14
    Completeness of a Hypersequent Calculus for Some First-Order Gödel Logics with Delta.Matthias Baaz, Norbert Preining & Richard Zach - 2006 - In 36th International Symposium on Multiple-valued Logic. May 2006, Singapore. Proceedings. Los Alamitos: 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  
     
    My bibliography  
  50.  15
    Quantified Propositional Gödel Logics.Matthias Baaz, Agata Ciabattoni & Richard Zach - 2000 - In Andrei Voronkov & Michel Parigot (eds.), Logic for Programming and Automated Reasoning. 7th International Conference, LPAR 2000. Berlin: 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  
     
    My bibliography  
1 — 50 / 59