We show how mereotopological notions can be expressed by extending intuitionistic propositional logic with propositional quantification and a strong modal operator. We first prove completeness for the logics wrt Kripke models; then we trace the correspondence between Kripke models and topological spaces that have been enhanced with an explicit notion of expressible region. We show how some qualitative spatial notions can be expressed in topological terms. We use the semantical and topological results in order to show how in some extensions (...) of the logics it is possible to express connectedness, non-emptiness and a set of jointly exhaustive, pairwise disjoint, binary relations that play a significant role in qualitative spatial reasoning. (shrink)

Pierre de Fermat is known as the inventor of modern number theory. He invented–improved many methods useful in this discipline. Fermat often claimed to have proved his most difficult theorems thanks to a method of his own invention: the infinite descent. He wrote of numerous applications of this procedure. Unfortunately, he left only one almost complete demonstration and an outline of another demonstration. The outline concerns the theorem that every prime number of the form 4n + 1 is the sum (...) of two squares. In this paper, we analyse a recent proof of this theorem. It is interesting because: it follows all the elements of which Fermat wrote in his outline; it represents a good introduction to all logical nuances and mathematical variants concerning this method of which Fermat spoke. The assertions by Fermat will also be framed inside their historical context. Therefore, the aims of this paper are related to the history of mathematics and to the logic of proof-methods. (shrink)

Aristotle created logic and developed it to a level of great sophistication. There was nothing there before; and it took more than two millennia for something better to come around. The astonishment experienced by readers of the Prior Analytics, the most important of Aristotle's works that present the discipline, is comparable to that of an explorer discovering a cathedral in a desert. This article explains and evaluates some of Aristotle's views about propositions and syllogisms. The most important omission is the (...) difficult subject of syllogisms involving modalities. Aristotle distinguishes two relations of opposition that can obtain between propositions with the same subject- and predicate-expressions: contrariety and contradiction. In every canonical syllogism, one term is common to the two premises: it is called “middle term,” or simply “middle.” The remaining two terms of the premises are the only ones occurring in the conclusion: they are called “extreme terms,” or simply “extremes.”. (shrink)

The aim of this article is to understand an important passage in the history of the sciences of the psyche: starting from the psychiatric problematization — and the consequent emergence — of the concept and the object called ‘sexuality’ in the second half of the 19th century, it attempts to show a series of continuities and discontinuities between this kind of reasoning and the birth of psychoanalysis in the first years of the 20th century. The particular focus is therefore directed (...) on two texts: Krafft-Ebing’s Psychopathia Sexualis and Freud’s Three Essays on the Theory of Sexuality. The argument runs along three intertwined axes: (1) an historico-epistemological analysis of the concepts and their transformations in the field of the science of sexuality; (2) an analysis of the power relationships between patients and physicians; and (3) an account of the psychiatric technologies of the self that have as an effect the emergence of new forms of ‘objective’ knowledge of the subject. The broader goal is to trace a map of the simultaneous and correlate coming into being and transformations both of new forms of objects and of new forms of subjects through the mediation of scientific concepts and techniques. (shrink)

_An examination of the philosophical notion of sacrifice from Kant to Nietzsche._.

The purpose of this paper is to contribute to shed some light on the early Stoics' practice of managing platonic suggestions to construct their epistemology. Instances of such a practice, which scholars have recently focussed on, are the Stoic reassessment of the account of phantasia Plato offers in the Sophist and the image of the wax block as discussed in the Theaetetus. In this work I put forward a comparison between the simile of the soul-book, as presented by Socrates in (...) the Philebus (39a1-c2), and the Stoic image of the soul as a sheet in which conceptions are inscribed. I try to show that a far-reaching investigation of the relationship between Plato and early Stoic epistemology should take such a comparison into due account. In section one, I go into the details of the comparison and argue that Plato's perceptual judgment (this is how I translate the term doxa as it is used in the relevant section of the Philebus) is compatible with Stoic phantasia. In section two, I try to show that the theorisation of assent enable the Stoics to reply to an objection Aristotle made to Plato's definition of phantasia as a mixture of perception and judgment. (shrink)

The aim of this chapter is to reconstruct a hypothetical genealogy of the U.S. national motto “in God we Trust” by comparing the juridical and theological concept of “depositum”. According to Philo of Alexandria, the deposit was the most sacred institutional act of ancient social life, because it had both a religious and a sociological function. According to the Epistulae to Timothy the term ‘deposit’ defined the legacy of the Christian faith of which the disciple of St. Paul was entrusted. (...) His task was to manage this legacy and to spread it among the others. Hence the deposit defined at the same time a contract based upon good faith and a symbolic space of “security”, namely a container that protected an unchangeable content: the oral knowledge transmitted by Christ to the Apostoles and, indirectly, to St. Paul. The depositum was also the procedure through which the word of Christ would acquire all its potential. On the other hand, the contract defined as “depositum” by Roman law was characterized by a centrality of the so-called bona fides and by the distinction between regular and irregular deposit. This means that the principle of good faith should lead the conducts of the manager whose task is exactly to look after an object called Christian faith. How can we interpret the word ‘trust’ according to the juridico-political remarks? The purpose of this chapter is to explain all these related issues. (shrink)

