Reconstrucciones de la racionalidad social

El presente proyecto forma parte del programa de Hermenéutica, Racionalidad y Argumentación. El problema central es el de la "racionalidad"en cuanto predicada de las distintas formas que los hombres tienen de entrar en relación con el mundo objetivo, con el mundo social y el de la propia subjetividad (Habermas). Se presupone que la "racionalidad" así entendida -complicada en la trama de acciones humanas significativas, sedimentada en la cultura, en las instituciones, en el lenguaje- es objeto, por un lado, de la filosofía, la que intentaría reconstruir sus dimensiones pragmáticas universales, y por otro lado, de las ciencias sociales, las que aprehenderían sus concreciones históricas, en nuestro caso, en América Latina. El proyecto persigue un objetivo teórico: continuar analizando la categoría de racionalidad implantada en la acción social significativa desde una perspectiva epistemológica, pragmática y reconstructiva, desde una perspectiva reconstructiva, histórica y hermenéutica, e histórico-sistemática; y un objetivo práctico: posibilitar institucionalmente la conclusión de dos trabajos finales de maestría. La importancia radicaría en 1) vincular de una distinta manera filosofía y ciencia social y proveer un acceso heurísticamente fecundo a la pregunta acerca del pensamiento filosófico de la región 2) contribuir teórica y metodológicamente a suministrar formas de conocimiento de nuestro pasado y nuestro presente cultural, en los cuales están acumuladas las interpretaciones de la realidad de las generaciones que nos precedieron, desde las cuales se diseña nuestra identidad individual y social, se entreteje la trama de relaciones en las que nos socializamos, se precontienen modos de producción económicas y se configuran las formas de organizar el estado.

Descubrimiento científico y estrategias inductivas

Se continúa en la investigación de la temática general y multifacética del descubrimiento científico que este equipo ha venido desarrollando desde hace varios años. En la etapa que corresponde a este proyecto priorizaremos la relación entre el descubrimiento científico -entendido como temática propia de la filosofía de la ciencia- y estrategias inductivas consideradas como propias de la epistemología y las teorías del conocimiento. Objetivos generales: 1. Explorar y explicitar las relaciones entre descubrimiento científico e inducción, desde la óptica de las diferentes estrategias inductivas abordadas actualmente dentro del ámbito filosófico. 2. Realizar una comparación y ponderación crítica de los alcances y límites de estas estrategias, en relación con el contexto de descubrimiento y las diferencias ampliativas. 3. Evaluar la incidencia de estas estrategias filosóficas dentro del ámbito de la Filosofía de la Ciencia y la Metodología. Objetivos específicos: a) Análisis críticos de los enfoques pragmatistas contemporáneos sobre la inducción. a1) Evaluación del estado de las discusiones actuales sobre la proyectabilidad y el entrenchment. b) Exploración de algunas estrategias ampliativas involucradas en procesos de descubrimiento científico. c) Análisis de la interacción entre inferencias inductivas y la evolución de las Teorías de la confirmación. Se intentará elucidar cómo en la actualidad el debilitamiento de los programas de confirmación ha dado lugar a la emergencia de nuevas estrategias de descubrimiento. c1) Focalización de algunos aspectos relevantes de la tensión existente entre inducción, confiabilidad y justificación. d) Descripción de la relación entre inducción y la emergencia del concepto de probabilidad. e) Continuación de la elaboración de un sistema de búsqueda de patterns a partir de datos de arqueología. Implementación en LISP. f) Confrontación de algunos importantes trabajos filosóficos respecto a la relación entre inferencias ampliativas y descubrimiento científico. g) Revaluación de las obras metodológicas de Descartes, atendiendo al contexto de descubrimiento.

Filososofía y Ciencia Computacional: Aspectos epistemológicos, ontológicos y metodológicos. Philosophy and Computing Sciencs: Epistemological, Ontological and Methodological Aspects.

