Tipos de Lógica
Páginas: 2 (316 palabras)
Publicado: 4 de abril de 2013
Tipos de Lógica
La Lógica Formal es conocida también como lógica clásica o aristotélica. Se atribuye al filósofo Aristóteles ser el creador de la misma, aunque ya existían antecedentes enParmenides 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 al álgebra, se dainicio a la Lógica Moderna, Matemática, Simbólica o Logí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ógicade 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 sí, prescindiendo de su contenido. La segunda trata de lasrelaciones entre el símbolo y lo que significa. La tercera trata 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 eldeber. 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 declases relaciona conceptos con propiedades (sujeto y predicado), estudia además las implicaciones de unas clases con otras, las cuales suelen ser representados gráficamente mediante círculos (mejorconocidos 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 queexpresan cantidad (todos ∀ o algunos ∃).
La lógica proposicional analiza los razonamientos formalmente válidos partiendo de proposiciones y conectivas proposicionales (operadores lógicos).
Estaló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,...
La Lógica Formal es conocida también como lógica clásica o aristotélica. Se atribuye al filósofo Aristóteles ser el creador de la misma, aunque ya existían antecedentes enParmenides 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 al álgebra, se dainicio a la Lógica Moderna, Matemática, Simbólica o Logí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ógicade 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 sí, prescindiendo de su contenido. La segunda trata de lasrelaciones entre el símbolo y lo que significa. La tercera trata 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 eldeber. 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 declases relaciona conceptos con propiedades (sujeto y predicado), estudia además las implicaciones de unas clases con otras, las cuales suelen ser representados gráficamente mediante círculos (mejorconocidos 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 queexpresan cantidad (todos ∀ o algunos ∃).
La lógica proposicional analiza los razonamientos formalmente válidos partiendo de proposiciones y conectivas proposicionales (operadores lógicos).
Estaló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,...
Leer documento completo
Regístrate para leer el documento completo.