In this paper we argue that the debate between representational and anti-representational cognitive theories cannot be reduced to a difference between the types of model respectively employed. We show that, on the one side, models standardly used in representational theories, such as computational ones, can be analyzed in the context of dynamical systems theory and, on the other, non-representational theories such as Gibson’s ecological psychology can be formalized with the use of computational models. Given these considerations, we propose that (...) the true conceptual difference between representational and anti-representational cognitive descriptions should be characterized in terms of style of explanation, which indicates the particular stance taken by a theory with respect to its explanatory target. (shrink)

This paper spells out and discusses four assumptions of the deficit model type of thinking. The assumptions are: First, the public is ignorant of science. Second, the public has negative attitudes towards (specific instances of) science and technology. Third, ignorance is at the root of these negative attitudes. Fourth, the public’s knowledge deficit can be remedied by one-way science communication from scientists to citizens. It is argued that there is nothing wrong with ignorance-based explanations per se. Ignorance accounts (...) at least partially for many cases of opposition to specific instances of science and technology. Furthermore, more attention needs to be paid to the issue of relevance. In regard to the evaluation of a scientific experiment, a technology, or a product, the question is not only who knows best?, but also what knowledge is relevant and to what extent?. Examples are drawn primarily from the debate on genetic engineering in agriculture. (shrink)

This Element presents a philosophical exploration of the concept of the 'model organism' in contemporary biology. Thinking about model organisms enables us to examine how living organisms have been brought into the laboratory and used to gain a better understanding of biology, and to explore the research practices, commitments, and norms underlying this understanding. We contend that model organisms are key components of a distinctive way of doing research. We focus on what makes model organisms an (...) important type of model, and how the use of these models has shaped biological knowledge, including how model organisms represent, how they are used as tools for intervention, and how the representational commitments linked to their use as models affect the research practices associated with them. This title is available as Open Access on Cambridge Core. (shrink)

Types are fundamental for conceptual modeling and knowledge representation, being an essential construct in all major modeling languages in these fields. Despite that, from an ontological and cognitive point of view, there has been a lack of theoretical support for precisely defining a consensual view on types. As a consequence, there has been a lack of precise methodological support for users when choosing the best way to model general terms representing types that appear in a domain, and for building (...) sound taxonomic structures involving them. For over a decade now, a community of researchers has contributed to the development of the Unified Foundational Ontology (UFO) - aimed at providing foundations for all major conceptual modeling constructs. At the core of this enterprise, there has been a theory of types specially designed to address these issues. This theory is ontologically well- founded, psychologically informed, and formally characterized. These results have led to the development of a Conceptual Modelling language dubbed OntoUML, reflecting the ontological micro-theories comprising UFO. Over the years, UFO and OntoUML have been successfully employed on conceptual model design in a variety of domains including academic, industrial, and governmental settings. These experiences exposed improvement opportunities for both the OntoUML language and its underlying theory, UFO. In this paper, we revise the theory of types in UFO in response to empirical evidence. The new version of this theory shows that many of OntoUML’s meta-types (e.g. kind, role, phase, mixin) should be considered not as restricted to substantial types but instead should be applied to model endurant types in general, including relator types, quality types, and mode types. We also contribute with a formal characterization of this fragment of the theory, which is then used to advance a new metamodel for OntoUML (termed OntoUML 2). To demonstrate that the benefits of this approach are extended beyond OntoUML, the proposed formal theory is then employed to support the definition of UFO-based lightweight Semantic Web ontologies with ontological constraint checking in OWL. Additionally, we report on empirical evidence from the literature, mainly from cognitive psychology but also from linguistics, supporting some of the key claims made by this theory. Finally, we propose a computational support for this updated metamodel. (shrink)

What is it to interpret the outputs of an opaque machine learning model? One approach is to develop interpretable machine learning techniques. These techniques aim to show how machine learning models function by providing either model-centric local or global explanations, which can be based on mechanistic interpretations (revealing the inner working mechanisms of models) or non-mechanistic approximations (showing input feature–output data relationships). In this paper, we draw on social philosophy to argue that interpreting machine learning outputs in certain (...) normatively salient domains could require appealing to a third type of explanation that we call “socio-structural” explanation. The relevance of this explanation type is motivated by the fact that machine learning models are not isolated entities but are embedded within and shaped by social structures. Socio-structural explanations aim to illustrate how social structures contribute to and partially explain the outputs of machine learning models. We demonstrate the importance of socio-structural explanations by examining a racially biased healthcare allocation algorithm. Our proposal highlights the need for transparency beyond model interpretability: understanding the outputs of machine learning systems could require a broader analysis that extends beyond the understanding of the machine learning model itself. (shrink)

What is it to interpret the outputs of an opaque machine learning model? One approach is to develop interpretable machine learning techniques. These techniques aim to show how machine learning models function by providing either model-centric local or global explanations, which can be based on mechanistic interpretations (revealing the inner working mechanisms of models) or non-mechanistic approximations (showing input feature–output data relationships). In this paper, we draw on social philosophy to argue that interpreting machine learning outputs in certain (...) normatively salient domains could require appealing to a third type of explanation that we call “socio-structural” explanation. The relevance of this explanation type is motivated by the fact that machine learning models are not isolated entities but are embedded within and shaped by social structures. Socio-structural explanations aim to illustrate how social structures contribute to and partially explain the outputs of machine learning models. We demonstrate the importance of socio-structural explanations by examining a racially biased healthcare allocation algorithm. Our proposal highlights the need for transparency beyond model interpretability: understanding the outputs of machine learning systems could require a broader analysis that extends beyond the understanding of the machine learning model itself. (shrink)

