We find a short way to construct a formula which axiomatizes a given finite frame of the modal logicK, in the sense that for each finite frameA, we construct a formula A which holds in those and only those frames in which every formula true inA holds.To obtain this result we find, for each finite model and each natural numbern, a formula which holds in those and only those models in which every formula true in , and involving the firstn (...) propositional letters, holds. (shrink)

What sets the practice of rigorously tested, sound science apart from pseudoscience? In this volume, the contributors seek to answer this question, known to philosophers of science as “the demarcation problem.” This issue has a long history in philosophy, stretching as far back as the early twentieth century and the work of Karl Popper. But by the late 1980s, scholars in the field began to treat the demarcation problem as impossible to solve and futile to ponder. However, the essays that (...) Massimo Pigliucci and Maarten Boudry have assembled in this volume make a rousing case for the unequivocal importance of reflecting on the separation between pseudoscience and sound science. (shrink)

Whenever we worry about what to eat, how to love, or simply how to be happy, we are worrying about how to lead a good life. No goal is more elusive. In How to Be a Stoic, philosopher Massimo Pigliucci offers Stoicism, the ancient philosophy that inspired the great emperor Marcus Aurelius, as the best way to attain it. Stoicism is a pragmatic philosophy that teaches us to act depending on what is within our control and separate things worth (...) getting upset about from those that are not. By understanding Stoicism, we can learn to answer crucial questions: Should we get married or divorced? How should we bank in a world nearly destroyed by a financial crisis? How can we survive great personal tragedy? Whoever you are, Stoicism has something for you—and How to Be a Stoic is your essential guide. (shrink)

We prove ExpTime-membership of the satisfiability problem for loosely ∀-guarded first-order formulas with a bounded number of variables and an unbounded number of constants. Guarded fragments with constants are interesting by themselves and because of their connection to hybrid logic.

ABSTRACTThe discursive analysis of criminal organizations’ family dynamics and ideological devices may provide important insights into the inner functioning of these groups. In this article, we describe and analyze a specific set of discursive strategies and the thematic narratives emerging from a TV interview with Giuseppe Riina, a member of Cosa Nostra and the son of one of the most important mafia bosses. Our analyses demonstrate the existence of recurring ideological devices such as reductionism, amoralism, familism, verticalism, normalism, victimism and (...) religious relativism. The results are discussed in light of previous research that examines how discursive strategies and narratives may represent powerful tools for understanding criminal organizations. Family-related discourses, in particular, reveal meanings, values and ideas that contribute to constructing criminal organizations’ internal structure, as well as their relationship with the external world. (shrink)

Are science and religion compatible when it comes to understanding cosmology (the origin of the universe), biology (the origin of life and of the human species), ethics, and the human mind (minds, brains, souls, and free will)? Do science and religion occupy non-overlapping magisteria? Is Intelligent Design a scientific theory? How do the various faith traditions view the relationship between science and religion? What, if any, are the limits of scientific explanation? What are the most important open questions, problems, or (...) challenges confronting the relationship between science and religion, and what are the prospects for progress? These and other questions are explored in Science and Religion: 5 Questions--a collection of thirty-three interviews based on 5 questions presented to some of the world's most influential and prominent philosophers, scientists, theologians, apologists, and atheists. Contributions by Simon Blackburn, Susan Blackmore, Sean Carroll, William Lane Craig, William Dembski, Daniel C. Dennett, George F.R. Ellis, Owen Flanagan, Owen Gingerich, Rebecca Newberger Goldstein, John F. Haught, Muzaffar Iqbal, Lawrence Krauss, Colin McGinn, Alister McGrath, Mary Midgley, Seyyed Hossein Nasr, Timothy O'Connor, Massimo Pigliucci, John Polkinghorne, James Randi, Alex Rosenberg, Michael Ruse, Robert John Russell, John Searle, Michael Shermer, Victor J. Stenger, Robert Thurman, Michael Tooley, Charles Townes, Peter van Inwagen, Keith Ward, Rabbi David Wolpe. (shrink)

