1. The Game of Logic by Habib Bin Muzaffar

2. Dictionary Definiton of Logic (Merriam-Webster Dictionary)
A proper or reasonable way of thinking about or understanding something
A particular way of thinking about something
The science that studies the formal process used in thinking and reasoning

3. The beginning of Mathematics
Should one start with the first methodical deductions in geometry traditionally credited to Thales of Miletus around 600 B. C.? Or should one go back further and start with the empirical derivation of certain mensuration formulas made by the pre-Greek civilizations of Mesopotamia and Egypt? Or should one go back even further and start with the first groping efforts made by prehistoric man to systematize size, shape and number? Or was mathematics, as Plato believed, always in existence, merely awaiting discovery? ( An Introduction to the History of Mathematics by Howard Eves)

4. Aristotle’s statement in his Metaphysics
When all the inventions had been discovered, the sciences which are not concerned with the pleasures and necessities of life were developed first in the lands where men began to have leisure. This is the reason why mathematics originated in Egypt, for there the priestly class was able to enjoy leisure. ( The History of Mathematics, An Introduction by David M. Burton)

5. Thales of Miletus (circa 625-547 B. C)
First known person with whom specific mathematical discoveries are traditionally associated
Credited with introducing proofs in mathematics
Credited with lots of wise statements
When asked what was the strangest thing he had ever seen, he is said to have answered “ An aged tyrant”

6. The Flourishing of Greek Mathematics (600-200 B.C.)
Extensive discoveries especially in geometry
Discovery of irrational numbers
Organization of mathematics, especially geometry, into an ordred list of theorems proved in a “logical” manner
Exact calculation of the areas and volumes of several geometric objects (with proofs)
Essentially discovered the modern mathematical concept of “limits”

7. The most important contributors
Thales of Miletus (~ B.C.)
Pythagoras of Samos(~ B.C.)
Theaetetus of Athens(~ B.C.)
Eudoxus of Cnidos (~ B.C.)
Euclid of Alexandria (~300 B. C.)
Archimedes of Syracuse (~ B.C.)
Appolonius of Perga (~262 B.C.-190 B.C.)

8. The Pythagorean school
Pythagoras (~ B.C.) formed a school at Crotona when he was about 50 years old.
The aims of the school were political, philosophical and religious.
The community had the character of a secret society with initiations, rites and prohibitions.
Pupils concentrated on four subjects of study: arithmetic (in the sense of number theory), music, geometry , and astronomy.
The school continued to exist for several centuries after the death of Pythagoras.

9. Commensurable quantities and rational numbers
The Pythagoreans (the followers of Pythagoras) believed that any two line segments are commensurable, i.e there is a third segment, perhaps very small, that could be marked off a whole number of times on each of the given segments.
In symbols, this says that given line segments of lengths r and s, there is a third line segment of length t such that 𝑟=𝑎𝑡 and 𝑠=𝑏𝑡 for some positive integers a and b. It follows that 𝑟 𝑠 = 𝑎 𝑏 . In other words the ratio of the lengths of any two line segments is a rational number, i.e. a ratio of two integers.

10. The discovery of irrational numbers
The Pythagoreans proved (most likely in the 5th century B.C.) that the diagonal of a square is incommensurable with any of its sides. It follows that 2 is an irrationalnumber, i.e. it cannot be written as a ratio of two integers.
s d 𝑑=𝑠 2 s

11. The first crisis in mathematics (~5th century B.C.) and its resolution
The discovery of irrational numbers was a shock to the Pythagoreans.
They had used their wrong belief that any two line segments are commensurable in some of their proofs. Thus, a new approach was needed to salvage many of their theorems.
Around 370. B.C., Eudoxus (~ B.C.) devised a theory of proportions which resolved the crisis by making it possible to give correct proofs of the aforementioned theorems.

12. Aristotle (384-322 B.C.) Student of Plato Tutor of Alexander the great
Contributed to logic, philosophy, metaphysics, mathematics, physics, biology, ethics, politics, agriculture, medicine and theatre
Wrote more than 200 treatises of which only 31 survive
Systematized the science of logic which was already in use by the Greeks

