We continue the analysis of foundations of positive model theory as introduced by Ben Yaacov and Poizat. The objects of this analysis are $h$-inductive theories and their models, especially the “positively” existentially closed ones. We analyze topological properties of spaces of types, introduce forms of quantifier elimination, and characterize minimal completions of arbitrary $h$-inductive theories. The main technical tools consist of various forms of amalgamations in special classes of structures.

We develop positive model theory, which is a non first order analogue of classical model theory where compactness is kept at the expense of negation. The analogue of a first order theory in this framework is a compact abstract theory: several equivalent yet conceptually different presentations of this notion are given. We prove in particular that Banach and Hilbert spaces are compact abstract theories, and in fact very well-behaved as such.

We introduce a notion of the space of types in positive model theory based on Stone duality for distributive lattices. We show that this space closely mirrors the Stone space of types in the full first-order model theory with negation (Tarskian model theory). We use this to generalise some classical results on countable models from the Tarskian setting to positive model theory.

We prove that compactness is equivalent to the amalgamation property, provided the occurrence number of the logic is smaller than the first uncountable measurable cardinal. We also relate compactness to the existence of certain regular ultrafilters related to the logic and develop a general theory of compactness and its consequences. We also prove some combinatorial results of independent interest.

John Harsanyi has offered an argument grounded in Bayesian decision theory that purports to show that John Rawls's original position analysis leads directly to utilitarian conclusions. After explaining why a prominent Rawlsian line of response to Harsanyi's argument fails, I argue that a seemingly innocuous Bayesian rationality assumption, the continuity axiom, is at the heart of a fundamental disagreement between Harsanyi and Rawls. The most natural way for a Rawlsian to respond to Harsanyi's line of analysis, I argue, is (...) to reject continuity. I then argue that this Rawlsian response fails as a defence of the difference principle, and I raise some concerns about whether it makes sense to posit the discontinuities needed to support the other elements of Rawls's view, although I suggest that Rawls may be able to invoke discontinuity to vindicate part of his first principle of justice. (shrink)

We introduce the notion of positive local combinatorial dividing-lines in model theory. We show these are equivalently characterized by indecomposable algebraically trivial Fraïssé classes and by complete prime filter classes. We exhibit the relationship between this and collapse-of-indiscernibles dividing-lines. We examine several test cases, including those arising from various classes of hypergraphs.

This paper is a general introduction to Positive Logic, where only what we call h-inductive sentences are under consideration, allowing the extension to homomorphisms of model-theoric notions which are classically associated to embeddings; in particular, the existentially closed models, that were primitively defined by Abraham Robinson, become here positively closed models. It accounts for recent results in this domain, and is oriented towards the positivisation of Jonsson theories.

The Guarded Negation Fragment (GNFO) is a fragment of first-order logic that contains all positive existential formulas, can express the first-order translations of basic modal logic and of many description logics, along with many sentences that arise in databases. It has been shown that the syntax of GNFO is restrictive enough so that computational problems such as validity and satisfiability are still decidable. This suggests that, in spite of its expressive power, GNFO formulas are amenable to novel optimizations. In (...) this article we study the model theory of GNFO formulas. Our results include effective preservation theorems for GNFO, effective Craig Interpolation and Beth Definability results, and the ability to express the certain answers of queries with respect to a large class of GNFO sentences within very restricted logics. (shrink)

George Lakoff (in his book Women, Fire, and Dangerous Things(1987) and the paper "Cognitive semantics" (1988)) champions some radical foundational views. Strikingly, Lakoff opposes realism as a metaphysical position, favoring instead some supposedly mild form of idealism such as that recently espoused by Hilary Putnam, going under the name "internal realism." For what he takes to be connected reasons, Lakoff also rejects truth conditional model-theoretic semantics for natural language. This paper examines an argument, given by Lakoff, against realism and (...) MTS. We claim that Lakoff's argument has very little, if any, impact for linguistic semantics. (shrink)

Husserl’s philosophy of mathematics, his metatheory, and his transcendental phenomenology have a sophisticated and systematic interrelation that remains relevant for questions of ontology today. It is well established that Husserl anticipated many aspects of model theory. I focus on this aspect of Husserl’s philosophy in order to argue that Thomasson’s recent pleonastic reconstruction of Husserl’s approach to essences is incompatible with Husserl’s philosophy as a whole. According to the pleonastic approach, Husserl can appeal to essences in the absence (...) of a positive metaphysical account of their nature. I show, using central results from recent model theory, that the pleonastic approach undermines Husserl’s approach to formalization and categoricity, an effect that will ripple out from Husserl’s philosophy of mathematics into Husserl’s metatheory and transcendental phenomenology. The result is that Husserl cannot appeal to formal essences without metaphysical commitments. However, the very observations Thomasson makes about the nature of eidetic intuition in Husserl lead to a general strategy for responding to the problem. The article thus illustrates that the pleonastic and the model-theoretic routes for making Husserl relevant to present-day ontology are competing approaches, but I conclude that Husserl scholars seeking to set Husserl’s present-day relevance into sharp relief could do worse than to emphasize the model-theoretic nature of Husserl’s enterprise. (shrink)

