1

George Spencer Brown

Laws of Form
E.P. Dutton. New York. 1979
Traduccion del ingles de Aldo Mascareo

Prefacio a la edicin de 1979

Una decada ha pasado desde que Leves de la Forma Iue publicado por primera vez el 17 de
abril de 1969. Su continuado exito iustiIica esta nueva edicion.

Espero que los lectores me perdonen por reiterar que este es un texto de matematicas. no de
logica o IilosoIia. aunque la logica y la IilosoIia pueden beneIiciarse de su aplicacion.

Hasta hoy ha sido cierto que la logica no ha sido una disciplina Iundamental. Con la
gramatica y la retorica Iorman lo que ha sido conocido como el trivium. considerado
inIerior a la aritmetica. la que iunto a la geometria. la astronomia y la musica constituyen el
grupo llamado quadrivium.

En este texto consideramos una aritmetica cuya geometria no tiene medida numerica. y por
sorprendente que parezca. las proposiciones de la logica tanto como sus aplicaciones. son
derivables del calculo construido de esta manera.

Prefacio a la edicin americana

La posicion de este texto es simplemente esta. En el algebra comun. los valores compleios
son aceptados como una materia obvia. y las tecnicas mas avanzadas serian imposibles sin
ellos. En el algebra booleana esto es negado. Whitehead y Russell introduieron una regla
especial. que llamaron teoria de los tipos. para rechazar paradoias. La Teoria era. decia
Russell. la cosa mas arbitraria que el y Whitehead habian hecho iamas. Puesto de manera
simple. la cuestion es como sigue: ha sido demostrado que las paradoias autorreIerenciales
2
descartadas por la Teoria de los Tipos no son similares a las paradoias autorreIerenciales
aceptadas en la teoria de ecuaciones ordinarias.

La mas Iamosa de esas paradoias en logica es el postulado este postulado es falso.
Supongamos que esta proposicion pueda estar contenida en tres categorias. verdadero. Ialso
o sin sentido. y que una proposicion provista de sentido que no es verdadera. debe ser Ialsa.
y aquella que no es Ialsa debe ser verdadera. El postulado baio consideracion (este
postulado es falso) no aparece carente de sentido (como algunos IilosoIos lo han
propuesto). debe ser verdadero o Ialso. Si es verdadero. de acuerdo a lo que dice. debe ser
Ialso; si es Ialso. puesto que esto es lo que seala. debe ser verdadero.

Asumamos que un numero puede ser negativo. positivo o cero. Consideremos que un
numero que no es cero y que no es positivo debe ser negativo y uno que no es negativo
debe ser positivo. Consideremos la siguiente ecuacion:

x
2
1 0

De este modo. tenemos

x
2
- 1

y dividiendo por x. tenemos

x -1 / x


Podemos ver que esto (como el postulado logico analogo) es autorreIerente: el valor-raiz de
x que se busca debe ser reintroducido en la expresion desde la que lo buscamos.

Una simple inspeccion nos muestra que x debe ser una Iorma de unidad. o la ecuacion no se
balancearia numericamente. Hemos asumido solo dos Iormas de unidad. 1 y 1. Si x 1.
esto da

3
1 -1/-1 1

lo que es igualmente paradoiico.

Por supuesto. como todos saben. la paradoia en este caso es resuelta por la introduccion de
una cuarta clase de numeros. llamados imaginarios. asi podemos decir que las raices de la
ecuacion presentada son

- i. donde i es un nuevo tipo de unidad que consiste en una raiz
cuadrada de menos uno.

Lo que hacemos en el capitulo 11 es extender este concepto al algebra booleana. lo que
signiIica que un argumento valido puede contener no solo tres clases de estado. sino
tambien un cuarto: verdadero. Ialso. sin sentido e imaginario. Las implicancias de esto. en
los campos de la logica. IilosoIia. matematicas y aun la Iisica. son proIundas.

1 La Forma (1-2)

Damos por sentadas las ideas de distincion e indicacion. y que no podemos hacer una
indicacion sin trazar una distincion. Tomamos. por ende. la Iorma de la distincion como la
Iorma.

