We describe the (enormous) size of the search space for Dynamic Casual Models and generalizations of them.

A primary criterion on which models of cognition are evaluated is their ability to fit empirical data. To understand the reason why a model yields a good or poor fit, it is necessary to determine the data‐fitting potential (i.e., flexibility) of the model. In the first part of this article, methods for comparing models and studying their flexibility are reviewed, with a focus on parameter space partitioning (PSP), a general‐purpose method for analyzing and comparing all classes of (...) cognitive models. PSP is then demonstrated in the second part of the article in which two connectionist models of speech perception (TRACE and ARTphone) are compared to learn how design differences affect model flexibility. (shrink)

Vector spaces over unspecified fields can be axiomatized as one-sorted structures, namely, abelian groups with the relation of parallelism. Parallelism is binary linear dependence. When equipped with the n-ary relation of linear dependence for some positive integer n, a vector-space is existentially closed if and only if it is n-dimensional over an algebraically closed field. In the signature with an n-ary predicate for linear dependence for each positive integer n, the theory of infinite-dimensional vector spaces over algebraically closed fields (...) is the model-completion of the theory of vector spaces. (shrink)

Over the past 20 years or so, a small but growing literature has emerged with the aim of modeling agents who are unaware of certain things. In this paper we compare two different approaches to modeling unawareness: the object-based approach of Board and Chung (Object-based unawareness: theory and applications. University of Minnesota, Mimeo, 2008) and the subjective-state-space approach of Heifetz et al. (J Econ Theory 130: 78-94,2006). In particular, we show that subjectivestate-space models (henceforth HMS structures) can be (...) embedded within object-based models (henceforth OBU structures), demonstrating that the latter are at least as expressive. As long as certain restrictions are imposed on the form of the OBU structure, the embedding can also go the other way. A generalization of HMS structures (relaxing the partitional properties of knowledge) gives us a full converse. (shrink)

We give a new argument supporting a gravitational role in quantum collapse. It is demonstrated that the discreteness of space-time, which results from the proper combination of quantum theory and general relativity, may inevitably result in the dynamical collapse of thewave function. Moreover, the minimum size of discrete space-time yields a plausible collapse criterion consistent with experiments. By assuming that the source to collapse the wave function is the inherent random motion of particles described by the wave function, (...) we further propose a concrete model of wavefunction collapse in the discrete space-time. It is shown that the model is consistent with the existing experiments and macroscopic experiences. (shrink)

The paper outlines the analysis of certain question types in the Commitment Space framework, as presented in Krifka (2015). The two basic ideas are: Assertions and most questions involve commitments of speaker and addressee to the truth of a proposition, and questions consist in restricting the continuation of the conversation to answers to the question. The main focus is on breadth, not depth and the detailed comparison with alternative approaches, and on semantic modelling, not on the syntactic and prosodic (...) realizations. Topics are polar questions and their bias, alternative questions, constituent questions, high negation in questions, declarative questions, root vs. embedded questions, and deliberative questions. (shrink)

The title alone of McCall’s book reveals its ambitious enterprise. The book’s structure is a long inference to the best explanation: chapters present problems that are solved by a single, ontological model. Problems as diverse as time flow, quantum measurement, counterfactual semantics, and free will are discussed. McCall’s style of writing is lucid and pointed—in general, very pleasant to read.

Quality Space Theory is a holistic model of qualitative states. On this view, individual mental qualities are defined by their locations in a space of relations, which reflects a similar space of relations among perceptible properties. This paper offers an extension of Quality Space Theory to temporal perception. Unconscious segmentation of events, the involvement of early sensory areas, and asymmetries of dominance in multi-modal perception of time are presented as evidence for the view.

We introduce a notion of the space of types in positive model theory based on Stone duality for distributive lattices. We show that this space closely mirrors the Stone space of types in the full first-order model theory with negation (Tarskian model theory). We use this to generalise some classical results on countable models from the Tarskian setting to positive model theory.

In this article, I materially situate air pollution exposure as a topic of social and political inquiry by paying attention to the increasing specificity of spaces and sites of exposure in air pollution and health research. Evidence of the unevenness of exposure and differential health effects of air pollution have led to a proliferation of studies on the risks different environments pose to bodies. There are increasingly different airs in air pollution science. In this research, bodies are often relegated to (...) passive objects, exposed according to the environments they move between. Yet exposure implies a blurring of bodies and environments which also challenges the idea of a discrete body that is distinguishable from its material context. By studying the process of modelling indoor air pollution, I highlight how air pollution, buildings and bodies are co-implicated with one another in ways that demand new ways of materialising human exposure in science. (shrink)

