Lógica interna y Educación Física. Presentación de un proyecto de investigación

En esta ponencia realizaremos sucintamente la presentación de un proyecto de investigación que ha sido recientemente acreditado en la UNLP (Saraví, 2015). Dicha pesquisa está centrada en el estudio de la lógica interna (Parlebas, 1981, 2001), desde el marco teórico de la Praxiología Motriz. Al respecto, y desde esta perspectiva de análisis, nos interesa indagar en cómo los profesores de Educación Física de la ciudad de La Plata y Ensenada llevan adelante la enseñanza de diferentes prácticas corporales en instituciones educativas, clubes y/o espacios no formalizados. Asimismo buscamos conocer las características y rasgos de algunas de esas prácticas corporales -es decir, su lógica interna-, buscando las articulaciones con la Educación Física y tratando de indagar respecto a sí los profesores de esta disciplina conocen o no el concepto, y como lo utilizan. En este proyecto nos interesa particularmente explicar cómo opera el conocimiento de la lógica interna de esas prácticas en lo que concierne a su enseñanza y-o su gestión por parte de los docentes del área

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

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

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

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