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...
Artículos relacionados
Scientia non duplicanda est
Scientia non duplicanda est es un principio epistemológico según el cual dos disciplinas científicas deben tener objetos materiales (de que trata la ciencia) y objetos formales (perspectiva, problema a resolver, preguntas a plantear en cada ámbito científico) diferentes. Así ocurre por ejemplo con l...
Referente empírico
El referente empírico es el conjunto de elementos de la realidad que serán objeto de investigación, sin interpretaciones teóricas sobre ellos pero definidas con precisión mediante una adecuada conceptualización. De los elementos que constituyen el referente empírico se establecerán características c...
Monopsiquismo
El monopsiquismo es un principio o afirmación filosófica que establce la existencia de una única alma, entendimiento o razón en el universo, negando así la existencia de almas individuales. El principio del monopsiquismo fue desarrollado por el filósofo Averroes (1126-1198) en base a la idea aristot...
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...