It has been known for long time that the cosmic sound wave was there since the early epoch of the Universe. Signatures of its existence are abound. However, such an acoustic model of cosmology is rarely developed fully into a complete framework from the notion of space, cancer therapy up to the sky. This paper may be the first attempt towards such a complete description of the Universe based on classical wave equation of sound. It is argued that (...) one can arrive at a consistent description of space, elementary particles, Sachs-Wolfe acoustic theorem, up to a novel approach for cancer therapy, starting from this simple classical wave equation of sound. We also discuss a plausible extension of Acoustic Sachs-Wolfe theorem based on its analogue with Klein-Gordon equation to become Acoustic Sachs-Wolfe-Christianto-Smarandache-Umniyati (ASWoCSU) equation. It is our hope that the new proposed equation can be verified with observation data. But we admit that our model is still in its infancy, more researches are needed to fill all the missing details. (shrink)

We study the model-theoretic aspects of a probability logic suited for talking about measure spaces. This nonclassical logic has a model theory rather different from that of classical predicate logic. In general, not every satisfiable set of sentences has a countable model, but we show that one can always build a model on the unit interval. Also, the probability logic under consideration is not compact. However, using ultraproducts we can prove a compactness theorem for a certain (...) class of weak models. (shrink)

Since the stone age humankind has created masterworks which possess a mysterious quality of solidity and grandeur or monumentality. A Paleolithic Venus and a still life by Cezanne both share this monumentality. Michelangelo likened monumentality to sculptural relief, Braque called monumentality 'space', and Hans Hoffman, himself one of the masters, called monumentality 'pictorial depth.' The masters agreed on the import of monumentality, but none of them left a clear explanation of it. In 1943 Earl Loran published his classic book (...) on Cezanne's pictorial structure but, as I demonstrate, his explanation was misleading. This book provide a clear explanation, as did an earlier book by Robert Casper. This book also traces some history of monumentality with reproductions. It also explains how some painters achieved monumentality and how a student can attempt it. Pictorial space is created in the tension between pairs of opposing planes. Opposing planes pull against each other, each containing the other, paradoxically, within the flat surface of the canvas. Sculpture also can be 'plastic': opposing masses pull against each other, each containing the other and creating tension in the space which lies between them. Painting has other aspects like subject matter, expression, style and technique but pictorial space does not depend on these. Monumentality moves us profoundly and apparently has done so since the Paleolith. Using patients' vignettes, I show that there are profound parallels between the structure of a monumental work of art and the structure of an evolving personality. In Winnicott's words, such a personality has 'depth ... an interior space to put beliefs in ... an inside ... a space where things can be held ... the capacity to accept paradox [to contain opposites] ... room and strength ... and originality and the acceptance of tradition as the basis for invention'. A monumental painting also meets this description. I argue that monumental art provides a visual portrait of an evolving personality just as myth, as Freud and Jung both showed, provides a narrative portrait of an evolving personality. An evolving personality is perhaps humankind's most important creation; an underlying purpose of both myth and art is to help us achieve it. I demonstrate in this book that monumental art represented the evolving personality since at least 35,000 BC. Thus to understand monumentality is to better understand the personality and its history. (shrink)

The disciplinary enterprises engaged in the study of consciousness now extend beyond their original paradigms providing additional knowledge toward an overall understanding of the fundamental meaning and scope of consciousness. A new transdisciplinary domain has resulted from the syncretism of several approaches bringing about a new paradigm. The background for this overarching enterprise draws from a variety of traditions. In this paper however elaboration is restricted to the quantum-mechanical account in David Bohm’s theoretical work in relation to his ideas about (...) “active information”, “protointelligence”, and “non-locality”. This leads to an adapted version of Bohm’s thesis concerning the implicate order and explicate order of the Universe - the Impression Order and the Expression Order, respectively. On this view, the Universe is formed on an actual-material level, the apparent properties of things, and a potential-material level, a constant process of becoming that exerts an attractive force on the present. The central thesis emerges from a radical reformulation of certain core concepts that transforms many ontological assumptions about the material basis of consciousness. That is, the above platform inclusively connects to a hypothesis that the concepts of ‘space’, ‘time’, ‘event’, and ‘motion’ can be unified to capture the notion of simultaneous activity at reducing levels to the Impression order. This notion coheres with a physical-theoretical model of Signature-Energy-Frequency which has been well demonstrated in the atomic, chemical, and information fields. This study embraces a holistic and creative worldview based on a triadic model wherein consciousness itself is postulated as the most basic, primordial stratum. Importantly, both orders are constantly conjoined since the Impression Order exists as potential energy of the quantum vacuum. The physical realm is formed by the proposed Triangulate-Three conditions as a principle of animation and ‘being’: Consciousness, Body-of-Experience and Intellect-Reflective in the Expression Order, one aspect of which emerge as lifelike properties. This Triangulate-Three principle inheres in every particle and organism to which it guides its development, adaptation, and survival. The conscious being thus possesses all three conditions in Expression Order through STEM-interactions via SEF transmissions, as a self-organising organism. (shrink)

