Niche Construction Theory has been gaining acceptance as an explanatory framework for processes in biological and human evolution. Human cultural niche construction, in particular, is suggested as a basis for understanding many phenomena that involve human genetic and cultural evolution. Herein I assess the ability of the cultural niche construction framework to meet this explanatory role by looking into several NCT-inspired accounts that have been offered for two important episodes of human evolution, and by examining the contribution of NCT to (...) the elucidation of two “primary examples” mentioned often in the NCT literature. The result, I claim, is rather disappointing: While NCT may serve as a descriptive framework for these phenomena, it cannot be said to explain them in any substantive sense. Especially disturbing is NCT’s failure to account for differing developments in very similar situations, and to facilitate evaluation and discrimination between divergent and contradictory causal accounts of particular phenomena. I argue that these problems are inherent, and they render NCT unsuitable to serve as an explanatory framework for human phenomena. NCT’s value, at least as related to human phenomena, is therefore descriptive and heuristic rather than explanatory. In conclusion, I discuss and reject comparisons made between NCT and the theory of natural selection, and examine several potential sources of NCT’s explanatory weakness. (shrink)

We formulate a predicative, constructive theory of continuous domains whose realizability interpretation gives a practical implementation of continuous ω-chain complete posets and continuous maps between them. We apply the theory to implementation of the interval domain and exact real numbers.

We give an elementary theory of Henselian local rings and construct the Henselisation of a local ring. All our theorems have an algorithmic content.

In modern evolutionary theory, selection acts on particular genes and assemblages of genes that operate through phenotypes expressed in environments. This view, however, overlooks the fact that organisms often alter their environments in pursuit of fitness needs and thus modify some environmental selection pressures. Niche construction theory introduces a reciprocal causal process that modifies natural selection relative to three general kinds of environmental components: abiota, biota (other organisms), and artifacts. The ways in which niche-constructing organisms can construct or modify the (...) components differ. Modification of abiota, for example, may have different consequences from the construction of artifacts. Some changes in abiota may simply be caused by the by-products of metabolisms and activities of organisms. Alternatively, artifacts may be “extended phenotypes” that demonstrate obvious prior “design” and “construction” by organisms in the service of fitness needs. Nevertheless, adaptation should always account for the reciprocity between constructed niches and the living agents that construct them. Looking to well-adapted nature for inspiration for human-built artifacts must account for this reciprocity between phenotype and constructed environment as well as the novel features of human architecture, including frank intentionality of design and novel culturally acquired knowledge. (shrink)

In this thesis, I reconstruct C. Kenneth Waters’ “practice-centered approach” to philosophy of biology. The objective of the approach is to resolve theoretical debates in biology by appealing to how theories are used to predict and control a phenomenon, not just explain it. By turning our attention to how theories are used in practice, we can see that two conceptually incompatible theories can actually coextend. I put the approach to the test with a contemporary case study: the (...) debate between the Standard Evolutionary Theory and Niche Construction Theory. The debate centers on whether to amend the concept of an evolutionary process. Waters argues that the practice-centered approach resolves the debate with a pluralist framework. I argue that a pluralist framework is not warranted in this case, thus demonstrating that Waters’ approach is not a panacea for all theoretical debates in biology. (shrink)

Despite recognition as an important, potentially unifying construct within the social sciences and humanities, value lacks an overarching theoretical framework. One theory within the social sciences, personal construct theory, is suggested as a theoretical foundation for human values, and an attempt to situate values within this theory is presented. It is argued that human values are core constructs in the language of personal construct theory, while ordinary beliefs are peripheral constructs. Various implications and applications of this formulation are discussed.

We present a uniform proof-theoretic proof of the Gödel–McKinsey–Tarski embedding for a class of first-order intuitionistic theories. This is achieved by adapting to the case of modal logic the methods of proof analysis in order to convert axioms into rules of inference of a suitable sequent calculus. The soundness and the faithfulness of the embedding are proved by induction on the height of the derivations in the augmented calculi. Finally, we define an extension of the modal system for which (...) the result holds with respect to geometric intuitionistic. (shrink)

