scholarly journals Intuitionistic Layered Graph Logic

2017 ◽  
Author(s):  
Simon Docherty ◽  
David Pym
Keyword(s):  
Social Sciences ◽  
Complex Systems ◽  
Completeness Theorem ◽  
Kripke Semantics ◽  
Substructural Logic ◽  
Graph Theoretic ◽  
Soundness And Completeness ◽  
The Relationship ◽  
Layered Graph

Models of complex systems are widely used in the physical and social sciences, and the concept of layering, typically building upon graph-theoretic structure, is a common feature. We describe an intuitionistic substructural logic that gives an account of layering. As in other bunched systems, the logic includes the usual intuitionistic connectives, together with a non-commutative, non-associative conjunction (used to capture layering) and its associated implications. We give a soundness and completeness theorem for a labelled tableaux system with respect to a Kripke semantics on graphs. To demonstrate the utility of the logic, we show how to represent systems and security examples, illuminating the relationship between services/policies and the infrastructures/architectures to which they are applied.

scholarly journals EVERYONE KNOWS THAT SOMEONE KNOWS: QUANTIFIERS OVER EPISTEMIC AGENTS

2019 ◽  
Vol 12 (2) ◽  
pp. 255-270 ◽  
Author(s):  
PAVEL NAUMOV ◽  
JIA TAO
Keyword(s):  
Modal Logic ◽  
Epistemic Logic ◽  
Possible Worlds ◽  
Completeness Theorem ◽  
Kripke Semantics ◽  
Possible Worlds Semantics ◽  
Distributed Knowledge ◽  
First Order ◽  
Soundness And Completeness ◽  
First Order Modal Logic

AbstractModal logic S5 is commonly viewed as an epistemic logic that captures the most basic properties of knowledge. Kripke proved a completeness theorem for the first-order modal logic S5 with respect to a possible worlds semantics. A multiagent version of the propositional S5 as well as a version of the propositional S5 that describes properties of distributed knowledge in multiagent systems has also been previously studied. This article proposes a version of S5-like epistemic logic of distributed knowledge with quantifiers ranging over the set of agents, and proves its soundness and completeness with respect to a Kripke semantics.

A Reorientation of Niche Theory in Human Ecology

1986 ◽  
Vol 29 (2) ◽  
pp. 259-283 ◽  
Author(s):  
Cynthia A. Broussard ◽  
Gerald L. Young
Keyword(s):  
Social Sciences ◽  
Complex Systems ◽  
Human Ecology ◽  
Social Forces ◽  
Niche Theory ◽  
Species Problem ◽  
Social Scientists ◽  
The Past ◽  
The Individual ◽  
The Relationship

Symptomatic of social forces is the character of the relationship between the individual and society; study of that relationship is central to sociology, a part-whole problem shared with other social sciences. A number of sociological concepts have been developed at least in part to examine this relationship. In the past couple of decades, sociologists and other social scientists have borrowed from niche theory in biological ecology, applying niche in a number of ways. In this article, the Hutchinsonian revolution in niche theory is stressed to establish that adaptations of niche into sociological human ecology are based on misleading analogies and are derived from a failure to recognize the implications of changes in niche theory. The difficulties issue in part from “the species problem” and from unclear differentiation between niche and more established sociological concepts, particularly role and status. These differences are specified and clarified prior to a radical reorientation of niche in human ecology. The reorientation resolves the species problem, updates and reinforces ties with biological ecology, and enlarges the potential for study of the linkages between individual and society and between micro and macro in complex systems.

ACTIVE WALKS: THE FIRST TWELVE YEARS (PART II)

2006 ◽  
Vol 16 (02) ◽  
pp. 239-268 ◽  
Author(s):  
LUI LAM
Keyword(s):  
Social Sciences ◽  
Complex Systems ◽  
Surface Reaction ◽  
Economic Systems ◽  
Chinese History ◽  
Human History ◽  
Open Problems ◽  
Site Model ◽  
The Social ◽  
The Relationship

