Switch to: References

Citations of:

Logic

New York,: Harcourt, Brace & World. Edited by Richard Montague (1964)

Add citations

You must login to add citations.
  1. Defining Deduction.Mark Vorobej - 1992 - Informal Logic 14 (2).
    This paper defends the view that the classification of an argument as being deductive ought to rest exclusively upon psychological considerations; specifically, upon whether the argument's author holds certain beliefs. This account is justified on theoretical and pedagogical grounds, and situated within a general taxonomy of competing proposals. Epistemological difficulties involved in the application of psychological definitions are recognized but claimed to be ineliminable from the praetice of argumentation. The paper concludes by discussing embryonic arguments where the author's relevant beliefs (...)
    Download  
     
    Export citation  
     
    Bookmark   8 citations  
  • A Speech Act Calculus. A Pragmatised Natural Deduction Calculus and its Meta-theory.Moritz Cordes & Friedrich Reinmuth - manuscript
    Building on the work of Peter Hinst and Geo Siegwart, we develop a pragmatised natural deduction calculus, i.e. a natural deduction calculus that incorporates illocutionary operators at the formal level, and prove its adequacy. In contrast to other linear calculi of natural deduction, derivations in this calculus are sequences of object-language sentences which do not require graphical or other means of commentary in order to keep track of assumptions or to indicate subproofs. (Translation of our German paper "Ein Redehandlungskalkül. Ein (...)
    Download  
     
    Export citation  
     
    Bookmark  
  • (1 other version)Ein Redehandlungskalkül. Ein pragmatisierter Kalkül des natürlichen Schließens nebst Metatheorie.Moritz Cordes & Friedrich Reinmuth - manuscript
    Building on the work of Peter Hinst and Geo Siegwart, we develop a pragmatised natural deduction calculus, i.e., a natural deduction calculus that incorporates illocutionary operators at the formal level, and prove its adequacy. In contrast to other linear calculi of natural deduction, derivations in this calculus are sequences of object-language sentences which do not require graphical or other means of commentary in order to keep track of assumptions or to indicate subproofs.
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  • Cross-linguistic semantics.Maria Bittner - 1994 - Linguistics and Philosophy 17 (1):53 - 108.
    Rooth & Partee (1982) and Rooth (1985) have shown that the English-specific rule-by-rule system of PTQ can be factored out into function application plus two transformations for resolving type mismatch (type lifting and variable binding). Building on these insights, this article proposes a universal system for type-driven translation, by adding two more innovations: local type determination for gaps (generalizing Montague 1973) and a set of semantic filters (extending Cooper 1983). This system, dubbed Cross-Linguistic Semantics (XLS), is shown to account for (...)
    Download  
     
    Export citation  
     
    Bookmark   19 citations  
  • Enciclopédia de Termos Lógico-Filosóficos.João Miguel Biscaia Branquinho, Desidério Murcho & Nelson Gonçalves Gomes (eds.) - 2006 - São Paulo, SP, Brasil: Martins Fontes.
    Esta enciclopédia abrange, de uma forma introdutória mas desejavelmente rigorosa, uma diversidade de conceitos, temas, problemas, argumentos e teorias localizados numa área relativamente recente de estudos, os quais tem sido habitual qualificar como «estudos lógico-filosóficos». De uma forma apropriadamente genérica, e apesar de o território teórico abrangido ser extenso e de contornos por vezes difusos, podemos dizer que na área se investiga um conjunto de questões fundamentais acerca da natureza da linguagem, da mente, da cognição e do raciocínio humanos, bem (...)
    Download  
     
    Export citation  
     
    Bookmark   7 citations  
  • (2 other versions)What is a Contradiction?Patrick Grim - 2004 - In Graham Priest, Jc Beall & Bradley P. Armour-Garb (eds.), The law of non-contradiction : new philosophical essays. New York: Oxford University Press. pp. 49--72.
    The Law of Non-Contradiction holds that both sides of a contradiction cannot be true. Dialetheism is the view that there are contradictions both sides of which are true. Crucial to the dispute, then, is the central notion of contradiction. My first step here is to work toward clarification of that simple and central notion: Just what is a contradiction?
    Download  
     
    Export citation  
     
    Bookmark   16 citations  
  • Russell vs. Frege on definite descriptions as singular terms.Francis Jeffry Pelletier & Bernard Linsky - 2008 - In Nicholas Griffin & Dale Jacquette (eds.), Russell Vs. Meinong: The Legacy of "on Denoting". London and New York: Routledge.
    In ‘On Denoting’ and to some extent in ‘Review of Meinong and Others, Untersuchungen zur Gegenstandstheorie und Psychologie’, published in the same issue of Mind (Russell, 1905a,b), Russell presents not only his famous elimination (or contextual defi nition) of defi nite descriptions, but also a series of considerations against understanding defi nite descriptions as singular terms. At the end of ‘On Denoting’, Russell believes he has shown that all the theories that do treat defi nite descriptions as singular terms fall (...)
    Download  
     
    Export citation  
     
    Bookmark   4 citations  
  • The Barber Paradox: On its Paradoxicality and its Relationship to Russell's Paradox.Jiri Raclavsky - 2014 - Prolegomena 13 (2):269-278.
    The Barber paradox is often introduced as a popular version of Russell’s paradox, though some experts have denied their similarity, evencalling the Barber paradox a pseudoparadox. In the first part of thepaper, I demonstrate mainly that in the standard (Quinean) defini-tion of a paradox the Barber paradox is a clear-cut example of a non-paradox. Despite some outward similarities, it differs radically fromRussell’s paradox. I also expose many other differences. In the secondpart of the paper, I examine a probable source of (...)
    Download  
     
    Export citation  
     
    Bookmark  
  • Verification: The Hysteron Proteron Argument.Francis Jeffry Pelletier & Bernard Linsky - 2018 - Journal for the History of Analytical Philosophy 6 (6).
    This paper investigates the strange case of an argument that was directed against a positivist verification principle. We find an early occurrence of the argument in a talk by the phenomenologist Roman Ingarden at the 1934 International Congress of Philosophy in Prague, where Carnap and Neurath were present and contributed short rejoinders. We discuss the underlying presuppositons of the argument, and we evaluate whether the attempts by Carnap (especially) actually succeed in answering this argument. We think they don’t, and offer (...)
    Download  
     
    Export citation  
     
    Bookmark   7 citations  
  • On Defining ‘Argument’.Jeffrey Goodman - 2018 - Argumentation 32 (4):589-602.
    There is no concept more central to logic and critical thinking than the concept of an argument. I here address the definition of ‘argument’ in the logical sense of the term and defend the claim that many current proposals, once they are interpreted in a way that makes them sufficiently precise, are extensionally inadequate. Definitions found in some contemporary, prominent critical thinking textbooks will serve as a springboard. I claim that each may be interpreted in an absolutist way or a (...)
    Download  
     
    Export citation  
     
    Bookmark   4 citations  
  • Russell's Revenge: A Problem for Bivalent Fregean Theories of Descriptions.Jan Heylen - 2017 - Pacific Philosophical Quarterly 98 (4):636-652.
    Fregean theories of descriptions as terms have to deal with improper descriptions. To save bivalence various proposals have been made that involve assigning referents to improper descriptions. While bivalence is indeed saved, there is a price to be paid. Instantiations of the same general scheme, viz. the one and only individual that is F and G is G, are not only allowed but even required to have different truth values.
    Download  
     
    Export citation  
     
    Bookmark  
  • A calculus for first order discourse representation structures.Hans Kamp & Uwe Reyle - 1996 - Journal of Logic, Language and Information 5 (3-4):297-348.
    This paper presents a sound and complete proof system for the first order fragment of Discourse Representation Theory. Since the inferences that human language users draw from the verbal input they receive for the most transcend the capacities of such a system, it can be no more than a basis on which more powerful systems, which are capable of producing those inferences, may then be built. Nevertheless, even within the general setting of first order logic the structure of the formulas (...)
    Download  
     
    Export citation  
     
    Bookmark   10 citations  
  • State-of-affairs Semantics for Positive Free Logic.Hans-Peter Leeb - 2006 - Journal of Philosophical Logic 35 (2):183-208.
    In the following the details of a state-of-affairs semantics for positive free logic are worked out, based on the models of common inner domain - outer domain semantics. Lambert's PFL system is proven to be weakly adequate (i.e., sound and complete) with respect to that semantics by demonstrating that the concept of logical truth definable therein coincides with that one of common truth-value semantics for PFL. Furthermore, this state-of-affairs semantics resists the challenges stemming from the slingshot argument since logically equivalent (...)
    Download  
     
    Export citation  
     
    Bookmark   2 citations  
  • The logical form of categorical sentences.Alex Orenstein - 2000 - Australasian Journal of Philosophy 78 (4):517 – 533.
    Download  
     
    Export citation  
     
    Bookmark   7 citations  
  • La Lógica contemporánea en sus manuales. 1940-1980.Enrique Alonso & Víctor Aranda - 2020 - Endoxa 46:165.
    En este estudio analizamos dos tendencias claramente distintas y contrapuestas en la forma de impartir cursos elementales de Lógica en la formación superior. Para este propósito, se ha seleccionado una muestra de manuales angloamericanos clásicos, así como otra más pequeña de la tradición iberoamericana para comprobar nuestras hipótesis. Los estilos identificados y analizados en dichos manuales son lo que hemos denominado lógica matemática y lógica para filósofos. En ambos casos se trata de tendencias muy generales reconocibles en las más diversas (...)
    Download  
     
    Export citation  
     
    Bookmark  
  • Commentary on Blair.Maurice Finocchiaro - unknown
    Download  
     
    Export citation  
     
    Bookmark  
  • (1 other version)On Free Description Theory.Bas C. Van Fraassen & Karel Lambert - 1967 - Mathematical Logic Quarterly 13 (15):225-240.
    Download  
     
    Export citation  
     
    Bookmark   6 citations  
  • Automated natural deduction in thinker.Francis Jeffry Pelletier - 1998 - Studia Logica 60 (1):3-43.
    Although resolution-based inference is perhaps the industry standard in automated theorem proving, there have always been systems that employed a different format. For example, the Logic Theorist of 1957 produced proofs by using an axiomatic system, and the proofs it generated would be considered legitimate axiomatic proofs; Wang’s systems of the late 1950’s employed a Gentzen-sequent proof strategy; Beth’s systems written about the same time employed his semantic tableaux method; and Prawitz’s systems of again about the same time are often (...)
    Download  
     
    Export citation  
     
    Bookmark   4 citations  
  • A Brief History of Natural Deduction.Francis Jeffry Pelletier - 1999 - History and Philosophy of Logic 20 (1):1-31.
    Natural deduction is the type of logic most familiar to current philosophers, and indeed is all that many modern philosophers know about logic. Yet natural deduction is a fairly recent innovation in logic, dating from Gentzen and Jaśkowski in 1934. This article traces the development of natural deduction from the view that these founders embraced to the widespread acceptance of the method in the 1960s. I focus especially on the different choices made by writers of elementary textbooks—the standard conduits of (...)
    Download  
     
    Export citation  
     
    Bookmark   35 citations  
  • On teaching critical thinking.Jim Mackenzie - 1991 - Educational Philosophy and Theory 23 (1):56–78.
    Download  
     
    Export citation  
     
    Bookmark   3 citations  
  • Dialectics, Evaluation, and Argument.Maurice A. Finocchiaro - 2003 - Informal Logic 23 (1).
    A critical examination of the dialectical approach, focusing on a comparison ofthe illative and the dialectical definitions of argument. I distinguish a moderate, a strong and a hyper dialectical conception of argument. I critique Goldman's argument for the moderate conception and Johnson's argument for the strong conception, and argue that the moderate conception is correct.
    Download  
     
    Export citation  
     
    Bookmark   13 citations  
  • Notes on the theory of variable binding term operators.Newton C. A. da Costa & Chris Mortensen - 1983 - History and Philosophy of Logic 4 (1-2):63-72.
    The general theory of variable binding term operators is an interesting recent development in logic. It opens up a rich class of semantic and model-theoretic problems. In this paper we survey the recent literature on the topic, and offer some remarks on its significances and on its connections with other branches of mathematical logic.
    Download  
     
    Export citation  
     
    Bookmark  
  • Direct deductive computation on discourse representation structures.Uwe Reyle & Dov M. Gabbay - 1994 - Linguistics and Philosophy 17 (4):343 - 390.
    Download  
     
    Export citation  
     
    Bookmark   5 citations  
  • Identity in modal logic theorem proving.Francis J. Pelletier - 1993 - Studia Logica 52 (2):291 - 308.
    THINKER is an automated natural deduction first-order theorem proving program. This paper reports on how it was adapted so as to prove theorems in modal logic. The method employed is an indirect semantic method, obtained by considering the semantic conditions involved in being a valid argument in these modal logics. The method is extended from propositional modal logic to predicate modal logic, and issues concerning the domain of quantification and existence in a world's domain are discussed. Finally, we look at (...)
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  • (1 other version)On Free Description Theory.Bas C. Van Fraassen & Karel Lambert - 1967 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 13 (15):225-240.
    Download  
     
    Export citation  
     
    Bookmark   7 citations  
  • (1 other version)Ein Redehandlungskalkül: Folgern in einer Sprache.Moritz Cordes & Friedrich Reinmuth - 2011 - XXII. Deutscher Kongress Für Philosophie.
    Wir stellen einen pragmatisierten Kalkül des natürlichen Schließens vor, der sich dadurch auszeichnet, dass Ableitungen reine Folgen objektsprachlicher Sätze sind und ohne graphische oder andere Kommentarmittel auskommen.
    Download  
     
    Export citation  
     
    Bookmark  
  • Reducing Stereotype Threat in First-Year Logic Classes.Vanessa Lehan - 2015 - Feminist Philosophy Quarterly 1 (2):1-13.
    In this paper I examine some research on how to diminish or eliminate stereotype threat in mathematics. Some of the successful strategies include: informing our students about stereotype threat, challenging the idea that logical intelligence is an “innate” ability, making students In threatened groups feel welcomed, and introducing counter-stereotypical role models. The purpose of this paper is to take these strategies that have proven successful and come up with specific ways to incorporate them into introductory logic classes. For example, the (...)
    Download  
     
    Export citation  
     
    Bookmark   3 citations  
  • Phya pa Chos kyi seng ge on Argumentation by Consequence (thal ʼgyur): The Nature, Function, and Form of Consequence Statements.Pascale Hugon - 2013 - Journal of Indian Philosophy 41 (6):671-702.
    This paper presents the main aspects of the views of the Tibetan logician Phya pa Chos kyi seng ge (1109–1169) on argumentation “by consequence” (thal ʼgyur, Skt. prasaṅga) based on his exposition of the topic in the fifth chapter of his Tshad ma yid kyi mun sel and on a parallel excursus in his commentary on Dharmakīrti’s Pramānaviniścaya. It aims at circumscribing primarily the nature and function of consequences (thal ʼgyur/thal ba) for this author—in particular the distinction between “proving consequences” (...)
    Download  
     
    Export citation  
     
    Bookmark   2 citations