DeIinicion

La distincion es continencia perfecta


Es decir. una distincion es hecha por la construccion de un limite que separa lados. de
manera que un lado no pueda alcanzar al otro sin cruzar el limite. Por eiemplo. en un
espacio plano el circulo traza una distincion.

Una vez que la distincion es trazada. los espacios. estados o contenidos a cada lados de los
limites son distintos y pueden ser indicados.

4
No hay distincion sin motivo y no hay motivo a menos que los contenidos a cada lado de
los limites diIieran en valor.

Si el contenido es de valor. se puede tomar un nombre para indicar ese valor.

De este modo. la invocacion de un nombre puede ser identiIicado con el valor del
contenido.

Axioma 1. La ley de la llamada.

El valor de la invocacion hecha mas de una vez es el valor de la invocacion.

Es decir. si un nombre es invocado y luego es invocado nuevamente. el valor indicado para
ambas llamadas es el valor indicado por una de ellas.

Es decir. para cualquier nombre. re-invocar es invocar.

Igualmente. si el contenido es de valor. un motivo. intencion o instruccion de cruzar los
limites puede ser tomado para indicar ese valor.

De este modo. tambien. cruzar el limite puede ser identiIicado con el valor del contenido.

Axioma 2. La ley del cruce.

El valor de un cruce hecho por segunda vez no es el valor del cruce

Si se intenta cruzar el limite y luego se cruza nuevamente. el valor indicado por las dos
intenciones es un valor no indicado por ninguna de ellas.

Es decir. para cualquier limite. cruzar nuevamente. no es cruzar.

5


2 Formas que se extraen de la Forma (3-7)

Construccin

Trace una distincion

Contenido

Llamela la primera distincion
Llame al espacio en el cual es trazada. el espacio separado o dividido por la distincion.
Llame a las partes del espacio Iormado por la division. los espacios. estados o contenidos
distinguidos por la distincion.

Intento

Deie una marca. seal o signo que siempre sea tomado respecto de la distincion como una
indicacion.

Llame al uso de esta seal un intento.

Primera regla. Convencin de intencin.

Admita que la seal esta limitada a su uso permitido.
Llame a esto la convencion de intencion. En general. lo que no es admitido!prohibido

Conocimiento

Deie que un estado distinguido por la distincion sea marcado por una marca de distincion.
Deie que tal estado sea conocido por la marca.
6
Llame a ese estado el estado marcado.

Forma

Llame al espacio dividido por cualquier distincion. iunto con el contexto entero del espacio.
la Iorma de la distincion.

Llame a la Iorma de esta primera distincion la Iorma.


Nombre

Sea una Iorma distinta de la Iorma.
Permita que la marca de distincion sea copiada Iuera de la Iorma. dentro de otra Iorma.
Llame a cualquier copia de la marca. una division de la marca.
Permita que cualquier division de la marca sea llamada con el nombre de un estado
marcado.
Deie que el nombre indique el estado.

Arreglo

Llame a la Iorma de un coniunto de divisiones consideradas una respecto de otra (es decir.
considerada en la misma Iorma). un arreglo.

Expresin

Llame a cualquier arreglo eIectuado como indicador. una expresion.

Valor

Llame al estado indicado por una expresion. el valor de la expresion.
7


Equivalencia

Llame a las expresiones del mismo valor. equivalentes.
Permita que un signo

de equivalencia sea escrito entre expresiones equivalentes.

Ahora. por el axioma 1.

Llame a esto la Iorma de la condensacion.

Instruccin

Llame al estado no marcado con la marca. el estado no marcado.

Permita que cada marca una el espacio en el cual es copiada. Es decir. permita que cada
marca sea una distincion de si misma.

Llame al lugar concavo de la marca. su interior.

Permita que cualquier marca sea una instruccion para cruzar el limite de la primera
distincion.

Permita que el cruce sea desde el estado indicado hacia el interior de la marca.

Permita que el cruce sea hacia el estado indicado por la marca.

Permita que el espacio sin marca sea indicado como el espacio no marcado.

8


Ahora. por el axioma 2.



