I aim to give a new account of picture perception: of the way our visual system functions when we see something in a picture. My argument relies on the functional distinction between the ventral and dorsal visual subsystems. I propose that it is constitutive of picture perception that our ventral subsystem attributes properties to the scene, whereas our dorsal subsystem attributes properties to the surface. Keywords: picture perception; dorsal subsystem;.

I aim to give a new account of picture perception: of the way our visual system functions when we see something in a picture. My argument relies on the functional distinction between the ventral and dorsal visual subsystems. I propose that it is constitutive of picture perception that our ventral subsystem attributes properties to the depicted scene, whereas our dorsal subsystem attributes properties to the picture surface. This duality elucidates Richard Wollheim’s concept of the “twofoldness” of (...) our experience of pictures: the “visual awareness not only of what is represented but also of the surface qualities of the representation.” I argue for the following four claims: (a) the depicted scene is represented by ventral perception, (b) the depicted scene is not represented by dorsal perception, (c) the picture surface is represented by dorsal perception, and (d) the picture surface is not necessarily represented by ventral perception. (shrink)

Neural correlates exist for a basic component of logical formulae, PREDICATE(x). Vision and audition research in primates and humans shows two independent neural pathways; one locates objects in body-centered space, the other attributes properties, such as colour, to objects. In vision these are the dorsal and ventral pathways. In audition, similarly separable “where” and “what” pathways exist. PREDICATE(x) is a schematic representation of the brain's integration of the two processes of delivery by the senses of the location of an (...) arbitrary referent object, mapped in parietal cortex, and analysis of the properties of the referent by perceptual subsystems. The brain computes actions using a few “deictic” variables pointing to objects. Parallels exist between such nonlinguistic variables and linguistic deictic devices. Indexicality and reference have linguistic and nonlinguistic (e.g., visual) versions, sharing the concept of attention. The individual variables of logical formulae are interpreted as corresponding to these mental variables. In computing action, the deictic variables are linked with “semantic” information about the objects, corresponding to logical predicates. Mental scene descriptions are necessary for practical tasks of primates, and preexist language phylogenetically. The type of scene descriptions used by nonhuman primates would be reused for more complex cognitive, ultimately linguistic, purposes. The provision by the brain's sensory/perceptual systems of about four variables for temporary assignment to objects, and the separate processes of perceptual categorization of the objects so identified, constitute a pre-adaptive platform on which an early system for the linguistic description of scenes developed. Key Words: argument; attention; deictic; dorsal; logic; neural; object; predicate; reference; ventral. (shrink)

Norman's aim to reconcile two longstanding and seemingly opposed philosophies of perception, the constructivist and the ecological, by casting them as approaches to complementary subsystems within the visual brain is laudable. Unfortunately, Norman overreaches in attempting to equate direct perception with dorsal/unconscious visual processing and indirect perception with ventral/conscious visual processing. Even a cursory review suggests that the functional and neural segregation of direct and indirect perception is not as clear as the target article would suggest.

Molecular and developmental studies of limb pattern formation have recently gained widespread attention. The fact that vertebrate limbs are amenable to both genetic and embryological manipulations has established this model system as a valuable paradigm for studying vertebrate development. Limb buds are polarised along all three major axes and the establishment of the dorso‐ventral (DV) polarity is dependent upon cues localised in the trunk, where a DV ectodermal interface is produced by confrontation of dorsal and ventral identities. By (...) analogy to Drosophila imaginal disc development, this interface has been proposed to determine and position an ectodermal organising centre, the Apical Ectodermal Ridge (AER), controlling limb bud outgrowth. Recent fate mapping studies(1) and studies of genes regulating DV limb polarity(2‐6), AER formation(7,8) and differentiation(9) suggest, however, that DV patterning and AER induction, though coordinately regulated during limb bud outgrowth, may early on be more dissociated than expected. (shrink)

The ventral lateral parietal cortex shows robust activation during episodic retrieval, and is involved in content representation, as well as in the evaluation of memory traces. This suggests that the VLPC has a crucial contribution to the quality of recollection and the subjective experience of remembering, and situates it at the intersection of the core and attribution systems.