Uno de los temas centrales del proyecto concierne la naturaleza de la ciencia de la computación. La reciente aparición de esta disciplina sumada a su origen híbrido como ciencia formal y disciplina tecnológica hace que su caracterización aún no esté completa y menos aún acordada entre los científicos del área. En el trabajo Three paradigms of Computer Science de A. Eden, se presentan tres posiciones admitidamente exageradas acerca de como entender tanto el objeto de estudio (ontología) como los métodos de trabajo (metodología) y la estructura de la teoría y las justificaciones del conocimiento informático (epistemología): La llamada racionalista, la cual se basa en la idea de que los programas son fórmulas lógicas y que la forma de trabajo es deductiva, la tecnocrática que presenta a la ciencia computacional como una disciplina ingenieril y la ahi llamada científica, la cual asimilaría a la computación a las ciencias empíricas. Algunos de los problemas de ciencia de la computación están relacionados con cuestiones de filosofía de la matemática, en particular la relación entre las entidades abstractas y el mundo. Sin embargo, el carácter prescriptivo de los axiomas y teoremas de las teorías de la programación puede permitir interpretaciones alternativas y cuestionaría fuertemente la posibilidad de pensar a la ciencia de la computación como una ciencia empírica, al menos en el sentido tradicional. Por otro lado, es posible que el tipo de análisis aplicado a las ciencias de la computación propuesto en este proyecto aporte nuevas ideas para pensar problemas de filosofía de la matemática. Un ejemplo de estos posibles aportes puede verse en el trabajo de Arkoudas Computers, Justi?cation, and Mathematical Knowledge el cual echa nueva luz al problema del significado de las demostraciones matemáticas.Los objetivos del proyecto son: Caracterizar el campo de las ciencias de la computación.Evaluar los fundamentos ontológicos, epistemológicos y metodológicos de la ciencia de la computación actual.Analizar las relaciones entre las diferentes perspectivas heurísticas y epistémicas y las practicas de la programación.

La asimilación del paradigma moderno de la ciencia en Córdoba. La Physica Particularis de Elías del Carmen Pereyra (1786). Transcripción, versión española y estudio. The assumption of the Modern Paradigm of Science in Córdoba. Physica Particularis by Elías del Carmen Pereira (1786). Transcription, spanish version and study.

El presente trabajo aborda el estudio multidisciplinario de las ideas acerca de la física y la ciencia en general en Córdoba en el siglo XVIII a través de Physica Particularis de Elías del Carmen Pereira (1786), texto manuscrito en lengua latina inédito y recuperado luego de dos siglos de desaparición. El trabajo comprende su transcripción paleográfica, versión española y estudio centrado en la asimilación del paradigma de la ciencia moderna y su enseñanza en la universidad. Se atenderá especialmente a los conceptos que permiten ver en este texto un grado notable de actualización y conocimiento de las ideas de científicos contemporáneos como Nollet y Newton.

Rol de los factores de crecimiento Wnt sobre el desarrollo de polaridad neuronal y crecimiento axonal. Role of Wnt growth factors on neuronal polarity and axon growth.

