scholarly journals Social processes, program verification and all that

2009 ◽  
Vol 19 (5) ◽  
pp. 877-896 ◽  
Author(s):  
ANDREA ASPERTI ◽  
HERMAN GEUVERS ◽  
RAJA NATARAJAN
Keyword(s):  
Formal Verification ◽  
Program Development ◽  
Theorem Proving ◽  
Scientific Knowledge ◽  
Program Verification ◽  
Interactive Theorem Proving ◽  
Social Processes ◽  
Social Nature ◽  
The Social

In a controversial paper (De Millo et al. 1979) at the end of the 1970's, R. A. De Millo, R. J. Lipton and A. J. Perlis argued against formal verifications of programs, mostly motivating their position by an analogy with proofs in mathematics, and, in particular, with the impracticality of a strictly formalist approach to this discipline. The recent, impressive achievements in the field of interactive theorem proving provide an interesting ground for a critical revisiting of their theses. We believe that the social nature of proof and program development is uncontroversial and ineluctable, but formal verification is not antithetical to it. Formal verification should strive not only to cope with, but to ease and enhance the collaborative, organic nature of this process, eventually helping us to master the growing complexity of scientific knowledge.

scholarly journals ‘What is infrastructure? What does it do?’: Anthropological perspectives on the workings of infrastructure(s)

2021 ◽  
Author(s):  
Lav Kanoi ◽  
Vanessa Koh ◽  
Al Lim ◽  
Shoko Yamada ◽  
Michael R. Dove
Keyword(s):  
Social Sciences ◽  
21St Century ◽  
Field Research ◽  
Social Processes ◽  
Unintended Consequences ◽  
Human Relations ◽  
Social Nature ◽  
Nature And Culture ◽  
The Social ◽  
Growing Body

Abstract Infrastructure is often thought of in big material terms: dams, buildings, roads, and so on. This study, instead, draws on literatures in anthropology and the social sciences to analyse infrastructures in relation to society and environment, and so cast current conceptions of infrastructure in a new light. Situating the analysis in context of President Biden’s recent infrastructure bill, the paper expands what is meant by and included in discussions of infrastructure. The study examines what it means for different kinds of material infrastructures to function (and for whom) or not, and also consider how the immaterial infrastructure of human relations are manifested in, for example, labour, as well as how infrastructures may create intended or unintended consequences in enabling or disabling social processes. Further, in this study, we examine concepts embedded in thinking about infrastructure such as often presumed distinctions between the technical and the social, nature and culture, the human and the non-human, and the urban and the rural, and how all of these are actually implicated in thinking about infrastructure. Our analysis, thus, draws from a growing body of work on infrastructure in anthropology and the social sciences, enriches it with ethnographic insights from our own field research, and so extends what it means to study ‘infrastructures’ in the 21st century.

scholarly journals Exploring flow experiences in cooperative digital gaming contexts

2018 ◽  
Author(s):  
Linda Katherine Kaye
Keyword(s):  
Conceptual Development ◽  
Social Contexts ◽  
Social Processes ◽  
Team Work ◽  
Digital Gaming ◽  
Social Nature ◽  
The Social ◽  
Group Experiences ◽  
Group Flow ◽  
Flow Experiences

Given the social nature of digital gaming, an investigation into social processes underpinning the experiences within social contexts of play is greatly warranted. The current research explored the underpinnings of “group flow” within cooperative-based gaming. In particular, this was intended to provide insight into the social processes which facilitate flow experiences in these contexts. This was achieved through a questionnaire in which gamers (N = 76) provided retrospective open-ended accounts of flow during cooperative gaming. Additionally, quantitative data was obtained on flow and post-gameplay mood within this experience, as well as in solo gaming for comparative analysis. Thematic analysis of the qualitative responses revealed a number of factors which determined the experience of flow. These were; effective communication and team-work and task relevant knowledge of group members. Additionally, although flow was found to be lower in cooperative versus solo gaming, no differences in post-gameplay mood were observed. These findings aid conceptual development of facilitators of group flow in cooperative gaming, with insights into how this may extend to other cooperative activities. Additionally, they also provide new practical insight for representatives in the gaming industry on how gaming may be developed with the aim of promoting positive shared group experiences.

scholarly journals THE PLURALISM OF SCIENTIFIC TRUTHS CRITERIA: LEVEL MODEL

2019 ◽  
Vol 12 (1) ◽  
pp. 4-14
Author(s):  
Sergey Lebedev
Keyword(s):  
Scientific Knowledge ◽  
Common Features ◽  
Social Nature ◽  
The Social ◽  
Level Model ◽  
Different Levels

