Search Constraints
Number of results to display per page
Results for:
Creator / Instructor
Zach, Richard
Remove constraint Creator / Instructor: Zach, Richard
1  4 of 4
Search Results

ebook
"forall x: Calgary is a fullfeatured textbook on formal logic. It covers key notions of logic such as consequence and validity of arguments, the syntax of truthfunctional propositional logic TFL and truthtable semantics, the syntax of firstorder (predicate) logic FOL with identity (firstorder interpretations), translating (formalizing) English in TFL and FOL, and Fitchstyle 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:
 ebook

ebook
"This textbook is based on the Open Logic Project. It covers naive set theory, firstorder logic, sequent calculus and natural deduction, the completeness, compactness, and LöwenheimSkolem theorems, Turing machines, and the undecidability of the halting problem and of firstorder logic"BCcampus website.
 Subjects:
 Philosophy
 Keywords:
 Textbooks Logic
 Resource Type:
 ebook

ebook
"This is a textbook on formal logic. The book is divided into eight parts. Part I introduces the topic and notions of logic in an informal way, without introducing a formal language yet. Parts IIIV concern truthfunctional languages. In it, sentences are formed from basic sentences using a number of connectives ('or', 'and', 'not', 'if . . . then') which just combine sentences into more complicated ones. We discuss logical notions such as entailment in two ways: semantically, using the method of truth tables (in Part III) and prooftheoretically, using a system of formal derivations (in Part IV). Parts VVII deal with a more complicated language, that of firstorder logic. It includes, in addition to the connectives of truthfunctional logic, also names, predicates, identity, and the socalled quantifiers. These additional elements of the language make it much more expressive than the truthfunctional language, and we'll spend a fair amount of time investigating just how much one can express in it. Again, logical notions for the language of firstorder logic are defined semantically, using interpretations, and prooftheoretically, using a more complex version of the formal derivation system introduced in Part IV. Part VIII covers an advanced topic: that of expressive adequacy of the truthfunctional connectives"BCcampus website.
 Subjects:
 Philosophy
 Keywords:
 Textbooks Logic
 Resource Type:
 ebook

ebook
The Open Logic Text is an opensource, collaborative textbook of formal metalogic and formal methods, starting at an intermediate level (i.e., after an introductory formal logic course). Though aimed at a nonmathematical audience (in particular, students of philosophy and computer science), it is rigorous. The Open Logic Text is a collaborative project and is under active development. Coverage of some topics currently included may not yet be complete, and many sections still require substantial revision. We plan to expand the text to cover more topics in the future. We also plan to add features to the text, such as a glossary, a list of further reading, historical notes, pictures, better explanations, sections explaining the relevance of results to philosophy, computer science, and mathematics, and more problems and examples. If you find an error, or have a suggestion, please let the project team know. The project operates in the spirit of open source. Not only is the text freely available, we provide the LaTeX source under the Creative Commons Attribution license, which gives anyone the right to download, use, modify, rearrange, convert, and redistribute our work, as long as they give appropriate credit.
 Subjects:
 Philosophy
 Keywords:
 Logic Textbooks
 Resource Type:
 ebook