profile picture

Richard Zach

University of Calgary
 More details
  • 양상논리 맛보기 (Tasting Modal Logic)
    Robert Trueman, Richard Zach, and Chanwoo Lee
    This booklet is a Korean adaptation and translation of Part VIII of forall x: Calgary (Fall 2021 edition), which is intended to be introductory material for modal logic. The original text is based on Robert Trueman's A Modal Logic Primer, which is revised and expanded by Richard Zach and Aaron Thomas-Bolduc in forall x: Calgary. (forall x: Calgary is based on forall x: Cambridge by Tim Button, which is in turn based on forall x by P. D. Magnus, and also includes material from forall x: Lorain Co…Read more
  • Forall x: Calgary. An Introduction to Formal Logic (4th ed.)
    P. D. Magnus, Tim Button, Robert Trueman, Richard Zach, and Aaron Thomas-Bolduc
    Open Logic Project. 2023.
    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), symbolizing 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 modal logic, soundness, and fu…Read more
  • Completeness before Post: Bernays, Hilbert, and the development of propositional logic
    Richard Zach
    Bulletin of Symbolic Logic 5 (3): 331-366. 1999.
    Some of the most important developments of symbolic logic took place in the 1920s. Foremost among them are the distinction between syntax and semantics and the formulation of questions of completeness and decidability of logical systems. David Hilbert and his students played a very important part in these developments. Their contributions can be traced to unpublished lecture notes and other manuscripts by Hilbert and Bernays dating to the period 1917-1923. The aim of this paper is to describe th…Read more