El desarrollo y funcionamiento del sistema nervioso dependen de la formación de circuitos neuronales específicos y de programas intrínsecos y extrínsecos que actúan como moduladores del desarrollo neuronal. Inicialmente, los neuroblastos "sensan" a través de receptores específicos, la presencia en el medio de factores de crecimiento, como neurotrofinas clásicas (BDNF, NGF, etc), IGF-1, factores Wnts, que regulan la diferenciación neuronal, polarización, migración, etc. Hasta hace pocos años, las funciones específicas de los diferentes sistemas de factor de crecimiento-receptor en el establecimiento de polaridad y la regulación del crecimiento axonal eran mayormente desconocidas. Más recientemente, trabajos de nuestro y otros grupos de investigación han aportado significativamente al conocimiento de los mecanismos que involucran los sistemas IGF-1-receptor de IGF-1, BDNF-TrkB y NGF-TrkA sobre el desarrollo de polaridad neuronal. Sin embargo, si bien se conoce que los factores de crecimiento Wnt cumplen un rol crucial en eventos que ocurren durante la maduración neuronal (dendritogénesis, sinaptogénesis) poco se sabe sobre los mecanismos por los cuales estos factores regularían el establecimiento inicial de polaridad y el crecimiento axonal. Los factores Wnt como así también su primer efector intracelular Dishevelled (DVL) y sus cascadas de señalización participan de procesos como neurogénesis, guiado axonal, desarrollo dendrítico y formación y mantenimiento de sinápsis. Por estas razones, para el desarrollo del presente proyecto planeamos estudiar los efectos de los factores Wnts, su receptor Frizzled (Fz) y su efector DVL sobre el establecimiento de polaridad y la regulación del crecimiento axonal. También compararemos los efectos de los factores Wnt con los de IGF-1 (el único factor de crecimiento conocido esencial para el establecimiento de polaridad). Finalmente, intentaremos determinar cuál o cuáles de las cascadas intracelulares de señalización activadas por los Wnts están involucradas en sus efectos axogénicos. La metodología a utilizar se basará en el empleo de cultivos primarios de neuronas de hipocampo de embriones de rata de 18 días de gestación, los que serán expuestos a los factores Wnt y/o IGF-1. Se diseñarán experimentos tendientes a evaluar los efectos de dichos factores durante los diferentes estadíos de diferenciación neuronal que se analizarán por microscopía de fluorescencia confocal. Al mismo tiempo se realizarán ensayos de subfraccionamiento que permitan purificar conos de crecimiento aislados en los que se evaluará el rol local de Wnt y sus efectores sobre la fosforilación de quinasas que median la adición local de membrana y elongación axonal. Se examiná el rol de DVL sobre la especificación axonal a través de la expresión epistática en neuronas no diferenciadas como así también se bloqueará su expresión a tavés del uso de siRNA o cDNAs que actúen como dominantes negativas. Finalmente, se examinará una posible "transactivación" por IGF-1 o Wnts de sus receptores o primeros efectores intracelulares específicos, IRS-1- PI3K para IGF-1 y Dishevelled para Wnts. Para ello, se diseñarán experimentos en los que se utilizarán inhibidores farmacológicos específicos y se realizan ensayos de fosforilación en conos de crecimiento aislados y en cultivos neuronales. Los resultados serán cuantificados y sometidos softwares estadísticos adecuados.El desarrollo de estos experimentos nos permitirá examinar posibles paralelismos entre la activación del sistema Wnt-Frizzled-Dishevelled y del sistema IGF-1-Receptor de IGF-1-PI3K, el único sistema factor de crecimiento-receptor conocido esencial para el establecimiento de la polaridad neuronal y así poder lograr un acercamiento al/los posible mecanismo/s que regula/n la diferenciación neuronal y el crecimiento axonal.

Deformaciones del federalismo fiscal argentino y corrupción política

