Predictive syntactic processing plays an essential role in language comprehension. In our previous study using Japanese object-verb (OV) sentences, we showed that the left inferior frontal gyrus (IFG) responses to a verb increased at 120–140 ms after the verb onset, indicating predictive effects caused by a preceding object. To further elucidate the automaticity of the predictive effects in the present magnetoencephalography study, we examined whether a subliminally presented verb (“subliminal verb”) enhanced the predictive effects on the sentence-final verb (“target verb”) (...) unconsciously, i.e., without awareness. By presenting a subliminal verb after the object, enhanced predictive effects on the target verb would be detected in the OV sentences when the transitivity of the target verb matched with that of the subliminal verb (“congruent condition”), because the subliminal verb just after the object could determine the grammaticality of the sentence. For the OV sentences under the congruent condition, we observed significantly increased left IFG responses at 140–160 ms after the target verb onset. In contrast, responses in the precuneus and midcingulate cortex (MCC) were significantly reduced for the OV sentences under the congruent condition at 110–140 and 280–300 ms, respectively. By using partial Granger causality analyses for the OV sentences under the congruent condition, we revealed a bidirectional interaction between the left IFG and MCC at 60–160 ms, as well as a significant influence from the MCC to the precuneus. These results indicate that a top-down influence from the left IFG to the MCC, and then to the precuneus, is critical in syntactic decisions, whereas the MCC shares its task-set information with the left IFG to achieve automatic and predictive processes of syntax. (shrink)

Chemical visualizations and models are special kinds of situated, inductive arguments. In this paper, I examine several historical case studies—an archive of images from museums, special collections, and popular magazines—as examples of emergent practices of physical modeling as theoretical play which became the basis for molecular biology and structural chemistry. Specifically, I trace a legacy of visualization tools that starts with Archibald Scott Cooper and Friedrich Kekulé in the late 1800s, crystallizes as material manipulatives in Kekulé’s student Jacobus Henricus Van’t (...) Hoff and his folded paper “toys,” is legitimized in the California lab of Linus Pauling, and is glorified in the popular imaginary with James Watson and Francis Crick’s model of DNA. My tracing then follows several threads into contemporary modeling practices. I ultimately argue that modeling play, originally outside of the boundary of deductive, positivist science, is now an accepted mode of inductive reasoning in these related chemical fields. (shrink)

The Marburg neo-Kantians argue that Hermann von Helmholtz's empiricist account of the a priori does not account for certain knowledge, since it is based on a psychological phenomenon, trust in the regularities of nature. They argue that Helmholtz's account raises the 'problem of validity' (Gueltigkeitsproblem): how to establish a warranted claim that observed regularities are based on actual relations. I reconstruct Heinrich Hertz's and Ludwig Wittgenstein's Bild theoretic answer to the problem of validity: that scientists and philosophers can depict the (...) necessary a priori constraints on states of affairs in a given system, and can establish whether these relations are actual relations in nature. The analysis of necessity within a system is a lasting contribution of the Bild theory. However, Hertz and Wittgenstein argue that the logical and mathematical sentences of a Bild are rules, tools for constructing relations, and the rules themselves are meaningless outside the theory. Carnap revises the argument for validity by attempting to give semantic rules for translation between frameworks. Russell and Quine object that pragmatics better accounts for the role of a priori reasoning in translating between frameworks. The conclusion of the tale, then, is a partial vindication of Helmholtz's original account. (shrink)

The article introduces a thematic issue of the journal Theory of Science that attempts to revive the category of "philosophi- cal toys" - objects and instruments designed for experimental scientific research that simultaneously played crucial role in the creation of the modern visual culture. It claims that to fully understand their nature and the kind of experience philosophical toys induce, it is necessary to situate their origins in eighteenth-century experimental science and aesthetics and proposes to approach them as perceptual and (...) cognitive extensions. (shrink)

Sex toys promote a new consumptive ethos whose significance may be adequately outlined by attending to the institutional implications of this product category’s consumption. By drawing on Foucault’s theory of sexuality and the technologies of the self that materialize with the aid of discursive formations about sexuality, as well as on relevant sociological and ethnographic insights, I undertake a qualitative content analysis on a corpus of 100 sex toys’ product reviews from popular magazines and web sites in order to identify (...) how the discourse about sex toys is articulated in terms of three dominant categories of sexual scripts (Simon and Gagnon 2007, Sexual scripts. In Richard Parker & Peter Aggleton (eds.), Culture, society, and sexuality: A reader, 29–38. London: Routledge), namely, cultural scenarios, interpersonal and intrapsychic scripts. By opening up the discussion to a broader cultural terrain, I outline how the consumption experience of sex toys, as articulated in the reviews’ discursive formations, facilitates the emergence of new consumer trends, particularly with reference to orgasm-on-the-go and no-touch-orgasm, while redefining existing ones. (shrink)

The central topic of this essay consists into establishing a relation between two dimensions of formation: the conceptual process of creating philo- sophical toys - that is of reelaborating existing philosophical concepts, mainly deriving from the thought of Gilles Deleuze and Félix Guattari, in terms of their potential as ‘operative constructs' - and their parallel redeployment towards the specific problem of analyz- ing a recent transdisciplinary artwork. By means of this strategical shift, theory looses its character of explanation and illustration. (...) Philosophy as toy becomes rather the matter of evaluating the com- plexity of a specific artistic composition in terms of its aesthetic potential. It contributes towards developing meta- stable conditions of mutual resonance between heterogeneous modalities of creation. (shrink)

