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
Objeto material y objeto formal de la metafísica
El objeto material de la metafísica es la realidad o el conjunto de todos los entes o elementos que son o existen. El objeto formal de la metafísica viene dado por el examen especulativo de esos entes en tanto en cuanto todos ellos son y existen y por tanto mas allá de su individualidad y caracterís...
Verdad moral
La verdad moral es un concepto que hace referencia los principios morales como valores y realidades absolutas que no dependen de la voluntad o el acuerdo en una sociedad o grupo humano, sino del entendimiento, de modo que aquellos principios van revestidos de un valor de verdad que no se basa en la ...
Espacialización
La espacialización es la expresión o representación de una fenómeno o de la información asociada a él en términos espaciales. El término fue frecuentemente utilizado por el filósofo Henry Bergson para indicar el proceso de representación del tiempo en una variable operable en el ámbito de las cienci...
Caesar non est supra grammaticos
Caesar non est supra grammaticos (literalmente, "el emperador no está por encima de los gramáticos") es una sentencia con origen en un pasaje histórico de la Edad Media, que luego fue retomada por el filósofo Inmanuel Kant (1724-1804) para reafirmar la ética universal y la autonomía moral. Según Kan...