IT is recorded that when a pupil asked Confucius what he would do first if he had absolute power, the Master replied “I should reform language”. (The development of the theme in the text of the ...

Mathematical logic, set theory, lattices and universal algebra form an interconnected framework that underpins much of modern mathematics. At its heart, mathematical logic provides rigorous formal ...

Studia Logica publishes original papers on various logical systems, which utilize methods of contemporary formal logic (those of algebra, model theory, proof theory, etc.). More specifically, Studia ...

Many mathematical communications assume that everyone understands the characters used, is familiar with mathematical syntax, and knows the difference between the terms used, for example, between ...

Originally published on Sept. 25, 2018. In a world of divisive politics, rhetoric and debate, author Eugenia Cheng has the secret to winning an argument: mathematical logic. Cheng, a mathematician and ...