Situation theory is the result of an interdisciplinary effort to create a full-fledged theory of information. Created by scholars and scientists from cognitive science, computer science, AI, linguistics, logic, philosophy, and mathematics, the theory is forging a common set of tools for the analysis of phenomena from all these fields. This volume presents work that evolved out of the Second Conference on Situation Theory and its Applications. Twenty-six essays exhibit the wide range of the (...) theory, covering such topics as natural language semantics, philosophical issues about information, mathematical applications, and the visual representation of information in computer systems.Jon Barwise is a professor of philosophy, mathematics, and logic at Indiana University in Bloomington. Jean Mark Gawron is a researcher at SRI International and a consultant at Hewlett-Packard Laboratories. Gordon Plotkin is a professor of theoretical computer science at the University of Edinburgh. Syun Tutiya is in the philosophy department at Chiba University in Japan. (shrink)

Preface This volume represents the proceedings of the First Conference on Situation Theory and Its Applications held by CSLI at Asilomar, California, ...

Situation Theory and Its Applications, Vol. 1 . Robin Cooper, Kuniaki Mukai, and John Perry (Eds.). Lecture Notes No. 22. ...

Situation theory is the result of an interdisciplinary effort to create a full-fledged theory of information. Created by scholars and scientists from cognitive science, computer science and AI, linguistics, logic, philosophy, and mathematics, it aims to provide a common set of tools for the analysis of phenomena from all these fields. Unlike Shannon-Weaver type theories of information, which are purely quantitative theories, situation theory aims at providing tools for the analysis of the specific content of (...) a situation. The question addressed is not how much information is carried, but what information is carried. (shrink)

Preface This volume represents the proceedings of the Second Conference on Situation Theory and its Applications, held at Loch Rannoch, Scotland, ...

Situation Theory grew out of attempts by Jon Barwise in the late 1970s to provide a semantics for 'naked-infinitive' perceptual reports such as 'Claire saw Jon run'. Barwise's intuition was that Claire didn't just see Jon, an individual, but Jon doing something, a situation. Situations are individuals having properties and standing in relations. A theory of situations would allow us to study and compare various types of situations or situation-like entitles, such as facts, events, and (...) scenes. One of the central themes of situation theory of meaning and reference should be set within a general theory of information, one moreover that is rich enough to do justice to perception, communication, and thought. By now many people have contributed by the need to give a rigorous mathematical account of the principles of information that underwrite the theory. (shrink)

Situation theory has been developed over the last decade and various versions of the theory have been applied to a number of linguistic issues. However, not much work has been done in regard to its computational aspects. In this paper, we review the existing approaches towards 'computational situation theory' with considerable emphasis on our own research.

Situation theory is the result of an interdisciplinary effort to create a full-fledged theory of information. Created by scholars and scientists from cognitive science, computer science, AI, linguistics, logic, philosophy, and mathematics, the theory is forging a common set of tools for the analysis of phenomena from all these fields. This volume presents work that evolved out of the Second Conference on Situation Theory and its Applications. Twenty-six essays exhibit the wide range of the (...) theory, covering such topics as natural language semantics, philosophical issues about information, mathematical applications, and the visual representation of information in computer systems.Jon Barwise is a professor of philosophy, mathematics, and logic at Indiana University in Bloomington. Jean Mark Gawron is a researcher at SRI International and a consultant at Hewlett-Packard Laboratories. Gordon Plotkin is a professor of theoretical computer science at the University of Edinburgh. Syun Tutiya is in the philosophy department at Chiba University in Japan. (shrink)

The work reported here is of two sorts. One the one hand, we attempt to consolidate a lot of recent work on situation theory into a workable version, one that researchers can use and add to in ways that might be suitable for various applications. On the other, we attempt to solve a representational problem with situation theory: how can we represent complicated situation-theoretic objects in a way that is perspicuous. Our way in to the (...) latter problem comes from an on-going project aimed at bringing insights from Discourse Representation Theory and Situation Theory to bear on one another. In terms of this project, this paper represents a rather modest contribution. Our goal is to design a language for representing situationtheoretic objects that is based on Kamp's discourse representation structures. This was where we started but we found that working on the notation and its semantics led us to clari cations of various aspects of situation theory. A major part of the clari cation in the theory comes from our use of the work on parameters and abstraError: Illegal entry in bfrange block in ToUnicode CMapError: Illegal entry in bfrange block in ToUnicode CMapError: Illegal entry in bfrange block in ToUnicode CMapError: Illegal entry in bfrange block in ToUnicode CMapError: Illegal entry in bfrange block in ToUnicode CMapError: Illegal entry in bfrange block in ToUnicode CMapError: Illegal entry in bfrange block in ToUnicode CMapError: Illegal entry in bfrange block in ToUnicode CMapError: Illegal entry in bfrange block in ToUnicode CMapError: Illegal entry in bfrange block in ToUnicode CMapError: Illegal entry in bfrange block in ToUnicode CMapError: Illegal entry in bfrange block in ToUnicode CMapError: Illegal entry in bfrange block in ToUnicode CMapError: Illegal entry in bfrange block in ToUnicode CMapError: Illegal entry in bfrange block in ToUnicode CMapError: Illegal entry in bfrange block in ToUnicode CMapError: Illegal entry in bfrange block in ToUnicode CMapError: Illegal entry in bfrange block in ToUnicode CMapError: Illegal entry in bfrange block in ToUnicode CMapError: Illegal entry in bfrange block in ToUnicode CMapction by Aczel and Lunnon AL]. (shrink)

