Changes

:* In a logical context, if <math>j\!</math> is a piece of evidence that <math>S\!</math> is true, and <math>j\!</math> is a piece of evidence that <math>T\!</math> is true, then it follows by these very facts alone that <math>j\!</math> is a piece of evidence that the conjunction <math>S\ \operatorname{and}\ T</math> is true.  This is analogous to a situation where, if a person <math>j\!</math> draws a set of three lines, <math>AB,\!</math> <math>BC,\!</math> and <math>AC,\!</math> then <math>j\!</math> has drawn a triangle <math>ABC,\!</math> whether <math>j\!</math> recognizes the fact on reflection and further consideration or not.

:* In a logical context, if <math>j\!</math> is a piece of evidence that <math>S\!</math> is true, and <math>j\!</math> is a piece of evidence that <math>T\!</math> is true, then it follows by these very facts alone that <math>j\!</math> is a piece of evidence that the conjunction <math>S\ \operatorname{and}\ T</math> is true.  This is analogous to a situation where, if a person <math>j\!</math> draws a set of three lines, <math>AB,\!</math> <math>BC,\!</math> and <math>AC,\!</math> then <math>j\!</math> has drawn a triangle <math>ABC,\!</math> whether <math>j\!</math> recognizes the fact on reflection and further consideration or not.

Some readings of the staging relations are tantamount to statements of (a possibly higher order) model theory.  For example, consider the predicate <math>P : J \to \mathbb{B} \}</math> defined by the following equivalence:

Some readings of the staging relations are tantamount to statements of (a possibly higher order) model theory.  For example, consider the predicate <math>P : J \to \mathbb{B}</math> defined by the following equivalence:

{| align="center" cellpadding="8"

{| align="center" cellpadding="8"