On the Existence of Spacetime Structure

I examine the debate between substantivalists and relationalists about the ontological character of spacetime and conclude it is not well posed. I argue that the so-called Hole Argument does not bear on the debate, because it provides no clear criterion to distinguish the positions. I propose two such precise criteria and construct separate arguments based on each to yield contrary conclusions, one supportive of something like relationalism and the other of something like substantivalism. The lesson is that one must fix an investigative context in order to make such criteria precise, but different investigative contexts yield inconsistent results. I examine questions of existence about spacetime structures other than the spacetime manifold itself to argue that it is more fruitful to focus on pragmatic issues of physicality, a notion that lends itself to several different explications, all of philosophical interest, none privileged a priori over any of the others. I conclude by suggesting an extension of the lessons of my arguments to the broader debate between realists and instrumentalists.Comment: 42 pages, 2 figures, forthcoming (2015) in British Journal for Philosophy of Scienc

An Examination of Self-Editing Behavior on the Part of the Listener

From an operant analysis, self-editing is described as complex verbal behavior that occurs when a speaker engages (or almost engages), in verbal behavior and makes changes to the response prior to affording access to it on the part of an external listener. Following this conceptualization by Skinner in 1957, very few experimental preparations have examined this verbal phenomenon from a behavior analytic perspective (Hyten & Chase, 1991; Epting, 2003). The current study suggests a reconceptualization of self-editing behavior using an interbehavioral approach to verbal interactions (Kantor, 1977). As such, self-editing behavior is described as a verbal event in which a listener can participate. From this reconceptualization, an experiment was programmed to allow for the examination of self-editing behavior on the part of the listener. The results were analyzed with respect to the interbehavioral perspective, and revealed that 19 of 20 participants, functioning as a listener, engaged in self-editing behavior

Ecological Modelling with the Calculus of Wrapped Compartments

The Calculus of Wrapped Compartments is a framework based on stochastic multiset rewriting in a compartmentalised setting originally developed for the modelling and analysis of biological interactions. In this paper, we propose to use this calculus for the description of ecological systems and we provide the modelling guidelines to encode within the calculus some of the main interactions leading ecosystems evolution. As a case study, we model the distribution of height of Croton wagneri, a shrub constituting the endemic predominant species of the dry ecosystem in southern Ecuador. In particular, we consider the plant at different altitude gradients (i.e. at different temperature conditions), to study how it adapts under the effects of global climate change.Comment: A preliminary version of this paper has been presented in CMC13 (LNCS 7762, pp 358-377, 2013

On the Existence of Spacetime Structure

I examine the debate between substantivalists and relationalists about the ontological character of spacetime and conclude it is not well posed. I argue that the so-called Hole Argument does not bear on the debate, because it provides no clear criterion to distinguish the positions. I propose two such precise criteria and construct separate arguments based on each to yield contrary conclusions, one supportive of something like relationalism and the other of something like substantivalism. The lesson is that one must fix an investigative context in order to make such criteria precise, but different investigative contexts yield inconsistent results. I examine questions of existence about spacetime structures other than the spacetime manifold itself to argue that it is more fruitful to focus on pragmatic issues of physicality, a notion that lends itself to several different explications, all of philosophical interest, none privileged a priori over any of the others. I conclude by suggesting an extension of the lessons of my arguments to the broader debate between realists and instrumentalists

Semantic linking through spaces for cyber-physical-socio intelligence:a methodology

Humans consciously and subconsciously establish various links, emerge semantic images and reason in mind, learn linking effect and rules, select linked individuals to interact, and form closed loops through links while co-experiencing in multiple spaces in lifetime. Machines are limited in these abilities although various graph-based models have been used to link resources in the cyber space. The following are fundamental limitations of machine intelligence: (1) machines know few links and rules in the physical space, physiological space, psychological space, socio space and mental space, so it is not realistic to expect machines to discover laws and solve problems in these spaces; and, (2) machines can only process pre-designed algorithms and data structures in the cyber space. They are limited in ability to go beyond the cyber space, to learn linking rules, to know the effect of linking, and to explain computing results according to physical, physiological, psychological and socio laws. Linking various spaces will create a complex space — the Cyber-Physical-Physiological-Psychological-Socio-Mental Environment CP3SME. Diverse spaces will emerge, evolve, compete and cooperate with each other to extend machine intelligence and human intelligence. From multi-disciplinary perspective, this paper reviews previous ideas on various links, introduces the concept of cyber-physical society, proposes the ideal of the CP3SME including its definition, characteristics, and multi-disciplinary revolution, and explores the methodology of linking through spaces for cyber-physical-socio intelligence. The methodology includes new models, principles, mechanisms, scientific issues, and philosophical explanation. The CP3SME aims at an ideal environment for humans to live and work. Exploration will go beyond previous ideals on intelligence and computing

Yes/no questions in mandarin chinese revisited

This article discusses some syntactic peculiarities of Chinese yes/no questions. Starting from the observation that Standard Mandarin shares significant typological features with prototypical SOV languages, Chinese is treated as an underlyingly verb-final language. Based on this heuristic principle, A-not-AB, AB-not-A and AB-not questions are uniformly derived by means of one simple raising rule that operates within the sentence constituent V'. This novel idea is elaborated on in great detail in the first part of the article. In contrast to the prevailing trend, it is argued that the question operator contained in A-not-A and A-not sentences CANNOT be raised to "Comp". In consequence, A-not-A and A-not questions are "typed" in the head position of a sentence-internal functional phrase that we call Force2 Phrase (F2P) in the present paper. This position is not to be confused with Drubig's (1994) Polarity 1 Phrase (PollP), in the head position of which assertive negations and an abstract affirmative element are located. The existence of a head position F2° other than Poll° is supported by the fact that F2° can be occupied by certain overt question operators, such as assertive shi-bu-shi, which are compatible with negations. In contrast to the assertive question operator shi-bu-shi which is obligatorily associated with information focus, non-assertive shi-bu-shi serves as a compound focus and question operator whose focus feature is complex insofar as it is composed of two subfeatures: a contrastivity and an exhaustivity subfeature. Non-assertive shi-bu-shi is obligatorily associated with identificational focus in the sense of Kiss (1998). In accordance with some basic ideas of Chomsky's checking theory, the two subfeatures of the complex focus feature carried by the non-assertive shi-bu-shi operator check a correlating subfeature in the head position of a corresponding functional phrase (Contrastive Phrase and Focus Phrase, respectively). The question feature contained in the non-assertive shi-bu-shi operator is attracted by the head of Force1 Phrase (F1') at the level of LF. Due to the fact that F1° is sentence-final, the question feature of non-assertive shi-bu-shi must be Chomsky-adjoined to F1'. Unlike identificational focus phrases which are inherently contrastive, topics are non-contrastive in the default case. As separate speech acts, they are located in a c-commanding position outside the sentence structure. Semantically, there is a difference between Frame-Setting Topics and Aboutness Topics. As shown in the article, both A-not-A and A-not questions on the one hand and yes/no questions ending with ma on the other can be used in neutral and non-neutral contexts. The decisive advantage of mu questions, however, is that their question operator has scope over the whole sentence

