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)

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)

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.

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.

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 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)

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)

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.

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)

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)

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)

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 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)

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.

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)

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)

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.

Mister Rogers’ Neighborhood was a wonderful TV show for children and adults alike. Its concerns for the social and emotional development of children are well known, but perhaps what is less obvious is the way the show also encouraged children to be philosophers. It did this first by Rogers himself retaining his childlike wonder of the world, and then by encouraging children to indulge their imaginations, to think hard, and ask their questions without being shut down or silenced. Philosophy, as (...) many philosophers recognize, comes naturally to kids, even and especially quite young ones, like those in the demographics of the Neighborhood. Children that age display a naivete about the world born of profundity, a ravenous insatiable appetite for knowledge, and a wide-ranging imagination. The Neighborhood both apprehended and appreciated these traits in children, and encouraged them to develop holistically, both affectively and cognitively. (shrink)

We propose a new perspective on logics of computation by combining instantial neighborhood logic \ with bisimulation safe operations adapted from \. \ is a recent modal logic, based on an extended neighborhood semantics which permits quantification over individual neighborhoods plus their contents. This system has a natural interpretation as a logic of computation in open systems. Motivated by this interpretation, we show that a number of familiar program constructors can be adapted to instantial neighborhood semantics to preserve invariance for (...) instantial neighborhood bisimulations, the appropriate bisimulation concept for \. We also prove that our extended logic \ is a conservative extension of dual-free game logic, and its semantics generalizes the monotone neighborhood semantics of game logic. Finally, we provide a sound and complete system of axioms for \, and establish its finite model property and decidability. (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)

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)

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.

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)

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)

Meaning of place is usually approached as slow social cognitive construction. However, grounded on the theory of affordances, it may also stem from direct perception-action processes, which enable the formation of immediate perceived functional, social or symbolic meaning of place (Raymond, Kyttä, & Stedman, 2017). In the present study, affordances of places, which are perceived by a specific perceiver in a specific place, were mapped using a web-map survey. Each place offers opportunities for interaction, behavior, use, feeling or meaning, which (...) is directly perceived and actualized there. This paper aims at identifying the degree of youth-friendliness of urban neighborhoods using the hypothetical intertwined model of independent mobility and actualized affordances (Kyttä, 2004) combined with place use and meaning (Broberg, Kyttä, & Fagerholm, 2013). SoftGISchildren methodology (Broberg, Kyttä, et al., 2013) was adopted to carry out a cross-sectional research, involving 145 sixth to ninth graders of the Great Lisbon area. SoftGIS integrates Public Participation Geographic Information Systems (PPGIS), enabling collection and place mapping of daily subjective environmental experiences in the physical environment, consequently allowing for individuals to be actively engaged in public processes of participation (Brown & Kyttä,2014). A place based web survey called “Ideal City: a game of graphic imagination” was adopted. Participants were asked to map their home place, select and mark social, functional, leisure and emotional place transactions, and report actual and ideal mobility to these places. Findings on mobility showed that shorter distances to meaningful affordances of places promote active and independent travel; ideally, youths would like to be more frequently active and more frequently autonomous. As for meaningful places, a total of 1632 affordances were localized, with a higher number on social category. Neighborhood area (500 meters around home place) was assessed as youth-friendly, where active and independent travel occurred more frequently, and social affordances were the most expressive type. Relational and affectional experience in the neighborhood places was meaningful for youth. Municipalities should consider these features when planning, designing and managing residential areas aiming for the well-being and health of young citizens; and include youths as specialists of space (spatialists) in planning participatory processes (PPGIS). (shrink)

