Switch to: References

Add citations

You must login to add citations.
  1. 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  
  • Existential Import Today: New Metatheorems; Historical, Philosophical, and Pedagogical Misconceptions.John Corcoran & Hassan Masoud - 2015 - History and Philosophy of Logic 36 (1):39-61.
    Contrary to common misconceptions, today's logic is not devoid of existential import: the universalized conditional ∀ x [S→ P] implies its corresponding existentialized conjunction ∃ x [S & P], not in all cases, but in some. We characterize the proexamples by proving the Existential-Import Equivalence: The antecedent S of the universalized conditional alone determines whether the universalized conditional has existential import, i.e. whether it implies its corresponding existentialized conjunction.A predicate is an open formula having only x free. An existential-import predicate (...)
    Download  
     
    Export citation  
     
    Bookmark   4 citations  
  • Domains of Sciences, Universes of Discourse and Omega Arguments.Jose M. Saguillo - 1999 - History and Philosophy of Logic 20 (3-4):267-290.
    Each science has its own domain of investigation, but one and the same science can be formalized in different languages with different universes of discourse. The concept of the domain of a science and the concept of the universe of discourse of a formalization of a science are distinct, although they often coincide in extension. In order to analyse the presuppositions and implications of choices of domain and universe, this article discusses the treatment of omega arguments in three very different (...)
    Download  
     
    Export citation  
     
    Bookmark   7 citations  
  • Aristotle's logic at the university of buffalo's department of philosophy.John Corcoran - 2009 - Ideas Y Valores 58 (140):99-117.
    We begin with an introductory overview of contributions made by more than twenty scholars associated with the Philosophy Department at the University of Buffalo during the last half-century to our understanding and evaluation of Aristotle's logic. More well-known developments are merely mentioned in..
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  • LOGIC TEACHING IN THE 21ST CENTURY.John Corcoran - 2016 - Quadripartita Ratio: Revista de Argumentación y Retórica 1 (1):1-34.
    We are much better equipped to let the facts reveal themselves to us instead of blinding ourselves to them or stubbornly trying to force them into preconceived molds. We no longer embarrass ourselves in front of our students, for example, by insisting that “Some Xs are Y” means the same as “Some X is Y”, and lamely adding “for purposes of logic” whenever there is pushback. Logic teaching in this century can exploit the new spirit of objectivity, humility, clarity, observationalism, (...)
    Download  
     
    Export citation  
     
    Bookmark   1 citation