Complexity is pleased to announce the installment of Prof Hiroki Sayama as its new Chief Editor. In this Editorial, Prof Sayama describes his feelings about his recent appointment, discusses some of the journal’s journey and relevance to current issues, and shares his vision and aspirations for its future.

In this paper a method for the replacement, in formulas, of strong quantifiers by functions is introduced that can be considered as an alternative to Skolemization in the setting of constructive theories. A constructive extension of intuitionistic predicate logic that captures the notions of preorder and existence is introduced and the method, orderization, is shown to be sound and complete with respect to this logic. This implies an analogue of Herbrand's theorem for intuitionistic logic. The orderization method (...) is applied to the constructive theories of equality and groups. (shrink)

Consistent with the “niche construction” hypothesis, human beings tailor their behavior to local circumstances in ways beneficial to their inclusive fitness. However, the fact that any human being seems equally capable of adopting any of these context-dependent fitness-enhancing behaviors makes niche construction theory implausible in practice. The human capacity for exhibiting context-specific behavior remains in need of an explanation.

One of the standard criticisms of John Austin’s work is that his portrayal of law, as essentially the command of a sovereign to its subjects, does not fit well with the way law is practiced or perceived by lawyers, judges, and citizens; and since the theory “fails to fit the facts,” Austin’s theory must be rejected in favor of later theories that have better fit. Many influential modern approaches to the nature of law, including Joseph Raz’s exclusive legal positivism (...) and Ronald Dworkin’s interpretivism, while they criticize the lack of fit of theories like Austin’s, themselves unapologetically offer characterizations of legal practice that deviate in significant ways from the way most people practice or perceive law. Thus, it appears that many contemporary legal theorists wish to have it both ways: they use the deviations from conventional understandings as grounds for dismissing some theories by other scholars, but forgive or overlook comparable deviations in their own theories. This article explores what general principles can be learned, or developed, regarding when or to what extent deviation from the way law is practiced and perceived can be justified in a theory of the nature of law by other theoretical gains. Additionally, the article considers whether, in light of the proper approach to fit and mistake in theory-construction, Austin’s theory of law might be a more viable alternative than is conventionally assumed. (shrink)

I present a general theory for the initial domestication of plants and animals that is based on niche construction theory and incorporates several behavioral ecological concepts, including central-place provisioning, resource catchment, resource ownership and defensibility, and traditional ecological knowledge. This theory provides an alternative to, and replacement for, current explanations, including diet breadth models of optimal foraging theory, that are based on an outmoded concept of asymmetrical adaptation and that attempt to explain domestication as an adaptive response to resource imbalance (...) resulting from either environmental decline or human population growth. The small-scale human societies that first domesticated plants and animals share a number of basic interrelated attributes that when considered as an integrated and coherent set of behaviors provide the context for explaining initial domestication not as an adaptive response to an adverse environmental shift or to human population growth or packing but rather as the result of deliberate human enhancement of resource-rich environments in situations where evidence of resource imbalance is absent. (shrink)

We show that the following results in the classical theory of unbounded linear operators on Hilbert spaces can be proved within the framework of Bishop's constructive mathematics: the Kato-Rellich theorem, the spectral theorem, Stone's theorem, and the self-adjointness of the most common quantum mechanical operators, including the Hamiltonians of electro-magnetic fields with some general forms of potentials.

In this article we strive to provide a detailed and principled analysis of the role of beliefs in goal processing—that is, the cognitive transition that leads from a mere desire to a proper intention. The resulting model of belief-based goal processing has also relevant consequences for the analysis of intentions, and constitutes the necessary core of a constructive theory of intentions, i.e. a framework that not only analyzes what an intention is, but also explains how it becomes what it (...) is. We discuss similarities and differences between our approach and other standard accounts of intention, in particular Bratman’s planning theory. The aim here is to question and refine the conceptual foundations of many theories of intentional action: as a consequence, although our analysis is not formal in itself, it is ultimately meant to have deep consequences for formal models of intentional agency. (shrink)

