I put this on my website a long time ago, maybe around 1996, as an HTML page. This is it moved to my blog.
The structure of this explanation is lifted from ‘An Introduction to Symbolic Logic’ by Susanne K. Langer, without her permission.
The things or material in a system.
The way in which the contents are related in a system.
Separating Form from Content, sometimes by discovering analogies.
Finding possible Content for Forms.
Number of Elements used by a Relation. e.g. Dyadic: ‘is north of’, Triadic: ‘is
Asserts that the Elements are related by the Relation. e.g. ‘Edinburgh’ nt ‘Swindon’.
=int means ‘equals by interpretation’. e.g ‘nt2’ =int ‘is north of’.~ means ‘is not
true’. e.g. ~’Swindon nt Edinburgh’.
Consists of elements and relations.
e.g. K(‘Brighton’, ‘Swindon’, ‘Edinburgh’) nt2 =int ‘cities’2 =int ‘is north of’
Universe Of Discourse:
All Elements in the context. e.g. K(a,b,c,…) K=int ‘cities’
The relations used in the context. e.g. nt2 =int ‘is north of’
The statements that may be made by relating Elements.
e.g. ‘Edinburgh’ nt ‘Swindon’.
Whether the Elementary Proposition is true or false. e.g. ‘Swindon’ nt ‘Edinburgh’ is false.
⋅ means Conjunction (‘and’)
∨ means Disjunction (‘or’)
⊃ means Implication (‘implies that’)
When the truth of one Elementary Proposition is dependent upon the truth of others they
are Logically Related.
e.g. (‘Edinburgh’ nt ‘Swindon’) ⋅ (‘Swindon’ nt ‘Brighton’) ⊃ (‘Edinburgh’ nt ‘Brighton’)
System of Elements:
Context with Elementary Propositions connected by Logical Relations
As in algebra. e.g. x means ‘Edinburgh’ or ‘Swindon’ or ‘Brighton’ etc.
Allows us to summarise Logical Relations of the same form.
e.g. (a nt b) ⋅ (b nt c) ⊃ (a nt c)
The Logical Relation may hold for All or Some of the variables.
(a) means ‘for all a’. e.g. (a) : (a nt b) ⊃ ~(b nt a)
(∃a) means ‘for at least one a’. e.g. (∃a): (a nt ‘Swindon’)
Elementary Proposition or Logical Relation using Variables, whose Truth Value would depend upon the actual Elements substituted. e.g ‘a nt b’.
Propositional Form with Quantifiers.
∈ means ‘is a member of’. e.g. ‘Murray’ ∈ B, where B =int ‘Class of Humans’.
General Propositions (see above) concern Classes of Elements.
Defines the Class in terms of Propositional Forms. The Class contains all elements for which the Propositional Form is True.
Meaning of a concept. e.g. the class ‘town’.
The elements to which the concept applies. e.g. the class of ‘towns’.
N.B. Classes with unrelated Intensions may share some Elements in Extension.
e.g. ‘Towns north of Swindon’ and ‘Towns with Universities’.
(x): (x ∈ A) ⊃ (x ∈ B) means Class A is included in Class B, by stating that any Element in A is therefore in B.
Unit Class (I):
Has one member, meaning that if two Elements are both in A then they must both be the
(∃x) (y): (x ∈ A) ⋅ [ (y ∈ A) ⊃ (x=y) ]
The Null Class (o):
Has no Elements. There is a single Null Class, because two null classes could not be distinguished.
The Universe Class:
Contains all Elements. There is a single Universe Class.
Classes have same Elements so each Class is included in the other.
(x): [ (x ∈ A) ⊃ (x Î B) ] ⋅ [ (x ∈ B) ⊃ (x ∈ A) ]
< means Inclusion. e.g. A < B means (x): (x ∈ A) ⊃ (x ∈ B)
X means Conjunction (and). e.g. A X B means the Elements which are in A and in B. X is often omitted e.g. AB
+ means Disjunction (or). e.g. A + B means the Elements which are in A or in B.
– means Complement. e.g. -A means the Elements not in A.
= means Mutual Inclusion e.g. A = B means (A < B) . (B < A)
N.B. A<A, A<I, 0<A
Classes have no Elements in common.
A X B = o
The fact that I = A + -A.
A < -B means A is excluded from B.
e.g. A, -A, A X B, A + B
Propositions about Predicates
System of Classes:
K(a,b,c…) <, similar to System of Elements but with Classes instead of Elements and < as the constituent relation.
Dots instead of brackets:
e.g. :. a : b . cd : e instead of ( a . ( b . ( c . d) ) . e)
You’ll get the hang of it.
Calculus of Classes:
Describes the System of Classes for all Classes, just as the Calculus of Numbers
describes the System of Numbers for all Numbers.
Shows how to deduce some Propositions from others.
Basic Propositions of the system. e.g. (a, b) . a + b = b + a.
There are ten Postulates of the Calculus of Classes, analogous to the uses of Venn Diagrams.
Self-evident Postulates that are assumed because they can not be deduced.
Boolean Algebra of Classes
Generalised Calculus of Classes, just as Algebra of Numbers is generalised Calculus of
Laws of Duality
Conjunction can be defined in terms of Disjunction and vice-verse.
The propositions used to prove theorems in Boolean Algebra. They may use either
Conjunction or Disjunction. They show the following:
Existence of complements, sums, products.
Existence of Universe Class, Null Class, more than one Class.
Laws of Combination:
- Tautology e.g. ‘a + a = a’
- Commutation e.g. ‘a + b = b + a’
- Association e.g. ‘(a + b) + c = a + (b + c)’
- Distribution e.g. ‘a + (b X c) = (a + b) X (a + c)’
- Absorption e.g. ‘a + ab = a’
Laws of the Unique Elements:
- Universe Class e.g. ‘a + 1 = 1’
- Null Class e.g. ‘a + 0 = 0’
Laws of Negation:
- Complementation e.g. ‘a + -a = 1’
- Contraposition ‘a = -b . ⊃ . b = -a’
- Double Negation e.g. ‘a = -(-a)’
- Expansion e.g. ‘ab + a-b = a’
- Duality e.g. ‘-(a + b) = -a X -b’
System in Abstracto.
K R, where K is the universe of something and R is some way of relating these things.
Properties of Relations:
Reflexiveness e.g. ‘(a). a R a’
Symmetry e.g. ‘(a, b). a R b . ⊃ . b R a’
Transitivity e.g. ‘(a, b, c): a R b . b R c . ⊃ . a R c’
Uses a Universe of Propositions which are either True (1) or False (O)
p means ‘p is true’ or ‘p=1’, leading to ‘p=(p=1)’.
Calculus of Elementary Propositions.
Used by Principia Mathematica by Russel & Whitehead. Improves on above flawed notation.
† means ‘it is asserted that’ e.g. ‘†: p V q . ⊃ . q V p;
Function and Argument:
A Proposition consists of a Function and Arguments.
e.g. ϕx instead of p, where f is the function and x is the argument.
We may quantify the argument instead of the whole proposition to show that functions which are not identical are formally equivalent, allowing us to express ‘(x): mortal(x) =
Seeks to create a logical foundation for mathematics.