At the heart of natural language processing is the understanding of context dependent meanings. This paper presents a preliminary model of formal contexts based on situation theory. It also gives a worked-out example to show the use of contexts in lifting, i.e., how propositions holding in a particular context transform when they are moved to another context. This is useful in NLP applications where preserving meaning is a desideratum.

Transnational Feminist Itineraries demonstrates the key contributions of transnational feminist theory and practice to analyzing and contesting contemporary political and economic trends, including growing authoritarian nationalism and the extension of global corporate power.

Analogy-making is finding analogies between different situations. In this paper, we provide a new model of computational analogy-making which uses Situation Theory as its formal background. Situation Theory is a semantic and logical theory which provides a naturalistic way to represent relations in situations. The system described in this paper is aimed at solving analogy problems made by basic geometric figures in a chessboard-like environment.

TEST is a novel taxonomy of knowledge representations based on three distinct hierarchically organized representational features: Tropism, Embodiment, and Situatedness. Tropic representational features reflect constraints of the physical world on the agent's ability to form, reactivate, and enrich embodied (i.e., resulting from the agent's bodily constraints) conceptual representations embedded in situated contexts. The proposed hierarchy entails that representations can, in principle, have tropic features without necessarily having situated and/or embodied features. On the other hand, representations that are situated and/or embodied (...) are likely to be simultaneously tropic. Hence, although we propose tropism as the most general term, the hierarchical relationship between embodiment and situatedness is more on a par, such that the dominance of one component over the other relies on the distinction between offline storage versus online generation as well as on representation-specific properties. (shrink)

The aims of this paper are to: (1) identify the best framework for comprehending multidimensional impact of deep brain stimulation on the self; (2) identify weaknesses of this framework; (3) propose refinements to it; (4) in pursuing (3), show why and how this framework should be extended with additional moral aspects and demonstrate their interrelations; (5) define how moral aspects relate to the framework; (6) show the potential consequences of including moral aspects on evaluating DBS’s impact on patients’ selves. Regarding (...) (1), I argue that the pattern theory of self can be regarded as such a framework. In realizing (2) and (3), I indicate that most relevant issues concerning PTS that require resolutions are ontological issues, including the persistence question, the “specificity problem”, and finding lacking relevant aspects of the self. In realizing (4), I identify aspects of the self not included in PTS which are desperately needed to investigate the full range of potentially relevant DBS-induced changes—authenticity, autonomy, and responsibility, and conclude that how we define authenticity will have implications for our concept of autonomy, which in turn will determine how we think about responsibility. Concerning (5), I discuss a complex relation between moral aspects and PTS—on one hand, they serve as the lens through which a particular self-pattern can be evaluated; on the other, they are, themselves, products of dynamical interactions of various self-aspects. Finally, I discuss (6), demonstrating novel way of understanding the effects of DBS on patients’ selves. (shrink)

Traditionally defined as the science of the living, or as the field that beyond anatomical structure and bodily form studies functional organization and behaviour, physiology has long been excluded from evolutionary research. The main reason for this exclusion is that physiology has a presential and futuristic outlook on life, while evolutionary theory is traditionally defined as the study of natural history. In this paper, I re-evaluate these classic science divisions and situate physiology within the history of the evolutionary sciences, (...) as well as within debates on the Extended Evolutionary Synthesis and the need for a Third Way of Evolution. I then briefly point out how evolutionary physiology in particular contributes to research on function, causation, teleonomy, agency and cognition. (shrink)

