Apr 14, 2026  
2026-2027 DCTC Catalog 
  
2026-2027 DCTC Catalog

PHIL 1250 - Introduction to Logic



3 Credits
Placement Level Intro to Logic Level

Students will learn to identify, analyze, and evaluate arguments in real-world problems using techniques of formal logic. Covered will be inductive and deductive logic, categorical logic, propositional logic, and natural deduction. Techniques of informal logic will not be addressed.

Major Content Areas
Propositional Logic

Natural deduction

Inductive and deductive logic

Categorical syllogisms

Categorical propositions

Learning Outcomes
Evaluate categorical syllogisms for validity using Venn diagrams and rules for categorical syllogisms.

Write proofs using rules of inference and replacement.

Translate ordinary language into statements of propositional logic and analyze propositional statements using truth tables.

Evaluate arguments for validity, soundness, strength, and coherence.

Translate ordinary language into categorical propositions and analyze categorical propositions using the square of opposition.

Minnesota Transfer Curriculum (MNTC) Goals
04 - Mathematical/Logical Reasoning