Al recordar que por federalismo se entiende la forma de Estado donde coexiste un poder central con poderes regionales es natural que exista en potencia un conflicto entre ambos tipos o polos de poder, aun en el caso que se hayan definido con precisión las funciones que corresponde a uno. El conflicto puede y suele volverse activo por una inequitativa distribución de los recursos públicos entre ambos niveles en relación a los bienes o servicios públicos prestados por cada uno. Pero esta no es la única mirada que debería tenerse en cuenta para medir el mal desempeño de un sistema federal de gobierno. Aquí nos hemos de ocupar más específicamente de dos distorsiones que tienen lugar dentro del federalismo fiscal argentino y que no son incompatibles. Una es la asimetría en la redistribución geográfica de los ingresos públicos. La otra deformación fiscal del federalismo proviene de la existencia de un sistema de previsión social muy interdependiente de la fiscalidad. Nuestra tesis es que la persistencia de estas distorsiones obedece a la existencia de corrupciones políticas. Por ello nos planteamos las siguientes hipótesis: 1.- La distorsión en el sistema federal argentino responde en parte a a) Una asimetría en la redistribución geográfica de los ingresos públicos recaudados centralmente, cuya desproporción es alta, injustificada y permanente y b) la interdependencia de los recursos gubernamentales destinados al gasto común con el sistema de recursos del sistema de la seguridad social. 2.- Ambas distorsiones son causadas por corrupciones políticas y no coadyuvan a cerrar la brecha en la distribución personal del ingreso en las regiones pobres y favorecidas ni a mejorar los haberes jubilatorios nacionales Estas hipótesis han sido planeadas en pos de alcanzar los objetivos generales de: analizar la deformación del federalismo argentino producida por distorsiones en la redistribución del ingreso público nacional e indagar sobre su relación con corrupciones políticas. Y, específicamente: a.- Determinar con información cuantitativa propia, la magnitud de la asimetría en la redistribución geográfica de la recaudación nacional, período 2000 – 2011; b.- describir la perturbación que ocasiona la interdependencia de los recursos gubernamentales con el sistema de previsión social, desde la década de 1940 a la actualidad y c.- ofrecer un modelo de corrupción política que ayude a comprender las distorsiones anteriores en el federalismo argentino. Esta es una investigación con diseño no experimental que, en términos de los objetivos específicos recién dados, ha de conjugar: La construcción de una serie histórica, para cada año del período 2000 – 2011, de la distribución regional de los flujos fiscales netos que opera el gobierno nacional cuyos detalles metodológicos han sido explicitados en trabajos previos del mismo equipo [Ej.: Ruarte Bazán, R. et al, (2009) Hacia una interpretación del federalismo argentino actual. Edición en CD. 42ª Jornadas Internacionales de Finanzas Públicas. FCE UNC. Córdoba. 16 p], con la recopilación de normas jurídicas y/o información relacionada, referidas a las transferencias monetarias del Sistema de Seguridad Social al Tesoro Nacional y viceversa y la indagación sobre modelos teóricos y datos existentes acerca de corrupción política y federalismo y su adecuación al caso argentino. Como se espera verificar nuestra tesis general y las hipótesis de trabajo mencionadas, el impacto puede ser muy importante ya que introduce y suma la dimensión geográfica o regional como determinante de la corrupción política y consecuentemente proporcionaría una plataforma de ataque a este vicio burocrático, siempre que exista la suficiente decisión política de los gobiernos y residentes perjudicados por su existencia. l

Relevamiento crítico de la concepción de ciencia de textos escolares y docentes del área de Ciencias Sociales de escuela media.

El libro de texto escolar se conforma en uno de los recursos fundamentales para la enseñanza y en nuestro país, en muchos casos, en el único recurso disponible. Por tanto, en este trabajo nos preocupa la desde donde se enseña la ciencia y los procedimientos de desarrollo del conocimiento científico. Estudiar la concepción de ciencia que presentan los textos escolares y los docentes del área de Ciencias Sociales de los últimos años de escuela secundaria es una alternativa válida para comprender la forma en que se enseña ciencia en la institución educativa. Nuestra hipótesis sustantiva es que la concepción de ciencia y del proceso de investigación científica en el área de las Ciencias Sociales, tomando como unidades de análisis los libros de textos y las concepciones de los docentes no coincide con los procedimientos actuales y reales de producción de nuevos conocimientos científicos. Se supone que en los textos escolares subyace una concepción de ciencia alejada de los desarrollos actuales y como consecuencia los docentes –que solamente se valen de textos escolares- enseñan esa misma concepción. Los objetivos que nos proponemos son: a) identificar la concepción más habitual de ciencia que subyace en los libros de textos escolares del cuarto y quinto año de escuela media de una región educativa determinada; b) identificar la concepción de ciencia más frecuente que utilizan los docentes de esa misma región; c) describir y explicar las características generales que asumen ambas concepciones y d) confrontar esas concepciones con desarrollos epistemológicos actuales.Nos interesa un enfoque integrador que genere un espacio de reflexión acerca de la ciencia en sentido amplio, trascendiendo la visión de ciencia natural tradicional. La pertinencia de nuestra investigación fue claramente expresada por Teun Van Dijk,: “Para mí no hay duda que los libros de texto merecen mucho más estudio teórico y empírico sobre todos sus aspectos: sus géneros de discurso, sus estructuras textuales y multimodales, sus estrategias didácticas, su papel en la adquisición y la reproducción de conocimientos e ideologías, sus funciones sociales y culturales, su desarrollo y cambios históricos, su variación en diferentes países, entre muchos otros temas” (Entrevista, WebMEChile, 2010). En este marco buscamos que esta investigación pueda ser un aporte para el desarrollo interno de un campo de investigación y su transferencia a editores y autores, docentes y alumnos. Esta investigación se enmarca en una investigación de tipo exploratoria orientada a conocer hechos nuevos, a generar nuevas preguntas y nuevas hipótesis. Se trabajará con una grilla de revisión de textos escolares que será elaborada en el marco de la investigación y con un cuestionario sobre concepciones de ciencia docentes elaborado sobre la base del Inventario de creencias pedagógicas y científicas de los profesores (Porlán 1997, 2002; 2004).