The ancient Ouroboros symbolism (one who eats oneself) is here integrated into a simple birth-death clustering process that needed nothing but itself for a transition from indistinguishable phases to a sort of higher level ”conscious” phases. Birth and death coefficients are formulated in terms of odd and even exponentials used to represent a suitable form for conscious states via the internal transfer of information. This toy model may ideally quantify conscious states having inner causes via an Ouroboros index 0 < (...) Υα,Ω < 1. The value Υα,Ω = 0 lends to infinite loops and the limiting values Υα,Ω → 1 disclose transformation into awareness. Relationships with physics theories of consciousness and the use of the Oroborous index to discern about conscious-like states in Artificial Intelligence systems are discussed. Consciousness and freedom of will may go side-by-side in the model when Υα,Ω is extended to be a complex number modulus. (shrink)

Several philosophers of science claim that scientific toy models afford knowledge of possibility, but answers to the question of why toy models can be expected to competently play this role are scarce. The main line of reply is that toy models support possibility claims insofar as they are credible. I raise a challenge for this credibility-thesis, drawing on a familiar problem for imagination-based modal epistemologies, and argue that it remains unanswered in the current literature. The credibility-thesis has a long way (...) to go if it is to account for the epistemic merits of toy models. (shrink)

Mathematical models are a well established tool in most natural sciences. Although models have been neglected by the philosophy of science for a long time, their epistemological status as a link between theory and reality is now fairly well understood. However, regarding the epistemological status of mathematical models in the social sciences, there still exists a considerable unclarity. In my paper I argue that this results from specific challenges that mathematical models and especially computer simulations face in the social sciences. (...) The most important difference between the social sciences and the natural sciences with respect to modeling is that in the social sciences powerful and well confirmed background theories (like Newtonian mechanics, quantum mechanics or the theory of relativity in physics) do not exist in the social sciences. Therefore, an epistemology of models that is formed on the role model of physics may not be appropriate for the social sciences. I discuss the challenges that modeling faces in the social sciences and point out their epistemological consequences. The most important consequences are that greater emphasis must be placed on empirical validation than on theoretical validation and that the relevance of purely theoretical simulations is strongly limited. (shrink)

Since the 1990’s, the debate concerning the ethical, legal and societal aspects of ‘neuro-enhancement’ has evolved into a massive discourse, both in the public realm and in the academic arena. This ethical debate, however, tends to repeat the same sets of arguments over and over again. Normative disagreements between transhumanists and bioconservatives on invasive or radical brain stimulators, and uncertainties regarding the use and effectivity of nootropic pharmaceuticals dominate the field. Building on the results of an extensive European project on (...) responsible research and innovation in neuro-enhancement, we observe and encourage that the debate is now entering a new and, as we will argue, more realistic and societally relevant stage. This new stage concerns those technologies that enter the market as ostensibly harmless contrivances that consumers may use for self-care or entertainment. We use the examples and arguments of participants in NERRI debates to describe three case studies of such purportedly innocent ‘toys’. Based upon this empirical material, we argue that these ‘soft’ enhancement gadgets are situated somewhere in the boundary zone between the internal and the external, between the intimate and the intrusive, between the familiar and the unfamiliar, between the friendly and the scary and, in Foucauldian terms, between technologies of the self and technologies of control. Therefore, we describe their physiognomy with the help of a term borrowed from Jacques Lacan, namely as “extimate” technologies. (shrink)

Nineteenth-century optical toys that showcase illusions of motion such as the phenakistoscope, zoetrope, and praxinoscope, have enjoyed active “afterlives” in the twentieth and twenty-first centuries. Contemporary incarnations of the zoetrope are frequently found in the realms of fine art and advertising, and they are often much larger than their nineteenth-century counterparts. This article argues that modern-day optical toys are able to conjure feelings of wonder and spectacle equivalent to their nineteenth-century antecedents because of their adjustment in scale. Exploring a range (...) of contemporary philosophical toys found in arts, entertainment, and advertising contexts, the article discusses various technical adjustments made to successfully “scale up” optical toys, including the replacement of hand-spun mechanisms with larger sources of motion and the use of various means such as architectural features and stroboscopic lights to replace traditional shutter mechanisms such as the zoetrope’s dark slots. Critical consideration of scale as a central feature of these installations reconfigures the relationship between audience and device. Large-scale adaptations of optical toys revise the traditional conception of the user, who is able to tactilely manipulate and interact with the apparatus, instead positing a viewer who has less control over the illusion’s operation and is instead a captive audience surrounded by the animation. It is primarily through their adaptation of scale that contemporary zoetropes successfully elicit wonder as scientific spectacles from their audiences today. (shrink)

According to the Lockean thesis, a proposition is believed just in case it is highly probable. While this thesis enjoys strong intuitive support, it is known to conflict with seemingly plausible logical constraints on our beliefs. One way out of this conflict is to make probability 1 a requirement for belief, but most have rejected this option for entailing what they see as an untenable skepticism. Recently, two new solutions to the conflict have been proposed that are alleged to be (...) non-skeptical. We compare these proposals with each other and with the Lockean thesis, in particular with regard to the question of how much we gain by adopting any one of them instead of the probability 1 requirement, that is, of how likely it is that one believes more than the things one is fully certain of. (shrink)

This essay examines how the standpoint of the gaijin (foreigner) shapes and challenges the act of philosophizing, through the experience of overwhelming cultural difference. I examine three challenges the foreigner faces—the need to understand a foreign culture, the need to contribute to a foreign culture, and the need for caution and self-awareness vis-à-vis the excesses and dangers of this attempt. -/- First, through a reading of Thomas Kasulis’ Intimacy or Integrity: Philosophy and Cultural Difference (2002), I take the reader through (...) the experience of trying to understand a foreign culture by examining the kind of relationships that are prioritized in a particular culture. Kasulis discusses intimacy-oriented cultures as those that stress internal relationships between interdependent individuals, and integrity-oriented cultures as those that stress external relationships between autonomous individuals. He then shows how this affects the way this influences the worldview and norms of a particular culture. -/- Next, through a reading of various writings of Watsuji Tetsurô on culture and ethics, I explore the attempt to go beyond cultural difference—seeking a universal standpoint from which one can contribute to or criticize another culture despite cultural difference. I discuss the relationship Watsuji presents between universal ethics and national morality in his “Theory of National Morals” (1932), and connect it with his project in Ethics (1937, 1942/46, 1949) that tries to resolve the contradiction between individuality (integrity) and totality (intimacy) through a “dual-negative structure.” -/- Finally, through an examination of Sakai Naoki’s Translation and Subjectivity: On “Japan” and Cultural Nationalism (1997), I explore the dangers latent in Kasulis’ and Watsuji’s approach. I delve into the danger of schematizing “us vs. them” or “gaijin vs. nihonjin,” which can be present in the attempt to understand cultures. Then I examine Sakai’s warning as to the danger of trying to have a universal standpoint and its tendency to deny the embeddedness of one’s position. -/- Through a dialogue with these three thinkers, I thus attempt to explore in a relatable but nuanced way, what it might mean for the foreigner to confront cultural difference in a manner that both respects cultural difference but transcends it. (shrink)

