The time marked by the clock hands, the so-called “objective time,” is deeply different from the one perceived by the individual. Starting from this hypothesis, directly connected to the subjective modality of “living” the time and defined as time perspective, we will try to understand how much it affects the various domains of people's lives, attitudes, and experiences. Therefore, the research investigates whether all our decisions can be influenced by one or more time perspectives beyond our awareness. Last, but not (...) least, we will try to understand if some time perspectives in specific contexts are more functional and adaptive than others. (shrink)

For many years, psychological–clinical research has been aiming at studying the Mafia from different viewpoints: the man of honor's inner world, relational and psychopathological structures of his family matrices, connections between inner and social worlds, interiorized and social rules. Today, however, a complex phenomenon has come to light, which concerns the great connection between the Mafia and financial crime, and for us as researchers it is very interesting and complicated to analyze, because it involves the study of psychological peculiarities that (...) can be specifically found in the numerous illegalities. The crossbreeding of the various criminalities, which are always more interacting and merging and less isolated, makes this picture even more complex. (shrink)

Nijhawan argues convincingly that predictive mechanisms are pervasive in the central nervous system (CNS). However, scientific understanding of visual prediction requires one to formulate empirically testable neurophysiological models. The author's suggestions in this direction are to be evaluated on the basis of more realistic experimental methodologies and more plausible assumptions on the hierarchical character of the human visual cortex.

The moving spotlight account (MS) is a view that combines an eternalist ontology and an A-theoretic metaphysics. The intuition underlying MS is that the present time is somehow privileged and experientially vivid, as if it were illuminated by a moving spotlight. According to MS-theorists, a key reason to prefer MS to B-theoretic eternalism is that our experience of time supports it. We argue that this is false. To this end, we formulate a new family of positions in the philosophy of (...) time, which differ from MS in that, intuitively, they admit a plurality of moving spotlights. We argue that these ‘deviant’ variants of MS cannot be dismissed as conceptually incoherent, and that they are as well-supported by our experience as is MS. One of these variants, however, is consistent with the B-theory. Thus, if our experience of time supports MS, then it supports the B-theory as well. (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)

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)

This paper explores taste fragmentalism, a novel approach to matters of taste and faultless disagreement. The view is inspired by Kit Fine’s fragmentalism about time, according to which the temporal dimension can be constituted—in an absolute manner—by states that are pairwise incompatible, provided that they do not obtain together. In the present paper, we will apply this metaphysical framework to taste states. In our proposal, two incompatible taste states (such as the state of rhubarb’s being tasty and the state of (...) rhubarb’s being distasteful) can both constitute reality in an absolute manner, although no agent can have joint access to both states. We will then develop a formalised version of our view by means of an exact truthmaker semantics for taste assertions. Within this framework—we argue—our linguistic and inferential practices concerning cases of faultless disagreement are elegantly vindicated, thus suggesting that taste fragmentalism is worth of further consideration. (shrink)

This volume illustrates both theoretically and empirically the differences between religious diversity and religious pluralism. It highlights how the factual situation of cultural and religious diversity may lead to individual, social and political choices of organized and recognized pluralism. In the process, both individual and collective identities are redefined, incessantly moving along the continuum that ranges from exclusion to inclusion. The book starts by first detailing general issues related to religious pluralism. It makes the case for keeping the empirical, the (...) normative, the regulatory and the interactive dimensions of religious pluralism analytically distinct while recognizing that, in practice, they often overlap. It also underlines the importance of seeking connections between religious pluralism and other pluralisms. Next, the book explores how religious diversity can operate to contribute to legal pluralism and examines the different types of church-state relations: eradication, monopoly, oligopoly and pluralism. The second half of the book features case studies that provide a more specific look at the general issues, from ways to map and assess the religious diversity of a whole country to a comparison between Belgian-French views of religious and philosophical diversity, from religious pluralism in Italy to the shifting approach to ethnic and religious diversity in America, and from a sociological and historical perspective of religious plurality in Japan to an exploration of Brazilian religions, old and new. The transition from religious diversity to religious pluralism is one of the most important challenges that will reshape the role of religion in contemporary society. This book provides readers with insights that will help them better understand and interpret this unprecedented transition. (shrink)