Vector spaces over unspecified fields can be axiomatized as one-sorted structures, namely, abelian groups with the relation of parallelism. Parallelism is binary linear dependence. When equipped with the n-ary relation of linear dependence for some positive integer n, a vector-space is existentially closed if and only if it is n-dimensional over an algebraically closed field. In the signature with an n-ary predicate for linear dependence for each positive integer n, the theory of infinite-dimensional vector spaces over algebraically (...) closed fields is the model-completion of the theory of vector spaces. (shrink)

George Lakoff (in his book Women, Fire, and Dangerous Things (1987) and the paper "Cognitive semantics" (1988)) champions some radical foundational views. Strikingly, Lakoff opposes realism as a metaphysical position, favoring instead some supposedly mild form of idealism such as that recently espoused by Hilary Putnam, going under the name internal realism." For what he takes to be connected reasons, Lakoff also rejects truth conditional model-theoretic semantics for natural language.

We introduce a quite natural Frege-style set theory, which we call Strong-Frege-2 equation image, a sort of simplification of the theory considered in 13 and 1 . We give a model of a weaker variant of equation image, called equation image, where atoms and coatoms are allowed. To construct the model we use an enumeration “almost without repetitions” of the Π11 sets of natural numbers; such an enumeration can be obtained via a classical priority argument much (...) in the style of 5 and 15. © 2011 WILEY-VCH Verlag GmbH & Co. KGaA, Weinheim. (shrink)

This thesis is concerned with the expansions of algebraic structures and their fit in Shelah’s classification landscape.The first part deals with the expansion of a theory by a random predicate for a substructure model of a reduct of the theory. Let T be a theory in a language $\mathcal {L}$. Let $T_0$ be a reduct of T. Let $\mathcal {L}_S = \mathcal {L}\cup \{S\}$, for S a new unary predicate symbol, and $T_S$ be the $\mathcal {L}_S$ (...) -theory that axiomatises the following structures: $$ consist of a model $\mathscr {M}$ of T and S is a predicate for a model $\mathscr {M}_0$ of $T_0$ which is a substructure of $\mathscr {M}$. We present a setting for the existence of a model-companion $TS$ of $T_S$. As a consequence, we obtain the existence of the model-companion of the following theories, for $p>0$ a prime number: • $\mathrm {ACF}_p$, $\mathrm {SCF}_{e,p}$, $\mathrm {Psf}_p$, $\mathrm {ACFA}_p$, $\mathrm {ACVF}_{p,p}$ in appropriate languages expanded by arbitrarily many predicates for additive subgroups;• $\mathrm {ACF}_p$, $\mathrm {ACF}_0$ in the language of rings expanded by a single predicate for a multiplicative subgroup;• $\mathrm {PAC}_p$ -fields, in an appropriate language expanded by arbitrarily many predicates for additive subgroups.From an independence relation in T, we define independence relations in $TS$ and identify which properties of are transferred to those new independence relations in $TS$, and under which conditions. This allows us to exhibit hypotheses under which the expansion from T to $TS$ preserves $\mathrm {NSOP}_{1}$, simplicity, or stability. In particular, under some technical hypothesis on T, we may draw the following picture : Configuration $T_0\subseteq T$ Generic expansion $TS$ $T_0 = T$ Preserves stability $T_0\subseteq T$ Preserves $\mathrm {NSOP}_{1}$ $T_0 = \emptyset $ Preserves simplicityIn particular, this construction produces new examples of $\mathrm {NSOP}_{1}$ not simple theories, and we study in depth a particular example: the expansion of an algebraically closed field of positive characteristic by a generic additive subgroup. We give a full description of imaginaries, forking, and Kim-forking in this example.The second part studies expansions of the group of integers by p-adic valuations. We prove quantifier elimination in a natural language and compute the dp-rank of these expansions: it equals the number of independent p-adic valuations considered. Thus, the expansion of the integers by one p-adic valuation is a new dp-minimal expansion of the group of integers. Finally, we prove that the latter expansion does not admit intermediate structures: any definable set in the expansion is either definable in the group structure or is able to “reconstruct” the valuation using only the group operation.prepared by Christian d’Elbée.E-mail: [email protected]: https://choum.net/~chris/page_perso. (shrink)