Active materials are self-propelled non-living entities which, in some circumstances, exhibit a number of cognitively interesting behaviors such as gradient-following, avoiding obstacles, signaling and group coordination. This has led to scientific and philosophical discussion of whether this may make them useful as minimal models of cognition (Hanczyc, 2014; McGivern, 2019). Batterman and Rice (2014) have argued that what makes a minimal model explanatory is that the model is ultimately in the same universality class as the target system, which (...) underpins why it exhibits the same macrobehavior. We appeal to recent research in basal cognition (Lyon et al., 2021) to establish appropriate target systems and essential features of cognition as a target of modeling. Looking at self-propelled oil droplets, a type of active material, we do not find that organization alone indicates that these systems exhibit the essential features of cognition. We then examine the specific behaviors of oil droplets but also fail to find that these demonstrate the essential features of cognition. Without a universality class, Batterman & Rice’s account of the explanatory power of minimal models simply does not apply to cognition. However, we also want to stress that it is not intended to; cognition is not the same type of behavioral phenomena as those found in physics. We then look to the minimal cognition methodology of Beer (1996, 2020a, b) to show how active materials can be explanatorily valuable regardless of their cognitive status because they engage in specific behaviors that have traditionally been expected to involve internal representational dynamics, revealing misconceptions about the cognitive underpinnings of certain, specific behaviors in target systems where such behaviors are cognitive. Further, Beer’s models can also be genuinely explanatory by providing dynamical explanations. (shrink)

Bell-type experiments confront us with a threefold demand: any satisfactory account must preserve Bell-inequality violation, operational no-signalling, and consistency with relativistic causal structure. Standard discussions often treat this situation as if it required a physically meaningful transit time for a collapse-like influence between spacelike separated measurement events. In this paper, I argue that this presupposition is false. -/- Working within Sequential Time Theory (STT), I formulate admissibility conditions for temporal variables in Bell configurations and prove that no state-independent and (...) foliation-independent calibration map exists that could define a physical collapse-transit time between spacelike separated local record-completion events. The quantity required to define a collapse speed is therefore not extremely small; it is non-constructible. -/- To establish this result, I reconstruct a Bell experiment as a partially ordered record structure consisting of source events, local record events at each wing, and later comparison events. Local measurements are represented by compatible instruments on admissible hypersurface descriptions. I then show that Bell-inequality violation and operational no-signalling remain fully intact without any admissible collapse-transit variable. -/- What is eliminated is not the empirical Bell phenomenon, but only the pseudo-variable that would redescribe a correlation structure as though it were a directed transport process between the two wings. The resulting claim is narrower than a complete relativistic theory of quantum measurement, but stronger than a merely interpretive remark. The paper yields a theorem-level boundary condition on future measurement theory: any successful extension may model local detector dynamics, irreversible amplification, delayed recording, or moving-frame configurations, but it must not reintroduce a state-independent and foliation-independent collapse-transit time between spacelike separated local record-completion events. In STT terms, Bell nonlocality does not force superluminal propagation; it forces the abandonment of an inadmissible temporal variable. (shrink)

Through an examination of the actual research strategies and assumptions underlying the Human Genome Project (HGP), it is argued that the epistemic basis of the initial model organism programs is not best understood as reasoning via causal analog models (CAMs). In order to answer a series of questions about what is being modeled and what claims about the models are warranted, a descriptive epistemological method is employed that uses historical techniques to develop detailed accounts which, in turn, help to (...) reveal forms of reasoning that are explicit, or more often implicit, in the practice of a particular field of scientific study. It is suggested that a more valid characterization of the reasoning structure at work here is a form of case-based reasoning. This conceptualization of the role of model organisms can guide our understanding and assessment of these research programs, their knowledge claims and progress, and their limitations, as well as how we educate the public about this type of biomedical research. (shrink)

This paper is part of a broader project whose aim is to present a coherent unified approach to natural language dialogue semantics using tools from type theory. Here we explore aspects of our approach which relate to situation theory and situation semantics. We first point out a relationship between type theory and the Austinian notion of truth. We then consider how records in type theory might be used to represent situations and how dependent record types can be (...) used to model constraints on situations. We then sketch treatments of attitude phenomena for which Barwise and Perry proposed situation semantic analyses (perception complements, belief, the Pierre puzzle) as well as two other intensional phenomena (intensional verbs and intentional identity). Finally we give a characterisation of the type theory used and a small illustrative fragment of English. (shrink)

This paper studies some model-theoretic properties of special groups of finite type. Special groups are a first-order axiomatization of the algebraic theory of quadratic forms, introduced by Dickmann and Miraglia, which is essentially equivalent to abstract Witt rings. More precisely, we consider elementary equivalence, saturation, elementary embeddings, quantifier elimination, stability and Morley rank.

