Switch to: References

Citations of:

The Concept of Logical Consequence

Erkenntnis 41 (2):281-284 (1994)

Add citations

You must login to add citations.
  1. Assessing concept possession as an explicit and social practice.Alessia Marabini & Luca Moretti - 2017 - Journal of Philosophy of Education 51 (4):801-816.
    We focus on issues of learning assessment from the point of view of an investigation of philosophical elements in teaching. We contend that assessment of concept possession at school based on ordinary multiple-choice tests might be ineffective because it overlooks aspects of human rationality illuminated by Robert Brandom’s inferentialism––the view that conceptual content largely coincides with the inferential role of linguistic expressions used in public discourse. More particularly, we argue that multiple-choice tests at schools might fail to accurately assess the (...)
    Download  
     
    Export citation  
     
    Bookmark   5 citations  
  • A deflationist approach to indeterminacy and vagueness.Ken Akiba - 2002 - Philosophical Studies 107 (1):69 - 86.
    Deflationists cannot make sense ofthe notion of referential indeterminacybecause they deny the existence of substantivereference. One way for them to make sense ofthe objective existence of linguisticindeterminacy is by embracing theworldly (or objectual) view ofindeterminacy, the view that indeterminacyexists not in reference relations but in the(non-linguistic) world itself. On this view,the entire world is divided into precisified worlds, just as it is dividedinto temporal slices and (arguably) alethicpossible worlds. Supervaluationism proves tobe neutral with respect to the debate betweenthe worldly view (...)
    Download  
     
    Export citation  
     
    Bookmark   2 citations  
  • Rastrgan između obrisa logike.Abbas Ahsan & Marzuqa Karima - 2022 - European Journal of Analytic Philosophy 18 (2):10-41.
    Zapadna suvremena logika korištena je za unapređenje islamske filozofske teologije, koja je povijesno koristila aristotelovsko-avicenovsku logiku, na temelju toga što se logika shvaćala kao inherentno normativna. To je usprkos kontroverzama o statusu logike u islamskoj teološkoj tradiciji. Normativni autoritet logike znači da ona utječe na sadržaj onoga u što bismo trebali vjerovati i na to kako bismo trebali revidirati ta uvjerenja. Ovaj rad nastoji pokazati da je, bez obzira na nekompatibilne razlike između dvaju sustava, temeljna značajka zapadne suvremene logike i (...)
    Download  
     
    Export citation  
     
    Bookmark  
  • Hyperintensional Foundations of Mathematical Platonism.David Elohim - manuscript
    This paper aims to provide hyperintensional foundations for mathematical platonism. I examine Hale and Wright's (2009) objections to the merits and need, in the defense of mathematical platonism and its epistemology, of the thesis of Necessitism. In response to Hale and Wright's objections to the role of epistemic and metaphysical modalities in providing justification for both the truth of abstraction principles and the success of mathematical predicate reference, I examine the Necessitist commitments of the abundant conception of properties endorsed by (...)
    Download  
     
    Export citation  
     
    Bookmark  
  • Informal Logic: A 'Canadian' Approach to Argument.Federico Puppo (ed.) - 2019 - Windsor, Canada: Windsor Studies in Argumentation.
    The informal logic movement began as an attempt to develop – and teach – an alternative logic which can account for the real life arguing that surrounds us in our daily lives – in newspapers and the popular media, political and social commentary, advertising, and interpersonal exchange. The movement was rooted in research and discussion in Canada and especially at the University of Windsor, and has become a branch of argumentation theory which intersects with related traditions and approaches (notably formal (...)
    Download  
     
    Export citation  
     
    Bookmark   2 citations  
  • What is Logical Form?Ernest Lepore & Kirk Ludwig - 2002 - In Gerhard Preyer & Georg Peter (eds.), Logical Form and Language. Clarendon Press. pp. 54-90.
    Bertrand Russell, in the second of his 1914 Lowell lectures, Our Knowledge of the External World, asserted famously that ‘every philosophical problem, when it is subjected to the necessary analysis and purification, is found either to be not really philosophical at all, or else to be, in the sense in which we are using the word, logical’ (Russell 1993, p. 42). He went on to characterize that portion of logic that concerned the study of forms of propositions, or, as he (...)
    Download  
     
    Export citation  
     
    Bookmark   14 citations  
  • Truth, Pretense and the Liar Paradox.Bradley Armour-Garb & James A. Woodbridge - 2015 - In T. Achourioti, H. Galinon, J. Martínez Fernández & K. Fujimoto (eds.), Unifying the Philosophy of Truth. Dordrecht: Imprint: Springer. pp. 339-354.
    In this paper we explain our pretense account of truth-talk and apply it in a diagnosis and treatment of the Liar Paradox. We begin by assuming that some form of deflationism is the correct approach to the topic of truth. We then briefly motivate the idea that all T-deflationists should endorse a fictionalist view of truth-talk, and, after distinguishing pretense-involving fictionalism (PIF) from error- theoretic fictionalism (ETF), explain the merits of the former over the latter. After presenting the basic framework (...)
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  • 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  
  • Alfred Tarski: philosophy of language and logic.Douglas Patterson - 2012 - New York: Palgrave-Macmillan.
    This study looks to the work of Tarski's mentors Stanislaw Lesniewski and Tadeusz Kotarbinski, and reconsiders all of the major issues in Tarski scholarship in light of the conception of Intuitionistic Formalism developed: semantics, truth, paradox, logical consequence.
    Download  
     
    Export citation  
     
    Bookmark   19 citations  
  • Invariance and Logicality in Perspective.Gila Sher - 2021 - In Gil Sagi & Jack Woods (eds.), The Semantic Conception of Logic : Essays on Consequence, Invariance, and Meaning. New York, NY: Cambridge University Press. pp. 13-34.
    Although the invariance criterion of logicality first emerged as a criterion of a purely mathematical interest, it has developed into a criterion of considerable linguistic and philosophical interest. In this paper I compare two different perspectives on this criterion. The first is the perspective of natural language. Here, the invariance criterion is measured by its success in capturing our linguistic intuitions about logicality and explaining our logical behavior in natural-linguistic settings. The second perspective is more theoretical. Here, the invariance criterion (...)
    Download  
     
    Export citation  
     
    Bookmark   2 citations  
  • The Modal Future: A Theory of Future-Directed Thought and Talk.Fabrizio Cariani - 2021 - Cambridge, UK: Cambridge University Press.
    Provisional draft, pre-production copy of my book “The Modal Future” (forthcoming with Cambridge University Press).
    Download  
     
    Export citation  
     
    Bookmark   9 citations  
  • Epistemologia dell'educazione. Pensiero critico, etica ed Epistemic Injustice.Alessia Marabini - 2020 - Rome: Aracne editore.
    Contro una visione prettamente strumentale della razionalità, una tesi di questo libro è che il pensiero critico non può consistere solo di abilità di pensiero deduttivo o inferenziale, ma è più in generale espressione di abilità epistemiche e competenze etiche inerenti al processo della conoscenza intesa come questione complessa, poiché relativa alla formazione della persona che conosce e agisce nel mondo secondo determinati fini, valori, credenze. Una valutazione delle competenze che non tenga conto di questa differenza genera forme di ingiustizia (...)
    Download  
     
    Export citation  
     
    Bookmark  
  • Dag Prawitz on Proofs and Meaning.Heinrich Wansing (ed.) - 2014 - Cham, Switzerland: Springer.
    This volume is dedicated to Prof. Dag Prawitz and his outstanding contributions to philosophical and mathematical logic. Prawitz's eminent contributions to structural proof theory, or general proof theory, as he calls it, and inference-based meaning theories have been extremely influential in the development of modern proof theory and anti-realistic semantics. In particular, Prawitz is the main author on natural deduction in addition to Gerhard Gentzen, who defined natural deduction in his PhD thesis published in 1934. The book opens with an (...)
    Download  
     
    Export citation  
     
    Bookmark  
  • The Bounds of Logic: A Generalized Viewpoint.Gila Sher - 1991 - MIT Press.
    The Bounds of Logic presents a new philosophical theory of the scope and nature of logic based on critical analysis of the principles underlying modern Tarskian logic and inspired by mathematical and linguistic development. Extracting central philosophical ideas from Tarski’s early work in semantics, Sher questions whether these are fully realized by the standard first-order system. The answer lays the foundation for a new, broader conception of logic. By generally characterizing logical terms, Sher establishes a fundamental result in semantics. Her (...)
    Download  
     
    Export citation  
     
    Bookmark   95 citations  
  • Formalizing Medieval Logical Theories: Suppositio, Consequentiae and Obligationes.Catarina Dutilh Novaes - 2007 - Dordrecht, Netherland: Springer.
    This book presents novel formalizations of three of the most important medieval logical theories: supposition, consequence and obligations. In an additional fourth part, an in-depth analysis of the concept of formalization is presented - a crucial concept in the current logical panorama, which as such receives surprisingly little attention.Although formalizations of medieval logical theories have been proposed earlier in the literature, the formalizations presented here are all based on innovative vantage points: supposition theories as algorithmic hermeneutics, theories of consequence analyzed (...)
    Download  
     
    Export citation  
     
    Bookmark   30 citations  
  • On How Logic Became First-Order.Matti Eklund - 1996 - Nordic Journal of Philosophical Logic 1 (2):147-67.
    Added by a category editor--not an official abstract. -/- Discusses the history (and reasons for the history) implicit in the title, as well as the author's view on same.
    Download  
     
    Export citation  
     
    Bookmark   9 citations  
  • Sobre la definición semántica de consecuencia lógica.Kurt Wischin - 2013 - Disputatio. Philosophical Research Bulletin 2 (3):111--136.
    [ES] La teoría de modelos parte generalmente de la definición de consecuencia lógica ofrecida por Tarski en 1936. John Etchemendy asevera que esta definición contiene una falacia si se le toma como definición genuina de este concepto. Esta aseveración ha desatado una polémica interesante. El presente ensayo resume los puntos principales en discusión y sugiere en su conclusión que el rechazo de la propuesta de Etchemendy se basa en un malentendido de la intención de su crítica, cuyo objeto no es, (...)
    Download  
     
    Export citation  
     
    Bookmark  
  • Alfred Tarski.Mario Gómez-Torrente - 2008 - Stanford Encyclopedia of Philosophy.
    Download  
     
    Export citation  
     
    Bookmark   3 citations  
  • Names.Sam Cumming - 2009 - Stanford Encyclopedia of Philosophy.
    Download  
     
    Export citation  
     
    Bookmark   15 citations  
  • Logical Indefinites.Jack Woods - 2014 - Logique Et Analyse -- Special Issue Edited by Julien Murzi and Massimiliano Carrara 227: 277-307.
    I argue that we can and should extend Tarski's model-theoretic criterion of logicality to cover indefinite expressions like Hilbert's ɛ operator, Russell's indefinite description operator η, and abstraction operators like 'the number of'. I draw on this extension to discuss the logical status of both abstraction operators and abstraction principles.
    Download  
     
    Export citation  
     
    Bookmark   12 citations  
  • Formality in Logic: From Logical Terms to Semantic Constraints.Gil Sagi - 2014 - Logique Et Analyse 57 (227).
    In this paper I discuss a prevailing view by which logical terms determine forms of sentences and arguments and therefore the logical validity of arguments. This view is common to those who hold that there is a principled distinction between logical and nonlogical terms and those holding relativistic accounts. I adopt the Tarskian tradition by which logical validity is determined by form, but reject the centrality of logical terms. I propose an alternative framework for logic where logical terms no longer (...)
    Download  
     
    Export citation  
     
    Bookmark   13 citations  
  • En defensa del argumento finitista.Diego Tajer - 2014 - Revista Latinoamericana de Filosofia 40 (2):129-143.
    En este artículo, analizo las principales respuestas que se han dado al argumento finitista de Etchemendy, y muestro que ninguna de ellas es exitosa. Primero, describo y critico las propuestas que intentan resolverlo apelando a consideraciones modales. Estas soluciones fallan porque presuponen un finitismo demasiado débil, donde se acepta la existencia de infinitos conjuntos o de mundos posibles con infinitos objetos. Pero hay versiones más fuertes del finitismo que reintroducen el problema. Luego considero las soluciones que apelan a categorías semánticas. (...)
    Download  
     
    Export citation  
     
    Bookmark  
  • A Completenesss Theorem for a 3-Valued Semantics for a First-order Language.Christopher Gauker - manuscript
    This document presents a Gentzen-style deductive calculus and proves that it is complete with respect to a 3-valued semantics for a language with quantifiers. The semantics resembles the strong Kleene semantics with respect to conjunction, disjunction and negation. The completeness proof for the sentential fragment fills in the details of a proof sketched in Arnon Avron (2003). The extension to quantifiers is original but uses standard techniques.
    Download  
     
    Export citation  
     
    Bookmark  
  • Expresabilidad, validez y recursos lógicos.Eduardo Alejandro Barrio - 2014 - Critica 46 (138):3-36.
    El objetivo de este artículo es investigar diversos resultados limitativos acerca del concepto de validez. En particular, argumento que ninguna teoría lógica de orden superior con semántica estándar puede tener recursos expresivos suficientes como para capturar su propio concepto de validez. Además, muestro que la lógica de la verdad transparente que Hartry Field desarrolló recientemente conduce a resultados limitativos similares.
    Download  
     
    Export citation  
     
    Bookmark  
  • Two concepts of validity and completeness.Jaroslav Peregrin - unknown
    A formula is (materially) valid iff all its instances are true sentences; and an axiomatic system is called (materially) sound and complete iff it proves all and only valid formulas. These are 'natural' concepts of validity and completeness, which were, however, in the course of the history of modern logic, stealthily replaced by their formal descendants: formal validity and completeness. A formula is formally valid iff it is true under all interpretations in all universes; and an axiomatic system is called (...)
    Download  
     
    Export citation  
     
    Bookmark  
  • The ubiquity of background knowledge.Jaap Kamps - 2005 - Poznan Studies in the Philosophy of the Sciences and the Humanities 84 (1):317-337.
    Scientific discourse leaves implicit a vast amount of knowledge, assumes that this background knowledge is taken into account – even taken for granted – and treated as undisputed. In particular, the terminology in the empirical sciences is treated as antecedently understood. The background knowledge surrounding a theory is usually assumed to be true or approximately true. This is in sharp contrast with logic, which explicitly ignores underlying presuppositions and assumes uninterpreted languages. We discuss the problems that background knowledge may cause (...)
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  • Varieties of Bayesianism.Jonathan Weisberg - 2011
    Handbook of the History of Logic, vol. 10, eds. Dov Gabbay, Stephan Hartmann, and John Woods, forthcoming.
    Download  
     
    Export citation  
     
    Bookmark   37 citations  
  • Logical Quantifiers.Gila Sher - 2012 - In D. Graff Fara & G. Russell (eds.), Routledge Companion to Philosophy of Language. Routledge. pp. 579-595.
    This chapter offers a logical, linguistic, and philosophical account of modern quantification theory. Contrasting the standard approach to quantifiers (according to which logical quantifiers are defined by enumeration) with the generalized approach (according to which quantifiers are defined systematically), the chapter begins with a brief history of standard quantifier theory and identifies some of its logical, linguistic, and philosophical strengths and weaknesses. It then proceeds to a brief history of generalized quantifier theory and explains how it overcomes the weaknesses of (...)
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  • Frameworks, models, and case studies: a new methodology for studying conceptual change in science and philosophy.Matteo De Benedetto - 2022 - Dissertation, Ludwig Maximilians Universität, München
    This thesis focuses on models of conceptual change in science and philosophy. In particular, I developed a new bootstrapping methodology for studying conceptual change, centered around the formalization of several popular models of conceptual change and the collective assessment of their improved formal versions via nine evaluative dimensions. Among the models of conceptual change treated in the thesis are Carnap’s explication, Lakatos’ concept-stretching, Toulmin’s conceptual populations, Waismann’s open texture, Mark Wilson’s patches and facades, Sneed’s structuralism, and Paul Thagard’s conceptual revolutions. (...)
    Download  
     
    Export citation  
     
    Bookmark  
  • A Computational Learning Semantics for Inductive Empirical Knowledge.Kevin T. Kelly - 2014 - In Alexandru Baltag & Sonja Smets (eds.), Johan van Benthem on Logic and Information Dynamics. Springer International Publishing. pp. 289-337.
    This chapter presents a new semantics for inductive empirical knowledge. The epistemic agent is represented concretely as a learner who processes new inputs through time and who forms new beliefs from those inputs by means of a concrete, computable learning program. The agent’s belief state is represented hyper-intensionally as a set of time-indexed sentences. Knowledge is interpreted as avoidance of error in the limit and as having converged to true belief from the present time onward. Familiar topics are re-examined within (...)
    Download  
     
    Export citation  
     
    Bookmark   2 citations  
  • Necessity of Thought.Cesare Cozzo - 2015 - In Heinrich Wansing (ed.), Dag Prawitz on Proofs and Meaning. Springer. pp. 101-20.
    The concept of “necessity of thought” plays a central role in Dag Prawitz’s essay “Logical Consequence from a Constructivist Point of View” (Prawitz 2005). The theme is later developed in various articles devoted to the notion of valid inference (Prawitz, 2009, forthcoming a, forthcoming b). In section 1 I explain how the notion of necessity of thought emerges from Prawitz’s analysis of logical consequence. I try to expound Prawitz’s views concerning the necessity of thought in sections 2, 3 and 4. (...)
    Download  
     
    Export citation  
     
    Bookmark   6 citations  
  • 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  
  • The Metaphysical Basis of Logic.Michaela McSweeney - 2016 - Dissertation, Princeton University
    Download  
     
    Export citation  
     
    Bookmark  
  • A Note on Logical Truth.Corine Besson - 2014 - Logique Et Analyse 57 (227):309-331.
    Classical logic counts sentences such as ‘Alice is identical with Alice’ as logically true. A standard objection to classical logic is that Alice’s self-identity, for instance, is not a matter of logic because the identity of particular objects is not a matter of logic. For this reason, many philosophers argue that classical logic is not the right logic, and that it should be abandoned in favour of free logic — logic free of existential commitments with respect to singular terms. In (...)
    Download  
     
    Export citation  
     
    Bookmark  
  • Aristotle's Theory of the Assertoric Syllogism.Stephen Read - manuscript
    Although the theory of the assertoric syllogism was Aristotle's great invention, one which dominated logical theory for the succeeding two millenia, accounts of the syllogism evolved and changed over that time. Indeed, in the twentieth century, doctrines were attributed to Aristotle which lost sight of what Aristotle intended. One of these mistaken doctrines was the very form of the syllogism: that a syllogism consists of three propositions containing three terms arranged in four figures. Yet another was that a syllogism is (...)
    Download  
     
    Export citation  
     
    Bookmark   2 citations  
  • Ontological Commitment.Daniel Durante Pereira Alves - 2018 - AL-Mukhatabat 1 (27):177-223.
    Disagreement over what exists is so fundamental that it tends to hinder or even to block dialogue among disputants. The various controversies between believers and atheists, or realists and nominalists, are only two kinds of examples. Interested in contributing to the intelligibility of the debate on ontology, in 1939 Willard van Orman Quine began a series of works which introduces the notion of ontological commitment and proposes an allegedly objective criterion to identify the exact conditions under which a theoretical discourse (...)
    Download  
     
    Export citation  
     
    Bookmark  
  • Theory and Reality : Metaphysics as Second Science.Staffan Angere - unknown
    Theory and Reality is about the connection between true theories and the world. A mathematical framefork for such connections is given, and it is shown how that framework can be used to infer facts about the structure of reality from facts about the structure of true theories, The book starts with an overview of various approaches to metaphysics. Beginning with Quine's programmatic "On what there is", the first chapter then discusses the perils involved in going from language to metaphysics. It (...)
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  • A Cláusula Final da Definição Geral do Silogismo e suas funções na silogística e nos Primeiros Analíticos I de Aristóteles.Felipe Weinmann - 2014 - Dissertation, University of Campinas
    Aristotle's General Definition of the Syllogism may be taken as consisting of two parts: the Inferential Conditions and the Final Clause. Although this distinction is well known, traditional interpretations neglect the Final Clause and its influence on syllogistic. Instead, the aforementioned tradition focuses on the Inferential Conditions only. We intend to show that this neglect has severe consequences not just on syllogistic but on the whole exegesis of Aristotle's Prior Analytics I. Due to these consequences, our objective is to analyse (...)
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  • Is unsaying polite?Berislav Žarnić - 2012 - In Majda Trobok, Nenad Miščević & Berislav Žarnić (eds.), Between Logic and Reality: Modeling Inference, Action and Understanding. Springer. pp. 201--224.
    This paper is divided in five sections. Section 11.1 sketches the history of the distinction between speech act with negative content and negated speech act, and gives a general dynamic interpretation for negated speech act. “Downdate semantics” for AGM contraction is introduced in Section 11.2. Relying on semantically interpreted contraction, Section 11.3 develops the dynamic semantics for constative and directive speech acts, and their external negations. The expressive completeness for the formal variants of natural language utterances, none of which is (...)
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  • A priori truths.Greg Restall - 2009 - In John Shand (ed.), Central Issues of Philosophy. Wiley-Blackwell.
    Philosophers love a priori knowledge: we delight in truths that can be known from the comfort of our armchairs, without the need to venture out in the world for confirmation. This is due not to laziness, but to two different considerations. First, it seems that many philosophical issues aren’t settled by our experience of the world — the nature of morality; the way concepts pick out objects; the structure of our experience of the world in which we find ourselves — (...)
    Download  
     
    Export citation  
     
    Bookmark   6 citations  
  • Formalizations après la lettre: Studies in Medieval Logic and Semantics.Catarina Dutilh Novaes - 2006 - Dissertation, Leiden University
    This thesis is on the history and philosophy of logic and semantics. Logic can be described as the ‘science of reasoning’, as it deals primarily with correct patterns of reasoning. However, logic as a discipline has undergone dramatic changes in the last two centuries: while for ancient and medieval philosophers it belonged essentially to the realm of language studies, it has currently become a sub-branch of mathematics. This thesis attempts to establish a dialogue between the modern and the medieval traditions (...)
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  • Hilary Putnam on the philosophy of logic and mathematics.José Miguel Sagüillo - 2018 - Theoria : An International Journal for Theory, History and Fundations of Science 33 (2):183-200.
    I discuss Putnam’s conception of logical truth as grounded in his picture of mathematical practice and ontology. i begin by comparing Putnam’s 1971 Philosophy of Logic with Quine’s homonymous book. Next, Putnam’s changing views on modality are surveyed, moving from the modal pre-formal to the de-modalized formal characterization of logical validity. Section three suggests a complementary view of Platonism and modalism underlying different stages of a dynamic mathematical practice. The final section argues for the pervasive platonistic conception of the working (...)
    Download  
     
    Export citation  
     
    Bookmark  
  • On why the slingshot against the correspondence theory of truth misfires.Arhat Virdi - 2006 - Minerva - An Internet Journal of Philosophy 10 (1).
    According to the correspondence theory of truth, a statement is true just in case it corresponds to the facts. The slingshot argument demonstrating that there can be only one fact is understood by some philosophers to deliver a coup de grâce to the correspondence theory. Others, however, seek to deflect the slingshot by appealling to Russell’s non-referential theory of definite descriptions. I argue that the slingshot argument is immune to semantical considerations concerning definite descriptions. The slingshot argument is valid. However, (...)
    Download  
     
    Export citation  
     
    Bookmark  
  • Descartes's critique of the syllogistic.Alexander Xavier Douglas - 2017 - History of Philosophy Quarterly 34 (4).
    This article presents a novel reading of Descartes’s critique of the traditional syllogistic. The reading differs from those previously presented by scholars who regard Descartes’s critique as a version of a well-known argument: that syllogisms are circular or non-ampliative and thus trivial. It is argued that Descartes did not see syllogisms as defective in themselves. For him the problem was rather that anyone considering a valid and informative syllogism must already know, by an intuition wholly independent of the syllogism, that (...)
    Download  
     
    Export citation  
     
    Bookmark  
  • Hard and Soft Logical Information.Allo Patrick - 2017 - Journal of Logic and Computation:1-20.
    In this paper I use the distinction between hard and soft information from the dynamic epistemic logic tradition to extend prior work on informational conceptions of logic to include non-monotonic consequence-relations. In particular, I defend the claim that at least some non-monotonic logics can be understood on the basis of soft or “belief-like” logical information, and thereby question the orthodox view that all logical information is hard, “knowledge-like”, information.
    Download  
     
    Export citation  
     
    Bookmark  
  • The Logic of Contingent Existence.Daniel Michael Kervick - 1997 - Dissertation, University of Massachusetts Amherst
    Among modal claims, claims that involve the notions of broadly logical possibility and necessity, one that seems almost trivial is this: that if some proposition is possible, then it is possibly true. However, there is an argument, due in its essentials to the medieval philosopher and logician Jean Buridan, to the effect that this seemingly trivial claim is, in fact, untrue. ;Briefly put, the argument is this. Let Q be the proposition that Quine does not exist. Since Quine's existence is (...)
    Download  
     
    Export citation  
     
    Bookmark