This paper introduces a natural extension of Kolchin's differential Galois theory to positive characteristic iterative differential fields, generalizing to the non-linear case the iterative Picard—Vessiot theory recently developed by Matzat and van der Put. We use the methods and framework provided by the model theory of iterative differential fields. We offer a definition of strongly normal extension of iterative differential fields, and then prove that these extensions have good Galois theory and that a G-primitive (...) element theorem holds. In addition, making use of the basic theory of arc spaces of algebraic groups, we define iterative logarithmic equations, finally proving that our strongly normal extensions are Galois extensions for these equations. (shrink)

Recent accounts of scientific method suggest that a model, or analogy, for an axiomatized theory is another theory, or postulate set, with an identical calculus. The present paper examines five central theses underlying this position. In the light of examples from physical science it seems necessary to distinguish between models and analogies and to recognize the need for important revisions in the position under study, especially in claims involving an emphasis on logical structure and similarity in form (...) between theory and analogy. While formal considerations are often relevant in the employment of an analogy they are neither as extensive as proponents of this viewpoint suggest, nor are they in most cases sufficient for allowing analogies to fulfill the roles imputed to them. Of major importance, and what these authors generally fail to consider, are physical similarities between analogue and theoretical object. Such similarities, which are characteristic in varying degrees of most analogies actually employed, play an important role in affording a better understanding of concepts in the theory and also in the development of the theoretical assumptions. (shrink)

This paper is a follow-up to [4], in which a mistake in [6] was corrected. We give a strenghtening of the main result on the semantical nonconservativity of the theory of PT−with internal induction for total formulae${$, denoted by PT−in [9]). We show that if to PT−the axiom of internal induction forallarithmetical formulae is added, then this theory is semantically stronger than${\rm{P}}{{\rm{T}}^ - } + {\rm{INT}}\left$. In particular the latter is not relatively truth definable in the former. Last (...) but not least, we provide an axiomatic theory of truth which meets the requirements put forward by Fischer and Horsten in [9]. The truth theory we define is based on Weak Kleene Logic instead of the Strong one. (shrink)

The position of the spindle determines the position of the cleavage plane, and is thus crucial for cell division. Although spindle positioning has been extensively studied, the underlying forces ultimately responsible for moving the spindle remain poorly understood. A recent pioneering study by Garzon‐Coral et al. uses magnetic tweezers to perform the first direct measurements of the forces involved in positioning the mitotic spindle. Combining this with molecular perturbations and geometrical effects, they use their data to argue that the forces (...) that keep the spindle in its proper position for cell division arise from astral microtubules growing and pushing against the cell's cortex. Here, we review these ground‐breaking experiments, the various biomechanical models for spindle positioning that they seek to differentiate, and discuss new questions raised by these measurements. (shrink)

The main purpose of this study was to examine the relationship between flow experience and goal orientation theory, as well as, the differences in flow experience based on the orthogonal model of goal orientation theory. Two hundred and seventy eight athletes completed the Task and Ego Orientation Sport Questionnaire based on how they usually feel. The Flow State Scale was completed thirty minutes after an important competition, along with the challenge-skill ratings, based on how athletes felt during (...) the particular competition. The results indicated that the athletes’ task orientation may be the critical factor for attaining flow in competitive sport, feeling more skillful and estimating the upcoming competition as challenging, while ego orientated athletes lack these elements, which are important for them to get into flow. Additionally, the balance between athletes’ goal orientation preferences seems important for the formation of flow experience. (shrink)

This article considers claims that biology should seek general theories similar to those found in physics but argues for an alternative framework for biological theories as collections of prototypical interlevel models that can be extrapolated by analogy to different organisms. This position is exemplified in the development of the Hodgkin‐Huxley giant squid model for action potentials, which uses equations in specialized ways. This model is viewed as an “emergent unifier.” Such unifiers, which require various simplifications, involve the types (...) of heuristics discussed in Wimsatt’s writings on reduction, but with a twist. Here, the heuristics are used to generate emergent rather than reductive explanations. †To contact the author, please write to: Department of History and Philosophy of Science, University of Pittsburgh, 1017 Cathedral of Learning, Pittsburgh, PA 15260; e‐mail: [email protected]. (shrink)

