Switch to: References

Citations of:

Symbolic logic

[New York]: Macmillan (1969)

Add citations

You must login to add citations.
  1. Language of thought: The connectionist contribution.Murat Aydede - 1997 - Minds and Machines 7 (1):57-101.
    Fodor and Pylyshyn's critique of connectionism has posed a challenge to connectionists: Adequately explain such nomological regularities as systematicity and productivity without postulating a "language of thought" (LOT). Some connectionists like Smolensky took the challenge very seriously, and attempted to meet it by developing models that were supposed to be non-classical. At the core of these attempts lies the claim that connectionist models can provide a representational system with a combinatorial syntax and processes sensitive to syntactic structure. They are not (...)
    Download  
     
    Export citation  
     
    Bookmark   27 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   36 citations  
  • Natural Deduction, Hybrid Systems and Modal Logics.Andrzej Indrzejczak - 2010 - Dordrecht, Netherland: Springer.
    This book provides a detailed exposition of one of the most practical and popular methods of proving theorems in logic, called Natural Deduction. It is presented both historically and systematically. Also some combinations with other known proof methods are explored. The initial part of the book deals with Classical Logic, whereas the rest is concerned with systems for several forms of Modal Logics, one of the most important branches of modern logic, which has wide applicability.
    Download  
     
    Export citation  
     
    Bookmark   13 citations  
  • Assertion, inference, and consequence.Peter Pagin - 2012 - Synthese 187 (3):869 - 885.
    In this paper the informativeness account of assertion (Pagin in Assertion. Oxford University Press, Oxford, 2011) is extended to account for inference. I characterize the conclusion of an inference as asserted conditionally on the assertion of the premises. This gives a notion of conditional assertion (distinct from the standard notion related to the affirmation of conditionals). Validity and logical validity of an inference is characterized in terms of the application of method that preserves informativeness, and contrasted with consequence and logical (...)
    Download  
     
    Export citation  
     
    Bookmark   15 citations  
  • Quantification and ontology.Shaughan Lavine - 2000 - Synthese 124 (1-2):1-43.
    Quineans have taken the basic expression of ontological commitment to be an assertion of the form '' x '', assimilated to theEnglish ''there is something that is a ''. Here I take the existential quantifier to be introduced, not as an abbreviation for an expression of English, but via Tarskian semantics. I argue, contrary to the standard view, that Tarskian semantics in fact suggests a quite different picture: one in which quantification is of a substitutional type apparently first proposed by (...)
    Download  
     
    Export citation  
     
    Bookmark   14 citations  
  • A natural deduction system for discourse representation theory.Werner Saurer - 1993 - Journal of Philosophical Logic 22 (3):249 - 302.
    Download  
     
    Export citation  
     
    Bookmark   9 citations  
  • Natural deduction and Hilbert's ɛ-operator.Allen Hazen - 1987 - Journal of Philosophical Logic 16 (4):411 - 421.
    Download  
     
    Export citation  
     
    Bookmark   7 citations  
  • Categorical Propositions and Existential Import: A Post-modern Perspective.Byeong-Uk Yi - 2021 - History and Philosophy of Logic 42 (4):307-373.
    This article examines the traditional and modern doctrines of categorical propositions and argues that both doctrines have serious problems. While the doctrines disagree about existential imports...
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  • What are sets and what are they for?Alex Oliver & Timothy Smiley - 2006 - Philosophical Perspectives 20 (1):123–155.
    Download  
     
    Export citation  
     
    Bookmark   4 citations  
  • On the Quantitative Scalar or-Implicature.Leon Horsten - 2005 - Synthese 146 (1-2):111-127.
    . Two simple generalized conversational implicatures are investigated :(1) the quantitative scalar implicature associated with ‘or’, and (2) the ‘not-and’-implicature, which is the dual to (1). It is argued that it is more fruitful to consider these implicatures as rules of interpretation and to model them in an algebraic fashion than to consider them as nonmonotonic rules of inference and to model them in a proof-theoretic way.
    Download  
     
    Export citation  
     
    Bookmark   3 citations  
  • Inference and compulsion.Cesare Cozzo - 2014 - In E. Moriconi & Laura Tesconi (eds.), Second Pisa Colloquium in Logic, Language and Epistemology. ETS. pp. 162-180.
    What is an inference? Logicians and philosophers have proposed various conceptions of inference. I shall first highlight seven features that contribute to distinguish these conceptions. I shall then compare three conceptions to see which of them best explains the special force that compels us to accept the conclusion of an inference, if we accept its premises.
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  • Singular Terms, Predicates and the Spurious ‘Is’ of Identity.Danny Frederick - 2013 - Dialectica 67 (3):325-343.
    Contemporary orthodoxy affirms that singular terms cannot be predicates and that, therefore, ‘is’ is ambiguous as between predication and identity. Recent attempts to treat names as predicates do not challenge this orthodoxy. The orthodoxy was built into the structure of modern formal logic by Frege. It is defended by arguments which I show to be unsound. I provide a semantical account of atomic sentences which draws upon Mill's account of predication, connotation and denotation. I show that singular terms may be (...)
    Download  
     
    Export citation  
     
    Bookmark  
  • Conditionals, quantification, and strong mathematical induction.Daniel H. Cohen - 1991 - Journal of Philosophical Logic 20 (3):315 - 326.
    Download  
     
    Export citation  
     
    Bookmark  
  • Putting truth into universal grammar.Norbert Hornstein - 1995 - Linguistics and Philosophy 18 (4):381 - 400.
    Download  
     
    Export citation  
     
    Bookmark   1 citation