A spatial modal logic is introduced as an extension of the modal logic S4 with the addition of certain spatial operators. A sound and complete Kripke semantics with a natural space interpretation is obtained for SML. The finite model property with respect to the semantics for SML and the cut-elimination theorem for a modified subsystem of SML are also presented.

Some sensory modalities, such as sight, touch and audition, are arguably spatial, and one way to understand these spatial senses is to investigate spatial representations in them. Here I focus on a specific element in this area— the interplay between perspectival variation and spatial constancy—and discuss recent interdisciplinary works on this topic. With these relevant experimental works, we will see clearly how traditional controversies in philosophy, for example, whether we perceive perspectival shapes as well as (...) objective shapes, and whether any sensory field should be postulated in senses other than vision, can benefit from considerations in empirical sciences. (shrink)

We propose in this paper to construct modal logics based on mathematical morphology. The contribution of this paper is twofold. First we show that mathematical morphology can be used to define modal operators in the context of normal modal logics. We propose definitions of modal operators as algebraic dilations and erosions, based on the notion of adjunction. We detail the particular case of morphological dilations and erosions, and of there compositions, as opening and closing. An extension to the fuzzy case (...) is also proposed. Then we show how this can be interpreted for spatial reasoning by using qualitative symbolic representations of spatial relationships (topological and metric ones) derived from mathematical morphology. This allows to establish some links between numerical and symbolic representations of spatial knowledge. (shrink)

Most relational theories assert both that spatial discourse is reducible to talk about physical objects and their spatial relations, and that the relation of congruence derives from a non-metrical relation which intervals bear or possibly bear to measuring instruments. We have shown that there are serious logical difficulties involved in maintaining both these positions and the thesis of the continuity of space. We have also shown that Grünbaum's motivating argument for the reduction of congruence is unsound, and, moreover, (...) that the prospects of formulating the kind of definition which this reduction requires seem to rest upon a wholly vague notion of physical possibility. Alternatively, if congruence is taken as primitive, it seems plausible that spatial discourse can be reconstructed so that there is no ontological commitment to spatial objects other than physical objects. Whether or not this relational thesis is ultimately defensible requires more elaboration of the relational theory, and investigation of its role in the formalizations of current physical theories. It is odd, considering the wide currency of relational theories, that this work has never been done. (shrink)

Sign languages modulate the production of signs in space and use this spatial modulation to refer back to entities—to maintain coreference. We ask here whether spatial modulation is so fundamental to language in the manual modality that it will be invented by individuals asked to create gestures on the spot. English speakers were asked to describe vignettes under 2 conditions: using gesture without speech, and using speech with spontaneous gestures. When using gesture alone, adults placed gestures for particular (...) entities in non-neutral locations and then used those locations to refer back to the entities. When using gesture plus speech, adults also produced gestures in non-neutral locations but used the locations coreferentially far less often. When gesture is forced to take on the full burden of communication, it exploits space for coreference. Coreference thus appears to be a resilient property of language, likely to emerge in communication systems no matter how simple. (shrink)

In a new integration, we show that the visual-spatial structuring of time converges with auditory-spatial left–right judgments for time-related words. In Experiment 1, participants placed past and future-related words respectively to the left and right of the midpoint on a horizontal line, reproducing earlier findings. In Experiment 2, neutral and time-related words were presented over headphones. Participants were asked to indicate whether words were louder on the left or right channel. On critical experimental trials, words were presented equally (...) loud binaurally. As predicted, participants judged future words to be louder on the right channel more often than past-related words. Furthermore, there was a significant cross-modal overlap between the visual-spatial ordering and the auditory judgments , which were continuously related. These findings provide support for the assumption that space and time have certain invariant properties that share a common structure across modalities. (shrink)

