Many different approaches to describing the players’ knowledge and beliefs can be found in the literature on the epistemic foundations of game theory. We focus here on non-probabilistic approaches. The two most prominent are the so-called Kripkeor Aumann- structures and knowledge structures (non-probabilistic variants of Harsanyi type spaces). Much of the recent work on Kripke structures has focused on dynamic extensions and simple ways of incorporating these. We argue that many of these ideas can be applied to (...) knowledge structures as well. Our main result characterizes precisely when one type can be transformed into another type by a specific type of information update. Our work in this paper suggest that it would be interesting to pursue a theory of “information dynamics” for knowledge structures (and eventually Harsanyi type spaces). (shrink)

We construct a 2-equivalence \(\mathfrak {CohTheory}^{op }\simeq \mathfrak {TypeSpaceFunc}\). Here \(\mathfrak {CohTheory}\) is the 2-category of positive theories and \(\mathfrak {TypeSpaceFunc}\) is the 2-category of type space functors. We give a precise definition of interpretations for positive logic, which will be the 1-cells in \(\mathfrak {CohTheory}\). The 2-cells are definable homomorphisms. The 2-equivalence restricts to a duality of categories, making precise the philosophy that a theory is ‘the same’ as the collection of its type spaces (i.e. its (...) type space functor). In characterising those functors that arise as type space functors, we find that they are specific instances of (coherent) hyperdoctrines. This connects two different schools of thought on the logical structure of a theory. The key ingredient, the Deligne completeness theorem, arises from topos theory, where positive theories have been studied under the name of coherent theories. (shrink)

We introduce a logic for a class of probabilistic Kripke structures that we call type structures, as they are inspired by Harsanyi type spaces. The latter structures are used in theoretical economics and game theory. A strong completeness theorem for an associated infinitary propositional logic with probabilistic operators was proved by Meier. By simplifying Meier’s proof, we prove that our logic is strongly complete with respect to the class of type structures. In order to do (...) that, we define a canonical model (in the sense of modal logics), which turns out to be a terminal object in a suitable category. Furthermore, we extend some standard model-theoretic constructions to type structures and we prove analogues of first-order results for those constructions. (shrink)

In this paper we study substantive assumptions in social interaction. By substantive assumptions we mean contingent assumptions about what the players know and believe about each other’s choices and information. We first explain why substantive assumptions are fundamental for the analysis of games and, more generally, social interaction. Then we show that they can be compared formally, and that there exist contexts where no substantive assumptions are being made. Finally we show that the questions raised in this paper are related (...) to a number of issues concerning “large” structures in epistemic game theory. (shrink)

In the literature there are at least two main formal structures to deal with situations of interactive epistemology: Kripke models and type spaces. As shown in many papers :149–225, 1999; Battigalli and Siniscalchi in J Econ Theory 106:356–391, 2002; Klein and Pacuit in Stud Log 102:297–319, 2014; Lorini in J Philos Log 42:863–904, 2013), both these frameworks can be used to express epistemic conditions for solution concepts in game theory. The main result of this paper is a formal (...) comparison between the two and a statement of semantic equivalence with respect to two different logical systems: a doxastic logic for belief and an epistemic–doxastic logic for belief and knowledge. Moreover, a sound and complete axiomatization of these logics with respect to the two equivalent Kripke semantics and type spaces semantics is provided. Finally, a probabilistic extension of the result is also presented. A further result of the paper is a study of the relationship between the epistemic–doxastic logic for belief and knowledge and the logic STIT by Belnap and colleagues. (shrink)

We relax the assumption that priors are common knowledge, in the standard model of games of incomplete information. We make the realistic assumption that the players are boundedly rational: they base their actions on finite-order belief hierarchies. When the different layers of beliefs are independent of each other, we can retain Harsányi's type-space, and we can define straightforward generalizations of Bayesian Nash Equilibrium and Rationalizability in our context. Since neither of these concepts is quite satisfactory, we propose a hybrid (...) concept, Mirage Equilibrium, providing us with a practical tool to work with inconsistent belief hierarchies. When the different layers of beliefs are correlated, we must enlarge the type-space to include the parametric beliefs. This presents us with the difficulty of the inherent openness of finite belief subspaces. Appealing to bounded rationality once more, we posit that the players believe that their opponent holds a belief hierarchy one layer shorter than they do and we provide alternative generalizations of BNE and Rationalizability. Finally, we show that, when beliefs are degenerate point beliefs, the definition of Mirage Equilibrium coincides with that of the generalized BNE. (shrink)

The basic concept of Type-2 Theory of Effectivity to define computability on topological spaces or limit spaces are representations, i. e. surjection functions from the Baire space onto X. Representations having the topological property of admissibility are known to provide a reasonable computability theory. In this article, we investigate several additional properties of representations which guarantee that such representations induce a reasonable Type-2 Complexity Theory on the represented spaces. For each of these properties, we give (...) a nice characterization of the class of spaces that are equipped with a representation having the respective property. (shrink)

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.