A computational theory of consciousness should include a quantitative measure of consciousness, or MoC, that (i) would reveal to what extent a given system is conscious, (ii) would make it possible to compare not only different systems, but also the same system at different times, and (iii) would be graded, because so is consciousness. However, unless its design is properly constrained, such an MoC gives rise to what we call the boundary problem: an MoC that labels a system as conscious (...) will do so for some – perhaps most – of its subsystems, as well as for irrelevantly extended systems (e.g., the original system augmented with physical appendages that contribute nothing to the properties supposedly supporting consciousness), and for aggregates of individually conscious systems (e.g., groups of people). This problem suggests that the properties that are being measured are epiphenomenal to consciousness, or else it implies a bizarre proliferation of minds. We propose that a solution to the boundary problem can be found by identifying properties that are intrinsic or systemic: properties that clearly differentiate between systems whose existence is a matter of fact, as opposed to those whose existence is a matter of interpretation (in the eye of the beholder). We argue that if a putative MoC can be shown to be systemic, this ipso facto resolves any associated boundary issues. As test cases, we analyze two recent theories of consciousness in light of our definitions: the Integrated Information Theory and the Geometric Theory of consciousness. (shrink)

Cognitive semantic studies have shown that our conceptualization of morality is at least partially metaphorical and that our moral cognition is grounded in some fundamental contrastive categories of our embodied experience in the physical environment. It is argued that our moral cognition is built on a moral metaphor system. Within the framework of conceptual metaphor theory, this study aims to examine the spatial subsystem of moral metaphors in English. We set out with five pairs of moral metaphors that involve (...) the following spatial source concepts: HIGH and LOW, UPRIGHT and TILTED, LEVEL and UNLEVEL, STRAIGHT and CROOKED, and BIG and SMALL. These metaphors were found to constitute the spatial subsystem of moral metaphors in Chinese. Our primary goal is to find out if the five pairs of moral–spatial metaphors are manifested in English as well. To that end we collected linguistic data from the Corpus of Contemporary American English and searched Google Images for multimodal evidence. Our finding is that the five pairs of moral–spatial metaphors are applicable in English as they are in Chinese. We also discuss issues related to conceptual metaphor theory. (shrink)

This paper formulates a notion of independence of subobjects of an object in a general (i.e. not necessarily concrete) category. Subobject independence is the categorial generalization of what is known as subsystem independence in the context of algebraic relativistic quantum field theory. The content of subobject independence formulated in this paper is morphism co-possibility: two subobjects of an object will be defined to be independent if any two morphisms on the two subobjects of an object are jointly implementable by (...) a single morphism on the larger object. The paper investigates features of subobject independence in general, and subobject independence in the category of C∗ - algebras with respect to operations (completely positive unit preserving linear maps on C∗ - algebras)as morphisms is suggested as a natural subsystem independence axiom to express relativistic locality of the covariant functor in the categorial approach to quantum field theory. (shrink)

Ratajczyk, Z., Subsystems of true arithmetic and hierarchies of functions, Annals of Pure and Applied Logic 64 95–152. The combinatorial method coming from the study of combinatorial sentences independent of PA is developed. Basing on this method we present the detailed analysis of provably recursive functions associated with higher levels of transfinite induction, I, and analyze combinatorial sentences independent of I. Our treatment of combinatorial sentences differs from the one given by McAloon [18] and gives more natural sentences. The same (...) method give also a combinatorial technique with no use of the cut-elimination theorem which is appropriate to study proof-theoretic strength of subsystems of first order arithmetic and some of their expansions. It was used to analyze iterated reflection principle and system of transfinite induction with a satisfaction class. (shrink)

Opposed to Norman's proposal, processing of affordance is likely to occur not solely in the dorsal stream but also in the ventral stream. Moreover, the dorsal stream might do more than just serve an important role in motor actions. It supports egocentric location coding as well. As such, it would possess a form of representational memory, contrary to Norman's proposal.

Adolescence has been linked to an enhanced tolerance of uncertainty and risky behavior and is possibly connected to an increased response toward rewards. However, previous research has produced inconsistent findings. To investigate whether these findings are due to different reward probabilities used in the experimental design, we extended a monetary incentive delay task by including three different reward probabilities. Using functional magnetic resonance imaging, 25 healthy adolescents and 22 adults were studied during anticipation of rewards in the VS. Differently colored (...) cue stimuli indicated either a monetary or verbal trial and symbolized different reward probabilities, to which the participants were blinded. Results demonstrated faster reaction times for lower reward probabilities in both age groups. Adolescents were slower through all conditions and had less activation on a neural level. Imaging results showed a three-way interaction between age group x condition x reward probability with differences in percent signal change between adolescents and adults for the high reward probabilities while adolescents demonstrated differences for the lowest. Therefore, previous inconsistent findings could be due to different reward probabilities, which makes examining these crucial for a better understanding of adolescent and adult behavior. (shrink)

Experimental data suggest that the division between the visual ventral and dorsal pathways may indeed indicate that static and dynamical information is processed separately. Contrary to Hurford, it is suggested that the ventral pathway primarily generates representations of objects, whereas the dorsal pathway produces representations of events. The semantic object/event distinction may relate to the morpho-syntactic noun/verb distinction.