13. Aristotle’s logic The heart of Aristotle’s logic is the syllogism.
An example of a syllogism is: “All men are mortal. Socrates is a man Therefore Socrates is mortal.” Note that as long as the premises are true, the conclusion must be true.
The syllogistic form of logical argumentation dominated logic for more than 2000 years.

14. The Elements of Euclid (~300 B.C.)
A compilation of the most important mathematical facts available at that time
Organized into 13 parts or books
Unified a collection of isolated discoveries into a single deductive system based on a set of initial definitions, postulates and common notions
Was the standard introduction to geometry until the early 20th century
Modern introductions to geometry differ from the Elements in logical order and proofs of theorems but little in actual content.

15. Some definitions from the Elements
A point is that which has no parts.
A line is a being without breadth.
Parallel lines are straight lines which, being in the same plane and being produced indefinitely in both directions, do not meet one another in either directions.

16. The Postulates (axioms) of the Elements
A straight line can be drawn from any point to any other point.
A finite straight line can be produced continuously in a line.
A circle may be described with any center and distance.
All right angles are equal to one another.
If a straight line falling on two straight lines makes the interior angles on the same side less than two right angles, then the two straight lines, if produced indefinitely meet on that side on which are the angles less than two right angles.

17. Flaws in the Elements Some definitions are not satisfactory.
Some terms are used but not defined.
The postulates are incomplete, i.e. certain tacit assumptions were used in the deductions (proofs) which should have been included as postulates or derived from them as propositions (theorems).

18. Fixing the flaws in the Elements
The flaws could be fixed by introducing some undefined terms (from which all other definitions must be made) and a complete set of postulates (or axioms). Such a collection would be called an axiom system for Euclidean geometry.
From the late 19th century onwards, many mathematicians attempted to give a complete statement of the postulates needed for proving all the familiar theorems of Euclidean geometry.
These attempts are regarded as satisfactory.

19. The most popular of these attempts
David Hilbert (1899): 21 postulates , 6 undefined terms, namely point, straight line, plane, on, congruent, and between
George David Birkhoff (1932): 4 postulates , 4 undefined terms, namely: point, straight line, distance, and angle
Note: Birkhoff ‘s postulates related geometry
to real numbers.

20. The basic underlying philosophy
The only assumptions (about the various geometric objects) which may be used in the proof of a theorem are the postulates or the theorems which have already been proved. No, other “tacit assumption” or “intuitively obvious fact” may be used.
Hilbert expressed this by saying “ One must
be able to say at all times – instead of points,
straight lines and planes – tables, chairs and
mugs.” ( Hilbert by Constance Reid)

21. Symbolic or Mathematical Logic
Although the Greeks considerably developed the science of logic and Aristotle systematized the material, the early work was all carried out with the use of ordinary language.
Modern mathematicians have found it necessary to have a symbolic language in order to further develop the science of logic.

22. A dose of Modern Symbolic Logic : Propositional Logic
Propositional logic deals with propositions.
A proposition is a declarative sentence (i. e. a sentence that declares a fact) that is either true or false but not both.
A propositional variable is a variable that represents propositions.
Propositional variables are usually denoted by letters such as p, q, r, s etc.

23. Logical operators
¬ stands for “Not”, ˅ stands for “or”, ˄ stands for “and”. These are defined using truth tables as follows: p ¬𝑝 T F p q
p˅q T F p q
p˄q T F

24. More logical operators: Implications
→ stands for “implies” , ↔ stands for “if and only if”
𝑝→𝑞 is also read as “if p then q” p q
p ↔ q T F p q
p → q T F

25. The NOR operator ↓ This is defined as follows:
Note that 𝑝↓𝑞 is the same as ¬(𝑝 ˅ 𝑞). p q
p ↓ q T F

26. Some things of interest in propositional logic
To find the truth table of a compound proposition (i. e. a sentance made up using propositional variables and logical operators)
Given a truth table involving any number of propositional variables, to find a corresponding compound proposition
To study and develop relationships between various logical operators
To study the notion of functional completeness

27. Functional Completeness
A collection of logical operators is said to be functionally complete provided that every compound proposition can be expressed as a compound proposition involving only these logical operators.
It is not hard to show that the collection {¬, ˄} is functionally complete as is the collection {¬, ˅}.
The collection ↓ is fuctionally complete.