We study connections between asymptotic structure in a Banach space and model theoretic properties of the space. We show that, in an asymptotic sense, a sequence $$ in a Banach space X generates copies of one of the classical sequence spaces $\ell_p$ or $c_0$ inside X if and only if the quantifier-free types approximated by $$ inside X are quantifier-free definable. More precisely, if $$ is a bounded sequence X such that no normalized sequence of blocks of $$ converges, (...) then the following two conditions are equivalent. There exists a sequence $$ of blocks of $$ such that for every finite dimensional subspace E of X, every quantifier-free type over $E +\overline{\rm span}\{y_n\mid n\in \mathbb{N}\}$ is quantifier-free definable. One of the following two conditions holds: there exists $1\le p 0$ and every finite dimensional subspace E of X there exists a sequence of blocks of $$ which is $$-equivalent over E to the standard unit basis of $\ell_p$; for every $\epsilon>0$ and every finite dimensional subspace E of X there exists a sequence of blocks of $$ which is $$-equivalent over E to the standard unit basis of $c_0$. Several byproducts of the proof are analyzed. (shrink)

Using Type‐2 theory of effectivity, we define computability notions on the spaces of Lebesgue‐integrable functions on the real line that are based on two natural approaches to integrability from measure theory. We show that Fourier transform and convolution on these spaces are computable operators with respect to these representations. By means of the orthonormal basis of Hermite functions in L2, we show the existence of a linear complexity bound for the Fourier transform. (© 2004 WILEY‐VCH Verlag GmbH (...) & Co. KGaA, Weinheim). (shrink)

Using Type-2 theory of effectivity, we define computability notions on the spaces of Lebesgue-integrable functions on the real line that are based on two natural approaches to integrability from measure theory. We show that Fourier transform and convolution on these spaces are computable operators with respect to these representations. By means of the orthonormal basis of Hermite functions in L2, we show the existence of a linear complexity bound for the Fourier transform.

This paper deals with Gärdenfors’ theory of conceptual spaces. Let \({\mathcal {S}}\) be a conceptual space consisting of 2-type fuzzy sets equipped with several kinds of metrics. Let a finite set of prototypes \(\tilde{P}_1,\ldots,\tilde{P}_n\in \mathcal {S}\) be given. Our main result is the construction of a classification algorithm. That is, given an element \({\tilde{A}}\in \mathcal {S},\) our algorithm classifies it into the conceptual field determined by one of the given prototypes \(\tilde{P}_i.\) The construction of our algorithm uses some (...) physical analogies and the Newton potential plays a significant role here. Importantly, the resulting conceptual fields are not convex in the Euclidean sense, which we believe is a reasonable departure from the assumptions of Gardenfors’ original definition of the conceptual space. A partitioning algorithm of the space \(\mathcal {S}\) is also considered in the paper. In the application section, we test our classification algorithm on real data and obtain very satisfactory results. Moreover, the example we consider is another argument against requiring convexity of conceptual fields. (shrink)

We give a characterisation of an extension of the Kleene-Kreisel continuous functionals to objects of transfinite types using limit spaces of transfinite types.

Summary I outline an approach to the phenomenology of improvised music which takes typification and the development of multi‐ordered phenomenological structures as central. My approach here is firmly in line with classical Husserlian phenomenology, taking the discussion of types in Experience and Judgment (Husserl, 1973) and Brudzińska (2015) as guide. I provide a phenomenological analysis of musical types as they are found in improvisational contexts, focusing on jazz in the 20th century. Styles are higher‐order musical types. Musical types are structures (...) that are temporally “thick,” relying on sedimented typification and knowledge, driving expectations as definitional. In most forms of music (including improvised music), musical styles involve maintaining a balance between confirming expectations and flouting expectations. I show that improvised music has a phenomenal structure which is enriched by the communicative and “ real‐time” nature of improvised music. Improvised music can be seen as an exploration of a possibility space rendered by the juxtaposition of the musical types afforded by a performance environment (instrumentation, harmonic and melodic traditions, etc.). I show that improvisation in music is a multi‐vectoral form of communication. The communication is founded in what Dieter Lohmar calls “non‐linguistic thinking.” The expression is constituted in the results of active and synthesis. The culmination of improvisational exploration of possibility spaces is the precisification and enrichment of styles‐as‐types, while in some cases developing new styles in the process. (shrink)

Barendregt gave a sound semantics of the simple type assignment system λ → by generalizing Tait’s proof of the strong normalization theorem. In this paper, we aim to extend the semantics so that the completeness theorem holds.