Los objetos técnicos y los organismos tecnificados. Reflexiones filosóficas, estéticas y políticas sobre la técnica. Technical objects and technified organisms. Philosophical, aesthetical and political approaches on technique

El presente proyecto se propone como parte inicial de una investigación sobre la relación entre naturaleza/cultura/técnica. Tradicionalmente la naturaleza y la cultura se han considerado como ámbitos diferenciados y opuestos. Y es en esta distinción donde la técnica adquiere un lugar central. El pensamiento occidental sobre la técnica ha recibido diversas interpretaciones: desde una subordinación con respecto al conocimiento verdadero (episteme) en la filosofía clásica, un optimismo sobre la técnica como posibilidad de dominación de la naturaleza en el Renacimiento y la Ilustración, y la ambigüedad y desasosiego romántico (Mitcham, 1979). Durante el siglo XX se distinguen dos posiciones antagónicas sobre la técnica. Por un lado, una actitud “crítica” donde pueden identificarse los trabajos de filósofs de diferentes tradiciones como Ortega y Gasset (1939), Heidegger (1954), Mumford (1971) Ellul (1960) y la Escuela de Frankfurt. Por otro lado, una filosofía de la técnica “ingenieril” que consiste en el análisis de la tecnología como un paradigma de pensamiento y acción humana. Esta dicotomía ha sido interpretada por Eco como “apocalípticos e integrados”. Más allá de las mencionadas diferencias, lo que tienen en común ambas posiciones es que parten de una dicotomía entre cultura y naturaleza. Nuestra perspectiva rechaza esta dicotomía, por el contrario, evidenciamos una creciente imbricación entre ambas donde las fronteras entre una y otra se hacen difusas. La noción de “objeto técnico” propuesta por Simondon (2007) hace referencia a la inserción del objeto técnico en la cultura, donde debe reconocerse la “realidad humana” presente en el mismo. Ahora bien, esto no significa “humanizar el objeto técnico”, sino más bien indagar sobre el lugar que este ocupa en la cultura como también establecer su relación con la naturaleza. En el siglo XVII el hombre mismo es reinterpretado como máquina (La Mettrie, 2000). En la actualidad pueden identificarse dos tendencias en la concepción de la técnica: los «humanos-máquinas» y las «máquinas-humanas», en otras palabras, la disposición del humano hacia la máquina y la tendencia de la máquina hacia lo humano. No obstante, ambas posiciones siguen manteniendo una distinción taxonómica entre el cuerpo –o lo orgánico- y lo maquínico, lo que implica una consideración de esta relación de manera extrínseca. Frente a esta tensión Haraway propone el concepto de cyborg: «un organismo cibernético» (1995). Los desarrollos tecnológicos han producido una modificación tal en la vida de los seres orgánicos en los cuales ya no puede concebirse su cuerpo independientemente de la tecnología. Esto conduce a replantear la distinción entre “animales/hombres/máquinas”, entendiendo a los mismos como expresiones de naturaleza, cultura y tecnología respectivamente. Nuestra investigación parte de la hipótesis que la técnica diluye diferencias de orden natural y cultural a través de los objetos técnicos que son productos culturales. La estética se ocupa de la percepción sensible del mundo no puede eludir su dimensión técnica. Al margen de la crítica a la “Industria cultural” consideramos relevante la aproximación de Benjamin al problema de la técnica porque aborda la imbricación antes mencionada en el campo de la percepción. Según Benjamin la irrupción de la técnica al mismo tiempo que posibilita una estetización de la política que confluye en el fascismo como punto extremo también abre la posibilidad de desmontar la ideología del progreso infinito (1967). Una integración entre aproximaciones estéticas y políticas a la técnica Flusser (1983) propone la “caja negra” como metáfora de la técnica contemporánea. Su propuesta es la “apertura de la caja negra” que consiste en tomar conocimiento del funcionamiento del dispositivo. Nuestra propuesta de investigación aborda la técnica desde una consideración filosófica/estética/política, donde redefiniremos la técnica partiendo de la imbricación entre cultura y naturaleza. This project will set the basis for a sustained research on the relation nature/culture/technique. They have been traditionally considered as separate and even opposite fields. And it is on the brink of this distinction where technique plays a central role. In Western thought technique has received many interpretations since the beginnings of philosophy: from a subordination to true knowledge (episteme) in classic philosophy, or the optimism which sees in technique the possibility of dominating nature in the Renaissance and in the Enlightenment, to the Romantic ambiguity and uneasiness towards technological change (Mitcham, 1979). During the twentieth century two opposed approach on technique prevail. On one hand, a “critical” attitude such defines the work of philosophers of different traditions such as Ortega y Gasset (1939), Heidegger (1954), Mumford (1971) Ellul (1960) and the Frankfurt School. On the other hand there is an “engineering” philosophy of technique that consists in the analisis of technology as a paradigm to understand human action and thought. Besides their differences, both positions have in common a dichotomy between nature and culture. We reject such dichotomy. On the contrary we consider there is a growing intertwinement between both which blurs the borders of the concepts. Simondon’s notion of “technical object” refers to the insertion of the technique in culture where the “human reality” in it must be recognised. This does not imply “humanising the technical object”, but investigate on the role it plays on culture and establishing its relation to nature. To articulate this relation we will work with unorthodox approaches on technique such as Benjamin (1967), Flusser (1983) and others. The hypothesis of our project is that the traditional distinction of “animal/man/machine” must be re-thought, therefore raising the question on the blurring line between nature, culture and technique and its effects in philosophy, politics and aesthetics.