Numerous societal issues, from climate change to pandemics, require public engagement with scientific research. Such engagement reveals challenges that can arise when experts communicate with laypeople. One of the most common frameworks for framing these communicative interactions is the deficit model of science communication, which holds that laypeople lack scientific knowledge and/or positive attitudes towards science, and that imparting knowledge will fill knowledge gaps, lead to desirable attitude/behavior changes, and increase trust in science. §1 introduces the deficit (...) class='Hi'>model in more detail and shows that adhering to this model often fails to achieve its aims, which motivates the main question of this chapter: how can Ludwik Fleck’s theory of thinking collectives address the persistent problem of deficit approaches in science communication? I suggest that it can do so by exposing the deficit model’s implicit assumption of an expert-lay divide. Accordingly, §2 lays out Fleck’s theory and §3 contrasts it with contemporary debates about science communication. Following this descriptive work, §4 draws on Fleck’s ideas to make four concrete suggestions for further questioning the expert-lay divide. (shrink)

A universal property of visual word identification is position-invariant letter identification, such that the letter is coded in the same way in CAT and ACT. This should provide a fundamental constraint on theories of word identification, and, indeed, it inspired some of the theories that Frost has criticized. I show how the spatial coding scheme of Colin Davis can, in principle, account for contrasting transposed letter priming effects, and at the same time, position-invariant letter identification.

This article argues that common intuitions regarding (a) the specialness of ‘use-novel’ data for confirmation and (b) that this specialness implies the ‘no-double-counting rule’, which says that data used in ‘constructing’ (calibrating) a model cannot also play a role in confirming the model’s predictions, are too crude. The intuitions in question are pertinent in all the sciences, but we appeal to a climate science case study to illustrate what is at stake. Our strategy is to analyse the intuitive (...) claims in light of prominent accounts of confirmation of model predictions. We show that on the Bayesian account of confirmation, and also on the standard classical hypothesis-testing account, claims (a) and (b) are not generally true; but for some select cases, it is possible to distinguish data used for calibration from use-novel data, where only the latter confirm. The more specialized classical model-selection methods, on the other hand, uphold a nuanced version of claim (a), but this comes apart from (b), which must be rejected in favour of a more refined account of the relationship between calibration and confirmation. Thus, depending on the framework of confirmation, either the scope or the simplicity of the intuitive position must be revised. (shrink)

Aristotle is oftentimes viewed through a strictly philosophical lens as heir to Plato and has having introduced logical rigor where an emphasis on the theory of Forms formerly prevailed. It must be appreciated that Aristotle was the son of a physician, and that his inculcation of the thought of other Greek philosophers addressing health and the natural elements led to an extremely broad set of biologically- and medically-related writings. As this article proposes, Aristotle deepened the fourfold theory of (...) the elements with anatomic and physiologic observations. In books like History of Animals, Parts of Animals, and the lost Anatomai, he actively dissected organisms and recorded his findings. The corpus of medically-related literature Aristotle developed had a direct influence on subsequent Greek thinkers, including Galen, and on Medieval Islamic and modern Western practitioners such as William Harvey. Aristotle's ideas continue to influence modern medical thinkers in Europe and America through both his interpretation by European philosophers gaining the attention of medical humanists, and his writings' enduring impact on medical researchers balancing scientific with more personalistic approaches to medicine. (shrink)

Honoring the centennial of Sigmund Freud’s seminal paper _Mourning and Melancholia, New Models of Bereavement Theory and Treatment: New Mourning _is a major contribution to our culture’s changing view of bereavement and mourning, identifying flaws in old models and offering a new, valid and effective approach. George Hagman and his fellow contributors bring together key psychoanalytic texts from the past 20 years, exploring contemporary research, clinical practice and model building relating to the problems of bereavement, mourning and grief. (...) They propose changes to the asocial, intra-psychic nature of the standard analytic model of mourning, changes compatible with contemporary psychoanalytic theory and practice. Arguing that the most important goal of mourning is often to preserve, rather than give up the relationship to the deceased, this book provides a more positive, hopeful model. Crucially, it emphasizes the importance of mourning together, rather than alone. New Models of Bereavement Theory and Treatment: New Mourning will be the go-to resource for researchers, clinicians and interested lay people seeking a clear, accessible overview of contemporary mourning theory, useful in their daily lives and in clinical practice. It will appeal to psychoanalysts, psychotherapists, grief counsellors, as well teachers, undergraduates and advanced students studying in the field. (shrink)

We question the widespread assumption that linguistic theory should guide the formulation of mechanistic accounts of human language processing. We develop a pseudo‐linguistic theory for the domain of linguistic stress, based on observation of the learning behavior of a perceptron exposed to a variety of stress patterns. There are significant similarities between our analysis of perception stress learning and metrical phonology, the linguistic theory of human stress. Both approaches attempt to identify salient characteristics of the stress systems (...) under examination without reference to the workings of the underlying processor. Our theory and computer simulations exhibit some strikingly suggestive correspondences with metrical theory. We show, however, that our high‐level pseudo‐linguistic account bears no causal relation to processing in the perception, and provides little insight into the nature of this processing. Because of the persuasive similarities between the nature of our theory and linguistic theorizing, we suggest that linguistic theory may be in much the same position. Contrary to the usual assumption, it may not provide useful guidance in attempts to identify processing mechanisms underlying human language. (shrink)