In set theory without the axiom of choice math formula, three-space type results for the Hahn-Banach property are provided. We deduce that for every Hausdorff compact scattered space K, the Banach space C of real continuous functions on K satisfies the continuous Hahn-Banach property in math formula. We also prove in math formula Rudin's theorem: “Radon measures on Hausdorff compact scattered spaces are discrete”.

A Polish space is not always homeomorphic to a computably presented Polish space. In this article, we examine degrees of non-computability of presenting homeomorphic copies of compact Polish spaces. We show that there exists a $\mathbf {0}'$ -computable low $_3$ compact Polish space which is not homeomorphic to a computable one, and that, for any natural number $n\geq 2$, there exists a Polish space $X_n$ such that exactly the high $_{n}$ -degrees are required to present the homeomorphism type (...) of $X_n$. Along the way we investigate the computable aspects of Čech homology groups. We also show that no compact Polish space has a least presentation with respect to Turing reducibility. (shrink)

A general method for constructing a new class of topological Ramsey spaces is presented. Members of such spaces are infinite sequences of products of Fraïssé classes of finite relational structures satisfying the Ramsey property. The Product Ramsey Theorem of Sokič is extended to equivalence relations for finite products of structures from Fraïssé classes of finite relational structures satisfying the Ramsey property and the Order-Prescribed Free Amalgamation Property. This is essential to proving Ramsey-classification theorems for equivalence relations on fronts, (...) generalizing the Pudlák–Rödl Theorem to this class of topological Ramsey spaces. To each topological Ramsey space in this framework corresponds an associated ultrafilter satisfying some weak partition property. By using the correct Fraïssé classes, we construct topological Ramsey spaces which are dense in the partial orders of Baumgartner and Taylor generating p-points which are k-arrow but not \-arrow, and in a partial order of Blass producing a diamond shape in the Rudin-Keisler structure of p-points. Any space in our framework in which blocks are products of n many structures produces ultrafilters with initial Tukey structure exactly the Boolean algebra \\). If the number of Fraïssé classes on each block grows without bound, then the Tukey types of the p-points below the space’s associated ultrafilter have the structure exactly \. In contrast, the set of isomorphism types of any product of finitely many Fraïssé classes of finite relational structures satisfying the Ramsey property and the OPFAP, partially ordered by embedding, is realized as the initial Rudin-Keisler structure of some p-point generated by a space constructed from our template. (shrink)

In this paper I compare two well studied approaches to topological semantics – the domain-theoretic approach, exemplified by the category of countably based equilogical spaces, Equ and Typ Two Effectivity, exemplified by the category of Baire space representations, Rep . These two categories are both locally cartesian closed extensions of countably based T0-spaces. A natural question to ask is how they are related.First, we show that Rep is equivalent to a full coreflective subcategory of Equ, consisting of the (...) so-called 0-equilogical spaces. This establishes a pair of adjoint functors between Rep and Equ. The inclusion Rep → Equ and its coreflection have many desirable properties, but they do not preserve exponentials in general. This means that the cartesian closed structures of Rep and Equ are essentially different. How ever, in a second comparison we show that Rep and Equ do share a common cartesian closed subcategory that contains all countably based-T0 spaces. Therefore, the domain-theoretic approach and TTE yield equivalent topological semantics of computation for all higher-order types over countably based T0-spaces. We consider several examples involving the natural numbers and the real numbers to demonstrate how these comparisons make it possible to transfer results from one setting to another. (shrink)

Inspired by a construction of the Tsirelson space , we prove a general theorem for omitting countably many positive formulas in normed spaces. This theorem can be used in functional analysis as a tool to guarantee the existence of complicated normed spaces without having to construct them. The proof of this result is based on the notion of approximate truth and on a study of the relationship between approximate truth and convergence in normed spaces. We illustrate the (...) power of this result with an application to functional analysis. (shrink)

This article investigates the construction of urban/rural binary distinctions in 18th - and 19th-century social scientific literature, and in particular in the writings of the statistical societies in England. The 18th-century writers were primarily concerned with the spread of luxury, vice and effeminacy among the upper social strata in large cities. Later on, statisticians began to focus on moral hazards among the urban working poor. These writings are significant in several respects: they contributed to the spatial mapping of moral character, (...) played a role in the development of quantitative social scientific techniques, and foreshadowed later sociological debates over the nature and consequences of social evolution from simpler to more complex societies. (shrink)

We develop the general theory of topometric spaces, i.e., topological spaces equipped with a well-behaved lower semi-continuous metric. Spaces of global and local types in continuous logic are the motivating examples for the study of such spaces. In particular, we develop Cantor-Bendixson analysis of topometric spaces, which can serve as a basis for the study of local stability (extending the ad hoc development in Ben Yaacov I and Usvyatsov A, Continuous first order logic and local (...) stability. Trans Am Math Soc, in press), as well as of global ${\aleph_0}$ -stability. We conclude with a study of perturbation systems (see Ben Yaacov I, On perturbations of continuous structures, submitted) in the formalism of topometric spaces. In particular, we show how the abstract development applies to ${\aleph_0}$ -stability up to perturbation. (shrink)

