tipos de logica
La lógica de primer orden tiene el poder expresivo suficiente para definir a prácticamente todas las matemáticas.
Una lógica de segundo orden es una extensión de una lógica de primer orden en laque se añaden variables para propiedades, funciones y relaciones, y cuantificadores que operan sobre esas variables.1 Así se expande el poder expresivo del lenguaje sin tener que agregar nuevossímbolos lógicos.1
La lógica empírica es la base del razonamiento empírico y por lo tanto del método empírico. Esta visión de la lógica proviene de la antigua Grecia. El término empírico deriva del griegoantiguo de experiencia, έμπειρία, que a su vez deriva de έυ en y πεἳρα prueba,experimento. Su desarrollo provoca la definitiva superación de la separación histórica entre las ciencias formales (comola Geometría o el Álgebra) y las ciencias descriptivas (como la Física, la Zoología o la Botánica y, sobre todo de las llamadas "técnicas" como lasingenierías).
Las lógicas de descripción, tambiénllamadas lógicas descriptivas (DL por description logics) son una familia de lenguajes de representación del conocimiento que pueden ser usados para representar conocimiento terminológico de un dominiode aplicación de una forma estructurada y formalmente bien comprendida. El nombre lógica de descripción se refiere, por un lado, a descripciones de conceptos usadas para describir un dominio y, porotro lado, a la semántica que establece una equivalencia entre las fórmulas de lógicas de descripción y expresiones en lógica de predicados de primer orden.
Lógica Predicativa: Este tipo de lógica,...
Regístrate para leer el documento completo.