|
|
|
|
| LEADER |
00000naa a2200000 a 4500 |
| 001 |
EVENTO07344 |
| 008 |
190506s2016####|||#####|#####1###0#####d |
| 100 |
|
|
|a Frenkel, Beatriz
|u UBA
|
| 700 |
|
|
|a Kakazu, Gabriel Nicolás
|u UBA
|
| 245 |
1 |
0 |
|a Distintos enfoques hacia una teoría de la formalización en Lógica
|
| 041 |
|
7 |
|2 ISO 639-1
|a es
|
| 520 |
3 |
|
|a 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
|
| 856 |
4 |
0 |
|u https://www.memoria.fahce.unlp.edu.ar/trab_eventos/ev.7602/ev.7602.pdf
|
| 952 |
|
|
|u https://www.memoria.fahce.unlp.edu.ar/trab_eventos/ev.7602/ev.7602.pdf
|a MEMORIA ACADEMICA
|b MEMORIA ACADEMICA
|
| 856 |
4 |
1 |
|u http://jornadasfilo.fahce.unlp.edu.ar/actas-2015
|
| 773 |
0 |
|
|7 m2am
|a Jornadas de Investigación en Filosofía (10 : 2015 : Ensenada)
|t [Actas]
|d Ensenada : Universidad Nacional de La Plata. Facultad de Humanidades y Ciencias de la Educación. Departamento de Filosofía, 2016
|
| 542 |
1 |
|
|f Esta obra está bajo una licencia Creative Commons Atribución-NoComercial-SinDerivadas 2.5 Argentina
|u https://creativecommons.org/licenses/by-nc-nd/2.5/ar/
|
