The immediate purpose of Philosophy 251-Elementary Symbolic Logic is to enable students to:

(1) Recognize arguments when they appear in various texts;
(2) Identify the premises and conclusions of these arguments;
(3) Translate these arguments into appropriate symbolic languages;
(4) Use various methods, such as truth tables, truth tress, countermodels, and derivations to determine the validity or the invalidity of these arguments;
(5) Recognize the benefits and limitations of each method.

The long range purpose of Philosophy 251-Elementary Symbolic Logic is to enable students to:

(6) More accurately assess the arguments read and heard in everyday life;
(7) Improve the quality of their own reasoning and arguing.

Students who achieve the immediate and long range purposes of Philosophy 251-Elementary Symbolic Logic satisfy the Symbolic Reasoning (SR) Area of Inquiry requirement. In order to understand how achievement of the immediate and long range purposes satisfies the requirement, the complete text of the requirement follows. (From https://gened.richmond.edu/curriculum/new/courses.html#symbolic-reasoning-inquiry-1-course)

The symbolic reasoning area of inquiry focuses on cultivating the logical and procedural thinking skills essential to solving a wide variety of problems.  It is characterized by its attention to internal logical consistency and by its wide external applicability. This area emphasizes symbolic problem solving, a process that includes translating problems into terms that are amenable to treatment within a symbolic framework, understanding consistent rules by which the information relevant to the problem may be processed in order to obtain a solution, recognizing important principles governing the application of these rules, and judging both the appropriateness of known solution methods to a particular problem and the quality or reasonableness of the solution obtained.

Courses in this area aim to develop in students the skills to obtain valid solutions using one or more symbolic systems, the ingenuity to translate new problems into appropriate terms for such systems, and the persistence to carry a solution method through to completion. The focus of a symbolic reasoning course should be on understanding the symbolic system and how it can be used to develop problem-solving tools rather than on the tools themselves.

Learning Outcomes:

1. Students will translate problems for analysis within a formalized symbolic system.

2. Students will recognize the rules that govern a formalized symbolic system and apply those rules to obtain valid solutions.

3. Students will judge the reasonableness and limitations of solutions obtained within a formalized symbolic system.