We reformulate a key definition given by Wáng and Ågotnes to provide semantics for public announcements in subset spaces. More precisely, we interpret the precondition for a public announcement of ???? to be the “local truth” of ????, semantically rendered via an interior operator. This is closely related to the notion of ???? being “knowable”. We argue that these revised semantics improve on the original and offer several motivating examples to this effect. A key insight that emerges is the crucial (...) role of topological structure in this setting. Finally, we provide a simple axiomatization of the resulting logic and prove completeness. (shrink)

I will present the rationale followed for the conceptualization and the following development the Dual PECCS system that relies on the cognitively grounded heterogeneous proxytypes representational hypothesis. Such hypothesis allows integrating exemplars and prototype theories of categorization and has provided useful insights in the context of cognitive modelling for what concerns the typicality effects in categorization. As argued in [Chella et al., 2017] [Lieto et al., 2018b] [Lieto et al., 2018a] a pivotal role in this respect is played by the (...) use of the conceptual spaces framework and by its integration with a symbolic knowledge representation layer. (shrink)

A generalization of the familiar de Broglie-Bohm interpretation of quantum mechanics is formulated, based on relinquishing the momentum relationship p=∇S and allowing a spread of momentum values at each position. The development of this framework also provides a new perspective on the well-known question of joint distributions for quantum mechanics. It is shown that, for an extension of the original model to be physically acceptable and consistent with experiment, it is necessary to impose certain restrictions on the associated joint (...) distribution for particle positions and momenta. These requirements thereby define a new class of possible models. In pursuing this line of reasoning, the main contributions of this paper are (i) to identify the restrictions that must be imposed, (ii) to demonstrate that joint distribution expressions satisfying them do exist, and (iii) to construct a sample model based on one such joint distribution. (shrink)

The massless Thirring model of a self-interacting ferinion field in a curved two-dimensional background spacetime is considered. The exact operator solution for the fields and the equation for the two-point function are given and used to examine the radiation emitted by a two-dimensional black hole. The radiation is found to be thermal in nature, confirming general predictions to this effect. We compute the particle spectrum of the Thirring fermions at finite temperature in Minkowski space and point out errors (...) in a previous attempt at this calculation. Finally we calculate the vacuum expectation value of the stress tensor in an arbitrary two-dimensional spacetime by exploiting the connection between the thermal Hawking radiation from a black hole and the value of the so-called conformal trace anomaly. The latter is also computed quite independently, using dimensional regularization, from general considerations of the renormalization group. (shrink)

This paper introduces a compositional semantics of locativeprepositional phrases which is based on a vector space ontology.Model-theoretic properties of prepositions like monotonicity andconservativity are defined in this system in a straightforward way.These notions are shown to describe central inferences with spatialexpressions and to account for the grammaticality of prepositionmodification. Model-theoretic constraints on the set of possibleprepositions in natural language are specified, similar to the semanticuniversals of Generalized Quantifier Theory.

We pursue a model-oriented rather than axiomatic approach to the foundations of Quantum Mechanics, with the idea that new models can often suggest new axioms. This approach has often been fruitful in Logic and Theoretical Computer Science. Rather than seeking to construct a simplified toy model, we aim for a 'big toy model', in which both quantum and classical systems can be faithfully represented—as well as, possibly, more exotic kinds of systems. To this end, we show how (...) Chu spaces can be used to represent physical systems of various kinds. In particular, we show how quantum systems can be represented as Chu spaces over the unit interval in such a way that the Chu morphisms correspond exactly to the physically meaningful symmetries of the systems—the unitaries and antiunitaries. In this way we obtain a full and faithful functor from the groupoid of Hubert spaces and their symmetries to Chu spaces. We also consider whether it is possible to use a finite value set rather than the unit interval; we show that three values suffice, while the two standard possibilistic reductions to two values both fail to preserve fullness. (shrink)

We show that a formula φ(x, y) is stable if and only if φ is the pairing map on the unit ball of E x E * , where E is a reflexive Banach space. The result remains true if the formula φ is replaced by a set of formulas $p(\bar{x},\bar{y})$.

The Global Workspace Theory and Information Integration Theory are two of the most currently accepted consciousness models; however, these models do not address many aspects of conscious experience. We compare these models to our previously proposed consciousness model in which the thalamus fills-in processed sensory information from corticothalamic feedback loops within a proposed 3D default space, resulting in the recreation of the internal and external worlds within the mind. This 3D default space is composed of all cells (...) of the body, which communicate via gap junctions and electrical potentials to create this unified space. We use 3D llustrations to explain how both visual and non-visual sensory information may be filled-in within this dynamic space, creating a unified seamless conscious experience. This neural sensory memory space is likely generated by baseline neural oscillatory activity from the default mode network, other salient networks, brainstem, and reticular activating system. (shrink)

