Skip to Content
Courses
Website
Students
University Course Info
High/Middle School Course Info
Catalog Overview
Resources
Transcripts
Scholarships
Testing
Blog
Accreditation
About Us
Policies
Contact Support
Educators
Overview
Portal Login
Institutional Purchase Order
Accommodations
Student Financial Assistance
Policies
About Us
Contact Support
Course Catalog
Catalog
Shopping Cart
Intermediate Formal Logic
PHIL 305
|
University
Course
History and use of first-order logic and second-order logic; natural-deduction and axiomatic proofs; modal logic; set theory and foundations of mathematics.
Instructor(s):
David Jensen
Credit Hours:
3.00
$675.00
Add to cart
Add to cart
Course Details
Note
Fulfills BYU GE Languages of Learning Requirement.
Prerequisites
PHIL 205 (Deductive Logic) or MATH 290 (Fundamentals of Mathematics).
Course Outline
Welcome to PHIL 305: Intermediate Formal Logic
Lesson 1: Introduction to Logic
Lesson 2: Symbolizing Monadic Predicates
Lesson 3: Symbolizing Polyadic Predicates
Lesson 4: The Properties of Relations and Second-Order Notation
Lesson 5: Symbolizing Identity Statements
Lesson 6: Rules and Restrictions for Quantificational Proofs
Lesson 7: Quantificational Proofs
Lesson 8: Second-Order Proofs and Quantificational Logic
Lesson 9: Axiom Systems
Lesson 10: Identity
Lesson 11: Frege's Project
Lesson 12: Zermelo-Frankel Set Theory
Lesson 13: Cantor's Theory of Transfinite Numbers
Lesson 14: Peano's Axioms
Lesson 15: The Arithmetic of Natural Numbers
Lesson 16: Integers and Rational Numbers
Lesson 17: Gödel's Proofs
Lesson 18: Modal Logics
Preparing for Final Exam
Syllabus
View syllabus
© 2023 All rights reserved. | Provo, Utah USA
Privacy Notice
|
Cookie Preferences
Courses
Cart
Account
Menu
Students
University Course Info
High/Middle School Course Info
Catalog Overview
Resources
Transcripts
Scholarships
Testing
Blog
Accreditation
About Us
Policies
Contact Support
Educators
Overview
Portal Login
Institutional Purchase Order
Accommodations
Student Financial Assistance
Policies
About Us
Contact Support