Lógica y lenguajes formales/1 : Lenguaje, conjuntos y estructuras
Lungarzo, Carlos
Lógica y lenguajes formales/1 : Lenguaje, conjuntos y estructuras - 1a - Buenos Aires : Centro Editor de América Latina , 1986 - Bibliotecas Universitarias .
Inv bib 25325
La naturaleza de la lógica -- La lógica como "ciencia" del razonamiento -- La evolución de la lógica formal -- El punto de vista lingüístico -- La necesidad de los lenguajes formales -- Divisiones de la lógica -- El carácter científico de la lógica -- Lenguaje y lógica -- Categorías de un lenguaje formal: símbolos. Nombres, predicados y operadores. Reducciones y notación. Símbolos lógicos. Eliminación -- Términos y fórmulas -- Estrctura y dimensiones de un lenguaje formal: Organización de un lenguaje formal. Dimensiones lingüísticas. Lenguaje y metalenguaje. Acepciones de "lenguaje" -- El orden de una entifaf lingüística -- El lenguaje lógico puro -- Teoría de clases y relaciones: Generalidades sobre clases. Leyes de la teoría de conjuntos. Familias de clases. Relaciones. Órdenes y equivalencias. Funciones. Números naturales. -- Las paradojas -- Tipos lógicos
9502513150
DGR-M11369
LÓGICA
LENGUAJE
16
Lógica y lenguajes formales/1 : Lenguaje, conjuntos y estructuras - 1a - Buenos Aires : Centro Editor de América Latina , 1986 - Bibliotecas Universitarias .
Inv bib 25325
La naturaleza de la lógica -- La lógica como "ciencia" del razonamiento -- La evolución de la lógica formal -- El punto de vista lingüístico -- La necesidad de los lenguajes formales -- Divisiones de la lógica -- El carácter científico de la lógica -- Lenguaje y lógica -- Categorías de un lenguaje formal: símbolos. Nombres, predicados y operadores. Reducciones y notación. Símbolos lógicos. Eliminación -- Términos y fórmulas -- Estrctura y dimensiones de un lenguaje formal: Organización de un lenguaje formal. Dimensiones lingüísticas. Lenguaje y metalenguaje. Acepciones de "lenguaje" -- El orden de una entifaf lingüística -- El lenguaje lógico puro -- Teoría de clases y relaciones: Generalidades sobre clases. Leyes de la teoría de conjuntos. Familias de clases. Relaciones. Órdenes y equivalencias. Funciones. Números naturales. -- Las paradojas -- Tipos lógicos
9502513150
DGR-M11369
LÓGICA
LENGUAJE
16