This mailing list is devoted to the question: Which logic is correct? Or: Which logic is sufficient for a foundation of mathematics, and for a foundation of human rationality in general?

Tentative List of Topics:

-Paradoxes and their resolution
-Classical logic vs. intuitionistic, paraconsistent, constructivist, finitist, et cetera
-1st order logic vs second order, higher order, set theory, etc
-Arguments for and against logical pluralism
-Formal theories of truth, in particular languages containing their own truth predicate

And possibly:

-Wider issues of self-reference
-Ways of dealing with uncertainty, such as bayesian probability theory vs. frequentist probability theory
-Ways of reasoning about goals/actions, such as utility theory and alternatives; paradoxes of utility theory; ethics more broadly