Information Package
baskent.edu.tr

Program of Sociology (English)

SOCI408

SYMBOLIC LOGIC I (TRUTHFUNCTIONLOGIC)

Course Code
SOCI408
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. Recognizes and understands the basic symbolic logic.
  2. Learns various topics within the framework of Symbolic Logic and solves related problems.
  3. Makes evaluations on logic, language and meaning.
  4. Deepens his knowledge in the field of philosophy.
  5. Makes evaluations 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 Reductio 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
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 InstructionEnglish
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