Is set theory logic or math?

Set theory is the branch of mathematical logic that studies sets, which can be informally described as collections of objects. Although objects of any kind can be collected into a set, set theory, as a branch of mathematics, is mostly concerned with those that are relevant to mathematics as a whole.

What is mathematical logic book?

Book Description The new edition of this classic textbook, Introduction to Mathematical Logic, Sixth Edition explores the principal topics of mathematical logic. It covers propositional logic, first-order logic, first-order number theory, axiomatic set theory, and the theory of computability.

What is a good book to start learning about logic?

The best books on Logic

• Logic Primer. by Colin Allen & Michael Hand.
• Logic. by Wilfrid Hodges.
• Paradoxes. by R. M. Sainsbury.
• Tractatus Logico-Philosophicus. by Ludwig Wittgenstein.
• Philosophy of Logic. by Willard Van Orman Quine.

Who is the father of set theory?

Georg Ferdinand Ludwig Philipp Cantor
Georg Cantor, in full Georg Ferdinand Ludwig Philipp Cantor, (born March 3, 1845, St. Petersburg, Russia—died January 6, 1918, Halle, Germany), German mathematician who founded set theory and introduced the mathematically meaningful concept of transfinite numbers, indefinitely large but distinct from one another.

How can Polya solve problems?

Polya created his famous four-step process for problem solving, which is used all over to aid people in problem solving:

1. Step 1: Understand the problem.
2. Step 2: Devise a plan (translate).
3. Step 3: Carry out the plan (solve).
4. Step 4: Look back (check and interpret).

Where do I start with logic?

If it is philosophy or law then syllogistic, and translating colloquial reasoning into it, is a canonical starting point. If it is more mathematics or linguistics you can probably skip syllogistic and start with modern propositional logic, then predicate/quantifier logic.