'Value' is a central concept in all of the principles and methods applied in Lean Construction, but it is rather difficult to provide a precise definition of the term. The problem lies in the word value itself: its ambiguity and vagueness make theorization difficult. This paper investigates the philosophical concept of value from a Lean Construction perspective. Several elements that contribute to value are considered, including objective elements such as waste reduction, quality, price and functionality, and more subjective elements such (...) as design. The hypothesis of this paper is that the reduction or removal of elements that detract from value, such as waste and costs, is not the only means by which value may be increased. The Sorites paradox is used to form a cohesive perspective on some different meanings of the word ‗value‘. One of the known ‗solutions‘ of the paradox, utilization theory, is then explored through a case study in off-site construction that illustrates how different actors in the construction process view value, and how utility theory can be used to provide a consensus on value that is acceptable. In practice, ‗value‘ is ambiguous because actors generally value different things and these views seldom converge during projects. Our results indicate that the actors involved strive for value individually. Analysis using utility theory allows the actors to establish a shared conceptualization of value, expressed in monetary terms. The work described in this paper aims to improve our understanding of value and of how to design products in construction to improve value for clients of industrialized housing. (shrink)

People use commonsense science knowledge to flexibly explain, predict, and manipulate the world around them, yet we lack computational models of how this commonsense science knowledge is represented, acquired, utilized, and revised. This is an important challenge for cognitive science: Building higher order computational models in this area will help characterize one of the hallmarks of human reasoning, and it will allow us to build more robust reasoning systems. This paper presents a novel assembled coherence theory of human conceptual change, (...) whereby people revise beliefs and mental models by constructing and evaluating explanations using fragmentary, globally inconsistent knowledge. We implement AC theory with Timber, a computational model of conceptual change that revises its beliefs and generates human-like explanations in commonsense science. Timber represents domain knowledge using predicate calculus and qualitative model fragments, and uses an abductive model formulation algorithm to construct competing explanations for phenomena. Timber then scores competing explanations with respect to previously accepted beliefs, using a cost function based on simplicity and credibility, identifies a low-cost, preferred explanation and accepts its constituent beliefs, and then greedily alters previous explanation preferences to reduce global cost and thereby revise beliefs. Consistency is a soft constraint in Timber; it is biased to select explanations that share consistent beliefs, assumptions, and causal structure with its other, preferred explanations. In this paper, we use Timber to simulate the belief changes of students during clinical interviews about how the seasons change. We show that Timber produces and revises a sequence of explanations similar to those of the students, which supports the psychological plausibility of AC theory. (shrink)

Hylomorphism is the Aristotelian theory according to which substances are composites of matter and form. If my house is a substance, then its matter would be a collection of bricks and timbers and its form something like a structure that unites those bricks and timbers into a single substance. Contemporary hylomorphists are divided on how to understand forms best, but a prominent group of theorists argue that forms are emergent powers. According to such views, when material components are arranged appropriately, (...) a novel substance emerges with the power to impose unity on its components through time. I argue that these accounts of form fall prey to a bootstrapping problem, and so, suffer from issues of redundancy, given plausible assumptions about inherence. In their place, I suggest an ontologically minimalist conception of forms as collective manifestations of the powers of matter. (shrink)

Hylomorphism is the Aristotelian theory according to which substances are composed of matter and form. If a house is a substance, then its matter would be a collection of bricks and timbers and its form something like the structure of those bricks and timbers. It is widely agreed that matter bears a mereological relationship to substance; the bricks and timbers are parts of the house. But with form things are more controversial. Is the structure of the bricks and timbers best (...) conceived as a part of the house, or is it related to the house in some non-mereological fashion? Kathrin Koslicki argues that substances have formal parts, that forms are best conceived as bearing a mereological relation to substances. This paper shows that her argument fails, given the traditional and plausible distinction between substances and accidental unities. I close with a brief suggestion for a non-mereological construal of forms. (shrink)

Hylomorphists claim that substances—human beings, oak trees, chemical compounds—are compounds of matter and form. If a house is a substance, then its matter would be some bricks and timbers and its form the structure those bricks and timbers take on. While hylomorphism is traditionally presented as a theory of change, it only treats the coming-to-be and passing-away of matter-form compounds. But many hylomorphists understand forms to be entities in their own right, as parts or constituents of substances. So, a neglected (...) question arises: how, when, and from where do forms come to be? I take up the view of one prominent and representative hylomorphist, Kathrin Koslicki, and argue that she cannot answer these questions satisfactorily. I close with a proposal for an account of the generation of forms based on machinery many hylomorphists already accept, namely, causal powers, that points to a deflationary metaphysics of form. (shrink)