The aim of the article is to further assess and develop feminist standpoint theory by introducing the notion of the `situated imagination' as constituting an important part of this theory as well as that of `situated knowledge'. The article argues that the faculty of the imagination constructs as well as transforms, challenges and supersedes both existing knowledge and social reality. However, like knowledge, it is crucial to theorize the imagination as situated, that is, as shaped and conditioned (although (...) not determined) by social positioning. (shrink)

ABSTRACT This article aims to show how the originality of Jaeggi’s contribution to recent debates in critical theory clearly emerges if one compares her approach with what in many ways represents its antecedent and constant point of reference: namely, the critical theory of Axel Honneth. This comparison offers a privileged way of grasping the advantages of Jaeggi’s approach with respect to that of Honneth. At the same time, reversing perspective, it permits us to focus on some open problems (...) in Jaeggi’s critical theory, which deserve to be discussed with care. The negativistic, formal and procedural character of her critical theory, while on one hand shielding her approach from the risks to which the most recent theory of Honneth is exposed – historical teleologism and ethical substantialism – on the other hand exposes her approach to the risk of an excess of formalism and proceduralism, rendering it unable to tackle the central problem for any critical theory: namely, the link with a critical praxis and with the struggles for the emancipation of one’s own time. (shrink)

This book, first published in 1991, offers an integrative approach to the study of formal models in the social and behavioural sciences. The theory presented here unifies both the representation of the social environment and the equilibrium concept. The theory requires that all alternatives that are available to the players be specified in an explicit and detailed manner, and this specification is defined as a social 'situation'. A situation, therefore, not only consists of the alternatives currently (...) available to the players, but also includes the set of opportunities that might be induced by the players from their current environment. The theory requires that all recommended alternatives be both internally and externally stable; the recommendation cannot be self-defeating and, at the same time, should account for alternatives that were not recommended. In addition to unifying the representation and the solution concept, the theory also extends the social environments accommodated by current game theory. (shrink)

Recent empirical findings from social psychology, ecological psychology, and embodied cognitive science indicate that situational factors crucially shape the course of human behavior. For instance, it has been shown that finding a dime, being under the influence of an authority figure, or just being presented with food in easy reach often influences behavior tremendously. These findings raise important new questions for the philosophy of action: Are these findings a threat to classical conceptions of human agency? Are humans passively pushed around (...) by situational factors, or are there agential aspects in the way we spontaneously experience and react to situations? How can one conceptualize the pervasive influence of situational factors on human action? What are situations in the first place, and how should the influence of these situations on action be thought of? This paper sets out to develop a new conceptual repertoire for thinking about the influence of situations on action, drawing on research from ecological psychology as well as from embodied and enactive cognitive science. The key proposal is the development of a philosophical sensorimotor account of agency: Action, it is proposed, should be conceived of as constant dynamical interaction of agential and environmental factors – factors which should all be conceptualized in new ways. (shrink)

Software piracy has become recognized as a major problem for the software industry and for business. One research approach that has provided a theoretical framework for studying software piracy has been to place the illegal copying of software within the domain of ethical decision making assumes that a person must be able to recognize software piracy as a moral issue. A person who fails to recognize a moral issue will fail to employ moral decision making schemata. There is substantial evidence (...) that many individuals do not perceive software piracy to be an ethical problem. This paper applies social exchange theory, in particular equity theory, to predict the influence of situational factors on subjects' intentions to participate in software piracy. Consistent with the predictions of equity theory this study found that input and outcome situational variables significantly effect a person's intentions to commit software piracy. (shrink)

This review essay examines the contribution of Legislated Rights (Webber et al, Cambridge 2018) to a central issue in constitutional theory: namely, how the institutional division of labour between the legislature and the judiciary with respect to the task of giving effect to constitutional rights is best understood and conceived. In doing so, the essay situates the work within contemporary scholarship and adopts a broadly comparative lens — a perspective that is mindful of key developments in constitutional law and (...) theory over the past several decades. Ultimately, it is suggested that a critical weakness of the capacity of Legislated Rights to contribute to contemporary debates about judicial review is its lack of engagement with these developments. As a result, the work’s intervention largely misses its mark. It speaks to an outdated view that does not reflect contemporary constitutional practice or scholarship. (shrink)

The integration of theory and empirical research in analytical social science has always been a core topic of Analyse & Kritik. This paper focuses on how analytical theory and empirical research have moved closer to each other in sociology, using rational choice theory and game-theoretic models as well as empirical research on problematic social situations (social dilemmas, collective action problems, etc.) as an example. We try to highlight the use of complementary research designs (surveys, vignette studies, lab (...) experiments) for testing the same hypotheses. We also try to show that empirical research indicates the need for the development of more complex theoretical models. (shrink)

