This paper analyses the notion of ‘interpretation’, which is often tied to the semantic approach to logic, where it is used when referring to truth-value assignments, for instance. There are, however, other uses of the notion that raise interesting problems. These are the cases in which interpreting a logic is closely related to its justification for a given application. The paper aims to present an understanding of interpretations that supports the model-theoretic characterization of validity to the detriment of the (...) proof-theoretic one. This is done by making use of the hierarchy of ST-related logics. Finally, a localist conception of logic is defended as the natural view stemming from the model-theoretic approach. (shrink)

In recent years, the biomedical field has witnessed the emergence of novel tools and modelling techniques driven by the rise of the so-called Big Data. In this paper, we address the issue of predictability in biomedical Big Data models of cancer patients, with the aim of determining the extent to which computationally driven predictions can be implemented by medical doctors in their clinical practice. We show that for a specific class of approaches, called k-Nearest Neighbour algorithms, the ability to draw (...) predictive inferences relies on a geometrical, or topological, notion of similarity encoded in a well-defined metric, which determines how close the characteristics of distinct patients are on average. We then discuss the conditions under which the relevant models can yield reliable and trustworthy predictive outcomes. (shrink)

We recently synthesized and reinterpreted published studies to advance an epigenetic model for the development of homosexuality (HS). The model is based on epigenetic marks laid down in response to the XX vs. XY karyotype in embryonic stem cells. These marks boost sensitivity to testosterone in XY fetuses and lower it in XX fetuses, thereby canalizing sexual development. Our model predicts that a subset of these canalizing epigenetic marks stochastically carry over across generations and lead to mosaicism (...) for sexual development in opposite‐sex offspring – the homosexual phenotype being one such outcome. Here, we begin by outlining why HS has been under‐appreciated as a commonplace phenomenon in nature, and how this trend is currently being reversed in the field of neurobiology. We next briefly describe our epigenetic model of HS, develop a set of predictions, and describe how epigenetic profiles of human stem cells can provide for a strong test of the model. (shrink)

The paper uses the formalism of indexed categories to recover the proof of a standard final coalgebra theorem, thus showing existence of final coalgebras for a special class of functors on finitely complete and cocomplete categories. As an instance of this result, we build the final coalgebra for the powerclass functor, in the context of a Heyting pretopos with a class of small maps. This is then proved to provide models for various non-well-founded set theories, depending on the chosen axiomatisation (...) for the class of small maps. (shrink)

In this paper I examine the epistemic function of agent-based models of scientific inquiry, proposed in the recent philosophical literature. In view of Boero and Squazzoni’s classification of ABMs into case-based models, typifications and theoretical abstractions, I argue that proposed ABMs of scientific inquiry largely belong to the last category. While this means that their function is primarily exploratory, I suggest that they are epistemically valuable not only as a temporary stage in the development of ABMs of science, but by (...) providing insights into theoretical aspects of scientific rationality. I illustrate my point with two examples of highly idealized ABMs of science, which perform two exploratory functions: Zollman’s ABM which provides a proof-of-possibility in the realm of theoretical discussions on scientific rationality, and an argumentation-based ABM, which provides insights into potential mechanisms underlying the efficiency of scientific inquiry. (shrink)

Rosen's modelling relations constitute a conceptual schema for the understanding of the bidirectional process of correspondence between natural systems and formal symbolic systems. The notion of formal systems used in this study refers to information structures constructed as algebraic rings of observable attributes of natural systems, in which the notion of observable signifies a physical attribute that, in principle, can be measured. Due to the fact that modelling relations are bidirectional by construction, they admit a precise categorical formulation in terms (...) of the category-theoretic syntactic language of adjoint functors, representing the inverse processes of information encoding/decoding via adjunctions. As an application, we construct a topological modelling schema of complex systems. The crucial distinguishing requirement between simple and complex systems in this schema is reflected with respect to their rings of observables by the property of global commutativity. The global information structure representing the behaviour of a complex system is modelled functorially in terms of its spectrum functor. An exact modelling relation is obtained by means of a complex encoding/decoding adjunction restricted to an equivalence between the category of complex information structures and the category of sheaves over a base category of partial or local information carriers equipped with an appropriate topology. (shrink)