28. The Liar Paradox
The earliest attribution is to Eubulides of Miletus (~ 4th century B.C., contemporary of Aristotle) who said “A man says that he is lying. Is what he says true or false?”.
Alternate version: “This sentence is false”
In symbols : L is the sentence “L is false”. This means that L is true if and only if L is false.
In propositional logic, such sentences are not considered.

29. The cannibals puzzle
An explorer visiting an island is captured by a group of cannibals who reside on the island. There are two types of cannibals: those who always tell the truth and those who always lie. The cannibals will barbecue the explorer unless he can determine whether a particular cannibal always lies or always tells the truth. What one question can he ask the cannibal to save himself?

30. Solution to the cannibals puzzle
Ask the cannibal any question whose correct answer is “yes”. A truthful cannibal will answer “yes” and a liar will answer “no”. One possible question is “Are you a resident of this island?”. Another possibility is “ Are you a cannibal?”.

31. The “villager and ruins” puzzle
Each inhabitant of a remote village always tells the truth or always lies. A villager will only give a “Yes” or a “No” response to a question a tourist asks. Suppose you are a tourist visiting this area and come to a fork in the road. One branch leads to the ruins you want to visit; the other branch leads deep into the jungle. A villager is standing at the fork in the road. What one question can you ask the villager to determine which branch to take?

32. V

33. A propositional logic approach to the “villager and ruins” puzzle
r: The road on the right leads to the ruins you want to visit
v: The villager standing at the fork is truthful
S: Statement to be constructed
A: Answer by villager to the question “ Is S true”
One possible S is ¬𝑣 ˅ 𝑟 ˄ (𝑣 ˅ ¬𝑟) v r S A T
Yes F No

34. Another solution to the villager and ruins puzzle
If I were to ask you if the road on the right leads to the the ruins, would you answer “yes”?

35. Raymond Smullyan (1919-)

36. Raymond Smullyan (brief biography)
Dropped out of school
After moving from one university to another, he was given an undergraduate degree in mathematics by the University of Chicago in 1955
Obtained a Ph. D. in logic in 1959 at Princeton
Taught at Dartmouth College, Princeton University, Yeshiva University, the City University of New York, and Indiana University
Wrote several books on logic, puzzles and chess

37. How he got his undergraduate degree
Took the College Board Exams and was accepted by Pacific University in Oregon
Later studied at Reed College, University of Wisconsin and the University of Chicago
Got a teaching position at Dartmouth College based on someone’s recommendation and a paper he had written
He was a little short of the number of credits required to graduate from the University of Chicago
The problem was solved by giving him credit for a calculus course he was teaching at Dartmouth but had never taken

38. His books about puzzles
(1978) What Is the Name of This Book? The Riddle of Dracula and Other Logical Puzzles - knights, knaves, and other logic puzzles
(1979) The Chess Mysteries of Sherlock Holmes - introducing retrograde analysis in the game of chess.
(1981) The Chess Mysteries of the Arabian Knights - second book on retrograde analysis chess problems.
(1982) The Lady or the Tiger? - ladies, tigers, and more logic puzzles
(1982) Alice in Puzzle-Land
(1985) To Mock a Mockingbird - puzzles based on combinatory logic
(1987) Forever Undecided - puzzles based on undecidability in formal systems
(1992) Satan, Cantor and Infinity
(1997) The Riddle of Scheherazade
(2007) The Magic Garden of George B. And Other Logic Puzzles, Polimetrica (Monza/Italy)
(2009) Logical Labyrinths, A K Peters
(2010) King Arthur in Search of his Dog
(2013) The Godelian Puzzle Book: Puzzles, Paradoxes and Proofs

39. A puzzle from Raymond Smullyan
The Politician Puzzle.
A certain convention numbered 100 politicians. Each politician was either crooked or honest. We are given the following two facts: • At least one of the politicians was honest. • Given any two of the politicians, at least one of the two was crooked. Can it be determined from these two facts how many of the politicians were honest and how many of them were crooked?

40. Solution to the Politician Puzzle
Let A be an honest politician. Let B be any other politician. Since at least one of A and B is crooked, it follows that B is crooked. This applies to any politician other than A. Therefore, there is one honest politician and the other 99 are crooked.

41. One last puzzle
Consider the following wrong equation: How can you correct this equation by adding a single straight line segment? The following is not allowed:

42. Some contributors to the development of symbolic logic
Gottfried Leibniz ( )
George Boole ( )
Augustus De Morgan ( )
Charles Sanders Pierce ( )
Ernst Schröder ( )
Gottlob Frege ( )
Giuseppe Peano ( )
Bertrand Russell ( )
Alfred North Whitehead ( )

43. The second crisis in mathematics: The foundations of calculus
Calculus was developed in the 17th century and expanded considerably in the 18th century.
The mathematicians involved in this process failed to consider sufficiently the solidity of the base upon which the subject was founded.
With the passage of time, contradictions arose and it became necessary to properly deal with the foundations of calculus.

44. Resolution of the second crisis
Augustin-Louis Cauchy ( ) , Karl Weierstrass ( ) and his followers resolved the crisis by successfully developing a theory of limits.
They showed that all of existing calculus (and related areas) can be logically derived from a postulate set (or axiom system) characterizing the real number system.

45. Further work on foundations (Late 19th century)
It was shown that Euclidean geometry can be based upon the real number system, (i. e. the undefined terms of Euclidean geometry can be defined in terms of real numbers and then the postulates of Euclidean geometry can be proven using the postulates for the real number system).
It was shown that the real number system can be based upon a postulate set for the natural number system.
In order to carry out these programs, basic set theory is required.

46. The third crisis in mathematics: Paradoxes in set theory
Georg Cantor ( ) systematically developed modern set theory.
It was hoped that all of mathematics can be made to rest upon set theory as a foundation.
The discovery of several paradoxes in set theory in the late 19th and early 20th century was a shock.

47. Bertrand Russell ( )

48. Russell’s paradox
Bertrand Russell ( ) discovered the following paradox:
Consider the set of all sets which do not belong to themselves (such a set was allowed in Cantorian set theory). Does this set belong to itself? Either possibility leads to a contradiction.

49. Axiomatic set theory: A way to avoid the paradoxes of set theory
In the first half of the 20th century, many different axiom systems were developed for set theory which avoided all known paradoxes.
Unfortunately, these systems do not provide any guarantee that no new paradoxes will arise.

50. David Hilbert ( )

51. Hilbert’s dream
David Hilbert ( ) developed “proof theory” or “metamathematics” in which logical reasoning itself was put into an axiomatic framework.
This led to the notion of a formal theory or system (a set of postulates together with a set of rules of inference, i.e. a logic).
His “dream” was to prove that any formal system that was rich enough to cover all of mathematics was consistent, i.e. did not produce any contradictions.

52. Kurt Gödel ( )

53. Gödel’s Incompleteness Theorems (1931): End of Hilbert’s dream
First incompleteness theorem Any consistent formal system F within which a certain amount of elementary arithmetic can be carried out is incomplete; i.e., there are statements of the language of F which can neither be proved nor disproved in F.
Second incompleteness theorem For any consistent system F within which a certain amount of elementary arithmetic can be carried out, the consistency of F cannot be proved in F itself.

54. A statement of F. De Sua
Suppose we loosely define a religion as any discipline whose foundations rest on an element of faith, irrespective of any element of reason which may be present. Quantum mechanics for example would be a religion under this definition. But mathematics would hold the unique position of being the only branch of theology possessing a rigorous demonstration of the fact that it should be so classified.

55. Non-Aristotelian logics
Many valued logic
Intuitionist logic
Infinite valued logic
Fuzzy logic

56. The intuitionist school
Started in early 20th century by L. E. J. Brouwer although some of the main ideas were mentioned earlier by Kronecker ( ).
Many eminent mathematicians have joined this school.
The main idea is that any mathematical object must be built in a purely constructive manner, employing a finite number of steps or operations from the natural numbers.
They deny the universal applicability within mathematics of the “fact” that any clear mathematical statement must be either true or false.
They have succeeded in building large parts of present day mathematics according to their principles.
It is generally conceded (not proven) that their methods do not lead to paradoxes.

57. Conclusion
Mathematical Logic and related subjects such as Set Theory have continued to be subjects of intense research and controversy until today.
The Game of Logic that began with the Greeks is still thriving.

58. Solution to “last” puzzle
5+5+5 = 550

59. Thank You