A widespread opinion holds that norms and codes of conduct as such can only be established via words, that is, in some lexical form. This perspective can be criticized: some norms produced by human acts are not word-based at all. For example, many norms are actually conveyed through graphics (e. g. road signs and land-use maps), sounds (e. g. the referee’s whistle), a silent gesture (the traffic warden’s signal to halt). In this article, we will focus on the norms that (...) are created by means of drawings and can be termed “drawn norms” or “graphical norms.” Specifically, we will inquire into the phenomenon of graphical norms with particular regard to traffic signs and land-use plans, and we will discuss the philosophical and legal problems to which these phenomena give rise. (shrink)

This paper introduces a multi-modal polymorphic type theory to model epistemic processes characterized by trust, defined as a second-order relation affecting the communication process between sources and a receiver. In this language, a set of senders is expressed by a modal prioritized context, whereas the receiver is formulated in terms of a contextually derived modal judgement. Introduction and elimination rules for modalities are based on the polymorphism of terms in the language. This leads to a multi-modal non-homogeneous version of a (...) type theory, in which we show the embedding of the modal operators into standard group knowledge operators. (shrink)

We use a controlled laboratory experiment to study firm’s protection against potential technological damages. The probability of a catastrophic event is known, and the firm’s costly investment in safety reduces it. The firm can also buy an insurance with full or partial refund against the consequences of the catastrophic event, which ultimately reduces the variance of the firm’s investment-in-safety lottery. The firm makes these two choices simultaneously, after observing the insurance contract proposed by an insurer who chooses this contract within (...) a set of premium–deductible combinations. We parametrize the insurer–firm game such that a risk-neutral insurer maximizes his expected profit by offering an actuarially fair contract with full insurance; a risk-neutral firm is indifferent between investing in safety and accepting a fair insurance contract. We aim at understanding whether investment in safety and insurance are substitutes or complements in the firm’s risk management of catastrophic events. In line with our predictions, the experimental results suggest that they are substitutes rather than complements: the firm’s investment in safety measures is affected by the insurer’s proposed contract, the latter usually involving only partial insurance. (shrink)

So-called Locke's thesis is the view that no two things of the same kind may coincide, that is, may be completely in the same place at the same time. A number of counter-examples to this view have been proposed. In this paper, some new and arguably more convincing counter-examples to Locke's thesis are presented. In these counter-examples, a particular entity (a string, a rope, a net, or similar) is interwoven to obtain what appears to be a distinct, thicker entity of (...) the same kind. It is argued that anyone who subscribes to certain standard metaphysical arguments, which are generally taken for granted in the debate about Locke's thesis, is virtually compelled to accept the counter-examples. (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)

The present paper introduces a belief merging procedure by majority using the standard format of Adaptive Logics. The core structure of the logic ADM c (Adaptive Doxastic Merging by Counting) consists in the formulation of the conflicts arising from the belief bases of the agents involved in the procedure. A strategy is then defined both semantically and proof-theoretically which selects the consistent contents answering to a majority principle. The results obtained are proven to be equivalent to a standard majority operator (...) for bases with partial support. (shrink)

The following article proposes an empirical study to explore communication strategies in the Cosa Nostra. Psychological studies on the characteristics of the language within the criminal organization are undoubtedly recent, but crucial to thoroughly understand the characteristics of implicit and explicit communication it adopts in the various contexts it works, as well as the power and value they assume. The data we have obtained from some videos concerning interviews and police interrogations to men of honor have been analyzed through a (...) method that refers to the grounds of qualitative research in clinical psychology, the Grounded Theory by Glaser and Strauss. The analysis we have carried out and its relevant data show us a world of the Mafia where the care for linguistic choices, for both form and contents, is characterized as a crucial activity, even when words are replaced by silence or gestures. (shrink)

