Formal logic

Represent the structure of an argument.

Does the conclusion follow?

Use case

lying

Can a lie be true? The following argument suggests that it cannot. (1) The statement, “I am lying right now,” could not be true. (2) But if a lie could be true, then the statement, “I am lying right now,” could be true too. (3) Therefore, a lie cannot be true. QED.

In action

Unreliable Knowledge

Doomed to Fail

A New and Improved Argument

More Methods

Behavioral experiments

Data science