Video game spaces have vastly expanded the built environment, offering new worlds to explore and inhabit. Like buildings, cities, and gardens before them, these virtual environments express meaning and communicate ideas and affects through the spatial experiences they afford. Drawing on the emerging field of embodied cognition, this book explores the dynamic interplay between mind, body, and environment that sits at the heart of spatial communication. To capture the wide diversity of forms that spatial expression can take, the book (...) builds a comparative analysis of twelve video games across four types of space, spanning ones designed for exploration and inhabitation, kinetic enjoyment, enacting a situated role, and enhancing perception. Together, these diverse virtual environments suggest the many ways that video games enhance and extend our embodied lives."--Publisher's website. (shrink)

What is the relationship between space and time in the human mind? Studies in adults show an asymmetric relationship between mental representations of these basic dimensions of experience: Representations of time depend on space more than representations of space depend on time. Here we investigated the relationship between space and time in the developing mind. Native Greek‐speaking children watched movies of two animals traveling along parallel paths for different distances or durations and judged the spatial and temporal aspects of these (...) events (e.g., Which animal went for a longer distance, or a longer time?). Results showed a reliable cross‐dimensional asymmetry. For the same stimuli, spatial information influenced temporal judgments more than temporal information influenced spatial judgments. This pattern was robust to variations in the age of the participants and the type of linguistic framing used to elicit responses. This finding demonstrates a continuity between space‐time representations in children and adults, and informs theories of analog magnitude representation. (shrink)

In this paper I argue that empty space can be heard. This position contrasts with the generally held view that the only things that can be heard are sounds, their properties, echoes, and perhaps sound sources. Specifically, I suggest that when sounds reverberate in enclosed environments we auditorily represent the volume of space surrounding us. Clearly, we can learn the approximate size of an enclosed space through hearing a sound reverberate within it, and so any account that denies that we (...) hear empty space must instead show how beliefs about volumes of space can be derived indirectly from what is heard. That is, if space is not auditorily represented when we hear sounds reverberate, what is? I consider whether hearing reverberation can be thought of as hearing a distinct sound, hearing echoes, or hearing a property of a sound. I argue that experiences of reverberation cannot be reduced to the perception of any of these types and that therefore empty space is represented in auditory perceptual content. In the final section I outline two ways in which space might be represented. (shrink)

PREFACE: - BY his theory of relativity Albert Einstein has provoked a revolution of thought in physical science. The achievement consists essentially in this Einstein has succeeded in separating far more completely than hitherto the share of the observer and the share of external nature in the things we see happen. The perception of an object by an observer depends on his own situation and circumstances for example, distance will make it appear smaller and dimmer. We make allowance for this (...) almost unconsciously in interpreting what we see. But it now appears that the allowance made for the motion of the observer has hitherto been too crude a fact overlooked because in practice all observers share nearly the same motion, that of the earth. Physical space and time are found to be closely bound up with this motion of the observer and only an amorphous combination of the two is left inherent in the external world. When space and time are relegated to their proper source the observer the world of nature which remains appears strangely unfamiliar but it is in reality simplified, and the underlying unity of the principal phenomena is now clearly revealed. The deductions from this new outlook have, with one doubtful exception, been confirmed when tested by experiment. It is my aim to give an account of this work without intro ducing anything very technical in the way of mathematics, physics, or philosophy. The new view of space and time, so opposed to our habits of thought, must in any case demand unusual mental exercise. The results appear strange and the incongruity is not without a humorous side. For the first nine chapters the task is one of interpreting a clear-cut theory, accepted in all its essentials by a large and growing school of physicists although perhaps not everyone would accept the authors views of its meaning. Chapters x and xi deal with very recent advances, with regard to which opinion is more fluid. As for the last chapter, containing the authors specula tions on the meaning of nature, since it touches on the rudiments of a philosophical system, it is perhaps too sanguine to hope that it can ever be other than controversial. A non-mathematical presentation has necessary limitations and the reader who wishes to learn how certain exact result follow from Einsteins, or even Newtons, law of gravitation m bound to seek the reasons in a mathematical treatise. But thj limitation of range is perhaps less serious than the limitation of intrinsic truth. There is a relativity of truth, as there is a relativity of space. For is and IS-NOT though with Rule and Line And UP-AND-DOWK without, I could define, Alas It is not so simple. We abstract from the phenomena that which is peculiar to the position and motion of the observer but can we abstract that which is peculiar to the limited imagina tion of the human brain We think we can, but only in the symbolism of mathematics. As the language of a poet rings with a truth that eludes the clumsy explanations of his commentators, so the geometry of relativity in its perfect harmony expresses a truth of form and type in nature, which my bowdlerised version misses. But the mind is not content to leave scientific Truth in a dry husk of mathematical symbols, and demands that it shall be alloyed with familiar images. The mathematician, who handles x so lightly, may fairly be asked to state, not indeed the in scrutable meaning of a in nature, but the meaning which x conveys to him. Although primarily designed for readers without technical knowledge of the subject, it is hoped that the book may also appeal to those who have gone into the subject more deeply. A few notes have been added in the Appendix mainly to bridge the gap between this and more mathematical treatises, and to indicate the points of contact between the argument in the text and the parallel analytical investigation. It is impossible adequately to express my debt to con temporary literature and discussion... (shrink)