The VIA Inventory of Strengths and the VIA model were originally developed to assess and study 24 character strengths. In this paper, I discuss how the VIA Inventory and its character strength model can be applied to the field of moral education with moral philosophical considerations. First, I review previous factor analysis studies that have consistently reported factors containing candidates for moral virtues, and discuss the systematic structure and organization of VIA character strengths. Second, I discuss several issues (...) related to the VIA model, including a lack of previous studies that directly support the moral justifiability of the model and the presence of a fundamental virtue component required for optimal moral functioning in virtue ethics, phronesis, practical wisdom, in the model. Finally, I propose future directions for research on the VIA model in order to address the aforementioned issues and facilitate the application of the model in moral education. (shrink)

Cognitive dissonance has been studied for more than sixty years and many insightful findings have come from this research. However, some important theoretical and methodological issues are yet to be resolved, particularly regarding dissonance reduction. In this paper, we place dissonance theory in the larger framework of appraisal theories of emotion, emotion regulation, and coping. The basic premise of dissonance theory is that people experience negative affect (to varying degrees) following the detection of cognitive conflict. The individual will be motivated (...) to alleviate these emotional reactions and could do so by reducing dissonance in some manner. We argue that detection of dissonance will follow the same principles as when people interpret any other stimuli as emotionally significant. Thus, appraisal theory of emotion, which argues that emotions are generated via the cognitive evaluation of surrounding stimuli, should be applicable to the dissonance-detection process. In short, we argue that dissonance-reduction strategies (attitude change, trivialization, denial of responsibility, etc.) can be understood as emotion-regulation strategies. We further argue that this perspective contributes to reconciling fragmented (and sometimes contrary) viewpoints present in the literature on dissonance reduction. In addition to proposing the general model of dissonance reduction, we illustrate at the hand of empirical data how research on dissonance reduction can be performed without relying on experimental paradigms that focus on a specific reduction strategy. (shrink)

The purpose of this paper is to discuss some ways in which dialectical models can be put to computational use. In particular, we consider means of facilitating human-computer debate, means of catering for a wider range of dialogue types than purely debate and means of providing dialectical support for group dialogues. We also suggest how the computational use of dialectical theories may help to illuminate research issues in the field of dialectic itself.

Collapse models predict the spontaneous collapse of the wave function, in order to avoid the emergence of macroscopic superpositions. In their mass-dependent formulation, they claim that the collapse of any system’s wave function depends on its mass. Neutral K, D, B mesons are oscillating systems that are given by Nature as superposition of two distinct mass eigenstates. Thus they are unique laboratory for testing collapse models that are sensitive to the mass. In this paper we derive—for the single mesons and (...) bipartite entangled mesons—the effect of the mass-proportional CSL (Continuous Spontaneous Localization) collapse model on the dynamics on neutral mesons. We compare the theoretical prediction with experimental data from different accelerator facilities. (shrink)

Generally toxic employees are under performers, yet some get better salaries and excel at workplace, getting positioned at higher ranks. This research assesses the relationship between the dark triad (Narcissism, Machiavellianism, and Psychopathy) and perceived victimization with a focus on the mediating effect of abusive supervision and the moderating effect of mindfulness. The data were gathered in three waves. Both the structural equation model with partial least square and Process were used to analyze the data. The study findings suggest (...) that abusive supervision plays a mediating role in the association between the dark triad and perceived victimization. However, the results did not support the mediating role of abusive supervision in the association between narcissism and perceived victimization. Moreover, the findings suggest that mindfulness weakens the effect of abusive supervision on perceived victimization. Furthermore, our findings support the mediated-moderation model. Theoretical and practical implications of the results are also discussed. (shrink)

