La lógica informal es un campo de estudio de la lógica y la teoría de la argumentación que evalúa y analiza los argumentos tal como se utilizan en el lenguaje natural [1] [2] .
La idea de la lógica informal surgió en el curso de la investigación sobre el pensamiento crítico , y se desarrolló en forma de un movimiento de "lógicos informales" en la segunda mitad del siglo XX entre filósofos, lógicos, lingüistas estadounidenses y europeos como un resultado de la insatisfacción con los métodos de la lógica formal para el análisis del razonamiento cotidiano [3] [4] . Al mismo tiempo, en la historia de la lógica , los filósofos han estado estudiando el razonamiento en el habla cotidiana desde la época de Aristóteles [1] . Actualmente, los medios de la lógica informal también se utilizan para analizar el conocimiento científico (humanitario) [5] .
En la literatura en lengua rusa, la teoría de la argumentación puede llamarse lógica informal de otra manera [6] .
Hay diferentes puntos de vista sobre las metas y objetivos de la lógica informal, su diferencia con la lógica formal [7] .
Filósofos americanos Johnsony Blair, uno de los fundadores del movimiento de los “lógicos informales”, definen la lógica informal como “una rama de la lógica cuya tarea es desarrollar estándares, criterios y procedimientos informales para el análisis, la interpretación, la evaluación, la crítica y la construcción de la argumentación en el discurso cotidiano. ” [7] .
El lógico belga Chaim Perelman caracteriza la lógica informal como la lógica de los argumentos, en contraste con la lógica formal como la lógica de las pruebas [8] .
Varios lógicos consideran que la tarea principal de la lógica informal es el estudio de los errores lógicos [7] [1] .
| Lógicas | |||||||||
|---|---|---|---|---|---|---|---|---|---|
| Filosofía • Semántica • Sintaxis • Historia | |||||||||
| Grupos lógicos |
| ||||||||
| Componentes |
| ||||||||
| Lista de símbolos booleanos | |||||||||