Artefacts do not always do what they are supposed to, due to a variety of reasons, including manufacturing problems, poor maintenance, and normal wear-and-tear. Since software is an artefact, it should be subject to malfunctioning in the same sense in which other artefacts can malfunction. Yet, whether software is on a par with other artefacts when it comes to malfunctioning crucially depends on the abstraction used in the analysis. We distinguish between “negative” and “positive” notions of malfunction. A negative malfunction, (...) or dysfunction, occurs when an artefact token either does not or cannot do what it is supposed to. A positive malfunction, or misfunction, occurs when an artefact token may do what is supposed to but, at least occasionally, it also yields some unintended and undesirable effects. We argue that software, understood as type, may misfunction in some limited sense, but cannot dysfunction. Accordingly, one should distinguish software from other technical artefacts, in view of their design that makes dysfunction impossible for the former, while possible for the latter. (shrink)

Open futurism is the indeterministic position according to which the future is ‘open’, i.e., there is now no fact of the matter as to what future contingent events will actually obtain. Many open futurists hold a branching conception of time, in which a variety of possible futures exist. This paper introduces two challenges to branching-time open futurism, which are similar in spirit to a challenge posed by Fine to tense realism. The paper argues that, to address the new challenges, open (...) futurists must adopt an objective, non-perspectival notion of actuality and subscribe to an A-theoretic, dynamic conception of reality. Moreover, given a natural understanding of “actual future”, it is perfectly sensible for open futurists to hold that a unique, objectively actual future exists, contrary to a common assumption in the current debate. The paper also contends that recognising the existence of a unique actual future helps open futurists to avoid potential misconceptions. (shrink)

Nel 2012 la Casa editrice Tilgher ha cessato la sua attività. E’ un evento grave, che dà a pensare - di là da quel che comporta per il Giornale di Metafisica, la sua storia e la sua tradizione - perché non dovuto a una scelta ma, in gran parte, alla difficoltà di far fronte alla condizione di estremo disaggio in cui versano attualmente l’editoria scientifica e, più in generale, la cultura e la ricerca. Anche questo disagio è specchio della più (...) ampia crisi, non solo economica ma anche istituzionale ed etica, che ha investito il nostro paese, l’Europa, e il mondo; abbastanza pervasiva e profonda. Abbastanza significativa del nostro tempo da interpellare per proprio conto la comunità di ricerca di quanti, fra coloro che hanno interesse alla metafisica e ai suoi temi, frequentano a vario livello l’attività della Rivista. ... (shrink)

This article reflects on a survey carried out at a non-profit organization that deals with health care for oncological terminally ill in order to find out for those who are involved in this project each worker's time projection and well-being class. The survey has pointed out each single team member's time perspective and well-being class and allowed building a pedagogical path for work orientation that has involved the same team members.

Gramsci analyzes the relationship between structure and super-structure in several parts of his Prison Notebooks. Contrary to simplistic interpretations, he was very aware that this relationship was in no way a simple or mechanic one. As he wrote in a 1933 note: "It is a process with many manifestat..

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)

Malware has been around since the 1980s and is a large and expensive security concern today, constantly growing over the past years. As our social, professional and financial lives become more digitalised, they present larger and more profitable targets for malware. The problem of classifying and preventing malware is therefore urgent, and it is complicated by the existence of several specific approaches. In this paper, we use an existing malware taxonomy to formulate a general, language independent functional description of malware (...) as transformers between states of the host system and described by a trust relation with its components. This description is then further generalised in terms of mechanisms, thereby contributing to a general understanding of malware. The aim is to use the latter in order to present an improved classification method for malware. (shrink)