Even more than for other treatments, great importance must be given to informed consent in the case of electroconvulsive therapy. In a percentage of cases, the symbolic connotation of the treatment, even if mostly and intrinsically negative, may actually be a determining factor in the patient’s motives for giving consent. On an ethical and medicolegal level, the most critical point is that concerning consent to the treatment by a psychotic subject with a severely compromised ability to comprehend the nature and (...) objective of the proposed therapy, but who nonetheless expresses his consent, for reasons derived from delusional thoughts. In fact, this situation necessarily brings to light the contradiction between an explicit expression of consent, a necessary formality for the commencement of therapy, and the validity of this consent, which may be severely compromised due to the patient’s inability to comprehend reality and therefore to accept the proposal of treatment, which is intrinsic to this reality. With the use of an electric current, the symbolic experience associated with anaesthesia, and the connection to convulsions, ECT enters the collective consciousness. In relation to this, ECT is symbolic of these three factors and hooks on to the thoughts, fears, feelings and expectations of delusional patients. These are often exemplified in the violent intervention of the persecutor in the patient with schizophrenia, the expected punishment for the ’error’ committed for which the depressed patient blames himself and the social repression of the maniacal patient’s affirmation of his inflated self-esteem. (shrink)

Unlike the standard Quantum Computational Logic, where the carrier of information is conventionally assumed to be only the last qubit over a sequence of many qubits, here we propose an extended version of the QCL where the number and the position of the target qubits are arbitrary.

The “DNA is a program” metaphor is still widely used in Molecular Biology and its popularization. There are good historical reasons for the use of such a metaphor or theoretical model. Yet we argue that both the metaphor and the model are essentially inadequate also from the point of view of Physics and Computer Science. Relevant work has already been done, in Biology, criticizing the programming paradigm. We will refer to empirical evidence and theoretical writings in Biology, although our arguments (...) will be mostly based on a comparison with the use of differential methods (in Molecular Biology: a mutation or alike is observed or induced and its phenotypic consequences are observed) as applied in Computer Science and in Physics, where this fundamental tool for empirical investigation originated and acquired a well-justified status. In particular, as we will argue, the programming paradigm is not theoretically sound as a causal(as in Physics) or deductive(as in Programming) framework for relating the genome to the phenotype, in contrast to the physicalist and computational grounds that this paradigm claims to propose. (shrink)

In Speech Acts, John Searle argues that institutional facts presuppose, for their existence, the existence of certain institutions (understood as systems of constitutive rules). In this paper I extend Searle’s theory of institutional facts arguing that a further level is needed for the investigation of the structure of institutional reality: the level of meta-institutional concepts. The meta-institutional concepts are concepts that go beyond (Greek: metá) the institutions of which they are conditions of possibility. An example of meta-institutional concept is the (...) concept of game. In a culture which does not have the concept of game, we could move the chess-men according to the rules of chess, we could also perform a castling, but it would be impossible to play chess. (shrink)

In the wave of critical theory's recent turn to ethics, Karatani's transcritique and Eagleton's ethics of agape have emerged as two of the most outstanding attempts to reinstate morality at the centre of Marx's analysis of capitalist society. This article argues that, in spite of their merits in repositioning the normative generalizations of the moral discourse within the context of Marx's political economy, both theories share certain fundamental flaws which are inherent in the very meaning of the possibility of moral (...) action in a wrong society. By taking Karatani's transcritique as a sample of what Christoph Menke names `rational morality' and Eagleton's revival of classical morality as a variant of `virtue ethics', it is shown that they are both amenable to Adorno's charge that wrong life cannot be lived rightly. Finally, it is contended that what Adorno's criticism indicates is that, when it most matters in real situations, morality always reveals its political overdetermination. Key Words: Theodor Adorno • critical theory • dialectics • Terry Eagleton • Kojin Karatani • rational morality • totality • transcendental • transcritique • virtue ethics. (shrink)

The model presented in the target article includes feature processing and higher representations. I argue, based on neuropsychological evidence, that spatial representations are also involved in perceptual awareness of somatosensory events. Second, there is an asymmetry, with a right-hemisphere–based bilateral representation of the body. Third, the specific aspect of bodily awareness concerning motor function monitoring involves a network that includes the premotor cortex.

