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
Supuesto (suposición)
Un supuesto o una suposición es una afirmación o enunciado que se supone cierto o se da por hecho, con el objeto de analizar su desarrollo o insertarlo dentro de una teoría como condición previa para las conclusiones que se puedan derivar....
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...
Paradigma exploratorio (método exploratorio, fase exploratoria)
El paradigma exploratorio o método exploratorio, como parte de una investigación más amplia también denominado fase exploratoria, es un tipo o fase de investigación que busca un acercamiento a un aspecto de la realidad, generalmente novedoso, de modo neutral, sin aplicar conceptos y teorías previos ...
Verdad lógica
Una verdad lógica es una proposición que adquiere el valor de verdad en todos los casos, más concretamente, para todos los valores de verdad de las premisas que la forman. Un ejemplo claro sería "p o no p", ya que al ser "p" y "no p" excluyentes u opuestas en relación a su valor de verdad, un ode la...