Results for 'Categorical Logic'

965 found
Order:
  1. The History of Categorical Logic: 1963-1977.Jean-Pierre Marquis & Gonzalo Reyes - 2004 - In Dov M. Gabbay, John Woods & Akihiro Kanamori (eds.), Handbook of the history of logic. Boston: Elsevier.
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  2. The Non-Categoricity of Logic (II). Multiple-Conclusions and Bilateralist Logics (In Romanian).Constantin C. Brîncuș - 2023 - Probleme de Logică (Problems of Logic) (1):139-162.
    The categoricity problem for a system of logic reveals an asymmetry between the model-theoretic and the proof-theoretic resources of that logic. In particular, it reveals prima facie that the proof-theoretic instruments are insufficient for matching the envisaged model-theory, when the latter is already available. Among the proposed solutions for solving this problem, some make use of new proof-theoretic instruments, some others introduce new model-theoretic constrains on the proof-systems, while others try to use instruments from both sides. On the (...)
    Download  
     
    Export citation  
     
    Bookmark  
  3. Categorical consequence for paraconsistent logic.Fred Johnson & Peter Woodruff - 2002 - In Walter Alexandr Carnielli (ed.), Paraconsistency: The Logical Way to the Inconsistent. CRC Press. pp. 141-150.
    Consequence rleations over sets of "judgments" are defined by using "overdetermined" as well as "underdetermined" valuations. Some of these relations are shown to be categorical. And generalized soundness and completeness results are given for both multiple and single conclusion consequence relations.
    Download  
     
    Export citation  
     
    Bookmark  
  4. Abstract logical structuralism.Jean-Pierre Marquis - 2020 - Philosophical Problems in Science 69:67-110.
    Structuralism has recently moved center stage in philosophy of mathematics. One of the issues discussed is the underlying logic of mathematical structuralism. In this paper, I want to look at the dual question, namely the underlying structures of logic. Indeed, from a mathematical structuralist standpoint, it makes perfect sense to try to identify the abstract structures underlying logic. We claim that one answer to this question is provided by categorical logic. In fact, we claim that (...)
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  5. Intuitionistic logic versus paraconsistent logic. Categorical approach.Mariusz Kajetan Stopa - 2023 - Dissertation, Jagiellonian University
    The main research goal of the work is to study the notion of co-topos, its correctness, properties and relations with toposes. In particular, the dualization process proposed by proponents of co-toposes has been analyzed, which transforms certain Heyting algebras of toposes into co-Heyting ones, by which a kind of paraconsistent logic may appear in place of intuitionistic logic. It has been shown that if certain two definitions of topos are to be equivalent, then in one of them, in (...)
    Download  
     
    Export citation  
     
    Bookmark  
  6. Categoricity by convention.Julien Murzi & Brett Topey - 2021 - Philosophical Studies 178 (10):3391-3420.
    On a widespread naturalist view, the meanings of mathematical terms are determined, and can only be determined, by the way we use mathematical language—in particular, by the basic mathematical principles we’re disposed to accept. But it’s mysterious how this can be so, since, as is well known, minimally strong first-order theories are non-categorical and so are compatible with countless non-isomorphic interpretations. As for second-order theories: though they typically enjoy categoricity results—for instance, Dedekind’s categoricity theorem for second-order and Zermelo’s quasi-categoricity (...)
    Download  
     
    Export citation  
     
    Bookmark   8 citations  
  7. The logic of partitions: Introduction to the dual of the logic of subsets: The logic of partitions.David Ellerman - 2010 - Review of Symbolic Logic 3 (2):287-350.
    Modern categorical logic as well as the Kripke and topological models of intuitionistic logic suggest that the interpretation of ordinary “propositional” logic should in general be the logic of subsets of a given universe set. Partitions on a set are dual to subsets of a set in the sense of the category-theoretic duality of epimorphisms and monomorphisms—which is reflected in the duality between quotient objects and subobjects throughout algebra. If “propositional” logic is thus seen (...)
    Download  
     
    Export citation  
     
    Bookmark   8 citations  
  8. Categorical Quantification.Constantin C. Brîncuş - 2024 - Bulletin of Symbolic Logic 30 (2):pp. 227-252.
    Due to Gӧdel’s incompleteness results, the categoricity of a sufficiently rich mathematical theory and the semantic completeness of its underlying logic are two mutually exclusive ideals. For first- and second-order logics we obtain one of them with the cost of losing the other. In addition, in both these logics the rules of deduction for their quantifiers are non-categorical. In this paper I examine two recent arguments –Warren (2020), Murzi and Topey (2021)– for the idea that the natural deduction (...)
    Download  
     
    Export citation  
     
    Bookmark   2 citations  
  9. Categoricity and Negation. A Note on Kripke’s Affirmativism.Constantin C. Brîncuș & Iulian D. Toader - 2019 - In Igor Sedlár & Martin Blicha (eds.), The Logica Yearbook 2018. College Publications. pp. 57-66.
    We argue that, if taken seriously, Kripke's view that a language for science can dispense with a negation operator is to be rejected. Part of the argument is a proof that positive logic, i.e., classical propositional logic without negation, is not categorical.
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  10. Categoricity.John Corcoran - 1980 - History and Philosophy of Logic 1 (1):187-207.
    After a short preface, the first of the three sections of this paper is devoted to historical and philosophic aspects of categoricity. The second section is a self-contained exposition, including detailed definitions, of a proof that every mathematical system whose domain is the closure of its set of distinguished individuals under its distinguished functions is categorically characterized by its induction principle together with its true atoms (atomic sentences and negations of atomic sentences). The third section deals with applications especially those (...)
    Download  
     
    Export citation  
     
    Bookmark   40 citations  
  11. Categoricity and Possibility. A Note on Williamson's Modal Monism.Iulian D. Toader - 2020 - In Martin Blicha & Igor Sedlar (eds.), The Logica Yearbook 2019. College Publications. pp. 221-231.
    The paper sketches an argument against modal monism, more specifically against the reduction of physical possibility to metaphysical possibility. The argument is based on the non-categoricity of quantum logic.
    Download  
     
    Export citation  
     
    Bookmark  
  12. Categorical versus graded beliefs.Franz Dietrich - 2022 - Frontiers in Psychology 18.
    This essay discusses the difficulty to reconcile two paradigms about beliefs: the binary or categorical paradigm of yes/no beliefs and the probabilistic paradigm of degrees of belief. The possibility for someone to hold both types of belief simultaneously is challenged by the lottery paradox, and more recently by a general impossibility theorem by Dietrich and List (2018, 2021). The nature, relevance, and implications of the tension are explained and assessed.
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  13. Another Side of Categorical Propositions: The Keynes–Johnson Octagon of Oppositions.Amirouche Moktefi & Fabien Schang - 2023 - History and Philosophy of Logic 44 (4):459-475.
    The aim of this paper is to make sense of the Keynes–Johnson octagon of oppositions. We will discuss Keynes' logical theory, and examine how his view is reflected on this octagon. Then we will show how this structure is to be handled by means of a semantics of partition, thus computing logical relations between matching formulas with a semantic method that combines model theory and Boolean algebra.
    Download  
     
    Export citation  
     
    Bookmark   2 citations  
  14. Categoricity, Open-Ended Schemas and Peano Arithmetic.Adrian Ludușan - 2015 - Logos and Episteme 6 (3):313-332.
    One of the philosophical uses of Dedekind’s categoricity theorem for Peano Arithmetic is to provide support for semantic realism. To this end, the logical framework in which the proof of the theorem is conducted becomes highly significant. I examine different proposals regarding these logical frameworks and focus on the philosophical benefits of adopting open-ended schemas in contrast to second order logic as the logical medium of the proof. I investigate Pederson and Rossberg’s critique of the ontological advantages of open-ended (...)
    Download  
     
    Export citation  
     
    Bookmark  
  15.  75
    Proofs of valid categorical syllogisms in one diagrammatic and two symbolic axiomatic systems.Antonielly Garcia Rodrigues & Eduardo Mario Dias - manuscript
    Gottfried Leibniz embarked on a research program to prove all the Aristotelic categorical syllogisms by diagrammatic and algebraic methods. He succeeded in proving them by means of Euler diagrams, but didn’t produce a manuscript with their algebraic proofs. We demonstrate how key excerpts scattered across various Leibniz’s drafts on logic contained sufficient ingredients to prove them by an algebraic method –which we call the Leibniz-Cayley (LC) system– without having to make use of the more expressive and complex machinery (...)
    Download  
     
    Export citation  
     
    Bookmark  
  16. 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 (...)
    Download  
     
    Export citation  
     
    Bookmark   16 citations  
  17. A Categorical Characterization of Accessible Domains.Patrick Walsh - 2019 - Dissertation, Carnegie Mellon University
    Inductively defined structures are ubiquitous in mathematics; their specification is unambiguous and their properties are powerful. All fields of mathematical logic feature these structures prominently: the formula of a language, the set of theorems, the natural numbers, the primitive recursive functions, the constructive number classes and segments of the cumulative hierarchy of sets. -/- This dissertation gives a mathematical characterization of a species of inductively defined structures, called accessible domains, which include all of the above examples except the set (...)
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  18. Categorical harmony and path induction.Patrick Walsh - 2017 - Review of Symbolic Logic 10 (2):301-321.
    This paper responds to recent work in the philosophy of Homotopy Type Theory by James Ladyman and Stuart Presnell. They consider one of the rules for identity, path induction, and justify it along ‘pre-mathematical’ lines. I give an alternate justification based on the philosophical framework of inferentialism. Accordingly, I construct a notion of harmony that allows the inferentialist to say when a connective or concept is meaning-bearing and this conception unifies most of the prominent conceptions of harmony through category theory. (...)
    Download  
     
    Export citation  
     
    Bookmark   3 citations  
  19. Failures of Categoricity and Compositionality for Intuitionistic Disjunction.Jack Woods - 2012 - Thought: A Journal of Philosophy 1 (4):281-291.
    I show that the model-theoretic meaning that can be read off the natural deduction rules for disjunction fails to have certain desirable properties. I use this result to argue against a modest form of inferentialism which uses natural deduction rules to fix model-theoretic truth-conditions for logical connectives.
    Download  
     
    Export citation  
     
    Bookmark   3 citations  
  20. Logic: A Modern Guide.Colin Beckley - 2016 - Milton Keynes: Think Logically Books.
    This book is written for those who wish to learn some basic principles of formal logic but more importantly learn some easy methods to unpick arguments and assess their value for truth and validity. -/- The first section explains the ideas behind traditional logic which was formed well over two thousand years ago by the ancient Greeks. Terms such as ‘categorical syllogism’, ‘premise’, ‘deduction’ and ‘validity’ may appear at first sight to be inscrutable but will easily be (...)
    Download  
     
    Export citation  
     
    Bookmark  
  21. AI, alignment, and the categorical imperative.Fritz McDonald - 2023 - AI and Ethics 3:337-344.
    Tae Wan Kim, John Hooker, and Thomas Donaldson make an attempt, in recent articles, to solve the alignment problem. As they define the alignment problem, it is the issue of how to give AI systems moral intelligence. They contend that one might program machines with a version of Kantian ethics cast in deontic modal logic. On their view, machines can be aligned with human values if such machines obey principles of universalization and autonomy, as well as a deontic utilitarian (...)
    Download  
     
    Export citation  
     
    Bookmark  
  22. Logic and Sense.Urszula Wybraniec-Skardowska - 2016 - Philosophy Study 6 (9).
    In the paper, original formal-logical conception of syntactic and semantic: intensional and extensional senses of expressions of any language L is outlined. Syntax and bi-level intensional and extensional semantics of language L are characterized categorically: in the spirit of some Husserl’s ideas of pure grammar, Leśniewski-Ajukiewicz’s theory syntactic/semantic categories and in accordance with Frege’s ontological canons, Bocheński’s famous motto—syntax mirrors ontology and some ideas of Suszko: language should be a linguistic scheme of ontological reality and simultaneously a tool of its (...)
    Download  
     
    Export citation  
     
    Bookmark   3 citations  
  23. Categorical foundations of mathematics or how to provide foundations for abstract mathematics.Jean-Pierre Marquis - 2013 - Review of Symbolic Logic 6 (1):51-75.
    Fefermans argument is indeed convincing in a certain context, it can be dissolved entirely by modifying the context appropriately.
    Download  
     
    Export citation  
     
    Bookmark   6 citations  
  24. A Little More Logical: Reasoning Well About Science, Ethics, Religion, and the Rest of Life (2nd edition).Brendan Shea - 2024 - Rochester, MN: Thoughtful Noodle Books.
    In a world filled with information overload and complex problems, the ability to think logically is a superpower. "A Little More Logical" is your guide to mastering this essential skill. This engaging and accessible open educational resource is perfect for students, teachers, and lifelong learners who want to improve their critical thinking abilities and make better decisions in all aspects of life. -/- Through a series of fun and interactive chapters, "A Little More Logical" covers a wide range of topics, (...)
    Download  
     
    Export citation  
     
    Bookmark  
  25. 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   18 citations  
  26. From probabilities to categorical beliefs: Going beyond toy models.Igor Douven & Hans Rott - 2018 - Journal of Logic and Computation 28 (6):1099-1124.
    According to the Lockean thesis, a proposition is believed just in case it is highly probable. While this thesis enjoys strong intuitive support, it is known to conflict with seemingly plausible logical constraints on our beliefs. One way out of this conflict is to make probability 1 a requirement for belief, but most have rejected this option for entailing what they see as an untenable skepticism. Recently, two new solutions to the conflict have been proposed that are alleged to be (...)
    Download  
     
    Export citation  
     
    Bookmark   9 citations  
  27. (2 other versions)Hyperintensional Ω-Logic.David Elohim - 2019 - In Matteo Vincenzo D'Alfonso & Don Berkich (eds.), On the Cognitive, Ethical, and Scientific Dimensions of Artificial Intelligence. Springer Verlag.
    This essay examines the philosophical significance of $\Omega$-logic in Zermelo-Fraenkel set theory with choice (ZFC). The categorical duality between coalgebra and algebra permits Boolean-valued algebraic models of ZFC to be interpreted as coalgebras. The hyperintensional profile of $\Omega$-logical validity can then be countenanced within a coalgebraic logic. I argue that the philosophical significance of the foregoing is two-fold. First, because the epistemic and modal and hyperintensional profiles of $\Omega$-logical validity correspond to those of second-order logical consequence, $\Omega$-logical (...)
    Download  
     
    Export citation  
     
    Bookmark   4 citations  
  28. All men are animals: hypothetical, categorical, or material?Rani Lill Anjum & Johan Arnt Myrstad - manuscript
    The conditional interpretation of general categorical statements like ‘All men are animals’ as universally quantified material conditionals ‘For all x, if x is F, then x is G’ suggests that the logical structure of law statements is conditional rather than categorical. Disregarding the problem that the universally quantified material conditional is trivially true whenever there are no xs that are F, there are some reasons to be sceptical of Frege’s equivalence between categorical and conditional expressions. -/- Now (...)
    Download  
     
    Export citation  
     
    Bookmark  
  29. Disbelief Logic Complements Belief Logic.John Corcoran & Wagner Sanz - 2008 - Bulletin of Symbolic Logic 14 (3):436.
    JOHN CORCORAN AND WAGNER SANZ, Disbelief Logic Complements Belief Logic. Philosophy, University at Buffalo, Buffalo, NY 14260-4150 USA E-mail: [email protected] Filosofia, Universidade Federal de Goiás, Goiás, GO 74001-970 Brazil E-mail: [email protected] -/- Consider two doxastic states belief and disbelief. Belief is taking a proposition to be true and disbelief taking it to be false. Judging also dichotomizes: accepting a proposition results in belief and rejecting in disbelief. Stating follows suit: asserting a proposition conveys belief and denying conveys disbelief. (...)
    Download  
     
    Export citation  
     
    Bookmark  
  30. Aristotle's Many-sorted Logic.J. Corcoran - 2008 - Bulletin of Symbolic Logic 14 (1):155-156.
    As noted in 1962 by Timothy Smiley, if Aristotle’s logic is faithfully translated into modern symbolic logic, the fit is exact. If categorical sentences are translated into many-sorted logic MSL according to Smiley’s method or the two other methods presented here, an argument with arbitrarily many premises is valid according to Aristotle’s system if and only if its translation is valid according to modern standard many-sorted logic. As William Parry observed in 1973, this result can (...)
    Download  
     
    Export citation  
     
    Bookmark   2 citations  
  31. Counting distinctions: on the conceptual foundations of Shannon’s information theory.David Ellerman - 2009 - Synthese 168 (1):119-149.
    Categorical logic has shown that modern logic is essentially the logic of subsets (or "subobjects"). Partitions are dual to subsets so there is a dual logic of partitions where a "distinction" [an ordered pair of distinct elements (u,u′) from the universe U ] is dual to an "element". An element being in a subset is analogous to a partition π on U making a distinction, i.e., if u and u′ were in different blocks of π. (...)
    Download  
     
    Export citation  
     
    Bookmark   18 citations  
  32. Are the open-ended rules for negation categorical?Constantin C. Brîncuș - 2019 - Synthese 198 (8):7249-7256.
    Vann McGee has recently argued that Belnap’s criteria constrain the formal rules of classical natural deduction to uniquely determine the semantic values of the propositional logical connectives and quantifiers if the rules are taken to be open-ended, i.e., if they are truth-preserving within any mathematically possible extension of the original language. The main assumption of his argument is that for any class of models there is a mathematically possible language in which there is a sentence true in just those models. (...)
    Download  
     
    Export citation  
     
    Bookmark   4 citations  
  33. Computable bi-embeddable categoricity.Luca San Mauro, Nikolay Bazhenov, Ekaterina Fokina & Dino Rossegger - 2018 - Algebra and Logic 5 (57):392-396.
    We study the algorithmic complexity of isomorphic embeddings between computable structures.
    Download  
     
    Export citation  
     
    Bookmark  
  34. Notes on the Model Theory of DeMorgan Logics.Thomas Macaulay Ferguson - 2012 - Notre Dame Journal of Formal Logic 53 (1):113-132.
    We here make preliminary investigations into the model theory of DeMorgan logics. We demonstrate that Łoś's Theorem holds with respect to these logics and make some remarks about standard model-theoretic properties in such contexts. More concretely, as a case study we examine the fate of Cantor's Theorem that the classical theory of dense linear orderings without endpoints is $\aleph_{0}$-categorical, and we show that the taking of ultraproducts commutes with respect to previously established methods of constructing nonclassical structures, namely, Priest's (...)
    Download  
     
    Export citation  
     
    Bookmark   9 citations  
  35. Three Dogmas of First-Order Logic and some Evidence-based Consequences for Constructive Mathematics of differentiating between Hilbertian Theism, Brouwerian Atheism and Finitary Agnosticism.Bhupinder Singh Anand - manuscript
    We show how removing faith-based beliefs in current philosophies of classical and constructive mathematics admits formal, evidence-based, definitions of constructive mathematics; of a constructively well-defined logic of a formal mathematical language; and of a constructively well-defined model of such a language. -/- We argue that, from an evidence-based perspective, classical approaches which follow Hilbert's formal definitions of quantification can be labelled `theistic'; whilst constructive approaches based on Brouwer's philosophy of Intuitionism can be labelled `atheistic'. -/- We then adopt what (...)
    Download  
     
    Export citation  
     
    Bookmark  
  36. Events and Memory in Functorial Time I: Localizing Temporal Logic to Condensed, Event-Dependent Memories.Shanna Dobson & Chris Fields - manuscript
    We develop an approach to temporal logic that replaces the traditional objective, agent- and event-independent notion of time with a constructive, event-dependent notion of time. We show how to make this event-dependent time entropic and hence well-defined. We use sheaf-theoretic techniques to render event-dependent time functorial and to construct memories as sequences of observed and constructed events with well-defined limits that maximize the consistency of categorizations assigned to objects appearing in memories. We then develop a condensed formalism that represents (...)
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  37. Expanding the universe of universal logic.James Trafford - 2014 - Theoria: Revista de Teoría, Historia y Fundamentos de la Ciencia 29 (3):325-343.
    In [5], Béziau provides a means by which Gentzen’s sequent calculus can be combined with the general semantic theory of bivaluations. In doing so, according to Béziau, it is possible to construe the abstract “core” of logics in general, where logical syntax and semantics are “two sides of the same coin”. The central suggestion there is that, by way of a modification of the notion of maximal consistency, it is possible to prove the soundness and completeness for any normal (...). However, the reduction to bivaluation may be a side effect of the architecture of ordinary sequents, which is both overly restrictive, and entails certain expressive restrictions over the language. This paper provides an expansion of Béziau’s completeness results for logics, by showing that there is a natural extension of that line of thinking to n-sided sequent constructions. Through analogical techniques to Béziau’s construction, it is possible, in this setting, to construct abstract soundness and completeness results for n-valued logics. (shrink)
    Download  
     
    Export citation  
     
    Bookmark  
  38. Some Characteristics of the Referential and Inferential Predication in Classical Logic.Nijaz Ibrulj - 2021 - The Logical Foresight 1 (1):1-27.
    In the article we consider the relationship of traditional provisions of basic logical concepts and confront them with new and modern approaches to the same concepts. Logic is characterized in different ways when it is associated with syllogistics (referential – semantical model of logic) or with symbolic logic (inferential – syntactical model of logic). This is not only a difference in the logical calculation of (1) concepts, (2) statements, and (3) predicates, but this difference also appears (...)
    Download  
     
    Export citation  
     
    Bookmark  
  39. Strengthening Consistency Results in Modal Logic.Samuel Alexander & Arthur Paul Pedersen - 2023 - Tark.
    A fundamental question asked in modal logic is whether a given theory is consistent. But consistent with what? A typical way to address this question identifies a choice of background knowledge axioms (say, S4, D, etc.) and then shows the assumptions codified by the theory in question to be consistent with those background axioms. But determining the specific choice and division of background axioms is, at least sometimes, little more than tradition. This paper introduces generic theories for propositional modal (...)
    Download  
     
    Export citation  
     
    Bookmark  
  40. Inferential Quantification and the ω-rule.Constantin C. Brîncuş - 2024 - In Antonio Piccolomini D'Aragona (ed.), Perspectives on Deduction: Contemporary Studies in the Philosophy, History and Formal Theories of Deduction. Springer Verlag. pp. 345--372.
    Logical inferentialism maintains that the formal rules of inference fix the meanings of the logical terms. The categoricity problem points out to the fact that the standard formalizations of classical logic do not uniquely determine the intended meanings of its logical terms, i.e., these formalizations are not categorical. This means that there are different interpretations of the logical terms that are consistent with the relation of logical derivability in a logical calculus. In the case of the quantificational (...), the categoricity problem is generated by the finite nature of the standard calculi and one direction in which it can be solved is to strengthen the deductive systems by adding infinitary rules (such as the ω-rule), i.e., to construct a full formalization. Another main direction is to provide a natural semantics for the standard rules of inference, i.e., a semantics for which these rules are categorical. My aim in this paper is to analyze some recent approaches for solving the categoricity problem and to argue that a logical inferentialist should accept the infinitary rules of inference for the first order quantifiers, since our use of the expressions “all” and “there is” leads us beyond the concrete and finite reasoning, and human beings do sometimes employ infinitary rules of inference in their reasoning. (shrink)
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  41.  39
    Inferential Quantification and the ω-Rule.Constantin C. Brîncuş - 2024 - In Antonio Piccolomini D'Aragona (ed.), Perspectives on Deduction: Contemporary Studies in the Philosophy, History and Formal Theories of Deduction. Springer Verlag. pp. 345-372.
    Logical inferentialism maintains that the formal rules of inference fix the meanings of the logical terms. The categoricity problem points out to the fact that the standard formalizations of classical logic do not uniquely determine the intended meanings of its logical terms, i.e., these formalizations are not categorical. This means that there are different interpretations of the logical terms that are consistent with the relation of logical derivability in a logical calculus. In the case of the quantificational (...), the categoricity problem is generated by the finite nature of the standard calculi and one direction in which it can be solved is to strengthen the deductive systems by adding infinitary rules (such as the ω-rule), i.e., to construct a full formalization. Another main direction is to provide a natural semantics for the standard rules of inference, i.e., a semantics for which these rules are categorical. My aim in this paper is to analyze some recent approaches for solving the categoricity problem and to argue that a logical inferentialist should accept the infinitary rules of inference for the first order quantifiers, since our use of the expressions “all” and “there is” leads us beyond the concrete and finite reasoning, and human beings do sometimes employ infinitary rules of inference in their reasoning. (shrink)
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  42. Hyperdoctrine Semantics: An Invitation.Shay Logan & Graham Leach-Krouse - 2022 - In Shay Logan & Graham Leach-Krouse (eds.), The Logica Yearbook, 2021. College Publications. pp. 115-134.
    Categorial logic, as its name suggests, applies the techniques and machinery of category theory to topics traditionally classified as part of logic. We claim that these tools deserve attention from a greater range of philosophers than just the mathematical logicians. We support this claim with an example. In this paper we show how one particular tool from categorial logic---hyperdoctrines---suggests interesting metaphysics. Hyperdoctrines can provide semantics for quantified languages, but this account of quantification suggests a metaphysical picture quite (...)
    Download  
     
    Export citation  
     
    Bookmark  
  43. Kant on Existential Import.Alberto Vanzo - 2014 - Kantian Review 19 (2):207-232.
    This article reconstructs Kant's view on the existential import of categorical sentences. Kant is widely taken to have held that affirmative sentences (the A and I sentences of the traditional square of opposition) have existential import, whereas negative sentences (E and O) lack existential import. The article challenges this standard interpretation. It is argued that Kant ascribes existential import only to some affirmative synthetic sentences. However, the reasons for this do not fall within the remit of Kant's formal (...). Unlike traditional logic and modern standard quantification theory, Kant's formal logic is free from existential commitments. (shrink)
    Download  
     
    Export citation  
     
    Bookmark   7 citations  
  44. An Aid to Venn Diagrams.Robert Allen - 1997 - American Philosophical Association Newsletter on Teaching Philosophy 96 (Spring 1997):104-105.
    The following technique has proven effective in helping beginning logic students locate the sections of a three-circled Venn Diagram in which they are to represent a categorical sentence. Very often theses students are unable to identify the parts of the diagram they are to shade or bar.
    Download  
     
    Export citation  
     
    Bookmark  
  45. Carnap’s Writings on Semantics.Constantin C. Brîncuș - forthcoming - In Christian Dambock & Georg Schiemer (eds.), Rudolf Carnap Handbuch. Metzler Verlag.
    This paper is a short introduction to Carnap’s writings on semantics with an emphasis on the transition from the syntactic period to the semantic one. I claim that one of Carnap’s main aims was to investigate the possibility of the symmetry between the syntactic and the semantic methods of approaching philosophical problems, both in logic and in the philosophy of science. This ideal of methodological symmetry could be described as an attempt to obtain categorical logical systems, i.e., systems (...)
    Download  
     
    Export citation  
     
    Bookmark  
  46. String theory.John Corcoran, William Frank & Michael Maloney - 1974 - Journal of Symbolic Logic 39 (4):625-637.
    For each positive n , two alternative axiomatizations of the theory of strings over n alphabetic characters are presented. One class of axiomatizations derives from Tarski's system of the Wahrheitsbegriff and uses the n characters and concatenation as primitives. The other class involves using n character-prefixing operators as primitives and derives from Hermes' Semiotik. All underlying logics are second order. It is shown that, for each n, the two theories are definitionally equivalent [or synonymous in the sense of deBouvere]. It (...)
    Download  
     
    Export citation  
     
    Bookmark   47 citations  
  47. Defending the Traditional Interpretations of Kant’s Formula of a Law of Nature.Samuel J. M. Kahn - 2019 - Theoria 66 (158):76-102.
    In this paper I defend the traditional interpretations of Kant’s Formula of a Law of Nature from recent attacks leveled by Faviola Rivera-Castro, James Furner, Ido Geiger, Pauline Kleingeld and Sven Nyholm. After a short introduction, the paper is divided into four main sections. In the first, I set out the basics of the three traditional interpretations, the Logical Contradiction Interpretation, the Practical Contradiction Interpretation and the Teleological Contradiction Interpretation. In the second, I examine the work of Geiger, Kleingeld and (...)
    Download  
     
    Export citation  
     
    Bookmark   7 citations  
  48. The Dialectica Categories.Valeria Correa Vaz De Paiva - 1990 - Dissertation, University of Cambridge, Uk
    This thesis describes two classes of Dialectica categories. Chapter one introduces dialectica categories based on Goedel's Dialectica interpretation and shows that they constitute a model of Girard's Intuitionistic Linear Logic. Chapter two shows that, with extra assumptions, we can provide a comonad that interprets Girard's !-course modality. Chapter three presents the second class of Dialectica categories, a simplification suggested by Girard, that models (classical) Linear Logic and chapter four shows how to provide modalities ! and ? for this (...)
    Download  
     
    Export citation  
     
    Bookmark   4 citations  
  49. UTILITY OF RATIONALITY IN ISLAMIC SHARIA.Mudasir Ahmad Tantray & Tariq Rafeeq Khan - 2020 - Kalyan Bharati 36 (16):108-114.
    Reason or logic is elementary thought elucidated and emphasized in holly Quran and Hadith. Every idea in the interpreted verses of Quran and Hadith has logical aspect to describe it. Senses are the gate ways of knowing and reason is the hub of interpretation and organization. We can say that senses only collect data and reason interprets it. Logic is derived from the Greek word “Logos” which means “Art of reasoning”. Reasoning is of three kind: inductive (from particular (...)
    Download  
     
    Export citation  
     
    Bookmark  
  50. Kant's Four Notions of Freedom.Martin F. Fricke - 2005 - Hekmat Va Falsafeh (Wisdom and Philosophy). Academic Journal of Philosophy Department Allameh Tabataii University 1 (2):31-48.
    Four different notions of freedom can be distinguished in Kant's philosophy: logical freedom, practical freedom, transcendental freedom and freedom of choice ("Willkür"). The most important of these is transcendental freedom. Kant's argument for its existence depend on the claim that, necessarily, the categorical imperative is the highest principle of reason. My paper examines how this claim can be made plausible.
    Download  
     
    Export citation  
     
    Bookmark  
1 — 50 / 965