Formal Logic

Formal Logic

Formal logic is a structured system that uses symbols and variables to represent statements, distinguishing it from informal logic, which focuses on natural language arguments. Gary Arndt explains that informal logic deals with the content and context of arguments, including fallacies and rhetoric, while formal logic breaks down statements into premises and conclusions, often using symbolic representation 1. This symbolic logic allows for the analysis of an argument's structure, independent of its content, and is situated at the intersection of mathematics and philosophy 2.

Formal logic is simply a more formalized system where you break down statements into premises and often represent statements with variables.

--- Gary Arndt

The origins of formal logic trace back to ancient Greece, with Aristotle's development of symbolic logic and the technique of syllogism, which involves deriving conclusions from two premises 2.

   

Evolution

The evolution of formal logic has been a cumulative process, building upon the foundations laid by ancient philosophers. Aristotle's work, particularly his use of syllogisms, marked the beginning of formal logic, which was further developed by Stoic philosophers who introduced propositional logic involving conditional statements 2. Gary Arndt highlights that these advancements did not replace earlier logic systems but rather expanded upon them, illustrating the non-linear progression of logic through history.

The development of formal logic was not linear over time.

--- Gary Arndt

During the Islamic Golden Age, scholars like Al-Farabi and Ibn Sina revived and advanced formal logic, which later influenced European thinkers in the Middle Ages 2.