It is often assumed that the reaction time of a saccade toward visual and/or auditory stimuli reflects the sensitivities of our oculomotor-orienting system to stimulus saliency. Endogenous factors, as well as stimulus-related factors, would also affect the saccadic reaction time. However, it was not clear how these factors interact and to what extent visual and auditory-targeting saccades are accounted for by common mechanisms. The present study examined the effect of, and the interaction between, stimulus saliency and audiovisual spatial congruency (...) on the SRT for visual- and for auditory-target conditions. We also analyzed pre-target pupil size to examine the relationship between saccade preparation and pupil size. Pupil size is considered to reflect arousal states coupling with locus-coeruleus activity during a cognitive task. The main findings were that the pattern of the examined effects on the SRT varied between visual- and auditory-auditory target conditions, the effect of stimulus saliency was significant for the visual-target condition, but not significant for the auditory-target condition, Pupil velocity, not absolute pupil size, was sensitive to task set, and there was a significant correlation between the pre-saccade absolute pupil size and the SRTs for the visual-target condition but not for the auditory-target condition. The discrepancy between target modalities for the effect of pupil velocity and between the absolute pupil size and pupil velocity for the correlation with SRT may imply that the pupil effect for the visual-target condition was caused by a modality-specific link between pupil size modulation and the SC rather than by the LC-NE system. These results support the idea that different threshold mechanisms in the SC may be involved in the initiation of saccades toward visual and auditory targets. (shrink)

While there is considerable disagreement on the precise nature of material objecthood, it is standardly assumed that material objects must be spatial. In this paper, I provide two arguments against this assumption. The first argument is made from largely a priori considerations about modal plenitude. The possibility of non-spatial material objects follows from commitment to certain plausible principles governing material objecthood and plausible principles regarding modal plenitude. The second argument draws from current philosophical discussions regarding theories of quantum (...) gravity and the emergence of spacetime. When it is appreciated what possible worlds these current theories commit us to, the possibility of non-spatial material objects will follow. Thus, either route will lead us to the possibility of non-spatial material objects. The significance of this result is that we need to revise our accounts of material objecthood to both accommodate these possibilities and the theories that lead to them. (shrink)

Modal logics, originally conceived in philosophy, have recently found many applications in computer science, artificial intelligence, the foundations of mathematics, linguistics and other disciplines. Celebrated for their good computational behaviour, modal logics are used as effective formalisms for talking about time, space, knowledge, beliefs, actions, obligations, provability, etc. However, the nice computational properties can drastically change if we combine some of these formalisms into a many-dimensional system, say, to reason about knowledge bases developing in time or moving objects. To study (...) the computational behaviour of many-dimensional modal logics is the main aim of this book. On the one hand, it is concerned with providing a solid mathematical foundation for this discipline, while on the other hand, it shows that many seemingly different applied many-dimensional systems (e.g., multi-agent systems, description logics with epistemic, temporal and dynamic operators, spatio-temporal logics, etc.) fit in perfectly with this theoretical framework, and so their computational behaviour can be analyzed using the developed machinery. We start with concrete examples of applied one- and many-dimensional modal logics such as temporal, epistemic, dynamic, description, spatial logics, and various combinations of these. Then we develop a mathematical theory for handling a spectrum of 'abstract' combinations of modal logics - fusions and products of modal logics, fragments of first-order modal and temporal logics - focusing on three major problems: decidability, axiomatizability, and computational complexity. Besides the standard methods of modal logic, the technical toolkit includes the method of quasimodels, mosaics, tilings, reductions to monadic second-order logic, algebraic logic techniques. Finally, we apply the developed machinery and obtained results to three case studies from the field of knowledge representation and reasoning: temporal epistemic logics for reasoning about multi-agent systems, modalized description logics for dynamic ontologies, and spatio-temporal logics. The genre of the book can be defined as a research monograph. It brings the reader to the front line of current research in the field by showing both recent achievements and directions of future investigations (in particular, multiple open problems). On the other hand, well-known results from modal and first-order logic are formulated without proofs and supplied with references to accessible sources. The intended audience of this book is logicians as well as those researchers who use logic in computer science and artificial intelligence. More specific application areas are, e.g., knowledge representation and reasoning, in particular, terminological, temporal and spatial reasoning, or reasoning about agents. And we also believe that researchers from certain other disciplines, say, temporal and spatial databases or geographical information systems, will benefit from this book as well. Key Features: Integrated approach to modern modal and temporal logics and their applications in artificial intelligence and computer science Written by internationally leading researchers in the field of pure and applied logic Combines mathematical theory of modal logic and applications in artificial intelligence and computer science Numerous open problems for further research Well illustrated with pictures and tables. (shrink)

A lump theorist claims that ordinary objects are spread out across possible worlds, much like many of us think that tables are spread out across space. We are not wholly located in any one particular world, the lump theorist claims, just as we are not wholly spatially located where one’s hand is. We are modally spread out, a trans-world mereological sum of world-bound parts. We are lump sums of modal parts. And so are all other ordinary objects. In this paper, (...) I explore lump theory and investigate five arguments against it. These arguments may be the primary reasons why lump theory has not been widely accepted––or extensively explored––until now. I maintain that these arguments can be answered, and moreover, that accepting lump theory has distinct advantages, making it a competitive view in its own right. (shrink)

