Switch to: References

Citations of:

A logical introduction to proof

New York: Springer (2012)

Add citations

You must login to add citations.
  1. Ancient Greek Mathematical Proofs and Metareasoning.Mario Bacelar Valente - 2024 - In Maria Zack (ed.), Research in History and Philosophy of Mathematics. Annals of the Canadian Society for History and Philosophy of Mathematics. pp. 15-33.
    We present an approach in which ancient Greek mathematical proofs by Hippocrates of Chios and Euclid are addressed as a form of (guided) intentional reasoning. Schematically, in a proof, we start with a sentence that works as a premise; this sentence is followed by another, the conclusion of what we might take to be an inferential step. That goes on until the last conclusion is reached. Guided by the text, we go through small inferential steps; in each one, we go (...)
    Download  
     
    Export citation  
     
    Bookmark  
  • The Violation Imperative.La Shun L. Carroll - 2022 - Eliva Press.
    Allegations of fraud involving falsification as research misconduct may result in severe consequences for those convicted. The focus of this article is the Public Health Service’s (PHS) definition of falsification . A well-articulated revised definition is required for veritable instances of falsification as misconduct to be consistently identified and potentially offer a framework for elucidation. A philosophical critique of the explicit definition is undertaken to determine what comprises falsification at its core, which could substantially reduce the number of allegations of (...)
    Download  
     
    Export citation  
     
    Bookmark  
  • The Necessary and Sufficient Conditions for the Solution of Soft Systems Methodology.Payam Hanafizadeh, Mohammad Mehrabioun & Ali Mostasharirad - 2020 - Philosophy of Management 20 (2):135-166.
    The results of applying Soft Systems Methodology (SSM) show that the nature of the solution and improvement in the problem situation involves some ambiguity. This is due to SSM’s theoretical inadequacy in extending multiple conceptual models to an agreed-upon human activity system. In fact, one of the most important and controversial issues in soft operations research is to ensure how the solution has been obtained and to secure whether the conditions under which the solution has been obtained were satisfied. This (...)
    Download  
     
    Export citation  
     
    Bookmark   1 citation