Information Package
baskent.edu.tr

Program of Sociology (Turkish)

SOC408

SYMBOLIC LOGIC I

Course Code
SOC408
Semester
-
Theory+Practice
3 + 0
ECTS
5
Course TypeElective Course
Course LevelBachelor's Degree
Year of Study-
Semester-
ECTS5
Name of Lecturer(s)
Learning Outcomes

At the end of this course, the students;

  1. Grasp the basic symbolic logic and compprehend its importance.
  2. Learn the topics about symbolic logic and solve the related problems.
  3. Makes evaluations on logic, language and meaning.
  4. Deepen the knowledge in the field of philosophy.
  5. Evaluate about reasoning.
Mode of DeliveryFace to face
PrerequisitesNo
Recommended Optional Programme ComponentsNo
Course DescriptionIn this course, students first recognize the basic symbolic logic and understand its importance. In addition, they learn various topics within the framework of truth function logic and solve the necessary exercises
Course Contents
WEEK TOPICS
1st Week Propositions and Arguments, Propositional Connectives, Language of Symbolic Propositional Logic
2nd Week Symbolization, Translation
3rd Week Symbolization, Translation
4th Week Truth Tables, Consistency and Validity Test by Truth Tables
5th Week Introduction to Natural Deductions, Conditional Derivations
6th Week Conditional and Reduction Derivations
7th Week -----------------------1. MID TERM---------------------
8th Week Derivation of Biconditional Propositions
9th Week Derivation of Biconditional Propositions
10th Week Derivation of Disjunctive and Conjunctive Propositions
11th Week Derivation of Disjunctive and Conjunctive Propositions
12th Week Derivation of Disjunctive and Conjunctive Propositions, Abbreviated Derivations
13th Week Constructing Counter-Models
14th Week DNF-CNF, Duality
Recommended or Required ReadingKutlusoy, Z. (2003) Temel Sembolik Mantık, Ankara: Art basın yayın Kültür Hizmetleri
Grunberg, T, (2000) Sembolik Mantık El Kitabı 1. Cilt. Temel Mantık, Ankara: METU Press
Grunberg ,T, (2000) Sembolik Mantık El Kitabı 2. Cilt. Özel Mantık Sistemleri, Ankara: METU Press
Grunberg, T, (2000) Sembolik Mantık El Kitabı 3. Cilt. Sembolik Mantığın Uygulamaları, Ankara: METU Press
Planned Learning Activities and Teaching Methods
  • Lecture
  • Discussion
  • Questions/Answers
  • Problem Solving
Assessment Methods and Criteria
Quantity Percentage (%)
Mid-term 1 40
Total(%) 40
Contribution of In-term Studies to Overall Grade(%) 40
Contribution of Final Examination to Overall Grade(%) 60
Total(%) 100
ECTS Allocated Based on Student Workload
Activities Quantity Duration (Hour) Total Workload (Hour)
Midterm exam 1 2 2
Preparation for Quiz 0 0 0
Individual or group work 14 7 98
Preparation for Final exam 1 20 20
Course hours 14 3 42
Preparation for Midterm exam 1 3 3
Laboratory (including preparation) 0 0 0
Final exam 1 2 2
Homework 0 0 0
Total Work Load167
Total Work Load / 30 (h)5.56
ECTS Credit of the Course5
Language of InstructionTurkish
Work Placement(s)No

Programme Qualifications / Learning Outcomes

LO1 LO2 LO3 LO4 LO5
K1
K2
K3
K4 X X X X X
K5
K6
K7
K8 X X X X X
K9
K10
K11
K12