In connection with the "Philosophy of Science" research program conducted by the Deutsche Forschungsgemeinschaft a colloquium was held in Munich from 18th to 20th May 1919. This covered basic structures of physical theories, the main emphasis being on the interrelation of space, time and mechanics. The present volume contains contributions and the results of the discussions. The papers are given here in the same order of presentation as at the meeting. The development of these "basic structures of physical theories" involved (...) diverging trends arising from different starting points in philosophy and physics. In order to obtain a clear comparison between these schools of thought, it was appropriate to concentrate discussion on geometry and chronology as the common foundation of classical and quantum mechanics. As a rather simple and "Tell prepared field of study, geochronometry seemed suited to analysing these mutually exclusive positions. vii D. Mayr and G. Sussmann (eds.), Space, Time, and Mechanics, vii. Copyright © 1983 by D. Reidel Publishing Company. ACKNOWLEDGEMENT The editors gratefully appreciate the sponsorship of the Deutsche Forschungsgemeinschaft and the cooperation of the authors and publisher. It is also a pleasure to thank Frau M.-L. Grohmann and Frau I. Thies for their organisational and especially Frau B. Grund for typing and clerical work. D. MAYR G. SUSSMANN 1982 University of Munich viii INTRODUCTION The distinct positions present at the symposium may be roughly divided into three schools that differ in their philosophical interpretation of physics and their meta-... ~. (shrink)

We examine two different descriptions of the behavioral functions of the hippocampal system. One emphasizes spatially organized behaviors, especially those using cognitive maps. The other emphasizes memory, particularly working memory, a short-term memory that requires iexible stimulus-response associations and is highly susceptible to interference. The predictive value of the spatial and memory descriptions were evaluated by testing rats with damage to the hippocampal system in a series of experiments, independently manipulating the spatial and memory characteristics of a behavioral task. No (...) dissociations were found when the spatial characteristics of the stimuli to be remembered were changed; lesions produced a similar deficit in both spatial and nonspatial test procedures, indicating that the hippocampus was similarly involved regardless of the spatial nature of the task. In contrast, a marked dissociation was found when the memory requirements were altered. Rats with lesions were able to perform accurately in tasks that could be solved exclusively on the basis of reference memory. They performed at chance levels and showed no signs of recovery even with extensive postoperative training in tasks that required working memory. In one experiment all the characteristics of the reference memory and working memory procedures were identical except the type of memory required. Consequently, the behavioral dissociation cannot be explained by differences in attention, motivation, response inhibition, or the type of stimuli to be remembered. As a result of these experiments we propose that the hippocampus is selectively involved in behaviors that require working memory, irrespective of the type of material that is to be processed by that memory. (shrink)

Some regularities enjoy only an attenuated existence in a body of training data. These are regularities whose statistical visibility depends on some systematic recoding of the data. The space of possible recodings is, however, infinitely large – it is the space of applicable Turing machines. As a result, mappings that pivot on such attenuated regularities cannot, in general, be found by brute-force search. The class of problems that present such mappings we call the class of “type-2 problems.” Type-1 (...) problems, by contrast, present tractable problems of search insofar as the relevant regularities can be found by sampling the input data as originally coded. Type-2 problems, we suggest, present neither rare nor pathological cases. They are rife in biologically realistic settings and in domains ranging from simple animat behaviors to language acquisition. Not only are such problems rife – they are standardly solved! This presents a puzzle. How, given the statistical intractability of these type-2 cases, does nature turn the trick? One answer, which we do not pursue, is to suppose that evolution gifts us with exactly the right set of recoding biases so as to reduce specific type-2 problems to type-1 mappings. Such a heavy-duty nativism is no doubt sometimes plausible. But we believe there are other, more general mechanisms also at work. Such mechanisms provide general strategies for managing problems of type-2 complexity. Several such mechanisms are investigated. At the heart of each is a fundamental ploy – namely, the maximal exploitation of states of representation already achieved by prior, simpler learning so as to reduce the amount of subsequent computational search. Such exploitation both characterizes and helps make unitary sense of a diverse range of mechanisms. These include simple incremental learning, modular connectionism, and the developmental hypothesis of “representational redescription”. In addition, the most distinctive features of human cognition – language and culture – may themselves be viewed as adaptations enabling this representation/computation trade-off to be pursued on an even grander scale. (shrink)

