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: Objeto de conferencia
Lenguaje:Español
Publicado: 2015
Materias:
Filosofía
lógica
lenguajes formales
Acceso en línea:http://sedici.unlp.edu.ar/handle/10915/58600
http://jornadasfilo.fahce.unlp.edu.ar/actas-2015/a27.pdf/view
Aporte de:
SEDICI (UNLP) de Universidad Nacional de La Plata
id I19-R120-10915-58600
record_format dspace
institution Universidad Nacional de La Plata
institution_str I-19
repository_str R-120
collection SEDICI (UNLP)
language Español
topic Filosofía
lógica
lenguajes formales
spellingShingle Filosofía
lógica
lenguajes formales
Frenkel, Beatriz
Kakazu, Gabriel Nicolás
Distintos enfoques hacia una teoría de la formalización en Lógica
topic_facet Filosofía
lógica
lenguajes formales
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 Objeto de conferencia
Objeto de conferencia
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 http://sedici.unlp.edu.ar/handle/10915/58600
http://jornadasfilo.fahce.unlp.edu.ar/actas-2015/a27.pdf/view
work_keys_str_mv AT frenkelbeatriz distintosenfoqueshaciaunateoriadelaformalizacionenlogica
AT kakazugabrielnicolas distintosenfoqueshaciaunateoriadelaformalizacionenlogica
bdutipo_str Repositorios
_version_ 1764820478046765057

Ejemplares similares