The view that short-term memory should be conceived of as being a process based on the activation of long-term memory is inconsistent with neuropsychological evidence. Data from brain-damaged patients, showing specific patterns of impairment, are compatible with a vision of memory as a multiple-component system, whose different aspects, in neurologically unimpaired subjects, show a high degree of interaction.

Accidents involving autonomous vehicles raise difficult ethical dilemmas and legal issues. It has been argued that self-driving cars should be programmed to kill, that is, they should be equipped with pre-programmed approaches to the choice of what lives to sacrifice when losses are inevitable. Here we shall explore a different approach, namely, giving the user/passenger the task of deciding what ethical approach should be taken by AVs in unavoidable accident scenarios. We thus assume that AVs are equipped with what we (...) call an “Ethical Knob”, a device enabling passengers to ethically customise their AVs, namely, to choose between different settings corresponding to different moral approaches or principles. Accordingly, AVs would be entrusted with implementing users’ ethical choices, while manufacturers/programmers would be tasked with enabling the user’s choice and ensuring implementation by the AV. (shrink)

Contextual type theories are largely explored in their applications to programming languages, but less investigated for knowledge representation purposes. The combination of a constructive language with a modal extension of contexts appears crucial to explore the attractive idea of a type-theoretical calculus of provability from refutable assumptions for non-monotonic reasoning. This paper introduces such a language: the modal operators are meant to internalize two different modes of correctness, respectively with necessity as the standard notion of constructive verification and possibility as (...) provability up to refutation of contextual conditions. (shrink)

The process of completing, correcting and prioritising specifications is an essential but very complex task for the maintenance and improvement of software systems. The preservation of functionalities and the ability to accommodate changes are main objectives of the software development cycle to guarantee system reliability. Logical theories able to fully model such processes are still insufficient. In this paper we propose a full formalisation of such operations on software systems inspired by the Alchourrón–Gärdenfors–Makinson paradigm for belief revision of human epistemic (...) states. We represent specifications as finite sets of formulas equipped with a priority relation that models functional entrenchment of properties. We propose to handle specification incompleteness through ordered expansion, inconsistency through ordered safe contraction and prioritisation through revision with reordering, and model all three in an algorithmic fashion. We show how the system satisfies basic properties of the AGM paradigm, including Levi’s and Harper’s identities. We offer a concrete example and complexity results for the inference and model checking problems on revision. We conclude by describing resilience and evolvability of software systems based on such revision operators. (shrink)

This paper proposes a critical analysis of that interpretation of the Nāgārjunian doctrine of the two truths as summarized—by both Mark Siderits and Jay L. Garfield—in the formula: “the ultimate truth is that there is no ultimate truth”. This ‘semantic reading’ of Nāgārjuna’s theory, despite its importance as a criticism of the ‘metaphysical interpretations’, would in itself be defective and improbable. Indeed, firstly, semantic interpretation presents a formal defect: it fails to clearly and explicitly express that which it contains logically; (...) the previously mentioned formula must necessarily be completed by: “the conventional truth is that nothing is conventional truth”. Secondly, after having recognized what Siderits’ and Garfield’s analyses contain implicitly, other logical and philological defects in their position emerge: the existence of the ‘conventional’ would appear—despite the efforts of semantic interpreters to demonstrate quite the contrary—definitively inconceivable without the presupposition of something ‘real’; moreover, the number of verses in Nāgārjuna that are in opposition to the semantic interpretation (even if we grant semantic interpreters that these verses do not justify a metaphysical reconstruction of Nagarjuna’s doctrine) would seem too great and significant to be ignored. (shrink)

Computing, today more than ever before, is a multi-faceted discipline which collates several methodologies, areas of interest, and approaches: mathematics, engineering, programming, and applications. Given its enormous impact on everyday life, it is essential that its debated origins are understood, and that its different foundations are explained. On the Foundations of Computing offers a comprehensive and critical overview of the birth and evolution of computing, and it presents some of the most important technical results and philosophical problems of the discipline, (...) combining both historical and systematic analyses. -/- The debates this text surveys are among the latest and most urgent ones: the crisis of foundations in mathematics and the birth of the decision problem, the nature of algorithms, the debates on computational artefacts and malfunctioning, and the analysis of computational experiments. By covering these topics, On the Foundations of Computing provides a much-needed resource to contextualize these foundational issues. -/- For practitioners, researchers, and students alike, a historical and philosophical approach such as what this volume offers becomes essential to understand the past of the discipline and to figure out the challenges of its future. (shrink)

