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

Razón autorreflexiva

La razón autorreflexiva es la actividad de reflexión o pensamiento propia, consciente y crítica en cuanto a la validez general, y más concretamente sobre las bases, principios, teorías y métodos, sobre los que se asienta la actividad del pensar, tanto a nivel del pensar individual como a nivel colectivo, desde una perspectiva filosófica escéptica, y aplicable a cualquier tipo de pensamiento, tanto al propiamente filosófico como aquel de tipo aplicado que se desarrolla en las actividades científicas. Incluso yendo mas allá, la razón autorreflexiva abarca también el pensamiento sobre por qué  y para qué se piensa o desarrolla una actividad de conocimiento, en base a qué intereses y fines.

Puede interesarte también

Indagación filosófica

En filosofía, la indagación es el acto primordial que consiste en la búsqueda de respuestas a preguntas que, aunque de planteamiento simple y evidente, exigen un ejercicio de reflexión profunda acerca de lo consideramos la realidad o lo que constituye la base de la sociedad, yendo mas allá de las ideas preconcebidas o establecidas que tenemos sobre ellas (consulta además: cuestionamiento filosófico), para llegar finalmente a su esencia fundamental. 

Paradigma dominante (paradigma prevaleciente)

Un paradigma dominante o paradigma prevaleciente es un paradigma epistemológico o de investigación que se adopta como estándar y es aceptado por la mayoría de la comunidad científica o académica en un área de conocimiento concreta y en general en la sociedad, de modo que la actividad y los resultados científicos deben ajustarse a sus principios establecidos para tener legitimación y aceptación.

Ontologización

La ontologización es la concesión de entidad ontológica o la consideración de existencia a algo, de modo que se le otorgue significado y sentido propio. Puede referirse al también al análisis de algo en términos ontológicos, por ejemplo respecto a su relación con otros entes, su carácter concreto o abstracto, por un lado, y  posible, real o necesario, por otro.

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!