the logic guide we're going to present logical systems in context, along with the typical problems and misinterpretations of those systems. these formal languages typically represent some interesting ideas, and some fallacious ideas, and are almost universally misunderstood. Whether or not they are useful or valid depends on how well their mind-internal meaning is understood. We're hoping to bring these along with the more mechanical symbol-manipulations that you need to know if you talk with logicians, from any time or plce.