The city of Tirana during the period of socialism (1944–1990) has been through a relatively large change in the field of construction. The motto of the time was standardization and typification in order to build quick, and to meet the needs of the population, fulfilling the demands of the market for new constructions. The quality of the constructions was very poor in terms of building materials and surface area predicted per inhabitance. Meanwhile, the predicted static parameters of the buildings reveal (...) to be in good performance. The specific area taken into consideration located in the outskirts of the inner historical ring of Tirana is characterized by constructions realized during 1965–1980. The buildings are standing using retaining walls, according to the technical construction parameters of the time. The aim of the questionnaire implementation in the neighborhood is to have better insights into the social, economic and inhabitance behavior within the neighborhood. It is going to be analyzed their lifestyle, pollution in the area, their level of satisfaction, the actual conditions of the buildings, electricity consumption, water consumption, heating and cooling instruments, ventilation habits, etc. The results showed that the level of loyalty to the buildings is high, although the building physical conditions are very poor and their level of satisfaction living in the neighborhood is above average. Their level of satisfaction considers more the location of the neighborhood than the physical conditions of the buildings. The inhabitance agreed with a hypothetic thermal performance improvement of their buildings although sometimes the additional surface is required as the main priority and as a very important quality of life parameter. (shrink)

To determine the role Latino community gardens play in community development, open space, and civic agriculture, we conducted interviews with 32 community gardeners from 20 gardens, and with staff from 11 community gardening support non-profit organizations and government agencies. We also conducted observations in the gardens, and reviewed documents written by the gardeners and staff from 13 support organizations and agencies. In addition to being sites for production of conventional and ethnic vegetables and herbs, the gardens host numerous social, educational, (...) and cultural events, including neighborhood and church gatherings, holiday parties, children’s activities, school tours, concerts, health fairs, and voter registration drives. In some cases, the gardens also serve to promote community activism. The primary concern of gardeners is to secure land tenure in the face of pressures to develop the garden sites for housing. The support organizations and agencies provide help with land tenure, as well as with advocacy, organization, and horticultural practices. Although the role of the Latino gardens in community development appears to be more important than their role in open space or agricultural production, the gardens can also be viewed as unique “participatory landscapes” that combine aspects of all three movements, as well as provide a connection between immigrants and their cultural heritage. (shrink)

In the literature, different frameworks of probabilistic epistemic logic have been proposed. Most of these frameworks define knowledge or belief by relational structure. In this paper, we explore the relationship between probability and belief, based on the Lockean thesis, and adopt neighborhood semantics that defines belief directly using probability. We provide a sound and weakly complete axiomatization for our framework. We also try to explain the lottery paradox by modelling it within our framework. Moreover, the paper presents findings concerning the (...) relationship between knowledge, belief and probability within various frameworks. (shrink)

This work has been selected by scholars as being culturally important, and is part of the knowledge base of civilization as we know it. This work was reproduced from the original artifact, and remains as true to the original work as possible. Therefore, you will see the original copyright references, library stamps (as most of these works have been housed in our most important libraries around the world), and other notations in the work. This work is in the public domain (...) in the United States of America, and possibly other nations. Within the United States, you may freely copy and distribute this work, as no entity (individual or corporate) has a copyright on the body of the work. As a reproduction of a historical artifact, this work may contain missing or blurred pages, poor pictures, errant marks, etc. Scholars believe, and we concur, that this work is important enough to be preserved, reproduced, and made generally available to the public. We appreciate your support of the preservation process, and thank you for being an important part of keeping this knowledge alive and relevant. (shrink)

I first provide an accessible overview of the DWE (Doing Well Enough) logical and semantic framework for representing going beyond the call and its family of kindred concepts in a tightly intergraded way. Next, a module, for representing some basic agent-evaluative notions is developed (“AA” for “Aretaic Assessment”), and then it is integrated with the more act-evaluative notions of DWE, thereby allowing for a representation of suberogation and supererogation (as distinct from going beyond the call) and many other combined deontic (...) and agent-evaluative notions. I then probe more deeply into how the semantic structures for the DWE framework might themselves be generated and then offer some brief reflections on the classic supererogation puzzle, as well as that of supererogatory holes and the all or nothing problem, framing options via the preceding reflections. (shrink)