La Logica
Páginas: 2 (397 palabras)
Publicado: 29 de julio de 2014
La
Lógica Formal
es conocida también como
lógica clásica o aristotélica
, Seimputa al filosofo ARISTOTELES ser el creador de la misma, aunque ya existíanantecedentes en PARMENIDES y ZELEO..Así mismo con el paso del tiempo, conla evolución de algunas corrientes matemáticas, específicamente las aportacionesrealizadas por los matemáticos EULER y BOOLE, a la álgebra, se da inicio a laLógica Moderna, Matemática, Simbólica o Logística
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 lossímbolos entresi, prescindiendo de su contenido. La segunda trata de las relaciones entre elsímbolo y lo que significa. La tercera trata de las relaciones entre el símbolo y elsujeto que lo utiliza.
Laló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, ladenominada
lógica de las normas
.
Lalógica modal
lo hace en los conceptos de necesidad y posibilidad.
La
lógica de clases
relaciona conceptos con propiedades (sujeto y predicado),estudia además las implicaciones de unas clases conotras, las cuales suelen serrepresentados gráficamente mediante círculos (mejor conocidos como diagramas
de Venn) empleando la denominada “álgebra booleana”.
La
lógica cuantificacional
queestudia de manera más detallada los predicadosa través del uso de cuantificadores que expresan cantidad (todos
o algunos
).
La
lógica proposicional
analiza los razonamientos formalmenteválidospartiendo de proposiciones y conectivas proposicionales (operadores lógicos).
Esta
lógica simbólica,
de la que nos estamos refiriendo, emplea un lenguajeartificial en la que simbolizalas proposiciones generalmente con las letras p, q, r, s, t utilizando de operadores lógicos, también llamados conectores, functores, juntores, para poder construir formulas operando sobre las...
Lógica Formal
es conocida también como
lógica clásica o aristotélica
, Seimputa al filosofo ARISTOTELES ser el creador de la misma, aunque ya existíanantecedentes en PARMENIDES y ZELEO..Así mismo con el paso del tiempo, conla evolución de algunas corrientes matemáticas, específicamente las aportacionesrealizadas por los matemáticos EULER y BOOLE, a la álgebra, se da inicio a laLógica Moderna, Matemática, Simbólica o Logística
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 lossímbolos entresi, prescindiendo de su contenido. La segunda trata de las relaciones entre elsímbolo y lo que significa. La tercera trata de las relaciones entre el símbolo y elsujeto que lo utiliza.
Laló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, ladenominada
lógica de las normas
.
Lalógica modal
lo hace en los conceptos de necesidad y posibilidad.
La
lógica de clases
relaciona conceptos con propiedades (sujeto y predicado),estudia además las implicaciones de unas clases conotras, las cuales suelen serrepresentados gráficamente mediante círculos (mejor conocidos como diagramas
de Venn) empleando la denominada “álgebra booleana”.
La
lógica cuantificacional
queestudia de manera más detallada los predicadosa través del uso de cuantificadores que expresan cantidad (todos
o algunos
).
La
lógica proposicional
analiza los razonamientos formalmenteválidospartiendo de proposiciones y conectivas proposicionales (operadores lógicos).
Esta
lógica simbólica,
de la que nos estamos refiriendo, emplea un lenguajeartificial en la que simbolizalas proposiciones generalmente con las letras p, q, r, s, t utilizando de operadores lógicos, también llamados conectores, functores, juntores, para poder construir formulas operando sobre las...
Leer documento completo
Regístrate para leer el documento completo.