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.
Solvitur ambulando
Solvitur ambulando (literalmente, "se soluciona andando") es una frase en latín atribuida a Agustín de Hipona que se utiliza en general para expresar la conveniencia y necesidad de verificar en la práctica lo que se afirma en teoría. Entre otros, la frase aparece en el relato de Lewis Carroll "Lo que la tortuga le dijo a Aquiles" para evidenciar que Aquiles alcanzará efectivamente a la tortuga para contradecir el conocido argumento lógico que afirma que Aquiles nunca alcanzará a la tortuga.
Puede interesarte también
- El movimiento se demuestra andando
Artículos relacionados
Res extensa
Res extensa es uno de los tipos de sustancia, como constituyentes de la realidad, que estableció el filósofo racionalista francés René Descartes (1596-1650), junto con la res cogitans y la res infinita. La res extensa es la sustancia que tiene como atributo la extensión, esto es, la propiedad de ocupar el espacio; es por tanto, la sustancia que se atribuye a los objetos físicos y por tanto es el tipo de sustancia del que se ocupa la física.
Absoluto (filosofía)
En filosofía, lo absoluto o el absoluto es lo completo, universal, incondicional, independiente de todo lo demás y por tanto a la vez total y vacío, lo originario y por tanto primera causa o origen. En la historia de la filosofía, es un concepto que se ha utilizado especialmente en idealismo y existencialismo. En el contexto de la religión, se ha asmiliado o equiparado a Dios.
Puede interesarte también