In lieu of an abstract, here is a brief excerpt of the content:Why Gaia?Massimo Pigliucci (bio)The Gaia Hypothesis: Science on a Pagan Planet, Michael Ruse, Chicago: University of Chicago Press, 2013. 272 pages.“The Gaia Hypothesis: Science on a Pagan Planet tells a story that comes out of the 1960s, a story that reflects all of the beliefs and enthusiasms and tensions of that decade.” So begins Michael Ruse’s fascinating, if at times puzzling, exploration of James Lovelock’s famous idea that (...) our planet is, in a serious scientific sense, a living organism with a tendency of taking care of (her)self. But why tell this particular story, especially considering that Gaia hardly makes an appearance in today’s scientific or philosophical publications, and doesn’t even seem quite that popular with the lay public as it used to be? Because, as Ruse tells us near the end of the book, at the onset of chapter seven: “the paradox that set us on our path [is] why the scientific community reacted so negatively to the Gaia hypothesis, whereas the public reaction was so positive.”As it turns out, there is a good answer to that conundrum, one that Ruse himself lays out clearly in the last chapter of the book, and which makes the reader wonder why this should count a paradox at all. But we will get there in due time. First, the basics: the so-called Gaia hypothesis is the brainchild of iconoclastic inventor-turned-independent-scientist James Lovelock, who later got significant help in elaborating (and promoting) his ideas from another iconoclast, biologist Lynn Margulis. By the time you get to the end of Ruse’s engaging book, however, you won’t have gained a particularly good understanding of what the hypothesis actually consists. But that’s not Ruse’s fault, it is Lovelock’s (and Margulis’). At times it sounds like the entirely uncontroversial claim that the Earth’s [End Page 117] biosphere is a somewhat homeostatic system—i.e., a biophysical system that is resistant to major changes, at the least within a certain range (the planet’s atmosphere, after all, did change dramatically early on, increasing its oxygen content as a result of the evolution of photosynthetic organisms—the anaerobic life forms that had up to that point been dominant did not appreciate the novelty). At other times the claim is downright preposterous: the Earth literally is a living organism (according to Lovelock) (Chapter 7),1 a finding that allegedly puts in question the whole Darwinian view of biological evolution (according to Margulis) (Chapter 7), a position that can only be characterized as nonsense on stilts. At yet other moments, Gaia is presented as just a metaphor to help us wrap our minds around the complexities (and homeostatic properties) of the world’s ecosystems (Chapter 8). It is this never-ending oscillation between the trivial and the bizarre that has led the majority of scientists to write off Gaia, to the chagrin of Lovelock, Margulis, and a large number of New Age tree huggers from the 1960s.Indeed, the scientific reaction to Gaia was swift and ranging from the condescending to the unforgiving. Evolutionary biologist John Maynard Smith—never one to mince words—called it “an evil religion” (Chapter 2). Another evolutionary biologist, Stephen Jay Gould (whose own disagreements with Maynard Smith became legendary) said that “Gaia strikes me as a metaphor, not a mechanism” (Chapter 2). Ecologist Robert May, who eventually became president of the Royal Society, called Lovelock “a holy fool” (Chapter 2). The highly respected theoretical biologist W.D. Hamilton said that in order for the hypothesis to work, it would require “treaties between Neptune and Zeus, a Gaian Interpol, conventions about bills of lading for chemical transport by air and water, and so on” (Chapter 7). Finally, Richard Dawkins accused Lovelock of committing the fallacy of “the BBC theorem,” assuming (or wishfully thinking) that the world is a harmonious place, just like in naive BBC nature documentaries (Chapter 2).You get the gist: pretty much from the beginning, and with very few exceptions, the scientific establishment rejected Gaia on the grounds that it is not a scientific hypothesis at all, and that its main tenets actually go against pretty... (shrink)

