LC 00486: verschil tussen versies

Geen bewerkingssamenvatting
Geen bewerkingssamenvatting
 
(6 tussenliggende versies door dezelfde gebruiker niet weergegeven)
Regel 1: Regel 1:
<!--
Spencer-Brown starts the first chapter of LoF with the following statement.<blockquote>We take as given the idea of distinction and the idea of indication, and that one cannot make an indication without drawing a distinction. We take, therefore, the form of distinction for the form.</blockquote>This is a rather mysterious, circular definition which will become clearer after the ideas behind LoF have been gradually exposed. Spencer-Brown then goes on by giving a definition of distinction.<blockquote>Definition: distinction is perfect continence.</blockquote>A distinction is made by drawing a boundary that severs a space in two sides. It is not possible to go from one side of the boundary to the other one without crossing the boundary. The first boundary that is drawn is called the first distinction. One side of the distinction is marked, and the other one is unmarked. Crossing a boundary implies that an opposite state is reached.
[[Bestand:LoF 01.jpg|gecentreerd|kaderloos|1056x1056px]]
[[Bestand:LoF 02.jpg|gecentreerd|kaderloos|1056x1056px]]
[[Bestand:LoF 03.jpg|gecentreerd|kaderloos|1056x1056px]]
-->
Spencer-Brown starts the first chapter of LoF with the following statement.<blockquote>We take as given the idea of distinction and the idea of indication, and that one cannot make an indication without drawing a distinction. We take, therefore, the form of distinction for the form.</blockquote>This is a rather mysterious, circular definition which will become more clear after the ideas behind LoF have been gradually exposed. Spencer-Brown then goes on by giving a definition of distinction.<blockquote>Definition: distinction is perfect continence.</blockquote>A distinction is made by drawing a boundary that severs a space in two sides. It is not possible to go from one side of the boundary to the other one without crossing the boundary. The first boundary that is drawn is called the first distinction. One side of the distinction is marked, and the other one is unmarked. Crossing a boundary implies that an opposite state is reached.


Elaborating on the definition “Distinction is perfect continence.”, a two-valued (marked and unmarked) mathematical system is developed based on two axioms (i.e., they are laws that are taken for granted and cannot be proofed as a logical consequence of some premises).
Elaborating on the definition “Distinction is perfect continence.”, a two-valued (marked and unmarked) mathematical system is developed based on two axioms (i.e., they are laws that are taken for granted and cannot be proofed as a logical consequence of some premises).


[[Bestand:Two Laws Circle.png|gecentreerd|kaderloos|360x360px]]
[[Bestand:Two Laws Circle.png|gecentreerd|kaderloos|263x263px]]


The law calling is defined as: the value of a call made again is the value of the call. The law of calling can be justified by stating that it does not matter if a name of someone or something is called many times. It all amounts to call just once.
The law calling is defined as: the value of a call made again is the value of the call. The law of calling can be justified by stating that it does not matter if a name of someone or something is called many times. It all amounts to call just once.
Regel 25: Regel 20:
The mark of distinction is both an operator (an injunction to cross) - and an operand (an indication having a value). The laws of calling and crossing can be expressed with the mark of distinction as follows.
The mark of distinction is both an operator (an injunction to cross) - and an operand (an indication having a value). The laws of calling and crossing can be expressed with the mark of distinction as follows.


[[Bestand:Two Laws Mark.png|gecentreerd|kaderloos]]
[[Bestand:Two Laws Mark.png|gecentreerd|kaderloos|285x285px]]
<!--
<!--
:<math>
:<math>
Regel 37: Regel 32:


An impression of how Boolean logic can be interpreted in the calculus of indications is given here in order to make the idea of self-reference, which is the subject matter of the next section, more accessible.
An impression of how Boolean logic can be interpreted in the calculus of indications is given here in order to make the idea of self-reference, which is the subject matter of the next section, more accessible.
 
[[Bestand:True and False.png|gecentreerd|kaderloos|477x477px|True and False.]]
<!--
:<math>
:<math>
\begin{array}{cccl}
\begin{array}{cccl}
\overline{\;\;|} & \stackrel{def}{=} & True  & \mbox{corresponding with the marked state} \\
\overline{\;\;|} & \stackrel{def}{=} & True  & \mbox{corresponding with the marked state} \\
 
            & \stackrel{def}{=} & False & \mbox{corresponding with the unmarked state}
 
              & \stackrel{def}{=} & False & \mbox{corresponding with the unmarked state}
\end{array}
\end{array}
</math>
</math>
 
