In our previous work we proved the conjecture NP = PSPACE by advanced proof theoretic methods that combined Hudelmaier’s cut-free sequent calculus for minimal logic with the horizontal compressing in the corresponding minimal Prawitz-style natural deduction. In this Addendum we show how to prove a weaker result NP = coNP without referring to HSC. The underlying idea is to omit full minimal logic and compress only “naive” normal tree-like ND refutations of the existence of Hamiltonian cycles in given non-Hamiltonian graphs, (...) since the Hamiltonian graph problem in NPcomplete. Thus, loosely speaking, the proof of NP = coNP can be obtained by HSC-elimination from our proof of NP = PSPACE. (shrink)

We show that arbitrary tautologies of Johansson’s minimal propositional logic are provable by “small” polynomial-size dag-like natural deductions in Prawitz’s system for minimal propositional logic. These “small” deductions arise from standard “large” tree-like inputs by horizontal dag-like compression that is obtained by merging distinct nodes labeled with identical formulas occurring in horizontal sections of deductions involved. The underlying geometric idea: if the height, h(∂), and the total number of distinct formulas, ϕ(∂), of a given tree-like deduction ∂ of a minimal (...) tautology ρ are both polynomial in the length of ρ, |ρ|, then the size of the horizontal dag-like compression ∂ᶜ is at most h(∂)×ϕ(∂), and hence polynomial in |ρ|. That minimal tautologies ρ are provable by tree-like natural deductions ∂ with |ρ|-polynomial h(∂) and ϕ(∂) follows via embedding from Hudelmaier’s result that there are analogous sequent calculus deductions of sequent ⇒ρ. The notion of dag-like provability involved is more sophisticated than Prawitz’s tree-like one and its complexity is not clear yet. Our approach nevertheless provides a convergent sequence of NP lower approximations of PSPACE-complete validity of minimal logic. (shrink)