Some claim that Composition as Identity (CI) entails Mereological Essentialism (ME). If this is right, then we have an effective modus tollens against CI: ME is clearly false, so CI is, too. Rather than deny the conditional, I will argue that a CI theorist should embrace ME. I endorse a theory of modal parts such that ordinary objects are spatially, temporally, and modally extended. Accepting modal parts is certainly beneficial to CI theorists, but it also provides elegant solutions to the (...) traditional puzzles of constitution, making it a competitive move in its own right. (shrink)

Spatial memory relies on encoding, storing, and retrieval of knowledge about objects’ positions in their surrounding environment. Blind people have to rely on sensory modalities other than vision to memorize items that are spatially displaced, however, to date, very little is known about the influence of early visual deprivation on a person’s ability to remember and process sound locations. To fill this gap, we tested sighted and congenitally blind adults and adolescents in an audio-spatial memory task inspired (...) by the classical card game “Memory.” In this research, subjects had to find pairs among sounds displaced on an audio-tactile device composed of loudspeakers covered by tactile sensors. To accomplish this task, participants had to remember the spatialized sounds’ position and develop a proper mental spatial representation of their locations. The test was divided into two experimental conditions of increasing difficulty dependent on the number of sounds to be remembered. Results showed that sighted participants outperformed blind participants in both conditions. Findings were discussed considering the crucial role of visual experience in properly manipulating auditory spatial representations, particularly in relation to the ability to explore complex acoustic configurations. (shrink)

In this thesis we present two logical systems, $\bf MP$ and $\MP$, for the purpose of reasoning about knowledge and effort. These logical systems will be interpreted in a spatial context and therefore, the abstract concepts of knowledge and effort will be defined by concrete mathematical concepts.

People often solve spatially presented cognitive problems more easily than their nonspatial counterparts. We explain this phenomenon by characterizing space as an inter-modality that provides common structure to different specific perceptual modalities. The usefulness of spatial structure for knowledge processing on different levels of granularity and for interaction between internal and external processes is described. Map representations are discussed as examples in which the usefulness of spatially organized symbols is particularly evident. External representations and processes can enhance internal (...) representations and processes effectively when the same structures and principles can be implicitly assumed. (shrink)

ABSTRACT A spatial logic is a modal logic of which the models are the mathematical models of space. Successively considering the mathematical models of space that are the incidence geometry and the projective geometry, we will successively establish the language, the semantical basis, the axiomatical presentation, the proof of the decidability and the proof of the completeness of INC, the modal multilogic of incidence geometry, and PRO, the modal multilogic of projective geometry.

Modal dimensionalism is realism about spaces, times and worlds—metaphysical indices that make objects spatial, temporal and modal, respectively, and that play the role of alethic relativizers, i.e. items to which matters of truth are relativized. This paper examines several arguments against MD and shows that MD offers a feasible way to understand modal discourse.

The brain-computer interface based on functional near-infrared spectroscopy has received more and more attention due to its vast application potential in emotion recognition. However, the relatively insufficient investigation of the feature extraction algorithms limits its use in practice. In this article, to improve the performance of fNIRS-based BCI, we proposed a method named R-CSP-E, which introduces EEG signals when computing fNIRS signals’ features based on transfer learning and ensemble learning theory. In detail, we used the Independent Component Analysis algorithm for (...) the correspondence between the sources of the two signals. We then introduced the EEG signals when computing the spatial filter based on a modified Common Spatial Pattern algorithm. Experimental results on public datasets show that the proposed method in this paper outperforms traditional methods without transfer. In general, the mean classification accuracy can be increased by up to 5%. To our knowledge, it is an innovation that we tried to apply transfer learning between EEG and fNIRS. Our study’s findings not only prove the potential of the transfer learning algorithm in cross-model brain-computer interface, but also offer a new and innovative perspective to research the hybrid brain-computer interface. (shrink)

