Estudia la semántica de las palabras. Es la ciencia formal y rama de la filosofía como de la matemática Estudia los principios de la demostración y la inferencia valida , las falacias , las paradoja y la noción de verdad . LOGICA FORMAL • La podemos definir como la disciplina filosófica que tiene como objeto de estudio los principios y métodos que se emplean para distinguir o diferenciar el razonamiento correcto del incorrecto.
• Su Objeto Material es la estructura del pensamiento en sus tres
formas: concepto, juicio y razonamiento. • Su Objeto Formal es la forma o estructura de los razonamientos para distinguir los "correctos" de los "incorrectos", no hace referencia a su contenido o materia (o sea, si son "verdaderos" o "falsos"). CARACTERÍSTICAS DE LA LÓGICA FORMAL A continuación se presentan las características más particulares que diferencian a la lógica formal de los otros tipos de lógica: • -Es una ciencia que estudia la forma de la premisa, a diferencia de otros tipos de lógica que estudian solo lo material. • -Se trata de una estructura sin materia. • -Se establece bajo un subconjunto de sistemas formales. • -Aplica métodos tan eficientes que a través de la lógica formal puede distinguirse lo incorrecto de lo correcto. • -Las conclusiones del razonamiento correcto o con validez surgen debido a que se analiza la estructura de las premisas verdaderas. • -Estudia y analiza a las personas para llegar directamente al pensamiento, y así poder establecer nuevos patrones en la mente de cada individuo. • -Se caracteriza por ser simbólica. • -Desde el punto de vista de una ciencia formal, juega un papel importante en las matemáticas, la filosofía, la informática y las estadísticas. • -Está relacionada con la gramática debido al estudio de la semántica. • -Estudia las estructuras, motivo por el cual es comparada con las matemáticas. • -También se relaciona con la psicología debido a que se enfoca en el estudio del pensamiento de cada individuo. LOGICA INFORMAL • Es el estudio de los argumentos a posterior en oposición al estudio técnico y teórico de la lógica matemática. Esta parte de la lógica se dedica principalmente a diferenciar entre formas correctas e incorrectas en que se desarrolla el lenguaje y el pensamiento cotidiano.. • La lógica informal, dice, requiere esquemas de clasificación detallada que la organice, como la teoría subyacente que es proporcionada en otras disciplinas. • Sostiene que no existe un método para establecer la invalidez de una discusión aparte del método formal, y que el estudio de las falacias puede ser más de interés para otras disciplinas como la psicología que para la filosofía y lógica. CARACTERÍSTICAS DE LA LÓGICA INFORMAL