Some regularities enjoy only an attenuated existence in a body of training data. These are regularities whose statistical visibility depends on some systematic recoding of the data. The space of possible recodings is, however, infinitely large type-2 problems. they are standardly solved! This presents a puzzle. How, given the statistical intractability of these type-2 cases, does nature turn the trick? One answer, which we do not pursue, is to suppose that evolution gifts us with exactly the right set (...) of recoding biases so as to reduce specific type-2 problems to (tractable) type-1 mappings. Such a heavy-duty nativism is no doubt sometimes plausible. But we believe there are other, more general mechanisms also at work. Such mechanisms provide general (not task-specific) strategies for managing problems of type-2 complexity. Several such mechanisms are investigated. At the heart of each is a fundamental ploy representational redescription language and culture – may themselves be viewed as adaptations enabling this representation/computation trade-off to be pursued on an even grander scale. (shrink)

Several reaction time (RT) studies report faster responses when responses to temporal information are arranged in a spatially congruent manner than when this arrangement is incongruent. The resulting space–time congruency effect is commonly attributed to a culturally salient localization of temporal information along a mental timeline (e.g., a mental timeline that runs from left to right). The present study aims to provide a compilation of the published RT studies on this time–space association in order to estimate the size of its (...) effect and the extent of potential publication bias in this field of research. In this meta-analysis, three types of task are distinguished due to hitherto existing empirical findings. These findings suggest that the extent to which time is made relevant to the experimental task has a systematic impact on whether or not the mental timeline is activated. The results of this meta-analysis corroborate these considerations: First, experiments that make time a task-relevant dimension have a mean effect size of d = 0.46. Second, in experiments in which time is task irrelevant, the effect size does not significantly deviate from zero. Third, temporal priming studies have a surprisingly high mean effect size of d = 0.47, which, however, should be adjusted to d = 0.36 due to publication bias. (shrink)

This paper takes up the themes in the articles and examines not only the environmental changes that are taking place in relation to universities, but also the dynamics of their organizational implications. It argues that there are parallels between managerially and academic professionalism in that both deny context. Arguing for a context-sensitivity that is not dependant, issues of space and governance become important in order to understand forms of knowledge and the relationship between the contexts of production and the contents (...) of what is produced. Universities have different capacities to play at the game of scales and they are judged according to abstract indicators that provide little or no opportunity for learning. Instead of examining these relations, expertise is assumed to be spatial, whilst universities transform themselves in the slipstream of imagined futures as if they were separate from the present and past. Understanding is lost in the process and so too are the opportunities to adequately examine the differences in types of knowledge's that are produced for sustainable futures in contemporary societies. (shrink)

We distinguish three qualitatively different types of uncertainty—ethical, option and state space uncertainty—that are distinct from state uncertainty, the empirical uncertainty that is typically measured by a probability function on states of the world. Ethical uncertainty arises if the agent cannot assign precise utilities to consequences. Option uncertainty arises when the agent does not know what precise consequence an act has at every state. Finally, state space uncertainty exists when the agent is unsure how to construct an exhaustive state space. (...) These types of uncertainty are characterised along three dimensions—nature, object and severity—and the relationship between them is examined. We conclude that these different forms of uncertainty cannot be reduced to empirical uncertainty about the state of the world without inducing an increase in its severity. (shrink)

We present a formal analysis of Douglas Hofstadter’s concept of superrationality. We start by defining superrationally justifiable actions, and study them in symmetric games. We then model the beliefs of the players, in a way that leads them to different choices than the usual assumption of rationality by restricting the range of conceivable choices. These beliefs are captured in the formal notion of type drawn from epistemic game theory. The theory of coalgebras is used to frame type (...) class='Hi'>spaces and to account for the existence of some of them. We find conditions that guarantee superrational outcomes. (shrink)

We prove a Gleason-type theorem for the quantum probability rule using frame functions defined on positive-operator-valued measures, as opposed to the restricted class of orthogonal projection-valued measures used in the original theorem. The advantage of this method is that it works for two-dimensional quantum systems and even for vector spaces over rational fields—settings where the standard theorem fails. Furthermore, unlike the method necessary for proving the original result, the present one is rather elementary. In the case of a (...) qubit, we investigate similar results for frame functions defined upon various restricted classes of POVMs. For the so-called trine measurements, the standard quantum probability rule is again recovered. (shrink)

