This book offers a state-of-the-art introduction to the basic techniques and results of neighborhood semantics for modal logic. In addition to presenting the relevant technical background, it highlights both the pitfalls and potential uses of neighborhood models – an interesting class of mathematical structures that were originally introduced to provide a semantics for weak systems of modal logic. In addition, the book discusses a broad range of topics, including standard modal logic results ; bisimulations for neighborhood models (...) and other model-theoretic constructions; comparisons with other semantics for modal logic ; neighborhood semantics for first-order modal logic, applications in game theory ; applications in epistemic logic ; and non-normal modal logics with dynamic modalities. The book can be used as the primary text for seminars on philosophical logic focused on non-normal modal logics; as a supplemental text for courses on modal logic, logic in AI, or philosophical logic ; or as the primary source for researchers interested in learning about the uses of neighborhood semantics in philosophical logic and game theory. (shrink)

This paper presents a neighborhood semantics for logics of entailment. It begins with a minimal system Min that expresses the most fundamental assumptions about the entailment relation, and continues by examining various extensions that reflect further assumptions that might be made about entailment. This leads first to the logic B that is the basic relevant logic, and then to more powerful systems. All of these logics are proved to be sound and strongly complete. With B the neighborhood semantics (...) meets the Routley-Meyer relational semantics for relevant logic; these connections are examined. The minimal and basic entailment logics are shown to have the finite model property, and hence to be decidable. (shrink)

Towards NonBeing (Priest, 2005) gives a noneist account of the semantics of intentional operators and predicates. The semantics for intentional operators are modelled on those for the , is given and assessed.

This article outlines a semantic approach to the logics of unknown truths, and the logic of false beliefs, using neighborhood structures, giving results on soundness, completeness, and expressivity. Relational semantics for the logics of unknown truths are also addressed, specically the conditions under which sound axiomatizations of these logics might be obtained from their normal counterparts, and the relationship between refexive insensitive logics and logics containing the provability operator as the primary modal operator.

The world’s elderly population is growing, and in Chile they represent 16.2% of the total population. In Chile, old age is marked by retirement, with a dramatic decrease in income that brings precariousness. Older adults are economically, socially, and psychologically vulnerable populations. This condition increases their likelihood of disengaging from their usual social environment, facilitating their isolation, sadness, and discomfort. From the perspective of social identity, well-being can be explained by two principles: social groups’ importance for health and people’s psychological (...) identification with those groups. This study analyzes the relationships between belonging to the neighborhood and extra-neighborhood groups and neighborhood social identification with WB. Urban or rural location and gender are measured, and the sample is 1,475 older Chilean adults of both sexes. The results show that the majority are not members of social groups, and the remaining 48% are members of one or two groups or organizations. Only 4.47% belong to three groups or organizations. Those who belong to groups obtain higher scores, emotional–mental WB, and positive emotions than older adults who do not belong to any organization. Urban and rural older adults have the same level of WB. Membership in close social organizations or distant ones causes different WB associations. Membership in neighborhood councils reduces gender differences in self-assessment of health. This result supports the idea that participation in heterogeneous groups with a shared sense of belonging to the neighborhood is associated with higher WB and lower perceived loneliness. Social identification with the neighborhood, rather than belonging to the group, had the most widespread impact on WB and health indicators. The variable social identification with the neighborhood was consistently associated with indicators of hedonic WB. (shrink)

In this paper, we investigate the expressiveness of the variety of propositional interval neighborhood logics , we establish their decidability on linearly ordered domains and some important subclasses, and we prove the undecidability of a number of extensions of PNL with additional modalities over interval relations. All together, we show that PNL form a quite expressive and nearly maximal decidable fragment of Halpern–Shoham’s interval logic HS.