Recently, Gitik, Kanovei and the first author proved that for a classical Prikry forcing extension the family of the intermediate models can be parametrized by $\mathscr{P}(\omega)/\mathrm{finite}$. By modifying the standard Prikry tree forcing we define a Prikry-type forcing which also singularizes a measurable cardinal but which is minimal, i.e., there are \emph{no} intermediate models properly between the ground model and the generic extension. The proof relies on combining the rigidity of the tree structure with indiscernibility arguments resulting from (...) the normality of the associated measures. (shrink)

We analyze model-theoretic connected components in extensions of a given group by abelian groups which are defined by means of 2-cocycles with finite image. We characterize, in terms of these 2-cocycles, when the smallest type-definable subgroup of the corresponding extension differs from the smallest invariant subgroup. In some situations, we also describe the quotient of these two connected components. Using our general results about extensions of groups together with Matsumoto–Moore theory or various quasi-characters considered in bounded cohomology, we (...) obtain new classes of examples of groups whose smallest type-definable subgroup of bounded index differs from the smallest invariant subgroup of bounded index. This includes the first known example of a group with this property found by Conversano and Pillay, namely the universal cover of [Formula: see text], as well as various examples of different nature, e.g. some central extensions of free groups or of fundamental groups of closed orientable surfaces. As a corollary, we get that both non-abelian free groups and fundamental groups of closed orientable surfaces of genus [Formula: see text], expanded by predicates for all subsets, have this property, too. We also obtain a variant of the example of Conversano and Pillay for [Formula: see text] instead of [Formula: see text], which was not accessible by the previously known methods. (shrink)

‘Type’ in biology is a polysemous term. In a landmark article, Paul Farber (Journal of the History of Biology 9(1): 93–119, 1976) argued that this deceptively plain term had acquired three different meanings in early nineteenth century natural history alone. ‘Type’ was used in relation to three distinct type concepts, each of them associated with a different set of practices. Important as Farber’s analysis has been for the historiography of natural history, his account conceals an important dimension (...) of early nineteenth century ‘type talk.’ Farber’s taxonomy of type concepts passes over the fact that certain uses of ‘type’ began to take on a new meaning in this period. At the closing of the eighteenth century, terms like ‘type specimen,’ ‘type species,’ and ‘type genus’ were universally recognized as referring to typical, model members of their encompassing taxa. But in the course of the nineteenth century, the same terms were co-opted for a different purpose. As part of an effort to drive out nomenclatural synonymy – the confusing state of a taxon being known to different people by different names – these terms started to signify the fixed and potentially atypical name-bearing elements of taxa. A new type concept was born: the nomenclatural type. In this article, I retrace this perplexing nineteenth century shift in meaning of ‘type.’ I uncover the nomenclatural disorder that the new nomenclatural type concept dissolved, and expose the conceptual confusion it left in its tracks. What emerges is an account of how synonymy was suppressed through the coinage of a homonym. (shrink)

A class of quantum probabilities is reformulated in terms of non-Newtonian calculus and projective arithmetic. The model generalizes spin-1/2 singlet state probabilities discussed in Czachor (Acta Physica Polonica:139 70–83, 2021) to arbitrary spins _s_. For \(s\rightarrow \infty\) the formalism reduces to ordinary arithmetic and calculus. Accordingly, the limit “non-Newtonian to Newtonian” becomes analogous to the classical limit of a quantum theory.

Service-dominant logic established that for the success of service industries, it is vital to acknowledge the customer as an active agent in the commercial ecosystem. To carry it out, the consumer must participate in value creation. The resource integration theory exposes the importance of recognizing the customer as an agent capable of improving the company’s competitive advantage. It is only necessary for the participants to perceive benefits to make their resources available and integrate them into the co-creation process. This study (...) aims to find the key customer-based factors that influence the brand value co-creation process in the banking sector, analyzing the dynamics in different customers across national cultures and idiosyncrasies. In this paper, we analyze the potential heterogeneous idiosyncrasy of customers and how it leads to becoming more engaged in the co-creation process. Quantitative research was performed in five countries, obtaining a total of 2,029 valid questionnaires where latent profile analyses and ANOVAs were performed to identify and describe the latent profiles of consumer co-creators of brand value. Afterward, a PLS-SEM was performed to test the research model in each segment. The results show four different profiles of customer co-creators of brand value, from non-co-creators, skeptical and neutral, to customers committed to co-creating brand value with their banks. The results indicate that detractor customers lack the motivations and resources to carry out co-creation behaviors. On the other hand, creativity and connectedness were crucial for customers co-creators of value. To the authors’ understanding, no studies have used latent segmentation to find the profiles of customer co-creators of brand value. (shrink)

Due to the advance computer technology, the use of probability distributions has been raised up to solve the real life problems. These applications are found in reliability engineering, computer sciences, economics, psychology, survival analysis, and some others. This study offers a new probability model called Marshall–Olkin Extended Gumbel Type-II which can model various shapes of the failure rate function. The proposed distribution is capable to model increasing, decreasing, reverse J-shaped, and upside down bathtub shapes of the (...) failure rate function. Various statistical properties of the proposed distribution are derived such as alternate expressions for the density and distribution function, special cases of MOEGT-II distribution, quantile function, Lorenz curve, and Bonferroni curve. Estimation of the unknown parameters is carried out by the method of maximum likelihood. A simulation study is conducted using three different iterative methods with different samples of sizes n. The usefulness and potentiality of the MOEGT-II distribution have been shown using three real life data sets. The MOEGT-II distribution has been demonstrated as better fit than Exponentiated Gumbel Type-II, Marshall–Olkin Gumbel Type-II, Gumbel Type-II, Marshall–Olkin–Frechet, Frechet, Burr III, Log Logistic, Beta Inverse Weibull, and Kumaraswamy Inverse Weibull distributions. (shrink)

