We survey main developments, results, and open problems on interval temporal logics and duration calculi. We present various formal systems studied in the literature and discuss their distinctive features, emphasizing on expressiveness, axiomatic systems, and (un)decidability results.
In this paper, we investigate the expressiveness of the variety of propositional interval neighborhood logics , we establish their decidability on linearly ordered domains and some important subclasses, and we prove the undecidability of a number of extensions of PNL with additional modalities over interval relations. All together, we show that PNL form a quite expressive and nearly maximal decidable fragment of Halpern–Shoham’s interval logic HS.
In this paper we focus our attention on tableau methods for propositional interval temporal logics. These logics provide a natural framework for representing and reasoning about temporal properties in several areas of computer science. However, while various tableau methods have been developed for linear and branching time point-based temporal logics, not much work has been done on tableau methods for interval-based ones. We develop a general tableau method for Venema's \cdt\ logic interpreted over partial orders (\nsbcdt\ for short). It combines (...) features of the classical tableau method for first-order logic with those of explicit tableau methods for modal logics with constraint label management, and it can be easily tailored to most propositional interval temporal logics proposed in the literature. We prove its soundness and completeness, and we show how it has been implemented. (shrink)
This paper reconstructs the natural philosophical method of Geminiano Montanari, one of the most prominent Italian natural philosophers of the late seventeenth century. Montanari’s views are used as a case study to assess recent claims concerning early modern experimental philosophy. Having presented the distinctive tenets of seventeenth-century experimental philosophers, I argue that Montanari adheres to them explicitly, thoroughly, and consistently. The study of Montanari’s views supports three claims. First, experimental philosophy was not an exclusively British phenomenon. (...) Second, in spite of some portrayals of experimental philosophy as an ‘atheoretical’ or ‘purely descriptive’ enterprise, experimental philosophers could consistently endorse a variety of natural philosophical explanations and postulate theoretical entities. Third, experimental philosophy and mechanical philosophy were not, as such, antagonistic. They could be consistently combined in a single philosophical enterprise. (shrink)
I see four symbol grounding problems: 1) How can a purely computational mind acquire meaningful symbols? 2) How can we get a computational robot to show the right linguistic behavior? These two are misleading. I suggest an 'easy' and a 'hard' problem: 3) How can we explain and re-produce the behavioral ability and function of meaning in artificial computational agents?4) How does physics give rise to meaning?
The enormous increasing of connections between people and the noteworthy enlargement of domains and methods in sciences have augmented extraordinarily the cardinality of the set of meaningful human symbols. We know that complexity is always on the way to become complication, i.e. a non-tractable topic. For this reason scholars engage themselves more and more in attempting to tame plurality and chaos. In this book distinguished scientists, philosophers and historians of science reflect on the topic from a multidisciplinary point of view. (...) Is it possible to dominate complexity through reductionism? Are there other conceptual instruments useful to take account of complexity? What is complexity in biology, mathematics, physics and philosophy of mind? These are some of the questions which are faced in this volume. (shrink)
Lethal Autonomous Weapons (LAWs) are robotic weapons systems, primarily of value to the military, that could engage in offensive or defensive actions without human intervention. This paper assesses and engages the current arguments for and against the use of LAWs through the lens of achieving more ethical warfare. Specific interest is given particularly to ethical LAWs, which are artificially intelligent weapons systems that make decisions within the bounds of their ethics-based code. To ensure that a wide, but not exhaustive, survey (...) of the implications of employing such ethical devices to replace humans in warfare is taken into account, this paper will engage on matters related to current scholarship on the rejection or acceptance of LAWs—including contemporary technological shortcomings of LAWs to differentiate between targets and the behavioral and psychological volatility of humans—and current and proposed regulatory infrastructures for developing and using such devices. After careful consideration of these factors, this paper will conclude that only ethical LAWs should be used to replace human involvement in war, and, by extension of their consistent abilities, should remove humans from war until a more formidable discovery is made in conducting ethical warfare. (shrink)
Modern semiotics is a branch of logics that formally defines symbol-based communication. In recent years, the semiotic classification of signs has been invoked to support the notion that symbols are uniquely human. Here we show that alarm-calls such as those used by African vervet monkeys (Cercopithecus aethiops), logically satisfy the semiotic definition of symbol. We also show that the acquisition of vocal symbols in vervet monkeys can be successfully simulated by a computer program based on minimal semiotic and neurobiological constraints. (...) The simulations indicate that learning depends on the tutor-predator ratio, and that apprentice-generated auditory mistakes in vocal symbol interpretation have little effect on the learning rates of apprentices (up to 80% of mistakes are tolerated). In contrast, just 10% of apprentice-generated visual mistakes in predator identification will prevent any vocal symbol to be correctly associated with a predator call in a stable manner. Tutor unreliability was also deleterious to vocal symbol learning: a mere 5% of “lying” tutors were able to completely disrupt symbol learning, invariably leading to the acquisition of incorrect associations by apprentices. Our investigation corroborates the existence of vocal symbols in a non-human species, and indicates that symbolic competence emerges spontaneously from classical associative learning mechanisms when the conditioned stimuli are self-generated, arbitrary and socially efficacious. We propose that more exclusive properties of human language, such as syntax, may derive from the evolution of higher-order domains for neural association, more removed from both the sensory input and the motor output, able to support the gradual complexification of grammatical categories into syntax. (shrink)
Starting from a recent paper by S. Kaufmann, we introduce a notion of conjunction of two conditional events and then we analyze it in the setting of coherence. We give a representation of the conjoined conditional and we show that this new object is a conditional random quantity, whose set of possible values normally contains the probabilities assessed for the two conditional events. We examine some cases of logical dependencies, where the conjunction is a conditional event; moreover, we give the (...) lower and upper bounds on the conjunction. We also examine an apparent paradox concerning stochastic independence which can actually be explained in terms of uncorrelation. We briefly introduce the notions of disjunction and iterated conditioning and we show that the usual probabilistic properties still hold. (shrink)
Trotz anhaltender Debatten über Determinismus und Freiheit ist der Sinn von Freiheit weit davon entfernt, ein klar umrissenes philosophisches Problem darzustellen. Betrachtet man Versuche, menschliche Freiheit zu beweisen, und Diskussionen um die soziale Normierung von Freiheit, so ist selten klar, ob hier von einem einheitlichen Phänomen die Rede ist. Aufgrund der Komplexität der Debatten und der historischen Tiefe des Problems lässt sich die Freiheit nicht einer einzelnen Teildisziplin der Philosophie zuordnen. Wer sich auf einen Bestimmungsversuch des Begriffs einlässt, muss zugleich (...) das Verhältnis von Theorie und Praxis klären. Die Untersuchung der Freiheit führt daher nicht zuletzt zu einer immer wieder neu zu vollziehenden Selbstverortung der Philosophie. (shrink)
The component structures of two distinct neuropsychological systems are described. "System-Y" depends upon "system-X" which, on the other hand, can operate independently of system-Y. System-X provides a matrix upon which system-Y must operate, and, system-Y is transformed by the operations of system-X. In addition these neuropsychological structures reverberate in political history and in the cosmos. The most fundamental structure in the soul, in society, and in the cosmos, has the form of a conical spiral. It can be described mathematically as (...) an harmonic system and mythologically in terms of the birth, marriage and death of the divine-king. ;System-Y corresponds to the neocortex. System-X corresponds to the region below the cortex including the limbic brain. Many of the essential structures of system-Y are captured by Plato's image of the helmsman: orientation, locomotion, manual control and dexterity, visual guidance, verbal command, intention, and volition. System-X on the other hand has been systematically neglected by Western culture, beginning with Plato. ;The dissertation builds upon Yakovlev's distinction between "teleokinesis," "ectokinesis" and "endokinesis." "Teleokinesis" refers to goal-directed action in external space, and belongs to system-Y. Ectokinesis and endokinesis are components of system-X. "Endokinesis" refers to movements within the body. "Ectokinesis" refers to the emotions, which are expressions of endokinesis. The mechanics of ectokinesis is that of an harmonic or vibrational system, as is the mechanics of a musical instrument. ;Within a trance the structure of system-Y is temporarily altered, such that system-X enters the foreground of awareness. Because ectokinesis is analogous to music cultures inspired by trance experience understand the universe in terms of music. The structure of ectokinesis in a trance is that of a conical spiral. Plato inherited the mystical traditions of the ancient Near East but replaced the spiral of emotions with a spiral of ideas , by understanding the axis of the cone as the paradigmatic dimension, and the angular rotation of the spiral as the syntagmatic dimension, of language. Finally I explain how the mythology and political structure of theocratic society imitated the neuropsychological structures of trance experience. (shrink)
This paper on feminism was given at a public lecture in Spain. The author speaks from the perspective of contemporary Catholicism, represented in the magisterial teachings of St John Paul II, foreshadowed in the works of St. Edith Stein, and amplified and developed by contemporary Catholic scholars such as Prudence Allen, Michelle Schumacher, Leonie Caldecott and Cardinals Angelo Scola, Walter Kasper and Karl Lehmann.
This chapter proposed a novel design methodology called Value-Sensitive Design and its potential application to the field of artificial intelligence research and design. It discusses the imperatives in adopting a design philosophy that embeds values into the design of artificial agents at the early stages of AI development. Because of the high risk stakes in the unmitigated design of artificial agents, this chapter proposes that even though VSD may turn out to be a less-than-optimal design methodology, it currently provides a (...) framework that has the potential to embed stakeholder values and incorporate current design methods. The reader should begin to take away the importance of a proactive design approach to intelligent agents. (shrink)
In this paper, I put under scrutiny the arguments put forward by Aristotle in Nicomachean Ethics (NE) VI.9. The paper has two main parts. In the first, I examine the NE VI.9’s first part where Aristotle develops the concept of good deliberation, offering its definition in 1142b27-28. In the second, I examine the connection between good deliberation and phronesis, and, then, I discuss the vexata quæstio about if the lines 1142b31-33 might be read as introducing the claim that phronesis provides (...) moral ends. (shrink)
Il breve saggio si propone di esaminare la centralità della figura materna nell’opera di un ingegnoso costruttore di storie della letteratura italiana del Novecento: Alberto Moravia. La scelta dell’Autore nasce dalla rilevanza della tematica nella sua opera, in cui peraltro è quasi sempre assente il punto di vista femminile delle “voci” delle donne. Ciò sembra paradossale e questa circostanza è di grande interesse critico. In particolare, a dispetto delle interpretazioni più canoniche, secondo cui Moravia – negli scritti realizzati tra il (...) 1929 e il 1964 – ha inteso compiere una “distruzione” dell’immagine materna nel quadro di una visione pessimista della famiglia borghese, dovremo considerare un più complesso e articolato universo materno nello scrittore romano, in cui è possibile ricostruire cinque modelli – la “madre autoritaria”, la “madre-non madre”, la “madre padrona”, la “madre-angelo custode” e la “madre-seduttrice” –, ben esemplificati nei principali romanzi ma che si ritrovano nei racconti che Moravia scrive ininterrottamente dagli anni Trenta agli anni Sessanta, la cui mole ha determinato, ancor oggi, una mancanza di studi sistematici. In secondo luogo, la tematica della madre sarà esaminata nelle trasposizioni cinematografiche italiane delle opere letterarie di Moravia. Va ricordato che il rapporto dello scrittore con il cinema fu particolarmente intenso. Per un verso, la “settima arte” rivestì un ruolo non secondario nella formazione ed esperienza estetica dell’Autore romano, che al cinema si interessò anche professionalmente nelle vesti di critico cinematografico, a partire dal primo dopoguerra, dapprima, per La nuova Europa e Libera stampa, poi, per L’Europeo e L’Espresso, a cui dobbiamo aggiungere l’attività di saggista per numerose riviste specializzate. Per altro verso, il cinema italiano non solo ha attinto a “mani basse” dall’opera di Moravia per sceneggiature di pellicole, che furono pietre miliari della sua storia. L’elenco dei romanzi e racconti adattati al grande schermo rende conto della grande influenza nella cultura italiana degli anni Cinquanta e Sessanta: La provinciale (1953) di Mario Soldati, La romana (1954) di Luigi Zampa, Peccato che sia una canaglia (1954) di Alessandro Blasetti, Racconti romani (1955) di Gianni Franciolini, La ciociara (1960) di Vittorio de Sica, La giornata balorda (1960) di Mauro Bolognini, Risate di gioia (1960) di Mario Monicelli, Agostino (o la perdita dell’innocenza) (1962) di Mauro Bolognini, La noia (1963) di Damiano Damiani, Gli indifferenti (1964) di Francesco Maselli, Le ore nude (1964) di Marco Vicario, La donna invisibile (1969) di Paolo Spinola, Una ragazza piuttosto complicata (1969) di Damiano Damiani, L’amore coniugale (1970) di Dacia Maraini, Il conformista (1970) di Bernardo Bertolucci, e molti altri ancora. Come avremo modo soltanto di accennare, il successo della letteratura moraviana nel mondo del cinema italiano si deve a molteplici fattori, tra cui la raffigurazione dei personaggi e degli ambienti, la focalizzazione su certe tematiche e, non da ultimo, lo stile narrativo, particolarmente adatto alle trasposizioni cinematografiche. Come caso di studio, ci soffermeremo, infine, sulla figura materna della versione filmica de La noia di Damiani, con l’obiettivo di verificare se nel passaggio dal libro alla pellicola, quella particolare connotazione della madre autoritaria abbia subito delle alterazioni. L’ipotesi che muove l’analisi è che la stesura delle sceneggiature, la raffigurazione dei personaggi e la messa in scena delle sequenze filmiche facciano emergere un riadattamento adeguato al largo pubblico, con il sovvertimento dell’andamento cronologico, alcune “lacune” di ordine psicologico nella raffigurazione dei protagonisti e un certo cedimento moralistico alla cultura ancora dominante negli anni ’50 e ’60, in cui la figura materna, sia quando è incattivita dalla povertà che quando è inaridita dalla ricchezza, anela comunque agli affetti familiari, trovando in essi una qualche forma di redenzione. (shrink)
Contrapondo-se às interpretações que sobrevalorizam o papel da razão nas escolhas dos fins morais, pretendo resgatar o papel positivo que a virtude do caráter, uma virtude não-racional, pode exercer em tais escolhas. Isto será feito levando em consideração a análise que Aristóteles faz da crise moral de Neoptólemo na tragédia Filoctetes.
The War on Drugs has been waged primarily for cultural reasons, i.e., to enforce the Protestant Work Ethic. It does not serve a rational utilitarian function.
The paper charts both the interpersonal connections between historical anarchist figures and the beat poets as well as the philosophical similarities between them. Almost all the beat poets were anarchists, though their politics was secondary to their attempts to transform consciousness. Among the anarchists, the romantic socialist Gustav Landauer, who was especially popular in post-war American anarchist circles, came closest to the political perspective of the beat poets. Like the beats, Landauer was a poet, a pacifist, an anarchist, a communitarian, (...) a romantic, and a mystic. In northern California, the circle of anarchists surrounding Kenneth Rexroth provided support and inspiration to the early beat movement. In New York, the beats had an affinity with anarchists such as David Thoreau Wieck and the publication "Why?" (later "Resistance"), as well as Dwight Macdonald's "politics" and Holley Cantine's "Retort". (shrink)
A differenza della meccanica quantistica, i cui fondamenti sono sempre stati al centro di un ininterrotto dibattito, gli aspetti concettuali della meccanica statistica non hanno attratto interessi così vasti; tra le eccezioni citiamo il bel libro di Emch e Liu. In questo breve contributo discuteremo alcuni problemi concettuali della meccanica statistica, in particolare il ruolo del caos e l’emergenza di proprietà collettive che appaiono quando il numero delle particelle del sistema è molto grande.
A narrative review of the major evidence concerning the relationship between emotional regulation and depression was conducted. The literature demonstrates a mediating role of emotional regulation in the development of depression and physical illness. Literature suggests in fact that the employment of adaptive emotional regulation strategies (e.g., reappraisal) causes a reduction of stress-elicited emotions leading to physical disorders. Conversely, dysfunctional emotional regulation strategies and, in particular, rumination and emotion suppression appear to be influential in the pathogenesis of depression and physiological (...) disease. More specifically, the evidence suggests that depression and rumination affect both cognitive (e.g., impaired ability to process negative information) and neurobiological mechanisms (e.g., hypothalamic pituitary adrenal axis overactivation and higher rates of cortisol production). Understanding the factors that govern the variety of health outcomes that different people experience following exposure to stress has important implications for the development of effective emotion-regulation interventional approaches (e.g., mindfulness-based therapy, emotion-focused therapy, and emotion regulation therapy). (shrink)
This is a 2018 revision of my 1988 dissertation "The Choreography of the Soul" with a new Forward, a new Conclusion, a substantially revised Preface and Introduction, and many improvements to the body of the work. However, the thesis remains the same. A theory of consciousness and trance states--including psychedelic experience--is developed. Consciousness can be analyzed into two distinct but generally interrelated systems, which I call System X and System Y. System X is the emotional-visceral-kinaesthetic body. System X is a (...) harmonic system of "endokinetic" (internal bodily) and "ectokinetic" (emotionally expressive) movement. System Y is a "teleokinetic" (goal directed) system that includes language, cognition, perception, voluntary motor control, manipulation of the environment, etc. Contrary to theories of consciousness prevalent in the Western philosophical traditions that begin with Plato, I argue that System Y is secondary to and dependent upon System X, not the reverse. In building my thesis I draw upon the work of Friedrich Nietzsche, psychoanalysis, Jungian depth psychology, political anthropology, modern neuroscience, Pythagorean music theory, and the mathematical theory of harmonic systems. (shrink)
In the Nicomachean Ethics, Aristotle makes the following claims: “the end cannot be a subject of deliberation, but only what contributes to the ends” (NE 1112b33-34) and “virtue makes the goal right, practical wisdom makes the things to- ward the goal right" (NE 1144a7-9). A problem arises from such claims: the ends as- sumed by a moral agent cannot be subject to rational choice. For deliberation, an intel- lectual procedure, is bound to deal with the things that contribute to the (...) ends, and the ends, in turn, fall within the realm of virtue of character, which is described by Aristotle as a virtue of the non-rational part of the soul. In order to understand how Aristotle sup- ports such thesis, this research investigates how virtue of character and practical wis- dom are related and their work to delimit the ends and the things that contribute to the ends in the moral actions. (shrink)
Create an account to enable off-campus access through your institution's proxy server.
Monitor this page
Be alerted of all new items appearing on this page. Choose how you want to monitor it:
Email
RSS feed
About us
Lorem ipsum dolor sit amet, consectetur adipisicing elit, sed do eiusmod tempor incididunt ut labore et dolore magna aliqua. Ut enim ad minim veniam, quis nostrud exercitation ullamco laboris nisi ut aliquip ex ea commodo consequat. Duis aute irure dolor in reprehenderit in voluptate velit esse cillum dolore eu fugiat nulla pariatur. Excepteur sint occaecat cupidatat non proident, sunt in culpa qui officia deserunt mollit anim id est laborum.