La logica
La lógica es una ciencia formal que estudia los principios de la demostración e inferencia válida. La palabra deriva del griego antiguo λογική(logike), que significa «dotado de razón, intelectual, dialéctico, argumentativo», que a su vez viene de λόγος (logos), «palabra, pensamiento, idea, argumento, razón o principio».
la lógica informal refiere al examen metódico de los argumentos probables a partir de la oratoria, la retórica y la filosofía, entre otras ciencias. Tiene como objetivo el reconocimiento de paradojas y falacias, así como serun recurso eficaz para construir los discursos de forma correcta.
podríamos decir que la lógica es la disciplina filosófica que tiene un carácter formal, ya que estudia la estructura o formas de pensamiento (tales como conceptos, proposiciones, razonamientos) con el objeto de establecer razonamientos o argumentos válidos o correctamente lógicos.
Tipos de lógica
La Lógica Formal es conocidatambién como lógica clásica o aristotélica, Se imputa al filosofo ARISTOTELES ser el creador de la misma, aunque ya existían antecedentes en PARMENIDES y ZELEO.. Así mismo con el paso del tiempo, con la evolución de algunas corrientes matemáticas, específicamente las aportaciones realizadas por los matemáticos EULER y BOOLE, a la álgebra, se da inicio a la Lógica Moderna, Matemática, Simbólica oLogística.
De esta lógica moderna, se desprende la semiótica, lógica deóntica, modal, cuantificacional y proposicional.
La Semiótica es la lógica de los símbolos y se divide en tres partes: sintaxis, semántica y pragmática. La primera trata de las relaciones de los símbolos entre si, prescindiendo de su contenido. La segunda trata de las relaciones entre el símbolo y lo que significa. La terceratrata de las relaciones entre el símbolo y el sujeto que lo utiliza.
La lógica deóntica se formaliza a través de conceptos relacionados con el deber. Este tipo de lógica se utiliza en el Derecho, infiriéndose del mismo, la denominada lógica de las normas.
La lógica modal lo hace en los conceptos de necesidad y posibilidad.
La lógica de clases relaciona conceptos con propiedades (sujeto ypredicado), estudia además las implicaciones de unas clases con otras, las cuales suelen ser representados gráficamente mediante círculos (mejor conocidos como diagramas de Venn) empleando la denominada “álgebra booleana”.
La lógica cuantificacional que estudia de manera más detallada los predicados a través del uso de cuantificadores que expresan cantidad (todos ∀ o algunos ∃).
La lógicaproposicional analiza los razonamientos formalmente válidos partiendo de proposiciones y conectivas proposicionales (operadores lógicos).
Esta lógica simbólica, de la que nos estamos refiriendo, emplea un lenguaje artificial en la que simboliza las proposiciones generalmente con las letras p, q, r, s, t utilizando de operadores lógicos, también llamados conectores, functores, juntores, parapoder construir formulas operando sobre las variables proposicionales y las proposiciones complejas.[73]
Finalmente existe otro tipo de lógica que es la dialéctica, aunque ésta no la podemos considerar como integrante de la lógica moderna, toda vez que la misma no tiene un contenido formal, sino ideológico; ni es “pasiva” como la lógica formal, sino que es activa, al obtener principios racionales através de la interpretación de la historia, utilizando como su estructura en su discurso, la tesis, seguida de la antitesis y su respectiva conclusión denominada síntesis; teniendo sus antecedentes desde los griegos con SOCRATES y PLATÓN quienes la concibieron como una técnica de discusión y de obtención de conclusiones, siendo la misma también estudiada y empleada por algunos filósofos como...
Regístrate para leer el documento completo.