Switch to: References

Add citations

You must login to add citations.
  1. Popper's Notion of Duality and His Theory of Negations.David Binder & Thomas Piecha - 2017 - History and Philosophy of Logic 38 (2):154-189.
    Karl Popper developed a theory of deductive logic in the late 1940s. In his approach, logic is a metalinguistic theory of deducibility relations that are based on certain purely structural rules. Logical constants are then characterized in terms of deducibility relations. Characterizations of this kind are also called inferential definitions by Popper. In this paper, we expound his theory and elaborate some of his ideas and results that in some cases were only sketched by him. Our focus is on Popper's (...)
    Download  
     
    Export citation  
     
    Bookmark   3 citations  
  • Worlds, Models and Descriptions.John F. Sowa - 2006 - Studia Logica 84 (2):323-360.
    Since the pioneering work by Kripke and Montague, the term possible world has appeared in most theories of formal semantics for modal logics, natural languages, and knowledge-based systems. Yet that term obscures many questions about the relationships between the real world, various models of the world, and descriptions of those models in either formal languages or natural languages. Each step in that progression is an abstraction from the overwhelming complexity of the world. At the end, nothing is left but a (...)
    Download  
     
    Export citation  
     
    Bookmark  
  • Consequence Relations and Admissible Rules.Rosalie Iemhoff - 2016 - Journal of Philosophical Logic 45 (3):327-348.
    This paper contains a detailed account of the notion of admissibility in the setting of consequence relations. It is proved that the two notions of admissibility used in the literature coincide, and it provides an extension to multi–conclusion consequence relations that is more general than the one usually encountered in the literature on admissibility. The notion of a rule scheme is introduced to capture rules with side conditions, and it is shown that what is generally understood under the extension of (...)
    Download  
     
    Export citation  
     
    Bookmark   17 citations  
  • Carnapian explication, formalisms as cognitive tools, and the paradox of adequate formalization.Catarina Dutilh Novaes & Erich Reck - 2017 - Synthese 194 (1):195-215.
    Explication is the conceptual cornerstone of Carnap’s approach to the methodology of scientific analysis. From a philosophical point of view, it gives rise to a number of questions that need to be addressed, but which do not seem to have been fully addressed by Carnap himself. This paper reconsiders Carnapian explication by comparing it to a different approach: the ‘formalisms as cognitive tools’ conception. The comparison allows us to discuss a number of aspects of the Carnapian methodology, as well as (...)
    Download  
     
    Export citation  
     
    Bookmark   34 citations  
  • On the Concept of Following Logically.Alfred Tarski - 2002 - History and Philosophy of Logic 23 (3):155-196.
    We provide for the first time an exact translation into English of the Polish version of Alfred Tarski's classic 1936 paper, whose title we translate as ‘On the Concept of Following Logically’. We also provide in footnotes an exact translation of all respects in which the German version, used as the basis of the previously published and rather inexact English translation, differs from the Polish. Although the two versions are basically identical, to an extent that is even uncanny, we note (...)
    Download  
     
    Export citation  
     
    Bookmark   26 citations  
  • Carnapian and Tarskian semantics.Pierre Wagner - 2017 - Synthese 194 (1):97-119.
    Many papers have been devoted to the semantic turn Carnap took in the late 1930s after Tarski had explained to him his method for defining truth and his work on the establishment of scientific semantics. Commentators have often argued that the major turn in Carnap’s approach to languages had already been taken in the Logical Syntax of Language, but they have usually assumed that Carnap was happy to subsequently follow Tarski and adopt Tarskian semantics. In this paper, it is argued (...)
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  • Monism, Pluralism and Relativism: New Essays on the Status of Logic.Daniel Cohnitz, Peter Pagin & Marcus Rossberg - 2014 - Erkenntnis 79 (S2):201-210.
    Download  
     
    Export citation  
     
    Bookmark   2 citations  
  • The Age of Alternative Logics: Assessing Philosophy of Logic and Mathematics Today.Johan van Benthem, Gerhard Heinzman, M. Rebushi & H. Visser (eds.) - 2006 - Dordrecht, Netherland: Springer.
    This book explores the interplay between logic and science, describing new trends, new issues and potential research developments.
    Download  
     
    Export citation  
     
    Bookmark   2 citations  
  • Carnap’s Early Semantics.Georg Schiemer - 2013 - Erkenntnis 78 (3):487-522.
    This paper concerns Carnap’s early contributions to formal semantics in his work on general axiomatics between 1928 and 1936. Its main focus is on whether he held a variable domain conception of models. I argue that interpreting Carnap’s account in terms of a fixed domain approach fails to describe his premodern understanding of formal models. By drawing attention to the second part of Carnap’s unpublished manuscript Untersuchungen zur allgemeinen Axiomatik, an alternative interpretation of the notions ‘model’, ‘model extension’ and ‘submodel’ (...)
    Download  
     
    Export citation  
     
    Bookmark   14 citations  
  • The Absence of Multiple Universes of Discourse in the 1936 Tarski Consequence-Definition Paper.John Corcoran & José Miguel Sagüillo - 2011 - History and Philosophy of Logic 32 (4):359-374.
    This paper discusses the history of the confusion and controversies over whether the definition of consequence presented in the 11-page 1936 Tarski consequence-definition paper is based on a monistic fixed-universe framework?like Begriffsschrift and Principia Mathematica. Monistic fixed-universe frameworks, common in pre-WWII logic, keep the range of the individual variables fixed as the class of all individuals. The contrary alternative is that the definition is predicated on a pluralistic multiple-universe framework?like the 1931 Gödel incompleteness paper. A pluralistic multiple-universe framework recognizes multiple (...)
    Download  
     
    Export citation  
     
    Bookmark   6 citations  
  • Learning Logical Tolerance: Hans Hahn on the Foundations of Mathematics.Thomas E. Uebel - 2005 - History and Philosophy of Logic 26 (3):175-209.
    Hans Hahn's long-neglected philosophy of mathematics is reconstructed here with an eye to his anticipation of the doctrine of logical pluralism. After establishing that Hahn pioneered a post-Tractarian conception of tautologies and attempted to overcome the traditional foundational dispute in mathematics, Hahn's and Carnap's work is briefly compared with Karl Menger's, and several significant agreements or differences between Hahn's and Carnap's work are specified and discussed.
    Download  
     
    Export citation  
     
    Bookmark   6 citations  
  • On the Concept of Following Logically.Alfred Tarski - 2002 - History and Philosophy of Logic 23 (3):155-196.
    We provide for the first time an exact translation into English of the Polish version of Alfred Tarski's classic 1936 paper, whose title we translate as ?On the Concept of Following Logically?. We also provide in footnotes an exact translation of all respects in which the German version, used as the basis of the previously published and rather inexact English translation, differs from the Polish. Although the two versions are basically identical, to an extent that is even uncanny, we note (...)
    Download  
     
    Export citation  
     
    Bookmark   61 citations  
  • Antirealism and the Roles of Truth.B. G. Sundholm - unknown
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  • An exposition and development of Kanger's early semantics for modal logic.Sten Lindström - 1998 - In J. H. Fetzer & P. Humphreys (eds.), The New Theory of Reference: Kripke, Marcus, and its origins. Dordrecht, Netherland: Kluwer Academic Publishers.
    Download  
     
    Export citation  
     
    Bookmark   7 citations  
  • The development of mathematical logic from Russell to Tarski, 1900-1935.Paolo Mancosu, Richard Zach & Calixto Badesa - 2011 - In Leila Haaparanta (ed.), The development of modern logic. New York: Oxford University Press.
    The period from 1900 to 1935 was particularly fruitful and important for the development of logic and logical metatheory. This survey is organized along eight "itineraries" concentrating on historically and conceptually linked strands in this development. Itinerary I deals with the evolution of conceptions of axiomatics. Itinerary II centers on the logical work of Bertrand Russell. Itinerary III presents the development of set theory from Zermelo onward. Itinerary IV discusses the contributions of the algebra of logic tradition, in particular, Löwenheim (...)
    Download  
     
    Export citation  
     
    Bookmark   29 citations  
  • Vienna circle.Thomas Uebel - 2008 - Stanford Encyclopedia of Philosophy.
    Download  
     
    Export citation  
     
    Bookmark   34 citations  
  • Bernard Bolzano.Edgar Morscher - 2008 - Stanford Encyclopedia of Philosophy.
    Download  
     
    Export citation  
     
    Bookmark   10 citations  
  • “The boundless ocean of unlimited possibilities”: Logic in carnap'slogical syntax of language. [REVIEW]Sahotra Sarkar - 1992 - Synthese 93 (1-2):191 - 237.
    Download  
     
    Export citation  
     
    Bookmark   7 citations  
  • Empirical adequacy and ramsification.Jeffrey Ketland - 2004 - British Journal for the Philosophy of Science 55 (2):287-300.
    Structural realism has been proposed as an epistemological position interpolating between realism and sceptical anti-realism about scientific theories. The structural realist who accepts a scientific theory thinks that is empirically correct, and furthermore is a realist about the ‘structural content’ of . But what exactly is ‘structural content’? One proposal is that the ‘structural content’ of a scientific theory may be associated with its Ramsey sentence (). However, Demopoulos and Friedman have argued, using ideas drawn from Newman's earlier criticism of (...)
    Download  
     
    Export citation  
     
    Bookmark   94 citations  
  • Truth, correspondence, models, and Tarski.Panu Raatikainen - 2007 - In Sami Pihlström, Panu Raatikainen & Matti Sintonen (eds.), Approaching truth: essays in honour of Ilkka Niiniluoto. London: College Publications. pp. 99-112.
    In the early 20th century, scepticism was common among philosophers about the very meaningfulness of the notion of truth – and of the related notions of denotation, definition etc. (i.e., what Tarski called semantical concepts). Awareness was growing of the various logical paradoxes and anomalies arising from these concepts. In addition, more philosophical reasons were being given for this aversion.1 The atmosphere changed dramatically with Alfred Tarski’s path-breaking contribution. What Tarski did was to show that, assuming that the syntax of (...)
    Download  
     
    Export citation  
     
    Bookmark   5 citations  
  • Logical operations.Vann McGee - 1996 - Journal of Philosophical Logic 25 (6):567 - 580.
    Tarski and Mautner proposed to characterize the "logical" operations on a given domain as those invariant under arbitrary permutations. These operations are the ones that can be obtained as combinations of the operations on the following list: identity; substitution of variables; negation; finite or infinite disjunction; and existential quantification with respect to a finite or infinite block of variables. Inasmuch as every operation on this list is intuitively "logical", this lends support to the Tarski-Mautner proposal.
    Download  
     
    Export citation  
     
    Bookmark   81 citations  
  • Logic in mathematics and computer science.Richard Zach - forthcoming - In Filippo Ferrari, Elke Brendel, Massimiliano Carrara, Ole Hjortland, Gil Sagi, Gila Sher & Florian Steinberger (eds.), Oxford Handbook of Philosophy of Logic. Oxford, UK: Oxford University Press.
    Logic has pride of place in mathematics and its 20th century offshoot, computer science. Modern symbolic logic was developed, in part, as a way to provide a formal framework for mathematics: Frege, Peano, Whitehead and Russell, as well as Hilbert developed systems of logic to formalize mathematics. These systems were meant to serve either as themselves foundational, or at least as formal analogs of mathematical reasoning amenable to mathematical study, e.g., in Hilbert’s consistency program. Similar efforts continue, but have been (...)
    Download  
     
    Export citation  
     
    Bookmark  
  • On the Year of Publication of Tarski's ‘Der Wahrheitsbegriff in den formalisierten Sprachen’.Peter Milne - forthcoming - History and Philosophy of Logic:1-14.
    Drawing on recently published correspondence as well as on a survey of Polish and international philosophical activity published in 1937 and details concerning the publisher and bookseller Aleksander Mazzucato, I provide evidence that, contrary to some recent assertions (but in line with older bibliographical entries), Tarski's ‘Der Wahrheitsbegriff in den formalisierten Sprachen’ was not published in journal form until 1936, although preprints, lacking two corrections and a small addendum, were likely available in the late months of 1935.
    Download  
     
    Export citation  
     
    Bookmark  
  • Logos, Logic and Maximal Infinity.A. C. Paseau - 2022 - Religious Studies 58:420-435.
    Download  
     
    Export citation  
     
    Bookmark  
  • Las Sombras Ciegas de Narciso - un estudio psicosocial sobre el imaginario colectivo.Roberto Thomas Arruda - 2023 - São Paulo: Terra à Vista.
    Este trabajo abordará cuestiones esenciales sobre el imaginario colectivo y sus relaciones con la realidad y la verdad. Primero, debemos abordar este tema dentro de un marco conceptual, seguido del correspondiente análisis fáctico de realidades conductuales demostrables. Adoptaremos no solo la metodología, sino sobre todo los principios y proposiciones de la filosofía analítica, que seguramente quedarán patentes a lo largo del estudio y podrán identificarse por las características descritas por Pérez. : Rabossi (1975) sostiene que la filosofía analítica puede identificarse (...)
    Download  
     
    Export citation  
     
    Bookmark  
  • Too Many Cats: The Problem of the Many and the Metaphysics of Vagueness.Nicholas K. Jones - 2010 - Dissertation, Birkbeck, University of London
    Unger’s Problem of the Many seems to show that the familiar macroscopic world is much stranger than it appears. From plausible theses about the boundaries of or- dinary objects, Unger drew the conclusion that wherever there seems to be just one cat, cloud, table, human, or thinker, really there are many millions; and likewise for any other familiar kind of individual. In Lewis’s hands, this puzzle was subtly altered by an appeal to vagueness or indeterminacy about the the boundaries of (...)
    Download  
     
    Export citation  
     
    Bookmark  
  • Not So Simple.Colin R. Caret - 2023 - Asian Journal of Philosophy 2 (2):1-16.
    In a recent series of articles, Beall has developed the view that FDE is the formal system most deserving of the honorific “Logic”. The Simple Argument for this view is a cost-benefit analysis: the view that FDE is Logic has no drawbacks and it has some benefits when compared with any of its rivals. In this paper, I argue that both premises of the Simple Argument are mistaken. I use this as an opportunity to further reflect on how such arguments (...)
    Download  
     
    Export citation  
     
    Bookmark  
  • Quantification in the Interpretational Theory of Validity.Marco Grossi - 2023 - Synthese 202 (3):1-21.
    According to the interpretational theory of logical validity (IR), logical validity is preservation of truth in all interpretations compatible with the intended meaning of logical expressions. IR suffers from a seemingly defeating objection, the so-called cardinality problem: any instance of the statement ‘There are n things’ is true under all interpretations, since it can be written down using only logical expressions that are not to be reinterpreted; yet ‘There are n things’ is not logically true. I argue that the cardinality (...)
    Download  
     
    Export citation  
     
    Bookmark  
  • Слепые тени Нарцисса.Roberto Thomas Arruda - 2023 - São Paulo: Terra à Vista.
    В данной работе рассматриваются важнейшие вопросы о коллективном воображаемом и его отношениях с реальностью и истиной. Сначала мы рассмотрим эту тему в концептуальных рамках, а затем проведем соответствующий фактологический анализ наглядных поведенческих реалий. Мы будем опираться не только на методологию, но и, главным образом, на постулаты и положения аналитической философии, которые, безусловно, будут проявляться на протяжении всего исследования и могут быть идентифицированы по признакам, описанным Пересом : Рабосси (1975) отстаивает идею, что аналитическая философия может быть идентифицирована путем рассмотрения некоторых семейных (...)
    Download  
     
    Export citation  
     
    Bookmark  
  • Die blinden Schatten von Narcissus.Roberto Arruda (ed.) - 2023 - Sao Paulo: Terra à Vista.
    Diese Arbeit wird wesentliche Fragen über das kollektive Imaginär und seine Beziehungen zur Realität und Wahrheit ansprechen. Zunächst sollten wir dieses Thema in einem konzeptionellen Rahmen ansprechen, gefolgt von der entsprechenden Tatsachenanalyse demonstrierbarer Verhaltensrealitäten. Wir werden nicht nur die Methodik, sondern vor allem die Prinzipien und Sätze der analytischen Philosophie annehmen. Die vorliegende Arbeit beruht analytischer Reflexion. Wir werden so umfassend und tief wie möglich spekulieren und die Ergebnisse unserer Gedanken ausdrücken. Trotz des multidisziplinären Charakters des Themas und der methodischen (...)
    Download  
     
    Export citation  
     
    Bookmark  
  • The Formalization of Arguments.Robert Michels - 2020 - Dialectica 74 (2).
    The purpose of this introduction is to give a rough overview of the discussion of the formalization of arguments, focusing on deductive arguments. The discussion is structured around four important junctions: i) the notion of support, which captures the relation between the conclusion and premises of an argument, ii) the choice of a formal language into which the argument is translated in order to make it amenable to evaluation via formal methods, iii) the question of quality criteria for such formalizations, (...)
    Download  
     
    Export citation  
     
    Bookmark  
  • Should Intro Ethics Make You a Better Person?Katharina Nieswandt - 2022 - In Christian Kietzmann (ed.), Teleological Structures in Human Life: Essays for Anselm W. Müller. Routledge. pp. 113–134.
    There is a common demand that moral theory be 'practical', voiced both in- and outside of philosophy. Neo-Humeans, Kantian constitutivists and Aristotelian naturalists have all advocated the idea that my knowledge that I ought to do something must lead me to actually do it—an idea sometimes called the “practicality requirement” for moral theory. Some university administrators apply this idea in practice, when they force students who violate the code of conduct to complete classes in moral theory, hoping that the knowledge (...)
    Download  
     
    Export citation  
     
    Bookmark  
  • First‐order logics over fixed domain.R. Gregory Taylor - 2022 - Theoria 88 (3):584-606.
    What we call first‐order logic over fixed domain was initiated, in a certain guise, by Peirce around 1885 and championed, albeit in idiosyncratic form, by Zermelo in papers from the 1930s. We characterise such logics model‐ and proof‐theoretically and argue that they constitute exploration of a clearly circumscribed conception of domain‐dependent generality. Whereas a logic, or family of such, can be of interest for any of a variety of reasons, we suggest that one of those reasons might be that said (...)
    Download  
     
    Export citation  
     
    Bookmark  
  • Cognitive Projects and the Trustworthiness of Positive Truth.Matteo Zicchetti - 2022 - Erkenntnis (8).
    The aim of this paper is twofold: first, I provide a cluster of theories of truth in classical logic that is (internally) consistent with global reflection principles: the theories of positive truth (and falsity). After that, I analyse the _epistemic value_ of such theories. I do so employing the framework of cognitive projects introduced by Wright (Proc Aristot Soc 78:167–245, 2004), and employed—in the context of theories of truth—by Fischer et al. (Noûs 2019. https://doi.org/10.1111/nous.12292 ). In particular, I will argue (...)
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  • Paper, Plaster, Strings: Exploratory Material Mathematical Models between the 1860s and 1930s.Michael Friedman - 2021 - Perspectives on Science 29 (4):436-467.
    Does the materiality of a three-dimensional model have an effect on how this model operates in an exploratory way, how it prompts discovery of new mathematical results? Material mathematical models were produced and used during the second half of the nineteenth century, visualizing mathematical objects, such as curves and surfaces—and these were produced from a variety of materials: paper, cardboard, plaster, strings, wood. However, the question, whether their materiality influenced the status of these models—considered as exploratory, technical, or representational—was hardly (...)
    Download  
     
    Export citation  
     
    Bookmark  
  • 19th Brazilian Logic Conference: Book of Abstracts.Cezar A. Mortari & Ricardo Silvestre (eds.) - 2019 - João Pessoa, PB, Brasil: EDUFCG.
    This is the book of abstracts of the 19th Brazilian Logic Conferences. The Brazilian Logic Conferences (EBL) is one of the most traditional logic conferences in South America. Organized by the Brazilian Logic Society (SBL), its main goal is to promote the dissemination of research in logic in a broad sense. It has been occurring since 1979, congregating logicians of different fields — mostly philosophy, mathematics and computer science — and with different backgrounds — from undergraduate students to senior researchers. (...)
    Download  
     
    Export citation  
     
    Bookmark  
  • Reasoning with Ambiguity.Christian Wurm - 2021 - Journal of Logic, Language and Information 30 (1):139-206.
    We treat the problem of reasoning with ambiguous propositions. Even though ambiguity is obviously problematic for reasoning, it is no less obvious that ambiguous propositions entail other propositions, and are entailed by other propositions. This article gives a formal analysis of the underlying mechanisms, both from an algebraic and a logical point of view. The main result can be summarized as follows: sound reasoning with ambiguity requires a distinction between equivalence on the one and congruence on the other side: the (...)
    Download  
     
    Export citation  
     
    Bookmark  
  • Laws, Models, and Theories in Biology: A Unifying Interpretation.Pablo Lorenzano - 2020 - In Lorenzo Baravalle & Luciana Zaterka (eds.), Life and Evolution, History, Philosophy and Theory of the Life Sciences. pp. 163-207.
    Three metascientific concepts that have been object of philosophical analysis are the concepts oflaw, model and theory. The aim ofthis article is to present the explication of these concepts, and of their relationships, made within the framework of Sneedean or Metatheoretical Structuralism (Balzer et al. 1987), and of their application to a case from the realm of biology: Population Dynamics. The analysis carried out will make it possible to support, contrary to what some philosophers of science in general and of (...)
    Download  
     
    Export citation  
     
    Bookmark   2 citations  
  • AS SOMBRAS CEGAS DE NARCISO (um estudo psicossocial sobre o imaginário coletivo).Roberto Thomas Arruda (ed.) - 2020 - Terra à Vista.
    No presente trabalho, vamos abordar algumas das questões essenciais sobre o imaginário coletivo e suas relações com a realidade e a verdade. Devemos encarar esse assunto em uma estrutura conceptual, seguida pela análise factual correspondente às realidades comportamentais demonstráveis. Adotaremos não apenas a metodologia, mas principalmente os princípios e proposições da filosofia analítica, que com certeza serão evidentes ao longo do estudo e podem ser identificados pelos recursos descritos por Perez[1] : Rabossi (1975) defende a ideia de que a filosofia (...)
    Download  
     
    Export citation  
     
    Bookmark  
  • Relative Interpretations and Substitutional Definitions of Logical Truth and Consequence.Mirko Engler - 2020 - In Martin Blicha & Igor Sedlar (eds.), The Logica Yearbook 2019. College Publications. pp. 33 - 47.
    This paper proposes substitutional definitions of logical truth and consequence in terms of relative interpretations that are extensionally equivalent to the model-theoretic definitions for any relational first-order language. Our philosophical motivation to consider substitutional definitions is based on the hope to simplify the meta-theory of logical consequence. We discuss to what extent our definitions can contribute to that.
    Download  
     
    Export citation  
     
    Bookmark  
  • The Blind Shadows of Narcissus - a psychosocial study on collective imaginary. (2nd edition).Roberto Thomas Arruda (ed.) - 2020 - Terra à vista.
    In this work, we will approach some essential questions about the collective imaginary and their relations with reality and truth. We should face this subject in a conceptual framework, followed by the corresponding factual analysis of demonstrable behavioral realities. We will adopt not only the methodology, but mostly the tenets and propositions of the analytic philosophy, which certainly will be apparent throughout the study, and may be identified by the features described by Perez : -/- Rabossi (1975) defends the idea (...)
    Download  
     
    Export citation  
     
    Bookmark  
  • Semantics and Truth.Jan Woleński - 2019 - Cham, Switzerland: Springer Verlag.
    The book provides a historical and systematic exposition of the semantic theory of truth formulated by Alfred Tarski in the 1930s. This theory became famous very soon and inspired logicians and philosophers. It has two different, but interconnected aspects: formal-logical and philosophical. The book deals with both, but it is intended mostly as a philosophical monograph. It explains Tarski’s motivation and presents discussions about his ideas as well as points out various applications of the semantic theory of truth to philosophical (...)
    Download  
     
    Export citation  
     
    Bookmark   9 citations  
  • Formal Notes on the Substitutional Analysis of Logical Consequence.Volker Halbach - 2020 - Notre Dame Journal of Formal Logic 61 (2):317-339.
    Logical consequence in first-order predicate logic is defined substitutionally in set theory augmented with a primitive satisfaction predicate: an argument is defined to be logically valid if and only if there is no substitution instance with true premises and a false conclusion. Substitution instances are permitted to contain parameters. Variants of this definition of logical consequence are given: logical validity can be defined with or without identity as a logical constant, and quantifiers can be relativized in substitution instances or not. (...)
    Download  
     
    Export citation  
     
    Bookmark   5 citations  
  • Rivalry, normativity, and the collapse of logical pluralism.Erik Stei - 2020 - Inquiry: An Interdisciplinary Journal of Philosophy 63 (3-4):411-432.
    Logical pluralism is the view that there is more than one correct logic. This very general characterization gives rise to a whole family of positions. I argue that not all of them are stable. The main argument in the paper is inspired by considerations known as the “collapse problem”, and it aims at the most popular form of logical pluralism advocated by JC Beall and Greg Restall. I argue that there is a more general argument available that challenges all variants (...)
    Download  
     
    Export citation  
     
    Bookmark   13 citations  
  • The accident of logical constants.Tristan Grøtvedt Haze - 2020 - Thought: A Journal of Philosophy 9 (1):34-42.
    Work on the nature and scope of formal logic has focused unduly on the distinction between logical and extra-logical vocabulary; which argument forms a logical theory countenances depends not only on its stock of logical terms, but also on its range of grammatical categories and modes of composition. Furthermore, there is a sense in which logical terms are unnecessary. Alexandra Zinke has recently pointed out that propositional logic can be done without logical terms. By defining a logical-term-free language with the (...)
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  • Non-Normative Logical Pluralism and the Revenge of the Normativity Objection.Erik Stei - 2020 - Philosophical Quarterly 70 (278):162–177.
    Logical pluralism is the view that there is more than one correct logic. Most logical pluralists think that logic is normative in the sense that you make a mistake if you accept the premisses of a valid argument but reject its conclusion. Some authors have argued that this combination is self-undermining: Suppose that L1 and L2 are correct logics that coincide except for the argument from Γ to φ, which is valid in L1 but invalid in L2. If you accept (...)
    Download  
     
    Export citation  
     
    Bookmark   7 citations  
  • What is a logical theory? On theories containing assertions and denials.Carolina Blasio, Carlos Caleiro & João Marcos - 2019 - Synthese 198 (S22):5481-5504.
    The standard notion of formal theory, in logic, is in general biased exclusively towards assertion: it commonly refers only to collections of assertions that any agent who accepts the generating axioms of the theory should also be committed to accept. In reviewing the main abstract approaches to the study of logical consequence, we point out why this notion of theory is unsatisfactory at multiple levels, and introduce a novel notion of theory that attacks the shortcomings of the received notion by (...)
    Download  
     
    Export citation  
     
    Bookmark   4 citations  
  • Inference Rules and the Meaning of the Logical Constants.Hermógenes Oliveira - 2019 - Dissertation, Eberhard Karls Universität Tübingen
    The dissertation provides an analysis and elaboration of Michael Dummett's proof-theoretic notions of validity. Dummett's notions of validity are contrasted with standard proof-theoretic notions and formally evaluated with respect to their adequacy to propositional intuitionistic logic.
    Download  
     
    Export citation  
     
    Bookmark  
  • Against a Metaphysical Understanding of Rejection.Mariela Rubin & Ariel Roffé - 2018 - Principia: An International Journal of Epistemology 22 (1):189-202.
    In this article, we defend that incorporating a rejection operator into a paraconsistent language involves fully specifying its inferential characteristics within the logic. To do this, we examine a recent proposal by Berto for a paraconsistent rejection, which — according to him — avoids paradox, even when introduced into a language that contains self-reference and a transparent truth predicate. We will show that this proposal is inadequate because it is too incomplete. We argue that the reason it avoids trouble is (...)
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  • Concepciones de la lógica.Alberto Moretti - 2010 - Páginas de Filosofía (Universidad Nacional del Comahue) 11 (13):162-185.
    Se examinan las motivaciones teóricas, los lineamientos generales y las principales variantes de dos modos complementarios de entender la naturaleza de la lógica. El primero centrado en logros técnicos alcanzados desde fines del siglo XIX, y el segundo vinculado con la reflexión clásica sobre la naturaleza de los principios de la actividad de la razón. Se pone énfasis en la importancia del vínculo constitutivo entre las reglas y leyes lógicas y la estructura del lenguaje, en particular de aquél que subyace (...)
    Download  
     
    Export citation  
     
    Bookmark