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.
Causa
En su acepción corriente una causa es el elemento o fuerza que a través de su presencia o acción ha provocado un determinado efecto. En filosofía la causa adquiere un sentido complementario como principio, fundamento o finalidad de algo en concreto o de todo en general, también denominada causa primera; en este sentido Aristóteles definió cuantro tipos de causa: la causa material, de que materia o elemento está hecho algo, la causa formal, forma o estructura de algo, la causa eficiente o agente que ha realizado algo, la causa final, el propósito de algo.
Artículos relacionados
Totalizante
Una idea, esquema conceptual, teoría, discurso o narrativa se dice que es totalizante cuando abarca toda la esfera a la que se aplica, categorizando, etiquetando y valorando cualquier elemento o hecho de acuerdo a sus términos, de forma que es imposible plantear una visión diferente a la establecida por aquel, impidiendo la crítica desde dentro del sistema impuesto.
Socialismo científico (comunismo científico)
Puede interesarte también
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)