In recent decades, philosophers of science have devoted considerable efforts to understand what models represent. One popular position is that models represent fictional situations. Another position states that, though models often involve fictional elements, they represent real objects or scenarios. Though these two positions may seem to be incompatible, I believe it is possible to reconcile them. Using a threefold distinction between different signs proposed by Peirce, I develop an argument based on a proposal recently made by Kralemann and Lattman (...) (in Synthese 190:3397–3420, 2013) that shows that the two aforementioned positions can be reconciled by distinguishing different ways in which a model representation can be used. In particular, on the basis of Peirce’s distinction between icons, indices and symbols, I argue that models can sometimes function as icons, sometimes as indexes and sometimes as symbols, depending on the context in which they are considered and the use that they are developed for because they all have iconic, indexical and symbolic features. In addition, I show that conceiving models as signs enables us to develop an account of scientific representation that meets the main desiderata that Shech (in Synthese 192:3463–3485, 2015) presents. (shrink)

This article explains how data associated with attitude change and persuasion in mainstream psychology and social psychology can be reinterpreted as evidence of the agentive ability of taking a position. A critical review is made of the elaboration likelihood model and a position model is adapted from positioning theory. The postulates of the elaboration likelihood model are then subjected to critical scrutiny by means of comparison with our position model. In this way regularities associated with (...) attitude change and persuasion are interpreted as evidence of a deliberative process, involving negotiation and the use of supporting and opposing arguments. We present this as evidence of the commonly held agentive ability to position oneself and anticipate the positions of others. (shrink)

The article shows a simple way of calibrating the strength of the theory of positive induction, ${{\rm ID}^{*}_{1}}$ . Crucially the proof exploits the equivalence of ${\Sigma^{1}_{1}}$ dependent choice and ω-model reflection for ${\Pi^{1}_{2}}$ formulae over ACA 0. Unbeknown to the authors, D. Probst had already determined the proof-theoretic strength of ${{\rm ID}^{*}_{1}}$ in Probst, J Symb Log, 71, 721–746, 2006.

The notion of feedback has been exploited with considerable success in scientific and technological fields as well as in the sciences of man and society. Its use in philosophical, cultural and educational contexts, however, is still rather meagre, even if some notable attempts can be found in the literature. This paper shows that the feedback concept can help learn and understand some classical philosophical theories. In particular, attention focuses on Fichte’s doctrine of science, usually presented in obscure terms following its (...) inventor’s style, and on the vulgate version of Hegel’s dialectic. Also a classic problem of linguistics concerning the meaning of sentences in partially unknown languages is interpreted with the aid of feedback diagrams. Even if the analysis is only qualitative, it is believed that it may serve as a useful tool for thought for both students and researchers. (shrink)

This article argues that common intuitions regarding (a) the specialness of ‘use-novel’ data for confirmation and (b) that this specialness implies the ‘no-double-counting rule’, which says that data used in ‘constructing’ (calibrating) a model cannot also play a role in confirming the model’s predictions, are too crude. The intuitions in question are pertinent in all the sciences, but we appeal to a climate science case study to illustrate what is at stake. Our strategy is to analyse the intuitive (...) claims in light of prominent accounts of confirmation of model predictions. We show that on the Bayesian account of confirmation, and also on the standard classical hypothesis-testing account, claims (a) and (b) are not generally true; but for some select cases, it is possible to distinguish data used for calibration from use-novel data, where only the latter confirm. The more specialized classical model-selection methods, on the other hand, uphold a nuanced version of claim (a), but this comes apart from (b), which must be rejected in favour of a more refined account of the relationship between calibration and confirmation. Thus, depending on the framework of confirmation, either the scope or the simplicity of the intuitive position must be revised. 1 Introduction2 A Climate Case Study3 The Bayesian Method vis-à-vis Intuitions4 Classical Tests vis-à-vis Intuitions5 Classical Model-Selection Methods vis-à-vis Intuitions 5.1 Introducing classical model-selection methods 5.2 Two cases6 Re-examining Our Case Study7 Conclusion. (shrink)