Coherent-ambiguity aversion is defined within the smooth-ambiguity model as the combination of choice-ambiguity and value-ambiguity aversion. Five ambiguous decision tasks are analyzed theoretically, where an individual faces two-stage lotteries with binomial, uniform, or unknown second-order probabilities. Theoretical predictions are then tested through a 10-task experiment. In tasks 1–5, risk aversion is elicited through both a portfolio choice method and a BDM mechanism. In tasks 6–10, choice-ambiguity aversion is elicited through the portfolio choice method, while value-ambiguity aversion comes about through the (...) BDM mechanism. The behavior of over 75 % of classified subjects is in line with the KMM model in all tasks 6–10, independent of their degree of risk aversion. Furthermore, the percentage of coherent-ambiguity-averse subjects is lower in the binomial than in the uniform and in the unknown treatments, with only the latter difference being significant. The most part of coherent-ambiguity-loving subjects show a high risk aversion. (shrink)

We analyze the results from three different risk attitude elicitation methods. First, the broadly used test by Holt and Laury, HL, second, the lottery-panel task by Sabater-Grande and Georgantzis, SG, and third, responses to a survey question on self-assessment of general attitude towards risk. The first and the second task are implemented with real monetary incentives, while the third concerns all domains in life in general. Like in previous studies, the correlation of decisions across tasks is low and usually statistically (...) non-significant. However, when we consider only subjects whose behavior across the panels of the SG task is compatible with constant relative risk aversion, the correlation between HL and self-assessed risk attitude becomes significant. Furthermore, the correlation between HL and SG also increases for CRRA-compatible subjects, although it remains statistically non-significant. (shrink)

The paper considers sentences in which “now” occurs in initial position and shows that the meaning they convey differs from the meaning of sentences that are otherwise identical except for “now” occurring in final position. We argue that the occurrence of “now” in initial position triggers a particular kind of modal reading for the sentence to which the adverb is prefixed. A general notion of modal forcing is proposed to provide a uniform account of this kind of reading. Armed with (...) this account, we offer a solution to two tense-modal puzzles, which have to do with fatalism and the possibility of a changing past. (shrink)

Antonio Signorini’s contribution to the constitutive theory of non-linear elasticity is reconstructed and analyzed. Some uninformed opinions suggesting he had a minor role, lacking of significant results, are discussed and refuted. It is shown that Signorini should be rightly credited for being among the first scholars aware of the central problem of non-linear elasticity: the determination of the general form of the elastic potential.

This paper considers the practical question of why people do not behave in the way they ought to behave. This question is a practical one, reaching both into the normative and descriptive domains of morality. That is, it concerns moral norms as well as empirical facts. We argue that two main problems usually keep us form acting and judging in a morally decent way: firstly, we make mistakes in moral reasoning. Secondly, even when we know how to act and judge, (...) we still fail to meet the requirements due to personal weaknesses. This discussion naturally leads us to another question: can we narrow the gap between what people are morally required to do and what they actually do? We discuss findings from neuroscience, economics, and psychology, considering how we might bring our moral behavior better in line with moral theory. Potentially fruitful means include nudging, training, pharmacological enhancement, and brain stimulation. We conclude by raising the question of whether such methods could and should be implemented. (shrink)

Simplicius’ Commentary on Aristotle’s Categories contains the most extended testimony about the Stoic conception of acting (ποιεῖν) and undergoing (πάσχειν). Simplicius ascribed to the Stoics the idea that acting and undergoing are to be reduced to the movement. To this opinion Simplicius opposed the Aristotelian view according to which acting and undergoing are two different categories. In this paper I intend to outline the original Stoic position comparing the reportage of Simplicius with other Stoic sources. Later, I will deal with (...) Boethus’ defense of the distinction between the categories of acting and undergoing. I will argue that Boethus directly reacted against the Stoic opinion reformulating it in Aristotelian language. (shrink)