I argue that ML models used in science function as highly idealized toy models. If we treat ML models as a type of highly idealized toy model, then we can deploy standard representational and epistemic strategies from the toy model literature to explain why ML models can still provide epistemic success despite their lack of similarity to their targets.

An analogue of Arrow’s theorem has been thought to limit the possibilities for multi-criterial theory choice. Here, an example drawn from Toy Science, a model of theories and choice criteria, suggests that it does not. Arrow’s assumption that domains are unrestricted is inappropriate in connection with theory choice in Toy Science. There are, however, variants of Arrow’s theorem that do not require an unrestricted domain. They require instead that domains are, in a technical sense, ‘rich’. Since there are rich domains (...) in Toy Science, such theorems do constrain theory choice to some extent—certainly in the model and perhaps also in real science. (shrink)

Hawthorne toys with the view that ascriptions of free will are context-sensitive. But the way he formulates the view makes freedom contextualism look like a non-starter. I step into the breach for freedom contextualism. My aim is twofold. On the one hand, I argue that freedom contextualism can be motivated on the basis of our ordinary practice of freedom attribution is not ad hoc. The view explains data which cannot be accounted for by an ambiguity hypothesis. On the other hand, (...) I suggest a more plausible freedom contextualist analysis, which emerges naturally once we pair the assumption that freedom requires that the agent could have acted otherwise with a plausible semantics of "can" statements. I'll dub the resulting view Alternate Possibilities Contextualism, or APC, for short. In contrast to Hawthorne's view, APC is well-motivated in its own right, does not beg the question against the incompatibilist and delivers a context parameter which allows for a wide range of context shifts. I conclude that, far from being a non-starter, freedom contextualism sets an agenda worth pursuing. (shrink)

This paper discusses critically what simulation models of the evolution of cooperation can possibly prove by examining Axelrod’s “Evolution of Cooperation” (1984) and the modeling tradition it has inspired. Hardly any of the many simulation models in this tradition have been applicable empirically. Axelrod’s role model suggested a research design that seemingly allowed to draw general conclusions from simulation models even if the mechanisms that drive the simulation could not be identified empirically. But this research design was fundamentally flawed. At (...) best such simulations can claim to prove logical possibilities, i.e. they prove that certain phenomena are possible as the consequence of the modeling assumptions built into the simulation, but not that they are possible or can be expected to occur in reality. I suggest several requirements under which proofs of logical possibilities can nevertheless be considered useful. Sadly, most Axelrod-style simulations do not meet these requirements. It would be better not to use this kind of simulations at all. (shrink)

ABSTRACT Quine insisted that the satisfaction of an open modalised formula by an object depends on how that object is described. Kripke's ‘objectual’ interpretation of quantified modal logic, whereby variables are rigid, is commonly thought to avoid these Quinean worries. Yet there remain residual Quinean worries for epistemic modality. Theorists have recently been toying with assignment-shifting treatments of epistemic contexts. On such views an epistemic operator ends up binding all the variables in its scope. One might worry that this (...) yields the undesirable result that any attempt to ‘quantify in’ to an epistemic environment is blocked. If quantifying into the relevant constructions is vacuous, then such views would seem hopelessly misguided and empirically inadequate. But a famous alternative to Kripke's semantics, namely Lewis' counterpart semantics, also faces this worry since it also treats the boxes and diamonds as assignment-shifting devices. As I'll demonstrate, the mere fact that a variable is bound is no obstacle to binding it. This provides a helpful lesson for those modelling de re epistemic contexts with assignment sensitivity, and perhaps leads the way toward the proper treatment of binding in both metaphysical and epistemic contexts: Kripke for metaphysical modality, Lewis for epistemic modality. (shrink)

My first goal is to motivate a distinctively metaphysical approach to the problem of induction. I argue that there is a precise sense in which the only way that orthodox Humean and non-Humean views can justify induction is by appealing to extremely strong and unmotivated probabilistic biases. My second goal is to sketch what such a metaphysical approach could possibly look like. After sketching such an approach, I consider a toy case that illustrates the way in which such a metaphysics (...) can help us make progress on the problem of induction. (shrink)

Structural representations are increasingly popular in philosophy of cognitive science. A key virtue they seemingly boast is that of meeting Ramsey's job description challenge. For this reason, structural representations appear tailored to play a clear representational role within cognitive architectures. Here, however, I claim that structural representations do not meet the job description challenge. This is because even our most demanding account of their functional profile is satisfied by at least some receptors, which paradigmatically fail the job description challenge. Hence, (...) the functional profile typically associated with structural representations does not identify representational posits. After a brief introduction, I present, in the second section of the paper, the job description challenge. I clarify why receptors fail to meet it and highlight why, as a result, they should not be considered representations. In the third section I introduce what I take to be the most demanding account of structural representations at our disposal, namely Gładziejewski's account. Provided the necessary background, I turn from exposition to criticism. In the first half of the fourth section, I equate the functional profile of structural representations and receptors. To do so, I show that some receptors boast, as a matter of fact, all the functional features associated with structural representations. Since receptors function merely as causal mediators, I conclude structural representations are mere causal mediators too. In the second half of the fourth section I make this conclusion intuitive with a toy example. I then conclude the paper, anticipating some objections my argument invites. (shrink)