We present an extension of simple type theory that incorporates types for any kind of mathematical structure (of any order). We further extend this system allowing isomorphic structures to be identified within these types thanks to some syntactical restrictions; for this purpose, we formally define what it means for two structures to be isomorphic. We model both extensions in NFU set theory in order to prove their relative consistency.

The aim of this paper is to initiate a systematic exploration of the model theory of epistemic plausibility models (EPMs). There are two subtly different definitions in the literature: one by van Benthem and one by Baltag and Smets. Because van Benthem's notion is the most general, most of the paper is dedicated to this notion. We focus on the notion of bisimulation, and show that the most natural generalization of bisimulation to van Benthem-type EPMs fails. We then (...) introduce parametrized bisimulations, and prove various bisimulationimplies- equivalence theorems, a Hennessy-Milner theorem, and several (un)definability results. We discuss the problems arising from the fact that these bisimulations are syntax-dependent (and thus not fully structural), and we present and compare two different ways of coping with this issue: adding a modality to the language, and putting extra constraints on the models. We argue that the most successful solution involves restricting to uniform and locally connected (van Benthem-type) EPMs: for this subclass the intuitively most natural notion of bisimulation and the technically sound notion coincide. Such EPMs turn out to correspond exactly with Baltag/Smets-type EPMs, which can be interpreted as constituting a methodological argument, favoring Baltag and Smets's definition of EPM over that of van Benthem. (shrink)

We provide a model theoretical and tree property-like characterization of $\lambda $ - $\Pi ^1_1$ -subcompactness and supercompactness. We explore the behavior of these combinatorial principles at accessible cardinals.

In this paper we study the relativized Lascar Galois group of a strong type. The group is a quasi-compact connected topological group, and if in addition the underlying theory T is G-compact, then the group is compact. We apply compact group theory to obtain model theoretic results in this note. For example, we use the divisibility of the Lascar group of a strong type to show that, in a simple theory, such types have a certain model (...) theoretic property that we call divisible amalgamation. The main result of this paper is that if c is a finite tuple algebraic over a tuple a, the Lascar group of stp(ac) is abelian, and the underlying theory is G-compact, then the Lascar groups of stp(ac) and of stp(a) are isomorphic. To show this, we prove a purely compact group-theoretic result that any compact connected abelian group is isomorphic to its quotient by every finite subgroup. Several (counter)examples arising in connection with the theoretical development of this note are presented as well. For example, we show that, in the main result above, neither the assumption that the Lascar group of stp(ac) is abelian, nor the assumption of c being finite can be removed. (shrink)

Given a supercompact cardinal κ and a regular cardinal Λ < κ, we describe a type of forcing such that in the generic extension the cofinality of κ is Λ, there is a very good scale at κ, a bad scale at κ, and SCH at κ fails. When creating our model we have great freedom in assigning the value of 2κ, and so we can make SCH hold or fail arbitrarily badly.

SummaryFragments of extensional Martin-Löf type theory without universes,ML0, are introduced that conservatively extend S.A. Cook and A. Urquhart'sIPVω. A model for these restricted theories is obtained by interpretation in Feferman's theory APP of operators, a natural model of which is the class of partial recursive functions. In conclusion, some examples in group theory are considered.

Let T be a complete countable first-order theory such that every ultrapower of a model of T is saturated. If T has a model omitting a type p in every cardinality $ then T has a model omitting p in every cardinality. There is also a related theorem, and an example showing the $\beth_\omega$ cannot be improved.

The quality of the products coming from different lines of production requires some tests called comparative life tests. For lines having the same facility, the lifetime of the product is distributed by Burr XII, the lifetime distribution, and units are tested under type-I generalized hybrid censoring scheme. The observed censoring data are used under maximum likelihood and the Bayes method to estimate the model parameters. The theoretical results are discussed and assessed through data analysis and Monte Carlo simulation (...) study. Finally, we reported some brief comments obtained from numerical computation. (shrink)

The paper suggests a way of modeling belief changes within the tradition of formal belief revision theories. The present model extends the scope of traditional proposals, such as AGM, so as to take care of “structural belief changes” – a type of radical shifts that is best illustrated with, but not limited to, instances of scientific discovery; we obtain AGM expansions and contractions as limiting cases. The representation strategy relies on a non-standard use of a semantic machinery. More (...) precisely, the model seeks to correlate knowledge states with interpretations of a given formal language L, in such a way that the epistemic state of an agent at a given time gives rise to a picture of how things could be, if there weren’t anything else to know. Interpretations of L proceed along supervaluational ideas; hence, the model as a whole can be seen as a particular application of supervaluational semantics to epistemic matters. (shrink)