We elaborate Weiermann-style phase transitions for well-partial-orderings (wpo) determined by iterated finite sequences under Higman-Friedman style embedding with Gordeev’s symmetric gap condition. For every d-times iterated wpo \documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$${\left({\rm S}\text{\textsc{eq}}^{d}, \trianglelefteq _{d}\right)}$$\end{document} in question, d > 1, we fix a natural extension of Peano Arithmetic, \documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$${T \supseteq \sf{PA}}$$\end{document}, that proves the corresponding second-order sentence \documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} (...) \begin{document}$${\sf{WPO}\left({\rm S}{\textsc{eq}}^{d}, \trianglelefteq _{d}\right) }$$\end{document}. Having this we consider the following parametrized first-order slow well-partial-ordering sentence \documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$${\sf{SWP}\left({\rm S}\text{\textsc{eq}}^{d}, \trianglelefteq _{d}, r\right):}$$\end{document}\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$\left( \forall K > 0 \right) \left( \exists M > 0\right) \left( \forall x_{0},\ldots,x_{M}\in {\rm S}\text{\textsc{eq}}^{d}\right)$$\end{document}\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$\left( \left( \forall i\leq M\right) \left( \left| x_{i}\right| 1}$$\end{document} then \documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$${\sf{SWP}\left({\rm S}\text{\textsc{eq}}^{d}, \trianglelefteq _{d},r \right) }$$\end{document} is not provable in T.Moreover, by the well-known proof theoretic equivalences we can just as well replace T by PA or ACA0 and \documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$${\Delta _{1}^{1}\sf{CA}}$$\end{document}, if d = 2 and d = 3, respectively.In the limit case d → ∞ we replaceEFA-provably computable reals r by EFA-provably computable functions \documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$${f: \mathbb{N} \rightarrow \mathbb{R}_{+}}$$\end{document} and prove analogous theorems. (In the sequel we denote by \documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$${\mathbb{R}_{+}}$$\end{document} the set of EFA-provably computable positive reals). In the basic case T = PA we strengthen the basic phase transition result by adding the following static threshold clause\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$${\sf{SWP}\left({\rm S}\text{\textsc{eq}}^{2}, \trianglelefteq _{2}, 1\right)}$$\end{document} is still provable in T = PA (actually in EFA). Furthermore we prove the following dynamic threshold clauses which, loosely speaking are obtained by replacing the static threshold t by slowly growing functions 1α given by \documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$${1_{\alpha }\left( i\right)\,{:=}\,1+\frac{1}{H_{\alpha }^{-1}\left(i\right) }, H_{\alpha}}$$\end{document} being the familiar fast growing Hardy function and \documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$${H_{\alpha }^{-1}\left( i\right)\,{:=}\,\rm min \left\{ j \mid H_{\alpha } \left ( j\right) \geq i \right\}}$$\end{document} the corresponding slowly growing inversion. If \documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$${\alpha < \varepsilon _{0}}$$\end{document}, then \documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$${\sf{SWP}\left({\rm S}\text{\textsc{eq}}^{2}, \trianglelefteq _{2}, 1_{\alpha}\right)}$$\end{document} is provable in T = PA. \documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$${\sf{SWP}\left( {\rm S}\text{\textsc{eq}}^{2}, \trianglelefteq _{2},1_{\varepsilon _{0}}\right)}$$\end{document} is not provable in T = PA. We conjecture that this pattern is characteristic for all \documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$${T\supseteq \sf{PA}}$$\end{document} under consideration and their proof-theoretical ordinals o (T ), instead of \documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$${\varepsilon _{0}}$$\end{document}. (shrink)

Kruskal proved that finite trees are well-quasi-ordered by hom(e)omorphic embeddability. Friedman observed that this statement is not provable in predicative analysis. Friedman also proposed (see in [Simpson]) some stronger variants of the Kruskal theorem dealing with finite labeled trees under home(e)omorphic embeddability with a certain gap-condition, where labels are arbitrary finite ordinals from a fixed initial segment of ω. The corresponding limit statement, expressing that for all initial segments of ω these labeled trees are well-quasi-ordered, is provable in Π 1 (...) 1 -CA, but not in the analogous theory Π 1 1 -CA 0 with induction restricted to sets. Schutte and Simpson proved that the one-dimensional case of Friedman's limit statement dealing with finite labeled intervals is not provable in Peano arithmetic. However, Friedman's gap-condition fails for finite trees labeled with transfinite ordinals. In [Gordeev 1] I proposed another gap-condition and proved the resulting one-dimensional modified statements for all (countable) transfinite ordinal-labels. The corresponding universal modified one-dimensional statement UM 1 is provable in (in fact, is equivalent to) the familiar theory ATR 0 whose proof-theoretic ordinal is Γ 0 . In [Gordeev 1] I also announced that, in the general case of arbitrarily-branching finite trees labeled with transfinite ordinals, in the proof-theoretic sense the hierarchy of the limit modified statements $\mathbf{M}_{ (which are denoted by LM λ in the present note) is as strong as the hierarchy of the familiar theories of iterated inductive definitions (more precisely, see [Gordeev 1, Concluding Remark 3]). In this note I present a "positive" proof of the full universal modified statement UM, together with a short proof of the crucial "reverse" results which is based on Okada's interpretation of the well-established ordinal notations of Buchholz corresponding to the theories of iterated inductive definitions. Formally the results are summarized in $\S5$ below. (shrink)

We introduce the appropriate iterated version of the system of ordinal notations from [G1] whose order type is the familiar Howard ordinal. As in [G1], our ordinal notations are partly inspired by the ideas from [P] where certain crucial properties of the traditional Munich' ordinal notations are isolated and used in the cut-elimination proofs. As compared to the corresponding “impredicative” Munich' ordinal notations (see e.g. [B1, B2, J, Sch1, Sch2, BSch]), our ordinal notations arearbitrary terms in the appropriate simple term (...) algebra based on the notion of collapsing functions (which we would rather identify as projective functions). In Sect. 1 below we define the systems of ordinal notationsPRJ( ), for any primitive recursive limit wellordering . In Sect. 2 we prove the crucial well-foundness property by using the appropriate well-quasi-ordering property of the corresponding binary labeled trees [G3]. In Sect. 3 we interprete inPRJ( ) the familiar Veblen-Bachmann hierarchy of ordinal functions, and in Sect. 4 we show that the corresponding Buchholz's system of ordinal notationsOT( ) is a proper subsystem ofPRJ( ), although it has the same order type according to [G3] together with the interpretation from Sect. 2 in the terms of labeled trees. In Sect. 5 we use Friedman's approach in order to obtain an appropriate purely combinatorial statement which is not provable in the theory of iterated inductive definitions ID< λ, for arbitrarily large limit ordinalλ. Formal theories, axioms, etc. used below are familiar in the proof theory of subsystems of analysis (see [BFPS, T, BSch]). (shrink)

The authors present the results of studying migration processes as one of the factors that determine the transformation of the regional social space. Applying migration indicators to assessing prospective spatial changes presupposes a multivariate analysis of developing complex heterogeneous systems. The version of applying problem-oriented visualization tools presented by the authors significantly expands the possibilities of such an analysis. Assessment, systematization and subsequent classification of migration characteristics are considered within the framework of a multi-stage graphical digital analysis procedure. The problems (...) of migration dynamics characterize a number of problems of the incipient deformation of social space. The main provisions and results of the study are presented as exemplified by the five largest urban areas of the Chelyabinsk region. The key contradictions generated by the processes of regional migration are presented for various urban areas of one of the leading industrial regions of the Urals. These are contradictions: dynamics of population inflow — outflow; the ratio of the balance of migration and migration flows, etc. The results of the study make it possible to proceed to more complex models of spatial reconstruction and sustainable development of territories. Considering such models lays the groundwork for passing on to a controlled transformation in the spatial development of territories and reducing the signs of social space deformation. (shrink)

In view of the twentieth anniversary of the Socium i Vlast’journal, on the day of the Russian science, a round table was held in the Chelyabinsk branch of the Russian Presidential Academy of National Economy and Public Administration in order to discuss topical issues of crisis dynamics and risks in the context of new global challenges. Below the main materials of the report based on the results of interdisciplinary research series as exemplified by the Chelyabinsk region are presented. The report (...) discusses the following issues: the economic dynamics of crisis processes, the analysis of trends variability, the assessment of the total income of organizations and individuals, the classification of development scenarios, the visualization of trajectories when analyzing the “picture of changes”. The issues of assessing the risks and prospective development scenarios are associated with the consideration and influence of the conditions of prolonged instability on it. (shrink)

Society economics has been always connected with religious and ethic views of each people. A lot of philosophers and theologists closely studied the problem of synthesis and mutual influence of these social institutions. Within the frame of historical development of philosophy there were such periods. The most illustrative example of such synthesis, maybe, is the parallel development of Protestantism and capitalism. It is possible to note this world tendency in the places with strong protestant influence (in particular its conservative branch (...) – kalvinism). Capitalism influence is also strong enough. Kalvin was the first to speak against the capital growth condemnation. He considered economy to be a natural aspect of man’s life which should be regulated in agreement with Bible. It’s worth noting that Kalvinist approach to personal life bred a new type of ascets in secular world very wealthy people who consider their wealth as their duty to the God. The main goal of these people was accumulation for accumulation sake and for their possibility of soul salvation but not for their demand satisfaction. These people consider themselves as some kind of tool; their direct religious duty was to accumulate wealth. This was the essence of “protestant spirit”, the intersection point of capitalism and Protestantism, the starting point of political economics. (shrink)

We analyze N. C. A. da Costa and F. A. Doria’s “exotic formalization” of the conjecture P = NP [3–7]. For any standard axiomatic PA extension T and any number-theoretic sentence ${\varphi }$ , we let ${\varphi ^{\star} := \varphi \vee \lnot \mathsf{Con}\left( \mathsf{T}\right)}$ and prove the following “exotic” inferences 1–3. 1. ${\mathsf{T}+\varphi ^{\star}}$ is consistent, if so is T, 2. ${\mathsf{T}+\varphi}$ is consistent, provided that ${\mathsf{T}+\varphi ^{\star}}$ is ω-consistent, 3. ${\mathsf{T}+\varphi}$ is consistent, provided that T is consistent and has (...) the same provably total recursive functions as ${\mathsf{T}+\left( \varphi \leftrightarrow \varphi ^{\star }\right) }$ . Furthermore we show that 1–3 continue to hold for ${\varphi ^{\star} := \varphi _{S} :=\varphi \vee \lnot S}$ , where ${S=\forall x\exists yR\left( x,y\right)}$ is any ${\Pi _{2}^{0}}$ sentence satisfying: 4. ${\left( \forall n\in \omega \right) \left( \mathsf{T}\vdash S_{x}\left[ \underline{n}\right] \right) }$ , 5. ${\mathsf{Con}\left( \mathsf{T}\right) \Rightarrow \mathsf{T}\nvdash S}$ . We observe that if ${\varphi :=\left[ \mathsf{P}=\mathsf{NP}\right] }$ and ${S:= \left[\digamma total\right] }$ , where ${\digamma=\digamma _{\mathsf{T}}}$ is da Costa-Doria “exotic” function with respect to T, then 4, 5 are satisfied for most familiar (presumably) consistent T in question, while ${\varphi _{S}}$ becomes equivalent to da Costa-Doria “exotic formalization” ${\left[ \mathsf{P}=\mathsf{NP}\right]^{\digamma}}$ . Moreover, the corresponding “exotic” inferences 1–3 generalize analogous da Costa-Doria results. Hence these “exotic” inferences are universal for all number-theoretic sentences and not characteristic to the conjecture P = NP. Nor do they infer relative consistency of P = NP (see Conclusion 15 in the text). (shrink)

The research is focused on the problems of transforming a complex heterogeneous spatial system, urban agglomeration with a unique natural complex. The paper touches upon the following issues: restrictions on spatial development, zoning of territories, transformation of the settlement framework, social transformations, and integration of the most significant city-forming objects. To predict transformations in such a system, a complex multilevel model is considered — “the biosphere core vs. urban environment”. Forming such a model to analyze the prospective development of the (...) territory involves updating the methodology aimed at the systemic socio-ecological-economic analysis of developing heterogeneous spatial systems, integration of cartographic and digital information, adaptation of IT visualization technologies, including the “neogeography” toolkit. In the study the authors analyze the main prospects for the spatial territory development as exemplified by developing the urban environment of the Chelyabinsk agglomeration with a unique “green zone” (Chelyabinsk urban forest), complex multi-level socio-economic system. The main research results create the prerequisites for a significant expansion of the possibilities for analyzing the prospects for sustainable socio-ecological-economic development of complex spatial systems with unique natural objects and effective management of regional development. (shrink)

Familiar proof theoretical and especially automated deduction methods sometimes accept infinity where, in fact, it can be omitted. Our first example deals with the infinite supply of individual variables admitted in 1-order deductions, the second one deals with infinite-branching rules in sequent calculi with number-theoretical induction. The contents of Section 1 summarize and extend basic ideas and results published elsewhere, whereas basic ideas and results of Section 2 are exposed for the first time in the present paper. We consider classical (...) formalisms only, to which constructive formalisms can be reduced by Shanin-style interpretations. (shrink)

The realities of the coronavirus crisis caused by the COVID-19 pandemic, in many cases, become decisive for adjusting the prospects for socio-economic development. The article presents the main results of studying the social aspect of the pandemic in the context of social heterogeneity and specific regional differences. The main points of the study are focused on analyzing the dynamics of the pandemic spreading in Russia’s regions, the specifics and effectiveness of social restrictions, and the transformation of social space. The analysis (...) of the pandemic dynamics was carried out taking into account the information from four large industrial regions in the center of Russia and the Urals. As part of the analysis, a number of problematic issues of the social constraints effectiveness are considered, among which there are the following ones: specificity of the pandemic dynamics by regions in the context of various options for self-isolation, factors of «Path Dependence» of the social space, the consequences of redundant restrictions, social «fatigue» and «erosion» of requirements for isolation. From the viewpoint of updating the transformation priorities - spatial transformations during a pandemic, the following aspects are considered: background for moving from isolation restrictions to spatial transformations, regional employment specificity, socio-economic priorities of spatial transformation, problem-oriented zoning of a heterogeneous socio-economic space. The study is aimed at developing an adequate authorities’ and society’s response to the problems of coronacrisis, forming a regionally adapted set of measures and strategies of socio-economic transformations during the pandemic, creating a basis for solving interdisciplinary issues in the subsequent situation of «normality 2020». (shrink)

The paper aims to provide precise proof theoretic characterizations of Myhill–Friedman-style “weak” constructive extensional set theories and Aczel–Rathjen analogous constructive set theories both enriched by Mostowski-style collapsing axioms and/or related anti-foundation axioms. The main results include full intuitionistic conservations over the corresponding purely arithmetical formalisms that are well known in the reverse mathematics – which strengthens analogous results obtained by the author in the 80s. The present research was inspired by the more recent Sato-style “weak weak” classical extensional set theories (...) whose proof theoretic strengths are shown to strongly exceed the ones of the intuitionistic counterparts in the presence of the collapsing axioms. (shrink)

This paper is a continuation of dag-like proof compression research initiated in [9]. We investigate proof compression phenomenon in a particular, most transparent case of propositional DNF Logic. We define and analyze a very efficient semi-analytic sequent calculus SEQ*0 for propositional DNF. The efficiency is achieved by adding two special rules CQ and CS; the latter rule is a variant of the weakened substitution rule WS from [9], while the former one being specially designed for DNF sequents. We show that (...) dag-like SEQ*0 has good deterministic proof search strategy. Furthermore, we expose six examples showing that dag-like deducibility in SEQ*0 admits exponential-size proof compression, as compared to familiar proof systems like cutfree sequent calculi, resolution and cutting plane proof systems. (shrink)

Hunting and gathering is, evolutionarily, the defining subsistence strategy of our species. Studying how children learn foraging skills can, therefore, provide us with key data to test theories about the evolution of human life history, cognition, and social behavior. Modern foragers, with their vast cultural and environmental diversity, have mostly been studied individually. However, cross-cultural studies allow us to extrapolate forager-wide trends in how, when, and from whom hunter-gatherer children learn their subsistence skills. We perform a meta-ethnography, which allows us (...) to systematically extract, summarize, and compare both quantitative and qualitative literature. We found 58 publications focusing on learning subsistence skills. Learning begins early in infancy, when parents take children on foraging expeditions and give them toy versions of tools. In early and middle childhood, children transition into the multi-age playgroup, where they learn skills through play, observation, and participation. By the end of middle childhood, most children are proficient food collectors. However, it is not until adolescence that adults (not necessarily parents) begin directly teaching children complex skills such as hunting and complex tool manufacture. Adolescents seek to learn innovations from adults, but they themselves do not innovate. These findings support predictive models that find social learning should occur before individual learning. Furthermore, these results show that teaching does indeed exist in hunter-gatherer societies. And, finally, though children are competent foragers by late childhood, learning to extract more complex resources, such as hunting large game, takes a lifetime. (shrink)

Work-themed play may allow children to learn complex skills, and ethno-typical and gender-typical behaviors. Thus, play may have made important contributions to the evolution of childhood through the development of embodied capital. Using data from Aka foragers and Ngandu farmer children from the Central African Republic, we ask whether children perform ethno- and gender-typical play and work activities, and whether play prepares children for complex work. Focal follows of 50 Aka and 48 Ngandu children were conducted with the aim of (...) recording children’s participation in 12 categories of work and work-themed play. Using these data, we test a set of hypotheses regarding how age, gender, ethnicity, and task complexity influence children’s activities. As hypothesized, we find performance of work-themed play is negatively correlated with age. Contrary to our hypothesis, children do not play more than they work at complex tasks, but they work more than they play at simple ones. Gender and ethnicity are associated with play and work at culturally salient activities, despite availability of other-gender and other-ethnicity social partners. Our findings show that ethnic and gender biases are apparent in the play and work behavior of Aka and Ngandu children. Moreover, our results show that play helps both forager and farmer children learn complex skills, consistent with play having an adaptive learning function. (shrink)

The philosopher and critic George Henry Lewes published this work in two volumes in 1845–6. This is a reissue of an 1892 printing, which brought the volumes into one book. Lewes wrote widely on literature, science and philosophy, and was also the long-term intimate companion of George Eliot. This book is a narrative history, rather than an encyclopedia, of key philosophers. It is, therefore, a partial and personal study instead of an exhaustive textbook. The first volume concentrates solely on Greek (...) philosophy, beginning with the Pre-Socratics and ending with the Neo-Platonists. The second volume jumps to Francis Bacon, concentrating on British, German and French philosophy, and addressing, among others, Spinoza, Locke, Hume and Kant, and ending with Auguste Comte. Containing both historical anecdotes and pithy analyses of ideas, this book reflects the expertise and intellectual sympathies of a Victorian polymath. (shrink)

Aspects of human life history and cognition, such as our long childhoods and extensive use of teaching, theoretically evolved to facilitate the acquisition of complex tasks. The present paper empirically examines the relationship between subsistence task difficulty and age of acquisition, rates of teaching, and rates of oblique transmission among Hadza and BaYaka foragers from Tanzania and the Republic of Congo. We further examine cross-cultural variation in how and from whom learning occurred. Learning patterns and community perceptions of task difficulty (...) were assessed through interviews. We found no relationship between task difficulty, age of acquisition, and oblique transmission, and a weak but positive relationship between task difficulty and rates of teaching. While same-sex transmission was normative in both societies, tasks ranked as more difficult were more likely to be transmitted by men among the BaYaka, but not among the Hadza, potentially reflecting cross-cultural differences in the sexual division of subsistence and teaching labor. Further, the BaYaka were more likely to report learning via teaching, and less likely to report learning via observation, than the Hadza, possibly owing to differences in socialization practices. (shrink)

Learning to use, make, and modify tools is key to our species’ success. Researchers have hypothesized that play with objects may have a foundational role in the ontogeny of tool use and, over evolutionary timescales, in cumulative technological innovation. Yet, there are few systematic studies investigating children’s interactions with objects outside the post-industrialized West. Here, we survey the ethnohistorical record to uncover cross-cultural trends regarding hunter-gatherer children’s use of objects during play and instrumental activities. Our dataset, consisting of 434 observations (...) of children’s toys and tools from 54 hunter-gatherer societies, reveals several salient trends: Most objects in our dataset are used in play. Children readily manufacture their own toys, such as dolls and shelters. Most of the objects that children interact with are constructed from multiple materials. Most of the objects in our dataset are full-sized or miniature versions of adult tools, reflecting learning for adult roles. Children also engage with objects related to child culture, primarily during play. Taken together, our findings show that hunter-gatherer children grow up playing, making, and learning with objects. (shrink)

Abstract‘Raising aspirations’ for education among young people in low socioeconomic regions has become a widespread policy prescription for increasing human capital investment and economic competitiveness in so-called ‘knowledge economies’. However, policy tends not to address difficult social, cultural, economic and political conditions for aspiring, based in structural changes associated with globalization. Drawing conceptually on the works of Pierre Bourdieu, Raymond Williams, Arjun Appadurai and authors in the Funds of Knowledge tradition, this article theorizes two logics for aspiring that are recognizable (...) in research with young people and families: a doxic logic, grounded in populist–ideological mediations; and a habituated logic, grounded in biographic–historical legacies and embodied as habitus. A less tangible third ‘logic’ is also theorized: emergent senses of future potential, grounded in lived cultures, which hold possibility for imagining and pursuing alternative futures. The article offers a sociological framework for understanding aspirations as complex social–cultural phenomena, and for capacitating emergent and hopeful aspirations through school- and community-based research and dialogue. (shrink)

Philosophical anthropologies (PAs) – ontological assumptions about human species-nature – have long faced Foucauldian post-structural rejection of their value and legitimacy in explaining sociological problematics. In this article I endorse Bourdieu’s resistance to a post-PA momentum, arguing that PAs need assuming in sociological research. In the process, I explore PAs within Bourdieu’s research framework, including how his key empirical-analytic concepts – ‘habitus’, ‘field’, ‘illusio’ and ‘forms of capital’ – echo the PAs he assumes. Yet I argue his conceptual framework would (...) do better without a PA he sometimes explicitly invokes: a ‘libidinal’ drive to compete for power in ‘games’ of social-field labour. I then draw on data from a survey of Australian education academics, who comment on how workforce restructures negatively affect their research and teaching labours. From the data, I argue that assuming a power-competitive PA as a driver of field labours inhibits attention to ethically-motivated desire for better labour purposes, fuelling critically-reflexive capacities to challenge field-structured power games. In turn, I diagnose that Bourdieu’s conceptual framework needs, but lacks, Marxian assumption of a human-species impulse for labours to serve use-valued social purposes, and that commodification of labours generates emotional alienation. I therefore suggest a ‘Marxification’ of Bourdieu’s framework. (shrink)

George W. Bush's controversial effort to direct government funds to religious social-service groups—his so-called 'faith-based initiative'—was influenced by confessional ideas about political order that are little understood in U.S. politics. Two key ideas from the Christian Democratic tradition in Europe played a formative role: the Dutch Calvinist theory of 'sphere sovereignty,' and the Catholic principle of 'subsidiarity'. This article describes what Bush set out to do with his faith-based initiative and investigates the confessional influences on this policy agenda in their (...) European context. Viewed in this comparative light, Bush's vision of faith-based welfare is shown to be deficient in its understanding of the religious ideas on which it draws. (shrink)

At the beginning of the third millennium we are entering a new era. I call it "The Integration/Disintegration Era" because the Integration/ Disintegration Problem is one of the basic problems our world is facing today. Philosophy attempts to work out an integrated view of the universe, of human nature, and of society. The specific philosophical science which has concerned itself with integration/ disintegration, is Integratism. This is the common denominator of different particular problems in the integration /disintegration of the universe, (...) society and personality; and it supplies a possible philosophical solution to the general problem of disintegration. The main concept of integratism is integration [Lat. integer, complete]. My theoretical and empirical study of various aspects of integration/ disintegration problems in modern science and education has led to the formulation of a new, rather systematic and, I believe, quite useful conception of contemporary integratism that contributes not only to the attempt to develop a theory of integration/disintegration processes in various biological and social systems but also to practical problems of developing contemporary integrated educational systems. Further concepts of contemporary integratism are: integrative level, IDon, adaptive disintegration, ADon, disadaptive disintegration, adaptive reintegration, sanosphere, pathosphere, etc. The philosophy of integratism might provide a possible philosophical solution to the general problem of disintegration and in this way assign priority to certain particular problems concerning the disintegration of the world. (shrink)

The human capacity for culture is a key determinant of our success as a species. While much work has examined adults’ abilities to create and transmit cultural knowledge, relatively less work has focused on the role of children (approx. 3-17 years) in this important process. In the cases where children are acknowledged, they are largely portrayed as acquirers of cultural knowledge from adults, rather than cultural producers in their own right. In this paper, we bring attention to the important role (...) that children play in cultural adaptation by highlighting the structure, function, and ubiquity of the large body of knowledge produced and transmitted by children, known as peer culture. Supported by evidence from diverse disciplines, we argue that children are independent producers and maintainers of these autonomous cultures, which exist with regularity across diverse societies, and persist despite compounding threats. Critically, we argue peer cultures are a source of community knowledge diversity, encompassing both material and immaterial knowledge related to geography, ecology, subsistence, norms, and language. Through a number of case studies, we further argue that peer culture products and associated practices — including exploration, learning, and the retention of abandoned adult cultural traits — may help populations adapt to changing ecological and social conditions, contribute to community resilience, and even produce new cultural communities. We end by highlighting the pressing need for research to more carefully investigate children's roles as active agents in cultural adaptation. (shrink)

The writers of these works make the transition from folk psychology, theological views on human nature and metaphysical speculation to a more empirical and scientific study of the human mind, giving an insight into how pyschology emerged.