The received wisdom in statistical mechanics is that isolated systems, when left to themselves, approach equilibrium. But under what circumstances does an equilibrium state exist and an approach to equilibrium take place? In this paper we address these questions from the vantage point of the long-run fraction of time definition of Boltzmannian equilibrium that we developed in two recent papers. After a short summary of Boltzmannian statistical mechanics and our definition of equilibrium, we state an existence theorem which provides general (...) criteria for the existence of an equilibrium state. We first illustrate how the theorem works with a toy example, which allows us to illustrate the various elements of the theorem in a simple setting. After a look at the ergodic programme, we discuss equilibria in a number of different gas systems: the ideal gas, the dilute gas, the Kac gas, the stadium gas, the mushroom gas and the multi-mushroom gas. In the conclusion we briefly summarise the main points and highlight open questions. (shrink)

One of Mill’s main arguments for free speech springs from taking disagreement as an epistemically valuable resource for fallible thinkers. Contemporary conciliationist treatments of disagreement spring from the same motivation, but end up seeing the epistemic implications of disagreement quite differently. Conciliationism also encounters complexities when transposed from the 2-person toy examples featured in the literature to the public disagreements among groups that give the issue much of its urgency. Group disagreements turn out to be in some ways more powerful (...) defeaters of rational belief, even when opposing groups are comparable in size and epistemic credentials. And conciliationism also shows us why determining the rational response to these disagreements can in certain cases (e.g. politics) be a particularly difficult and nuanced matter. (shrink)

According to cognitive psychologists, moral decision-making is a dual-process phenomenon involving two types of cognitive processes: explicit reasoning and implicit intuition. Moral development involves training and integrating both types of cognitive processes through a mix of instruction, practice, and reflection. Serious games are an ideal platform for this kind of moral training, as they provide safe spaces for exploring difficult moral problems and practicing the skills necessary to resolve them. In this article, we present Morality Play, a model for the (...) design of serious games for ethical expertise development based on the Integrative Ethical Education framework from moral psychology and the Lens of the Toy model for serious game design. (shrink)

Some researchers and autistic activists have recently suggested that because some ‘autism-related’ behavioural atypicalities have a function or purpose they may be desirable rather than undesirable. Examples of such behavioural atypicalities include hand-flapping, repeatedly ordering objects (e.g., toys) in rows, and profoundly restricted routines. A common view, as represented in the Diagnostic and Statistical Manual of Mental Disorders (DSM) IV-TR (APA, 2000), is that many of these behaviours lack adaptive function or purpose, interfere with learning, and constitute the non-social behavioural (...) dysfunctions of those disorders making up the Autism Spectrum. As the DSM IV-TR continues to be the reference source of choice for professionals working with individuals with psychiatric difficulties, its characterization of the Autism Spectrum holds significant sway. We will suggest Extended Mind and Enactive Cognition Theories, which theorize that mind (or cognition) is embodied and environmentally embedded, as coherent conceptual and theoretical spaces within which to investigate the possibility that certain repetitive behaviours exhibited by autistics possess functions or purposes that make them desirable. As lenses through which to re-examine ‘autism-related’ behavioral atypicalities, these theories not only open up explanatory possibilities underdeveloped in the research literature, but also cohere with how some autistics describe their own experience. Our position navigates a middle way between the view of autism as understood in terms of impairment, deficit and dysfunction and one that seeks to de-pathologize the Spectrum. In so doing we seek to contribute to a continuing dialogue between researchers, clinicians and self- or parent advocates. (shrink)

Models as Make-Believe offers a new approach to scientific modelling by looking to an unlikely source of inspiration: the dolls and toy trucks of children's games of make-believe.

Mathematics clearly plays an important role in scientific explanation. Debate continues, however, over the kind of role that mathematics plays. I argue that if pure mathematical explananda and physical explananda are unified under a common explanation within science, then we have good reason to believe that mathematics is explanatory in its own right. The argument motivates the search for a new kind of scientific case study, a case in which pure mathematical facts and physical facts are explanatorily unified. I argue (...) that it is possible for there to be such cases, and provide some toy examples to demonstrate this. I then identify a potential source of scientific case studies as a guide for future work. (shrink)

Communities of nuclear workers have evolved in distinctive contexts. During the Manhattan Project the UK, USA and Canada collectively developed the first reactors, isotope separation plants and atomic bombs and, in the process, nurtured distinct cadres of specialist workers. Their later workplaces were often inherited from wartime facilities, or built anew at isolated locations. For a decade, nuclear specialists were segregated and cossetted to gestate practical expertise. At Oak Ridge Tennessee, for example, the informal ‘Clinch College of Nuclear Knowledge’ aimed (...) to industrialise the use of radioactive materials. ‘We were like children in a toy factory’, said its Director: ‘everyone could play the game of designing new nuclear power piles’. His counterpart at Chalk River, Ontario headed a project ‘completely Canadian in every respect’, while the head of the British project chose the remote Dounreay site in northern Scotland because of design uncertainties in the experimental breeder reactor. With the decline of secrecy during the mid-1950s, the hidden specialists lauded as ‘atomic scientists’ gradually became visible as new breeds of engineers, technologists and technicians responsible for nuclear reactors and power plants. Mutated by their different political contexts, occupational categories, labour affiliations, professional representations and popular depictions, their activities were disputed by distinct audiences. This chapter examines the changing identities of nuclear specialists and the significance of their secure sites. Shaped successively by Cold War secrecy, commercial competition and terrorist threats, nuclear energy remained out of site for wider publics and most nuclear specialists alike. The distinctive episodes reveal the changing working experiences of technical workers in late-twentieth and early twenty-first century environments. (shrink)