This paper presents an exposition of subsystems and of Quine's , originally defined and shown to be consistent by Crabbé, along with related systems and of type theory. A proof that (and so ) interpret the ramified theory of types is presented (this is a simplified exposition of a result of Crabbé). The new result that the consistency strength of is the same as that of is demonstrated. It will also be shown that cannot be finitely axiomatized (as can and (...) ). (shrink)

Purpose: This article investigates the emergence of subsystems in societies as a solution to the double contingency problem. Context: There are two underlying paradigms: one is radical constructivism in the sense that perturbations are at the centre of the self-organising processes; the other is Luhmann’s double contingency problem, where agents learn anticipations from each other. Approach: Central to our investigation is a computer simulation where we place agents into an arena. These agents can learn to (a) collect food and/or (b) (...) steal food from other agents. In order to analyse subsystem formation, we investigate whether agents use both behaviours or just one of these, which is equivalent to determining the number of self-referential loops. This is detected with a novel measure that we call “prediction utilisation.” Results: During the simulation, symmetry breaking is observed. The system of agents divides itself up into two subsystems: one where agents just collect food and another one where agents just steal food from other agents. The ratio between these two populations is determined by the amount of food available. Key words: Social systems, constructivist paradigm, cybernetics, double contingency, symmetry breaking, emergence. (shrink)

This paper presents a systematic study of the prehistory of the traditional subsystems of second-order arithmetic that feature prominently in the reverse mathematics program of Friedman and Simpson. We look in particular at: (i) the long arc from Poincar\'e to Feferman as concerns arithmetic definability and provability, (ii) the interplay between finitism and the formalization of analysis in the lecture notes and publications of Hilbert and Bernays, (iii) the uncertainty as to the constructive status of principles equivalent to Weak K\"onig's (...) Lemma, and (iv) the large-scale intellectual backdrop to arithmetical transfinite recursion in descriptive set theory and its effectivization by Borel, Lusin, Addison, and others. (shrink)

The exact relationship between qualia and the function of the brain remains elusive. The present approach focuses on the linkage between the neural mechanisms of the brain and the phenomenological and epistemological mechanisms of qualia. It is hypothesized that distinct characteristics of the ventral prefrontal cortical function may be crucial for the generation of these phenomenological and epistemological mechanisms this is reflected in the so-called 'neurophenomenological hypothesis'. The 'phenomenological—qualitative' character of qualia may be related with an early activation in (...) the ventromedial prefrontal cortex . The experience of 'presence' in qualia may be accounted for by a co-activation in both VMPFC and hippocampus and a concurrent deactivation in the ventrolateral prefrontal cortex and posterior cingulate. Past and future temporal dimensions may therefore be integrated within the experience of events, which in turn may account for the phenomenal characteristics of 'presence' and thus 'phenomenal time'. 'Non-structural homogeneity' in the experience of qualia may be accounted for by either 'supramodal character' or 'modality unspecifity' of >the VMPFC. The 'heterogenous' stimuli can therefore be included and integrated within one 'homogenous' event as experienced in qualia. Finally, 'transparency' in the experience of qualia may be related with the 'reciprocal suppression' between VMPFC and VLPFC. Simultaneous cognitive processing during the experience of qualia may be suppressed and may consequently account for their transparent character. Due to several methodological limitations, these 'neurophenomenological hypotheses' must be considered as preliminary. However, they may nevertheless serve as a starting point for the development of a more elaborate neuroscientific hypothesis of qualia in the future. (shrink)

By means of the examples of classical and Bohmian quantum mechanics, we illustrate the well-known ideas of Boltzmann as to how one gets from laws defined for the universe as a whole to dynamical relations describing the evolution of subsystems. We explain how probabilities enter into this process, what quantum and classical probabilities have in common and where exactly their difference lies.

It is necessary to distinguish among representations caused directly by perception, representations of past perceptions in long-term memory, the representations underlying linguis- tic utterances, and the surface phonological and grammatical structures of sentences. The target article dealt essentially with predicate-argument structure at the first of these levels of representation. Discussion of the commentaries mainly involves distinguishing among various applications of the term “predicate”; clarifying the assumed relationship between classical FOPL and language; clarifying the status of unique individuals as conceived by (...) humans; and addressing the issues of motion-perception, binding between object-percepts and predicate-percepts, and target-driven versus stimulus-driven attention. (shrink)

Everyday life suggests that picture seeing is sometimes infused by an emotional charge. However, nobody has addressed the importance of explaining this emotional charge in picture perception. Even our best model of picture perception, the dorsal/ventral account of picture perception, which integrates the most important empirical results coming from our best model on vision in neuroscience, the two visual systems model, lacks a reference to this emotional charge. The aim of the present paper is to offer an account of (...) picture perception that is able to regain and explain this neglected emotional charge. My claim is that, as for face-to-face perception, during picture perception, we are not only in a visual perceptual state, but also in an emotional state, which is directly connected to our visual perceptual state. I also show that it is possible to offer this integration while remaining in the philosophical/empirical framework of the dorsal/ventral account of picture perception, whose explanatory power is confirmed and improved. (shrink)

