conceptual

De hecho, cuando calculamos – incluyendo cuando hacemos derivaciones formales en lógica – lo que transformamos son inscripciones de símbolos. Comúnmente, esto significa añadir (y, algunas veces, eliminar) elementos a la representación. Las instrucciones del cálculo nos dicen cómo, a partir de lo que está inscrito – es decir, a partir de los elementos claramente identificables en la representación y su locación dentro de ellos – podemos añadir nuevos elementos y nos dice también dónde podemos ponerlos.   Dependiendo de lo que sea una inscripción es lo que podríamos hacer para transformarla. Si nuestra concepción de inscripción es simplemente una distribución de manchas en papel, nuestra concepción de lo que es transformar una inscripción estará constreñida por ésta. Por eso, argumenta Sorensen, en principio, transformar una inscripción significa poder cambiar cualquiera de sus características, siempre y cuando este cambio sea útil dentro del cálculo. Como ejemplo, pone la or