In their 2002 seminal paper Hauser, Chomsky and Fitch hypothesize that recursion is the only human-specific and language-specific mechanism of the faculty of language. While debate focused primarily on the meaning of recursion in the hypothesis and on the human-specific and syntax-specific character of recursion, the present work focuses on the claim that recursion is language-specific. We argue that there are recursive structures in the domain of motor intentionality by way of extending John R. Searle’s analysis of intentional action. We (...) then discuss evidence from cognitive science and neuroscience supporting the claim that motor-intentional recursion is language-independent and suggest some explanatory hypotheses: linguistic recursion is embodied in sensory-motor processing; linguistic and motor-intentional recursions are distinct and mutually independent mechanisms. Finally, we propose some reflections about the epistemic status of HCF as presenting an empirically falsifiable hypothesis, and on the possibility of testing recursion in different cognitive domains. (shrink)

This short paper is meant to be an introduction to the ‘Letter to Alan Turing’ that follows it. It summarizes some basic ideas in information theory and very informally hints at their mathematical properties. In order to introduce Turing’s two main theoretical contributions, in Theory of Computation and in Morphogenesis, the fundamental divide between discrete vs. continuous structures in mathematics is presented, as it is also a divide in his scientific life. The reader who is familiar with these notions, and (...) is convinced that they are relevant in the mathematical understanding of phenomena, may skip this introduction and go directly to the Letter. (shrink)

A novel and versatile polarization-entanglement scheme is adopted to investigate the violation of the EPR local realism for a non-maximally entangled two-photon system according to the recent nonlocality proof by Lucien Hardy. In this context the adoption of a sophisticated detection method allows direct determination of any element of physical reality (viz., determined with probability equal to unity in the words of Einstein, Podolsky and Rosen) for the pair system within complete measurements that are largely insensitive to the detector quantum-efficiencies (...) and noise. (shrink)

Focused sequent calculi are a refinement of sequent calculi, where additional side-conditions on the applicability of inference rules force the implementation of a proof search strategy. Focused cut-free proofs exhibit a special normal form that is used for defining identity of sequent calculi proofs. We introduce a novel focused display calculus fD.LG and a fully polarized algebraic semantics FP.LG\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$\mathbb {FP.LG}$$\end{document} for Lambek–Grishin logic by generalizing the theory of multi-type calculi and their (...) algebraic semantics with heterogenous consequence relations. The calculus fD.LG has strong focalization and it is sound and complete w.r.t. FP.LG\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$\mathbb {FP.LG}$$\end{document}. This completeness result is in a sense stronger than completeness with respect to standard polarized algebraic semantics, insofar as we do not need to quotient over proofs with consecutive applications of shifts over the same formula. We also show a number of additional results. fD.LG is sound and complete w.r.t. LG-algebras: this amounts to a semantic proof of the so-called completeness of focusing, given that the standard (display) sequent calculus for Lambek–Grishin logic is complete w.r.t. LG-algebras. fD.LG and the focused calculus fLG of Moortgat and Moot are equivalent with respect to proofs, indeed there is an effective translation from fLG-derivations to fD.LG-derivations and vice versa: this provides the link with operational semantics, given that every fLG-derivation is in a Curry–Howard correspondence with a directional λ¯μμ~\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$\overline{\lambda }\mu \widetilde{\mu }$$\end{document}-term. (shrink)

This Research Topic aimed at deepening our understanding of the levels and explanations that are of interest for cognitive sci- entists, neuroscientists, psychologists, behavioral scientists, and philosophers of science. Indeed, contemporary developments in neuroscience and psy- chology suggest that scientists are likely to deal with a multiplicity of levels, where each of the different levels entails laws of behavior appropriate to that level (Berntson et al., 2012). Also, gathering and modeling data at the different levels of analysis is not suffi- (...) cient: the integration of information across levels of analysis is a crucial issue. Given such state of affairs, a number of interesting questions arise. How can the autonomy of explanatory levels be properly understood in behavioral explanation? Is reductionism a satis- factory strategy? How can high-level and low-level models be constrained in order to be actually explanatory of both behav- ioral and neurological or molecular evidence? What is the kind of relationship between those models? (shrink)