Llame a esto la Iorma de la cancelacion.

Ecuacin

Llame a una indicacion de expresiones equivalentes. una ecuacion.

Ecuacin primitiva

Llame a la Iorma de condensacion una ecuacion primitiva.
Llame a la Iorma de cancelacion una ecuacion primitiva.
Permita que no exista ninguna otra ecuacion primitiva.

Expresin simple

Note que hay tres Iormas de arreglo. . .

y tambien la ausencia de Iorma
tomadas de las ecuaciones primitivas. son todas. por convencion. expresiones.
Llame a cualquier expresion consistente de una marca vacia. simple.

Llame a cualquier expresion consistente de un espacio vacio. simple.

Permita que no existe otra expresion simple.

Operacin

Ahora vemos que si un estado puede ser indicado usando una marca como nombre. puede
ser indicada usando la marca como una instruccion suieta a convencion. Cualquier marca
9
puede ser tomada. por lo tanto. como instruccion para la operacion de una intencion. y
puede darse a si misma un nombre

Cruce

Para indicar lo que la intencion indica.

Relacin

Habiendo decidido que la Iorma de cada marca llamada cruce es un continente perIecto.
hemos permitido solo un tipo de relacion entre cruces: la continencia.

Permita que el intento de esta relacion sea restringida. de modo que se pueda sealar que un
cruce contiene lo que esta en su interior y no contiene lo que no esta en su interior.

Profundidad

En un arreglo a puesto en un espacio s. llame al numero n de cruces que deben ser hechos
para alcanzar un espacio s
n
desde s. la proIundidad de s
n
con respecto a s.

Llame al espacio alcanzado por el mas alto numero de entradas desde s. el espacio mas
proIundo en a.

Llame al espacio alcanzado por ninguna entrada desde s. el espacio menos proIundo de a.

De este modo.

s
0
s

Permita que cualquier cruce situado en cualquier espacio c sea designado como contenido
en c.
10

Permita que un cruce situado en el espacio menos proIundo en c sea designado como baio.
o cubierto por c.

Cruce no escrito

Suponga que cualquier
!
esta rodeado de un cruce no escrito.

Llame a los cruces situados baio cualquier cruce escritos o no escritos. los cruces
ocupados por el espacio menos proIundo en

Espacio ocupado

Permita que cualquier espacio

sea designado como ocupando cualquier arreglo en el cual

es el espacio menos proIundo.

Llame al espacio ocupante de un arreglo sea o no el unico arreglo que ocupa el
espacio que ocupa todas las partes de

12 Reintroduccin dentro de la Forma (69-76)

La concepcion de la Iorma descansa en el deseo de distinguir.

Garantizado ese deseo. no podemos escapar a la Iorma. aunque podemos verlo de la manera
que nos plazca.
El calculo de indicaciones es una manera de ver la Iorma.

Podemos ver que el calculo de la Iorma y la Iorma del calculo estan libres de la
intervencion de leyes. iniciales. teoremas o consecuencias.

Los experimentos mas adelante muestran una de las indeIinidas posibilidades de hacer esto.
11

Podemos notar que en esos experimentos el signo



puede ser consignado con las palabras

es confundido con

Tambien podemos notar que los lados de cada distincion experimentalmente trazados.
tienen dos tipos de reIerencia.

La primera. o explicita. es que el valor de un lado se realiza de acuerdo a como es marcado.

La segunda. o implicita. es para un observador externo. Es decir. el lado de aIuera. es el
lado desde el cual se supone que sera vista la distincion.

Primer experimento

En un espacio plano. dibuie un circulo






Permita que una marca indique el lado externo de la circunIerencia


M m

12


Permita que no exista marca al interior de la circunIerencia.


m



Permita que la marca sea un circulo.

m



Reingrese la marca dentro de la Iorma del circulo








Ahora el circulo y la marca no pueden (respecto de sus propiedades relevantes) ser
distinguidas. y asi








13

Segundo experimento

En un espacio plano. dibuie un circulo





Permita que una marca indique el interior de la circunIerencia


M


Permita que no exista marca que indique el exterior de la circunIerencia.