In Pastoral and Monumental, Donald C. Jackson chronicles America's longtime fascination with dams as represented on picture postcards from the late nineteenth to the mid-twentieth century. Through over four hundred images, Jackson documents the remarkable transformation of dams and their significance to the environment and culture of America. Initially, dams were portrayed in pastoral settings on postcards that might jokingly proclaim them as “a dam pretty place.” But scenes of flood damage, dam collapses, and other disasters also captured people's attention. (...) Later, images of New Deal projects, such as the Hoover Dam, Grand Coulee Dam, and Norris Dam, symbolized America's rise from the Great Depression through monumental public works and technological innovation. Jackson relates the practical applications of dams, describing their use in irrigation, navigation, flood control, hydroelectric power, milling, mining, and manufacturing. He chronicles changing construction techniques, from small timber mill dams to those more massive and more critical to a society dependent on instant access to electricity and potable water. Concurrent to the evolution of dam technology, Jackson recounts the rise of a postcard culture that was fueled by advances in printing, photography, lowered postal rates, and America's fascination with visual imagery. In 1910, almost one billion postcards were mailed through the U.S. Postal Service, and for a period of over fifty years, postcards featuring dams were “all the rage.” Whether displaying the charms of an old mill, the aftermath of a devastating flood, or the construction of a colossal gravity dam, these postcards were a testament to how people perceived dams as structures of both beauty and technological power. (shrink)

Buddhism is all about training the mind, and boot camp is an ideal training method for this generation's short attention span. The chapters in this small book can be read in any order, and are simple and easy to understand. Each story, inspirational quote, and teaching offers mindfulness-enhancing techniques that anyone can relate to. You don't need to be a Buddhist to find the Buddha's teachings motivational. As the Dalai Lama says, "Don't try to use what you learn from Buddhism (...) to be a Buddhist; use it to be a better whatever-you-already-are." So whether it's Mother Teresa's acts of charity, Gandhi's perseverance, or your aunt Betty's calm demeanor, as long as you're motivated to be better today than you were yesterday, it doesn't matter who inspires you. Regardless of religion, geographical region, race, ethnicity, color, gender, sexual orientation, age, ability, flexibility, or vulnerability, if you do good you feel good, and if you do bad you feel bad. Buddhism isn't just about meditating. It's about rolling up your sleeves to relieve some of the suffering in the world. If you are ready to be a soldier of peace in the army of love, welcome to Buddhist Boot Camp! (shrink)

In this article we analyze the claim that a probabilistic interpretation of the infinite epistemic regress problem leads to a unique solution, the so called “completion” of the regress. This claim is implicitly based on the assumption that the standard Kolmogorov axioms of probability theory are suitable for describing epistemic probability. This assumption, however, has been challenged in the literature, by various authors. One of the alternatives that have been suggested to replace the Kolmogorov axioms in case of an epistemic (...) interpretation of probability, are belief functions, introduced by Shafer in 1976. We show that when one uses belief functions to describe the infinite epistemic regress problem, it is no longer the case that the solution is unique. We also argue that this complies with common sense. (shrink)

The article presents proofs of the context freeness of a family of typelogical grammars, namely all grammars that are based on a uni- ormultimodal logic of pure residuation, possibly enriched with thestructural rules of Permutation and Expansion for binary modes.

Noam Chomsky's book on syntactic structures is a serious attempts on the part of a linguist to construct within the tradition of scientific theory-construction ...

Social groups—like teams, committees, gender groups, and racial groups—play a central role in our lives and in philosophical inquiry. Here I develop and motivate a structuralist ontology of social groups centered on social structures (i.e., networks of relations that are constitutively dependent on social factors). The view delivers a picture that encompasses a diverse range of social groups, while maintaining important metaphysical and normative distinctions between groups of different kinds. It also meets the constraint that not every arbitrary collection (...) of people is a social group. In addition, the framework provides resources for developing a broader structuralist view in social ontology. (shrink)

We give an example of a simple ω-categorical theory such that for any finite set of parameters the corresponding constant expansion does not satisfy the PAPA. We describe a wide class of homogeneous structures with generic automorphisms and show that some natural reducts of our example belong to this class.

While mechanistic explanation and, to a lesser extent, nomological explanation are well-explored topics in the philosophy of biology, topological explanation is not. Nor is the role of diagrams in topological explanations. These explanations do not appeal to the operation of mechanisms or laws, and extant accounts of the role of diagrams in biological science explain neither why scientists might prefer diagrammatic representations of topological information to sentential equivalents nor how such representations might facilitate important processes of explanatory reasoning unavailable to (...) scientists who restrict themselves to sentential representations. Accordingly, relying upon a case study about immune system vulnerability to attacks on CD4+ T-cells, I argue that diagrams group together information in a way that avoids repetition in representing topological structure, facilitate identification of specific topological properties of those structures, and make available to controlled processing explanatorily salient counterfactual information about topological structures, all in ways that sentential counterparts of diagrams do not. (shrink)

