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

Autores
Frenkel, Beatriz; Kakazu, Gabriel Nicolás
Año de publicación
2015
Idioma
español castellano
Tipo de recurso
documento de conferencia
Estado
versión publicada
Descripción
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
Fil: Frenkel, Beatriz. UBA.
Fil: Kakazu, Gabriel Nicolás. UBA.
Fuente
X Jornadas de Investigación del Departamento de Filosofía FaHCE-UNLP; Ensenada, Argentina, 19-21 de agosto de 2015
ISSN 2250-4494
Materia
Filosofía
Nivel de accesibilidad
acceso abierto
Condiciones de uso
https://creativecommons.org/licenses/by-nc-nd/2.5/ar/
Repositorio
Memoria Académica (UNLP-FAHCE)
Institución
Universidad Nacional de La Plata. Facultad de Humanidades y Ciencias de la Educación
OAI Identificador
oai:memoria.fahce.unlp.edu.ar:snrd:Jev7602
Acceder
id MemAca_b85790208fdce33b93e1a8c2a25a9d67
oai_identifier_str oai:memoria.fahce.unlp.edu.ar:snrd:Jev7602
network_acronym_str MemAca
repository_id_str 1341
network_name_str Memoria Académica (UNLP-FAHCE)
spelling Distintos enfoques hacia una teoría de la formalización en LógicaFrenkel, BeatrizKakazu, Gabriel NicolásFilosofíaSuele 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ógicaFil: Frenkel, Beatriz. UBA.Fil: Kakazu, Gabriel Nicolás. UBA.2015info:eu-repo/semantics/conferenceObjectinfo:eu-repo/semantics/publishedVersionhttp://purl.org/coar/resource_type/c_5794info:ar-repo/semantics/documentoDeConferenciaapplication/pdfhttps://www.memoria.fahce.unlp.edu.ar/trab_eventos/ev.7602/ev.7602.pdfX Jornadas de Investigación del Departamento de Filosofía FaHCE-UNLP; Ensenada, Argentina, 19-21 de agosto de 2015ISSN 2250-4494reponame:Memoria Académica (UNLP-FAHCE)instname:Universidad Nacional de La Plata. Facultad de Humanidades y Ciencias de la Educacióninstacron:UNLPspainfo:eu-repo/semantics/openAccesshttps://creativecommons.org/licenses/by-nc-nd/2.5/ar/2025-09-03T12:06:09Zoai:memoria.fahce.unlp.edu.ar:snrd:Jev7602Institucionalhttps://www.memoria.fahce.unlp.edu.ar/Universidad públicahttps://www.fahce.unlp.edu.ar/https://www.memoria.fahce.unlp.edu.ar/oaiserver.cgimemoria@fahce.unlp.edu.arArgentinaNo correspondeNo correspondeNo correspondeopendoar:13412025-09-03 12:06:10.129Memoria Académica (UNLP-FAHCE) - Universidad Nacional de La Plata. Facultad de Humanidades y Ciencias de la Educaciónfalse
dc.title.none.fl_str_mv Distintos enfoques hacia una teoría de la formalización en Lógica
title Distintos enfoques hacia una teoría de la formalización en Lógica
spellingShingle Distintos enfoques hacia una teoría de la formalización en Lógica
Frenkel, Beatriz
Filosofía
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
dc.creator.none.fl_str_mv Frenkel, Beatriz
Kakazu, Gabriel Nicolás
author Frenkel, Beatriz
author_facet Frenkel, Beatriz
Kakazu, Gabriel Nicolás
author_role author
author2 Kakazu, Gabriel Nicolás
author2_role author
dc.subject.none.fl_str_mv Filosofía
topic Filosofía
dc.description.none.fl_txt_mv 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
Fil: Frenkel, Beatriz. UBA.
Fil: Kakazu, Gabriel Nicolás. UBA.
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
publishDate 2015
dc.date.none.fl_str_mv 2015
dc.type.none.fl_str_mv info:eu-repo/semantics/conferenceObject
info:eu-repo/semantics/publishedVersion
http://purl.org/coar/resource_type/c_5794
info:ar-repo/semantics/documentoDeConferencia
format conferenceObject
status_str publishedVersion
dc.identifier.none.fl_str_mv https://www.memoria.fahce.unlp.edu.ar/trab_eventos/ev.7602/ev.7602.pdf
url https://www.memoria.fahce.unlp.edu.ar/trab_eventos/ev.7602/ev.7602.pdf
dc.language.none.fl_str_mv spa
language spa
dc.rights.none.fl_str_mv info:eu-repo/semantics/openAccess
https://creativecommons.org/licenses/by-nc-nd/2.5/ar/
eu_rights_str_mv openAccess
rights_invalid_str_mv https://creativecommons.org/licenses/by-nc-nd/2.5/ar/
dc.format.none.fl_str_mv application/pdf
dc.source.none.fl_str_mv X Jornadas de Investigación del Departamento de Filosofía FaHCE-UNLP; Ensenada, Argentina, 19-21 de agosto de 2015
ISSN 2250-4494
reponame:Memoria Académica (UNLP-FAHCE)
instname:Universidad Nacional de La Plata. Facultad de Humanidades y Ciencias de la Educación
instacron:UNLP
reponame_str Memoria Académica (UNLP-FAHCE)
collection Memoria Académica (UNLP-FAHCE)
instname_str Universidad Nacional de La Plata. Facultad de Humanidades y Ciencias de la Educación
instacron_str UNLP
institution UNLP
repository.name.fl_str_mv Memoria Académica (UNLP-FAHCE) - Universidad Nacional de La Plata. Facultad de Humanidades y Ciencias de la Educación
repository.mail.fl_str_mv memoria@fahce.unlp.edu.ar
_version_ 1842261438498865152
score 13.13397

Publicaciones similares