Daka destinations refer to tagging one’s visit to a popular destination by posting on social media. As a novel tourism concept derived from digital media in the post-pandemic era, Daka destinations have become a major option for potential tourists; thus, investigating tourist intentions toward them is of utmost significance to tourism recovery. Based on the viewpoints of information sources of Daka destinations, tourism motivations, and self-construction, this study investigates the research framework of potential tourism intentions through three scenarios. The findings (...) revealed the following: Different information sources have different stimuli for potential tourists, and WeChat Moments exerted a positive impact on tourism intention because of credibility; tourism bloggers from Weibo exert a more significant positive impact on tourism intentions of potential tourists because of professionalism. Considering the credibility of WeChat Moments, the extrinsic motivation of potential tourists exerted a more significant impact on tourism intentions; regarding professional tourism bloggers, the intrinsic motivation of potential tourists exerted a more significant impact on tourism intention. Regarding the credibility of WeChat Moments, dependent self-construction potential tourists with extrinsic motivation exerted a more significant impact on tourism intention. Regarding tourism bloggers with high professionalism, independent self-construal potential tourists with intrinsic motivation exerted a more significant impact on tourism intention. This study enriches the research mechanism of the formation path of potential tourists’ tourism intention, extends the self-construction theory to the research field of using social media to collect Daka destinations tourism information, and provides a reference to subsequent research on potential tourists’ tourism intention. (shrink)

We give a constructive treatment of the theory of Noetherian rings. We avoid the usual restriction to coherent rings; we can even deal with non-discrete rings. We introduce the concept of rings with certifiable equality which covers discrete rings and much more. A ring R with certifiable equality can be fitted with a partial ideal membership test for ideals of R. Lazy bases of ideals of R [X ] are introduced in order to derive a partial ideal membership test (...) for ideals of R [X ]. It is then proved that if R is Noetherian, then so is R [X ]. (shrink)

We show that various fragments of the intuitionistic/constructive theory of the reals are decidable.

First Published in 1999. Routledge is an imprint of Taylor & Francis, an informa company.

In the present paper we use the theory of exact completions to study categorical properties of small setoids in Martin-Löf type theory and, more generally, of models of the Constructive Elementary Theory of the Category of Sets, in terms of properties of their subcategories of choice objects. Because of these intended applications, we deal with categories that lack equalisers and just have weak ones, but whose objects can be regarded as collections of global elements. In this context, we study (...) the internal logic of the categories involved, and employ this analysis to give a sufficient condition for the local cartesian closure of an exact completion. Finally, we apply this result to show when an exact completion produces a model of CETCS. (shrink)

Natural selection is the populational process whereby, for instance, the relative number of a variant better suited to a given environment’s attributes increases over generations. In other words, a population’s makeup is altered, over generations, to suit the requirements of a particular environment. Niche construction is the process whereby an environment’s attributes can be stably modified by organisms, over generations, to suit requirements of those organisms. Should the latter process, when it occurs, be considered as significant for the complementary fit (...) between organism and environment as the former? According to mainstream evolutionary theory, random genetic mutation is the only source of novel, unlearned, trans-generationally persistent behavior. A growing number of biologists and philosophers of science, however, maintain that organisms are capable of generating such behavior, in response to, for instance, trans-generationally persistent environmental change, by way of phenotype-mediated, developmentally plastic mechanisms that do not require mutation. Should mechanisms of this sort be more generally recognized as the source of the selectable variation that selection operates on? Niche construction theory answers “yes” to both these questions, and the result is a debate over the comprehensiveness of mainstream evolutionary theory. (shrink)

