Philosophy (PHIL) 012: Symbolic Logic
This course is a completely online version of Phil 12: Introduction to Symbolic Logic. Although we will not meet in class, it will cover all the same material as any other introductory course in symbolic logic. This document is meant to answer common questions that students have about online courses so you can begin working on your materials.
Symbolic logic involves a formal system for representing the structure of propositions (true or false sentences) and of inferences (arguments). In other words, logic can be thought of as the algebra of language and thought, as it uses a formal symbolism to model arguments, similar to how physics uses algebra or calculus to model the structures of, and interactions between, physical objects. However, in many ways the structures of and interactions between propositions - sentences and thoughts - are much more complex than those between physical objects, at least as presented in a basic physics course.
What will I learn in this course?
At the conclusion of this course, you should be able to:
- Identify and synthesize formal logical structures of propositions and arguments
- Generate mechanical tests and proof techniques for logically necessary truth and deductive validity
This course meets the General Education Quantification (GQ) requirement and the Bachelor of Arts degree program requirements. See your advisor if you have questions about how this course can be used in your program of study.
Are there any prerequisites for this course?
No specific classes are required before taking PHIL 012.
I've never taken an online course before. What is it like?
This course is taught completely online. We'll use Penn State's course management system, ANGEL, for PHIL 012, and you will be able to communicate with the professor and your classmates through chat, e-mail, and threaded discussions within ANGEL.
You do not need to come to campus at any time, and you do not need a proctor or remote testing site.
However, an online course is not easier than on-campus course. In fact, it takes a lot more self-discipline. You must be willing and able to commit the same amount of time as you would for attending class and studying for a traditional course. You must also be a motivated, organized student who feels confident about reading to learn and who is comfortable working independently. If you're wondering whether an online course is right for you, take this short survey to find out more about how online learning is different.
What are the technological requirements for this course?
To complete this course, you must have the following equipment or capabilities:
- have access to a computer that meets the ANGEL technological requirements.
- Access to Microsoft Office version 2007
- have the Flash player installed on your computer to watch virtual lecture videos. .
- Optional Web Font: You can download the "Unicode Symbols" font for free at http://users.teilar.gr/~g1951d. You may find that some symbols on the Web pages are more legible and can be used in assignments.
How is the course structured?
All course materials will be organized by Lessons, with a separate folder for the three Exams; for example, the virtual lectures, message board, and homework for propositional natural deduction proofs will all be under the ‘Lesson 5’ folder.
Each lesson includes an online lesson which typically consists of text lecture notes, "virtual lecture" videos (played in Flash Player), and self-check quizzes which use Javascript.
Note: Self checks exercises are not graded, but are meant to be practice for the weekly homeworks and take-home exams.
Where can I get more information?
For more information about PHIL 012 Online, see a recent course syllabus. To register, visit the Office of the University Registrar. At the beginning of each semester, all enrolled students should access PHIL 012 at the site of Penn State's course management system, ANGEL.
Symbolic logic involves a formal system for representing the structure of propositions (true or false sentences) and of inferences (arguments)