Already in 1835 Lobachevski entertained the possibility of multiple geometries of the same type playing a role. This idea of rival geometries has reappeared from time to time but had yet to become a key idea in space-time philosophy prior to Brown's _Physical Relativity_. Such ideas are emphasized towards the end of Brown's book, which I suggest as the interpretive key. A crucial difference between Brown's constructivist approach to space-time theory and orthodox "space-time realism" pertains to modal scope. Constructivism (...) takes a broad modal scope in applying to all local classical field theories---modal cosmopolitanism, one might say, including theories with multiple geometries. By contrast the orthodox view is modally provincial in assuming that there exists a _unique_ geometry, as the familiar theories have. These theories serve as the "canon" for the orthodox view. Their historical roles also suggest a Whiggish story of inevitable progress. Physics literature after c. 1920 is relevant to orthodoxy primarily as commentary on the canon, which closed in the 1910s. The orthodox view explains the spatio-temporal behavior of matter in terms of the manifestation of the real geometry of space-time, an explanation works fairly well within the canon. The orthodox view, Whiggish history, and the canon have a symbiotic relationship. If one happens to philosophize about a theory outside the canon, space-time realism sheds little light on the spatio-temporal behavior of matter. Worse, it gives the _wrong_ answer when applied to an example arguably _within_ the canon, a sector of Special Relativity, namely, _massive_ scalar gravity with universal coupling. Which is the true geometry---the flat metric from the Poincare' symmetry group, the conformally flat metric exhibited by material rods and clocks, or both---or is the question faulty? How does space-time realism explain the fact that all matter fields see the same curved geometry, when so many ways to mix and match exist? Constructivist attention to dynamical details is vindicated; geometrical shortcuts can disappoint. The more exhaustive exploration of relativistic field theories in particle physics, especially massive theories, is a largely untapped resource for space-time philosophy. (shrink)

In [3] John S. Bell proposed how to associate particle trajectories with a lattice quantum field theory, yielding what can be regarded as a |Ψ|2-distributed Markov process on the appropriate configuration space. A similar process can be defined in the continuum, for more or less any regularized quantum field theory; such processes we call Bell-type quantum field theories. We describe methods for explicitly constructing these processes. These concern, in addition to the definition of the Markov processes, the efficient calculation (...) of jump rates, how to obtain the process from the processes corresponding to the free and interaction Hamiltonian alone, and how to obtain the free process from the free Hamiltonian or, alternatively, from the one-particle process by a construction analogous to “second quantization.” As an example, we consider the process for a second quantized Dirac field in an external electromagnetic field. (shrink)

2Public space is an old habit. The words public space are deceptive; when I hear the words, when I say the words, I’m forced to have an image of a physical place I can point to and be in. I should be thinking only of a condition; but, instead, I imagine an architectural type, and I think of a piazza, or a town square, or a city commons. Public space, I assume, without thinking about it, is a place where (...) the public gathers. The public gathers in two kinds of spaces. The first is a space that is public, a place where the public gathers because it has a right to the place; the second is a space that is made public, a place where the public gathers precisely because it doesn’t have the right—a place made public by force.3In the space that is public, the public whose space this is has agreed to be a public; these are people “in the form of the city,” they are public when they act “in the name of the city.” They “own” the city only in quotes. The establishment of certain space in the city as “public” is a reminder, a warning, that the rest of the city isn’t public. New York doesn’t belong to us, and neither does Paris, and neither does Des Moines. Setting up a public space means setting aside a public space. Public space is a place in the middle of the city but isolated from the city. Public space is the piazza, an open space separated from the closure of alleys and dead ends; public space is the piazza, a space in the light, away from the plots and conspiracies in dark smokey rooms. Vit Acconci’s latest show, entitled “Public Places,” was held in 1988 at the Museum of Modern Art, New York. He is currently at work on a park in Detroit, a pedestrian mall in Baltimore, and a housing project in Regensburg, Germany. (shrink)

Although being widely considered as only a Western tradition, individualism is not absent in traditional Chinese philosophy and culture. In some of the classic Chinese philosophic works such as Zhuangzi, we can clearly identify some elements which can be appropriately attributed to “individualism”, such as the awareness of individual “self” as an independent and unique existence, advocating individual freedom and liberty, emphasizing on the value and dignity of individual life, favoring individuals’ autonomy and privacy, pursuing unconstrained development in personality and (...) spirituality. However, due to its particular pre-Qin social cultural background and its unique Daoist philosophic origin, this kind of individualism in Zhuangzi has its own unique characteristics, which has made it distinguishable from the variety of other individualist thoughts emerged in different times and places in the West. Zhuangzi has a dynamic and open view on individual or “self”, he does not consider individuals as fixed and interchangeable “atoms” but as dynamic, changing and unique beings, he set the unlimited and indefinable Dao as the only and ultimate source for individuals to conform to, thus to release individual mind into an realm of infinite openness and freedom. Zhuangzian individualism is “inward” rather than “outward”, which means while concentrating on individuals’ freedom of spirit and innate nature, it cares less about individuals’ outside material interests and rights in social reality, and does not encourage competition and rivalry among individuals. The special type of individualism in Zhuangzi has a profound influence on Chinese culture, providing a spiritual space for the development of individuality and personality in ancient China. It also provides an alternative understanding of individual as an existence. (shrink)

