Deductive logic

Deductive logic is a category of reasoning that is fundamental to the sciences and technology and, therefore, especially important for science communicators and others concerned with understanding science. In fact, deductive logic is important anywhere computers are used. Deductive logic forms the basis of all computer code and is often taught in computer science curricula, not just in philosophy departments.

Logic itself is commonly understood as the relationships and principles of reasoning. The phrase “the process of reasoning” generally refers to the way in which one or several sentences give reason to believe some conclusion, which is itself another statement. For instance, when Jack is taller than Tom and when Tom is taller than Allen, someone can know from these two premises that Jack must be ...