Permita que el valor de la marca sea el valor del espacio en el que se encuentra. Es decir.
permita que el valor de la marca sea el espacio Iuera de la marca.

Ahora el espacio externo a la circunIerencia no esta marcado.

Por lo tanto. por valoracion.






m

m

m
14


Permita que la marca sea un circulo




m




Reintroduzca la marca dentro de la Iorma del circulo.








Ahora. por valoracion.







Tercer experimento.

En un espacio plano. dibuie un circulo.












15
Permita que una marca indique el exterior de la circunIerencia


m



Permita que una marca similar indique el interior de la circunIerencia.



m


Ahora. puesto que la marca indica ambos lados de la circunIerencia. ellas no pueden.
respecto del valor. ser distinguidas.

Nuevamente. permita que la marca sea un circulo.



m


Reintroduzca la marca dentro de la Iorma del circulo.







Ahora. debido a las marcas identicas. el circulo original no puede distinguir diIerentes
valores.

m


16

Por lo tanto. no es. a este respecto. una distincion.

Por ello. puede ser borrada sin perder o ganar el espacio en el cual se han hecho.










Pero encontramos en el primer experimento que








Por lo tanto.









y esto no es inconsistente con los hallazgos del segundo experimento. esto es




puesto que hemos hecho aqui en dos pasos lo que antes hicimos en uno.

Cuarto experimento

En un espacio plano. dibuie un circulo.







17







Permita que el exterior de la circunIerencia no este marcado.









Permita que el interior de la circunIerencia no este marcado.











Pero vimos en el primer experimento que






y que por lo tanto. invirtiendo el procedimiento.


m


18



El valor de una circunIerencia para el espacio externo debe ser. por lo tanto el valor de la
marca. puesto que la marca ahora distingue este espacio.

Un observador en tanto distingue el espacio que ocupa. es tambien una marca.

En los experimentos hechos. imagine que los circulos son Iormas y sus circunIerencias son
distinciones que perIilan espacios de esas Iormas.

En esta concepcion una distincion trazada en cualquier espacio. es una marca que distingue
el espacio. Igual e inversamente. cualquier marca en un espacio traza una distincion.

Vemos ahora que la primera distincion. la marca y el observador. no son solo
intercambiables. sino. en la Iorma. identicos.

Notas (77-106)

Captulo 1.

Aunque dice algo mas. todo lo que los lectores necesitan saber de este capitulo son las
deIiniciones de la distincion como una Iorma de clausura. mas los dos axiomas sobre los
que esta descansa.

Captulo 2

Puede ser util a este nivel sealar que la Iorma primaria de la comunicacion matematica no
es la descripcion. sino la orden (o mandato. iniuction). La musica es una Iorma de arte
similar. donde el compositor no intenta describir el coniunto de sonidos que el tiene en
mente. mucho menos los sentimientos que le ocasionan. sino que escribe un coniunto de
19
comandos. los cuales. si son obedecidos por el lector. pueden resultar en una reproduccion.
para el lector. de la experiencia original del compositor.

Aun la ciencia natural parece ser mas dependiente de las ordenes de lo que usualmente
estamos preparados a admitir. La iniciacion proIesional del hombre de ciencia consiste no
tanto en leer los textos apropiados. sino en obedecer mandatos tales como mire a traves del
microscopio. Sin embargo. no esta Iuera del hombre de ciencia. habiendo mirado en el
microscopio. describir a otros y discutir con ellos. acerca de lo que vio. y escribir articulos
y libros de texto al respecto. Del mismo modo. no esta Iuera del campo de las matematicas.
habiendo obedecido un coniunto dado de instrucciones. describir a otros y discutir con ellos
acerca de lo que vio. y escribir articulos y libros al respecto. Pero en cada caso la
descripcion depende del coniunto de instrucciones que hayan sido obedecidas.

