Este estudio reconstruye el juicio de Sócrates, especialmente, el caso levantado por los acusadores. La primera parte es una discusión sobre las fuentes que tenemos disponibles para reconstruir el juicio, especialmente el análisis de Jenofonte en Memorabilia. La segunda parte reconstruye el juicio basados en una nueva evaluación de las fuentes. La tercera parte discute los aspectos políticos del juicio, y argumenta que haber levantado acusaciones políticas contra Sócrates no era necesariamente una infracción a la amnistía del 403. Más aún, (...) un estudio prosopográfico del círculo social alrededor de Sócrates muestra que un alto número de sus “amigos” eran ciudadanos que se habían unido a la revolución oligárquica del 411 y del 404-403 y habían sido condenados por traición y/o impiedad. Finalmente, se presenta un diálogo pseudo-platónico entre Sócrates y Ánito en el que Sócrates tiene que admitir que la democracia es la mejor constitución posible. (shrink)

This paper presents a new interpretation of the objects of dianoia in Plato’s divided line, contending that they are mental images of the Forms hypothesized by the dianoetic reasoner. The paper is divided into two parts. A survey of the contemporary debate over the identity of the objects of dianoia yields three criteria a successful interpretation should meet. Then, it is argued that the mental images interpretation, in addition to proving consistent with key passages in the middle books of the (...) Republic, better meets those criteria than do any of the three main positions. (shrink)

In Plato's Phaedrus, Socrates offers two speeches, the first portraying madness as mere disease, the second celebrating madness as divine inspiration. Each speech is correct, says Socrates, though neither is complete. The two kinds of madness are like the left and right sides of a living body: no account that focuses on just one half can be adequate. In a recent paper, Hugh Benson gives a left-handed speech about a psychic condition endemic among mathematicians: dianoia. Benson acknowledges that his account (...) is one-sided, but only hints at the virtues of right-handed dianoia. This note sketches a somewhat fuller picture. (shrink)

The Web initially emerged as an “antidote” to accumulated scientific knowledge, since it enables global representation and communication at a minimum cost. Its gigantic scale and interdependence allow us our ability to find relevant information and develop trustworthy contexts. It is time for science to compensate by providing an epistemological “antidote” to Web issues. Philosophy should be in the front line by forming the salient questions and analysis. We need a theory about Web being that will bridge philosophical thinking and (...) engineering. This article analyzes existence and spatiotemporality in the Web and how it transforms the traditional actualities. The resulting issues concern the self-determination of a being and the way in which the Web could be a free and open platform for innovation and participation. (shrink)

This article presents an historical and conceptual overview on different approaches to logical abstraction. Two main trends concerning abstraction in the history of logic are highlighted, starting from the logical notions of concept and function. This analysis strictly relates to the philosophical discussion on the nature of abstract objects. I develop this issue further with respect to the procedure of abstraction involved by (typed) λ-systems, focusing on the crucial change about meaning and predicability. In particular, the analysis of the nature (...) of logical types in the context of Constructive Type Theory allows elucidation of the role of the previously introduced notions. Finally, the connection to the analysis of abstraction in computer science is drawn, and the methodological contribution provided by the notion of information is considered, showing its conceptual and technical relevance. Future research shall focus on the notion of information in distributed systems, analysing the paradigm of information hiding in dependent type theories. (shrink)