With the advent of the 21st century, the way characters and identities interact under the influence of dominant powers has brought a new world into existence, a world dubbed by Manuel Castells as the ‘Fourth World’. Within the Castellsian theoretical matrix of the Fourth World and politics of identity, the present study seeks to investigate the true nature of the futuristic world Margaret Atwood has created in the MaddAddam trilogy. The trilogy literarily reflects a global crisis that ultimately leads to (...) dystopia and the destruction of the human race: what remains of humanity is a small group of survivors who must struggle to conserve what remains of humanity. Identity as the main determining factor in the Fourth World represents personal and public privileges, characteristics, and means of differentiating oneself from others. The Fourth World and its political peculiarities reflect contemporary powers, i.e. the power of the network society, network communication and media. Humankind, in this wheel, is just a toy in the hands of an intelligence broker. What exactly happens to human and semi-human characters in Atwood’s trilogy is the result of Fourth World structures and values, and how they shape and reconstruct identities to lead the world toward fabricated truths and values, and terminate in dystopia. (shrink)

This paper shows how the classical finite probability theory (with equiprobable outcomes) can be reinterpreted and recast as the quantum probability calculus of a pedagogical or toy model of quantum mechanics over sets (QM/sets). There have been several previous attempts to develop a quantum-like model with the base field of ℂ replaced by ℤ₂. Since there are no inner products on vector spaces over finite fields, the problem is to define the Dirac brackets and the probability calculus. The previous attempts (...) all required the brackets to take values in ℤ₂. But the usual QM brackets <ψ|ϕ> give the "overlap" between states ψ and ϕ, so for subsets S,T⊆U, the natural definition is <S|T>=|S∩T| (taking values in the natural numbers). This allows QM/sets to be developed with a full probability calculus that turns out to be a non-commutative extension of classical Laplace-Boole finite probability theory. The pedagogical model is illustrated by giving simple treatments of the indeterminacy principle, the double-slit experiment, Bell's Theorem, and identical particles in QM/Sets. A more technical appendix explains the mathematics behind carrying some vector space structures between QM over ℂ and QM/Sets over ℤ₂. (shrink)

The first aim of this note is to describe an algebraic structure, more primitive than lattices and quantales, which corresponds to the intuitionistic flavour of Linear Logic we prefer. This part of the note is a total trivialisation of ideas from category theory and we play with a toy-structure a not distant cousin of a toy-language. The second goal of the note is to show a generic categorical construction, which builds models for Linear Logic, similar to categorical models GC of (...) [deP1990], but more general. The ultimate aim is to relate different categorical models of linear logic. (shrink)

Let us start by some general definitions of the concept of complexity. We take a complex system to be one composed by a large number of parts, and whose properties are not fully explained by an understanding of its components parts. Studies of complex systems recognized the importance of “wholeness”, defined as problems of organization (and of regulation), phenomena non resolvable into local events, dynamics interactions in the difference of behaviour of parts when isolated or in higher configuration, etc., in (...) short, systems of various orders (or levels) not understandable by investigation of their respective parts in isolation. In a complex system it is essential to distinguish between ‘global’ and ‘local’ properties. Theoretical physicists in the last two decades have discovered that the collective behaviour of a macro-system, i.e. a system composed of many objects, does not change qualitatively when the behaviour of single components are modified slightly. Conversely, it has been also found that the behaviour of single components does change when the overall behaviour of the system is modified. There are many universal classes which describe the collective behaviour of the system, and each class has its own characteristics; the universal classes do not change when we perturb the system. The most interesting and rewarding work consists in finding these universal classes and in spelling out their properties. This conception has been followed in studies done in the last twenty years on second order phase transitions. The objective, which has been mostly achieved, was to classify all possible types of phase transitions in different universality classes and to compute the parameters that control the behaviour of the system near the transition (or critical or bifurcation) point as a function of the universality class. This point of view is not very different from the one expressed by Thom in the introduction of Structural Stability and Morphogenesis (1975). It differs from Thom’s program because there is no a priori idea of the mathematical framework which should be used. Indeed Thom considers only a restricted class of models (ordinary differential equations in low dimensional spaces) while we do not have any prejudice regarding which models should be accepted. One of the most interesting and surprising results obtained by studying complex systems is the possibility of classifying the configurations of the system taxonomically. It is well-known that a well founded taxonomy is possible only if the objects we want to classify have some unique properties, i.e. species may be introduced in an objective way only if it is impossible to go continuously from one specie to another; in a more mathematical language, we say that objects must have the property of ultrametricity. More precisely, it was discovered that there are conditions under which a class of complex systems may only exist in configurations that have the ultrametricity property and consequently they can be classified in a hierarchical way. Indeed, it has been found that only this ultrametricity property is shared by the near-optimal solutions of many optimization problems of complex functions, i.e. corrugated landscapes in Kauffman’s language. These results are derived from the study of spin glass model, but they have wider implications. It is possible that the kind of structures that arise in these cases is present in many other apparently unrelated problems. Before to go on with our considerations, we have to pick in mind two main complementary ideas about complexity. (i) According to the prevalent and usual point of view, the essence of complex systems lies in the emergence of complex structures from the non-linear interaction of many simple elements that obey simple rules. Typically, these rules consist of 0–1 alternatives selected in response to the input received, as in many prototypes like cellular automata, Boolean networks, spin systems, etc. Quite intricate patterns and structures can occur in such systems. However, what can be also said is that these are toy systems, and the systems occurring in reality rather consist of elements that individually are quite complex themselves. (ii) So, this bring a new aspect that seems essential and indispensable to the emergence and functioning of complex systems, namely the coordination of individual agents or elements that themselves are complex at their own scale of operation. This coordination dramatically reduces the degree of freedom of those participating agents. Even the constituents of molecules, i.e. the atoms, are rather complicated conglomerations of subatomic particles, perhaps ultimately excitations of patterns of superstrings. Genes, the elementary biochemical coding units, are very complex macromolecular strings, as are the metabolic units, the proteins. Neurons, the basic elements of cognitive networks, themselves are cells. In those mentioned and in other complex systems, it is an important feature that the potential complexity of the behaviour of the individual agents gets dramatically simplified through the global interactions within the system. The individual degrees of freedom are drastically reduced, or, in a more formal terminology, the factual space of the system is much smaller than the product of the state space of the individual elements. That is one key aspect. The other one is that on this basis, that is utilizing the coordination between the activities of its members, the system then becomes able to develop and express a coherent structure at a higher level, that is, an emergent behaviour (and emergent properties) that transcends what each element is individually capable of. (shrink)