Active Walk (AW) is a paradigm for self-organization and pattern formation in simple and complex systems, originated by Lam in 1992. In an AW, the walker changes the deformable landscape as it walks, and is influenced by the changed landscape in choosing its next step. Active walk models have been applied successfully to various biological, physical, geological and economic systems from both the natural and social sciences. More recently, it has been used to model human history. In Part I of this review, the birth of the AW paradigm, its basic concepts and formulations, a solvable two-site model, and the experiments and AW modeling of surface-reaction filamentary patterns are presented. Part II here continues with properties of AW, and applications of AW in nonliving and living systems — including those from the social sciences and human history. (In particular, unsuspected quantitative laws and a prediction about the Chinese history are given.) A comment on the relationship between physics, social science and complex systems is provided. The review concludes with open problems in the form of workable research projects and general discussions.

scholarly journals A Logic for Vagueness

2010 ◽  
Vol 8 ◽  
Author(s):  
John Slaney
Keyword(s):  
Natural Deduction ◽  
Kripke Semantics ◽  
Substructural Logic ◽  
Relational Semantics ◽  
Deduction System ◽  
First Order ◽  
Natural Deduction System ◽  
Soundness And Completeness ◽  
Propositional System

This paper presents F, substructural logic designed to treat vagueness. Weaker than Lukasiewicz’s infinitely valued logic, it is presented first in a natural deduction system, then given a Kripke semantics in the manner of Routley and Meyer's ternary relational semantics for R and related systems, but in this case, the points are motivated as degrees to which the truth could be stretched. Soundness and completeness are proved, not only for the propositional system, but also for its extension with first-order quantifiers. The first-order models allow not only objects with vague properties, but also objects whose very existence is a matter of degree.

scholarly journals Mathematical Foundations for Efficient Structural Controllability and Observability Analysis of Complex Systems

2014 ◽  
Vol 2014 ◽  
pp. 1-12 ◽  
Author(s):  
Pedro J. Zufiria ◽  
Luis Úbeda-Medina ◽  
Carlos Herrera-Yagüe ◽  
Iker Barriales-Valbuena
Keyword(s):  
Complex Systems ◽  
Large Scale ◽  
Design Problems ◽  
Graph Theoretic ◽  
Structural Controllability ◽  
Controllability And Observability ◽  
Mathematical Foundations ◽  
The Relationship ◽  
Theoretical Results ◽  
New Algorithms

The relationship between structural controllability and observability of complex systems is studied. Algebraic and graph theoretic tools are combined to prove the extent of some controller/observer duality results. Two types of control design problems are addressed and some fundamental theoretical results are provided. In addition new algorithms are presented to compute optimal solutions for monitoring large scale real networks.

Academic motivation and professional skills development in the Specialty of Social Sciences and Tourism at a public university [Motivación académica y desarrollo de competencias profesionales en la Especialidad de Ciencias Sociales y Turismo de una universidad pública]

2019 ◽  
Vol 1 (2) ◽  
pp. 96
Author(s):  
Ana Cecilia De Paz Lazaro ◽  
Jessica Luz Palomino Collantes
Keyword(s):  
Social Sciences ◽  
Academic Motivation ◽  
Public University ◽  
Skills Development ◽  
Professional Skills ◽  
Research Results ◽  
Competencias Profesionales ◽  
High Level ◽  
The Relationship

The objective of the research is to determine the relationship between academic motivation and the professional skills development in the specialty of Social Sciences and Tourism. The study is quantitative and the design is non-experimental correlational translational. The results indicate that there is a high level relationship (0.914) between the independent academic motivation variable and the professional competences development in the Specialty of Social Sciences and Tourism. In conclusion, motivation is directly related to the professional skills development in the specialty of Social Sciences and Tourism. The research results conclude that there is a high relationship between the variables.

Critical self-reflection: A performative act 批判的自己内省 ―パフォーマティヴな実践―

2010 ◽  
Vol 34 (4) ◽  
pp. 49
Author(s):  
Misako Tajima
Keyword(s):  
Social Sciences ◽  
Secondary School ◽  
School Teacher ◽  
Theory And Practice ◽  
English Learner ◽  
Academic Journal ◽  
Self Reflection ◽  
Academic Fields ◽  
Global Spread ◽  
The Relationship

