- EL LENGUAJE LGICO - MATEMTICO La lgica matemtica debe permitir al nio construir su pensamiento y alcanzar las capacidades necesarias para:

Comprender mejor su entorno. Intervenir en el cada vez de una forma mas adecuada.

El educador creara conflictos cognitivos para que el nio, a traves de su superacion, avance en el desarrollo del pensamiento. La matemtica tiene 3 grandes fases:

afica dibujar el objeto y sus propiedades (ej.pelota roja grande)

2.4.2. Lenguajes lgicos Bajo la denominacin genrica de lgica formal hay distintos tipos de lgica adecuados para representar distintos tipos de conceptuaciones y para razonar sobre ellas. En los Captulos siguientes describiremos con detalle algunas. Aqu haremos algunas consideraciones generales vlidas para todas ellas. Sintaxis Como en todo lenguaje, la sintaxis de un lenguaje lgico es un sistema de smbolos que consta de un alfabeto de smbolos bsicos (simbolos terminales se les llama en la teora de lenguajes) y unas reglas que permiten construir a partir de ellos estructuras simblicas, cadenas de smbolos que si obedecen a las reglas se llaman sentencias (o wff, well formed formula, cadenas bien formadas). Estas reglas definen la gramtica generativa (a la que llamaremos, simplemente, gramtica) del lenguaje. La gramtica se expresa formalmente mediante un metalenguaje. El lector debe conocer un metalenguaje llamado notacin BNF (Backus Naur Form, o Backus Normal Form), porque es el que se utiliza para definir la sintaxis de los lenguajes de programacin. Un sistema axiomtico est formado por un conjunto finito de axiomas, sentencias que se admiten como siempre verdaderas, sea cual sea la interpretacin, y unas reglas de transformacin que permiten demostrar sentencias a partir de los axiomas. Estas sentencias demostrables, cuyo nmero es infinito, se llaman teoremas. Una ley es un axioma o un teorema. A este estudio estrictamente sintctico de una lgica se le llama clculo: clculo de proposiciones, clculo de predicados, etc. Un clculo es la estructura formal de un lenguaje, abstrayendo el

significado; se convierte en un lenguaje cuando se interpretan sus smbolos y sus sentencias, o sea, se les atribuye un significado, se les pone en relacin con los elementos de una conceptuacin. Semntica La semntica se ocupa del significado, es decir, de la interpretacin declarativa (Figura 1.5) que pone en relacin a los elementos sintcticos del lenguaje con los elementos de la conceptuacin que se pretende representar con ese lenguaje. La interpretacin se formaliza como una funcin que asigna a los smbolos del lenguaje elementos de la conceptuacin (objetos o individuos del universo del discurso, o relaciones entre ellos). Adems de la funcin de interpretacin, otro concepto semntico bsico es el de verdad o falsedad de una sentencia, que depende de la verdad o falsedad de sus componentes. Por ejemplo, la sentencia semiformalizada o bien x es A o bien y es B (formalizada sera (A(x) B(y) ) es verdadera si x es A es verdadero, o bien y es B es verdadero, o ambos los son. Pero la verdad o falsedad de esos componentes depende de la interpretacin, es decir de lo que representen. Supongamos que el universo del discurso de nuestra conceptuacin es un conjunto de personas entre las cuales estn dos hombres llamados Juan y Luis; si x representa a Juan, y a Luis, A a hombre y B a mujer, la sentencia debe evaluarse como verdadera (el primero de sus componentes lo es, aunque el segundo no lo sea). Hay dos casos de evaluacin como verdadera o falsa de una sentencia que son particularmente interesantes:

Cuando la sentencia es forzosamente verdadera, independientemente de la interpretacin. Asi la sentencia sea quien sea x, o bien x es A o bien x no es A (formalizada: ( x)(A(x) A(x)) ) en una lgica que slo admita verdad o falsedad (lgica binaria) debe ser siempre verdadera, sea cual sea la interpretacin de x y de A (es el famoso principio del tercio excluso ). En cualquier sistema axiomtico de una lgica binaria estas sentencias deben coincidir con las leyes (axiomas o teoremas) del sistema axiomtico. Las llamaremos, para distinguirlas del caso que veremos ahora, axiomas lgicos. Cuando la sentencia se sabe que siempre es verdadera en una determinada conceptuacin. Por ejemplo, la sentencia sea quien sea x, o bien es A o bien x es B obviamente no es un axioma lgico. Pero en la conceptuacin de las personas, si A representa hombre y B mujer , la sentencia (dejando de lado chistes fciles) es verdadera. Estas sentencias se llaman axiomas del dominio o axiomas propios y representan conocimiento normativo (Apartado 1.3) del dominio.

Pragmtica Hay algunos aspectos sobre el uso de las lgicas como lenguajes de representacin que tienen que ver con la interpretacin declarativa (es decir, con la semntica, la relacin entre el nivel de

conocimiento y el nivel simblico, Figura 1.5) y otros que se refieren a la interpretacin procedimental (es decir, al nivel simblico exclusivamente). La Figura 2.6 hace ms explcita la relacin entre ambos niveles cuando el lenguaje de representacin es un lenguaje basado en la lgica.

Figura 2.6: Representacin en lgica de las conceptuaciones

Desde el punto de vista de la interpretacin declarativa hay que considerar:

El poder expresivo del lenguaje lgico, es decir, su capacidad para representar la conceptuacin sin perder contenido semntico. La consistencia (o correccin) del proceso de inferencia. En una lgica deductiva y binaria esto significa que no se obtienen conclusiones falsas. La complecin del proceso de inferencia: que se obtienen todas las conclusiones correctas.

Y en cuanto a la interpretacin procedimental:

La complejidad asinttica de los algoritmos: salvo en casos muy particulares, los algoritmos que implementan procesos deductivos tienen una complejidad exponencial o peor. La eficiencia de los algoritmos: la complejidad asinttica es para el caso peor; se han diseado numerosos algoritmos para distintos tipos de lgicas que son muy eficientes en la mayora de los casos (algunos de ellos, sacrificando la propiedad de complecin).