The author argues that the theory of a dorsal/ventral stream for visual processing can be used to reconcile the constructivist and direct perception theories. My commentary discusses neurophysiological and psychophysical studies that run counter to the view. In addition, the central issue of debate between the constructionist and direct perception approaches regarding what is visual information is discussed.

The Logic of Proofs realizes the modalities from traditional modal logics with proof polynomials, so an expression □F becomes t:F where t is a proof polynomial representing a proof of or evidence for F. The pioneering work on explicating the modal logic is due to S. Artemov and was extended to several subsystems by V. Brezhnev. In 2000, R. Kuznets presented a algorithm for deducibility in these logics; in the present paper we will show that the deducibility problem is -complete. (...) Both Kuznets’s work and the present results make assumptions on the values of proof constants. (shrink)

We show that certain model-theoretic forcing arguments involving subsystems of second-order arithmetic can be formalized in the base theory, thereby converting them to effective proof-theoretic arguments. We use this method to sharpen the conservation theorems of Harrington and Brown-Simpson, giving an effective proof that WKL+0 is conservative over RCA0 with no significant increase in the lengths of proofs.

Several lines of evidence indicate that rapid target-aiming movements, involving both the eyes and hand, can be biased by the visual context in which the movements are performed. Some of these contextual influences carry-over from trial to trial. This research indicates that dissociation between the dorsal and ventral systems based on speed, conscious awareness, and frame of reference is far from clear.

This research is motivated by the program of Reverse Mathematics. We investigate basic part of complex analysis within some weak subsystems of second order arithmetic, in order to determine what kind of set existence axioms are needed to prove theorems of basic analysis. We are especially concerned with Cauchy’s integral theorem. We show that a weak version of Cauchy’s integral theorem is proved in RCAo. Using this, we can prove that holomorphic functions are analytic in RCAo. On the other hand, (...) we show that a full version of Cauchy’s integral theorem cannot be proved in RCAo but is equivalent to weak König’s lemma over RCAo. (shrink)

We study the question of how to decompose Hilbert space into a preferred tensor-product factorization without any pre-existing structure other than a Hamiltonian operator, in particular the case of a bipartite decomposition into "system" and "environment." Such a decomposition can be defined by looking for subsystems that exhibit quasi-classical behavior. The correct decomposition is one in which pointer states of the system are relatively robust against environmental monitoring (their entanglement with the environment does not continually and dramatically increase) and remain (...) localized around approximately-classical trajectories. We present an in-principle algorithm for finding such a decomposition by minimizing a combination of entanglement growth and internal spreading of the system. Both of these properties are related to locality in different ways. This formalism could be relevant to the emergence of spacetime from quantum entanglement. (shrink)

We study the Lindenbaum algebra ${\fancyscript{A}}$ (WKL o, RCA o) of sentences in the language of second-order arithmetic that imply RCA o and are provable from WKL o. We explore the relationship between ${\Sigma^1_1}$ sentences in ${\fancyscript{A}}$ (WKL o, RCA o) and ${\Pi^0_1}$ classes of subsets of ω. By applying a result of Binns and Simpson (Arch. Math. Logic 43(3), 399–414, 2004) about ${\Pi^0_1}$ classes, we give a specific embedding of the free distributive lattice with countably many generators into ${\fancyscript{A}}$ (...) (WKL o, RCA o). (shrink)

We study the provability in subsystems of second-order arithmetic of two theorems of Harrington and Shelah [6] about Borel quasi-orderings of the reals. These theorems turn out to be provable in ATR0, thus giving further evidence to the observation that ATR0 is the minimal subsystem of second-order arithmetic in which significant portion of descriptive set theory can be developed. As in [6] considering the lightface versions of the theorems will be instrumental in their proof and the main techniques employed (...) will be the reflection principles and Gandy forcing. (shrink)

We examine the possible states of subsystems of a system of bits or qubits. In the classical case (bits), this means the possible marginal distributions of a probability distribution on a finite number of binary variables; we give necessary and sufficient conditions for a set of probability distributions on all proper subsets of the variables to be the marginals of a single distribution on the full set. In the quantum case (qubits), we consider mixed states of subsets of a set (...) of qubits; in the case of three qubits we find quantum Bell inequalities—necessary conditions for a set of two-qubit states to be the reduced states of a mixed state of three qubits. We conjecture that these conditions are also sufficient. (shrink)