Lógica formal

Una lógica formal es un sistema de inferencia, como metodología que establece proposiciones argumentalmente válidas a partir de otras proposiciones, basado en un lenguaje formal o conjunto de símbolos o tokens con significado concreto o abstracto que se combinan entre sí a través de una reglas gramaticales exactas, de forma que se puede establecer de forma sistemática lo que se puede decir o no con validez en ese lenguaje. De esta forma, la lógica formal se opone a la lógica natural basada en el lenguaje natural u ordinario que utilizamos, que posee unas reglas a veces ambiguas, aunque de esta forma se conforma como una lógica mucho más rica y profunda que la lógica formal en relación a los significados que puede construir.

Artículos relacionados

Alienación económica

Alienación económica (del latín alienus, "extraño") es un concepto desarrollado por el filósofo Karl Marx, según el cual el producto que produce el trabajador en el capitalismo adquiere un carácter propio a modo de mercancía, que queda en manos del capitalista; de este modo, el producto queda extrañado o excluido de la persona del trabajador, a diferencia de las formas de producción en las que el hombre tenía una relación directa con la naturaleza y sus condiciones de vida, en las que sólo produce de acuerdo a sus necesidades, siendo dueño del producto económico como sujeto autónomo.

La alienación económica descansa en el fondo en las relaciones de producción entre trabajadores y capitalistas. Siendo el capitalista propietario de los medios de producción, compra al obrero su fuerza de trabajo, la fuerza de trabajo se convierte en objeto, y por tanto también objeto es su producto. Esta extrañeza se ve reforzada por la división misma del trabajo, en que el obrero no puede considerar el producto terminado como producto de su trabajo, ya que ha participado únicamente en una de la fases de la producción. El trabajo y su producto le son totalmente extraños y ajenos de este modo, por dos razones, de una parte por naturaleza, puesto que el producto no lo realiza para cubrir sus necesidades, y de otra parte por propiedad, ya que su trabajo y el producto resultante han sido comprados por el capitalista. 

 

Continuum

Un continuum es un medio, entorno o conjunto con propiedades homogéneas de forma que no se distinguen en él puntos o elementos separados entre los que moverse, sino que cualquier movimiento o cambio se percibe únicamente en términos de distancias tan pequeñas como se desee. 

Episteme

En la Grecia antigua, episteme fue el término utilizado para designar el conocimiento teórico, en contraposición a techné, que fue utilizada para expresar la la práctica o habilidad para realizar algo. En el siglo XX, el filósofo Michel Foucault asimiló el término y lo utilizó para designar el pensamiento y el discurso con el que se ha distinguido en la historia a través de relaciones de poder la verdad de lo falso para conformar el conocimiento, a semejanza de la noción de paradigma de Thomas Kuhn.

Del término episteme se deriva la epistemología, rama de la filosofía que estudia las formas del saber y conocer.

Objeto material y formal de la fisiología

El objeto material de la fisiología es el cuerpo humano. El objeto formal, por otra parte, es el funcionamiento fisicoquímico del cuerpo humano, en sus diferentes niveles, desde el nivel celular hasta el nivel de los órganos. Por ejemplo, uno de los objetos materiales de la fisiología es el cerebro, y el objeto formal correspondería al funcionamiento de las neuronas y la estructuración de las partes del cerebro en relación a las funciones que desarrollan.

Puede interesarte también

  • Objeto material y formal (en general)

Pide un artículo

¿No encuentras el término que estás buscando? Cuéntanos que artículo estabas buscando y trataremos de redactarlo lo antes posible. ¡Te avisaremos cuando esté listo!