The technical contribution of this paper is threefold.First we show how to encode functionals in a ‘flat’ applicative structure by adding oracles to untyped λ-calculus and mimicking the applicative behaviour of the functionals with an impredicatively defined reduction relation. The main achievement here is a Church-Rosser result for the extended reduction relation.Second, by combining the previous result with the model construction based on partial equivalence relations, we show how to extend a λ-closed simple type structure to a (...) class='Hi'>model of the polymorphic λ-calculus.Third, we specialize the previous result to a counter model against a simple minimization. This minimization is realized by a bar recursive functional, which contrasts the results of Spector and Girard which imply that the bar recursive functions are exactly those that are definable in the polymorphic λ-calculus. As a spin-off, we obtain directly the non-conservativity of the extensions of Gödel's T with bar recursion, fan functional, and Luckhardt's minimization functional, respectively. For the latter two extensions these results are new. (shrink)

The characterization of second-order type isomorphisms is a purely syntactical problem that we propose to study under the enlightenment of game semantics. We study this question in the case of second-order λμ-calculus, which can be seen as an extension of system F to classical logic, and for which we define a categorical framework: control hyperdoctrines.Our game model of λμ-calculus is based on polymorphic arenas which evolve during the play. We show that type isomorphisms coincide with the “equality” (...) on arenas associated with types. Finally we deduce the equational characterization of type isomorphisms from this equality. We also recover from the same model Roberto Di Cosmo’s characterization of type isomorphisms for system F.This approach leads to a geometrical comprehension on the question of second-order type isomorphisms, which can be easily extended to some other polymorphic calculi including additional programming features. (shrink)

The objective of this study was to investigate the effects of avatar sex, salience of avatar sex, and player sex-type on less conscious embodied emotional arousal and valence vs. consciously perceived emotional arousal and valence elicited by a gaming experience. The experiment conducted a 2 avatar sex × 2 salience of avatar sex × 2 player sex-type mixed model factorial design. Participants were randomly assigned to one of two gameplay conditions and then played two 15-min sessions of (...) a video game—one session playing the game as a male avatar and one session playing the game as a female avatar. The order in which participants played as either a male or female avatar was randomized. Psychophysiological indicators of arousal and valence were recorded during gameplay. Self-report measures of arousal and valence were obtained immediately after each 15-min session of gameplay. Data analysis tested hypotheses concerning the effects of avatar sex, salience of avatar sex, and player sex-type separately on real-time embodied variation in arousal and valence as revealed through physiological indicators and conscious perception of arousal and valence obtained through self-report measures. (shrink)

In this paper, we propose a new mathematical model of retrieval of intentions from long-term memory. We model retrieval as a stochastic race between a plurality of potentially relevant intentions stored in long-term memory. Psychological theories are dominated by two opposing conceptions of the role of memory in temporally extended agency – as when a person has to remember to make a phone call in the afternoon because, in the morning, she promised she would do so. According to (...) the Working Memory conception, remembering to make the phone call is explained in terms of the construction and maintenance of intentions in working-memory. According to the Long-Term Memory conception, we should explain the episode in terms of an ability to store intentions in long-term memory. The two conceptions predict different processing profiles. The aim of this paper is to present a new mathematical model of the type of memory mechanism that could realise the long-term memory representations of intentions necessary for the Long-Term Memory conception. We present and illustrate the formal model and propose a new type of experimental paradigm that could allow us to test which of the two conceptions provides the best explanation of the role of memory in temporally extended agency. (shrink)

Ten years ago, one of us proposed a dynamic hierarchical model of intentions that brought together philosophical work on intentions and empirical work on motor representations and motor control (Pacherie, 2008). The model distinguished among Distal intentions, Proximal intentions, and Motor intentions operating at different levels of action control (hence the name DPM model). This model specified the representational and functional profiles of each type of intention, as well their local and global dynamics, and the (...) ways in which they interact. A core insight of the model was that action control is the result of integrated, coordinated activity across these levels of intention. Since the proposal of the model, empirical and theoretical works in philosophy and cognitive science have emerged that would seem to support and expand on this central insight. In particular, an updated understanding of the nature of sensorimotor processing and motor representations, as well as of how the different levels of intention and control interface and interact, allows for the further specification and precisification of the original DPM model. (shrink)

We prove that for a finitely generated infinite nilpotent group $G$ with structure $(G,\cdot,\dots)$, the connected component ${G^*}^0$ of a sufficiently saturated extension $G^*$ of $G$ exists and equals \[ \bigcap_{n\in\N} \{g^n\colon g\in G^*\}. \] We construct an expansion of ${\mathbb Z}$ by a predicate $({\mathbb Z},+,P)$ such that the type-connected component ${{\mathbb Z}^*}^{00}_{\emptyset}$ is strictly smaller than ${{\mathbb Z}^*}^0$. We generalize this to finitely generated virtually solvable groups. As a corollary of our construction we obtain an optimality result (...) for the van der Waerden theorem for finite partitions of groups. (shrink)

A dual-processing model of moral whistleblowing in organizations is proposed. In this theory paper, moral whistleblowing is described as a unique type of whistleblowing that is undertaken by individuals that see themselves as moral agents and are primarily motivated to blow the whistle by a sense of moral duty. At the individual level, the model expands on traditional, rational models of whistleblowing by exploring how moral intuition and deliberative reasoning processes might interact to influence the whistleblowing behavior (...) of moral agents. The model combines individual variables, organizational variables, and external, societal variables to explain the moral whistleblowing process and the impact of moral agents on organizations and society. (shrink)