In 1971, Chicano activist Armando Réndon began to chart new directions for Chicana/o politics that move away from a narrow emphasis on cultural and ethnic nationalism. He argues that urban Chicana/o neighborhoods ought develop community-based organizations to provide support services for residents and to advocate local concerns to elected officials. In the first part of this essay, I reconstruct Réndon's concept of a 'barrio union' as an example of participatory democracy. I situate his concept of neighborhood democracy within Mexican (...) American and Progressive movement history, and then highlight contemporary experiments with this model that are particularly successful in transforming traditionally marginalized individuals into active democratic participants. I then suggest that the barrio union is a repository of cultural, ethical, and political ideals that might be used by progressive Chicana/o activists to challenge the meaning of dominant institutions and political traditions within the United States, particularly the ways in which we conceive of race and American citizenship. (shrink)

In this paper, we give an alternative semantics to the non-normal logic of knowing how proposed by Fervari et al., based on a class of Kripke neighborhood models with both the epistemic relations and neighborhood structures. This alternative semantics is inspired by the same quantifier alternation pattern of ∃∀\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$\exists \forall $$\end{document} in the semantics of the know-how modality and the neighborhood semantics for the standard modality. We show that (...) this new semantics is equivalent to the original Kripke semantics in terms of the validities. A key result is a representation theorem showing that the more abstract Kripke neighborhood models can be represented by the concrete Kripke models with action transitions modulo the valid formulas. We prove the completeness of the logic for the neighborhood semantics. The neighborhood semantics can be adapted to other variants of logics of knowing how. It provides us a powerful technical tool to study these logics while preserving the basic semantic intuition. (shrink)

There is consensus that the adult lexicon exhibits lexical competition. In particular, substantial evidence demonstrates that words with more phonologically similar neighbors are recognized less efficiently than words with fewer neighbors. How and when these effects emerge in the child's lexicon is less clear. In the current paper, we build on previous research by testing whether phonological onset density slows lexical access in a large sample of 100 English‐acquiring 30‐month‐olds. The children participated in a visual world looking‐while‐listening task, in which (...) their attention was directed to one of two objects on a computer screen while their eye movements were recorded. We found moderate evidence of inhibitory effects of onset neighborhood density on lexical access and clear evidence for an interaction between onset neighborhood density and vocabulary, with larger effects of onset neighborhood density for children with larger vocabularies. Results suggest the lexicons of 30‐month‐olds exhibit lexical‐level competition, with competition increasing with vocabulary size. (shrink)

There is a tendency in the literature on local digital media use and neighborhood outcomes to conceptualize Social Network Sites as mere transmission channels, thereby ignoring SNSs’ dynamics and limiting the understanding of their role in neighborhood life. Informed by Communication Infrastructure Theory and social media literature, we propose and test a model to investigate the association between the use of SNSs, appropriated as online neighborhood networks, and neighborhood sense of community. We administered a survey to (...) Flemish online neighborhood network users and found that active localized SNS use brings about an online sense of community and community awareness, which both independently lead to a neighborhood sense of community. Based on these findings, we argue that SNSs, appropriated as online neighborhood networks, function simultaneously as neighborhood hotspots in a neighborhood’s communication action context as well as community awareness media in a neighborhood’s storytelling network. (shrink)

Collective self-determination is considered to be an important political value. Many liberal political philosophers appeal to it to defend the right of states to exclude would-be newcomers. In this paper, I challenge the value of collective self-determination in the case of countries like the US, former colonial powers with a history of white supremacist immigration and citizenship policies. I argue for my claim by way of an analogy: There is no value to white neighborhoods in the US, which are the (...) result of racist attitudes and state policies, determining autonomously who should become a neighbor. In light of this commitment, defenders of the US's right to exclude would need to explain why it should be of moral value that a community whose character and composition has been shaped by white supremacy be able to determine its membership on its own terms. (shrink)

Rough set theory has been successfully applied to many fields, such as data mining, pattern recognition, and machine learning. Kernel rough sets and neighborhood rough sets are two important models that differ in terms of granulation. The kernel rough sets model, which has fuzziness, is susceptible to noise in the decision system. The neighborhood rough sets model can handle noisy data well but cannot describe the fuzziness of the samples. In this study, we define a novel model called (...) kernel neighborhood rough sets, which integrates the advantages of the neighborhood and kernel models. Moreover, the model is used in the problem of feature selection. The proposed method is tested on the UCI datasets. The results show that our model outperforms classic models. (shrink)

