Logic and Algebra

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?"
 
3,754
2
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.
 

selfAdjoint

Staff Emeritus
Gold Member
Dearly Missed
6,764
5
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".
 
3,754
2
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.
 

selfAdjoint

Staff Emeritus
Gold Member
Dearly Missed
6,764
5
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.
 

Related Threads for: Logic and Algebra

  • Posted
Replies
2
Views
1K
  • Posted
8 9 10
Replies
244
Views
14K
  • Posted
Replies
2
Views
7K
  • Posted
2
Replies
26
Views
4K
  • Posted
Replies
11
Views
2K
  • Posted
2 3
Replies
50
Views
6K
  • Posted
2
Replies
29
Views
6K
  • Posted
Replies
16
Views
4K

Physics Forums Values

We Value Quality
• Topics based on mainstream science
• Proper English grammar and spelling
We Value Civility
• Positive and compassionate attitudes
• Patience while debating
We Value Productivity
• Disciplined to remain on-topic
• Recognition of own weaknesses
• Solo and co-op problem solving

Hot Threads

Top