P. Busch has formulated a particular measurement process in order to show that predictable position measurements are impossible in general. Here we apply his formulation to studying the characteristics of various quantum measurements under the limitations which are imposed by the universal conservation laws and prove some theorems related to Busch's theorem. A simple approximate model measuring momentum is analyzed to investigate the roles of energy and momentum conservation. The results reveal the importance of the role of Galilei's principle (...) of relativity. (shrink)

This paper aims to identify the key characteristics of model organisms that make them a specific type of model within the contemporary life sciences: in particular, we argue that the term “model organism” does not apply to all organisms used for the purposes of experimental research. We explore the differences between experimental and model organisms in terms of their material and epistemic features, and argue that it is essential to distinguish between their representational scope and (...) representational target. We also examine the characteristics of the communities who use these two types of models, including their research goals, disciplinary affiliations, and preferred practices to show how these have contributed to the conceptualization of a model organism. We conclude that model organisms are a specific subgroup of organisms that have been standardized to fit an integrative and comparative mode of research, and that it must be clearly distinguished from the broader class of experimental organisms. In addition, we argue that model organisms are the key components of a unique and distinctively biological way of doing research using models.Keywords: Experimental organism; Genetics; Model organism; Modeling; Philosophy of biology; Representation. (shrink)

This paper establishes two related structural results within the Cognitional Mechanics (CM) framework. Part I proves that the spectral coupling constant ξ² = (μα)² is a complete statistic for the observational content of M₃(ℂ). The state space S is defined generatively as the union of O-orbits of the one-parameter family H_λ = diag(λ, λ, −2λ), where O is the operation algebra derived from axioms A1–A4. Normality of all elements of S holds by construction, eliminating Jordan structure entirely. The residual degree (...) of freedom is λ ∈ ℝ⁺, uniquely recoverable from any state s via λ(s) = √(Tr(s²)/6). The map f(s) = Tr(s²)·(αμ₀)² satisfies f ∝ λ² and induces a bijection S/∼_f ≅ Im(f) of dimension exactly 1: all observational distinctions within M₃(ℂ) collapse to a single scalar. Part II classifies the 19 Standard Model parameters as eigenvalue-type (12), orbit-invariant (4), and basis-mixing (3) projections of Spec(D), and bounds the independent degrees of freedom to at most 11. The connecting corollary establishes that every Standard Model projection map πᵢ is a rational function of ξ² alone, so that the Standard Model parameter structure is a representation layer of the invariant algebra, not an independent ontological structure. Anomaly cancellation and asymptotic freedom are shown to be algebraic necessities of M₃(ℂ) at n = 3. A falsifiable prediction is derived: the ratio αₛ/α_em at the Planck scale equals Φ₃/Φ₆ = 13/7 ≈ 1.857, deviating from the Standard Model perturbative result by approximately 0.24. No free parameters are introduced at any stage. All logical gaps are closed within the CM axiom system. -/- Published on April 26, 2026 doi: 10.5281/zenodo.19784769 . (shrink)

In this paper, a seven-parameter BRDF model with double-peak characteristic, which could fit double-peak data, was adopted to fit the BRDF of Mars simulation soil. At the same time, the three-dimensional figure of the original data of the sample and the three-dimensional curve of the fitted curve were given. The results proved that the model worked well for this type of data. In addition, the experimental data of four kinds of earth sand samples with different roughness were (...) also fitted and analyzed. It was found that the model still had a good fitting effect on such data. At last, the Mars simulation soil and the four kinds of earth sand samples with different roughness were compared horizontally and vertically. Moreover, the double-peak characteristics and other properties of the Mars simulation soil and the earth sand were analyzed under the same and different roughness. (shrink)

This research aims to analyze the institutional management model in Colombia, at the Escuela Normal Superior in Bogotá, Colombia. This model underlies Colombian education in the 20th century and is projected into Colombian society toward the type of institutionality the country needs and its own educational and management model. This model goes through crucial stages for educators and educational administrators. Viewing this type of model provides an opportunity to understand how this model (...) and direction made the Escuela Normal Superior of Colombia serve as an example of educational administration and management within the framework of the professional training of educators in the mid-20th century, giving historical relevance to nation- building and culture, and which is part of the history of Colombian educationt. Likewise, this study follows the historical documentary methodological approach based on the analysis and interpretation of sources and documents according to Cohen and Manion (1990). It is a combination of sources that support the historical work and guide each stage of interpretation into fundamental facts that translate into the search for information from primary and secondary documentary sources, accompanied by description, heuristics, and hermeneutics, fundamental to the theories and concepts of Colombian educational historiography. The results show an organizational dynamic based on quality in institutional management that constitutes an administrative model for the country, such as the Escuela Normal Superior de Colombia (Higher Normal School of Colombia), which operated in Bogotá and where the generations of the 20th century were trained. They projected countless sections in the same establishment, envisioning it as a whole, amidst diversity, in favor of a unique model contributing to a style of institutionality in the country. Thus, each institutional figure in this research represented a contribution to the executive organization and administrative structure, which involved highlighting the socio-historical context of the roles and situations of principals, professors, staff, community outreach, the library, financial resources, and the conditions that allowed the Normal Superior to consolidate itself as a true scientific and cultural endeavor that remains a mandatory reference in the history of Colombian education and pedagogy. (shrink)

