Lógica proposicional, matemática o simbólica
La lógica proposicional es la rama de la lógica que estudia las variables proposicionales, las conectivas lógicas Algunos autores también la identifican con la lógica matematica o la lógica simbólica, ya que utiliza una serie de símbolos especiales que la acercan al lenguaje matemático.
Lógica formal y lógica informal
La lógica formal es aquella cuyo objeto de estudio son las inferencias de forma técnica mediante la utilización de sistemas deductivos y lenguajes y semánticas formales. La lógica informal, por su parte, estudia sistemas de razonamiento y argumentación naturales a través del lenguaje y el pensamiento cotidiano.
CRATILO DE PLATON
Sócrates, los diálogos de Platón
La dialéctica es la característica del texto. Inicia con la invitación que Hermógenes le hace a Sócrates a participar en el diálogo que él sostenía con Cratilo acerca de la propiedad de los nombres de las cosas. Cratilo afirmaba que el nombre es significante por naturaleza y Hermógenes decía que por convención.
Es en este momento donde aparece Cratilo al ser invitado por Hermógenes para discutir a cerca de las conclusiones que lograron obtener con Sócrates. Sócrates hace obvia su admiración por la investigación que Cratilo y sus discípulos han hecho acerca de la propiedad de los nombres. Continuando con la discusión, Sócrates y Cratilo hablaron sobre la propiedad de los nombres. Ellos llegan al punto del nombre dado por la imitación de la imagen y deducen que el lenguaje primitivo tuvo que surgir por algún tipo de imitación del objeto a mencionar, Platón, discípulo de Sócrates, es el autor de Cratilo o del lenguaje, en su obra maneja dos visiones del concepto de la propiedad de los nombres de las cosas, estos dos conceptos son puestos en escena por Cratilo y Hermógenes. Sócrates cumple la función de guiar el diálogo y en sus manos esta la misión de convenir acuerdos de las diferentes opiniones allí expuestas
Platón utiliza la dialéctica como oposición al método empleado por los sofistas que era la retórica, pues está trata de argumentar a través de falsas verdades, la retórica persuade, no admite acuerdos con el otro, lo seduce con espejismos.
