Using a contextual method the specific development of logic between c. 1830 and 1930 is explained. A characteristic mark of this period is the decomposition of the complex traditional philosophical ...

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 ...

We’re about halfway through the initial content unit in GE 103, which is on logic and argumentation. The main flow of the unit is that we learn about statements and representing statements in symbolic ...