PHIL 210 Lecture 18: PHIL210_Lecture_18_WE021116
21 Feb 2018
School
Department
Course
Professor
Document Summary
1. it" important that we achieve such a result a. for this will guarantee that our system does not make mistakes. Summary left to its own devices the system f subscript t can only prove tautologies. Note the soundness theorem is a little complicated to prove for two reasons we have to consider all 12 rules (the textbook only gives. Note the proof of the soundness theorem uses the induction principle, in this case in the form of something akin to the least number. S is a tautological consequence of p1, ,pn can we show but the answer to this very precise question is yes not attempting the completeness theorem (covered in phil 310 next semester) Just as the soundness, there is a clear question to be asked we can give a clear answer a. the soundness theorem was a clear answer to the soundness question.
