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.

Modelo de Gestion Intersectorial para la formalización de villas, a partir de la revisión de normativa urbana, marco jurídico-político, y la innovación tecnológica de los recursos. Intersectorial management model for the formality of the illegal growth settles beginning from the revision of the urban norm, political - juridical, and the technological innovation of the resources.

El Proyecto que se presenta en esta convocatoria está relacionado con el diseño y desarrollo de procesos de gestión intersectorial para la reconversión formal del hábitat en asentamientos de crecimiento espontáneo e ilegal a partir de la la revisión de marcos legales y normativos respecto del derecho al uso de suelo urbano y la seguridad jurídica en la tenencia (regulación dominial) bajo un enfoque sustentable de los Derechos Humanos (DDHH) como así también a partir de la innovación tecnológica de los recursos para el mejoramiento habitacional en el marco de los aportes relacionados con la Responsabilidad Social Empresarial (RSE) .La originalidad, en este caso, se basa en la exploración de nuevos procesos de gestión mixta en los que intervienen diversos actores: ESTADO, SOCIEDAD, EMPRESA y COMUNIDAD CIENTIFICA, configurando un circuito intersectorial de gestión, capacitación y producción de hábitat que respondan al fortalecimiento del desarrollo comunitario, entendido como desarrollo económico con inclusión social y urbana.Los objetivos están relacionados con el fortalecimiento de la producción integral del hábitat social procurando el desarrollo genuino de las comunidades a partir de la expansión de sus capacidades y sus derechos.El presente proyecto de investigación explorará la producción de hábitat y de ciudad informal procurando reconvertirla hacia un modelo de gestión sustentable (normativo y tecnológico), basado en la necesidad de producir ciudadanía digna a partir de la construcción formal de hábitat.La propuesta del proyecto supone la participación intersectorial en la planificación formal y en la toma de decisiones para una inclusión social y económica, en el marco de un modelo de desarrollo de génesis inclusor, constituyéndose en un avance de conocimientos del propio campo disciplinar (hábitat) como así también de otros campos afines a los mismos (jurídico- social - económico- productivo- político ).