One takes advantage of some basic properties of every homotopic \(\lambda\)-model (e.g. extensional Kan complex) to explore the higher \(\beta\eta\)-conversions, which would correspond to proofs of equality between terms of a theory of equality of any extensional Kan complex. Besides, Identity types based on computational paths are adapted to a type-free theory with higher \(\lambda\)-terms, whose equality rules would be contained in the theory of any \(\lambda\)-homotopic model.

Drawing on the analogy between any unary first-order quantifier and a "face operator," this paper establishes several connections between model theory and homotopy theory. The concept of simplicial set is brought into play to describe the formulae of any first-order language L, the definable subsets of any L-structure, as well as the type spaces of any theory expressed in L. An adjunction result is then proved between the category of o-minimal structures and a subcategory of the category of (...) linearly ordered simplicial sets with distinguished vertices. (shrink)

The article aims at the analysis of a subject’s behaviour in the decision situation with a source of reliable (infallible) information. Notions developed by the statistical theory of decision were employed for the purposes of formal description of the information processing.The optimal decision model was constructed for the information processing of a subject remaining in the decision situation of an experimental type, permitting to determine whether the behaviour of the actual decision-maker fulfilled postulates of the statistical theory of (...) decision.The decision model indicates that information processing (often identified with cognition) results from a complex of decisions. To its elements belong among others, decision of initiation, the function of which is to accomplish the primary information cycle, as well as form positive attitude towards continuation of subsequent cycles ; decision of continuation constituting the basis for undertaking subsequent information cycles : signiferent decisions, realizing a definite course of signifirent decisions according to certain strategy.Subsequently, formally characterized elements of the decision complex constituted point of reference for the analysis of behaviour of the actual decision-makers, in this case children from eight years to fifteen. The decision model permitted to observe the course of information processing in the experimental situation of the type where a decision is made in the conditions permitting influx of reliable (infallible) information on the state of affairs.In the course of analysis of the experimental data from the point of the model behaviour some determinants of the testees’ decisions were established.It was observed, among others, that nearly all the children made the initiation decision which was the necessary condition of realizing information processing in the experimental situation. Age of the testees and the factor of learning proved important determinants of this decision.On the other hand, as far as the continuation decision was concerned, it was established that with growth of uncertainty of situation the testees tended to increase successively the number of information cycles. Yet, the fact that increse in uncertainty of situation from five to six hypotheses does not result in further increase in the number of cycles permits to assume that in situations of this type uncertainty of up to five hypotheses ( —log2 1 5 bits) constitutes the subjective limit of the direct influence of the degree of uncertainty upon the decision of continuation.Besides, statistical analyses proved that the number of undertaken information cycles depended on the shape of matrices upon which the ’’treasure” was situated, although it was independent of the order of their exposition in the experiment.Finally, one should observe that the attempt at the formal description of the subject’s behaviour in the experimental situation by means of notions developed by the statistical theory of decision not only permitted the experimenter to observe the testee’s behaviour in a more thorough manner, but also indicated the heuristic values of the procedure. (shrink)

The development of Information and Communication Technologies has favored access to technological resources in adolescents. These tools provide access to information that can promote learning. However, they can also have a negative effect against people, as they can be used with other functionality, in which cyberbullying situations are caused during the interactions that arise when using social networks. The objective of this study was to determine the predictive value of the role of cyberbullying victims based on variables related to other (...) roles involved in cyberbullying and bullying, as well as personal characteristics, contextual characteristics and positive teamwork habits.. Information was collected from 227 students of the educational stages of Primary Education and Secondary Education, aged between 11 and 15 years, in a city with a high index of cultural diversity. The step-by-step technique was used to build the regression model. The results indicate that the model has a good goodness of fit coefficient. The role of cyberbully is the most important predictive variable of the role of the victim in cyberbullying and, to a lesser extent, the role of the witness in cyberbullying, the role of the witness in bullying, and the role of the victim of bullying. The role of the bullying aggressor and the variables sex, age, type of educational center, and teamwork habits are excluded in the predictive model. (shrink)

1. A given space P is a mathematical model of space-time T provided that between P and T a certain isomorphism exists, which maps certain physical constructs on T onto certain mathematical structures on P.2. Macroscopic physical theories assume that space-time is: (1) O-manifold, (2) 4-dimensional, (3) without boundary, (4) orientable, (5) Haus dorff, (6) para- compact. Mathematical definitions of these concepts are given and their physical sense is discussed. Assumption (3) may be considered as a more preacise formulation (...) of the Newtonian view, according to which the space ought to be infinite, or of known Einstein’s saying that the space of the Universe is finite however unbounded.3. The following geometrical structures are defined on Cr-manifold in a natural way (i.e. without the introducing new structures, which are not assumed in the definition of the Cr-manifold): (1) (covariant) vectors, (2) 1-forms, (3) tensors of the type (r, s), (3a) in particular: q-forms — with all algebraic operations suitable for them. In addition, the exterior differentiation operator may be defined for q-forms, and the Lie derivative for tensors.4. Cr-manifold appears to be a rich mathematical structure. According to Newton the space is absolute and Euclidean. In our views the space-time is absolute and Euclidean only locally, not globally: Cr-manifold is locally Euclidean with respect to its topological and differential properties. This feature of space-time manifold has to be considered as its strong absolute (anti-Machian) element.5. An affine connection and a metric may be introduced as the extra structures on Cr-manifold. By means of an affine connection the parallel transport and the Riemann curvature tensor are defined. An affine connection must not by symmetric. Affine connection with torsion appears to be the best natural generalization of the ordinary General Relativity Thèory.The metric tensor and the connection may be introduced as separate structures on Or-manifold. However, given metric on Cr-manifold, there is a unique symmetric connection on the manifold defined by the condition that the covariant derivative of metric tensor must vanish.6. As a mathematical model for space-time we use an equivalenece class of all pair^(M', g') (Cr-manifold M with the metric g) which are equivalent to (M, g). Two pairs are sayd to be equivalent if they are isometric. To ensure that space-time includes all non-singular points we assume that (M, g) is inextendible, i.e. that there is no isometric Cr-imbedding: M → M'.7. The presented model of space-time is common to all relativistic the ories of space-time. In pre-relativistic theories the concept of space-time, although not known by name, played an essential role. Mathematical structure of pre-relativistic space-times has been reconstructed by Trautman. (shrink)