We introduce a certain extension of -calculus, and show that it has the Church-Rosser property. The associated open-term extensional combinatory algebra is used as a basis to construct models for theories of Explict Mathematics (formulated in the language of "types and names") with positive stratified comprehension. In such models, types are interpreted as collections of solutions (of terms) w.r. to a set of numerals. Exploiting extensionality, we prove some consistency results for special ontological axioms which are refutable under elementary (...) comprehension. (shrink)

The theory of local/global neocortical EEG dynamics responds to newly emerging conceptualizations in neuroscience. An extended application of the model to event-related EEG activity composed of distinctive global and local functional epochs with presumably different timing is proposed.

The pharmaceutical sector, an industry already facing stiff challenges in the form of intensified competition and strategic consolidation, has increasingly become subject to a range of pressures. Crucially, in common with other large-scale businesses, pharmaceutical firms find themselves ‹invited’ to respond positively to the corporate ‹social’ responsibility (CSR) expectations of their stakeholders. Consequently, individual managers will almost certainly be obliged to engage in some form of stakeholder dialogue and this, in turn, means that they will have to make difficult choices (...) about which practices to adopt. This real-world management predicament runs parallel to an academic interest in CSR stakeholder dialogue theory and models. Accordingly, the approach of this paper is to focus primarily on the academic debate surrounding stakeholder dialogue, by reviewing past attempts to research and theorise the subject, by identifying gaps and weaknesses in the literature, and by proposing a new analytical model. The central aim of the proposed new model is to offer a unified, structured, systematic, and comprehensive approach to CSR decision making whilst simultaneously providing a practical framework for CSR executives who face the challenge of responding in an effective manner to stakeholders. The model outlined here is currently being employed to conduct international comparative empirical research into stakeholder dialogue practices amongst UK and German pharmaceutical firms. In the longer term the intention is to use the model to undertake international comparative research encompassing a broader range of countries and industries. (shrink)

The estrangement between genetic scientists and theologians originating in the 1960s is reflected in novel combinations of human thought (subject) and genes (investigational object), paralleling each other through the universal process known in chaos theory as self-similarity. The clash and recombination of genes and knowledge captures what Philip Hefner refers to as irony, one of four voices he suggests transmit the knowledge and arguments of the religion-and-science debate. When viewed along a tangent connecting irony to leadership, journal dissemination, and (...) the activities of the "public intellectual" and the public at large, the sequence of voices is shown to resemble the passage of genetic information from DNA to mRNA, tRNA, and protein, and from cell nucleus to surrounding environment. In this light, Hefner's inquiry into the voices of Zygon is bound up with the very subject matter Zygon covers. (shrink)

In recent years, increasing attention has been paid to the all-around development and mental health of students in education. Positive education, a rapidly developing ramification of positive psychology, has proved beneficial to students’ learning and wellbeing. Meanwhile, online learning has quickly gained popularity due to the impact of COVID-19. However, there have been few reports discussing the relationship between positive education and online learning by combining theories and practices. To explore the connection between positive education and (...) online learning, we provide a literature review for studies, mostly between 2010 and 2022, of theories and practices for both positive education and online learning. Next, we establish one-to-one links between the relevant theories and practices of online learning to each domain in the PERMA model of positive education, a theoretical framework including Positive emotion(P), Engagement(E), Relationship(R), Meaning(M), and Accomplishment(A). We aim to explore how to promote the development of positive education by applying the theoretical and practical advantages of online learning to the PERMA framework of positive education. This study aims to enrich the research perspectives of positive education and provide a reference for future research. (shrink)

Peut-on formaliser le vivant ? Peut-on réduire une plante à une simple formule mathématique ? Goethe ne l’aurait pas admis. Pour beaucoup encore, cette question ne se pose même pas tant elle peut sembler provocante et contre-nature. Dans une perspective à la fois historique et épistémologique, ce livre rend compte de travaux contemporains qui ont pourtant tous tenté de braver cet interdit. C’est en grande partie sur ce terrain, hautement problématique, que, dans les premières décennies du XXe siècle, on voit (...) naître puis s’épanouir la pratique des modèles mathématiques appliquée aux sciences végétales. On voit en particulier que ces pratiques nouvelles de modélisation entrent en concurrence avec une tradition ancienne de théorisation mathématique des formes du vivant. C’est même devant les limites des essais théoriques récurrents que le tournant formel des modèles se confirme et permet des avancées incontestables. À l’heure où toutes les sciences à objets complexes parlent beaucoup de modèles et moins de théories, est-ce le signe d’une victoire de la « modélisation » au détriment de la « théorie » ? Cette victoire est-elle définitive ? Cela a-t-il toujours un sens de les opposer ? Et qu’en est-il des « lois » ? En proposant une analyse des travaux mais aussi des positions épistémologiques de certains scientifiques impliqués, en explicitant le sens de ce qui les rapproche, de ce qui les distingue ou les oppose, cet ouvrage montre que l’émergence, l’expansion puis la diversification des pratiques de modélisation formelle du vivant ont contribué, sur le terrain scientifique lui-même, à bousculer les rapports épistémologiques traditionnels entre théories, lois et modèles tels qu’ils nous ont été légués par la physique. (shrink)