In the present paper, we endow semi De Morgan logic and a family of its axiomatic extensions with proper multi-type display calculi which are sound, complete, conservative, and enjoy cut elimination and subformula property. Our proposal builds on an algebraic analysis of the variety of semi De Morgan algebras, and applies the guidelines of the multi-type methodology in the design of display calculi.

The difficulties of relativistic particle theories formulated by means of canonical quantization, such as those of Klein–Gordon and Dirac, ultimately led theoretical physicists to turn to quantum field theory to model elementary particle physics. In order to overcome these difficulties, the theories of the present approach are developed deductively from the physical principles that specify the system, without making use of canonical quantization. For a free particle these starting assumptions are invariance of the theory and covariance of position with respect (...) to Poincaré transformations. In pursuing the approach, the effectiveness of group theoretical methods is exploited. The coherent development of our program has shown that robust classes of representations of the Poincaré group, discarded by the known particle theories, can in fact be taken as bases for perfectly consistent theories. For massive spin zero particles, six inequivalent theories have been determined, two of which do not correspond to any of the current ones; all of these theories overcome the difficulties of Klein–Gordon one. The present lack of the explicit transformation properties of position with respect to boosts prevents the complete determination of non zero spin particle theories. In the past a particular form of these transformation properties was adopted by Jordan and Mukunda. We check its consistency within the present approach and find that for spin \ particles there is only one consistent theory, which is unitarily related to Dirac’s; yet, once again, it requires classes of irreducible representations previously discarded. (shrink)

