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.
Como citar: Sarasola, Josemari (2024) en ikusmira.org
"Lógica formal" (en línea) Enlace al artículo
Última actualización: 27/11/2023
¿Tienes preguntas sobre este artículo?
Envíanos tu pregunta e intentaremos responderte lo antes posible.
Noticias relacionadas
Una educación sin lógica
Guillermo Hurtado
En el nuevo modelo para la educación media superior que implantará la SEP en agosto de este año, hay un área engañosamente denominada como humanidades. De acuerdo con el documento base que se ha dado a conocer por la Subsecretaría de Educación Media Superior, se afirma que las humanidades se dedican principalmente al ejercicio de la crítica. Luego se añade que ese ejercicio está vinculado con i) las tareas de análisis conceptual, ii) de revisión de la argumentación, iii) de examen de los discursos y IV) de la evaluación de los alcances y límite...
Igualdad algorítmica
Daniel Innerarity Grau
La democracia nace como una promesa de igualdad en cuanto a la capacidad de todos a la hora de influir en las decisiones que nos afectan. Instituciones como el voto, la representación, la participación son procedimientos que tratan de asegurar esa igualdad. A medida que la esfera digital se ha ido constituyendo como un ámbito de configuración de la voluntad política, la igualdad que en ella es posible y deseable ha sido objeto de numerosas propuestas y polémicas. Tal vez por falta de perspectiva histórica, tal vez debido a una escasa conceptual...
Los temores por el ascenso de China dan forma a la política Exterior de EU en el siglo XXI, afirma Chomsky
C. J. Polychroniou Truthout
¿Es la creciente influencia de China en los asuntos internacionales una amenaza para el orden mundial? Estados Unidos así lo cree, al igual que Gran Bretaña, su más estrecho aliado. En efecto, la rivalidad entre Estados Unidos y China probablemente dominará los temas mundiales en el siglo XXI. En este juego geoestratégico, se espera que ciertos estados externos a la comunidad de seguridad occidental, como India, jueguen un papel clave en el nuevo escenario del imperialismo. Estados Unidos es una potencia en declive que ya no puede hacer dictado...
Ni es inteligente ni es artificial: esa etiqueta es una herencia de la Guerra Fría
Evgeny Morozov
Elon Musk y Steve Wozniak, el cofundador de Apple, acaban de firmar una carta en la que piden una moratoria de seis meses en el entrenamiento de sistemas de inteligencia artificial (IA). El propósito es dar tiempo a que la sociedad se adapte a lo que los firmantes llaman “un verano de la IA”, que, en su opinión, acabará beneficiando a la humanidad, siempre que se pongan las salvaguardas adecuadas. Unas barreras que, entre otras cosas, deben incluir protocolos de seguridad rigurosamente vigilados. Es un objetivo loable, pero hay algo aún mejor q...
Sigue aprendiendo en Audible
Apoya nuestro contenido registrándote en Audible, sigue aprendiendo gratis a través de este link!
Artículos relacionados
Verdad (Platón)
En la filosofía de Platón, la verdad es el atributo esencial de las ideas, frente a las cosas del mundo sensible, meramente ilusorias y por tanto lejos de la verdad. La verdad está, pues, en el mundo de las ideas, y dentro de este el principio rector que crea y guía la verdad de estas ideas es la id...
Falacias
Una falacia (del latín fallare, "engañar") es un argumento o razonamiento nulo y erróneo. Hay que distinguir entre falacia y falsedad: las proposiciones falsas son aquellas que no se ajustan a la verdad o a la realidad, pero la falacia surge cuando el razonamiento de las premisas a la conclusión no ...
Mathesis universalis
En la filosofía de Descartes, mathesis universalis ("matemática universal") es la ciencia única y total, el conjunto de principios que rigen nuestro conocimiento, que toma a las matemáticas como modelo para su formación. Descartes pensaba que la matemática era un conocimiento perfecto y por eso la t...
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 ...