While niche construction theory locates animal artefacts in their constructors’ environment, hence treating them as capable of exerting selective pressure on both the constructors and their descendants, the extended phenotype concept assimilates artefacts with their constructors’ genes. Analogous contrasts apply in the case of endoparasite and brood parasite genes influencing host behaviour. The explanatory power of these competing approaches are assessed by re-examining the core chapters of Richard Dawkins’ _The Extended Phenotype_. Because animal artefacts have multiple evolutionary consequences for their (...) constructors, the extra-body effects of a gene seemingly include feedback effects on multiple other genes, a result which is more consistent with niche construction theory than with selfish gene theory. In the case of endoparasite genes influencing host behaviour, Dawkins’ argument leaves out what appears to be the key explanatory component, namely the role of the host’s own bodily systems in making it possible for such genes to exist. For action at a distance, it is unclear whether the key genes have extended effects because they sit in the body of the manipulating organism, or alternatively do not have such effects because they sit in the body of its victim. It is argued that niche construction theory offers a superior explanation in all three cases, regardless of whether the extended phenotype concept is interpreted in selfish gene or selfish organism terms. (shrink)

This paper presents several independence results concerning the topos-valid and the intuitionistic predicative theory of locales. In particular, certain consequences of the consistency of a general form of Troelstra's uniformity principle with constructive set theory and type theory are examined.

The aim of this paper is to analyse the role that the distinction between principle and constructive theories have in the question of the explanatory power of Special Relativity. We show how the distinction breaks down at the explanatory level. We assess Harvey Brown’s (2005) claim that, as a principle theory, Special Relativity lacks of explanatory power and criticize it, as, we argue, based upon an unrealistic picture of the kind of explanations provided by principle (and constructive) (...) theories. Finally, we claim that the structural account of explanation (Hughes 1989b) captures the explanatory success of Special Relativity. (shrink)

We give a formal interpretation of Martin-Löf's Constructive Theory of Types in Elementary Topos Theory which is presented as a formalised theory with intensional equality of objects. Types are interpreted as arrows and variables as sections of their types. This is necessary to model correctly the working of the assumption x ∈ A. Then intensional equality interprets equality of types. The normal form theorem which asserts that the interpretation of a type is intensional equal to the pullback of its (...) “alignment” along some “base” arrow relates this interpretation to categorical semantic of types. (shrink)

In this thesis, we study the least fixed point principle in a constructive setting. A constructive theory of functions and sets has been developed by Feferman. This theory deals both with sets and with functions over sets as independent notions. In the language of Feferman's theory, we are able to formulate the least fixed point principle for monotone inductive definitions as: every operation on classes to classes which satisfies the monotonicity condition has a least fixed point. This is (...) called the principle of monotone inductive definition. Furthermore, we may formulate this principle in a uniform way as: there is an operation which maps a monotone operation to its least fixed point. This is called the principle of uniform monotone inductive definition. Feferman raised the question of the strength of the principle of monotone inductive definition when adjoined to his theory . This question is our primary concern in this thesis. ;Our main results are the consistency of both the principle of monotone inductive definition and the principle of uniform monotone inductive definition adjoined to his theory, and the proof theoretical equivalence between the principle of monotone inductive definition with Feferman's system without the inductive generation axiom and the system of the Pi-one-one Comprehension Axiom. Determination of the proof-theoretical strength of the principle of monotone inductive definition adjoined to Feferman's theory still remains open. ;The consistency of both the principle of monotone inductive definition and the principle of uniform monotone inductive definition with Feferman's theory will be achieved by constructing their models in set theoretical sense. The proof theoretical equivalence between the principle of monotone inductive definition with Feferman's system without the inductive generation axiom and the system of the Pi-one-one Comprehension Axiom can be obtained by a careful examination of the model construction for the principle of monotone inductive definition with Feferman's system without the inductive generation axiom, which is parallel to the model construction for the principle of monotone inductive definition with his theory. (shrink)

People construe reality by using words as basic units of meaningful categorization. The present theory-driven study applied the method of a free association task to explore how people express the concepts of the world and the self in words. The respondents were asked to recall any five words relating with the word world. Afterwards they were asked to recall any five words relating with the word self. The method of free association provided the respondents with absolute freedom to choose any (...) words they wanted. Such free recall task is suggested as being a relatively direct approach to the respondents’ self- and world-related conceptual categories, without enormous rational processing. The results provide us, first, with associative ranges for constructs of the world and the self, where some associative dimensions are defined by semantic polarities in the meanings of peripheral categories (e.g., Nature vs. Culture). Second, our analysis showed that some groups of verbal categories that were associated with the words world and self are central, while others are peripheral with respect to the central position. Third, the analysis of category networks revealed that some categories play the role of a transmitter, mediating the pathway between other categories in the network. (shrink)