Purpose This paper aims to look at shifts in internet-related content and services economies, from audience labour economies to Web 2.0 user-generated content, and the emerging model of user computing power utilisation, powered by blockchain technologies. The authors look at and test three models of user computing power utilisation based on distributed computing two of which use cryptocurrency mining through distributed pool mining techniques, while the third is based on distributed computing of calculations for scientific research. The three models promise (...) benefits to their users, which the authors discuss throughout the paper, studying how they interplay with the three levels of the digital divide. Design/methodology/approach The goal of this article is twofold as follows: first to discuss how using the mining hype may reduce digital inequalities, and secondly to demonstrate how these services offer a new business model based on value rewarding in exchange for computational power, which would allow more online opportunities for people, and thus reduce digital inequalities. Finally, this contribution discusses and proposes a method for a fair revenue model for content and online service providers that uses user device computing resources or computational power, rather than their data and attention. The method is represented by a model that allows for consensual use of user computing resources in exchange for accessing content and using software tools and services, acting essentially as an alternative online business model. Findings Allowing users to convert their devices’ computational power into value, whether through access to services or content or receiving cryptocurrency and payments in return for providing services or content or direct computational powers, contributes to bridging digital divides, even at fairly small levels. Secondly, the advent of blockchain technologies is shifting power relations between end-users and content developers and service providers and is a necessity for the decentralisation of internet and internet services. Originality/value The article studies the effect of services that rely on distributed computing and mining on digital inequalities, by looking at three different case studies – Coinhive, Gridcoin and Cryptotab – that promise to provide value in return for using computing resources. The article discusses how these services may reduce digital inequalities by affecting the three levels of the digital divide, namely, access to information and communication technologies, skills and motivations in using ICTs and capacities in using ICTs to get concrete benefits. (shrink)

Complex systems can be characterized by classes of equivalency of their elements defined according to system specific rules. We propose a generalized preferential attachment model to describe the class size distribution. The model postulates preferential growth of the existing classes and the steady influx of new classes. According to the model, the distribution changes from a pure exponential form for zero influx of new classes to a power law with an exponential cut-off form when the influx of new classes is (...) substantial. Predictions of the model are tested through the analysis of a unique industrial database, which covers both elementary units (products) and classes (markets, firms) in a given industry (pharmaceuticals), covering the entire size distribution. The model's predictions are in good agreement with the data. The paper sheds light on the emergence of the exponent tau approximately 2 observed as a universal feature of many biological, social and economic problems. (shrink)

Europe Kidnapped: Spanish Voices on Citizenship and Exile Exile and migration are once more central issues in the contemporary European predicament. This short article intends to discuss these questions elaborating on the ideas of two Spanish authors, a novelist, Max Aub, and a philosopher, María Zambrano, both marked by the tragic events of civil war and forced expatriation. Exile and migration in their existential perspective are meant as a prologue to the vindication of citizenship.

My paper consists of four sections. The first is concerned with the distinction and connection between fundamental and human rights. Here I shall just introduce a few conceptual notions and definitions that are more or less widely used, but that may help us to frame the issue and better focus on the most relevant question of the foundation or justification of human rights. In the second and third sections I will present what I believe to be the four fundamental normative (...) situations that shape our understanding and use of human rights. In the second section attention will focus on what in my opinion is the most basic of these four normative situations, which I call the “existential” situation. This is intended to offer a strong foundation for human rights as “not metaphysical,” without appealing to or relying on heavy metaphysical assumptions. I will try to stick more or less to an argumentative strategy based on common sense. The third section, dealing with the three other normative situations, will to some extent be an exercise in eclecticism, trying to combine different approaches to (and schools of thought on) the question of normativity. Here eclecticism will not be trivial, or at least I hope not. In the fourth and final section I will briefly conclude with a general overview on the issue of the “existence” of normativity and human rights. (shrink)

Populism, the Kingdom of Shadows, and the Challenge to Liberal Democracy Populism is a somehow intractable notion, since its reference is much too wide, comprising phenomena that are indeed in conflict between them, and moreover blurred, by being often used in an instrumental, polemical way. Such intractability is then radicalized through the two alternative approaches to populism, one that is more or less neutral, rooting in the political science tradition, and a second one, fully normative, though fed by political realism, (...) founding as it does on a specific political theory and project. In the article an alternative view is proposed, that of populism as the politics that is congruent with the increasing role played by ‘screens’, icons, and images in social relationships and indeed in political representation. In this way populism is approached as the specific way politics is done within the context of a digitalized société du spectacle. (shrink)

We present an account of semantics that is not construed as a mapping of language to the world but rather as a mapping between individual meaning spaces. The meanings of linguistic entities are established via a “meeting of minds.” The concepts in the minds of communicating individuals are modeled as convex regions in conceptual spaces. We outline a mathematical framework, based on fixpoints in continuous mappings between conceptual spaces, that can be used to model such a semantics. If concepts are (...) convex, it will in general be possible for interactors to agree on joint meaning even if they start out from different representational spaces. Language is discrete, while mental representations tend to be continuous—posing a seeming paradox. We show that the convexity assumption allows us to address this problem. Using examples, we further show that our approach helps explain the semantic processes involved in the composition of expressions. (shrink)