The puzzle of cross-modal shape experience is the puzzle of reconciling the apparent differences between our visual and haptic experiences of shape with their apparent similarities. This paper proposes that we can resolve the cross-modal puzzle by reflecting on another puzzle. The puzzle of perspectival character challenges us to reconcile the variability of shape experience through shifts in perspective with its constancy. An attractive approach to the latter puzzle holds that shape experience is complex, involving both perspectival aspects and constant (...) aspects. I argue here that parallel distinctions between perspectival and constant aspects of shape experience arise in sight and touch, and that perspectival aspects are modality-specific while at least some constant aspects are constitutively multisensory. I then address a powerful challenge to the idea that aspects of spatial phenomenology are shared cross-modally. (shrink)

This collection of essays brings together research on sense modalities in general and spatial perception in particular in a systematic and interdisciplinary way. It updates a long-standing philosophical fascination with this topic by incorporating theoretical and empirical research from cognitive science, neuroscience, and psychology. The book is divided thematically to cover a wide range of established and emerging issues. Part I covers notions of objectivity and subjectivity in spatial perception and thinking. Part II focuses on the canonical (...) distal senses, such as vision and audition. Part III concerns the chemical senses, including olfaction and gustation. Part IV discusses bodily awareness, peripersonal space, and touch. Finally, the volume concludes with Part V, on multimodality. Spatial Senses is an important contribution to the scholarly literature on the philosophy of perception that takes into account important advances in the sciences. (shrink)

The logic of 'elsewhere,' i.e., of a sentence operator interpretable as attaching to a formula to yield a formula true at a point in a Kripke model just in case the first formula is true at all other points in the model, has been applied in settings in which the points in question represent spatial positions, as well as in the case in which they represent moments of time. This logic is applied here to the alethic modal case, in (...) which the points are thought of as possible worlds, with the suggestion that its deployment clarifies aspects of a position explored by John Divers under the name 'modal agnosticism.' In particular, it makes available a logic whose Halldén incompleteness explicitly registers the agnostic element of the position - its neutrality as between modal realism and modal anti-realism. (shrink)

What are the relationships between an entity and the space at which it is located? And between a region of space and the events that take place there? What is the metaphysical structure of localization? What its modal status? This paper addresses some of these questions in an attempt to work out at least the main coordinates of the logical structure of localization. Our task is mostly taxonomic. But we also highlight some of the underlying structural features and we single (...) out the interactions between the notion of localization and nearby notions, such as the notions of part and whole, or of necessity and possibility. A theory of localization—we argue—is needed in order to account for the basic relations between objects and space, and runs afoul a pure part-whole theory. We also provide an axiomatization of the relation of localization and examine cases of localization involving entities different from material objects. (shrink)

Suppose that God exists: what difference would that make to the world? The answer depends on the nature of God and the nature of the world. In this book, William E. Mann argues in one new and sixteen previously published essays for a modern interpretation of a traditional conception of God as a simple, necessarily existing, personal being. Divine simplicity entails that God has no physical composition or temporal stages; that there is in God no distinction between essence and existence; (...) that there is no partitioning of God's mental life into beliefs, desires, and intentions. God is thus a spiritual, eternal being, dependent on nothing else, whose essence is to exist and whose mode of existence is identical with omniscience, omnipotence, and perfectly goodness. In metaphysical contrast, the world is a spatial matrix populated most conspicuously by finite physical objects whose careers proceed sequentially from past to present to future. Mann defends a view according to which the world was created out of nothing and is sustained in existence from moment to moment by God. The differences in metaphysical status between creator and creatures raise questions for which Mann suggests answers. How can God know contingent facts and necessary truths without depending on them? Why is it so easy to overlook God's presence? Why would self-sufficient God create anything? Wouldn't a perfect God create the best world possible? Can God be free? Can we be free if God's power is continuously necessary to sustain us in existence? If God does sustain us, is God an accomplice whenever we sin? Mann responds to the Euthyphro dilemma by arguing for a kind of divine command metaethical theory, whose normative content lays emphasis on love. Given the metaphysical differences between us, how can there be loving relationships between God and creatures? Mann responds by examining the notions of piety and hope. (shrink)

