Switch to: Citations

Add references

You must login to add references.
  1. Arbitrary reference.Wylie Breckenridge & Ofra Magidor - 2012 - Philosophical Studies 158 (3):377-400.
    Two fundamental rules of reasoning are Universal Generalisation and Existential Instantiation. Applications of these rules involve stipulations such as ‘Let n be an arbitrary number’ or ‘Let John be an arbitrary Frenchman’. Yet the semantics underlying such stipulations are far from clear. What, for example, does ‘n’ refer to following the stipulation that n be an arbitrary number? In this paper, we argue that ‘n’ refers to a number—an ordinary, particular number such as 58 or 2,345,043. Which one? We do (...)
    Download  
     
    Export citation  
     
    Bookmark   56 citations  
  • Reasoning with arbitrary objects.Kit Fine - 1985 - New York, NY, USA: Blackwell.
    Contents: Preface VII; Introduction 1; 1. The General Framework 5; 2. Some Standard Systems 61; 3. Systems in General 147; 4. Non-Standard Systems 177; Bibliography 210; General Index 215; Index of Symbols 219-220.
    Download  
     
    Export citation  
     
    Bookmark   91 citations  
  • Resolution and the origins of structural reasoning: Early proof-theoretic ideas of Hertz and Gentzen.Peter Schroeder-Heister - 2002 - Bulletin of Symbolic Logic 8 (2):246-265.
    In the 1920s, Paul Hertz (1881-1940) developed certain calculi based on structural rules only and established normal form results for proofs. It is shown that he anticipated important techniques and results of general proof theory as well as of resolution theory, if the latter is regarded as a part of structural proof theory. Furthermore, it is shown that Gentzen, in his first paper of 1933, which heavily draws on Hertz, proves a normal form result which corresponds to the completeness of (...)
    Download  
     
    Export citation  
     
    Bookmark   19 citations  
  • (1 other version)Formalna teoria wartości logicznych IФормалЯная теория логических значенийA formal theory of the logical values I.Roman Suszko - 1957 - Studia Logica 6 (1):145-237.
    Download  
     
    Export citation  
     
    Bookmark   6 citations  
  • A Survey of Nonstandard Sequent Calculi.Andrzej Indrzejczak - 2014 - Studia Logica 102 (6):1295-1322.
    The paper is a brief survey of some sequent calculi which do not follow strictly the shape of sequent calculus introduced by Gentzen. We propose the following rough classification of all SC: Systems which are based on some deviations from the ordinary notion of a sequent are called generalised; remaining ones are called ordinary. Among the latter we distinguish three types according to the proportion between the number of primitive sequents and rules. In particular, in one of these types, called (...)
    Download  
     
    Export citation  
     
    Bookmark   5 citations  
  • (1 other version)Formalna teoria wartości logicznych I.Roman Suszko - 1957 - Studia Logica 6 (1):145-237.
    Download  
     
    Export citation  
     
    Bookmark   7 citations