Symmetries play a major role in physics, in particular since the work by E. Noether and H. Weyl in the first half of last century. Herein, we briefly review their role by recalling how symmetry changes allow to conceptually move from classical to relativistic and quantum physics. We then introduce our ongoing theoretical analysis in biology and show that symmetries play a radically different role in this discipline, when compared to those in current physics. By this comparison, we stress that (...) symmetries must be understood in relation to conservation and stability properties, as represented in the theories. We posit that the dynamics of biological organisms, in their various levels of organization, are not just processes, but permanent (extended, in our terminology) critical transitions and, thus, symmetry changes. Within the limits of a relative structural stability (or interval of viability), variability is at the core of these transitions. (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.

In the literature there are two well-established but opposite readings of Arendt: as an agonistic theorist and as a deliberative one. In between these two positions a smaller number of scholars have argued that in Arendt these two dimensions can to a large extent be reconciled. This paper follows this third path but tries to bring it one step further. In particular, it defends the idea that those scholars who have proposed this third reading of Arendt have fallen short of (...) revealing the degree to which deliberation and agonism are, for her, interwoven. Through an original reading of Arendt’s views on judgment, persuasion, distinction and Eichmann’s banality, the paper clarifies why, for her, agonism and deliberation are not only compatible but actually mutually dependent. In other words, it clarifies why she believes that there can be no deliberation without agonism and no agonism without deliberation. (shrink)

This personal, yet scientific, letter to Alan Turing, reflects on Turing's personality in order to better understand his scientific quest. It then focuses on the impact of his work today. By joining human attitude and particular scientific method, Turing is able to “immerse himself” into the phenomena on which he works. This peculiar blend justifies the epistolary style. Turing makes himself a “human computer”, he lives the dramatic quest for an undetectable imitation of a man, a woman, a machine. He (...) makes us see the continuous deformations of a material action/reaction/diffusion dynamics of hardware with no software. Each of these investigations opens the way to new scientific paths with major consequences for contemporary live and for knowledge. The uses and the effects of these investigations will be discussed: the passage from classical AI to today's neural nets, the relevance of non-linearity in biological dynamics, but also their abuses, such as the myth of a computational world, from a Turing-machine like universe to an encoded homunculus in the DNA. It is shown that these latter ideas, which are sometimes even made in Turing's name, contradict his views. (shrink)

The recent in vitro derivation of gamete‐like cells from mouse embryonic stem (mES) cells is a major breakthrough and lays down several challenges, both for the further scientific investigation and for the bioethical and biolegal discourse. We refer here to these cells as gamete‐like (sperm‐like or oocyte‐like, respectively), because at present there is still no evidence that these cells behave fully like bona fide sperm or oocytes, lacking the fundamental proof, i.e. combination with a normally derived gamete of the opposite (...) sex to yield a normal individual. However, the results published so far do show that these cells share some defining features of gametes. We discuss these results in the light of the bioethical and legal questions that are likely to arise would the same process become possible with human embryonic stem (hES) cells. (shrink)

This paper addresses the problem of upgrading functional information to knowledge. Functional information is defined as syntactically well-formed, meaningful and collectively opaque data. Its use in the formal epistemology of information theories is crucial to solve the debate on the veridical nature of information, and it represents the companion notion to standard strongly semantic information, defined as well-formed, meaningful and true data. The formal framework, on which the definitions are based, uses a contextual version of the verificationist principle of truth (...) in order to connect functional to semantic information, avoiding Gettierization and decoupling from true informational contents. The upgrade operation from functional information uses the machinery of epistemic modalities in order to add data localization and accessibility as its main properties. We show in this way the conceptual worthiness of this notion for issues in contemporary epistemology debates, such as the explanation of knowledge process acquisition from information retrieval systems, and open data repositories. (shrink)

In the first part of this paper I critically examine some of the main interpretations of “classical” Yogācāra philosophy of Maitreya, Asaṅga and Vasubandhu. Among these interpretations, based on extant textual and contextual data, I consider philologically unlikely both metaphysical-idealistic readings, which ascribe to these authors the view that ultimate reality is a mental or subjective stuff, and epistemological-idealistic readings which advocate that either Yogācāra suspends judgment on the existence of the extramental or that it maintains that the extramental exists (...) in itself and ultimately. Instead, I consider more likely the thesis that classical Yogācāra upholds an epistemological idealism that, while admitting epistemological priority of the mental over the extramental, rules out the ultimate existence of both the former and the latter. This exclusion, however, does not amount to the exclusion of every metaphysics, but rather to the adoption of a metaphysics of emptiness conceived, in fact, as absence of the mental/extramental dichotomy. In the second part of the paper this reading of classical Yogācāra is compared with the interpretation of Nāgārjuna’s philosophy that I elsewhere called “realistic antimetaphysical”, and I reach the conclusion that, while with respect to epistemology between early Madhyamaka and classical Yogācāra there is continuity, regarding metaphysics these two schools are deeply distinct and discontinuous: while Nāgārjuna conceives of emptiness as an extinction of any metaphysical view, Yogācāra emptiness actually presents itself as a metaphysical point of view. (shrink)

The recent in vitro derivation of gamete‐like cells from mouse embryonic stem (mES) cells is a major breakthrough and lays down several challenges, both for the further scientific investigation and for the bioethical and biolegal discourse. We refer here to these cells as gamete‐like (sperm‐like or oocyte‐like, respectively), because at present there is still no evidence that these cells behave fully like bona fide sperm or oocytes, lacking the fundamental proof, i.e. combination with a normally derived gamete of the opposite (...) sex to yield a normal individual. However, the results published so far do show that these cells share some defining features of gametes. We discuss these results in the light of the bioethical and legal questions that are likely to arise would the same process become possible with human embryonic stem (hES) cells. (shrink)

This paper presents a systematic discussion, mainly for non-economists, on economic approaches to the concept of sustainable development. As a first step, the concept of sustainability is extensively discussed. As a second step, the argument that it is not possible to consider sustainability only from an economic or ecological point of view is defended; issues such as economic-ecological integration, inter-generational and intra-generational equity are considered of fundamental importance. Two different economic approaches to environmental issues, i.e. neo-classical environmental economics and ecological (...) economics, are compared. Some key differences such as weak versus strong sustainability, commensurability versus incommensurability and ethical neutrality versus different values acceptance are pointed out. (shrink)