Recently, researchers have expanded the investigation into attentional biases toward positive stimuli; however, few studies have examined attentional biases toward positive auditory information. In three experiments, the present study employed an emotional spatial cueing task using emotional sounds as cues and auditory stimuli or visual stimuli as targets to explore whether auditory or visual spatial attention could be modulated by positive auditory cues. Experiment 3 also examined the temporal dynamics of cross-modal auditory bias toward positive natural sounds using (...) event-related potentials. The behavioral results of the three experiments consistently demonstrated that response times to targets were faster after positive auditory cues than they were after neutral auditory cues in the valid condition, indicating that healthy participants showed a selective auditory attentional bias and cross-modal attentional bias toward positive natural sounds. The results of Experiment 3 showed that N1 amplitudes were more negative after positive sounds than they were after neutral sounds, which further provided electrophysiological evidence that positive auditory information enhances attention at early stages in healthy adults. The results of the experiments performed in the present study suggest that humans exhibit an attentional bias toward positive natural sounds. (shrink)

In this paper, we introduce and defend the recurrent model for understanding bodily spatial phenomenology. While Longo, Azañón and Haggard (2010) propose a bottom-up model, Bermúdez (2017) emphasizes the top-down aspect of the information processing loop. We argue that both are only half of the story. Section 1 intro- duces what the issues are. Section 2 starts by explaining why the top- down, descending direction is necessary with the illustration from the ‘body-based tactile rescaling’ paradigm (de Vignemont, Ehrsson and (...) Haggard, 2005). It then argues that the bottom-up, ascending direction is also necessary, and substantiates this view with recent research on skin space and tactile field (Haggard et al., 2017). Section 3 discusses the model’s application to body ownership and bodily self-representation. Implications also extend to topics such as sense modality individuation (Macpherson, 2011), the constancy- based view of perception (Burge, 2010), and the perception/cognition divide (Firestone and Scholl, 2016). (shrink)

We show that given a finite, transitive and reflexive Kripke model 〈 W , ≼, ⟦ ⋅ ⟧ 〉 and $${w \in W}$$ , the property of being simulated by w (i.e., lying on the image of a literalpreserving relation satisfying the ‘forth’ condition of bisimulation) is modally undefinable within the class of S4 Kripke models. Note the contrast to the fact that lying in the image of w under a bi simulation is definable in the standard modal language even (...) over the class of K4 models, a fairly standard result for which we also provide a proof. We then propose a minor extension of the language adding a sequent operator $${\natural}$$ (‘tangle’) which can be interpreted over Kripke models as well as over topological spaces. Over finite Kripke models it indicates the existence of clusters satisfying a specified set of formulas, very similar to an operator introduced by Dawar and Otto. In the extended language $${{\sf L}^+ = {\sf L}^{\square\natural}}$$ , being simulated by a point on a finite transitive Kripke model becomes definable, both over the class of (arbitrary) Kripke models and over the class of topological S4 models. As a consequence of this we obtain the result that any class of finite, transitive models over finitely many propositional variables which is closed under simulability is also definable in L + , as well as Boolean combinations of these classes. From this it follows that the μ -calculus interpreted over any such class of models is decidable. (shrink)

Spatial objects may not only be perceived visually but also by touch. We report recent experiments investigating to what extent prior object knowledge acquired in either the haptic or visual sensory modality transfers to a subsequent visual learning task. Results indicate that even mental object representations learnt in one sensory modality may attain a multi-modal quality. These findings seem incompatible with picture-based reasoning schemas but leave open the possibility of modality-specific reasoning mechanisms.

Even the simplest narratives combine multiple strands of information, integrating different characters and their actions by expressing multiple perspectives of events. We examined the emergence of referential shift devices, which indicate changes among these perspectives, in Nicaraguan Sign Language (NSL). Sign languages, like spoken languages, mark referential shift grammatically with a shift in deictic perspective. In addition, sign languages can mark the shift with a point or a movement of the body to a specified spatial location in the three-dimensional (...) space in front of the signer, capitalizing on the spatial affordances of the manual modality. We asked whether the use of space to mark referential shift emerges early in a new sign language by comparing the first two age cohorts of deaf signers of NSL. Eight first-cohort signers and ten second-cohort signers watched video vignettes and described them in NSL. Narratives were coded for lexical (use of words) and spatial (use of signing space) devices. Although the cohorts did not differ significantly in the number of perspectives represented, second-cohort signers used referential shift devices to explicitly mark a shift in perspective in more of their narratives. Furthermore, while there was no significant difference between cohorts in the use of non-spatial, lexical devices, there was a difference in spatial devices, with second-cohort signers using them in significantly more of their narratives. This suggests that spatial devices have only recently increased as systematic markers of referential shift. Spatial referential shift devices may have emerged more slowly because they depend on the establishment of fundamental spatial conventions in the language. While the modality of sign languages can ultimately engender the syntactic use of three-dimensional space, we propose that a language must first develop systematic spatial distinctions before harnessing space for grammatical functions. (shrink)

