المنطق الرمزي

Abstract

The Symbolic Logic module focuses on the study of the fundamental principles of formal logic, which relies on the use of symbols and formal expressions to analyze propositions and arguments in a precise and systematic manner. The module aims to equip students with essential tools of logical analysis that enable them to understand the structure of reasoning and evaluate the validity of arguments, thereby fostering critical and rational thinking. Furthermore, the module introduces students to the historical development of logic, from classical logic associated with the works of Aristotle to modern symbolic logic significantly advanced by logicians such as Gottlob Frege. Through theoretical lectures and practical exercises, students engage with key concepts of symbolic logic, analyze logical propositions, and explore the relationships between logical operators. This approach aims to develop students’ abilities in formal reasoning, argument construction, and rigorous analytical thinking.