A new approach to landscape ecology involves the application of the eco-field hypothesis and the General Theory of Resources. In this study, we describe the putative eco-field of bark beetles as a spatial configuration with a specific meaning-carrier for every organism-resource interaction. Bark beetles are insects with key roles in matter and energy cycles in coniferous forests, which cause significant changes to forestry landscapes when outbreaks occur. Bark beetles are guided towards host trees by the recognition of semiotic signals using (...) a specific eco-field. These signals mainly comprise a group of scents, which are called the odourtope. Their interactions with other organisms occur by sharing relevant information from the eco-field networks in the forest ecosystem. The eco-field networks modulate the expansion of the realized semiotic niche of the bark beetle towards the potential semiotic niche. Moreover, the niche construction process can be initiated by interchanging signals among species living in the same place, where these signals allow the exploitation of the required resources. If different organisms are interdependent on signals in eco-field networks, then this process may result in the establishment of mutualistic relationships. This is an example of how evolutionary processes are initiated by the recognition of signals in a network of eco-fields. (shrink)

Superstitious practices have been considered since the ancient times as signs of deviating cognitive forms, concerned with irrelevant causal relationships, and/or reducible to religious beliefs. Recent theories such as the extended mind and cognitive niche construction, though, can shed new light on superstition and its apparently unreasonable success. The trigger is to observe how most superstitions are not mere “beliefs” hosted in a naked mind, but rather involve a strong coupling between the mind and some external props allowing its (...) extensions away from the skull: from bodily gestures, to artifacts and other agents. The mind’s capability to extend into the environment supports the related theory of cognitive niche construction, suggesting that human agents achieved better and better performances by creating external structures able to provide better and persistent scaffoldings for their cognitive performances. When it is not possible to detect and exploit the presence of a cognitive niche in the environment, superstitious practices can be identified as the possibility to deploy an emergency-cognitive niche projected by the superstitious agent into the world by means of a superstitious prop. It is poorer and less reliable but preferable to utter blank, and most important it is still coupled with the external world, thus maintaining the fundamental characteristic of cognitive niches, that is distribution. (shrink)

Most axiomatizations of set theory that have been treated metamathematically have been based either entirely on classical logic or entirely on intuitionistic logic. But a natural conception of the settheoretic universe is as an indefinite (or “potential”) totality, to which intuitionistic logic is more appropriately applied, while each set is taken to be a definite (or “completed”) totality, for which classical logic is appropriate; so on that view, set theory should be axiomatized on some correspondingly mixed basis. Similarly, in the (...) case of predicative analysis, the natural numbers are considered to form a definite totality, while the universe of sets (or functions) of natural numbers are viewed as an indefinite totality, so that, again, a mixed semi-constructive logic should be the appropriate one to treat the two together. Various such semiconstructive systems of analysis and set theory are formulated here and their proof-theoretic strength is characterized. Interestingly, though the logic is weakened, one can in compensation strengthen certain principles in a way that could be advantageous for mathematical applications. (shrink)

Chihara seeks to avoid commitment to mathematical objects by replacing traditional assertions of the existence of mathematical objects with assertions about possibilities of constructing certain open-sentence tokens. I argue that Chihara's project can be defended against several important objections, but that it is no less epistemologically problematic than its platonistic competitors.