--->
The common Boolean operators not, and, or, and implies are shown In the truth-table below.
The common Boolean operators not, and, or, and implies are shown in the truth-table below.
[[Bestand:Truth-Table.png|gecentreerd|kaderloos|814x814px]]
[[Bestand:Truth-Table.png|gecentreerd|kaderloos|814x814px]]
<!--
<!--
Regel 88: Regel 82:
|}
|}
-->
-->
For instance, the and (ꓥ) operator is defined as if A and B are both true, then the result of the operation A ꓥ B is true, in all other cases, the result is false. The Boolean expression A → B requires some explanation because it plays an important role in describing system behavior. The expression A → B stands for implication. It should be read as: if A then B. The LoF equivalent A|B makes the implication visible and almost tangible. In a rather informal way, it can be said that A has an effect on B when A crosses the mark of distinction.
{{LC Book config}}
{{LC Book config}}
{{Light Context
{{Light Context

Huidige versie van 5 jul 2023 om 17:08

Spencer-Brown starts the first chapter of LoF with the following statement.

We take as given the idea of distinction and the idea of indication, and that one cannot make an indication without drawing a distinction. We take, therefore, the form of distinction for the form.

This is a rather mysterious, circular definition which will become clearer after the ideas behind LoF have been gradually exposed. Spencer-Brown then goes on by giving a definition of distinction.

Definition: distinction is perfect continence.

A distinction is made by drawing a boundary that severs a space in two sides. It is not possible to go from one side of the boundary to the other one without crossing the boundary. The first boundary that is drawn is called the first distinction. One side of the distinction is marked, and the other one is unmarked. Crossing a boundary implies that an opposite state is reached.

Elaborating on the definition “Distinction is perfect continence.”, a two-valued (marked and unmarked) mathematical system is developed based on two axioms (i.e., they are laws that are taken for granted and cannot be proofed as a logical consequence of some premises).

Two Laws Circle.png

The law calling is defined as: the value of a call made again is the value of the call. The law of calling can be justified by stating that it does not matter if a name of someone or something is called many times. It all amounts to call just once.

The law of crossing is defined as: the value of a crossing made again is not the value of the crossing. Suppose you are blindfolded and positioned somewhere randomly in the form in a state that is either marked or unmarked. Let’s assume it is the marked state, but it could as well have been the unmarked state. Now cross a boundary, which will bring you from the marked state to the unmarked state. Now again, cross a boundary. This will bring you back to the original marked state. It does not matter if in the second turn the same boundary is crossed or a not. Crossing a boundary twice cancels the two crossings since the same state is reached. You, as a blindfolded person, cannot tell which boundaries have been crossed. Therefore, for any boundary, to re-cross is not to cross.

Instead of using a circle as a symbol of distinction, the mark of distinction is used, which captures the notion of distinction and indication in one symbol. The vertical bar of the symbol stands for the boundary. The horizontal bar represents the marked or indicational space of a severance. As we will see, the notion of an indicational space is essential for understanding self-referential forms that will be discussed later on.

Mark of Distinction.png

The mark of distinction indicates several things at once:

  • the outside (emptiness, void, nothing, the unmarked state);
  • the inside (something, the marked state);
  • the distinction as a sign (indication);
  • the distinction as an operation of making a distinction;
  • the observer, the one that makes the distinction.

The mark of distinction is both an operator (an injunction to cross) - and an operand (an indication having a value). The laws of calling and crossing can be expressed with the mark of distinction as follows.

Two Laws Mark.png

With these two laws, a two-valued mathematical system is elaborated that consists of an arithmetic (called the primary arithmetic) and an algebra (called the primary algebra). These two together form the calculus of indications. The calculus can be used to interpret Boolean algebra. Because of this possibility, some critics have dismissed LoF as just another form of Boolean algebra albeit one with a concise notation. This criticism misses the mark (no pun intended). LoF should be regarded as a protologic, a formalism concerned with or relating to origins or beginnings (see: space is the place (Michael Schultz, 1 januari 2009)).

An impression of how Boolean logic can be interpreted in the calculus of indications is given here in order to make the idea of self-reference, which is the subject matter of the next section, more accessible.

True and False.

The common Boolean operators not, and, or, and implies are shown in the truth-table below.

Truth-Table.png

For instance, the and (ꓥ) operator is defined as if A and B are both true, then the result of the operation A ꓥ B is true, in all other cases, the result is false. The Boolean expression A → B requires some explanation because it plays an important role in describing system behavior. The expression A → B stands for implication. It should be read as: if A then B. The LoF equivalent A|B makes the implication visible and almost tangible. In a rather informal way, it can be said that A has an effect on B when A crosses the mark of distinction.























Referenties