Formal Logic (FUN133)

To acquaint students with the theoretical foundations of the science of logic, the main methods of logical analysis and their application.

• Understand the theoretical foundations of the science of logic and the main methods of logical analysis.
• Be able to recognize formal and informal logical errors in reasoning and proof.
• Be able to assess whether statements (primarily - reasoning assumptions/proof arguments) are not contradictory.
• Be able to think in a structured and coherent way.
• Understand the importance of logical deduction; recognize and correct informal reasoning errors.