Construcción de un Test de Conocimiento General. Development of a General Knowledge Test

Entre los factores que contribuyen a predecir el rendimiento académico se pueden destacar aquellos que reflejan capacidades cognitivas (inteligencia, por ejemplo), y aquellas diferencias individuales consideradas como no-cognitivas (rasgos de personalidad, por ejemplo). En los últimos años, también se considera al Conocimiento General (CG) como un criterio para el éxito académico (ver Ackerman, 1997), ya que se ha evidenciado que el conocimiento previo ayuda en la adquisición de nuevo conocimiento (Hambrick & Engle, 2001). Uno de los objetivos de la psicología educacional consiste en identificar las principales variables que explican el rendimiento académico, como también proponer modelos teóricos que expliquen las relaciones existentes entre estas variables. El modelo teórico PPIK (Inteligencia-como-Proceso, Personalidad, Intereses e Inteligencia-como-Conocimiento) propuesto por Ackerman (1996) propone que el conocimiento y las destrezas adquiridas en un dominio en particular son el resultado de la dedicación de recursos cognitivos que una persona realiza durante un prolongado período de tiempo. Este modelo propone que los rasgos de personalidad, intereses individuales/vocacionales y aspectos motivacionales están integrados como rasgos complejos que determinan la dirección y la intensidad de la dedicación de recursos cognitivos sobre el aprendizaje que realiza una persona (Ackerman, 2003). En nuestro medio (Córdoba, Argentina), un grupo de investigadores ha desarrollado una serie de recursos técnicos necesarios para la evaluación de algunos de los constructos propuesto por este modelo. Sin embargo, por el momento no contamos con una medida de Conocimiento General. Por lo tanto, en el presente proyecto se propone la construcción de un instrumento para medir Conocimiento General (CG), indispensable para poder contar con una herramienta que permita establecer parámetros sobre el nivel de conocimiento de la población universitaria y para en próximos trabajos poner a prueba los postulados de la teoría PPIK (Ackerman, 1996). Between the factors that contribute to predict the academic achievement, may be featured those who reflect cognitive capacities (i.g. intelligence) and those who reflect individual differences that are considered like non-cognitive (i.g. personality traits). In the last years, also the General Knowledge has been considered like a criterion for the academic successfully (see Ackerman, 1997), since it has been shown that the previous knowledge helps in the acquisition of the new knowledge (Hambrick & Engle, 2001). An interesting theoretical model that has proposed an explanation for the academic achievement, is the PPIK (intelligence like a process, interests and inteligence like knowledge) proposed by Ackerman (1996), who argues that knowledge and the acquired skills in a particular domain are the result of the dedication of cognitive resources that a person perform during a long period of time. This model proposes that personality traits, individuals interests and motivational aspects are integrated as complex traits that determine the direction and the intensity of the dedication of cognitive resources on the learning that a person make (Ackerman, 2003). In our context, (Córdoba, Argentina), a group of researcher has developed a series of necessary technical resoures for the assesment of some of the theoretical constructs proposed by this model. However, by the moment, we do not have an instrument for evaluate the General Knowledge. Therefore, this project aims the construction of an instrument to asess General Knowledge, essential to set parameters on the knowledge level of the university population and for in next works test the PPIK theory postulates.

