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   5 citations  
  • Informational Semantics as a Third Alternative?Patrick Allo & Edwin Mares - 2012 - Erkenntnis 77 (2):167-185.
    Informational semantics were first developed as an interpretation of the model-theory of substructural (and especially relevant) logics. In this paper we argue that such a semantics is of independent value and that it should be considered as a genuine alternative explication of the notion of logical consequence alongside the traditional model-theoretical and the proof-theoretical accounts. Our starting point is the content-nonexpansion platitude which stipulates that an argument is valid iff the content of the conclusion does not exceed the combined content (...)
    Download  
     
    Export citation  
     
    Bookmark   6 citations  
  • A New–Old Characterisation of Logical Knowledge.Ivor Grattan-Guinness - 2012 - History and Philosophy of Logic 33 (3):245 - 290.
    We seek means of distinguishing logical knowledge from other kinds of knowledge, especially mathematics. The attempt is restricted to classical two-valued logic and assumes that the basic notion in logic is the proposition. First, we explain the distinction between the parts and the moments of a whole, and theories of ?sortal terms?, two theories that will feature prominently. Second, we propose that logic comprises four ?momental sectors?: the propositional and the functional calculi, the calculus of asserted propositions, and rules for (...)
    Download  
     
    Export citation  
     
    Bookmark  
  • Fixed- Versus Variable-Domain Interpretations of Tarski’s Account of Logical Consequence.Paolo Mancosu - 2010 - Philosophy Compass 5 (9):745-759.
    Download  
     
    Export citation  
     
    Bookmark   13 citations