This article addresses the use of computer-assisted career guidance systems in career interventions. Major CACGS developed in the past decades were based on the trait-factor or person-environment fit approaches in their conceptualization and design. The strengths and limitations of these CACGS in addressing the career development needs of individuals are discussed. The Career Construction Theory is a promising paradigm to guide the development of new generations of CACGS. The narrative tradition, career adaptability model, and life-design interventions of CCT offer rich (...) conceptual and practical applications that could expand the scope and breadth of career exploration and identity construction through using CACGS. A digital system developed in Hong Kong called Infinity is a case-in-point of a CACGS where users could learn about career planning, engage in self and career construction through using the quantitative and qualitative assessment applications and gamified tools, take career planning actions over time, and communicate with their social supportive systems. Initial findings suggested that users of the system reported lesser decision-making difficulties, higher levels of decision clarity, and better understanding of what is career planning than non-users. Users from high academic achievement schools reported higher levels of career adaptability than their counterparts in schools of similar academic background. Users from low achievement schools reported higher intention to pursue government-supported universities than non-users from schools of similar background. Research and practice implications in schools and organizational settings are discussed. (shrink)

In this paper we study the modal behavior of Σ-preservativity, an extension of provability which is equivalent to interpretability for classical superarithmetical theories. We explain the connection between the principles of this logic and some well-known properties of HA, like the disjunction property and its admissible rules. We show that the intuitionistic modal logic given by the preservativity principles of HA known so far, is complete with respect to a certain class of frames.

One of the major philosophical problems in physical sciences is what criteria should determine how scientific theories are selected and justified in practice and whether, in describing observable physical phenomena, such theories are effectively constrained to be unique. This book studies the example of a particular theory, the S-matrix theory. The S-matrix program was initiated by Heisenberg to deal with difficulties encountered in quantum field theories in describing particular phenomena. Since then, each theory has at different times (...) been favored as the explanation of observed phenomena. Certainly the S-matrix theory was adequate, feasible and fertile. However, the quantum field theory interpretation is now widely accepted and the study of alternative theories is all but abandoned. By examining the philosophy which influenced the turns in this story, the author explains how an adequate and viable theory fell out of favor and concludes with a critique of different methodologies in the history of science. (shrink)

This book constitutes a major contribution to our understanding of the mechanisms of knowledge construction and a rare attempt to bridge the gap between biological and connectionist models, on the one hand, and cognitive models on the other. The volume documents a revolution now occurring in the cognitive sciences and in the field of epistemic complexity, a revolution that permits the approach to the problem of knowledge construction from the standpoint of both theoretical models and simulation.The first chapter of the (...) book presents an up-to-date account of a number of recent trends in the field of self-organization theory. In particular, entropy, algorithmic complexity, self-referentiality and cellular automata are widely discussed. The second chapter focuses on some advances obtained, from a modelistic point of view, in biological computing. The alternative splicing and the interface between ruler and coder constitute the essential backbone of the chapter. This chapter also introduc .. (shrink)

In this paper we study the modal behavior of Σ‐preservativity, an extension of provability which is equivalent to interpretability for classical superarithmetical theories. We explain the connection between the principles of this logic and some well‐known properties of HA, like the disjunction property and its admissible rules. We show that the intuitionistic modal logic given by the preservativity principles of HA known so far, is complete with respect to a certain class of frames.

We present an extension of constructive Zermelo{Fraenkel set theory [2]. Constructive sets are endowed with an applicative structure, which allows us to express several set theoretic constructs uniformly and explicitly. From the proof theoretic point of view, the addition is shown to be conservative. In particular, we single out a theory of constructive sets with operations which has the same strength as Peano arithmetic.

In this paper we give a new proof of the characterization of the closed fragment of the provability logic of Heyting's Arithmetic. We also provide a characterization of the closed fragment of the provability logic of Heyting's Arithmetic plus Markov's Principle and Heyting's Arithmetic plus Primitive Recursive Markov's Principle.

In this paper we prove conservation theorems for theories of classical first-order arithmetic over their intuitionistic version. We also prove generalized conservation results for intuitionistic theories when certain weak forms of the principle of excluded middle are added to them. Members of two families of subsystems of Heyting arithmetic and Buss-Harnik’s theories of intuitionistic bounded arithmetic are the intuitionistic theories we consider. For the first group, we use a method described by Leivant based on the negative (...) translation combined with a variant of Friedman’s translation. For the second group, we use Avigad’s forcing method. (shrink)