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.
Facultad de Humanidades y Ciencias de la Educación
Materia
Filosofía
lógica
lenguajes formales
Nivel de accesibilidad
acceso abierto
Condiciones de uso
http://creativecommons.org/licenses/by-nc-nd/2.5/ar/
Repositorio
SEDICI (UNLP)
Institución
Universidad Nacional de La Plata
OAI Identificador
oai:sedici.unlp.edu.ar:10915/58600
Acceder
id SEDICI_2024c5a9bc3f5df2de17ed154e740c6a
oai_identifier_str oai:sedici.unlp.edu.ar:10915/58600
network_acronym_str SEDICI
repository_id_str 1329
network_name_str SEDICI (UNLP)
spelling Distintos enfoques hacia una teoría de la formalización en LógicaFrenkel, BeatrizKakazu, Gabriel NicolásFilosofíalógicalenguajes formalesSuele 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.Facultad de Humanidades y Ciencias de la Educación2015-08info:eu-repo/semantics/conferenceObjectinfo:eu-repo/semantics/publishedVersionObjeto de conferenciahttp://purl.org/coar/resource_type/c_5794info:ar-repo/semantics/documentoDeConferenciaapplication/pdfhttp://sedici.unlp.edu.ar/handle/10915/58600spainfo:eu-repo/semantics/altIdentifier/url/http://jornadasfilo.fahce.unlp.edu.ar/actas-2015/a27.pdf/viewinfo:eu-repo/semantics/altIdentifier/issn/2250-4494info:eu-repo/semantics/openAccesshttp://creativecommons.org/licenses/by-nc-nd/2.5/ar/Creative Commons Attribution-NonCommercial-NoDerivs 2.5 Argentina (CC BY-NC-ND 2.5)reponame:SEDICI (UNLP)instname:Universidad Nacional de La Platainstacron:UNLP2025-09-03T10:39:24Zoai:sedici.unlp.edu.ar:10915/58600Institucionalhttp://sedici.unlp.edu.ar/Universidad públicaNo correspondehttp://sedici.unlp.edu.ar/oai/snrdalira@sedici.unlp.edu.arArgentinaNo correspondeNo correspondeNo correspondeopendoar:13292025-09-03 10:39:24.826SEDICI (UNLP) - Universidad Nacional de La Platafalse
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
lógica
lenguajes formales
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
lógica
lenguajes formales
topic Filosofía
lógica
lenguajes formales
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.
Facultad de Humanidades y Ciencias de la Educación
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-08
dc.type.none.fl_str_mv info:eu-repo/semantics/conferenceObject
info:eu-repo/semantics/publishedVersion
Objeto de conferencia
http://purl.org/coar/resource_type/c_5794
info:ar-repo/semantics/documentoDeConferencia
format conferenceObject
status_str publishedVersion
dc.identifier.none.fl_str_mv http://sedici.unlp.edu.ar/handle/10915/58600
url http://sedici.unlp.edu.ar/handle/10915/58600
dc.language.none.fl_str_mv spa
language spa
dc.relation.none.fl_str_mv info:eu-repo/semantics/altIdentifier/url/http://jornadasfilo.fahce.unlp.edu.ar/actas-2015/a27.pdf/view
info:eu-repo/semantics/altIdentifier/issn/2250-4494
dc.rights.none.fl_str_mv info:eu-repo/semantics/openAccess
http://creativecommons.org/licenses/by-nc-nd/2.5/ar/
Creative Commons Attribution-NonCommercial-NoDerivs 2.5 Argentina (CC BY-NC-ND 2.5)
eu_rights_str_mv openAccess
rights_invalid_str_mv http://creativecommons.org/licenses/by-nc-nd/2.5/ar/
Creative Commons Attribution-NonCommercial-NoDerivs 2.5 Argentina (CC BY-NC-ND 2.5)
dc.format.none.fl_str_mv application/pdf
dc.source.none.fl_str_mv reponame:SEDICI (UNLP)
instname:Universidad Nacional de La Plata
instacron:UNLP
reponame_str SEDICI (UNLP)
collection SEDICI (UNLP)
instname_str Universidad Nacional de La Plata
instacron_str UNLP
institution UNLP
repository.name.fl_str_mv SEDICI (UNLP) - Universidad Nacional de La Plata
repository.mail.fl_str_mv alira@sedici.unlp.edu.ar
_version_ 1842260255366447104
score 13.13397

Publicaciones similares