John Overdurf's Predicate Calculus

The basis of John Overdurf's predicate calculus is the use of predicates to direct attention and hence change experience.

Predicate calculus is essentially based upon formal logic in mathematics. Of course the difference is that in change work is that we are dealing with human beings who are not necessarily logical.

Predicate calculus in logic uses the following concepts to build ideas:

• {for all}
  
• {there exists}  
  
• {not} 
  
• {and}  
  
• {or}
  
• {implies}
  
• {if and only if}
  
• {exclusive-or}
  

 These concepts will prove useful as we move forward.