FilosofíaBásico2 respuestas

Por que decimos que la logica simbolica es formal?

Por que decimos que la logica simbolica es formal.

En resumen

Se dice que la lógica simbólica es formal debido a que estudia la validez de las inferencias de manera exhaustiva y rigurosa para poder demostrarlas mediante un profundo análisis matemático.

Mejor respuesta

Dianamaldonado1
7

Se dice que la lógica simbólica es formal debido a que estudia la validez de las inferencias de manera exhaustiva y rigurosa para poder demostrarlas mediante un profundo análisis matemático.

La lógica simbólica corresponde a la lógica matemática o lógica teorética que - con el objetivo de analizar una determinada inferencia - hace uso de herramientas como la lógica modal y lógica proposicional para la elaboración de sistemas formales.

La inferencia - relacionada íntimamente con la lógica - supone un proceso en el que se extraen explicaciones o conclusiones a partir de planteamientos llamados premisas.

Los fundamentos de la lógica se basan en el estudio de estas inferencias.

Este tipo de lógica no asume un hecho, sino que verifica los datos de que dispone - alejándose del razonamiento natural o creativo - para situarse en el contexto de razonamientos y demostraciones que puedan ser analizados en un ámbito completamente formal.

Más información referente a la lógica en : brainly.

Lat / tarea / 4134015.

Otras 1 respuestas

Respuesta 2

Alexia1234
0

Porque la lógica es una ciencia formal y que por tanto no tiene contenido sino que simplemente estudia las formas válidas de inferencia.

Imagen adjunta 1