I lay down a system of structural rules for various notions of ground and establish soundness and completeness.

The interest in "social sustainability" has recently increased in the field of urban development. We want societies, cities, and neighborhoods to be economically and environmentally sustainable, but we also want urban areas that are safe, diverse, walkable, and relaxing, just to mention a few examples. Strikingly, however, there is no consensus regarding what definition of "social sustainability" should be employed. Additionally, some people are skeptical about the prospect of finding a useful definition at all and claim it is impossible to (...) satisfactorily define the concept for various reasons, such as its complexity. A potential first step towards navigating this conceptual maze is to provide desiderata for a definition of social sustainability. We defend a list of nine desiderata and thereby create a theoretical framework for analyzing and constructing a definition of "social sustainability". We also examine the skeptical arguments and find that it is premature to conclude that the goal of finding a useful definition is hopeless. With the criteria in place, the future debate can proceed by assessing definitions of "social sustainability" in a more structured and transparent manner. This activity is of upmost importance if we want to create just cities. Keywords: Social Sustainability, Definition, Purposes and Aims, Conditions of Adequacy. (shrink)

We pose a puzzle for forms and show how it might be solved by appeal to the theory of arbitrary objects. We also discuss how the resulting account of forms relates to issues concerning structural universals and the nature of abstraction.

Sociology requires a robust theory of how local circumstances create social order. When we analyze social structures not recognizing that they depend on groups with collective pasts and futures that are spatially situated and that are based on personal relations, we avoid a core sociological dimension: the importance of local context in constituting social worlds. Too often this has been the sociological stance, both in micro-sociological studies that examine interaction as untethered from local traditions and in research that treats culture (...) as autonomous from action and choice. Building on theories of action, group dynamics, and micro-cultures, I argue that a sociology of the local solves critical theoretical problems. The local is a stage on which social order gets produced and a lens for understanding how particular forms of action are selected. Treating ethnographic studies as readings of ongoing cultures, I examine how the continuing and referential features of group life (spatial arenas, relations, shared pasts) generate action and argue that local practices provide the basis for cultural extension, influencing societal expectations through the linkages among groups. (shrink)

Micro-sociological theory has traditionally stressed interactional pressures towards alignment: actors’ attempts to co-construct a shared definition of the situation. We argue that this model provides an insufficient account of the coordination of action and of the emergence of intersubjectivity among actors. To complement the focus on alignment, we develop a theory of disruption—a perceived misalignment of the dramaturgical structure of interaction in coordinating expected lines of action. We develop a theory of the interaction order that takes the interplay between (...) interactional alignment and disruption as a foundational challenge both for sociology and for actors in their everyday lives. We focus on the practical ways in which actors negotiate both interactional breaches and wider relational ruptures, and how they differentiate between disruptions-of relations and disruptions-for them. By doing so, we connect the interaction order to a wider relational order, providing a bridge between micro-level interactionism and the sociology of culture. (shrink)

We model Correia's hybrid algebraic/structural semantics within a form of the truthmaker semantics in which the propositions of the semantics are taken to to be closed under a well-behaved closure operation.

The paper sets up a general framework for defining the notion of verisimilitude. Popper’s own account of verisimilitude is then located within this framework; and his account is defended on the grounds that it can be seen to provide a reasonable structural or Pareto criterion, rather than a substantive criterion, of verisimilitude. Some other criteria of verisimilitude that may be located within the framework are also considered and their relative merits compared.

The essays in this edited collection, first published in 1986, focus on important debates surrounding the central Marxian problem of the transformation of values into prices. The collection brings together major contributions on the value theory debate from the decade prior to the book’s publication, and assesses the debate’s significance for wider issues. Value theory emerges as much more than a technical relation between labour time and prices, and the structure of the capitalist economy is scrutinised. This is a (...) relevant and comprehensive work, valuable to students, academics and professionals with an interest in political and Marxist economy. (shrink)

CLIO, Histoire, Femmes et sociétés est sans doute aujourd'hui une des revues d'histoire qui fait la plus grande place à l'anthropologie. Une place inégale selon les thèmes, importante lorsqu'il est question d'histoire des structures sociales et symboliques inscrites dans la longue durée (par exemple, le religieux, le temps des jeunes filles, les dots et patrimoines, la parole, la lecture et l'écriture, festins de femmes), plus limitée mais rarement absente lorsque les numéros sont centrés sur...

We make two suggestions with regard to Depue & Collins's target article. First, regarding the functioning of MOC13, we provide data indicating that, contrary to D&C's apparent position, this structure is not necessary for instrumental conditioning. Second, we suggest that D&C's approach would be advanced by reference to formal computational theory, in particular the work of Grossberg. We suggest that an integration of Grossberg 's and D&C's models can provide a more complete account of extraversion.