This book is an introduction to theory in archaeology--but with a difference. Archaeological Situations avoids talking about theory as if it was something you apply but rather as something embedded in archaeological practice from the start. Rather than see theory as something worked from the outside in, this book explores theory from the inside out, which means it focuses on specific archaeological practices rather than specific theories. It starts from the kinds of situations that students find (...) themselves in and learn about in other archaeology courses, avoiding the gap between practice and theory from the very beginning. It shows students the theoretical implications of almost everything they engage in as archaeologists, from fieldwork, recording, writing-up and making and assessing an argument, to exploring the very nature of archaeology and justifying its relevance. Essentially, it adopts a structure which attempts to pre-empt one of the most common complaints of student's taking theory courses: how is this applicable? Aimed primarily at undergraduates, this book is the ideal way to engage students with archaeological theory. (shrink)

This article synthesizes the current theoretical attempts to understand human-machine interactions and introduces seven premises to understand our emerging dynamics with increasingly competent, pervasive, and instantly accessible algorithms. The hope that these seven premises can build toward a social theory of human-AI cocreation. The focus on human-AI cocreation is intended to emphasize two factors. First, is the fact that our machine learning systems are socialized. Second, is the coevolving nature of human mind and AI systems as smart devices form (...) an indispensable part of our cognitive scaffolds, thus, shaping how we perceive the world and ourselves. The seven premises include: primacy of social structures; human’s desire for freedom and autonomy; AI systems will form inseparable parts of our cognitive/affective scaffolds and can change our self-understanding; philosophy and humanistic foundations on human flourishing as a guide to human-AI interaction; mindsponge information-filtering process; acculturative process of how values change and emerge from human-AI interaction; overlapping Venn diagram of the human-human, human-nature, and human-machine interactions. This article concludes with a discussion on human agency in our entanglements with socialized machines and the illusoriness of the Cartesian agent view of the mind. (shrink)

Going through reproductive experiences (especially pregnancy and childbirth) in contemporary Western societies almost inevitably involves interaction with medical practitioners and various medical technologies in institutional context. This has important consequences for women as embodied subjects. A critical appraisal of these consequences—coming dominantly from feminist scholarship—relied on a problematic theory of both technology and the subject, which are in contemporary approaches no longer considered as given, coherent and well individualized wholes, but as complex constellations that are locally situated and that (...) can only be described empirically. In this study, we will be relying on the developments in phenomenological theory to reconceptualize women as technologically mediated embodied subjects and on the new paradigms in philosophy of technology and STS to reconstruct medical technology as situated—with the aim of reconceptualizing their relationship and exploring different possibilities for the mediating role of medical technology. It will be argued that technologization of female reproductive processes and alienating consequences for women are not necessary or directly interrelated. The role of technology varies from case to case and depends mainly on the nontechnological and relational aspects of institutional context, in which medical practitioners play a decisive role. (shrink)

Archaeological Theory in Dialogue presents an innovative conversation between five scholars from different backgrounds on a range of central issues facing archaeology today. Interspersing detailed investigations of critical theoretical issues with dialogues between the authors, the book interrogates the importance of four themes at the heart of much contemporary theoretical debate: relations, ontology, posthumanism, and Indigenous paradigms. The authors, who work in Europe and North America, explore how these themes are shaping the ways that archaeologists conduct fieldwork, conceptualize the (...) past, and engage with the political and ethical challenges that our discipline faces in the 21st century. The unique style of Archaeological Theory in Dialogue, switching between detailed arguments and dialogical exchange, makes it essential reading for both scholars and students of archaeological theory and those with an interest in the politics and ethics of the past. (shrink)

Serious thinking about the computational aspects of situation theory is just starting. There have been some recent proposals in this direction (viz. PROSIT and ASTL), with varying degrees of divergence from the ontology of the theory. We believe that a programming environment incorporating bona fide situation-theoretic constructs is needed and describe our very recent BABY-SIT implementation. A detailed critical account of PROSIT and ASTL is also offered in order to compare our system with these pioneering and (...) influential frameworks. (shrink)

We describe a novel approach to the analysis of pronominal anaphora in Turkish. A computational medium which is based on situation theory is used as our implementation tool. The task of resolving pronominal anaphora is demonstrated in this environment which employs situation-theoretic constructs for processing.

This response agrees with Stanovich's emphasis on the need for decentering, and, in response to Beyth-Marom, attempts to clarify the normative-prescriptive-descriptive distinction and point in the direction of prescriptive models. It takes issue with Cabanac and with Lindsay & Gorayska.