Results for 'Transcendental Logic'

1000+ found
Order:
  1. Wolff's Empirical Psychology and the Structure of the Transcendental Logic.Brian A. Chance - 2018 - In Corey Dyck & Falk Wunderlich (eds.), Kant and his German Contemporaries. Volume 1. Cambridge University Press.
    It is often claimed that the structure of the Transcendental Logic is modeled on the Wolffian division of logic textbooks into sections on concepts, judgments, and inferences. While it is undeniable that the Transcendental Logic contains elements that are similar to the content of these sections, I believe these similarities are largely incidental to the structure of the Transcendental Logic. In this essay, I offer an alternative and, I believe, more plausible account of (...)
    Download  
     
    Export citation  
     
    Bookmark  
  2. Transcendental Logic Redefined.Manuel Bremer - 2008 - Review of Contemporary Philosophy 7.
    Traditionally transcendental logic has been set apart from formal logic. Transcendental logic had to deal with the conditions of possibility of judgements, which were presupposed by formal logic. Defined as a purely philosophical enterprise transcendental logic was considered as being a priori delivering either analytic or even synthetic a priori results. In this paper it is argued that this separation from the (empirical) cognitive sciences should be given up. Transcendental logic (...)
    Download  
     
    Export citation  
     
    Bookmark  
  3. The Necessity and Limits of Kant’s Transcendental Logic, with Reference to Nietzsche and Hegel.Max Gottschlich - 2015 - Review of Metaphysics 69 (2):287-315.
    Engaging with Kant’s transcendental logic seems to be a question of mere scholarly historical interest today. It is most commonly regarded a mixture between logic and psychology or epistemology, and by that, not a serious form of logic. Transcendental logic seems to be of no systematical impact on the concept of logic. My paper aims to disclose a different account on the endeavour of Kant’s transcendental logic in particular and of the (...)
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  4. Consequences and Design in General and Transcendental Logic.Elena G. Dragalina-Chernaya - 2018 - Kantian Journal 37 (1):25-39.
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  5. A Formalization of Kant’s Transcendental Logic.Theodora Achourioti & Michiel van Lambalgen - 2011 - Review of Symbolic Logic 4 (2):254-289.
    Although Kant (1998) envisaged a prominent role for logic in the argumentative structure of his Critique of Pure Reason, logicians and philosophers have generally judged Kantgeneralformaltranscendental logics is a logic in the strict formal sense, albeit with a semantics and a definition of validity that are vastly more complex than that of first-order logic. The main technical application of the formalism developed here is a formal proof that Kants logic is after all a distinguished subsystem of (...)
    Download  
     
    Export citation  
     
    Bookmark   3 citations  
  6.  87
    Transcendental Paralogisms as Formal Fallacies - Kant’s Refutation of Pure Rational Psychology.Toni Kannisto - 2018 - Kant-Studien 109 (2):195-227.
    : According to Kant, the arguments of rational psychology are formal fallacies that he calls transcendental paralogisms. It remains heavily debated whether there actually is any formal error in the inferences Kant presents: according to Grier and Allison, they are deductively invalid syllogisms, whereas Bennett, Ameriks, and Van Cleve deny that they are formal fallacies. I advance an interpretation that reconciles these extremes: transcendental paralogisms are sound in general logic but constitute formal fallacies in transcendental (...). By formalising the paralogistic inference, I will pinpoint the error as an illegitimate existential presupposition. Since - unlike transcendental logic - general logic abstracts from all objects, this error can only be detected in transcendental logic. (shrink)
    Download  
     
    Export citation  
     
    Bookmark  
  7. La noción kantiana de verdad trascendental.Stéfano Straulino - 2016 - Revista de Estudios Kantianos 1 (2):126-145.
    Kant's Notion of "Transcendental Truth". [English] The aim of this work is to elucidate the notion of “transcendental truth” and to show its role in the Kantian system. I will argue that this notion is in line with the traditional definition of truth, i.e., that it consists in the correspondence between knowledge and object. I will also argue that criteria of transcendental truth are provided by transcendental logic, and that it is this notion of truth (...)
    Download  
    Translate
     
     
    Export citation  
     
    Bookmark   2 citations  
  8. El papel de la noción de verdad en el planteamiento de la filosofía crítica de Kant.Stéfano Straulino - 2019 - Tópicos: Revista de Filosofía 56:49-74.
    The Role of the Notion of Truth in the Project of Kant’s Critical Philosophy [English] The discussion about Kant’s theory of truth usually revolves around his ascription to some version of the coherence or correspondence theory of truth, and the matching criteria of truth. These discussions often deliberate which theory of truth is most appropriate given the critical principles. Instead, this paper aims to exhibit, through the evolution of Kant’s notion of truth in his precritical years and through the project (...)
    Download  
    Translate
     
     
    Export citation  
     
    Bookmark  
  9. Método y transcendentalidad en el Tractatus.Felipe Ledesma - 2008 - In Luis Fernández Moreno (ed.), Para leer a Wittgenstein. Lenguaje y pensamiento. pp. 155-188.
    This article is a commentary of the section 5.552 of the Tractatus, about the “experience” that is necessary to understand logic, from the point of view of the so called continental philosophy. In this commentary are tackled some questions: what is exactly this “experience”?; what does mean that logic is a speculative image of the world?; how are the relations between logic and metaphysics (the two components of philosophy, according to Wittgenstein)? All these questions lead us to (...)
    Download  
    Translate
     
     
    Export citation  
     
    Bookmark  
  10. La pregunta por la verdad en la Lógica trascendental de Kant.Stéfano Straulino - 2018 - Revista Estudios 124:37-55.
    The Question of Truth in Kant’s Transcendental Logic [English] In the third section of the “Introduction” to transcendental logic, Kant dedicates a couple of paragraphs to the subject of truth (KrV B82-83). Based on this passage, Kant’s com¬mentators have justified various and sometimes contradictory interpretations of the Kantian notion of truth. However, few have analyzed the passage in its own context, that is, as part of the strategy to introduce the idea of transcendental logic. (...)
    Download  
    Translate
     
     
    Export citation  
     
    Bookmark  
  11.  61
    Autologos. Ein Dialog über die Fundamentallogik.Gregor Damschen - 2015 - In Gregor Damschen & Alejandro G. Vigo (eds.), Dialog und Verstehen. Klassische und moderne Perspektiven. Berlin: Lit. pp. 229–244.
    Autologos. A dialogue on fundamental logic. - In this dialogue of three dialogue partners, an attempt is made to prove the logical prerequisites of any meaningful dialogue by using transcendental arguments. Among these inescapable logical premises are a semantics as strong as that of modal logic S5, and an epistemic anti-realism.
    Download  
    Translate
     
     
    Export citation  
     
    Bookmark  
  12. Gottes notwendige Existenz stiftet Sinn. Versuch eines transzendental-modallogischen Beweises.Gregor Damschen - 2014 - In Martina Bär & Maximilian Paulin (eds.), Macht Glück Sinn? Theologische und philosophische Erkundungen. Ostfildern, Germany: Matthias Grünewald Verlag. pp. 96-111.
    God's necessary existence makes sense. Attempt at a transcendental modal proof. - In this essay I outline a novel three-stage proof of God's necessary existence using transcendental and deductive methods. In the first step of the proof, by retorsion, it is proved that there is at least one sentence that is necessary and inescapable. In the second step, the inescapability of the modal logic supposed in the proof is shown. This step also contains a new argument in (...)
    Download  
    Translate
     
     
    Export citation  
     
    Bookmark  
  13. A Brief Introduction to Transcendental Phenomenology and Conceptual Mathematics.Nicholas Lawrence - 2017 - Dissertation,
    By extending Husserl’s own historico-critical study to include the conceptual mathematics of more contemporary times – specifically category theory and its emphatic development since the second half of the 20th century – this paper claims that the delineation between mathematics and philosophy must be completely revisited. It will be contended that Husserl’s phenomenological work was very much influenced by the discoveries and limitations of the formal mathematics being developed at Göttingen during his tenure there and that, subsequently, the rôle he (...)
    Download  
     
    Export citation  
     
    Bookmark  
  14. How to Solve the Knowability Paradox with Transcendental Epistemology.Andrew Stephenson - forthcoming - Synthese:1-26.
    A novel solution to the knowability paradox is proposed based on Kant’s transcendental epistemology. The ‘paradox’ refers to a simple argument from the moderate claim that all truths are knowable to the extreme claim that all truths are known. It is significant because anti-realists have wanted to maintain knowability but reject omniscience. The core of the proposed solution is to concede realism about epistemic statements while maintaining anti-realism about non-epistemic statements. Transcendental epistemology supports such a view by providing (...)
    Download  
     
    Export citation  
     
    Bookmark  
  15. Logic and Formal Ontology.B. Smith - 1989 - In J. N. Mohanty & W. McKenna (eds.), Husserl’s Phenomenology: A Textbook. Lanham: University Press of America. pp. 29-67.
    The current resurgence of interest in cognition and in the nature of cognitive processing has brought with it also a renewed interest in the early work of Husserl, which contains one of the most sustained attempts to come to grips with the problems of logic from a cognitive point of view. Logic, for Husserl, is a theory of science; but it is a theory which takes seriously the idea that scientific theories are constituted by the mental acts of (...)
    Download  
     
    Export citation  
     
    Bookmark   11 citations  
  16.  8
    Kant’s Transcendental Turn as a Second Phase in the Logicization of Philosophy.Nikolay Milkov - 2013 - In Stefano Bacin, Alfredo Ferrarin, Claudio La Rocca & Margit Ruffing (eds.), Kant Und Die Philosophie in Weltbürgerlicher Absicht. Akten des Xi. Internationalen Kant-Kongresses. Berlin: De Gruyter. pp. 653-666.
    This paper advances an assessment of Kant’s Critique of Pure Reason made from a bird’s eye view. Seen from this perspective, the task of Kant’s work was to ground the spontaneity of human reason, preserving at the same time the strict methods of science and mathematics. Kant accomplished this objective by reviving an old philosophical discipline: the peirastic dialectic of Plato and Aristotle. What is more, he managed to combine it with logic. From this blend, Kant’s transcendental idealism (...)
    Download  
     
    Export citation  
     
    Bookmark  
  17. Gesetze des Denkens? Von Husserls und Freges Psychologismus-Kritik zu einem transzendentalen Kern der Logik.David Löwenstein - forthcoming - Zeitschrift für Philosophische Forschung.
    Husserl and Frege reject logical psychologism, the view that logical laws are psychological `laws of thought'. This paper offers an account of these famous objections and argues that their crucial premise, the necessity of logical laws, is justified with reference to a problematic metaphysics. However, this premise can be established in a more plausible way, namely via a transcendental argument which starts from the practice of rational criticism. This argument is developed through a discussion of Quine's holism, which at (...)
    Download  
    Translate
     
     
    Export citation  
     
    Bookmark  
  18. Co-Constructive Logic for Proofs and Refutations.James Trafford - 2014 - Studia Humana 3 (4):22-40.
    This paper considers logics which are formally dual to intuitionistic logic in order to investigate a co-constructive logic for proofs and refutations. This is philosophically motivated by a set of problems regarding the nature of constructive truth, and its relation to falsity. It is well known both that intuitionism can not deal constructively with negative information, and that defining falsity by means of intuitionistic negation leads, under widely-held assumptions, to a justification of bivalence. For example, we do not (...)
    Download  
     
    Export citation  
     
    Bookmark   2 citations  
  19. Are There Ultimately Founded Propositions?Gregor Damschen - 2010 - Universitas Philosophica 27 (54):163-177.
    Can we find propositions that cannot rationally be denied in any possible world without assuming the existence of that same proposition, and so involving ourselves in a contradiction? In other words, can we find transworld propositions needing no further foundation or justification? Basically, three differing positions can be imagined: firstly, a relativist position, according to which ultimately founded propositions are impossible; secondly, a meta-relativist position, according to which ultimately founded propositions are possible but unnecessary; and thirdly, an absolute position, according (...)
    Download  
     
    Export citation  
     
    Bookmark  
  20. Ricoeur’s Transcendental Concern: A Hermeneutics of Discourse.William D. Melaney - 2011 - In Anna-Teresa Tymieniecka (ed.), Analecta Husserliana. Springer. pp. 495-513.
    This paper argues that Paul Ricoeur’s hermeneutical philosophy attempts to reopen the question of human transcendence in contemporary terms. While his conception of language as self-transcending is deeply Husserlian, Ricoeur also responds to the analytical challenge when he deploys a basic distinction in Fregean logic in order to clarify Heidegger’s phenomenology of world. Ricoeur’s commitment to a transcendental view is evident in his conception of narrative, which enables him to emphasize the role of the performative in literary reading. (...)
    Download  
    Translate
     
     
    Export citation  
     
    Bookmark  
  21. The Logic and Topology of Kant's Temporal Continuum.Riccardo Pinosio & Michiel van Lambalgen - manuscript
    In this article we provide a mathematical model of Kant?s temporal continuum that satisfies the (not obviously consistent) synthetic a priori principles for time that Kant lists in the Critique of pure Reason (CPR), the Metaphysical Foundations of Natural Science (MFNS), the Opus Postumum and the notes and frag- ments published after his death. The continuum so obtained has some affinities with the Brouwerian continuum, but it also has ‘infinitesimal intervals’ consisting of nilpotent infinitesimals, which capture Kant’s theory of rest (...)
    Download  
     
    Export citation  
     
    Bookmark  
  22. Study on Logic Reasoning and Ideological Characteristic of “Equivalence of Life and Death” of Chuang-Tzu. Di Wu - 2017 - Theory Horizon 526 (6):46-51.
    The Concept of Life and Death of Chuang-tzu have inherited and developed Confucianism and Taoism thoughts, establishing Ontological foundation of "Life - Body", distinguishing the transcendental concept of "Dead Heart" and the empirical concept of "Death Body", as well as proposing the thought of "Equivalence of Life and Death" finally. The logic Reasoning of Chuang-tzu "Equivalence of Life and Death", start from constructing the equal status of "Life" and “Death" from ontological argument. Life and Death then are reduced (...)
    Download  
    Translate
     
     
    Export citation  
     
    Bookmark  
  23. On Novels as Arguments.Gilbert Plumer - 2015 - Informal Logic 35 (4):488-507.
    If novels can be arguments, that fact should shape logic or argumentation studies as well as literary studies. Two senses the term ‘narrative argument’ might have are (a) a story that offers an argument, or (b) a distinctive argument form. I consider whether there is a principled way of extracting a novel’s argument in sense (a). Regarding the possibility of (b), Hunt’s view is evaluated that many fables and much fabulist literature inherently, and as wholes, have an analogical argument (...)
    Download  
     
    Export citation  
     
    Bookmark   4 citations  
  24.  43
    Pensar como operación – Acerca de los presupuestos e implicaciones de la lógica formal moderna.Max Gottschlich - 2017 - Revista de Estudios Kantianos 2 (1):9-19.
    La lógica formal no es una ciencia que se encuentre libre de presupuestos. Más bien, su representación de la forma lógica se basa en presupuestos a los cuales la lógica misma no llega. Este artículo se propone aclararlos. Para ello, en un primer momento, consideraremos las determinaciones fundamentales de la forma lógica. En un segundo paso, esta consideración será profundizada a partir del análisis del concepto lógico-formal de “concepto”. Con él se plantean problemas que hacen necesario avanzar en la reflexión (...)
    Download  
    Translate
     
     
    Export citation  
     
    Bookmark  
  25. The Deleuzian Revolution: Ten Innovations in Difference and Repetition.Daniel W. Smith - 2020 - Deleuze and Guatarri Studies 14 (1):34-49.
    Difference and Repetition might be said to have brought about a Deleuzian Revolution in philosophy comparable to Kant’s Copernican Revolution. Kant had denounced the three great terminal points of traditional metaphysics – self, world and God – as transcendent illusions, and Deleuze pushes Kant’s revolution to its limit by positing a transcendental field that excludes the coherence of the self, world and God in favour of an immanent and differential plane of impersonal individuations and pre-individual singularities. In the process, (...)
    Download  
     
    Export citation  
     
    Bookmark  
  26. Sublating Kant and the Old Metaphysics: A Reading of the Transition From Being to Essence in Hegel's Logic.Michael Baur - 1998 - The Owl of Minerva 29 (2):139-164.
    Kant’s “transcendental” or “critical” philosophy is an instance of what can be called the “critique of immediacy.” As part of his critical project, Kant argues that one cannot merely assume that there is a reestablished harmony between thought and being. Instead, one must effect a “return to the subject” and examine the forms of thought themselves, in order to determine the extent to which thought and being are commensurable. As a result of his “transcendental turn,” Kant concludes that (...)
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  27.  49
    Logical and Spiritual Reflections.Avi Sion - 2008, 2009 - Geneva, Switzerland: CreateSpace & Kindle; Lulu..
    Logical and Spiritual Reflections is a collection of six shorter philosophical works, including: Hume’s Problems with Induction; A Short Critique of Kant’s Unreason; In Defense of Aristotle’s Laws of Thought; More Meditations; Zen Judaism; No to Sodom. Of these works, the first set of three constitutes the Logical Reflections, and the second set constitutes the Spiritual Reflections. Hume’s Problems with Induction, which is intended to describe and refute some of the main doubts and objections David Hume raised with regard to (...)
    Download  
     
    Export citation  
     
    Bookmark  
  28. Maths, Logic and Language.Tetsuaki Iwamoto - 2018 - Geneva: Logic Forum.
    A work on the philosophy of mathematics (2017) -/- ‘Number’, such a simple idea, and yet it fascinated and absorbed the greatest proportion of human geniuses over centuries, not to mention the likes of Pythagoras, Euclid, Newton, Leibniz, Descartes and countless maths giants like Euler, Gauss and Hilbert, etc.. Einstein thought of pure maths as the poetry of logical ideas, the exactitude of which, although independent of experience, strangely seems to benefit the study of the objects of reality. And, interestingly (...)
    Download  
     
    Export citation  
     
    Bookmark  
  29. Deontic Logic and Natural Language.Fabrizio Cariani - forthcoming - In Dov Gabbay, Ron van der Meyden, John Horty, Xavier Parent & Leandert van der Torre (eds.), The Handbook of Deontic Logic (Vol. II). College Publications.
    There has been a recent surge of work on deontic modality within philosophy of language. This work has put the deontic logic tradition in contact with natural language semantics, resulting in significant increase in sophistication on both ends. This chapter surveys the main motivations, achievements, and prospects of this work.
    Download  
    Translate
     
     
    Export citation  
     
    Bookmark  
  30.  87
    Vers une genèse a-subjective des idéalités mathématiques. Cavaillès critique de Husserl.Dominique Pradelle - 2013 - Archives de Philosophie 76 (2):239-270.
    In this paper our purpose is to explane and discuss the essential objections Cavaillès raised to Husserlian phenomenology in his last text “On Logic and Theory of Science”. In this text Cavaillès questioned the foundational status of cogito and the capacity of consciousness to produce new ideal objects.; and he replaced this capacity with an anonymous generating necessity that would be dialectical and would take place intin the ideal domains of objects. We have to determine if such objections question (...)
    Download  
    Translate
     
     
    Export citation  
     
    Bookmark  
  31. Truthmaker Semantics for Relevant Logic.Mark Jago - forthcoming - Journal of Philosophical Logic:1-22.
    I develop and defend a truthmaker semantics for the relevant logic R. The approach begins with a simple philosophical idea and develops it in various directions, so as to build a technically adequate relevant semantics. The central philosophical idea is that truths are true in virtue of specific states. Developing the idea formally results in a semantics on which truthmakers are relevant to what they make true. A very natural notion of conditionality is added, giving us relevant implication. I (...)
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  32. Logic and Semantics for Imperatives.Nate Charlow - 2014 - Journal of Philosophical Logic 43 (4):617-664.
    In this paper I will develop a view about the semantics of imperatives, which I term Modal Noncognitivism, on which imperatives might be said to have truth conditions (dispositionally, anyway), but on which it does not make sense to see them as expressing propositions (hence does not make sense to ascribe to them truth or falsity). This view stands against “Cognitivist” accounts of the semantics of imperatives, on which imperatives are claimed to express propositions, which are then enlisted in explanations (...)
    Download  
     
    Export citation  
     
    Bookmark   27 citations  
  33.  37
    Exceptional Logic.Bruno Whittle - forthcoming - Review of Symbolic Logic.
    The aim of the paper is to argue that all—or almost all—logical rules have exceptions. In particular, it is argued that this is a moral that we should draw from the semantic paradoxes. The idea that we should respond to the paradoxes by revising logic in some way is familiar. But previous proposals advocate the replacement of classical logic with some alternative logic. That is, some alternative system of rules, where it is taken for granted that these (...)
    Download  
     
    Export citation  
     
    Bookmark  
  34. Sentence, Proposition, Judgment, Statement, and Fact: Speaking About the Written English Used in Logic.John Corcoran - 2009 - In W. A. Carnielli (ed.), The Many Sides of Logic. College Publications. pp. 71-103.
    The five English words—sentence, proposition, judgment, statement, and fact—are central to coherent discussion in logic. However, each is ambiguous in that logicians use each with multiple normal meanings. Several of their meanings are vague in the sense of admitting borderline cases. In the course of displaying and describing the phenomena discussed using these words, this paper juxtaposes, distinguishes, and analyzes several senses of these and related words, focusing on a constellation of recommended senses. One of the purposes of this (...)
    Download  
     
    Export citation  
     
    Bookmark   4 citations  
  35. Deontic Logic.Paul McNamara - 2006 - In Dov Gabbay & John Woods (eds.), The Handbook of the History of Logic, vol. 7: Logic and the Modalities in the Twentieth Century. Elsevier Press. pp. 197-288.
    Overview of fundamental work in deontic logic.
    Download  
     
    Export citation  
     
    Bookmark   29 citations  
  36. An Introduction to Partition Logic.David Ellerman - 2014 - Logic Journal of the IGPL 22 (1):94-125.
    Classical logic is usually interpreted as the logic of propositions. But from Boole's original development up to modern categorical logic, there has always been the alternative interpretation of classical logic as the logic of subsets of any given (nonempty) universe set. Partitions on a universe set are dual to subsets of a universe set in the sense of the reverse-the-arrows category-theoretic duality--which is reflected in the duality between quotient objects and subobjects throughout algebra. Hence the (...)
    Download  
     
    Export citation  
     
    Bookmark   14 citations  
  37. Intuitionism and the Modal Logic of Vagueness.Susanne Bobzien & Ian Rumfitt - 2020 - Journal of Philosophical Logic 49 (2):221-248.
    Intuitionistic logic provides an elegant solution to the Sorites Paradox. Its acceptance has been hampered by two factors. First, the lack of an accepted semantics for languages containing vague terms has led even philosophers sympathetic to intuitionism to complain that no explanation has been given of why intuitionistic logic is the correct logic for such languages. Second, switching from classical to intuitionistic logic, while it may help with the Sorites, does not appear to offer any advantages (...)
    Download  
     
    Export citation  
     
    Bookmark  
  38. Neo-Logicism and Its Logic.Panu Raatikainen - 2019 - History and Philosophy of Logic 41 (1):82-95.
    The rather unrestrained use of second-order logic in the neo-logicist program is critically examined. It is argued in some detail that it brings with it genuine set-theoretical existence assumptions and that the mathematical power that Hume’s Principle seems to provide, in the derivation of Frege’s Theorem, comes largely from the ‘logic’ assumed rather than from Hume’s Principle. It is shown that Hume’s Principle is in reality not stronger than the very weak Robinson Arithmetic Q. Consequently, only a few (...)
    Download  
     
    Export citation  
     
    Bookmark   2 citations  
  39. What is the Correct Logic of Necessity, Actuality and Apriority?Peter Fritz - 2014 - Review of Symbolic Logic 7 (3):385-414.
    This paper is concerned with a propositional modal logic with operators for necessity, actuality and apriority. The logic is characterized by a class of relational structures defined according to ideas of epistemic two-dimensional semantics, and can therefore be seen as formalizing the relations between necessity, actuality and apriority according to epistemic two-dimensional semantics. We can ask whether this logic is correct, in the sense that its theorems are all and only the informally valid formulas. This paper gives (...)
    Download  
     
    Export citation  
     
    Bookmark   7 citations  
  40.  18
    Two Treatments of Definite Descriptions in Intuitionist Negative Free Logic.Nils Kürbis - 2019 - Bulletin of the Section of Logic 48 (4):299-317.
    Sentences containing definite descriptions, expressions of the form ‘The F’, can be formalised using a binary quantifier ι that forms a formula out of two predicates, where ιx[F, G] is read as ‘The F is G’. This is an innovation over the usual formalisation of definite descriptions with a term forming operator. The present paper compares the two approaches. After a brief overview of the system INFι of intuitionist negative free logic extended by such a quantifier, which was presented (...)
    Download  
     
    Export citation  
     
    Bookmark  
  41. On an Intuitionistic Logic for Pragmatics.Gianluigi Bellin, Massimiliano Carrara & Daniele Chiffi - 2018 - Journal of Logic and Computation 50 (28):935–966..
    We reconsider the pragmatic interpretation of intuitionistic logic [21] regarded as a logic of assertions and their justi cations and its relations with classical logic. We recall an extension of this approach to a logic dealing with assertions and obligations, related by a notion of causal implication [14, 45]. We focus on the extension to co-intuitionistic logic, seen as a logic of hypotheses [8, 9, 13] and on polarized bi-intuitionistic logic as a (...) of assertions and conjectures: looking at the S4 modal translation, we give a de nition of a system AHL of bi-intuitionistic logic that correctly represents the duality between intuitionistic and co-intuitionistic logic, correcting a mistake in previous work [7, 10]. A computational interpretation of cointuitionism as a distributed calculus of coroutines is then used to give an operational interpretation of subtraction.Work on linear co-intuitionism is then recalled, a linear calculus of co-intuitionistic coroutines is de ned and a probabilistic interpretation of linear co-intuitionism is given as in [9]. Also we remark that by extending the language of intuitionistic logic we can express the notion of expectation, an assertion that in all situations the truth of p is possible and that in a logic of expectations the law of double negation holds. Similarly, extending co-intuitionistic logic, we can express the notion of conjecture that p, de ned as a hypothesis that in some situation the truth of p is epistemically necessary. (shrink)
    Download  
     
    Export citation  
     
    Bookmark   5 citations  
  42.  82
    The Value of Thinking and the Normativity of Logic.Manish Oza - forthcoming - Philosophers' Imprint.
    (1) This paper is about how to build an account of the normativity of logic around the claim that logic is constitutive of thinking. I take the claim that logic is constitutive of thinking to mean that representational activity must tend to conform to logic to count as thinking. (2) I develop a natural line of thought about how to develop the constitutive position into an account of logical normativity by drawing on constitutivism in metaethics. (3) (...)
    Download  
     
    Export citation  
     
    Bookmark  
  43. Logic for Exact Entailment.Kit Fine & Mark Jago - 2018 - Review of Symbolic Logic:1-21.
    An exact truthmaker for A is a state which, as well as guaranteeing A’s truth, is wholly relevant to it. States with parts irrelevant to whether A is true do not count as exact truthmakers for A. Giving semantics in this way produces a very unusual consequence relation, on which conjunctions do not entail their conjuncts. This feature makes the resulting logic highly unusual. In this paper, we set out formal semantics for exact truthmaking and characterise the resulting notion (...)
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  44. Stoic Sequent Logic and Proof Theory.Susanne Bobzien - 2019 - History and Philosophy of Logic 40 (3):234-265.
    This paper contends that Stoic logic (i.e. Stoic analysis) deserves more attention from contemporary logicians. It sets out how, compared with contemporary propositional calculi, Stoic analysis is closest to methods of backward proof search for Gentzen-inspired substructural sequent logics, as they have been developed in logic programming and structural proof theory, and produces its proof search calculus in tree form. It shows how multiple similarities to Gentzen sequent systems combine with intriguing dissimilarities that may enrich contemporary discussion. Much (...)
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  45. Second-Order Logic.John Corcoran - 2001 - In M. Zeleny (ed.), Logic, Meaning, and Computation: Essays in Memory of Alonzo Church. KLUKER. pp. 61–76.
    “Second-order Logic” in Anderson, C.A. and Zeleny, M., Eds. Logic, Meaning, and Computation: Essays in Memory of Alonzo Church. Dordrecht: Kluwer, 2001. Pp. 61–76. -/- Abstract. This expository article focuses on the fundamental differences between second- order logic and first-order logic. It is written entirely in ordinary English without logical symbols. It employs second-order propositions and second-order reasoning in a natural way to illustrate the fact that second-order logic is actually a familiar part of our (...)
    Download  
     
    Export citation  
     
    Bookmark   5 citations  
  46. A Norm-Giver Meets Deontic Action Logic.Robert Trypuz & Piotr Kulicki - 2011 - Logic and Logical Philosophy 20 (1-2):2011.
    In the paper we present a formal system motivated by a specific methodology of creating norms. According to the methodology, a norm-giver before establishing a set of norms should create a picture of the agent by creating his repertoire of actions. Then, knowing what the agent can do in particular situations, the norm-giver regulates these actions by assigning deontic qualifications to each of them. The set of norms created for each situation should respect (1) generally valid deontic principles being the (...)
    Download  
     
    Export citation  
     
    Bookmark   3 citations  
  47. Modal Logic with Names.George Gargov & Valentin Goranko - 1993 - Journal of Philosophical Logic 22 (6):607 - 636.
    We investigate an enrichment of the propositional modal language L with a "universal" modality ■ having semantics x ⊧ ■φ iff ∀y(y ⊧ φ), and a countable set of "names" - a special kind of propositional variables ranging over singleton sets of worlds. The obtained language ℒ $_{c}$ proves to have a great expressive power. It is equivalent with respect to modal definability to another enrichment ℒ(⍯) of ℒ, where ⍯ is an additional modality with the semantics x ⊧ ⍯φ (...)
    Download  
     
    Export citation  
     
    Bookmark   47 citations  
  48.  90
    A Binary Quantifier for Definite Descriptions in Intuitionist Negative Free Logic: Natural Deduction and Normalisation.Nils Kürbis - 2019 - Bulletin of the Section of Logic 48 (2):81-97.
    This paper presents a way of formalising definite descriptions with a binary quantifier ι, where ιx[F, G] is read as ‘The F is G’. Introduction and elimination rules for ι in a system of intuitionist negative free logic are formulated. Procedures for removing maximal formulas of the form ιx[F, G] are given, and it is shown that deductions in the system can be brought into normal form.
    Download  
     
    Export citation  
     
    Bookmark  
  49. A Logic of Justification and Truthmaking.Alessandro Giordani - 2013 - Review of Symbolic Logic 6 (2):323-342.
    In the present paper we propose a system of propositional logic for reasoning about justification, truthmaking, and the connection between justifiers and truthmakers. The logic of justification and truthmaking is developed according to the fundamental ideas introduced by Artemov. Justifiers and truthmakers are treated in a similar way, exploiting the intuition that justifiers provide epistemic grounds for propositions to be considered true, while truthmakers provide ontological grounds for propositions to be true. This system of logic is then (...)
    Download  
     
    Export citation  
     
    Bookmark   4 citations  
  50. Aristotle's Demonstrative Logic.John Corcoran - 2009 - History and Philosophy of Logic 30 (1):1-20.
    Demonstrative logic, the study of demonstration as opposed to persuasion, is the subject of Aristotle's two-volume Analytics. Many examples are geometrical. Demonstration produces knowledge (of the truth of propositions). Persuasion merely produces opinion. Aristotle presented a general truth-and-consequence conception of demonstration meant to apply to all demonstrations. According to him, a demonstration, which normally proves a conclusion not previously known to be true, is an extended argumentation beginning with premises known to be truths and containing a chain of reasoning (...)
    Download  
     
    Export citation  
     
    Bookmark   11 citations  
1 — 50 / 1000