Logic is a branch of philosophy that deals with reasoning. Logic is used in mathematics, computing, philosophy, culture, and more. This section covers all formal and informal logic and all sub-sets of logic.

Machines Can Think


Can Machines Think?

Whether or not machines can think, depends on our definition of “think.” Generally we can say, machines can think, but they think differently than humans.

Human Behavior can be Random


Human behavior can be random to some extent, but most behavior is based on prior input, and thus is “deterministic” (meaning not totally random).

There is Cake!


Let them eat cake

It is said that, “there is no cake”, that, “the cake is a lie”, but this isn’t true. The cake you were promised may be a lie, but there is cake.

Everything That’s True Can Be Proven


Everything is either true or not true, but not everything that is true can be proven true, and not everything false can be proven false.