Biblioteca CERP Suroeste "Prof.Graciela Gonnet"
A partir de esta página puede:
Información del autor
Documentos disponibles escritos por este autor
Hacer una sugerencia Refinar búsqueda
/ José Seoane
TÃtulo : | Lógica y argumento | Tipo de documento: | texto impreso | Autores: | José Seoane, Autor | Editorial: | Universidad de la República | Número de páginas: | 198p | ISBN/ISSN/DL: | 978-9974-01-046-8 | Idioma : | Español (spa) | Palabras clave: | 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 | Nota de 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
|
Lógica y argumento [texto impreso] / José Seoane, Autor . - [S.l.] : Universidad de la República, [s.d.] . - 198p. ISBN : 978-9974-01-046-8 Idioma : Español ( spa) Palabras clave: | 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 | Nota de 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
|
| |
Reserva
Reservar este documento
Ejemplares
Estado |
---|
8531 | 168 SEOlog | Libro | Biblioteca CERP Suroeste | Filosofía | Disponible | | |