Lógica y argumento Catálogo en línea

Biblioteca del Poder Legislativo

Volver a la página de inicio %s...

Monografía: texto impreso

Lógica y argumento / José Carlos SEOANE

Etiquetado

Título :	Lógica y argumento
Tipo de documento:	texto impreso
Autores:	José Carlos SEOANE (autor)
Lugar-Editorial-Fecha:	[S.l.] : UNIVERSIDAD DE LA REPUBLICA. CSE , [s.d.]
Descripción física:	198 p.
ISBN:	978-9974-0-1046-8
Nota general:	Bibliografía : p.197-198.
Ubicación:	168 S438l
Temas:	ARGUMENTACION LENGUAJE LOGICO PROPOSICIONAL - SEMANTICA LENGUAJE LOGICO PROPOSICIONAL - SINTAXIS LENGUAJE LOGICO PROPOSICIONAL - SISTEMAS DEDUCTIVOS LENGUAJES DE ORDEN UNO - SEMANTICA LENGUAJES DE ORDEN UNO - SINTAXIS LOGICA LOGICA - PROBLEMAS, EJERCICIOS, ETC. LOGICA PROPOSICIONAL TEORIA DE CONJUNTOS
Contenido:	El objeto de la lógica Enunciados y argumentos La reflexión meta-argumental La noción intuitiva de consecuencia lógica El valor del recurso a la forma El objeto de la lógica Conceptos elementales de Teoría intuitiva de conjuntos Introducción Conjuntos Subconjunto, conjunto vacío y conjunto potencia Operaciones conjuntísticas Producto cartesiano. Relaciones Relaciones de equivalencia. Particiones Relaciones de orden Funciones Cardinalidad Teoría intuitiva y teoría formal Lenguaje lógico proposicional : sintaxis Introducción Lenguaje formal : motivación e ideas intuitivas El lenguaje formal proposicional Decidibilidad del conjunto de las fórmulas Indución y propedades de fórmulas Lenguaje lógico proposicional : semántica Introducción Interpretar el lenguaje formal (desde el punto de vista intuitivo) Interpretación de L (desde un punto de vista formal) El problema de la corrección argumental La evaluación de fórmulas : método tabular Un método más elegante para evaluar fórmulas : tablas analíticas Conjuntos adecuados de conectivos Tautologías famosas Síntesis Lenguaje lógico proposicional : sistemas deductivos Introducción La noción de argumento idealmente justificado Sistemas deductivos : nociones generales Un sistema axiomático formal para el lenguaje proposicional Teoría axiomática formal : el sistema M Sistema de deducción natural : reglas de inferencia Sistema de deducción natural : ejemplos de pruebas Estrategias demostrativas y reglas derivadas : ideas generales Estrategias demostrativas, conectores, reglas derivadas y teoremas Síntesis Lenguajes de orden uno : sintaxis Introducción La "ampliación" del lenguaje Lenguajes de orden uno (desde el punto de vista informal) Lenguajes de orden uno (desde el punto de vista formal) Traducciones y expresividad de L Síntesis Lenguajes de orden uno : semántica Introducción Interpretación de los lenguajes de orden uno (desde un punto de vista intuitivo) Interpretación de los lenguajes de orden uno (desde el punto de vista formal) Expresividad "teórico-modélica" Consecuencia semántica y validez Síntesis Lenguajes de orden uno : sistemas deductivos Introducción Tablas analíticas cuantificacionales Sistemas deductivos para lenguajes de orden uno Axiomas y reglas para la igualdad Ejemplos de teorías axiomáticas de orden uno Síntesis Teoría lógica y modelos argumentales Introducción La estrategia traducción-cálculo La riqueza de las relaciones entre lógica y argumentación : usando los modelos tradicionales La riqueza de las relaciones lógica y argumentación : ensayando otros modelos La riqueza de las relaciones entre lógica y argumentación : la crítica argumental

vignette

Inicio

Búsquedas previas

Conectarse

Olvidé mi contraseña

Acerca del catálogo

La base de datos del catálogo de la Biblioteca cuenta con 150985 ejemplares de obras monográficas correspondientes a 97718 títulos y 4136 números de 145 publicaciones periódicas especializadas. La consulta se puede realizar por título, autor, tema, editorial y/o cualquier palabra contenida en el registro bibliográfico

Dirección

Biblioteca del Poder Legislativo

contacto