Satisfaction vs Validity

This document is called: [SATvsVAL]
Under development

One of the notions of the theory of FOL [context]s is that operations on [context]s sre only required to map consistent FOL [context]s onto consistent FOL [context]s. IBUKI refers to all such operations as 'rules if inference'. This is a radical departure from traditional logic but it allows our thinker many techniques ofn everyday reasoning that restricting operations to validity preserving 'rules' makes impossible.

1) identity preservation
2) all conversative extention results imply a Consistency preserving map
   a) language expansion
   b) subsidiary deduction rules
   c) function definition (language extension + new 'axions'
      explicit definition - eg.  union, intersection (in set theory), ... 
      recursive definition  - eg. primative recursive functions, ...
   d) definite descriptions
3) using metathoey (not 2nd order) for 1st order schemas
4) 'creative' reasoning ideas 
   a) non-monotonic reasoning
   b) abductive reasoning
   c) belief revision
   d) jumping to conclusion
5) forgeting
6) perception of a changing world.

and more