Editing Mathematical logic (section)

=== Early history ===
{{Further|History of logic}}
Theories of logic were developed in many cultures in history, including in ancient [[Logic in China|China]], [[Logic in India|India]], [[Logic in Greece|Greece]], [[Ancient Roman philosophy|Roman empire]] and the [[Logic in Islamic philosophy|Islamic world]]. Greek methods, particularly [[Aristotelian logic]] (or term logic) as found in the ''[[Organon]]'', found wide application and acceptance in Western science and mathematics for millennia.{{sfnp|Boehner|1950|p=xiv}} The [[Stoicism|Stoics]], especially [[Chrysippus]], began the development of [[Propositional calculus|propositional logic]]. In 18th-century Europe, attempts to treat the operations of formal logic in a symbolic or algebraic way had been made by philosophical mathematicians including [[Gottfried Wilhelm Leibniz|Leibniz]] and [[Johann Heinrich Lambert|Lambert]], but their labors remained isolated and little known.