Verificación de Sistemas Basada en Teoría de Tipos. System verification in type theory

Este proyecto se enmarca en la utlización de métodos formales (más precisamente, en la utilización de teoría de tipos) para garantizar la ausencia de errores en programas. Por un lado se plantea el diseño de nuevos algoritmos de chequeo de tipos. Para ello, se proponen nuevos algoritmos basados en la idea de normalización por evaluación que sean extensibles a otros sistemas de tipos. En el futuro próximo extenderemos resultados que hemos conseguido recientemente [16,17] para obtener: una simplificación de los trabajos realizados para sistemas sin regla eta (acá se estudiarán dos sistemas: a la Martin Löf y a la PTS), la formulación de estos chequeadores para sistemas con variables, generalizar la noción de categoría con familia utilizada para dar semántica a teoría de tipos, obtener una formulación categórica de la noción de normalización por evaluación y finalmente, aplicar estos algoritmos a sistemas con reescrituras. Para los primeros resultados esperados mencionados, nos proponemos como método adaptar las pruebas de [16,17] a los nuevos sistemas. La importancia radica en que permitirán tornar más automatizables (y por ello, más fácilmente utilizables) los asistentes de demostración basados en teoría de tipos. Por otro lado, se utilizará la teoría de tipos para certificar compiladores, intentando llevar adelante la propuesta nunca explorada de [22] de utilizar un enfoque abstracto basado en categorías funtoriales. El método consistirá en certificar el lenguaje "Peal" [29] y luego agregar sucesivamente funcionalidad hasta obtener Forsythe [23]. En este período esperamos poder agregar varias extensiones. La importancia de este proyecto radica en que sólo un compilador certificado garantiza que un programa fuente correcto se compile a un programa objeto correcto. Es por ello, crucial para todo proceso de verificación que se base en verificar código fuente. Finalmente, se abordará la formalización de sistemas con session types. Los mismos han demostrado tener fallas en sus formulaciones [30], por lo que parece conveniente su formalización. Durante la marcha de este proyecto, esperamos tener alguna formalización que dé lugar a un algoritmo de chequeo de tipos y a demostrar las propiedades usuales de los sistemas. La contribución es arrojar un poco de luz sobre estas formulaciones cuyos errores revelan que el tema no ha adquirido aún suficiente madurez o comprensión por parte de la comunidad. This project is about using type theory to garantee program correctness. It follows three different directions: 1) Finding new type-checking algorithms based on normalization by evaluation. First, we would show that recent results like [16,17] extend to other type systems like: Martin-Löf´s type theory without eta rule, PTSs, type systems with variables (in addition to systems in [16,17] which are a la de Bruijn), systems with rewrite rules. This will be done by adjusting the proofs in [16,17] so that they apply to such systems as well. We will also try to obtain a more general definition of categories with families and normalization by evaluation, formulated in categorical terms. We expect this may turn proof-assistants more automatic and useful. 2) Exploring the proposal in [22] to compiler construction for Algol-like languages using functorial categories. According to [22] such approach is suitable for verifying compiler correctness, claim which was never explored. First, the language Peal [29] will be certified in type theory and we will gradually add funtionality to it until a correct compiler for the language Forsythe [23] is obtained. 3) Formilizing systems for session types. Several proposals have shown to be faulty [30]. This means that a formalization of it may contribute to the general understanding of session types.