We present a conceptual model of the ways in which built and social environments shape the development of self-regulation in early childhood. Importantly, in centering children of color growing up in historically disinvested neighborhoods, we first describe how systemic structures of racism and social stratification have shaped neighborhood built and social environment features. We then present evidence linking these neighborhood features to children’s development of self-regulation. Furthermore, we take a multilevel approach to examining three potential pathways linking (...) class='Hi'>neighborhood contexts to self-regulation: school environment and resources, home environment and resources, and child health behaviors. Finally, we consider how racial-ethnic-cultural strengths and multilevel interventions have the potential to buffer children’s development of self-regulation in disinvested neighborhood contexts. Advancing multilevel approaches to understand the development of self-regulation among children of color living in historically disinvested neighborhoods is an important step in efforts to promote equity in health and education. (shrink)

This article proposes the axiomatizations of contingency logics of various natural classes of neighborhood frames. In particular, by defining a suitable canonical neighborhood function, we give sound and complete axiomatizations of monotone contingency logic and regular contingency logic, thereby answering two open questions raised by Bakhtiari, van Ditmarsch, and Hansen. The canonical function is inspired by a function proposed by Kuhn in 1995. We show that Kuhn’s function is actually equal to a related function originally given by Humberstone.

The intuitive notion of evidence has both semantic and syntactic features. In this paper, we develop an evidence logic for epistemic agents faced with possibly contradictory evidence from different sources. The logic is based on a neighborhood semantics, where a neighborhood N indicates that the agent has reason to believe that the true state of the world lies in N. Further notions of relative plausibility between worlds and beliefs based on the latter ordering are then defined in terms (...) of this evidence structure, yielding our intended models for evidence-based beliefs. In addition, we also consider a second more general flavor, where belief and plausibility are modeled using additional primitive relations, and we prove a representation theorem showing that each such general model is a p-morphic image of an intended one. This semantics invites a number of natural special cases, depending on how uniform we make the evidence sets, and how coherent their total structure. We give a structural study of the resulting ‘uniform’ and ‘flat’ models. Our main result are sound and complete axiomatizations for the logics of all four major model classes with respect to the modal language of evidence, belief and safe belief. We conclude with an outlook toward logics for the dynamics of changing evidence, and the resulting language extensions and connections with logics of plausibility change. (shrink)

In previous work I argued that purely probabilistic accounts of what it takes to promote a desire are mistaken. This is because, I argued, there are desires that it is possible to promote but impossible to probabilistically promote. In a recent article critical of my account, Joshua DiPaolo and Jeffrey Behrends articulate a methodological principle -- Check the Neighborhood -- and claim that respecting this principle rescues pure probabilism from my argument. In this reply, I accept the methodological principle (...) and show that, despite rendering the original argument invalid, there remains a neighboring argument against purely probabilistic accounts of promotion. (shrink)

Intellectual humility is an interesting but underexplored disposition. The claim “I am (intellectually) humble” seems paradoxical in that someone who has the disposition in question would not typically volunteer it. There is an explanatory gap between the meaning of the sentence and the meaning the speaker expresses by uttering it. We therefore suggest analyzing intellectual humility semantically, using a psycholexical approach that focuses on both synonyms and antonyms of ‘intellectual humility’. We present a thesaurus-based method to map the semantic space (...) of intellectual humility as a heuristic to support philosophical and psychological analysis of this disposition. We find three semantic clusters that compose intellectual humility: the sensible self, the discreet self, and the inquisitive self; likewise, we find three clusters that compose its contraries: the overrated self, the underrated other, and the underrated self. (shrink)

We introduce a dynamic model for evolutionary games played on a network where strategy changes are correlated according to degree of influence between players. Unlike the notion of stochastic stability, which assumes mutations are stochastically independent and identically distributed, our framework allows for the possibility that agents correlate their strategies with the strategies of those they trust, or those who have influence over them. We show that the dynamical properties of evolutionary games, where such influence neighborhoods appear, differ dramatically from (...) those where all mutations are stochastically independent, and establish some elementary convergence results relevant for the evolution of social institutions. (shrink)