This article is devoted to the interplay between forcing with fusion and combinatorial covering properties. We illustrate this interplay by proving that in the Laver model for the consistency of the Borel’s conjecture, the product of any two metrizable spaces with the Hurewicz property has the Menger property.

The Sphere Model of Consciousness (SMC) delineates a sphere-shaped matrix that aims to describe the phenomenology of experience using geometric coordinates. According to SMC, an experience of overcoming of the habitual self and the conditioning of memories could be placed at the center of the matrix, which can be then called the Place of Pre-Existence (PPE). The PPE is causally associated with self-determination. In this context, we suggest that silence could be considered as an intentional state enabling self-perception to (...) be focused on the “here and now,” which in turn improves perception of one’s own body in space. To investigate these hypotheses grounded in the model, the current preliminary study examined the Place of Pre-Existence Technique (PPEt), in which practitioners are guided to focus on a self-defined aim; reach a state of detachment from the habitual self; envision the future. 481 volunteers PPEt practitioners completed self-report questionnaires before and after an intensive 3-day meditative training. We analyzed the possibly relationship between subjective experiences related to physical, emotional, mental, temporal, and spatial aspects, as well as self-determination and silence, before and after training. The results indicated a shift from a prevailing influence of mental dimension on the other aspects of experience, to a prevailing influence of spatial dimension. Silence was reported more often following the training, and predominantly related to the mental and emotional experiences. The results are discussed in relation to the shift from Narrative to Minimal Self and to increased balance among the considered dimensions. (shrink)

The transformations that have occurred at the state economic level, the change in the trends of opinion that animate postmodern societies, the increase in population have strongly affected the crime rate in the last 10-20 years in all the states of the world. The trends in the matter of sanctions vary greatly, whether it is the frequency of custodial sentences, the harshness - in general - of criminal sentences, the preference for punishments whose special maximums are higher or lower or (...) the adoption of some alternative measures to imprisonment or even criminal justice in general. Many of the new criminal policies are justifiable in the context of the national law of states, but few have a real chance of globalization. Penal reform was or is on the working table of all states of the world. The details vary from case to case, but the trend is general. The Scandinavian countries modified their sanctioning system and created new punishments, the Western European countries created systems for sanctioning and re-educating delinquents in an extra-criminal regime, in the U.S. one can note, paradoxically, the generalized tightening of punishments, a model followed by Great Britain and Australia, but at a lower level. There is a continuous debate at the level of legal doctrine on the appropriateness of adopting an authoritarian system of repression in criminal matters. This article aims to analyze the advantages and disadvantages of the liberal model of criminal repression in the European space, in the context of the phenomenon of globalization. (shrink)

We consider an integrable, nonlocal and nonlinear, Schrödinger equation as a model for building space–time patchings in inhomogeneous loop quantum cosmology. We briefly review exact solutions of the NNSE, specially those obtained through “geometric equivalence” methods. Furthemore, we argue that the integrability of the NNSE could be linked to consistency conditions derived from LQC, under the assumption that the patchwork dynamics behaves as an integrable many-body system.

chapter 7. How DNA became an important molecule: Controversies at the origins of molecular biology Eleonora Cresto José María Gil Contributors Author index ...

While agent-based modelling languages naturally implement concurrency, the currently available languages for argumentation do not allow to explicitly model this type of interaction. In this paper we introduce a concurrent language for handling agents arguing and communicating using a shared argumentation space. We also show how to perform high-level operations like persuasion and negotiation through basic belief revision constructs, and present a working implementation of the language and the associated web interface.

During each school semester, students face an onslaught of material to be learned. Students work hard to achieve initial mastery of the material, but when they move on, the newly learned facts, concepts, and skills degrade in memory. Although both students and educators appreciate that review can help stabilize learning, time constraints result in a trade-off between acquiring new knowledge and preserving old knowledge. To use time efficiently, when should review take place? Experimental studies have shown benefits to long-term retention (...) with spaced study, but little practical advice is available to students and educators about the optimal spacing of study. The dearth of advice is due to the challenge of conducting experimental studies of learning in educational settings, especially where material is introduced in blocks over the time frame of a semester. In this study, we turn to two established models of memory—ACT-R and MCM—to conduct simulation studies exploring the impact of study schedule on long-term retention. Based on the premise of a fixed time each week to review, converging evidence from the two models suggests that an optimal review schedule obtains significant benefits over haphazard (suboptimal) review schedules. Furthermore, we identify two scheduling heuristics that obtain near optimal review performance: (a) review the material from μ-weeks back, and (b) review material whose predicted memory strength is closest to a particular threshold. The former has implications for classroom instruction and the latter for the design of digital tutors. (shrink)