La dialéctica platónica de unidad y multiplicidad: Logos, ontología, principios y el concepto de filosofía

La investigación se propone considerar la presencia de la dialéctica de unidad y multiplicidad como un motivo estructurante en la filosofía platónica, que constituye la pieza clave para comprender la respuesta platónica al problema del Logos (especialmente planteado a partir de la explicación de la falsedad), pero también constituye el centro del concepto platónico de filosofía, así como también la perspectiva de fondo desde la cual se abordaran problemas éticos y ontológicos. Se propone un trabajo con los textos platónicos, utilizando no solo sus diálogos, en todos los casos consultados en idioma original y edición crítica, sino también hoy disponibles documentos que se identifican como Testimonia platónica, que reúnen la tradición indirecta de la Academia y resultan especialmente atinentes para la precisión de la dialéctica de la unidad y multiplicidad a partir de la conexión de esta última con la llamada doctrina de los principios. Como objetivo general, la investigación se plantea demostrar el significado profundo para la formulación filosófica de Platón que le cabe a la dialéctica de unidad y multiplicidad para diferentes problemas planteados a esta filosofía (éticos, lógicos, ontológicos), así como también hacer plausible que el rol de la doctrina de los principios en los diálogos, esto es, en el ámbito de la escritura, debe ser entendido a partir de la clarificación de la función que en los diálogos desempeña la mencionada concepción dialéctica. Esto se desarrollará en un estudio abarcante de los diálogos del período medio y tardío. Como objetivo específico se plantea el estudio y clarificación del problema de la falsedad, abordando un análisis detenido del diálogo Sofista, en el cual afrontaremos especialmente la discusión de interpretaciones contemporáneas sobre los aspectos lógicos concernientes a la teoría de la predicación manifiesta en dicho diálogo, pero intentando a la vez demostrar que el análisis de la combinación de los llamados "géneros superiores" está en función de la superación de la concepción monista del ser en el eleatismo, lo cual arroja la formulación de la dialéctica de unidad y multiplicidad.

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.