Updating search results...

Search Resources

3 Results

View
Selected filters:
Open Logic Project
Unrestricted Use
CC BY
Rating
0.0 stars

The Open Logic Text is an open textbook on mathematical logic aimed at a non-mathematical audience, intended for advanced logic courses as taught in many philosophy departments. It is open-source: you can download the LaTeX code. It is open: you’re free to change it whichever way you like, and share your changes. It is collaborative: a team of people is working on it, using the GitHub platform, and we welcome contributions and feedback. And it is written with configurability in mind.

Subject:
Applied Science
Arts and Humanities
Computer Science
Mathematics
Philosophy
Material Type:
Textbook
Author:
Aldo Antonelli
Andrew Arana
Audrey Yap
Gillian Russell
Jeremy Avigad
Nicole Wyatt
Richard Zach
Walter Dean
Date Added:
05/14/2015
Sets, Logic, Computation
Unrestricted Use
CC BY
Rating
0.0 stars

Textbook for Calgary's Logic II course based on the Open Logic Project. Covers naive set theory, first-order logic, sequent calculus and natural deduction, the completeness, compactness, and Löwenheim-Skolem theorems, Turing machines, and the undecidability of the halting problem and of first-order logic.

Subject:
Arts and Humanities
Philosophy
Material Type:
Textbook
Provider:
Open Logic Project
Author:
Richard Zach
Date Added:
01/01/2017
forall x: Calgary
Unrestricted Use
CC BY
Rating
0.0 stars

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), HTML (with additional accessibility features), and in LaTeX source code.

Subject:
Arts and Humanities
Philosophy
Material Type:
Textbook
Author:
Aaron Thomas-Bolduc
P. D. Magnus
Richard Zach
Robert Trueman
Tim Button
Date Added:
02/22/2022