Di Massimo di Tiro si conoscono pochi dettagli biografici. Le fonti antiche, concordi nel ritenerlo ‘filosofo’ e ‘filosofo platonico’, affermano che le sue dissertazioni o indagini filosofiche sono da ricondursi al suo primo soggiorno a Roma, al tempo dell’imperatore Commodo. Le quarantuno dissertazioni filosofiche di Massimo di Tiro offrono una visione privilegiata della cultura imperiale del secondo secolo, epoca in cui, dominante l’eleganza stilistica, anche la filosofia non disdegnava di dispiegare i propri contenuti mediante il bello stilo dello (...) strumento retorico. Nello svolgimento dei temi, perlopiù platonici nell’ispirazione e orientati ad argomenti presenti al dibattito coevo, ma comunque non escludenti altre influenze filosofiche, Massimo di Tiro si mostra pensatore dalla non banale semplicità. Muovendosi fra filosofia e letteratura, fra Platone e Omero, egli calibra l’erudizione sul filtro di un’esigenza educativa di ampio respiro. Nel volume si presenta la prima traduzione italiana completa dal greco. Il commento critico, aggiornato al dibattito accademico internazionale, mira a mostrare come l’opera del pensatore meriti una rinnovata attenzione nell’ambito degli studi classici letterari e filosofici, giacché nel delineare il quadro culturale del tempo essa consente di meglio precisare alcuni non marginali aspetti del platonismo del secondo secolo. (shrink)

Cognitive Robotics can be defined as the study of cognitive phenomena by their modeling in physical artifacts such as robots. This is a very lively and fascinating field which has already given fundamental contributions to our understanding of natural cognition. Nonetheless, robotics has to date addressed mainly very basic, low­level cognitive phenomena like sensory­motor coordination, perception, and navigation, and it is not clear how the current approach might scale up to explain high­level human cognition. In this paper we argue that (...) a promising way to do that is to merge current ideas and methods of 'embodied cognition' with the Russian tradition of theoretical psychology which views language not only as a communication system but also as a cognitive tool, that is by developing a Vygotskyan Cognitive Robotics. We substantiate this idea by discussing several domains in which language can improve basic cognitive abilities and permit the development of high­level cognition: learning, categorization, abstraction, memory, voluntary control, and mental life. (shrink)

The standard view of classical cognitive science stated that cognition consists in the manipulation of language-like structures according to formal rules. Since cognition is ‘linguistic’ in itself, according to this view language is just a complex communication system and does not influence cognitive processes in any substantial way. This view has been criticized from several perspectives and a new framework (Embodied Cognition) has emerged that considers cognitive processes as non-symbolic and heavily dependent on the dynamical interactions between the cognitive system (...) and its environment. But notwithstanding the successes of the embodied cognitive science in explaining low-level cognitive behaviors, it is still not clear whether and how it can scale up for explaining high-level cognition. In this paper we argue that this can be done by considering the role of language as a cognitive tool: i.e. how language transforms basic cognitive functions in the high-level functions that are characteristic of human cognition. In order to do that, we review some computational models that substantiate this view with respect to categorization and memory. Since these models are based on a very rudimentary form of non-syntactic ‘language’ we argue that the use of language as a cognitive tool might have been an early discovery in hominid evolution, and might have played a substantial role in the evolution of language itself. (shrink)

There are two natural ways of thinking about negation: (i) as a form of complementation and (ii) as an operation of reversal, or inversion (to deny that p is to say that things are “the other way around”). A variety of techniques exist to model conception (i), from Euler and Venn diagrams to Boolean algebras. Conception (ii), by contrast, has not been given comparable attention. In this note we outline a twofold geometric proposal, where the inversion metaphor is understoood as (...) involving a rotation o a reflection, respectively. These two options are equivalent in classical two-valued logic but they differ significantly in many-valued logics. Here we show that they correspond to two basic sorts of negation operators—Post’s and Kleene’s—and we provide a simple group-theoretic argument demonstrating their generative power. (shrink)