The article aims at describing an alternative way to the Foucaldian escape of sovereignty. According to Foucault the only chance to reach this goal is to “go beyond” this concept as well as of linked concepts such as “law” and “institution”. On the one hand this vision is affected by the erroneous identification of law with the order of the sovereign, while the original private dimension of law is totally neglected. On the other hand, Foucault cannot assume that it is (...) also possible to delegitimize sovereignty with the very tools of law, namely in a trial. The article deals with the case of the «mutilated sovereignty» of the Italian State which has been acknowledged by a court in 2006. The government has been compensated for the damages suffered by the State because of the illegal activity in a region. The sovereignty has been “estimated”. But estimating something unquantifiable like sovereignty is destroying its symbolic force. (shrink)

Biopolitics, as interaction of power and subjectivity, creates new ways of making law. It is no longer the definition of borders. It gives legitimacy to emerging practices.

The institution is always a heteronomous construction which supposes the intervention of a “fiat” establishing a break in the continuum of the natural succession of events. This beginning is a sequence of acts leading to a practical judgment on a reality that exists only because of this qualification. This is the sense of the legal verb instituere. The paper tests this vision of the institution on the case of a widespread practice in the managerial world: the 360-degree feedback. A Jesuit (...) genealogy of this practice illustrates new cultures within the firm and the consequences on the subjectivity level. (shrink)

Christ as symbol in Kant¿s religion -- Hegel's conception of God -- The reality of religion in Hegel's idealist metaphysics -- Hegel's version of the ontological argument for the existence of God -- The trinity and the I -- The death of God and recognition of the self -- Beyond subjectivism -- The relevance of Hegel's philosophy of religion today.

The version of the paradox of false judgement examined at Tht. 188c10–189b9 relies on the assumption that to judge falsehoods is to judge the things which are not. The presentation of the argument displays several syntactic ambiguities: at several points it allows the reader to adopt different syntactic connections between the components of sentences. For instance, when Socrates says that in a false judgement the cognizer is “he who judges the things which are not about anything whatsoever” (188d3–4), how should (...) the clause “about anything whatsoever” be construed? In common with “he who judges” and “the things which are not” (in which case the cognizer would be “he who judges about anything whatsoever the things which are not about it”), or exclusively with “he who judges” (in which case the cognizer would be “he who judges about anything whatsoever the things which are not”)? The most plausible answer is that both construals are envisaged. Accordingly, the argument has two branches corresponding to these two alternative construals. In particular, it attempts to show that in both cases the cognizer will address what does not exist – an impossibility. The idea that a false judgement is concerned with what is not about its reference has a clear echo in the Sophist. The way in which the problem is handled in the Theaetetus provides a hint that can help to find a solution for the hotly debated issue of the interpretation of the Sophist’s account of false statement. (shrink)

This paper deals with a case of Virgilian ambiguity, namely the famous hemistich at Aen. 4.298 omnia tuta timens. By highlighting a plausible reading with a causal force (‘fearing everything too calm’, ‘because of the excessive calmness’), it seeks to demonstrate that this hemistich is an ambiguous passage. This view is confirmed through the imitation by Valerius Flaccus, who, in alluding to the Virgilian passage (Argonautica 8.408–12), highlights its ambiguity by including both of the most plausible readings.

We present a sequent calculus for extensional mereology. It extends the classical first-order sequent calculus with identity by rules of inference corresponding to well-known mereological axioms. Structural rules, including cut, are admissible.

In this paper, I propose the idea that the French mathematician Michel Chasles developed a foundational programme for geometry in the period 1827–1837. The basic concept behind the programme was to show that projective geometry is the foundation of the whole of geometry. In particular, the metric properties can be reduced to specific graphic properties. In the attempt to prove the validity of his conception, Chasles made fundamental contributions to the theory of polarity and also understood that a satisfactory development (...) of projective geometry has to overcome the specificity of that theory itself. In this perspective, he developed his ideas on duality and homography, showing their dependence on the concept that he was going to pose at the basis of geometry: the anharmonic ratio, today called cross-ratio. The conceptual itinerary that starts from Chasles’ studies on polarity and ends with his results based on the cross-ratio represents the itinerary of his foundational programme. I will follow this complex and interesting line of thought, place it in the context of what was then called descriptive geometry, and outline a connection with the later great results of Von Staudt, Cayley, and Klein. (shrink)

The study of the neuroscience and genomics of mental illness are increasingly intertwined. This is mostly due to the translation of medical technologies into psychiatry and to technological convergence. This article focuses on psychosis. I argue that the convergence of neuroscience and genomics in the context of psychosis is morally problematic, and that ethics scholarship should go beyond the identification of a number of ethical, legal, and social issues. My argument is composed of two strands. First, I argue that we (...) should respond to technological convergence by developing an integrated, patient-centred approach focused on the assessment of individual vulnerabilities. Responding to technological convergence requires that we integrate insights from several areas of ethics, translate bioethical principles into the mental health context, and proactively try to anticipate future ethical concerns. Second, I argue that a nuanced understanding of the concept of vulnerability might help us to accomplish this task. I borrow Florencia Luna’s notion of ‘layers of vulnerability’ to show how potential harms or wrongs to individuals who experience psychosis can be conceptualised as stemming from different sources, or layers, of vulnerability. I argue that a layered notion of vulnerability might serve as a common ground to achieve the ethical integration needed to ensure that biomedical innovation can truly benefit, and not harm, individuals who suffer from psychosis. (shrink)