The paper presents a semantics for quantified modal logic which has a weaker axiomatization than the usual Kripke semantics. In particular, the Barcan Formula and its converse are not valid with the proposed semantics. Subclasses of models which validate BF and other interesting formulas are presented. A completeness theorem is proved, and the relation between this result and completeness with respect to Kripke models is investigated.

As we’ve seen in the last chapter, there is good linguistic reason to categorize negations (and negative operators in general) by which De Morgan laws they support. The weakest negative operators (merely downward monotonic) support only two De Morgan laws;1 medium-strength negative operators support a third;2 and strong negative operators support all four. As we’ve also seen, techniques familiar from modal logic are of great use in giving unifying theories of negative operators. In particular, Dunn’s (1990) distributoid theory allows us (...) to generate relational semantics for many negations. However, the requirements of distributoid theory are a bit too strict for use in modeling the weakest negations. For a relational semantics to work, an operator must either distribute or antidistribute over either conjunction or disjunction; but the merely downward monotonic operators do not. Thus, a unifying semantics cannot be had in distributoid theory. In the (more familiar) study of positive modalities, there is a parallel result. Normal necessities distribute over conjunction, and normal possibilities over disjunction. When these distributions break down, a relational semantics is no longer appropriate. Here, there is a somewhat familiar solution: neighborhood semantics. In this chapter, I’ll adapt neighborhood semantics to the less familiar case of negative modalities, showing how it can be used to give a single semantic framework appropriate to all the pertinent sorts of negative operators. (shrink)

In a mathematical perspective, neighborhood models for modal logic are generalized quantifiers, parametrized to points in the domain of objects/worlds. We explore this analogy further, connecting generalized quantifier theory and modal neighborhood logic. In particular, we find interesting analogies between conservativity for linguistic quantifiers and the locality of modal logic, and between the role of invariances in both fields. Moreover, we present some new completeness results for modal neighborhood logics of linguistically motivated classes of generalized quantifiers, and (...) raise new types of open problem. With the bridges established here, many further analogies might be explored between the two fields to mutual benefit. (shrink)

It is commonplace among friends of irreducible causal powers to depict powers as producing their characteristic manifestations as a matter of metaphysical necessity. That is to say that when a power finds itself in those circumstances that stimulate it, it cannot help but be exercised: its effects must occur. The result is a metaphysic that depicts the world not as loose and separate but as united by the strongest glue; this is but one way in which the world as understood (...) by friends of powers differs from that of their Humean adversaries. However, this typical understanding of powers has recently come under attack. Schrenk and Mumford and Anjum have independently argued that metaphysical necessity is not up to the task of connecting a stimulated power with its manifestation. Employing the same devices friends of powers use in rejecting attempts to analyze power ascriptions in terms of counterfactual conditionals, Schrenk and Mumford and Anjum argue that any process a power elicits could be frustrated by way of interference or prevention, and thereby blocked. For example, striking a dry match against a rough surface will generally lead to its lighting, but as anyone who has attempted to do this can attest, a strong gust of wind can prevent the match from lighting, despite the striking having taken place. Hence, even in the presence of its stimulus, the power's manifestation is not ensured, and so the claim that powers necessarily bring about their manifestations is undermined. (shrink)

To reason about continuous processes in some areas of artificial intelligence and embedded systems one has to express real-time properties. For such purpose a real-time logic has to be considered. Various such logics have been proposed. Some of these formalisms interpret formulas over intervals of time. These are called interval logics. Zhou Chaochen and Michael Hansen have introduced one such first-order interval logic called Neighborhood Logic (NL) which has two expanding modalities ◊r and ◊l. They have shown the adequacy (...) of these modalities by deriving other unary and binary modalities from them; in particular, they show that chop can be expressed in terms of these modalities. The logic is subsequently expanded to get a Duration Calculus (called DC/nl) by expressing temporal variables as integrals of state variables. Liveness and fairness properties of a computing system can now be expressed in DC/nl by means of neighborhood (expanding) modalities. We take up an investigation of DC/nl in detail. We present a proof system for it. We further show that most of the results that hold in the original Duration Calculus continue to hold in our logic with some modifications. In this process we discuss soundness, completeness, and decidability results for DC/nl. Thus this paper establishes DC/nl as a useful formalism for specifying and verifying properties of real-time computing systems. (shrink)