Entanglement measures quantify the amount of quantum entanglement that is contained in quantum states. Typically, different entanglement measures do not have to be partially ordered. The presence of a definite partial order between two entanglement measures for all quantum states, however, allows for meaningful conceptualization of sensitivity to entanglement, which will be greater for the entanglement measure that produces the larger numerical values. Here, we have investigated the partial order between the normalized versions of four entanglement measures based on Schmidt (...) decomposition of bipartite pure quantum states, namely, concurrence, tangle, entanglement robustness and Schmidt number. We have shown that among those four measures, the concurrence and the Schmidt number have the highest and the lowest sensitivity to quantum entanglement, respectively. Further, we have demonstrated how these measures could be used to track the dynamics of quantum entanglement in a simple quantum toy model composed of two qutrits. Lastly, we have employed state-dependent entanglement statistics to compute measurable correlations between the outcomes of quantum observables in agreement with the uncertainty principle. The presented results could be helpful in quantum applications that require monitoring of the available quantum resources for sharp identification of temporal points of maximal entanglement or system separability. (shrink)

Recent years have seen increasing interest in interventionist analyses of metaphysical explanation. One area where interventionism traditionally shines, is in providing an account of explanatory depth; the sense in which explanation comes in degrees. However, the literature on metaphysical explanation has left the notion of depth almost entirely unexplored. In this paper I shall attempt to rectify this oversight by motivating an interventionist analysis of metaphysical explanatory depth (MED), in terms of the range of interventions under which a metaphysically explanatory (...) generalization remains invariant. After elucidating the notion through a toy-example, I demonstrate the important work which MED can perform in characterizing debate within contemporary metaphysics. Focusing upon rival approaches to explaining the identity and distinctness of concrete objects, I argue that the progress achieved in this debate can be characterized in terms of increasing explanatory depth. Having made an initial case for the utility of MED, I then turn this analysis to the metaphysics of explanation itself. By adopting an interventionist framework with respect to MED, I will show that we can assess the depth of competing theories of explanation. This application has two interesting results: first, it suggests that an interventionist analysis of explanation provides deeper explanations of the connection between explanans and explanandum than rival accounts; and second, it suggests that explanations provided by interventionism become deeper still, if one accepts that this methodology ranges over metaphysical, as well as causal, instances. (shrink)

Nietzsche regarded nihilism as an outgrowth of the natural sciences which, he worried, were bringing about “an essentially mechanistic [and hence meaningless] world.” Nihilism in this sense refers to the doctrine that there are no values, or that everything we might value is worthless. In the last issue of Modern Horizons, I offered this conditional explanation of the relation of science and nihilism: that a scientific worldview is nihilistic insofar as it rules out the existence of anything that cannot in (...) principle be precisely picked out or identified.i What kinds of entities would a scientific worldview eliminate on the basis of such an assumption? The list is long and various, but it includes those intentional (mentalii) entities of our consciousness that underwrite the existence of persons, and more basically of thought itself – e.g., belief, value, agency, truth, and meaning. I argued in that previous paper that intentional concepts are ultimately inscrutable, and yet impossible coherently to deny. I claimed that we could no more doubt the existence of values than we could doubt reality itself – and when I spoke of values I had in mind the (suspicion-engendering) concept of the good, and was even toying with the related idea of the Logos (an even more suspect concept). There are a several attractive reasons why the idea of the good, or the Logos, might be regarded with suspicion, and why either might reasonably be discarded as a pseudo concept. Leaving the latter concern until later, we might worry that insisting on the possibility of an overarching good supports the idea of a total worldview, or that we are gradually progressing towards a single correct vision of things. A progressivist, totalising vision would seem to foreclose on outlooks, values, and persons that deviate from its most likely trajectory, and may stymie or interfere with incommensurate forms of otherness,iii awkward disturbances, and idiosyncrasies threatening its more well-established precincts – perhaps whatever stands out as strange, rare, and indissolubly individual. The idea of an emerging universal standard of values thus might amount to a source of oppression, e.g., if it provides a warrant to transform a currently limited universally prescriptive set of global practices and institutes into an ever more elaborate totalising hierarchy. In the discussion below, I will say why the good, conceived as the Logos, suggests a more salutary trajectory for individuals, and erodes support for either a totalitarian vision or a dissolving nihilistic outlook on the world. (shrink)

Statistical physics cannot explain why a thermodynamic arrow of time exists, unless one postulates very special and unnatural initial conditions. Yet, we argue that statistical physics can explain why the thermodynamic arrow of time is universal, i.e., why the arrow points in the same direction everywhere. Namely, if two subsystems have opposite arrow-directions at a particular time, the interaction between them makes the configuration statistically unstable and causes a decay towards a system with a universal direction of the arrow of (...) time. We present general qualitative arguments for that claim and support them by a detailed analysis of a toy model based on the baker’s map. (shrink)

This article proposes that thinking of scientific instruments as playthings or philosophical toys offers a method for looking at the ways in which we learn from made things and from the act of making in investigating the world. Rather than approaching artefacts as stable ob- jects, definable and categorisable in terms of their function, this method puts forward the instability and mobility of artefacts on several levels: in terms of their movements between hands, social contexts and systems of knowledge, in (...) terms of their physical articulations and of their changing functions, and in terms of the flows and processes of materials at work within and through them. (shrink)

