PHILOS 3254

Symbolic Logic in Argumentation

Missouri University of Science and Technology · UGRD · Fall 2026

1 section

Catalog description

An introduction to sentential and predicate logic. Focuses on various techniques used to examine logical relationships within an artificial symbolic language, such as truth tables, derivations, and models. Includes metatheoretic discussions of syntax and semantics, and soundness and completeness. Prerequisites: Comp Eng 2210, or Comp Sci 1200, or any 1000-level or higher Philosophy course. Philosophy 1115 is recommended.

Sections

Current meeting, instructor, credit, and enrollment details

Updated 4 hours ago

001

Availability not recently verified

Class #missouri_sandt-0848Fall 2026UGRD3.0 credits

Days & times: No scheduled meeting time
Meeting dates: —
Location: —
Instructor: Staff

Class numbers and section codes come from the registrar.

Spot missing or incorrect course data?