This is a second course in symbolic logic. Our course presupposes you have had a first course in symbolic deductive logic, such as Sac State's PHIL 60, or CSC 28, or you have learned this material on ...

My 5-year-old nephew once confidently told me that all dinosaurs were green because his three dinosaur toys were green. So I showed him a nature documentary, Walking with Dinosaurs, and suddenly, ...

The paper is concerned with the psychological relevance of a logical model for deductive reasoning. We propose a new way to analyze logical reasoning in a deductive version of the Mastermind game ...

All advertisements aim at persuasion. For example, imagine that Brand X cola claims to be the most refreshing drink. Simply stating this isn't very convincing, so a Brand X advertisement features a ...

Logical consistency is another branch of Deductive Logic. A set of sentences is said to be consistent if and only if there is at least one possible situation in which they are all true. If two ...

This research is part of a larger effort to build machine-based tools for developing scientific theories. In analogy with the research process in empirical research, we describe a logical cycle of ...