Orgasm is one of the most intense pleasures attainable to an organism, yet its underlying mechanisms remain poorly understood. On the basis of existing literatures, this article introduces a novel mechanistic model of sexual stimulation and orgasm. In doing so, it characterizes the neurophenomenology of sexual trance and climax, describes parallels in dynamics between orgasms and seizures, speculates on possible evolutionary origins of sex differences in orgasmic responding, and proposes avenues for future experimentation. Here, a model is introduced (...) wherein sexual stimulation induces entrainment of coupling mechanical and neuronal oscillatory systems, thus creating synchronized functional networks within which multiple positive feedback processes intersect synergistically to contribute to sexual experience. These processes generate states of deepening sensory absorption and trance, potentially culminating in climax if critical thresholds are surpassed. The centrality of rhythmic stimulation (and its modu... (shrink)

During each school semester, students face an onslaught of material to be learned. Students work hard to achieve initial mastery of the material, but when they move on, the newly learned facts, concepts, and skills degrade in memory. Although both students and educators appreciate that review can help stabilize learning, time constraints result in a trade-off between acquiring new knowledge and preserving old knowledge. To use time efficiently, when should review take place? Experimental studies have shown benefits to long-term retention (...) with spaced study, but little practical advice is available to students and educators about the optimal spacing of study. The dearth of advice is due to the challenge of conducting experimental studies of learning in educational settings, especially where material is introduced in blocks over the time frame of a semester. In this study, we turn to two established models of memory—ACT-R and MCM—to conduct simulation studies exploring the impact of study schedule on long-term retention. Based on the premise of a fixed time each week to review, converging evidence from the two models suggests that an optimal review schedule obtains significant benefits over haphazard (suboptimal) review schedules. Furthermore, we identify two scheduling heuristics that obtain near optimal review performance: (a) review the material from μ-weeks back, and (b) review material whose predicted memory strength is closest to a particular threshold. The former has implications for classroom instruction and the latter for the design of digital tutors. (shrink)

Cybersecurity research often describes people as understanding internet security in terms of metaphorical mental models (e.g., disease risk, physical security risk, or criminal behavior risk). However, little research has directly evaluated if this is an accurate or productive framework. To assess this question, two experiments asked participants to respond to a statistical reasoning task framed in one of four different contexts (cybersecurity, plus the above alternative models). Each context was also presented using either percentages or natural frequencies, and these tasks (...) were followed by a behavioral likelihood rating. As in previous research, consistent use of natural frequencies promoted correct Bayesian reasoning. There was little indication, however, that any of the alternative mental models generated consistently better understanding or reasoning over the actual cybersecurity context. There was some evidence that different models had some effects on patterns of responses, including the behavioral likelihood ratings, but these effects were small, as compared to the effect of the numerical format manipulation. This points to a need to improve the content of actual internet security warnings, rather than working to change the models users have of warnings. (shrink)

The violation of Bell inequalities by quantum physical experiments disproves all relativistic micro causal, classically real models, short Local Realistic Models (LRM). Non-locality, the infamous “spooky interaction at a distance” (A. Einstein), is already sufficiently ‘unreal’ to motivate modifying the “realistic” in “local realistic”. This has led to many worlds and finally many minds interpretations. We introduce a simple many world model that resolves the Einstein Podolsky Rosen paradox. The model starts out as a classical LRM, thus clarifying (...) that the many worlds concept alone does not imply quantum physics. Some of the desired ‘non-locality’, e.g. anti-correlation at equal measurement angles, is already present, but Bell’s inequality can of course not be violated. A single and natural step turns this LRM into a quantum model predicting the correct probabilities. Intriguingly, the crucial step does obviously not modify locality but instead reality: What before could have still been a direct realism turns into modal realism. This supports the trend away from the focus on non-locality in quantum mechanics towards a mature structural realism that preserves micro causality. (shrink)

A values-centered leadership model comprised of leader stakeholder and economic values, follower values congruence, and responsible leadership outcomes was tested using data from 122 organizational leaders and 458 of their direct reports. Alleviating same-source bias concerns in leadership survey research, follower ratings of leadership style and follower ratings of values congruence and responsible leadership outcomes were collected from separate sources via the split-sample methodology. Results of structural equation modeling analyses demonstrated that leader stakeholder values predicted transformational leadership, whereas leader (...) economic values were associated with transactional leadership. Follower values congruence was strongly associated with transformational leadership, unrelated to transactional leadership, and partially mediated the relationships between transformational leadership and both follower organizational citizenship behaviors and follower beliefs in the stakeholder view of corporate social responsibility. Implications for responsible leadership and transformational leadership theory, practice, and future research are discussed. (shrink)

ABSTRACT This paper aims to show that intuitionistic Kripke models are a powerful tool for interpreting Kant’s ‘Critical Philosophy’. Part I reviews some old work of mine that applies these models to provide a reading of Kant’s second antinomy about the divisibility of matter and to answer several attacks on Kant’s antinomies. But it also points out three shortcomings of that original application. First, the reading fails to account for Kant’s second antinomy claim that matter is divisible ‘ad infinitum’ and (...) his first antinomy claim that empirical space extends only ‘ad indefinitum’. Secondly, in conformity with the ‘assertability’ heuristics for Kripke models, it attributes an assertability semantics to Kant. In fact, it attributes a pair of assertability semantics to Kant, but neither of these accords with modern assertabilism. And finally, one must wonder the propriety of using contemporary assertability and contemporary formal logic to save an eighteenth-century text. Part II goes historical to solve the problems about assertability. It outlines the Descartes–Leibniz dialectic about the infinite/indefinite distinction and demonstrates how each position reflects larger philosophical positions. It then demonstrates that Kant’s two versions of assertability and his version of the infinite/indefinite dichotomy emerge naturally from his attempts to resolve a tension in Leibniz’s philosophy. In light of this demonstration, Part III adapts the Kripke model interpretation so that it does reflect that dichotomy. It then refines the Kripke semantics in order to model some of Kant’s signature critical doctrines, and it shows how Kant’s critical version of the infinite/indefinite distinction differs from all those of his predecessors and from his own pre-critical version. It also addresses the question of using contemporary logical machinery to interpret Kant. Part IV turns the tables and uses what we have learned about Kant and modern semantics in order to address a pair of issues in the contemporary critical foundations of logic. (shrink)

To avoid exorbitant and extensive laboratory experiments, QSPR analysis, based on topological descriptors, is a very constructive statistical approach for analyzing the numerous physical and chemical properties of compounds. Therefore, we presented some new entropy measures which are based on the sum of the neighborhood degree of the vertices. Firstly, we made the partition of the edges of benzene derivatives which are based on the degree sum of neighboring vertices and then computed the neighborhood version of entropies. Secondly, we made (...) use of the software SPSS for developing a correlation between newly introduced entropies and the physicochemical properties of benzene derivatives. Our obtained results demonstrated that the critical temperature C T, critical pressure C P, and critical volume C V can be predicted through fifth geometric arithmetic entropy, second S K entropy, and fifth N D entropy, respectively. Other remaining physical characteristics include Gibb’s energy qℰ, log P, molar refractivity ℳℛ, and Henry’s law ℋℒ that can be predicted by using sixth N D entropy. (shrink)

The potential of using personalized Large Language Models (LLMs) or “generative AI” (GenAI) to enhance productivity in academic research, as highlighted by Porsdam Mann and colleagues (Porsdam Mann...

I thank the editors for inviting me to contribute to this issue on critical views of logic. Kant invented the critical philosophy. He fashioned its doctrines (Understanding versus Reason, synthetic...

Sufficiently frequent interaction between partners has been identified by, a.o., Axelrod as a more-or-less sufficient condition for stable cooperation. The underlying argument is that rational cooperation is ensured if short-term benefits from opportunistic behavior are offset by the long-term costs of sanctions imposed on the culprit. In this paper, we develop a model for ‘embedded trust’ in which a trustee interacts with a number of trustors who may communicate via a social network with each other about the behavior of (...) the trustor. The analysis reconfirms the standard predictions about how the level of trust depends on the payoffs and shadow of the future. We provide new predictions both on between-network effects (“which network is more favorable for cooperation?”) and on within-network effects (“in what network position can you trust more?”). (shrink)

The present research used archaeological data, i.e., the data obtained from kamekan jar burials in the Mikuni Hills of the northern Kyushu area in the Mid- dle Yayoi period, to test the parochial altruism model. This model argued that out-group hate and in-group favor coevolved via prehistoric intergroup conflicts. If this model is accurate, such an out-group hate and in-group favor could be re- flected in the archaeological remains, such as pottery making; the more frequent intergroup conflicts (...) are and the more each group is opposed, the more independent and coherent each group will be and more evident cultural identity could be estab- lished within each group. We employed an elliptic Fourier analysis for the shapes of kamekan jar burials. We examined whether frequent intergroup conflicts in the period influenced kamekan jar pottery between subareas of the Mikuni Hills. The results suggested that the shapes of kamekan jar burials after the KIIIa type are slightly different between subareas, which is partially consistent with the model. However, the results do not support the model directly. (shrink)

Research on “improper” linear models has shown that predetermined weighting schemes for the linear model, such as equally weighting all predictors, can be surprisingly accurate on cross-validation. We review recent advances that can characterize the optimal choice of an improper linear model. We extend this research to the understanding of fast and frugal heuristics, particularly to the ecologically rational goal of understanding in which task environments given heuristics are optimal. We demonstrate how to test this model using (...) the Recognition Heuristic and Take the Best heuristic, show how the model reconciles with the ecological rationality program, and discuss how our prescriptive, computational approach could be approximated by simpler mental rules that might be more descriptive. Echoing the arguments of van Rooij et al., we stress the virtue of having a computationally tractable model of strategy selection, even if one proposes that cognizers use a simpler heuristic process to approximate it. (shrink)

Standard accounts of shame characterize shame as an emotion of global negative self-assessment, in which an individual necessarily accepts or assents to a global negative self-evaluation. According to non-standard accounts of shame, experiences of shame need not involve a global negative self-assessment. I argue here in favor of non-standard accounts of shame over standard accounts. First, I begin with a detailed discussion of standard accounts of shame, focusing primarily on Gabriele Taylor’s (1985) standard account. Second, I illustrate how Adrian Piper’s (...) ([1992] 1996) experience of groundless shame can be portrayed as 1) both a rational and an irrational experience of shame, in accordance with Taylor’s account as a paradigm model of standard accounts of shame, and 2) as a rational experience of shame when taken in its own right as a legitimate, rational account of shame. Third, without denying that some experiences of shame either are or can be irrational experiences of shame, I elucidate how standard accounts of shame can act as mechanisms of epistemic injustice, and in doing so can transmute the righteous indignation of the marginalized by recasting them as shameful experiences (i.e., by recasting them as experiences of the righteous shame of the marginalized). -/- (This chapter was previously published in Hypatia, forthcoming, under the title "Rationality through the Eyes of Shame: Oppression and Liberation via Emotion"). (shrink)

Tuberculosis is caused by bacillus Mycobacterium tuberculosis. In this study, a mathematical model of tuberculosis is analyzed. The numerical behaviour of the considered model is analyzed including basic reproduction number and stability. We applied three numerical techniques to this model, i.e., nonstandard finite difference scheme, Runge–Kutta method of order 4, and forward Euler scheme. NSFD scheme preserves all the essential properties of the model. Acquired results corroborate that NSFD scheme converges for each step size. While the (...) other two schemes failed to preserve some properties of the model such as positivity and convergence. A graphical comparison presented in this study confirms the numerical stability of the NSFD technique shown here is maintained over a large area. (shrink)

We investigate a SAT-based bounded model checking method for EMTLK that is interpreted over timed models generated by timed interpreted systems. In particular, we translate the existential model checking problem for EMTLK to the existential model checking problem for a variant of linear temporal logic, and we provide a SAT-based BMC technique for HLTLK. We evaluated the performance of our BMC by means of a variant of a timed generic pipeline paradigm scenario and a timed train controller (...) system. (shrink)

In this paper, we deal with an alternative analytical analysis of fractional-order partial differential equations with proportional delay, achieved by applying Yang decomposition method, where the fractional derivative is taken in Caputo sense. The suggested series results are discovered to quickly converge to an exact solution. The computation of three test problems of fractional-order with proportional delay partial differential equations was presented to confirm the validity and efficiency of suggested method. The system appears to be a very dependable, effective, and (...) powerful method for solving a variety of physical problems that arise in engineering and science. (shrink)

Hopfield neural network is considered as an artificial model derived from the brain structures and it is an important model that admits an adequate performance in neurocomputing. In this article, we solve a dynamical model of 3D HNNs via Atangana–Baleanu fractional derivatives. To find the numerical solution of the considered dynamical model, the well-known Predictor-Corrector method is used. A number of cases are taken by using two different sets of values of the activation gradient of the (...) neurons as well as six different initial conditions. The given results have been perfectly established using the different fractional-order values on the given derivative operator. The objective of this research is to investigate the dynamics of the proposed HNN model at various values of fractional orders. Nonlocal characteristic of the AB derivative contains the memory in the system which is the main motivation behind the proposal of this research. (shrink)

The continuous increase of carbon emissions is a serious challenge all over the world, and many countries are striving to solve this problem. Since 2020, a widespread lockdown in the country to prevent the spread of COVID-19 escalated, severely restricting the movement of people and unnecessary economic activities, which unexpectedly reduced carbon emissions. This paper aims to analyze the carbon emissions data of 30 provinces in the 2020 and provide references for reducing emissions with epidemic lockdown measures. Based on the (...) method of time series visualization, we transform the time series data into complex networks to find out the hidden information in these data. We found that the lockdown would bring about a short-term decrease in carbon emissions, and most provinces have a short time point of impact, which is closely related to the level of economic development and industrial structure. The current results provide some insights into the evolution of carbon emissions under COVID-19 blockade measures and valuable insights into energy conservation and response to the energy crisis in the post-epidemic era. (shrink)

We prove that there are 2 χ 0 pairwise non elementarily equivalent existentially closed ordered groups, which solve the main open problem in this area (cf. [3, 10]). A simple direct proof is given of the weaker fact that the theory of ordered groups has no model companion; the case of the ordered division rings over a field k is also investigated. Our main result uses constructible sets and can be put in an abstract general framework. Comparison with the (...) standard methods which use forcing (cf. [4]) is sketched. (shrink)