Understanding the role of ‘‘representations’’ in cognitive science is a fundamental problem facing the emerging framework of embodied, situated, dynamical cognition. To make progress, I follow the approach proposed by an influential representational skeptic, Randall Beer: building artificial agents capable of minimally cognitive behaviors and assessing whether their internal states can be considered to involve representations. Hence, I operationalize the concept of representing as ‘‘standing in,’’ and I look for representations in embodied agents involved in simple categorization tasks. In a (...) first experiment, no representation can be found, but the relevance of the task is undermined by the fact that agents with no internal states can reach high performance. A simple modification makes the task more “representationally hungry,” and in this case, agents’ internal states are found to qualify as representations. I conclude by discussing the benefits of reconciling the embodied-dynamical approach with the notion of representation. (shrink)

Decision-making assisted by algorithms developed by machine learning is increasingly determining our lives. Unfortunately, full opacity about the process is the norm. Would transparency contribute to restoring accountability for such systems as is often maintained? Several objections to full transparency are examined: the loss of privacy when datasets become public, the perverse effects of disclosure of the very algorithms themselves, the potential loss of companies’ competitive edge, and the limited gains in answerability to be expected since sophisticated algorithms usually are (...) inherently opaque. It is concluded that, at least presently, full transparency for oversight bodies alone is the only feasible option; extending it to the public at large is normally not advisable. Moreover, it is argued that algorithmic decisions preferably should become more understandable; to that effect, the models of machine learning to be employed should either be interpreted ex post or be interpretable by design ex ante. (shrink)

La catégorie moderne de la légalité vit depuis longtemps une profonde crise d'identité. Selon l'auteur, il ne s'agit pas simplement d'une crise d'effectivité, mais d'une crise bien plus profonde, qui ne se manifeste pas seulement par la dissiciation du modèle de la réalité, mais qui bouleverse le modèle théorique lui-même, signe d'une crise encore plus radicale qui concerne tout le paradigme juridique au sein duquel elle a été conçue.00Après avoir tracé les contours de ce paradigme et mis en lumière l'aporie (...) du princpe moderne d'égalité, l'Auteur nous montre, en s'appuyant sur la révolution constitutionnelle de l'après seconde guerre mondiale et en faisant le détour par les territoires du droit européen, que ceux qui semblent être des chemins interrompus de la légalité s'avèrent être, en réalité, les chemins encore peu explorés d'une nouvelle légalité dont il brosse le portrait. (shrink)

It is often contended that certain enhancement technologies are acceptable, because they simply update traditional ways of pursuing the improvement of human capacities. This is not true with reference to moral bioenhancement, because of the radical difference between traditional and biotechnological ways of producing moral progress. These latter risk having serious negative effects on our moral agency, by causing a substantial loss of freedom and capacity of authentic moral behaviour, by affecting our moral identity and by imposing a standard conception (...) of moral personality. (shrink)

In complex, pluralistic societies, different views concerning the moral duties of healthcare professionals inevitably exist: according to some accounts, doctors can and should cooperate in performing abortion or physician-assisted suicide, while according to others they should always defend human life and protect their patients’ health. It is argued that the very plurality of responses presently given to questions such as these provides a liberal argument in favour of conscientious objection, as an attempt to deal with moral diversity by protecting both (...) the professionals’ claim to moral integrity and the patients’ claim to receive lawful and safe medical treatments. A moderate view on CO is defended, according to which none of these claims can be credited with unconditional value. Claims to CO by healthcare professionals can be justified but must be subjected to a reasonableness standard. Both the incompatibility of CO with the medical profession and its unconditional sanctioning by conscience absolutism are therefore rejected. The paper contributes to the definition of the conditions of such reasonableness, particularly by stressing the role played by conceptions of good medicine in discriminating claims to CO; it is argued that respecting these conditions prevents from having the negative consequences dreaded by critics. The objection according to which accepting the physician’s duty to inform and refer is inconsistent with the professed value of moral integrity is also discussed. (shrink)

This paper takes the dichotomy between “exclusive” and “inclusive” positivism and applies it by analogy to natural-law theories. With John Finnis, and with Beyleved and Brownsword, we have examples of “exclusive natural-law theory,” on which approach the law is valid only if its content satisfies a normative monological moral theory. The discourse theories of Alexy and Habermas are seen instead as “inclusive natural-law theories,” in which the positive law is a constitutive moment in that it identifies moral rules and specifies (...) their meaning. The article argues that inclusive theories of natural law are better suited to expressing an authentic “republican” attitude.*In the seed of the city of the just, a malignant seed is hidden, in its turn: the certainty and pride of being in the right. (Calvino 1997, 162). (shrink)