Autobiographic and narrative research has recently grown in stature in the field of social sciences. Inspired by Asian TESOL researchers’ critical analyses of self-stories, this paper attempts to reflect upon the author’s personal history in relation to English and discuss ways in which she can position herself as both an English learner and a non-native English speaker (NNES) teacher. The self-reflection and discussion is followed by an argument for performativity, a notion drawing on poststructuralism to understand language itself and the global spread of English. This paper, itself a performative act conducted by a secondary school teacher, exemplifies the concept. The non-academic schoolteacher’s very act of writing in an academic journal aims to contribute to questioning assumptions underlying the relationship between theory and practice and to reconstituting the academic fields of applied linguistics and TESOL. 近年、自伝的かつ語りを含む研究が社会科学の分野で活発になってきている。本稿では、TESOLを専門とする、あるアジア人研究者が彼女たち自身の物語を素材として実施した批判的分析に着想を得て、英語にまつわる自己の歴史を振り返り、英語学習者としての、またNNESの英語教師としてのポジショナリティをどこに位置づけるのかという問題について議論する。さらに、この批判的自己内省を経て、言語そのもの、あるいは英語という言語の地球規模的広がりを理解するために、ポスト構造主義の概念であるパフォーマティヴィティについて検証する。なお、本稿これ自体がある高校教師によるパフォーマティヴな実践であることに言及しておきたい。研究者ではなく、一高校教師が学術雑誌に投稿することを通じ、理論と実践の関係性の背後にある前提に疑問を投げかけ、その結果、応用言語学やTESOLという学問分野の再構築に貢献できることを希望している。

Capitalism and the State in Latin America

2020 ◽  
Author(s):  
Esteban Torres ◽  
Carina Borrastero
Keyword(s):  
Social Sciences ◽  
Latin America ◽  
Social Inequality ◽  
Latin American ◽  
The State ◽  
American Sociology ◽  
The 1950S ◽  
The Relationship

This article analyzes how the research on the relation between capitalism and the state in Latin America has developed from the 1950s up to the present. It starts from the premise that knowledge of this relation in sociology and other social sciences in Latin America has been taking shape through the disputes that have opposed three intellectual standpoints: autonomist, denialist, and North-centric. It analyzes how these standpoints envision the relationship between economy and politics and how they conceptualize three regionally and globally growing trends: the concentration of power, social inequality, and environmental depletion. It concludes with a series of challenges aimed at restoring the theoretical and political potency of the autonomist program in Latin American sociology.

scholarly journals Kripke Semantics for Intersection Formulas

2021 ◽  
Vol 22 (3) ◽  
pp. 1-16
Author(s):  
Andrej Dudenhefner ◽  
Paweł Urzyczyn
Keyword(s):  
Kripke Semantics ◽  
Type Assignment ◽  
Soundness And Completeness

We propose a notion of the Kripke-style model for intersection logic. Using a game interpretation, we prove soundness and completeness of the proposed semantics. In other words, a formula is provable (a type is inhabited) if and only if it is forced in every model. As a by-product, we obtain another proof of normalization for the Barendregt–Coppo–Dezani intersection type assignment system.

scholarly journals On the complexity of assimilation in urban communities

2021 ◽  
Vol 6 (1) ◽  
Author(s):  
Renita Murimi
Keyword(s):  
Complex Systems ◽  
Urban Communities ◽  
Human Experience ◽  
Urban Environments ◽  
Urban Systems ◽  
Sociological Perspective ◽  
Information Theoretic ◽  
Information Theoretic Measures ◽  
Urban Complex ◽  
The Relationship

AbstractCities are microcosms representing a diversity of human experience. The complexity of urban systems arises from this diversity, where the services that cities offer to their inhabitants have to be tailored for their unique requirements. This paper studies the complexity of urban environments in terms of the assimilation of its communities. We examine the urban assimilation complexity with respect to the foreignness between communities and formalize the level of complexity using information-theoretic measures. Our findings contribute to a sociological perspective of the relationship between urban complex systems and the diversity of communities that make up urban systems.

Sign in / Sign up

Export Citation Format

Share Document