Cuando intentamos tocar alguna pieza de musica compuesta por otra persona. lo hacemos
ilustrandonos a nosotros mismos. con algun instrumento musical. las instrucciones del
compositor. Asi. si tocamos una pieza de matematicas. debemos encontrar una Iorma de
ilustrarnos las instrucciones de los matematicos. La manera normal de hacer esto es a traves
de algun tipo de marcador y una marca en alguna superIicie marcable. por eiemplo un dedo
en la arena. o un lapiz y un pedazo de papel.

Podemos distinguir en un orden esencial. instrucciones (commands). que invocan la
existencia de algo; las cosas que son. y que son usualmente construidas en Iormas
permisivas tales como

Permita que sea asi o asa

u ocasionalmente en Iormas mas activas como

haga una perpendicular,

20
nombres dados para ser usados como puntos de reIerencia en relacion con la operacion de
instrucciones. diseadas para llevar a eIecto lo que ha sido ordenado o invocado. La
institucion o ceremonia del nombramiento es usualmente llevada a cabo en la Iorma de

llamelo asi o asa

y este nombramiento es atribuido en ambas direcciones. tal como el signo . de modo tal
que al llamarlo asi o asa tambien podemos llamarlo asa o asi. Los nombramientos
pueden ser considerados sin direccion o. alternativamente. pandireccionales. En cambio.
una instruccion es direccional. y demanda una traslacion desde el estado con su propio
nombre a otra condicion diIerente. con otro nombre. tal que el nombre del primero no sea
llamado como el nombre del ultimo.

Las instrucciones que tendran eIecto en el sentido descrito. deben ser distinguidas de las
instrucciones de calculo. designadas por constantes y operadores de calculo. las cuales
nombran algo de determinada manera de modo que esto pueda ser reIerido sin redeIinicion.

Esta construccion doble nombre-con-instruccion e instruccion-con-nombre es usualmente
entendida como una estructura en la cual las ideas o signiIicado (...) se condensan en un
simbolo. Esta condensacion es la que le otorga su poder.

Captulo 12

Imaginemos que en vez de escribir en una superIicie plana. escribimos en la superIicie de la
tierra. Suponga que escribimos

B
b c
21


Nuestra escritura tendra que ser grande para ser legible desde otro planeta. Suponga que
dibuiamos el circulo exterior cerca del Ecuador. y los que contienen b y c mas cerca de las
costas de Australia y de las Islas del sur de Nueva Zelanda. respectivamente.

Asi es como aparecera la expresion en el hemisIerio norte. digamos Londres. Pero
viaiemos.

Arribando a Ciudad de Cabo. veremos





Navegando hacia Melbourne. veremos










Y viaiando desde ahi a Christchurch. veremos












b c a



a c



b a
22
Estas cuatro expresiones son distintas y no equivalentes. De este modo. es evidente que no
es suIiciente solamente escribir una expresion y esperar que sea entendida. Debemos
tambien indicar el lugar desde donde se supone que se situara el observador en relacion a la
expresion. Escribiendolo en un plano no aparece ambigedad. porque tendemos a ver la
expresion desde el exterior de la construccion mas amplia. Cuando se escribe en la
superIicie de una esIera. no hay manera de decir cual de las construcciones es la exterior.
En tal caso. para construir una expresion signiIicativa. debemos sumar al indicador el lugar
desde el cual el observador esta invitado a observar.

Consideremos por un momento el mundo tal como lo describe un Iisico. Consiste en un
numero de particulas Iundamentales. las cuales si son lanzadas a traves de su propio
espacio. aparecen como ondas. y de este modo las consideramos viaiando por el espacio a
una velocidad estandar. Todo ello aparece enmarcado en ciertas leyes naturales que indican
la Iorma de sus relaciones.

Ahora el Iisico. que describe estas relaciones. esta construido por ellas. En pocas palabras.
esta hecho de la articulacion de las particulas que describe; ni mas ni menos. y obedece a
aquellas leyes que el ha estudiado hasta encontrarlas y registrarlas.

De este modo. no podemos escapar al hecho de que el mundo que conocemos esta
construido en orden y de una manera que le permite verse a si mismo. Esto es
verdaderamente sorprendente. No tanto en relacion a lo que se ve. aunque ello es
suIicientemente Iantastico. sino respecto del hecho que todo puede verse.