Taken from his lecture notes on his introductory course on logic, Kant's philosophies in "Logic" describe his thoughts on the mental process and how it should be applied in life. Kant never set out to write a book on the subject, but his graduate student Gottlob Jaesche gathered his mentor's lecture notes together and added his own observations and explanations to the preexisting text. Included in the philosophy are historical explanations of Kant's...

550 fully solved problems. Coverage of nonclassical logics and the probability calculus. Support for all major logic textbooks.

Shaftal has a ruler again, a woman with enough power to heal the war-torn land and expel the invading Sainnites from Shaftal. Or it would have a ruler if the earth witch Karis G'deon consented to rule. Instead, she lives in obscurity with the fractious family of elemental talents who gathered around her in Fire Logic. She is waiting for some sign, but no one, least of all Karis herself, knows what it is. Then the Sainnite garrison at Watford is attacked...

Logic is intellectual self-defense against such assaults on reason and also a method of quality control for checking the validity of your own views. But beyond these very practical benefits, informal logic—the kind we apply in daily life—is the gateway to an elegant and fascinating branch of philosophy known as formal logic, which is philosophy’s equivalent to calculus. Formal logic is a breathtakingly versatile tool. Much like a Swiss army...

In the aftermath of war and an assassination attempt, Karis and those who love her must figure out how to bring together Sainnites and Shaftalese in a country where old wounds and enmities fester and all must work to find what their place in the world may yet be.

Hone your skill with first-order predicate logic by expanding into relations. An example: "If I am taller than my son and my son is taller than my wife, then I am taller than my wife."This relation is obvious, but the techniques you learn allow you to prove subtler cases.

'Down Girl' is a broad, original and far ranging analysis of what misogyny really is, how it works, its purpose, and how to fight it. The philosopher Kate Manne argues that modern society's failure to recognize women's full humanity and autonomy is not actually the problem. She argues instead that it is women's manifestations of human capacities - autonomy, agency, political engagement - is what engenders misogynist hostility.

See how all that you have learned in the course relates to mathematics—and vice versa. Trace the origin of deductive logic to the ancient geometrician Euclid. Then consider the development of non-Euclidean geometries in the 19th century and the puzzle this posed for mathematicians.