# Category: Logic

## Birthday Puzzle

Albert and Bernard just met Cheryl. “When’s your birthday?” Albert asked Cheryl. Cheryl thought a second and said, “I’m not going to tell you, but I’ll give you some clues.”...

## List of common fallacies

In daily conversations, we come across many logical fallacies. Discussions and debates often lead nowhere, because the underlying logic is already wrong. Looking for better explanations or more evidence is a good...

## A. M. Turing: Computing Machinery and Intelligence. 1950

Source: Mind 49: 433-460. 1. The Imitation Game I propose to consider the question, “Can machines think?” This should begin with definitions of the meaning of the terms “machine” and...

## Kurt Gödel

Here is the biographical sketch of Kurt Gödel’s life from the Stanford Encyclopedia of Philosophy: Biographical Sketch Kurt Gödel was born on April 28, 1906 in what was then the Austro-Hungarian...

## Incompleteness Theorem

The Incompleteness Theorem is Gödel’s main contribution to 20th century thought. Gödel showed that within a logical system such as Russell and Whitehead had developed for arithmetic, propositions can be formulated that are...

## A History of Set Theory

A set is a collection of things. A set can consist of numbers or letters (such as 1, 2, 3, 4 or a, b, c, d) or of objects (such...

## Kalām Cosmological Argument

From: W. L. Craig: “Professor Mackie and the Kalām Cosmological Argument,” in: Religious Studies, No. 20 (1985), p. 367. “The kalām cosmological argument, as opposed to the Thomistic and Leibnizian,...

## Kurt Gödel’s philosophical viewpoint, and his proof of the existence of God.

Explanation of the terms  in the image above. This is Godel’s formalized proof of the existence of God. P(psi) P is “positive” G(x) x have the property God ess. essential...