Theories of the nature of time offered by anthropology, science, and religion are not only numerous but also very different. This groundbreaking book cuts through the confusion by introducing a provocative new tripolar model of time that integrates the human, natural, and religious dimensions of time into a single, harmonious whole. Wolfgang Achtner, Stefan Kunz, and Thomas Walter begin by exploring the structures of time in anthropological terms. They discuss time phenomenologically, showing how it can be experienced in three (...) distinct ways -- the mythic-cyclic, the rational-linear, and the mystic-holistic -- and they root these experiences in the findings of modern neuroscience and trace these three forms of the perception of time within various cultures of antiquity. The second part of the book looks at time as it has been described by some of sciences most profound theories, including classical mechanics, the special and general theories of relativity, quantum mechanics, thermodynamics, and chaos theory. The authors then bring religion into the equation by surveying how time is conceived in both the Hebrew Bible and the Christian New Testament. They distinguish time concepts in wisdom and apocalyptic literature from time concepts in prophetic literature, and they demonstrate the basic eschatological orientation of the Christian view of time. "Dimensions of Time culminates by tying together the various strands of the authors' multidisciplinary, tripolar model of time. Offering a fascinating application of their unique theory, Achtner, Kunz, and Walter show how the unhealthy acceleration of life in contemporary society needs to be balanced by a rediscovery ofthe mystical experience of time, leading to a greater, deeper sense of human fulfillment. (shrink)

Motivated by Kalman residuated lattices, Nelson residuated lattices and Nelson paraconsistent residuated lattices, we provide a natural common generalization of them. Nelson conucleus algebras unify these examples and further extend them to the non-commutative setting. We study their structure, establish a representation theorem for them in terms of twist structures and conuclei that results in a categorical adjunction, and explore situations where the representation is actually an isomorphism. In the latter case, the adjunction is elevated to a categorical equivalence. (...) By applying this representation to the original motivating special cases we bring to the surface their underlying similarities. (shrink)

In this article we explore some properties of H-structures which are introduced in [2]. We describe a construction of H-structures based on one-dimensional asymptotic classes which preserves pseudofiniteness. That is, the H-structures we construct are ultraproducts of finite structures. We also prove that under the assumption that the base theory is supersimple of SU-rank one, there are no new definable groups in H-structures. This improves the corresponding result in [2].

This book describes a program of research in computable structure theory. The goal is to find definability conditions corresponding to bounds on complexity which persist under isomorphism. The results apply to familiar kinds of structures (groups, fields, vector spaces, linear orderings Boolean algebras, Abelian p-groups, models of arithmetic). There are many interesting results already, but there are also many natural questions still to be answered. The book is self-contained in that it includes necessary background material from recursion theory (ordinal (...) notations, the hyperarithmetical hierarchy) and model theory (infinitary formulas, consistency properties). (shrink)

We deal with the existence of universal members in a given cardinality for several classes. First, we deal with classes of abelian groups, specifically with the existence of universal members in cardinalities which are strong limit singular of countable cofinality or λ=λℵ0. We use versions of being reduced—replacing Q by a subring —and get quite accurate results for the existence of universals in a cardinal, for embeddings and for pure embeddings. Second, we deal with the oak property, a property of (...) complete first-order theories sufficient for the nonexistence of universal models under suitable cardinal assumptions. Third, we prove that the oak property holds for the class of groups and deals more with the existence of universals. (shrink)

The partial structures program of da Costa, French and others offers a unified framework within which to handle a wide range of issues central to contemporary philosophy of science. I argue that the program is inadequately equipped to account for simple cases where idealizations are used to construct abstract, mathematical models of physical systems. These problems show that da Costa and French have not overcome the objections raised by Cartwright and Suárez to using model‐theoretic techniques in the philosophy of (...) science. However, my concerns arise independently of the more controversial assumptions that Cartwright and Suárez have employed. (shrink)

