Distintos enfoques hacia una teoría de la formalización en Lógica

Mostrar todas las versiones(3)

Suele decirse que una de las funciones de la lógica formal deductiva es analizar la validez de los argumentos expresados en lenguaje natural. Para ello, se requiere que el argumento en lenguaje natural sea simbolizado en un lenguaje formal correspondiente donde se llevará a cabo el análisis del argu...

Descripción completa

Guardado en:
Detalles Bibliográficos
Autores principales: Frenkel, Beatriz, Kakazu, Gabriel Nicolás
Formato: Documento de conferencia publishedVersion
Lenguaje:Español
Publicado: 2015
Materias:
Filosofía
Acceso en línea:https://www.memoria.fahce.unlp.edu.ar/trab_eventos/ev.7602/ev.7602.pdf
Aporte de:
Memoria Académica - FaHCE (UNLP) de Universidad Nacional de La Plata
id I19-R125-Jev7602
record_format dspace
institution Universidad Nacional de La Plata
institution_str I-19
repository_str R-125
collection Memoria Académica - FaHCE (UNLP)
language Español
orig_language_str_mv spa
topic Filosofía
spellingShingle Filosofía
Frenkel, Beatriz
Kakazu, Gabriel Nicolás
Distintos enfoques hacia una teoría de la formalización en Lógica
topic_facet Filosofía
description Suele decirse que una de las funciones de la lógica formal deductiva es analizar la validez de los argumentos expresados en lenguaje natural. Para ello, se requiere que el argumento en lenguaje natural sea simbolizado en un lenguaje formal correspondiente donde se llevará a cabo el análisis del argumento. Sin embargo, dicho procedimiento de simbolización resulta teóricamente problemático. El presente trabajo intentará exponer los tres enfoques principales presentes en la literatura para una teoría de la formalización en lógica: a) encontrar procedimientos efectivos de formalización; b) proporcionar criterios para una formalización adecuada; c) analizar el concepto de forma lógica
format Documento de conferencia
Documento de conferencia
publishedVersion
author Frenkel, Beatriz
Kakazu, Gabriel Nicolás
author_facet Frenkel, Beatriz
Kakazu, Gabriel Nicolás
author_sort Frenkel, Beatriz
title Distintos enfoques hacia una teoría de la formalización en Lógica
title_short Distintos enfoques hacia una teoría de la formalización en Lógica
title_full Distintos enfoques hacia una teoría de la formalización en Lógica
title_fullStr Distintos enfoques hacia una teoría de la formalización en Lógica
title_full_unstemmed Distintos enfoques hacia una teoría de la formalización en Lógica
title_sort distintos enfoques hacia una teoría de la formalización en lógica
publishDate 2015
url https://www.memoria.fahce.unlp.edu.ar/trab_eventos/ev.7602/ev.7602.pdf
work_keys_str_mv AT frenkelbeatriz distintosenfoqueshaciaunateoriadelaformalizacionenlogica
AT kakazugabrielnicolas distintosenfoqueshaciaunateoriadelaformalizacionenlogica
bdutipo_str Repositorios
_version_ 1764820496990339075

Ejemplares similares