Search Constraints

Number of results to display per page
Results for: Keywords Logic Remove constraint Keywords: Logic Keywords Textbooks Remove constraint Keywords: Textbooks Year 2020 Remove constraint Year: 2020

Search Results

  • e-book 
    forall x Calgary : an introduction to formal logic

    forall x Calgary : an introduction to formal logic

    "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 modal logic, soundness, and functional completeness. Exercises with solutions are available. It is provided in PDF (for screen reading, printing, and a special version for dyslexics) and in LaTeX source code. A proof editor/checker for the proof system used is available at proofs.openlogicproject.org."--BCcampus website.

    Subjects:
    Philosophy
    Keywords:
    Textbooks Logic
    Resource Type:
    e-book
     
  • e-book 
    Introduction to philosophy : logic

    Introduction to philosophy : logic

    "Introduction to Philosophy: Logic provides students with the concepts and skills necessary to identify and evaluate arguments effectively. The chapters, all written by experts in the field, provide an overview of what arguments are, the different types of arguments one can expect to encounter in both philosophy and everyday life, and how to recognise common argumentative mistakes."--BCcampus website.

    Subjects:
    Philosophy
    Keywords:
    Philosophy Textbooks Logic
    Resource Type:
    e-book