9 found
Order:
Disambiguations
Aaron Thomas-Bolduc [8]Aaron R. Thomas-Bolduc [1]
See also
Aaron Thomas-Bolduc
University of Calgary
  1. Forall X: Calgary. An Introduction to Formal Logic.P. D. Magnus, Tim Button, Aaron Thomas-Bolduc, Richard Zach & Robert Trueman - 2019
    forall x: Calgary is a full-featured textbook on formal logic. It covers key notions of logic such as consequence and validity of arguments, the syntax of truth-functional propositional logic TFL and truth-table semantics, the syntax of first-order (predicate) logic FOL with identity (first-order interpretations), translating (formalizing) English in TFL and FOL, and Fitch-style natural deduction proof systems for both TFL and FOL. It also deals with some advanced topics such as truth-functional completeness and modal logic. Exercises with solutions are available. (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  2.  61
    Evaluation of a Student-Oriented Logic Course.Aaron Thomas-Bolduc & Richard Zach - 2018 - ISSOTL 2018 Annual Meeting.
    In Winter 2017, the first author piloted a course in formal logic in which we aimed to (a) improve student engagement and mastery of the content, and (b) reduce maths anxiety and its negative effects on student outcomes, by adopting student oriented teaching including peer instruction and classroom flipping techniques. The course implemented a partially flipped approach, and incorporated group-work and peer learning elements, while retaining some of the traditional lecture format. By doing this, a wide variety of student learning (...)
    Direct download  
     
    Export citation  
     
    Bookmark  
  3.  33
    Cantor, God, and Inconsistent Multiplicities.Aaron R. Thomas-Bolduc - 2016 - Studies in Logic, Grammar and Rhetoric 44 (1):133-146.
    The importance of Georg Cantor’s religious convictions is often neglected in discussions of his mathematics and metaphysics. Herein I argue, pace Jan ́e (1995), that due to the importance of Christianity to Cantor, he would have never thought of absolutely infinite collections/inconsistent multiplicities,as being merely potential, or as being purely mathematical entities. I begin by considering and rejecting two arguments due to Ignacio Jan ́e based on letters to Hilbert and the generating principles for ordinals, respectively, showing that my reading (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  4.  15
    New Directions for Neo-Logicism.Aaron Thomas-Bolduc - 2019 - Bulletin of Symbolic Logic 25 (2):219-220.
  5.  31
    Is Hume’s Principle Analytic?Eamon Darnell & Aaron Thomas-Bolduc - forthcoming - Synthese:1-17.
    The question of the analyticity of Hume's Principle is central to the neo-logicist project. We take on this question with respect to Frege's definition of analyticity, which entails that a sentence cannot be analytic if it can be consistently denied within the sphere of a special science. We show that HP can be denied within non-standard analysis and argue that if HP is taken to depend on Frege's definition of number, it isn't analytic, and if HP is taken to be (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark  
  6.  14
    Takeuti's Well-Ordering Proof: Finitistically Fine?Eamon Darnell & Aaron Thomas-Bolduc - 2018 - In Maria Zack & Dirk Schlimm (eds.), Research in History and Philosophy of Mathematics The CSHPM 2017 Annual Meeting in Toronto, Ontario. Birkhäuser Basel.
    If it could be shown that one of Gentzen's consistency proofs for pure number theory could be shown to be finitistically acceptable, an important part of Hilbert's program would be vindicated. This paper focuses on whether the transfinite induction on ordinal notations needed for Gentzen's second proof can be finitistically justified. In particular, the focus is on Takeuti's purportedly finitistically acceptable proof of the well-ordering of ordinal notations in Cantor normal form. The paper begins with a historically informed discussion of (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark  
  7. Research in History and Philosophy of Mathematics: The Cshpm 2017 Annual Meeting in Toronto, Ontario.Amy Ackerberg-Hastings, Marion W. Alexander, Zoe Ashton, Christopher Baltus, Phil Bériault, Daniel J. Curtin, Eamon Darnell, Craig Fraser, Roger Godard, William W. Hackborn, Duncan J. Melville, Valérie Lynn Therrien, Aaron Thomas-Bolduc & R. S. D. Thomas (eds.) - 2018 - Springer Verlag.
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark  
  8. Takeuti’s Well-Ordering Proof: Finitistically Fine?Eamon Darnell & Aaron Thomas-Bolduc - 2018 - In Amy Ackerberg-Hastings, Marion W. Alexander, Zoe Ashton, Christopher Baltus, Phil Bériault, Daniel J. Curtin, Eamon Darnell, Craig Fraser, Roger Godard, William W. Hackborn, Duncan J. Melville, Valérie Lynn Therrien, Aaron Thomas-Bolduc & R. S. D. Thomas (eds.), Research in History and Philosophy of Mathematics: The Cshpm 2017 Annual Meeting in Toronto, Ontario. Springer Verlag. pp. 167-180.
    If one of Gentzen’s consistency proofs for pure number theory could be shown to be finitistically acceptable, an important part of Hilbert’s program would be vindicated. This paper focuses on whether the transfinite induction on ordinal notations needed for Gentzen’s second proof can be finitistically justified. In particular, the focus is on Takeuti’s purportedly finitistically acceptable proof of the well ordering of ordinal notations in Cantor normal form.The paper begins with a historically informed discussion of finitism and its limits, before (...)
    Direct download  
     
    Export citation  
     
    Bookmark  
  9. Takeuti’s Well-Ordering Proof: Finitistically Fine?Eamon Darnell & Aaron Thomas-Bolduc - 2018 - In Maria Zack & Dirk Schlimm (eds.), Research in History and Philosophy of Mathematics the Cshpm 2017 Annual Meeting in Toronto, Ontario. Birkhäuser. pp. 167-180.
    If one of Gentzen’s consistency proofs for pure number theory could be shown to be finitistically acceptable, an important part of Hilbert’s program would be vindicated. This paper focuses on whether the transfinite induction on ordinal notations needed for Gentzen’s second proof can be finitistically justified. In particular, the focus is on Takeuti’s purportedly finitistically acceptable proof of the well ordering of ordinal notations in Cantor normal form.The paper begins with a historically informed discussion of finitism and its limits, before (...)
    Direct download  
     
    Export citation  
     
    Bookmark