Symbolic deductive logic is nothing less than a formal language into which arguments can be translated and then evaluated for their quality. So, a symbolic logic course is much more like a mathematics ...

He deconstructed syllogistic Aristotelian logic in two marvelous books—Symbolic Logic (1896) and The Game of Logic (1886). For example: If all humans are mortal, and I am a human, then I must ...

An introduction to symbolic logic. Symbolic logic provides a framework of formal reasoning with applications in mathematics, cognitive science, computer science and philosophy. Topics include ...

But certain aspects of logical reasoning must be taught explicitly using symbolic logic. Symbolic logic has lost its place in modern high school curriculum, however. It is time that we start ...