La formación docente en la universidad: integración e interdisciplina, una propuesta de investigación-acción que articula prácticas educativas y de investigación en la educación superior y secundaria.

El presente trabajo tiene el propósito de describir analíticamente la experiencia de integración efectuada por cátedras de la Carrera del Profesorado Universitario cuya finalidad es formar en educación a profesionales que se desempeñan en el Nivel Secundario y Superior en Argentina. Las cátedras desde las que se realiza la experiencia son Investigación Educativa, Didáctica Especial, Historia de la Educación y Sociología de la Educación del Profesorado Universitario y la Licenciatura en Cs. de la Educación. La propuesta de las cátedras requirió, en etapas anteriores, de algunas decisiones tales como: ¿Desde qué perspectivas generar la integración? ¿Cuáles son las posibilidades de integrar? ¿Qué decisiones sobre la enseñanza y la evaluación supone asumir en este proyecto? ¿Cómo se efectúa el seguimiento de los alumnos?, entre otras. La construcción del problema de investigación demanda de la utilización de diferentes estrategias pedagógicas. De esta manera, se avanza desde esquemas amplios respecto a la temática a investigar para orientar- en un trabajo sostenido- a la delimitación en tiempo, espacio y contenido. En experiencias anteriores, durante el proceso de elaboración del proyecto, los Ejes problemáticos seleccionados predominantes surgen en la enseñanza universitaria caracterizada por diagnósticos de prácticas de docencia aisladas con la particularidad de no poder pensar la posibilidad de interactuar con otros espacios curriculares y establecer consensos. Aquellos trabajos que optan por inscribir sus problemáticas en el contexto institucional lo hacen en correlación con experiencias de gestión institucional. Las temáticas más seleccionadas están relacionadas con Ciencias de la Salud en el contexto universitario y, en menor grado, Ciencias Sociales y el nivel secundario. Estos estudiantes – docentes universitarios y docentes de escuelas secundarias - intentan reflexionar aspectos nodales de la formación docente y sus prácticas cotidianas vinculadas a la integración escolar, el compromiso con la enseñanza a través de problematizaciones variadas que abarcan desde qué se enseña, cómo y por qué en Ciencias Sociales hasta redefiniciones de herramientas e instrumentos de evaluación de prácticas finales obligatorias, en función de las prácticas asistenciales; el análisis y reformulación del instrumento de evaluación del posgrado; tensiones entre teoría y práctica y su preocupación por la evaluación para mejorar las estrategias de enseñanza; entre otros.

Procesos de cambio y aprendizaje organizacional desde sistemas complejos: aspectos procesuales de la cognición organizacional.

En continuidad con proyectos anteriores, la investigación persigue aportaciones a la mirada sistémica e interdisciplinar de los procesos de fortalecimiento de las capacidades de aprendizaje organizacional en organizaciones locales. Al momento, se ha avanzado en el diseño de estrategias de reconstrucción de procesos cognitivos organizacionales críticos, y en la postulación de un modelo de observación de la cognición organizacional con énfasis en la caracterización de los aspectos estructurales. Este proyecto en particular pone en foco los aspectos procesuales de la cognición organizacional, que se presentan como significativos en torno a los fenómenos de aprendizaje observados en los procesos de cambio organizacional en estudio. En ese sentido, el proyecto tiene por objetivo analizar los aspectos procesuales de los fenómenos de cambio y aprendizaje organizacional, planteando la operacionalización de dichos cambios en torno a una categoría de análisis de micro nivel que hemos denominado proceso de quiebre-tratamiento. Abrevamos en antecedentes de la investigación – acción y en fundamentos epistemológicos del enfoque filosófico político de los sistemas complejos, del pragmatismo epistemológico, y de la perspectiva axiológica de la ciencia. El planteo metodológico de tipo cualitativo, apela a recursos de la ciencia - acción, en los que mediante entrevistas individuales, grupales y mixtas, se exploran y confrontan aspectos significativos de los fenómenos de cambio, incluyendo en ello a referentes de investigación, de asistencia técnica y a protagonistas internos de los procesos de transformación institucional de las organizaciones en estudio.