Assume Q is a definable subset of a model of T. We define a notion of Q-isolated type, generalizing an earlier definition for countable Q. This notion is absolute. For superstable T, we give some sufficient conditions for the existence of Q-atomic models. We apply this to prove some results on weak categoricity over a predicate.

In this paper we define intensional models for the classical theory of types, thus arriving at an intensional type logic ITL. Intensional models generalize Henkin's general models and have a natural definition. As a class they do not validate the axiom of Extensionality. We give a cut-free sequent calculus for type theory and show completeness of this calculus with respect to the class of intensional models via a model existence theorem. After this we turn our attention to (...) applications. Firstly, it is argued that, since ITL is truly intensional, it can be used to model ascriptions of propositional attitude without predicting logical omniscience. In order to illustrate this a small fragment of English is defined and provided with an ITL semantics. Secondly, it is shown that ITL models contain certain objects that can be identified with possible worlds. Essential elements of modal logic become available within classical type theory once the axiom of Extensionality is given up. (shrink)

Standard derivations of the Bell inequalities assume a common-commoncause-system that is a common screener-off for all correlations and some additional assumptions concerning locality and no-conspiracy. In a recent paper Graßhoff et al., "The British Journal for the Philosophy of Science", 56, 663–680 ) Bell inequalities have been derived via separate common causes assuming perfect correlations between the events. In the paper it will be shown that the assumptions of this separate-common-cause-type derivation of the Bell inequalities in the case of (...) perfect correlations can be reduced to the assumptions of a common-common-cause-system-type derivation. However, in the case of non-perfect correlations a non-reducible separate-common-cause-type derivation of some Bell-like inequalities can be given. The violation of these Bell-like inequalities proves Szabo's ) conjecture concerning the non-existence of a local, non-conspiratorial, separate-common-cause-model for a δ-neighborhood of perfect EPR correlations. (shrink)

Many philosophical accounts of scientific models fail to distinguish between a simulation model and other forms of models. This failure is unfortunate because there are important differences pertaining to their methodology and epistemology that favor their philosophical understanding. The core claim presented here is that simulation models are rich and complex units of analysis in their own right, that they depart from known forms of scientific models in significant ways, and that a proper understanding of the type of (...) model simulations are fundamental for their philosophical assessment. I argue that simulation models can be distinguished from other forms of models by the many algorithmic structures, representation relations, and new semantic connections involved in their architecture. In this article, I reconstruct a general architecture for a simulation model, one that faithfully captures the complexities involved in most scientific research with computer simulations. Furthermore, I submit that a new methodology capable of conforming such architecture into a fully functional, computationally tractable computer simulation must be in place. I discuss this methodology—what I call recasting—and argue for its philosophical novelty. If these efforts are heading towards the right interpretation of simulation models, then one can show that computer simulations shed new light on the philosophy of science. To illustrate the potential of my interpretation of simulation models, I briefly discuss simulation-based explanations as a novel approach to questions about scientific explanation. (shrink)

We argue that Cohen’s concept of inductive or ampliative probability facilitates proper explication of sufficient strength for non-demonstrative arguments conforming to the Toulmin model. The data and claims of such arguments are singular statements. We may epistemically classify the warrants of such arguments as empirical (either physical or personal), institutional, or evaluative. Backing evidence and rebutting considerations vary with the epistemic type of warrant, but in each case the notion of ampliative probability for arguments with warrants of that (...) type can be characterized. We may then use ampliative probability to define sufficient strength and related notions for Toulmin arguments. (shrink)

The specifi c of morphological approach to the issues of cultural originality and cultural development is examined in the article; defi nitions of terms “model”, “type”, character”, “mentality” are given as well; the main methodological concepts and principles of cultural modeling are fi xed; the accent upon the humanism’s role in the cultural development of mankind is made especially; Ukrainian model of culture and history is described and analyzed as well; Ukrainian type of culture is defi (...) ned as boundary, existential-baroque in its sense, lies close to the essential features of contemporaneity. The emphasis on the main periods in the history of Ukrainian culture – Kievan Rus, Cossak state, national-cultural revival, and the present day – is made; Renaissanse, baroque, and romanticism as code characteristics of Ukrainian model of cultural development are selected. Key words : culture, model, type, national character, mentality, borderland. (shrink)