A group dedicated to the study of logic, both as a mathematical discipline and a philosophical o…more
[close]
A group dedicated to the study of logic, both as a mathematical discipline and a philosophical one. Thus it concerns theorems about formal logical systems, as well as debate about the nature of logic.