Over the last decade, cities, counties, and states across the United States have enacted higher minimum wages, paid sick leave and family leave, domestic worker protections, wage theft laws, “Ban the Box” removal of questions about conviction history from job applications, and fair scheduling laws. Nevertheless, vulnerable workers still do not trust government to come forward and report labor law violations. The article argues that while increasing the size of the labor inspectorate and engaging in strategic enforcement are necessary, they (...) are not sufficient. It argues that co-enforcement, in which government partners with organizations that have industry expertise and relationships with vulnerable workers, has the potential to manage the shifting and decentralized structures of twenty-first-century production, which were explicitly designed to evade twentieth-century laws and enforcement capabilities. The article aims to contribute to a broader understanding of the role of organizations in enforcement and the circumstances in which their effectiveness can be maximized. It sets forth a set of scope conditions and mechanisms and examines empirical cases of co-enforcement in Austin, Los Angeles, and San Francisco. The main findings are that co-enforcement is most enduring when government agencies and worker organizations recognize each other’s unique capacities, rather than attempt to substitute for one another ; the effort focuses on a specific industry; and the collaboration receives strong political support. Sustaining the impacts of co-enforcement is found to require greater formalization of the partnership and funding streams. (shrink)

Foetal neurones transplanted within the adult mammalian central nervous system survive and differentiate. Study of such transplants has yielded insights into the function, development and plasticity of brain structures, and suggests promising new therapies for a number of neurological disorders.

Hélène Charron est une bonne connaisseuse de l’histoire des sciences sociales en France. Après avoir étudié dans sa thèse la place des femmes et leur légitimité dans le champ social de la recherche en sciences sociales au cours des cinquante premières années de leur structuration en discipline nouvelle (entre 1890 et 1940), elle s’intéresse dans ce nouveau livre au contenu de ces recherches du point de vue des rapports sociaux de sexe. Elle choisit de les analyser dans la revue emblématique (...) d... (shrink)

Prompted by the debate over Michael Lebowitz's contributions on the relative absence of class struggle in Marx's Capital, this paper seeks to push analysis forward by closer examination of the notion of the value of labour-power. It does so by arguing that labour markets are structured, reproduced and transformed in complex and differentiated ways, whilst the moral and historical elements that make up the use-value interpretation of the value of labour-power also need to be addressed in a differentiated manner rather (...) than as a fixed bundle. (shrink)

The essays in this edited collection, first published in 1986, focus on important debates surrounding the central Marxian problem of the transformation of values into prices. The collection brings together major contributions on the value theory debate from the decade prior to the book’s publication, and assesses the debate’s significance for wider issues. Value theory emerges as much more than a technical relation between labour time and prices, and the structure of the capitalist economy is scrutinised. This is a (...) relevant and comprehensive work, valuable to students, academics and professionals with an interest in political and Marxist economy. (shrink)

Structures of employment in low-wage industries, a diminished wage and hour inspectorate, and an unworkable immigration regime have combined to create an environment where violations of basic workplace laws are everyday occurrences. This article identifies four “logics” of detection and enforcement, arguing that there is a mismatch between the enforcement strategies of most federal and state labor inspectorates and the industries in which noncompliance continues to be a problem. In response, the authors propose augmenting labor inspectorates by giving public interest (...) groups like unions and worker centers a formal, ongoing role in enforcement in low-wage sectors. In three case studies, the authors present evidence of an emergent system—one that harkens back to a logic proposed by the drafters of the Fair Labor Standards Act but never implemented—of empowering those closest to the action to work in partnership with government. (shrink)

Drawing on models of the interaction order, we describe how planning is an inherently social activity. We argue that planning as a practice involves five core elements: mirroring, identifying, coordinating, timing, and surmounting. Specifically, planning depends on (1) a realization of likely responses of others, (2) a recognition of communal understandings, grounded in local cultures, (3) a commitment to collaborative engagements with allies, (4) an adjustment to temporal sequences involving the use of “in time” strategies and tactics, and (5) an (...) ability to overcome or avoid obstacles and blocking moves set by competitors and adversaries. Planning is evident in micro-, meso-, or macro-level domains. To demonstrate how planning is a social accomplishment, we analyze three distinct ethnographic sites: the world of competitive chess, dependent on the micro-interactions of two competitors; the meso-level process of homebuying, requiring the aid of real estate agents as allies; and macro-level structures in directing social movement activism in a contentious action field. Planning extends beyond cognitive achievement and is central to a sociology of the future. (shrink)