This draft preprint presents a nine step argument for “Connectionist Structuralism” (CS), an account of the ontology of abstract objects that is neither purely nominalist nor purely platonist. CS is a common, often implicit assumption in parts of the artificial intelligence literature, but such discussions have not presented formal accounts of the position or engaged with metaphysical issues that potentially undermine it. By making the position legible and presenting an initial case for it, we hope to support a constructive dialogue (...) between AI researchers and philosophers of metaphysics that helps both sides to refine the position. -/- CS proposes that each abstract object we can draw on in human analysis corresponds to a particular subset of an individual person’s brain structure whose functionality is isomorphic to a subset of the nodes and connections in a suitable connectionist network. In other words, abstract objects are physically realised, but in individual brains, rather than only in the referent objects (pure nominalism) or in metaphysical universals (pure platonism). -/- This paper’s minimum claim is that CS can account for all abstract object predicables regarding sensible properties, such as “is red” or “is a square”. Using evidence from cognitive neuroscience, machine learning, and evolutionary biology, as well as a fully traceable toy example, we describe how CS can support our core cognitive uses of such sensible properties and can account for our core phenomenal experiences of them. In the former, CS provides sufficient albeit imperfect inferential safety, whose limitations are argued to strengthen rather than weaken the case for CS as describing human behaviour. In the latter, four target phenomenal features are accounted for – abstract objects as feeling intangible, non-located, transparent, and unchanging - along with accounts for further phenomena such as semantic refinement, the Stroop effect, synaesthesia, semantic clarity, sensory overload, and satiation. -/- Our minimum claim concerns the day-to-day usage and felt experience of abstract objects, but we suggest also an extended claim in which CS can form the basis of a pragmatic sufficient logic. As such, the initial outline of a response is provided for five common objections to positions that seek to ground abstract objects without reference to metaphysically stand-alone universals: referential opacity; identity of indiscernibles; infinite regression; non-physical concepts; and necessary truths. These outlines lay the foundation for (but do not seek to formally demonstrate) an extended CS account that addresses other abstract objects, including issues relating to their use in mathematics and formal logic. -/- The CS account leads to a four-layer hierarchy of similarity for whether your “red” is the same as mine. Considering both semantic and phenomenal similarity, we conclude that our “reds” are likely non-identical but can be made close enough for practical purposes. Finally, we describe how future work could elaborate CS as a metaphysical project and how confidence in it could be tested through empirical research. (shrink)

Recent philosophy of science has seen a number of attempts to understand scientific models by looking to theories of fiction. In previous work, I have offered an account of models that draws on Kendall Walton’s ‘make-believe’ theory of art. According to this account, models function as ‘props’ in games of make-believe, like children’s dolls or toy trucks. In this paper, I assess the make-believe view through an empirical study of molecular models. I suggest that the view gains support when we (...) look at the way that these models are used and the attitude that users take towards them. Users’ interaction with molecular models suggests that they do imagine the models to be molecules, in much the same way that children imagine a doll to be a baby. Furthermore, I argue, users of molecular models imagine themselves viewing and manipulating molecules, just as children playing with a doll might imagine themselves looking at a baby or feeding it. Recognising this ‘participation’ in modelling, I suggest, points towards a new account of how models are used to learn about the world, and helps us to understand the value that scientists sometimes place on three-dimensional, physical models over other forms of representation. (shrink)

In this paper we present a theoretical framework to understand the underlying psychological mechanism involved in human-Companion Robot interactions. At first, we take the case of Sexual Robotics, where the psychological dynamics are more evident, to thereafter extend the discussion to Companion Robotics in general. First, we discuss the differences between a sex-toy and a Sexual Robots, concluding that the latter may establish a collusive and confirmative dynamics with the user. We claim that the collusiveness leads to two main consequences, (...) such as the fixation on a specific and atypical type of sexual interaction, called paraphilic, and to the infantilization of the user, which we explain through the theoretical framework of “object-relation theory”. We argue that these dynamics may degrade to an infantile stage the relational abilities of users, extending this argument to Companion Robots in general. Then, we enquire if and how the relational dynamics enacted in HRI may shift to human relations: we discuss the analogy with virtual reality concluding that, under certain condition, a symbolic shift might happen. In the last part of this work, we propose an experimental setup to verify if a collusive and confirmative interaction with a Companion Robot can, over time, impact on the user’s ability to manage relational frustration. (shrink)

The structural theory of metaphor (STM) uses techniques from possible worlds semantics to generate and interpret metaphors. STM is presented in detail in The Logic of Metaphor: Analogous Parts of Possible Worlds (Steinhart, 2001). STM is based on Kittay’s semantic field theory of metaphor (1987) and ultimately on Black’s interactionist theory (1962, 1979). STM uses an intensional calculus to specify truth-conditions for many grammatical forms of metaphor. The truth-conditional analysis in STM is inspired in part by Miller (1979) and Hintikka (...) & Sandu (1994). STM is by no means a toy theory. It has been successfully tested on dozens of large texts taken from real authors. Its methods can be applied in very large linguistic databases like WordNet or MindNet. (shrink)

This paper shows how the classical finite probability theory (with equiprobable outcomes) can be reinterpreted and recast as the quantum probability calculus of a pedagogical or "toy" model of quantum mechanics over sets (QM/sets). There are two parts. The notion of an "event" is reinterpreted from being an epistemological state of indefiniteness to being an objective state of indefiniteness. And the mathematical framework of finite probability theory is recast as the quantum probability calculus for QM/sets. The point is not to (...) clarify finite probability theory but to elucidate quantum mechanics itself by seeing some of its quantum features in a classical setting. (shrink)