This article investigates Hegel's later theory of perception and cognition, identifying and analysing its general assumptions about the relation among the mind's activities. These often unremarked upon assumptions, I claim, continue to underwrite recent interpretive controversies. I demonstrate how a correct understanding of such assumptions points us toward an alternative interpretation of Hegel's model of the mind. I argue that this new model changes how we understand (a) Hegel's later notion of ‘non-conceptual content’ and (b) his distinction (...) between human and animal minds—two areas that constitute the fault line dividing interpretations of late Hegel. To isolate the relevant assumptions, I use Matthew Boyle's influential conceptual distinction between ‘additive’ and ‘transformative’ models of rationality. I demonstrate that Hegel himself addresses the basic issues characterizing this distinction and clarify how approaching his work in these terms presents considerable interpretative and conceptual advantages, including allowing us to defend the position that Hegel adopts a ‘transformative’ framework of mind. To support this argument, this paper closely analyses Hegel's treatment of sensation (Empfindung), which has not yet been systematically addressed by scholars. I show how sensation can be best understood as part of Hegel's later ‘transformative’ framework for cognition. I also show how this framework can be extended to other parts of Hegel's theory. (shrink)

Numerous studies suggest that both emotion knowledge and language abilities are powerfully related to young children’s theory of mind. Nonetheless, the magnitude and direction of the associations between language, emotion knowledge, and theory-of-mind performance in the first years of life are still debated. Hence, the aim of this study was to assess the direct effects of emotion knowledge and language on theory-of-mind scores in 2- and 3-year-old children. A sample of 139 children, aged between 24 and 47 (...) months (M = 35.5 months; SD = 6.73), were directly administered measures of emotion knowledge, theory of mind, and language. We conducted structural equation modeling (SEM) to evaluate the effects of these variables within a single comprehensive framework, while also controlling for any effects of age and gender. The proposed structural equation model provided an excellent fit for the data, indicating that both children’s emotion knowledge and their language ability had direct positive effects on theory of mind scores. In addition, age was found to wield statistically significant effects on all the variables under study, whereas gender was not significantly associated with any of them. These findings suggest the importance of fostering young children’s emotion knowledge and language with a view to enhancing their comprehension of mental states. (shrink)

The process of abstraction and concretisation is a label used for an explicative theory of scientific model-construction. In scientific theorising this process enters at various levels. We could identify two principal levels of abstraction that are useful to our understanding of theory-application. The first level is that of selecting a small number of variables and parameters abstracted from the universe of discourse and used to characterise the general laws of a theory. In classical mechanics, for example, (...) we select position and momentum and establish a relation amongst the two variables, which we call Newton’s 2nd law. The specification of the unspecified elements of scientific laws, e.g. the force function in Newton’s 2nd law, is what would establish the link between the assertions of the theory and physical systems. In order to unravel how and with what conceptual resources scientific models are constructed, how they function and how they relate to theory, we need a view of theory-application that can accommodate our constructions of representation models. For this we need to expand our understanding of the process of abstraction to also explicate the process of specifying force functions etc. This is the second principal level at which abstraction enters in our theorising and in which I focus. In this paper, I attempt to elaborate a general analysis of the process of abstraction and concretisation involved in scientific- model construction, and argue why it provides an explication of the construction of models of the nuclear structure. (shrink)

In positive theories, we have an axiom scheme of comprehension for positive formulas. We study here the “generalized positive” theory GPK∞+. Natural models of this theory are hyperuniverses. The author has shown in [2] that GPK∞+ interprets the Kelley Morse class theory. Here we prove that GPK∞+ + ACWF and the Kelley-Morse class theory with the axiom of global choice and the axiom “On is ramifiable” are mutually interpretable. This shows that GPK∞+ + (...) ACWF is a “strong” theory since “On is ramifiable” implies the existence of a proper class of inaccessible cardinals. (shrink)