The article presents a new, pluralistic concept of the truth of scientific knowledge. It is based on two epistemological principles: 1) recognition of the social nature of scientific knowledge, 2) fixation of the level nature of the structure of scientific knowledge (in the structure of any science there are four qualitatively different levels of knowledge: sensory, empirical, theoretical and metatheoretical). Due to ontological, epistemological and methodological different levels of scientific knowledge on each of them there are special criteria of its truth. All of them have only two common features: a) each of them is a multicomponent, b) each criterion of truth has in its structure a consensual component.

Scientific Knowledge and Scientific Expertise: Epistemic and Social Conditions of Their Trustworthiness

2010 ◽  
Vol 32 (2) ◽  
Author(s):  
Martin Carrier
Keyword(s):  
Social Participation ◽  
Scientific Knowledge ◽  
Expert Judgment ◽  
Social Processes ◽  
Social Conditions ◽  
The Third ◽  
The Social ◽  
Scientific Expertise ◽  
High Credibility

AbstractThe article explores epistemic and social conditions of the trustworthiness of scientific expertise. I claim that there are three kinds of conditions for the trustworthiness of scientific expertise. The first condition is epistemic and means that scientific knowledge enjoys high credibility. The second condition concerns the significance of scientific knowledge. It means that scientific generalizations are relevant for elucidating the particular cases that constitute the challenges for expert judgment. The third condition concerns the social processes involved in producing science-based recommendations. In this context trust is created by social robustness, expert legitimacy, and social participation.

Sustainable Illegality: Gagauz Women in Istanbul

2014 ◽  
Vol 8 (1) ◽  
pp. 17-25 ◽  
Author(s):  
Bayram Unal
Keyword(s):  
Police Officers ◽  
Ethnic Origin ◽  
Social Processes ◽  
Survival Strategies ◽  
Preferential Treatment ◽  
National Group ◽  
Turkish Migrants ◽  
Illegal Migrants ◽  
Sociological Inquiry ◽  
The Social

This study deals with survival strategies of illegal migrants in Turkey. It aims to provide an explanation for the efforts to keep illegality sustainable for one specific ethnic/national group—that is, the Gagauz of Moldova, who are of Turkish ethnic origin. In order to explicate the advantages of Turkish ethnic origin, I will focus on their preferential treatment at state-law level and in terms of the implementation of the law by police officers. In a remarkable way, the juridical framework has introduced legal ways of dealing with the illegality of ethnically Turkish migrants. From the viewpoint of migration, the presence of strategic tools of illegality forces us to ask not so much law-related questions, but to turn to a sociological inquiry of how and why they overstay their visas. Therefore, this study concludes that it is the social processes behind their illegality, rather than its form, that is more important for our understanding of the migrants’ survival strategies in destination countries.

The Logic of Affect

2018 ◽  
Author(s):  
Robin Markwica
Keyword(s):  
Choice Behavior ◽  
Choice Theory ◽  
Decision Makers ◽  
Political Leaders ◽  
Coercive Diplomacy ◽  
Limited Ability ◽  
Social Nature ◽  
The Social ◽  
Alternative Action ◽  
Action Model

Chapter 2 develops the logic of affect, or emotional choice theory, as an alternative action model besides the traditional logics of consequences and appropriateness. Drawing on research in psychology and sociology, the model captures not only the social nature of emotions but also their bodily and dynamic character. It posits that the interplay between identities, norms, and five key emotions—fear, anger, hope, pride, and humiliation—can shape decision-making in profound ways. The chapter derives a series of propositions how these five key emotions tend to influence the choice behavior of political leaders whose countries are targeted by coercive diplomacy. These propositions specify the affective conditions under which target leaders are likely to accept or reject a coercer’s demands. Even when emotions produce powerful impulses, humans will not necessarily act on them, however. The chapter thus also incorporates decision-makers’ limited ability to regulate their emotions into the logic of affect.

Betwixt and Between

2018 ◽  
Author(s):  
Shenique S. Thomas ◽  
Johnna Christian
Keyword(s):  
Sense Of Belonging ◽  
Minority Groups ◽  
Family Members ◽  
Social Processes ◽  
Ethnic Minority Groups ◽  
The Social ◽  
The Family ◽  
Incarcerated Men ◽  
Challenges And Opportunities ◽  
Racial And Ethnic Minority

This chapter draws from a qualitative study of incarcerated men to investigate the social processes and interactions between both correctional authorities and family members that inform their sense of belonging and legitimacy. It reveals that prison visitation rooms present a complex environment in which incarcerated men have access to discreet periods of visibility and relevance to their family members and the broader community. There are, however, several precarious aspects to these processes. The family members who are central to enhancing men’s visibility and legitimacy are primarily women from economically disadvantaged, racial, and ethnic minority groups, resulting in their own marginalization, which is compounded within prison spaces. By illuminating both the challenges and opportunities of familial connections, this chapter informs a social justice framework for understanding the experiences of both incarcerated men and their family members.

Sign in / Sign up

Export Citation Format

Share Document