Amount of Set Theory Required to Study Logic

Click For Summary
SUMMARY

The discussion centers on the necessary amount of set theory knowledge required to study logic, specifically referencing the book "Set Theory and Logic" by Robert Stoll. The participant has a foundational understanding of set theory concepts such as union, intersection, and ordered sets but questions whether this is sufficient for deeper logic studies. It is concluded that while basic set theory is often adequate for introductory logic, the depth of set theory required can vary significantly depending on the specific logic curriculum being pursued.

PREREQUISITES
  • Basic understanding of set theory concepts such as union, intersection, and ordered sets.
  • Familiarity with number systems and their foundational principles.
  • Knowledge of logic fundamentals, including propositions and logical connectives.
  • Experience with mathematical reasoning and proof techniques.
NEXT STEPS
  • Research the specific topics covered in various logic textbooks to understand set theory requirements.
  • Study advanced set theory concepts that may be relevant to logic, such as cardinality and ordinality.
  • Explore introductory logic courses or materials to gauge the level of set theory integration.
  • Examine the relationship between set theory and other mathematical disciplines, such as topology or abstract algebra.
USEFUL FOR

Students of mathematics, educators in logic and set theory, and anyone transitioning from set theory to formal logic studies will benefit from this discussion.

LawdyLawdy
Messages
3
Reaction score
0
Amount of Set Theory "Required" to Study Logic

Hello,
I have been self-studying set theory to try and get into logic. The book I bought is published by Dover (I love how cheap their books are) entitled Set Theory and Logic by Robert Stoll. I have gone over the basic set theory section involving union, intersection, inclusion...basically the algebra of sets...and into ordered sets and types of relations. The thing is now the book is going into what makes a number system, which I already have a basic understanding of, however the book goes into it MUCH deeper (perhaps more for the mathematician reading the book than an engineer). Any who, I flipped through to the beginning of the logic section and saw that it mainly seems to rely on the basic set theory which I already know. This may be due to my lack of knowledge on logic, but would the general population consider an understanding of basic set theory enough to dive into learning logic?
Thank you (Hopefully, I placed this in the right forum)
 
Physics news on Phys.org
If set theory doesn't interest you very much, then I suggest diving into logic immediately. It might happen that they start to talk about something that you haven't learned yet, but then you can always go back in the book and study it.

If you want to know exactly how much set theory you need for logic, then you will need to tell us the topics that your logic book covers. Some logic books require quite a lot of set theory (but those books are usually not introductory).
 

Similar threads

  • · Replies 6 ·
Replies
6
Views
2K
  • · Replies 14 ·
Replies
14
Views
5K
Replies
6
Views
3K
  • · Replies 2 ·
Replies
2
Views
1K
  • · Replies 7 ·
Replies
7
Views
4K
  • · Replies 12 ·
Replies
12
Views
2K
  • · Replies 6 ·
Replies
6
Views
2K
  • · Replies 43 ·
2
Replies
43
Views
8K
Replies
0
Views
3K
  • · Replies 3 ·
Replies
3
Views
6K