Contemporary architecture is increasingly grounded in science and mathematics. Architectural discourse has shifted radically from the sometimes disorienting Derridean deconstruction, to engaging scientific terms such as fractals, chaos, complexity, nonlinearity, and evolving systems. That's where the architectural action is -- at least for cutting-edge architects and thinkers -- and every practicing architect and student needs to become conversant with these terms and know what they mean. Unfortunately, the vast majority of architecture faculty are unprepared to explain them to students, not (...) having had a scientific education themselves. Here is an architecture book by an architect/scientist, just in time to help architects in the new millennium. Alexander discusses many of the scientific terms arising in cutting-edge architecture, and explains them to those who don't have scientific training or advanced mathematical knowledge. We find discussions of the evolution of forms; the importance of process in design; iteration; genetic algorithms; sequences of transformations; different levels of scale (i.e. fractals); etc. They are explained here by an architect who is also a scientist, because he wants to change the way architects think and build. Alexander is not merely popularizing other scientists' results and making them accessible to architects: he is in fact presenting new and original scientific work that ties many of these concepts together in a way that will be useful to architects. (shrink)

This chapter contains sections titled: Introduction The Once Received View (ORV) Criticisms of the ORV The “Model Model” of Scientific Theories Mechanisms: Investigating Nonformal Patterns in Scientific Theories Conclusion.

Hrushovski originated the study of “flat” stable structures in constructing a new strongly minimal set and a stable 0-categorical pseudoplane. We exhibit a set of axioms which for collections of finite structure with dimension function δ give rise to stable generic models. In addition to the Hrushovski examples, this formalization includes Baldwin's almost strongly minimal non-Desarguesian projective plane and several others. We develop the new case where finite sets may have infinite closures with respect to the dimension function δ. (...) In particular, the generic structure need not be ω-saturated and so the argument for stability is significantly more complicated. We further show that these structures are “flat” and do not interpret a group. (shrink)

In this paper, representational structures of arithmetical thinking, encoded in human minds, are described. On the basis of empirical research, it is possible to distinguish four types of mental number lines: the shortest mental number line, summation mental number lines, point-place mental number lines and mental lines of exact numbers. These structures may be treated as generative mechanisms of forming arithmetical representations underlying our numerical acts of reference towards cardinalities, ordinals and magnitudes. In the paper, the theoretical framework (...) for a formal model of mental arithmetical representations is constructed. Many competitive conceptions of the mental system responsible for our arithmetical thinking may be unified within the presented framework. The paradigm underlying our research may be interpreted philosophically as a neo-Kantian approach to modeling the mind’s representational structures. (shrink)

Virtue ethics has a rich history; yet, its application in health ethics has been minimal compared to other major ethical frameworks. Even more, its application to health policy and population-level questions has been almost nonexistent. A new concept in moral theology, structures of virtue, provides impetus for ethicists to consider how virtue ethics can be a valuable addition to existing frameworks in public health ethics. This article offers a basic overview of virtue ethics and its value for analysis of (...) social structures in public health. It does so by explaining how virtue can be seen not only in the process of public health—the promotion of habituated behavior—but also in the content of public health—values such as temperance, fortitude and prudence. It concludes with two extended applications of virtue ethics: vaccination policy and healthy eating. (shrink)

How do humans, their needs, and technology interact in society? Marcel Siegler explores the dialectical relationship between human needs and desires, the demands and requirements of the built world, and the forms of organization that hold both humans and the built world together. He argues that complex societal constellations emerge from the actions individuals perform with the technological means at hand to satisfy their needs and desires in the short and long run. Based on a novel, complementary reading of French (...) philosopher Jean-Paul Sartre, the study develops a conceptual framework for analyzing the intricate machinations of sociotechnical systems from a perspective on situated human-technology interaction. (shrink)

Sheaves of structures are useful to give constructions in universal algebra and model theory. We can describe their logical behavior in terms of Heyting‐valued structures. In this paper, we first provide a systematic treatment of sheaves of structures and Heyting‐valued structures from the viewpoint of categorical logic. We then prove a form of Łoś's theorem for Heyting‐valued structures. We also give a characterization of Heyting‐valued structures for which Łoś's theorem holds with respect to any (...) maximal filter. (shrink)

Whitehead, in his famous book "Process and Reality", proposed a definition of point assuming the concepts of “region” and “connection relation” as primitive. Several years after and independently Grzegorczyk, in a brief but very interesting paper proposed another definition of point in a system in which the inclusion relation and the relation of being separated were assumed as primitive. In this paper we compare their definitions and we show that, under rather natural assumptions, they coincide.

This is a collection of published and unpublished essays by distinguished philosopher Michael E. Bratman of Stanford University. They revolve around his influential theory, know as the "planning theory of intention and agency." Bratman's primary concern is with what he calls "strong" forms of human agency--including forms of human agency that are the target of our talk about self-determination, self-government, and autonomy. These essays are unified and cohesive in theme, and will be of interest to philosophers in ethics and metaphysics.