Logic and Algebra

  • #1
StephenPrivitera
363
0
All A's are B's.
can be written as
For all x, if x is A, then x is B.
If F = {x : x in domain, x is A}
and G = {y : y in domain, y is B}
Then I can write, "For all x, if x is A, then x is B" as
F intersect G = F

Similarly, I can write, "Some A's are B's" as
F intersect G [x=] [null]

I can write, "No A's are B's" as
F intersect G = [null]

I can write, "Only A's are B's" as
F intersect G = G

It seems that this approach might bring about considerale results (if only I knew more about the algebra of sets).
Is there some branch of logic that studies logic in this manner? Or is it simply more convenient to study logic conventionally? What is meant by the term "mathematical logic?"
 

Answers and Replies

  • #2
Mentat
3,918
3
Originally posted by StephenPrivitera
What is meant by the term "mathematical logic?"

I think that term refers to Symbolic Logic, which uses variables like p and q, and functions like "and", "if-then", and "if and only if", to form logical statements.
 
  • #3
selfAdjoint
Staff Emeritus
Gold Member
Dearly Missed
6,881
10
The modern term for symbolic logic is propositional calculus. Sometimes more specifcally second order propositional calculus, the difference from first order being basically the quantifiers "There Exists" and "For All".
 
  • #4
Mentat
3,918
3
Originally posted by selfAdjoint
The modern term for symbolic logic is propositional calculus. Sometimes more specifcally second order propositional calculus, the difference from first order being basically the quantifiers "There Exists" and "For All".

Interesting. I wasn't aware of this.
 
  • #5
selfAdjoint
Staff Emeritus
Gold Member
Dearly Missed
6,881
10
A good google key is Zermelo-Frankel. This is the name of one of the systems of axioms for set theory, expressed mostly in the language of the propositional calculus. Also look up Foundations of Mathematics.

IIRC we had some threads about all this here in the old days.
 
  • #6
Soveraign
55
0
If you like logic and set theory, you might look into group theory (as well as rings and fields).

This is the book I have:
 

Suggested for: Logic and Algebra

Replies
3
Views
675
Replies
7
Views
279
  • Last Post
Replies
1
Views
853
Replies
3
Views
455
  • Last Post
Replies
8
Views
278
  • Last Post
Replies
2
Views
548
  • Last Post
Replies
4
Views
564
  • Last Post
Replies
1
Views
520
Replies
5
Views
462
  • Last Post
Replies
28
Views
2K
Top