With the rigorous development of modal logic in the first half of the twentieth century, it became custom amongst philosophers to characterize different views about necessity and possibility in terms of rival axiomatic systems for the modal operators ‘ ’ (‘possibly’) and ‘ ’ (‘necessarily’). From the late 1950s onwards, Arthur Prior began to argue that temporal distinctions ought to be given a similar treatment, in terms of axiomatic systems for sentential tense operators, such as ‘P’ (‘it was the case (...) that’) and ‘F’ (‘it will be the case that’).1 My aim here is to give a brief survey of the extent to which time can be treated on the model of modality. I shall not try to address the further question of whether such ‘modal’ accounts of time are to be preferred over ‘spatial’ accounts that treat times more like places. (shrink)

Several logical operators are defined as dual pairs, in different types of logics. Such dual pairs of operators also occur in other algebraic theories, such as mathematical morphology. Based on this observation, this paper proposes to define, at the abstract level of institutions, a pair of abstract dual and logical operators as morphological erosion and dilation. Standard quantifiers and modalities are then derived from these two abstract logical operators. These operators are studied both on sets of states and sets (...) of models. To cope with the lack of explicit set of states in institutions, the proposed abstract logical dual operators are defined in an extension of institutions, the stratified institutions, which take into account the notion of open sentences, whose satisfaction is parametrised by sets of states. A hint on the potential interest of the proposed framework for spatial reasoning is also provided. (shrink)

Visuo-motor adaptation to optical prisms displacing the visual scene (prism adaptation, PA) is a method used for investigating visuomotor plasticity in healthy individuals and, in clinical settings, for the rehabilitation of unilateral spatial neglect. In the standard paradigm, the adaptation phase involves repeated pointings to visual targets, while wearing optical prisms displacing the visual scene laterally. Here we explored differences in PA, and its aftereffects (AEs), as related to the sensory modality of the target. Visual, auditory, and multisensory - (...) audio-visual - targets in the adaptation phase were used, while participants wore prisms displacing the visual field rightwards by 10◦. Proprioceptive, visual, visual-proprioceptive, auditory-proprioceptive straight-ahead shifts were measured. Pointing to auditory and to audio-visual targets in the adaptation phase produces proprioceptive, visual-proprioceptive, and auditory-proprioceptive AEs, as the typical visual targets did. This finding reveals that cross-modal plasticity effects involve both the auditory and the visual modality, and their interactions (Experiment 1). Even a shortened PA phase, requiring only 24 pointings to visual and audio-visual targets (Experiment 2), is sufficient to bring about AEs, as compared to the standard 92-pointings procedure. Finally, pointings to auditory targets cause AEs, although PA with a reduced number of pointings (24) to auditory targets brings about smaller AEs, as compared to the 92-pointings procedure (Experiment 3). Together, results from the three experiments extend to the auditory modality the sensorimotor plasticity underlying the typical AEs produced by PA to visual targets. Importantly, PA to auditory targets appears characterized by less accurate pointings and error correction, suggesting that the auditory component of the PA process may be less central to the building up of the AEs, than the sensorimotor pointing activity per se. These findings highlight both the effectiveness of a reduced number of pointings for bringing about AEs, and the possibility of inducing PA with auditory targets, which may be used as a compensatory route in patients with visual deficits. (shrink)

