Works by Plato, Jan Von (exact spelling)

10 found
Order:
  1.  52
    Cut Elimination in the Presence of Axioms.Sara Negri & Jan Von Plato - 1998 - Bulletin of Symbolic Logic 4 (4):418-435.
    A way is found to add axioms to sequent calculi that maintains the eliminability of cut, through the representation of axioms as rules of inference of a suitable form. By this method, the structural analysis of proofs is extended from pure logic to free-variable theories, covering all classical theories, and a wide class of constructive theories. All results are proved for systems in which also the rules of weakening and contraction can be eliminated. Applications include a system of predicate logic (...)
    Direct download (9 more)  
     
    Export citation  
     
    Bookmark   28 citations  
  2. Elements of Logical Reasoning.Jan von Plato - 2014 - Cambridge University Press.
    Some of our earliest experiences of the conclusive force of an argument come from school mathematics: faced with a mathematical proof, we cannot deny the conclusion once the premises have been accepted. Behind such arguments lies a more general pattern of 'demonstrative arguments' that is studied in the science of logic. Logical reasoning is applied at all levels, from everyday life to advanced sciences, and a remarkable level of complexity is achieved in everyday logical reasoning, even if the principles behind (...)
     
    Export citation  
     
    Bookmark   1 citation  
  3.  55
    Generality and Existence: Quantificational Logic in Historical Perspective.Jan von Plato - 2014 - Bulletin of Symbolic Logic 20 (4):417-448.
    Frege explained the notion of generality by stating that each its instance is a fact, and added only later the crucial observation that a generality can be inferred from an arbitrary instance. The reception of Frege's quantifiers was a fifty-year struggle over a conceptual priority: truth or provability. With the former as the basic notion, generality had to be faced as an infinite collection of facts, whereas with the latter, generality was based on a uniformity with a finitary sense: the (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark  
  4. Creating Modern Probability: Its Mathematics, Physics and Philosophy in Historical Perspective.Jan von Plato - 1994 - Cambridge University Press.
    This is the only book to chart the history and development of modern probability theory. It shows how in the first thirty years of this century probability theory became a mathematical science. The author also traces the development of probabilistic concepts and theories in statistical and quantum physics. There are chapters dealing with chance phenomena, as well as the main mathematical theories of today, together with their foundational and philosophical problems. Among the theorists whose work is treated at some length (...)
     
    Export citation  
     
    Bookmark   2 citations  
  5.  16
    Aristotle’s Deductive Logic: A Proof-Theoretical Study.Jan von Plato - 2016 - In Peter Schuster & Dieter Probst (eds.), Concepts of Proof in Mathematics, Philosophy, and Computer Science. De Gruyter. pp. 323-346.
    Direct download  
     
    Export citation  
     
    Bookmark  
  6.  11
    Cut Elimination in Sequent Calculi with Implicit Contraction, with a Conjecture on the Origin of Gentzen’s Altitude Line Construction.Jan von Plato & Sara Negri - 2016 - In Peter Schuster & Dieter Probst (eds.), Concepts of Proof in Mathematics, Philosophy, and Computer Science. De Gruyter. pp. 269-290.
    Direct download  
     
    Export citation  
     
    Bookmark  
  7. REVIEWS-Mystic, Geometer, and Intuitionist.D. Van Dalen & Jan von Plato - 2001 - Bulletin of Symbolic Logic 7 (1):62-64.
  8. REVIEWS-K. Godel Collected Works IV-V.S. Feferman & Jan von Plato - 2004 - Bulletin of Symbolic Logic 10 (4):558-562.
     
    Export citation  
     
    Bookmark  
  9. REVIEWS-David Hilbert's Lectures on the Foundations of Geometry 1891-1902.M. Hallett, U. Majer & Jan von Plato - 2006 - Bulletin of Symbolic Logic 12 (3):492-493.
     
    Export citation  
     
    Bookmark  
  10. Creating Modern Probability: Its Mathematics, Physics and Philosophy in Historical Perspective.Jan von Plato - 1994 - Cambridge University Press.
    This is the only book to chart the history and development of modern probability theory. It shows how in the first thirty years of this century probability theory became a mathematical science. The author also traces the development of probabilistic concepts and theories in statistical and quantum physics. There are chapters dealing with chance phenomena, as well as the main mathematical theories of today, together with their foundational and philosophical problems. Among the theorists whose work is treated at some length (...)
     
    Export citation  
     
    Bookmark