We study invariant types in NIP theories. Amongst other things: we prove a definable version of the [Formula: see text]-theorem in theories of small or medium directionality; we construct a canonical retraction from the space of [Formula: see text]-invariant types to that of [Formula: see text]-finitely satisfiable types; we show some amalgamation results for invariant types and list a number of open questions.

Solution concepts for game play implicitly assume what information is relevant for choosing moves. Maximin and Eliminating Dominated Strategies use payoff order; mixed strategies and Harsanyi's risk dominance use payoff values. "Cooperative" strategies use previous choices, ignoring payoffs altogether. We first define the 12 symmetric 2 × 2 games as a continuous payoff space then use this space to evaluate strategies based on different types of information. Strategic success is shown to be sensitive to actual payoffs and seldom consistent (...) for all games of an ordinally defined category such as Chicken. A new hybrid strategy using both payoff and choice information is introduced and shown to produce efficient outcomes in all symmetric 2×2 games when employed by both players. It does well in evolutionary tournaments against strategies of other types, especially in the difficult distribution games including Battle-of-the-Sexes. (shrink)

It has recently been shown by Vargas, (4) that the passive coordinate transformations that enter the Robertson test theory of special relativity have to be considered as coordinate transformations in a seven-dimensional space with degenerate metric. It has also been shown by Vargas that the corresponding active coordinate transformations are not equal in general to the passive ones and that the composite active-passive transformations act on a space whose number of dimensions is ten (one-particle case) or larger (more than one (...) particle).In this paper, two different (families of) electrodynamics are constructed in ten-dimensional space upon the coordinate free form of the Maxwell and Lorentz equations. The two possibilities arise from the two different assumptions that one can naturally make with respect to the acceleration fields of charges, when these fields are related to their relativistic counterparts. Both theories present unattractive features, which indicates that the Maxwell-Lorentz framework is unsuitable for the construction of an electrodynamics for the Robertson test theory of the Lorentz transformations. It is argued that this construction would first require the formulation of Maxwell-Lorentz electrodynamics in the form of a connection in Finsler space. If such formulation is possible, the sought generalization would consist in simply changing bases in the tangent spaces of the manifold that supports the connection. In addition, the number of dimensions of the space of the Robertson transformations would be ten, but not greater than ten. (shrink)

We show that the Lascar group $\operatorname {Gal}_L$ of a first-order theory T is naturally isomorphic to the fundamental group $\pi _1|)$ of the classifying space of the category of models of T and elementary embeddings. We use this identification to compute the Lascar groups of several example theories via homotopy-theoretic methods, and in fact completely characterize the homotopy type of $|\mathrm {Mod}|$ for these theories T. It turns out that in each of these cases, $|\operatorname {Mod}|$ is aspherical, (...) i.e., its higher homotopy groups vanish. This raises the question of which homotopy types are of the form $|\mathrm {Mod}|$ in general. As a preliminary step towards answering this question, we show that every homotopy type is of the form $|\mathcal {C}|$ where $\mathcal {C}$ is an Abstract Elementary Class with amalgamation for $\kappa $ -small objects, where $\kappa $ may be taken arbitrarily large. This result is improved in another paper. (shrink)

What is consciousness? Some philosophers have contended that ‘qualia’, or an experiential medium from which consciousness is derived, exists as a fundamental component of reality. Whitehead, for example, described the universe as being comprised of ‘occasions of experience’. To examine this possibility scientifically, the very nature of physical reality must be re-examined. We must come to terms with the physics of space-time -- as is described by Einstein's general theory of relativity -- and its relation to the fundamental theory of (...) matter -- as described by quantum theory. This leads us to employ a new physics of objective reduction: OR which appeals to a form of ‘quantum gravity’ to provide a useful description of fundamental processes at the quantum/classical borderline . Within the OR scheme, we consider that consciousness occurs if an appropriately organized system is able to develop and maintain quantum coherent superposition until a specific ‘objective’ criterion is reached; the coherent system then self-reduces . We contend that this type of objective self-collapse introduces non-computability, an essential feature of consciousness. OR is taken as an instantaneous event -- the climax of a self-organizing process in fundamental space-time -- and a candidate for a conscious Whitehead-like ‘occasion’ of experience. How could an OR process occur in the brain, be coupled to neural activities, and account for other features of consciousness? We nominate an OR process with the requisite characteristics to be occurring in cytoskeletal microtubules within the brain's neurons. (shrink)