Anadolu Info Package Anadolu Info Package
  • Info on the Institution
  • Info on Degree Programmes
  • Info for Students
  • TR
About the Programme Academic Staff Program Qualifications Lessons Matrix of Course & Program Qualifications Turkish Qualifications Framework (TQF) TQF & Program Qualifications
  1. Faculty of Humanities
  2. Department of Sociology
  3. Course Structure Diagram with Credits
  4. Logic II
  5. Description
  • Description
  • Learning Outcomes
  • ECTS Credit Load
  • Course's Contribution to Program
  • Learning Outcomes & Program Qualifications
Last Updated: 24/10/2025

Code - Course Title Course Type Laboratory + Practice ECTS
MNT301 - Logic II VI. SEMESTER 3 +0 4.5
Language of Instruction Türkçe
Course Type Elective Courses
Course Instructor(s) DOÇ. DR. İSA ABİDOĞLU
Mode of Delivery The mode of delivery for this course is face to face.
Place of Delivery
Used Educational Platforms
Prerequisites There is no prerequisite or co-requisite for this course.
Courses Recomended None
Recommended Resources
Work Placement N/A
Aims of the Course Learning the symbolic issues, the historical development of symbolic logic, the main concepts and rules of symbolic logic, making the classical logical operation and solving problems through this knowledge, understending and assessing other peoples thoughts via logic, the comprehension of the ares in which logic is used.

Weeks Learning Outcomes Topics Teaching Methods
Week - 1 Quantification. Formal language of quantificational logic. Terms and quantified statements.
Week - 2 Free and bound variables. Substitution.
Week - 3 Symbolization and translation.
Week - 4 Symbolization and translation (cont).
Week - 5 Natural deductions in quantificational logic.
Week - 6 Natural deductions in quantificational logic (cont).
Week - 7 Natural deductions in quantificational logic (cont).
Week - 8 Natural deductions in quantificational logic (cont).
Week - 9 Natural deductions in quantificational logic (cont).
Week - 10 Natural deductions in quantificational logic (cont).
Week - 11 First-order structures. Interpretation of terms in first-order structures. Satisfiability in first order structures. Validity, invalidity.
Week - 12 Satisfiability in first order structures. Validity, invalidity.
Week - 13 Satisfiability in first order structures. Validity, invalidity. Finding models and counter-models.
Week - 14 Prenex normal form

No content has been provided.

No content has been provided.

No content has been provided.


Assessment Method and Passing Requirements
Quamtity Percentage (%)
Toplam (%)

Info on the Institution

  • Name and Adress
  • Academic Calendar
  • Academic Authorities
  • General Description
  • List of Programmes Offered
  • General Admission Requirements
  • Recognition of Prior Learning
  • Registration Procedures
  • ECTS Credit Allocation
  • Academic Guidance

Info on Degree Programmes

  • Doctorate Degree / Proficieny in Arts
  • Master's Degree
  • Bachelor's Degree
  • Associate Degree
  • Open&Distance Education

Info for Students

  • Cost of living
  • Accommodation
  • Meals
  • Medical Facilities
  • Facilities for Special Needs Students
  • Insurance
  • Financial Support for Students
  • Student Affairs Office

Info for Students

  • Learning Facilities
  • International Programmes
  • Practical Information for Mobile Students
  • Language courses
  • Internships
  • Sports and Leisure Facilities
  • Student Clubs