The four main essays in this volume investigate new sectors of the theory of decision, preference, act-characteristics, and action analysis. Herbert A. Simon applies tools developed in the theory of decision-making to the logic of action, and thereby develops a novel concept of heuristic power. Adapting ideas from utility and decision theory, Nicholas Rescher proposes a logic of preference by which conflicting theories proposed by G. H. von Wright, R. M. Chisholm, and others can be systematized. Donald Davidson discusses difficulties (...) in specifying the structure of action sentences to elucidate how their meaning depends on that structure. G. H. von Wright devises a method for describing each “state of the world” that results from an action, in a revision of his own earlier work. Additionally, a study of the logic of norms by Alan Ross Anderson is presented as an appendix, along with an appendix by Rescher outlining the aspects of action. (shrink)

_The interest in "social sustainability" has recently increased in the field of urban development. We want societies, cities, and neighborhoods to be economically and environmentally sustainable, but we also want urban areas that are safe, diverse, walkable, and relaxing, just to mention a few examples. Strikingly, however, there is no consensus regarding what definition of "social sustainability" should be employed. Additionally, some people are skeptical about the prospect of finding a useful definition at all and claim it is impossible to (...) satisfactorily define the concept for various reasons, such as its complexity. A potential first step towards navigating this conceptual maze is to provide desiderata for a definition of social sustainability. We defend a list of nine desiderata and thereby create a theoretical framework for analyzing and constructing a definition of "social sustainability". We also examine the skeptical arguments and find that it is premature to conclude that the goal of finding a useful definition is hopeless. With the criteria in place, the future debate can proceed by assessing definitions of "social sustainability" in a more structured and transparent manner. This activity is of upmost importance if we want to create just cities._ _Keywords:_ Social Sustainability, Definition, Purposes and Aims, Conditions of Adequacy. (shrink)

Our final instalment in the debate with Jim Kincaid argues that his value-analysis suffers from weaknesses associated with both Ricardian and Rubinesque interpretations of Marx. These approaches are methodologically flawed, because value-theory does not draw upon externally imposed theories or standards of logic or evidence to check the conceptual or empirical validity of its approach to the understanding of capitalism. Rather, Marxian value-theory involves reconstructing in thought the class-based production-processes underpinning capitalism through to their more complex and concrete consequences in (...) the broader economic and social structures, agencies and processes, through which they are formed, albeit with definite effects of their own. Examination of the methodological shortcomings in Kincaid's analysis is followed by specific rebuttals of his claims about the determination of value and price, the circulation of capital, the role of competition, fixed capital, productive labour and the leverage of value-theory in informing empirical studies. (shrink)

There is long-standing conflict between genealogical and developmental accounts of homology. This paper provides a general framework that shows that these accounts are compatible and clarifies precisely how they are related. According to this framework, understanding homology requires both an abstract genealogical account that unifies the application of the term to all types of characters used in phylogenetic systematics and locally enriched accounts that apply only to specific types of characters. The genealogical account serves this unifying role by relying on (...) abstract notions of ‘descent’ and ‘character’. As a result, it takes for granted the existence of such characters. This requires theoretical justification that is provided by enriched accounts, which incorporate the details by which characters are inherited. These enriched accounts apply to limited domains, providing the needed theoretical justification for recognizing characters within that domain. Though connected to the genealogical account of homology in this way, enriched accounts include phenomena that fall outside the scope of the genealogical account. They therefore overlap, but are not nested within, the genealogical account. Developmental accounts of homology are to be understood as enriched accounts of body part homology. Once they are seen in this light, the conflict with the genealogical account vanishes. It is only by understanding the fine conceptual structure undergirding the many uses of the term ‘homology’ that we can understand how these uses hang together. (shrink)

We extend the construction of a global square sequence in extender models from Zeman [8] to a construction of coherent non-threadable sequences and give a characterization of stationary reflection at inaccessibles similar to Jensen’s characterization in L.

This chapter contains section titled: The Structure of the Focus of Appreciation Performance and Appreciation Ontology After Empiricism.

Before one can construct scales of minimal complexity in the Real Core Model, K(R), one needs to develop the fine-structure theory of K(R). In this paper, the fine structure theory of mice, first introduced by Dodd and Jensen, is generalized to that of real mice. A relative criterion for mouse iterability is presented together with two theorems concerning the definability of this criterion. The proof of the first theorem requires only fine structure; whereas, the (...) second theorem applies to real mice satisfying AD and follows from a general definability result obtained by abstracting work of John Steel on L(R). In conclusion, we discuss several consequences of the work presented in this paper relevant to two issues: the complexity of scales in K(R) and the strength of the theory ZF + AD + ¬ DC R. (shrink)