Executable formal specifications of complex distributed systems with CoreASM

Formal specifications play a crucial role in the design of reliable complex software systems. Executable formal specifications allow the designer to attain early validation and verification of design using static analysis techniques and accurate simulation of the runtime behavior of the system-to-be. With increasing complexity of software-intensive computer-based systems and the challenges of validation and verification of abstract software models prior to coding, the need for interactive software tools supporting executable formal specifications is even more evident. In this paper, we discuss how CoreASM, an environment for writing and running executable specifications according to the ASM method, provides flexibility and manages the complexity by using an innovative extensible language architecture

Object-relational spatio-temporal databases

We present an object-relational model for uniform handling of dimensional data. Spatial, temporal, spatio-temporal and ordinary data are special cases of dimensional data. The said uniformity is achieved through the concept of dimension alignment, which automatically allows lower dimensional data and queries to be used in a higher dimensional context;Unlike ordinary data, dimensional objects are interwoven. We introduce object identity (oid) fragments to circumvent data redundancy at logical level. Computed types are placed appropriately in a type hierarchy to allow maximal use of existing methods. A query language for spatio-temporal data is presented for associative navigation. A framework for algebraic optimization of the query language is suggested;A pattern matching language is designed for complex querying of spatio-temporal data which seamlessly extends the associative navigation in our query language. The pattern matching language recognizes special features of time and space providing an appropriate level of abstraction for application development compared to traditional languages. This reduces the need for embedding the query language in a lower level language such as C++. The pattern matching language is also dimensionally extensible. The pattern matching allows query of data with multiple granularities and continuous data. It also provides hooks for direct query of scientific data (observations);Our model is dimensionally extensible, and also an extension of a relational model for dimensional data. Moreover the dimensionality and addition of oids are mutually orthogonal concepts. Thus starting from classical ordinary data, one may migrate to higher forms of relational or object-relational data in any sequence, without having to recode application software. Our model does not deal with complex objects, which is left as a future extension