CogWare™ Advanced Adaptive Courseware from CogBooks
This Adaptive Courseware is an Introductory course in both formal and informal logic. It aims to provide students with the tools to evaluate arguments in a more rigorous and precise way, and ultimately to construct arguments of their own.
Because the course is built on CogBooks’ Advanced Adaptive technology, it instantly helps you teach more effectively and provide every student with the individual support they need.
Your students will find the experience miles ahead of a static textbook. And because our smart instructor tools give you deep insights into each individual student, you’ll find you can use your valuable time much more productively.
“When they come to class, we have the ability to check where they have questions, so only cover those points instead of going for the whole curriculum.”
Susan Holechek Arizona State University
See Introduction to Logic in action
The Introduction to Logic course has been crafted in close collaboration with faculty at Arizona State University. It uses faculty authored content, openly licensed content, and enriched with dozens of video clips and interactive elements. Combined with our Advanced Adaptive Learning methods, it provides a state of the art courseware experience.
Explore the topics covered
Module 1: Introduction to Logic
This module gives an overview of the topics in logic which will be studied in this class. This includes informal logic, such as intellectual virtues and fallacies. It also includes formal logic, such as tools like truth tables, rules of inference, symbolization, and Venn diagrams. The module also presents definitions for some foundational vocabulary for the course, including “logic”, “statement”, “proposition”, “fact”, “true”, “false”, “reason”, “evidence”, “justification”, “inference”, “argument”, “premise”, “conclusion”, and “valid”.
Module 2: Intellectual Virtues and Fallacies
Fallacies are common mistakes that people tend to make when arguing. Intellectual Virtues are qualities of good reasoning that one can develop to help reduce the likelihood of committing a fallacy. In this module, we will discuss 9 pairs of intellectual virtues that someone can develop, as well as the various fallacies that failing to develop those virtues may tend to produce. These virtues include: (1) Intellectual Self-Regard and Intellectual Humility, (2) Respect and Desire for the Truth, (3) Knowing what you know, and Knowing what you don’t know, (4) Self-Awareness and Objectivity, (5) Reasonable Emotions and Intellectual Temperance, (6) Intellectual Courage and Intellectual Caution, (7) Realism and Optimism about Intellectual Progress, (8) Intellectual Patience and Intellectual Persistence, and (9) Simplicity and Comprehensiveness.
Module 3: Cooperative Principles and Fallacies
Reasoning is something we do cooperatively with others as part of an ongoing conversation, as we identify disagreements and weigh one another’s reasons. We make certain assumptions when communicating that are important to make our conversations cooperative and productive, and to avoid fallacies. These assumptions can be expressed as nine specific principles: (1) Charity: interpreting one’s opponent as rationally as possible; (2) Open-Mindedness: maintaining one’s own views while listening to disagreement; (3) Civility: making one’s contributions polite and respectful; (4) Sharing Assumptions: using but not abusing presuppositions to limit the conversation; (5) Justifying Exceptions: allowing for special cases but avoiding special pleading; (6) Quality: making one’s contributions true, and known to be true; (7) Quantity: making one’s contributions exactly as informative as required; (8) Relevance: making one’s contributions relevant to the issue being discussed; (9) Manner: making one’s contributions clear, and reducing vagueness and ambiguity.
Module 4: Foundation of Argumentation
Formal logic studies the abstract form of an argument rather than its content. This module studies the assumptions of classical logic, how to clarify claims in order to symbolize them, and how to use very basic truth tables and Venn Diagrams to model validity. Topics studied in this unit include: (1) Applying Formal Logic only to statements; (2) Symbolizing Simple Positive and Negative Claims; (3) The Laws of Non-Contradiction and Excluded Middle; (4) The Rules of Reiteration and Double Negation; (5) Introduction to Basic Truth Tables; (6) Introduction to Basic Venn Diagrams; (7) Making Sentences more Precise; (8) Making Sentences more Concise; (9) Distinguishing the Explicit, Literal Meaning of Logical Connectives from Implicatures; (10) Testing the Validity of Rules of Inference; (11) Making use of formal tools to reason more methodically; (12) Making use of formal tools to more objectively approach controversial topics.
Module 5: Disjunctions and Conjunctions
This module presents the rules for symbolizing disjunctions (‘or’ sentences) and conjunctions (‘and’ sentences), how to create truth tables for conjunctions and disjunctions, and the rules which apply to conjunctions and disjunctions. Topics studied in this Unit include: (1) Distinguishing disjunctive and conjunctive claims; (2) Symbolizing disjunctive and conjunctive claims; (3) Symbolizing “Neither-Nor” and “Not Both” sentences; (4) Truth tables for conjunctions and disjunctions; (5) Rules for creating truth tables of unlimited length; (6) The rules of conjunction introduction and elimination; (7) The rule of disjunction elimination; (8) The rules of Distribution and DeMorgan’s Law; (9) The rule of disjunctive syllogism and common fallacies.
Module 6: Universals and Existentials
Categorical logic studies the logic of claims about all members (universals) or some members (existentials) of a category. This module discusses the distinction between existentials and universals, some of the basic rules which apply to each, and the fifteen valid forms of categorical syllogism. Specific Topics Include: (1) Distinguishing Existential and Universal Claims; (2) Using Venn Diagrams to model claims and prove validity; (3) Basic rules for Existentials and Universals; (4) Relationships of contradiction and logical equivalence between categorical claims; (5) Constants, Variables, and Identity; (6) Categorical Syllogisms, including Standard Form, Mood, Figure, and the 15 Valid Forms.
Module 7: Conditionals
This module offers a review of the prior modules, and then introduces conditional (“if.. then”) sentences, and the three types of conditional sentences. Topics covered in the discussion of conditionals include: (1) The structure of a conditional, with an antecedent and consequent; (2) Material conditionals; (3) Counterfactual conditionals; (4) Strict conditionals; and (5) Biconditionals. Topics reviewed from previous units include: (1) Intellectual Virtues; (2) Fallacies; (3) Symbolization; (4) Truth Tables; (6) Rules of Inference; (6) Venn Diagrams; and (7) Categorical Syllogisms.
Module 8: Material Conditionals
This module explains how to symbolize and create truth tables for material conditionals and biconditionals. It also introduces the rules of modus ponens, modus tollens, and other rules and fallacies for conditionals. Topics include: (1) Using Material Conditionals to make an argument valid; (2) Symbolizing Material Conditionals; (3) Symbolizing multiple material conditionals and biconditionals; (4) Truth Tables for Material Conditionals and biconditionals; (5) Modus Ponens and Modus Tollens; (6) Material Contraposition, Implication, and Negated Conditional; (7) The Fallacies of Denying the Antecedent, Affirming the Consequent, and Commutation of Conditionals; and (8) Completing Proofs and Enthymemes
Module 9: Constructing Valid Arguments
This module aims to help you polish many of the skills needed to construct valid arguments. This includes testing the validity of arguments, proving the validity of arguments, filling in missing premises or rules of inference, and other proof strategies. By the end of this module, you should have the preparation you need to begin composing arguments on your own. Topics studied in this module include: (1) Applications of valid arguments; (2) Recognizing Valid Arguments; (3) Applied Truth Tables; (4) Applied Venn Diagrams; (5) Proofs with Propositional Rules; (6) Proofs with Categorical Rules; (7) Recognizing Applications of a Rule; (8) Complex Enthymemes; (9) Translating Back into English; (10) Choosing Propositional Rules; (11) Choosing Categorical Rules; (12) Extracting arguments.
Module 10: Conditional and Indirect Proof
In this module we explore the meaning of Conditional and Indirect proofs. A conditional proof is a proof in which we assume the truth of one of the premises to show that if that premise is true then the argument displayed is valid. In a conditional proof the conclusion depends only on the original premise, and not on the assumed premise.
Module 11: Extracting Valid Arguments
It is time to apply what you have learned! Extracting an argument is a way of using the formal methods and rules of inference we have studied in order to present, explain and evaluate the reasoning in a real-world argument. Real arguments are rarely pre-packaged in perfect deductive form. So, we have to charitably re-interpret their arguments and reconstruct them so that every premise is explicit and every inference is valid. Once we do that, it is clear exactly what in the argument needs to be defended, and what in the argument could be challenged.
Module 12: Evidence
Up to this point, we’ve studied how to determine whether an argument is valid or invalid, and how to reconstruct invalid arguments to make them valid. We haven’t discussed how to determine whether or not an argument is sound: that is, how to determine whether or not the premises are true. For that, we need evidence about the way the world is. This module studies the types of evidence available to us. First, we’ll study sources of direct evidence: perception, testimony, and memory, and the ways each can fail. Then, we’ll study indirect sources of evidence, including arguments from analogy, induction, abduction, and inference to the best explanation.
Module 13: Probability
In this module we will explore probability logic.
Module 14: Causation
In this module we will explore causation logic.
Module 15: Intellectual Freedom and Responsibility
We will conclude our course with a reflection on the freedoms and responsibilities of a student who has studied logic. Many people have not developed their capacity to reason to the same degree which students of logic have. This gives a logic student certain advantages, but also brings with it certain ethical responsibilities. The responsibilities of sound reasoners include: the social responsibilities of scholarship, ethics, and understanding; the epistemic responsibilities of curiosity, critical judgment, and openness to change; and, lastly, the Individual responsibilities of fairness, keeping perspective, and imagination.
Adding CogBooks to your LMS and getting your students started couldn’t be easier
CogBooks can be easily integrated with Blackboard, Canvas, Moodle, D2L, Schoology, or other stand-alone Learning Management System (LMS) or website – without troubling your institution’s IT specialists. Just add a URL to your course and we manage the rest.
Whether student access is covered as part of their course fee or they buy direct through your campus bookstore or online from CogBooks, the process is simple and our dedicated support team are standing by if you need any help to get up and running.
Other integration options are available based on the IMS LTI standard, please contact us for more information.
CogBooks is compatible with

Access and review the full Introduction to Logic course
If you’d like full access to our courseware to review for use in your class, please submit your details here.