Norris, McQueen & Cutler provide two possible explanations for neighborhood effects. The first suggests that nonwords that are more similar to words tend to activate those words more than do less similar nonwords, and the second is based on sequential probabilities between phonemes. Unfortunately, neither explanation is sufficient to explain all reported neighborhood effects.

The policy adopted by housing authorities of denying prospective tenants with a criminal record access to housing is an important barrier to ex-offenders seeking somewhere to live. The policy is legal, but are there any good reasons in favor of it when we know that having no, or limited, access to secure and affordable housing increases the probability of recidivism? The primary aim of this article is to critically discuss two central reasons that have been given for denying people with (...) criminal records access to housing: that doing so will prevent crime, and that the policy reduces fear of crime. We also try to evaluate an argument for the conclusion that current law, and the policies that follows wrongfully discriminate against people with criminal records. The general thrust of the article is that arguments for this practice turning on its crime preventive effect, and its role in reducing or preventing fear of crime, are unpersuasive. We then explained why, in our view, excluding ex-offenders from housing amounts to wrongful discrimination against them. Our analysis suggests that ex-offenders, apart from a few excemptions, ought to be allowed access to housing to the same extent as other people. (shrink)

Robustness of a supply network highly depends on its structure. Although structural design methods have been proposed to create supply networks with optimal robustness, a real-life supply network can be quite different from these optimal structural designs. Meanwhile, real cases such as Thailand floods and Tohoku earthquake demonstrate the vulnerability of supply networks in real life. Obviously, it is urgent to enhance the robustness of existing real-life supply networks. Thus, in this paper, a supply network reconfiguration method based on adaptive (...) variable neighborhood search is proposed to enhance the structural robustness of supply networks facing both random and target disruptions. Firstly, a supply network model considering the heterogeneous roles of entities is introduced. Based on the model, two robustness metrics, Rr and Rt, are proposed to describe the tolerance of supply networks facing random and target disruptions, respectively. Then, the problem of reconfiguration-based supply network robustness enhancement is described. To solve the problem effectively and efficiently, a new heuristic based on general variable neighborhood search, namely, AVNS, is proposed. Finally, a case study based on three real-life supply networks is presented to verify the applicability and effectiveness of the proposed robustness enhancing method. (shrink)

The studies presented here apply the concept of entitativity in order to understand how belonging to a particular geographical area – neighborhood - can determine the way others organize information and form impressions about area’s residents. In order to achieve this objective, three studies were carried out. The first study aims to verify if a neighborhood varies in terms of perceived entitativity, and identify the physical and social characteristics of the neighborhoods that are more strongly associated with the (...) perception of entitativity. The Study 2 and 3 used an experimental paradigm to explore how people’s perceptions of neighborhoods’ entitativity influenced their impressions of residents. To activate stereotypes, Study 2 used the name of real neighborhoods, and Study 3 employed only a set of pictures of unknown neighborhoods. The results show that the neighborhoods vary significantly with the regard to the perception of entitativity, and a set of physical attributes of place were strongly related with entitativity. The results showed that, independent of stimuli, the neighborhoods perceived as highly entitative, the supposed residents were subject to more extreme and quicker trait judgments, supported by greater confidence on the part of perceivers. Study 3 also reported that in highly entitative neighborhoods, the perceivers transferred more traits from the group to individual members. These results provide strong evidence that physical structure of neighborhoods imply different entitatity judgments that influences the way in which residents are perceived. (shrink)

In Spheres of Justice, Michael Walzer articulates an approach to distributive ethics based on complex equality that is closely attentive to the specific ways particular communities value goods. A renewed interest in place and geography among practitioners and theoreticians is giving rise to questions that are beyond the scope of Walzer's system and reveal abstractions at the geographic level that undercut his overall approach. This internal inconsistency weakens, but does not ultimately discount, Walzer's overall system of distributive ethics. When calibrated (...) to allow for geographic particularity, Walzer's approach becomes even more useful to critique a range of contemporary development movements. (shrink)