Chapter 5 is an essay on the methodology of equilibrium theory. In the course of examining recent controversies concerning lawlike claims and "assumptions" in economic theory, I reach a position similar to J. S. Mill's. Neo-classical economics is what Mill would call "a separate science." It follows a deductive method, since its basic laws supported by everyday experience. In its general equilibrium formulation, equilibrium theory possesses, however, no explanatory worth and very little explanatory importance, since its idealizations (...) are not legitimate. General equilibrium theory ought fundamentally to be regarded as an explanation of how economic equilibrium is possible. ;In conclusion I argue that Sraffa's contribution is a legitimate form of economic theorizing. Those methodological views, like Lionel Robbins', which would proscribe the sort of piecemeal theorizing Sraffa exemplifies, are, as methodological strictures, unjustified. In fact they involve an ideological distortion. Given the weaknesses in general equilibrium theory identified in Chapters 3 and 5, one has good reason to be eclectic. The Austrian theory, despite the Cambridge criticisms, may be useful in some investigations. A much more segmented economics built around Sraffa's work may have a great deal to teach us. Theories of capital, interest and exchange value currently are underdeveloped, unsupported, and subject to ideological influence. ;In Chapter 3 one special formulation of intertemporal general equilibrium theory is examined. I argue that general equilibrium theory may be taken as a theory of the rate of interest to which the Cambridge criticisms do not apply. Puzzles remain, however, concerning both the apparently lawlike claims and the unrealistic stipulations concerning background conditions that general equilibrium theory makes. ;In Chapter 4 Sraffa's system in The Production of Commodities by Means of Commodities is presented and tentatively assessed. I argue that it is consistent with equilibrium theory, but may be combined with other claims that are not consistent with equilibrium theory. What is puzzling but, I argue, methodologically legitimate in Sraffa's work is that he takes as givens factors like the composition of output, that are themselves subject to further economic analysis. Sraffa's work, when properly understood, can prove valuable to Marxian economists. ;Chapter 1 establishes a contrast between physical cost and marginal utility theories of exchange value and examines why issues concerning capital and interest are theoretically central to both theories. I point out that physical cost theories of value are not tenable. ;Chapter 2 is concerned with simplified aggregate capital theories, especially Wicksell's Austrian theory of capital, and with the Cambridge criticisms of such theories. The Cambridge criticisms show, I conclude, that aggregative capital theories make unwarranted economic claims. ;This dissertation examines from both an economic and a philosophical perspective controversies concerning the theory of capital and interest and the relationship of capital and interest to exchange value. The fundamentals of the neo-classical and neo-Ricardian approaches to economic theory are made explicit and compared. The neo-Ricardian approach is partially defended. (shrink)

In the Western tradition, at least since the 14th century, the philosophy of knowledge has been built around the idea of knowledge as a representation [BOU 99]. The question of the evaluation of knowledge refers at the same time (1) to the object represented (which one does one represent?), (2) to the process of knowledge formation, in particular with the role of the knowing subject (which one does one represent and how does one represent it?), and finally (3) to the (...) relationship between the representation and the represented object. Criteria of evaluation such as “validity”, “adequacy” or “truth”, as mentioned in [AMB 07], make sense only with respect to these three dimensions. An evaluation can thus (1) depend on the ontological nature of the object of knowledge, (2) relate to the relationship between subject and object—including the structures (cognitive, social) which organize this relationship, or (3) relate to the relation of similarity between the object and its representation as well. The relevant criteria of evaluation thus depend on the points of view adopted on these questions. As there are indeed a plurality of points of view in this field, the goal of this appendix is to summarize, as briefly as possible, the various positions adopted by the philosophers and to refer to the relevant texts of reference for more information (for a first outline [CHA 76, SCH 01]). The first section 1 introduces useful discussions about the philosophy of theoretical knowledge and general epistemology, from a quasi-historical perspective. Section two 2 discusses the intermediary but central notion of models. Section three 3, more exploratory, introduces an approach to simulation as “concrete experiment”. It suggests that such a frequent claim in the literature, when precisely evaluated, can, to some extent, renew both the representational and the linguistic views on simulation. (shrink)

The role and influence of workplace spirituality on individual and organisational outcomes continue to draw attention among management scholars. Despite this increased attention, extant literature has yielded limited insights particularly into the impact and influence processes of workplace spirituality on performance outcomes at both the individual and unit levels of analysis. Addressing this gap in research, we proposed and tested a multilevel model, underpinned by social cognitive theory, that examines the processes linking perceptions of workplace spirituality and performance (...) outcomes at the individual and organisational level of analysis. Data were obtained from 51 branches of a retail organisation in the United Kingdom. Results from structural equation modelling analysis revealed three salient findings. First, workplace spirituality was positively related to ethical climate, prosocial motivation, and moral judgment. Second, ethical climate partially mediated the relationship between workplace spirituality and prosocial motivation and moral judgment, respectively. Third, aggregated ethical climate significantly relates to branch-level helping behaviour and service performance. (shrink)