English instrument-maker, experimentalist, and natural philosopher who made key contributions in a wide range of areas including physiology, geology, and mechanics. Born on the Isle of Wight, Hooke showed early aptitude with the design of mechanical toys. At Westminster School he learnt mathematics and geometry, and at Christ Church, Oxford, he joined a remarkable group of natural philosophers working before the Restoration on physiological and physical topics (Frank 1980). Much of Hooke’s career was driven by financial uncertainty. As an employee, (...) working firstly with Robert Boyle and then as curator of experiments at the new Royal Society from 1662 to 1677, Hooke’s status as a professional in a society of gentlemen natural philosophers was problematic. He was continually concerned to establish his credibility, and his defences of ownership of his ideas were often vitriolic. (shrink)

In a previous paper we outlined a series of historical touchpoints between classical aether theories and modern theoretical physics which showed a shared conceptual lineage for the modern tools and methods of the most common interpretations and fluid based “Hydrodynamic” treatments of an electromagnetic medium. It was proposed that, though the weight of modern experimentation leaves an extremely narrow and convoluted window for even a reconceptualization of a medium, all of modern physics recognizes a plethora of behaviors and attributes for (...) free space and these physics are interchangeable with modern methods for treating superfluid-like continuums. Thus the mathematical equivalence of the methods do not comprise alternative physics but an alternative interpretation of the same physics. Though many individual components describing a “neo-aether” or “quintessence” are available, an overarching structural outline of how these tools can work together to provide an alternative working overview of modern physics has remained undefined. This paper will propose a set of introductory concepts in the first outline of a toy model which will later connect the alternative tools and conceptualizations with their modern counterparts. This introductory paper provides the simpler “100-miles out” overview of the whole of physics from this perspective, in an easily comprehensible, familiar and intuitive, informal dialog fashion. While this paper grants the largest and loosest introductory overview, subsequent papers in this series will address the finite connections between modern physics and this hydrodynamic view. (shrink)

In the brain the relations between free neurons and the conditioned ones establish the constraints for the informational neural processes. These constraints reflect the systemenvironment state, i.e. the dynamics of homeocognitive activities. The constraints allow us to define the cost function in the phase space of free neurons so as to trace the trajectories of the possible configurations at minimal cost while respecting the constraints imposed. Since the space of the free states is a manifold or a non orthogonal space, (...) the minimum distance is not a straight line but a geodesic. The minimum condition is expressed by a set of ordinary differential equation ( ODE ) that in general are not linear. In the brain there is not an algorithm or a physical field that regulates the computation, then we must consider an emergent process coming out of the neural collective behavior triggered by synaptic variability. We define the neural computation as the study of the classes of trajectories on a manifold geometry defined under suitable constraints. The cost function supervises pseudo equilibrium thermodynamics effects that manage the computational activities from beginning to end and realizes an optimal control through constraints and geodetics. The task of this work is to establish a connection between the geometry of neural computation and cost functions. To illustrate the essential mathematical aspects we will use as toy model a Network Resistor with Adaptive Memory (Memristors).The information geometry here defined is an analog computation, therefore it does not suffer the limits of the Turing computation and it seems to respond to the demand for a greater biological plausibility. The model of brain optimal control proposed here can be a good foundation for implementing the concept of "intentionality",according to the suggestion of W. Freeman. Indeed, the geodesic in the brain states can produce suitable behavior to realize wanted functions and invariants as neural expressionsof cognitive intentions. (shrink)

Yablo has argued for an alternative form of if-thenism that is more conducive with his figurative fictionalism. This commentary sets out to challenge whether the remainder, ρ, tends to be an inaccurate representation of the conditions that are supposed to complete the enthymeme from φ to Ψ. Whilst by some accounts the inaccuracies shouldn't set off any alarm bells, the truth of ρ is too inexact. The content of ρ, a partial truth, must display a sensitivity to the contextual background (...) conditions for subtraction to work properly in Yablo's view. Using a toy example, I argue that Yablo's subtraction model tends to yield partial truths as remainders that fail to rule out inaccurate expressions that may prove to be problematic for it. (shrink)

Humanity may underestimate the rate of natural global catastrophes because of the survival bias (“anthropic shadow”). But the resulting reduction of the Earth’s future habitability duration is not very large in most plausible cases (1-2 orders of magnitude) and thus it looks like we still have at least millions of years. However, anthropic shadow implies anthropic fragility: we are more likely to live in a world where a sterilizing catastrophe is long overdue and could be triggered by unexpectedly small human (...) actions. In the same way, an over-inflated toy balloon, which will soon burst, is very fragile. Anthropic fragility can manifest itself in the higher chances of runaway global warming. It has often been suggested that the Earth's atmosphere remained life-supporting for billions of years by sheer chance. Therefore, the survival bias can be strong. It is also known that Earth-like water worlds could experience transitions into deadly moisture greenhouse (mean T = 65C). This means that relatively small anthropogenic actions could put the climate above an unpredictable tipping point, which could lead to the moisture greenhouse. Thus, it is necessary to carry out urgent geoengineering studies and prepare to prevent an unexpected climate catastrophe. There are three main counterarguments against the existence of the anthropic shadow: self-indication assumption (SIA), past observers and the Gaia hypothesis; we show that they fail. It was proposed that SIA exactly compensates the anthropic shadow as an observer unlikely to find herself in a world with a strong anthropic shadow; however, there is a baseline level of the anthropic shadow for all habitable planets, similar to the rate of evolutionary transitions like abiogenesis. There are no “past observers” as qualified observers appeared only 50 years ago. Gaia hypothesis assumes existence of self-stabilizing feedback in climate, but new types of events like quick CO2 growth could override its coping ability. We present a list of other catastrophes that may have been underestimated because of the anthropic shadow, including collider catastrophes, nuclear war and even an alien invasion. We also hypothesized that human intelligence is more likely to emerge in an unstable world that is nearing its end and thus we get a new form of Doomsday argument. (shrink)