We study the process of observation (measurement), within the framework of a “perspectival” (“relational,” “relative state”) version of the modal interpretation of quantum mechanics. We show that if we assume certain features of discreteness and determinism in the operation of the measuring device (which could be a part of the observer's nerve system), this gives rise to classical characteristics of the observed properties, in the first place to spatial localization. We investigate to what extent semi-classical behavior of the object (...) system itself (as opposed to the observational system) is needed for the emergence of classicality. Decoherence is an essential element in the mechanism of observation that we assume, but it turns out that in our approach no environment-induced decoherence on the level of the object system is required for the emergence of classical properties. (shrink)

Relational, operator, and predicate systems are distinguished on the basis that they correspond to the three possible pair-wise bracketings into two constituents of the three parts of a proposition: relation, subject, and object. It is asserted that the verbal propositional modality (left hemisphere) uses a predicate grammar, while the spatial-image operational modality (right hemisphere) uses an operator grammar. Verbal propositional memory has the capacity for extensive propositional embedding while spatial operational memory does not.

ABSTRACTIn verbal communication, affective information is commonly conveyed to others through spatial terms. This study used a target location discrimination task with neutral, positive and negative stimuli to test the automaticity of the emotion-space association, both in the vertical and horizontal spatial axes. The effects of stimulus type on emotion-space representations were also probed. A congruency effect was observed in the vertical axis: detection of upper targets preceded by positive stimuli was faster. This effect occurred for all stimulus (...) types, indicating that the emotion-space association is not dependent on sensory modality and on the verbal content of affective stimuli. (shrink)

Cultural routines, such as reading and writing direction (script direction), channel attention orientation. Depending on one's native language habit, attention is biased from left‐to‐right (LR) or from right‐to‐left (RL). Here, we further document this bias, as it interacts with the spatial directionality that grounds time concepts. We used a spatial cueing task to test whether script direction and the grounding of time in Portuguese (LR, Exp. 1) and Arabic (RL, Exp. 2) shape visuomotor performance in target discrimination. Temporal (...) words (e.g., tomorrow, yesterday) were presented as cues in two modalities: visual (Exp. 1–2) and auditory (Exp. 1). Gaze movement (Exp. 1) and speed of discrimination decisions (Exp. 1–2) of targets presented to the left or right sides of the screen were assessed. As predicted, the interaction between target location and time concepts was significant across both modalities and linguistic communities. Additionally, LR participants detected the target on the right side of the screen faster after a future word than the target on the left side of the screen after a past word cue. In contrast, RL participants detected the target on the left side of the screen faster when the cue word was a future word than the target on the right side of the screen cued by a past word. In both modalities, the initial eye‐gaze movement (Exp. 1) was responsive to the cue's time referent, further confirming that time orients attention. An additional bias was observed for the first fixation onset, which landed earlier on the target set that matched habitualized spatial routines. We conclude that scanning regularities are shaped by writing habits and bodily grounded categorical features. (shrink)

Two cross-modal experiments provide partial support for O'Regan & Noë's (O&N's) claim that sensorimotor contingencies mediate perception. Differences in locating a target sound accompanied by a spatially disparate neutral light correlate with whether the two stimuli were perceived as spatially unified. This correlation suggests that internal representations are necessary for conscious perception, which may also mediate sensorimotor contingencies.

BackgroundReconciling results obtained using different types of sensory measures is a challenge for autism sensory research. The present study used questionnaire, psychophysical, and neurophysiological measures to characterize autistic sensory processing in different measurement modalities.MethodsParticipants were 46 autistic and 21 typically developing 11- to 14-year-olds. Participants and their caregivers completed questionnaires regarding sensory experiences and behaviors. Auditory and somatosensory event-related potentials were recorded as part of a multisensory ERP task. Auditory detection, tactile static detection, and tactile spatial resolution psychophysical (...) thresholds were measured.ResultsSensory questionnaires strongly differentiated between autistic and typically developing individuals, while little evidence of group differences was observed in psychophysical thresholds. Crucially, the different types of measures appeared to be largely independent of one another. However, we unexpectedly found autistic participants with larger auditory Tb ERP amplitudes had reduced hearing acuity, even though all participants had hearing acuity in the non-clinical range.LimitationsThe autistic and typically developing groups were not matched on cognitive ability, although this limitation does not affect our main analyses regarding convergence of measures within autism.ConclusionOverall, based on these results, measures in different sensory modalities appear to capture distinct aspects of sensory processing in autism, with relatively limited convergence between questionnaires and laboratory-based tasks. Generally, this might reflect the reality that laboratory tasks are often carried out in controlled environments without background stimuli to compete for attention, a context which may not closely resemble the busier and more complex environments in which autistic people’s atypical sensory experiences commonly occur. Sensory questionnaires and more naturalistic laboratory tasks may be better suited to explore autistic people’s real-world sensory challenges. Further research is needed to replicate and investigate the drivers of the unexpected association we observed between auditory Tb ERP amplitudes and hearing acuity, which could represent an important confound for ERP researchers to consider in their studies. (shrink)

Restrictivists hold that visual experience only represents low-level properties such as shape, spatial location, motion, color, etc. Expansionists contend that visual experience also represents high-level properties such as being a pine tree. I outline a new approach to support expansionism called the conflict cross-modal argument. What I call the conflict cross-modal effects occur when at least two perceptual systems disagree about some property belonging to a common stimulus, and this disagreement causes a change in the representational and phenomenal content (...) of the perceptual experience associated with one, or both, modalities. The conflict cross-modal argument works by accepting that if a property figures in a conflict cross-modal effect, then prima facie that property is a strong common sensible between the two modalities, and vision and another modality disagree about a property that is high-level for vision. After outlining this argument, and showing how it overcomes two obstacles that face traditional methods employed to defend expansionism, I turn to the well known Mcgurk effect as a case where vision and audition disagree about phoneme properties in order to employ my argument for the conclusion that phoneme properties are represented in visual experience. The upshot is that since phoneme properties are high-level for vision, we have an argument supporting expansionism. (shrink)

The target article undermines the existence of a shared unitary numerical format, illustrating a variety of representations. The / dichotomy does not capture their specific features. These representations are with respect to the sensory modality of the stimulus, and independent of its specific notation, with a main role of spatial codes, both related and unrelated to the mental number line.

[Interactive and Immersive Practices; Critical Spatial Practices. The Augmented Reality of the Exhibition Space] The rise of installations, as well as immersive and interactive spaces, in both art and science museums has accustomed the public to heightened interactivity, leading to a better understanding of social, natural and scientific phenomena. These spatial systems have also paved the way for the production of innovative environments within exhibition design. This article aims to present a brief overview of the origins of immersive (...) and sensory practices at work in contemporary museums, and to evaluate the potential of these processes to generate critical thinking in the visitor. A concise description of the evolution of the operational and intellectual premise of these museums and their changing practices demonstrates the transformations that have occurred, their modalities, and their application in selected works, notably: The Weather Project by Olafur Eliasson presented at Tate Modern London; Diller + Scofidio’s media pavilion, Blur Building, in Yverdon-les-Bains in Switzerland; and the exhibition Sense of the City at the Canadian Centre for Architecture in Montreal. (shrink)

A recent study published in Nature Neuroscience purports to have answered a question posed to Locke in 1688 by his friend William Molyneux, namely, whether ‘a man born blind and made to see’ would be able to identify, immediately and by vision alone, objects previously known only by touch. The answer, according to the researchers – and as predicted by Molyneux, as well as Locke, Berkeley, and others – is ‘likely negative. The newly sighted subjects did not exhibit an immediate (...) transfer of their tactile shape knowledge to the visual domain’. Since then, however, many commentators have argued that the answer is still not clear. Moreover, in the contemporary literature on Molyneux’s Question, and more generally on cross-modal perception and the individuation of the senses, it is sometimes hard to determine what question is being investigated. In this paper, I distinguish a number of different questions about the relation between visual and tactual perception that can arise when considering Molyneux’s... (shrink)

We show how mereotopological notions can be expressed by extending intuitionistic propositional logic with propositional quantification and a strong modal operator. We first prove completeness for the logics wrt Kripke models; then we trace the correspondence between Kripke models and topological spaces that have been enhanced with an explicit notion of expressible region. We show how some qualitative spatial notions can be expressed in topological terms. We use the semantical and topological results in order to show how in some (...) extensions of the logics it is possible to express connectedness, non-emptiness and a set of jointly exhaustive, pairwise disjoint, binary relations that play a significant role in qualitative spatial reasoning. (shrink)

In this paper we propose that cosmological fine-tuning arguments, when levied in support of the existence of Intelligent Designers or Multiverses, are much less interesting than they are thought to be. Our skepticism results from tracking the distinction between merely epistemic or logical possibilities on one hand and nonepistemic possibilities, such as either nomological or metaphysical possibilities, on the other. We find that fine-tuning arguments readily conflate epistemic or logical possibilities with nonepistemic possibilities and we think that this leads to (...) treating the search for an explanation of fine-tuning as analogous to standard empirical theorizing about first-order nomological matters, when in fact the two investigational enterprises are profoundly different. Similar conflation occurs when fine-tuning arguments do not carefully distinguish between different interpretations of probabilities within the arguments. Finally, these arguments often rely on spatial analogies, which are often misleading precisely in that they encourage the conflation of epistemic and nonepistemic possibility. When we pay attention to the distinctions between merely epistemic versus nonepistemic modalities and probabilities, the extant arguments in favor of intelligent designers or multiverses, or even for the nonepistemic improbability of fine-tuning, consist of empirically unconstrained speculation concerning relevant nonepistemic modal facts. (shrink)