preloader

Course details

Course Includes:

  • Intakes:Jan /Apr /Jul /Oct
  • Duration:3/6 months
  • ECTS:10 credits
  • Mode:Face-to-face
  • Language:British English
  • MQF Level / EQF Level :Level 5
Request for information

Award in Introduction to Formal Logic

The Introduction to Formal Logic module offers students a foundational understanding of formal logic, focusing on principles of deductive reasoning, symbolic logic, and logical argumentation. Through a combination of theoretical concepts, practical exercises, and logical reasoning tasks, students will develop critical thinking skills and the ability to analyse and construct valid arguments using formal logical systems.

This module is delivered at MQF Level 5 and is appropriate for students who may have limited prior exposure to formal logic. The emphasis is on building solid conceptual foundations before progressing to more complex applications.

  • PROGRAMME OVERVIEW
    Module Code UGDIP-CS-D1
    Module Title Introduction to Formal Logic
    MQF Level Level 5
    ECTS Credits 10 ECTS
    Licence Number 2021-018
    Total Learning Hours 250 hours
    Contact Hours 50 hours
    Self-Study Hours 148 hours
    Assessment Hours 42 hours
    Supervised Practice Hours 10 hours
    Mode of Delivery Fully Face-to-Face
    Language British English
    Delivery Address Floriana Campus : 23, Triq Vincenzo Dimech, Floriana, Malta.
    Swieqi Campus : 88, 90 Triq It-Tiben, Swieqi SWQ 3034, Malta.
  • TEACHING, LEARNING, AND ASSESSMENT
    Teaching and Learning Methods
    • Interactive lectures introducing theoretical concepts and formal logic notation.
    • Structured problem-solving sessions using truth tables and formal proofs.
    • Group discussion and peer analysis of logical arguments.
    • Individual and collaborative exercises in identifying logical fallacies.
    • Practical use of digital logic tools and proof-assistant software.
    • Guided reading from core and supplementary texts.
    Assessment
    Component Weighting Description
    Final Examination 60% Multiple-choice, short-answer and problem-solving questions assessing comprehension of propositional and predicate logic, logical reasoning, and proof techniques.
    Written Assignment 40% Application of formal logic concepts to real-world scenarios; analysis of academic arguments; construction of formal proofs.

Request for information