Lines of identity in Peirce's existential graphs are logically complex structures that comprise both identity and existential quantification. Yet geometrically they are simple: linear continua that cannot have “furcations” or cross “cuts.” By contrast Peirce's “ligatures” are geometrically complex: they can both have furcations and cross cuts. Logically they involve not only identity and existential quantification but also negation. Moreover, Peirce makes clear that ligatures are composed of lines of identity by virtue of the fact that such lines can be (...) “connected” with one another and can “abut upon” one another at a cut. This paper shows in logical detail how ligatures are composed and how they relate to identity, existential quantification, and negation. In so doing, it makes use of Peirce's non-standard account of the linear continuum, according to which, when a linear continuum is separated into two parts, the parts are symmetric rather than asymmetric, and the one point at which separation occurs actually becomes two points, each of which is a Doppelgänger of the other. (shrink)

In intuitionistic analysis, a subset of a Polish space like or is called positively Borel if and only if it is an open subset of the space or a closed subset of the space or the result of forming either the countable union or the countable intersection of an infinite sequence of (earlier constructed) positively Borel subsets of the space. The operation of taking the complement is absent from this inductive definition, and, in fact, the complement of a positively Borel (...) set is not always positively Borel itself (see Veldman, 2008a). The main result of Veldman (2008a) is that, assuming Brouwer's Continuity Principle and an Axiom of Countable Choice, one may prove that the hierarchy formed by the positively Borel sets is genuinely growing: every level of the hierarchy contains sets that do not occur at any lower level. The purpose of the present paper is a different one: we want to explore the truly remarkable fine structure of the hierarchy. Brouwer's Continuity Principle again is our main tool. A second axiom proposed by Brouwer, his Thesis on Bars is also used, but only incidentally. (shrink)

Traditionally, philosophers have focused mostly on the logical template of inference. The paradigm-case has been deductive inference, which is topic-neutral and context-insensitive. The study of deductive rules has engendered the search for the Holy Grail: syntactic and topic-neutral accounts of all prima facie reasonable inferential rules. The search has hoped to find rules that are transparent and algorithmic, and whose following will just be a matter of grasping their logical form. Part of the search for the Holy Grail has been (...) to show that the so-called scientific method can be formalised in a topic-neutral way. We are all familiar with Carnap’s inductive logic, or Popper’s deductivism or the Bayesian account of scientific method. (shrink)

In this paper we introduce a collection of isols having some interesting properties. Imagine a collection W of regressive isols with the following features: u, v ϵ W implies that u ⩽ v or v ⩽ u, u ⩽ v and v ϵ W imply u ϵ W, W contains ℕ = {0,1,2,…} and some infinite isols, and u eϵ W, u infinite, and u + v regressive imply u + v ϵ W. That such a collection W exists is (...) proved in our paper. It has many nice features. It also satisfies u, v ϵ W, u ⩽ v and u infinite imply v ⩽ g for some recursive combinatorial function g, and each u ϵ W is hereditarily odd-even and is hereditarily recursively strongly torre. The collection W that we obtain may be characterized in terms of a semiring of isols D introduced by J. C. E. Dekker in [5]. We will show that W = D, where c is an infinite regressive isol that is called completely torre. (shrink)

It is shown how certain generic extensions of a fine structural model in the sense of Mitchell and Steel [MiSt] can be reorganized as relativizations of the model to the generic object. This is then applied to the construction of Steel's core model for one Woodin cardinal [St] and its generalizations.

Let M\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$${\mathcal{M}}$$\end{document} be a fine structural mouse. Let D\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$${\mathbb{D}}$$\end{document} be a fully backgrounded L[E]\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$${L[\mathbb{E}]}$$\end{document}-construction computed inside an iterable coarse premouse S. We describe a process comparing M\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$${\mathcal{M}}$$\end{document} with D\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$${\mathbb{D}}$$\end{document}, through forming iteration trees on M\documentclass[12pt]{minimal} (...) \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$${\mathcal{M}}$$\end{document} and on S. We then prove that this process succeeds. (shrink)

We study in detail the blow-up procedure described in [BTW01]. We obtain a structure theorem for coreless polygroups as a double quotient space G//H, and a polygroup chunk theorem. Seeking to remove the arbitrary parameter needed for the blow-up, we find canonical Ø-invariant groupoids.

A promising approach to more refined models consistent with the Caplan & Waters hypothesis is based on similarity-based interference, a general principle that applies across working memory domains. This may explain both the fine details of syntactic working memory phenomena and the gross fractionation for which Caplan & Waters have found evidence. Detailed models of syntactic processing that embody similarity-based interference fare well cross-linguistically.