Search Results (249)

Our standard model-theoretic definition of logical consequence is originally based on Alfred Tarski’s (1936) semantic definition, which, in turn, is based on Rudolf Carnap’s (1934) similar definition. In recent literature, Tarski’s definition is described as a conceptual analysis of the intuitive ‘everyday’ concept of consequence or as an explication of it, but the use of these terms is loose and largely unaccounted for. I argue that the definition is not an analysis but an explication, in the Carnapian sense: the replacement of the inexact everyday concept with an exact one. Some everyday intuitions were thus brought into a precise form, others were ignored and forgotten. How exactly did the concept of logical consequence change in this process? I suggest that we could find some of the forgotten intuitions in Bernard Bolzano’s (1837) definition of ‘deducibility’, which is traditionally viewed as the main precursor of Tarski’s definition from a time before formalized languages. It turns out that Bolzano’s definition is subject to just the kind of natural features—paradoxicality of everyday language, Platonism about propositions, and dependence on the external world—that Tarski sought to tame by constructing an artificial concept for the special needs of mathematical logic. Full article

Statistical hypothesis testing, as formalized by 20th century statisticians and taught in college statistics courses, has been a cornerstone of 100 years of scientific progress. Nevertheless, the methodology is increasingly questioned in many scientific disciplines. We demonstrate in this paper how many of the worrisome aspects of statistical hypothesis testing can be ameliorated with concepts and methods from evidential analysis. The model family we treat is the familiar normal linear model with fixed effects, embracing multiple regression and analysis of variance, a warhorse of everyday science in labs and field stations. Questions about study design, the applicability of the null hypothesis, the effect size, error probabilities, evidence strength, and model misspecification become more naturally housed in an evidential setting. We provide a completely worked example featuring a two-way analysis of variance. Full article

The concept of the centaur, symbolizing the fusion of human and machine intelligence, has intrigued visionaries for decades. Recent advancements in artificial intelligence have made this concept not only realizable but also actionable. This synergistic partnership between natural and artificial intelligence promises superior outcomes by leveraging the strengths of both entities. Tracing its origins back to early pioneers of human–computer interaction in the 1960s, such as J.C.R. Licklider and Douglas Engelbart, the idea initially manifested in centaur chess but faced challenges as technological advances began to overshadow human contributions. However, the resurgence of generative AI in the late 2010s, exemplified by conversational agents and text-to-image chatbots, has rekindled interest in the profound potential of human–AI collaboration. This article formalizes the centaurian model, detailing properties associated with various centaurian designs, evaluating their feasibility, and proposing a design methodology that integrates human creativity with artificial intelligence. Additionally, it compares this model with other integrative theories, such as the Theory of Extended Mind and Intellectology, providing a comprehensive analysis of its place in the landscape of human–machine interaction. Full article

For a given incomplete context, object-induced approximate concepts have been defined, and this type of approximate concept can induce a type of decision rule. Based on the duality principle, another set of approximate concepts can be defined from the perspective of attributes, i.e., attribute-induced approximate concepts. Although object induced approximate concepts and attribute induced approximate concepts are symmetrical by duality principle, their induced decision rules exhibit different properties and the connections between attribute induced decision rules and object induced decision rules in incomplete formal contexts are not clear. To this end, a type of attribute-induced approximate concept and a method of extracting attribute-induced decision rules are presented. More importantly, it is revealed that given a type of decision rules, there must be corresponding decision rules of the other type, and both of them can provide some useful information, but they are not equivalent to each other. In other words, each type of decision rule can provide some unique and irreplaceable information. Full article

This research aimed to investigate the knowledge levels and teaching practices of Saudi science teachers regarding climate change, focusing on exploring the correlation between these aspects. The cross-sectional descriptive survey included teachers at middle and high school levels in public schools. The questionnaire study comprised three sections: collecting demographic data, assessing teachers’ understanding of climate change through factual inquiries, and evaluating teaching practices related to climate change. The findings reveal a promising degree of awareness among teachers, with a majority correctly identifying crucial elements of climate change while also exposing misconceptions and knowledge gaps. While a notable portion of teachers reported teaching climate change-related aspects, some indicated minimal involvement in extracurricular activities linked to climate change. The correlation analysis between science teachers’ climate change knowledge and practices indicates a weak connection between the two variables, suggesting that teachers’ knowledge might not substantially impact their actual teaching practices regarding climate change concepts. Limitations included reliance on self-reported data and a sample size that could impact result generalizability. Future research recommendations include combining quantitative data with qualitative methods, comparing knowledge and practices across regions or demographics, and conducting longitudinal studies. This study’s implications stress the importance of targeted professional development, advocating for climate change education integration into formal curricula, and policy adjustments mandating climate change education. Full article

The design and construction of residences for persons with Alzheimer’s disease (AD) have been based on the recommendations of design guides, the results of empirical tests with samples of the population, and the experience of architects and planners. The reiteration of certain patterns, criteria, and guidelines has given rise to a new type of building that has not yet been explicitly described. The aim of this paper is to determine the main characteristics of this typology. This research is based on a critical review methodology, analysing 30 care homes built over the last four decades across various global contexts. Detailed surveys of plans, projects, and buildings were carried out, allowing a comparative analysis of the architectural attributes to determine the most influential parameters for these buildings. The results indicate that environments designed with safety, accessibility, and opportunities for social interaction in mind—and, above all, those that are personalised to the needs of this collective—significantly enhance the behaviour, emotional state, and cognitive state of their residents. The main theoretical contributions include identifying and stating the key features of this type, such as small scale, basic cell housing, comprehensible organisation, and sensory stimulation of spaces, among others. The breakthrough of this study that differentiates it from other works in this field is that it provides concrete guidelines to approach the planning, design, and construction of these kinds of residences. The significance of this research lies in the definition of this unique typology, which is not characterised by its morphology, shape, or formal composition but rather focused on promoting an adequate cognitive and physiological reception of the space by the users. This building concept has important management implications, as its construction must provide for and integrate specific care services in a residential setting for people with AD. Full article

Background: The regulation of cellular proliferation and genomic integrity is controlled by complex surveillance mechanisms known as cell cycle checkpoints. Disruptions in these checkpoints can lead to developmental defects and tumorigenesis. Methods: To better understand these mechanisms, computational modeling has been employed, resulting in a dataset of 414 mathematical models in the BioModels database. These models vary significantly in detail and simulated processes, necessitating a robust analytical approach. Results: In this study, we apply the chemical organization theory (COT) to these models to gain insights into their dynamic behaviors. COT, which handles both ordinary and partial differential equations (ODEs and PDEs), is utilized to analyze the compartmentalized structures of these models. COT’s framework allows for the examination of persistent subsystems within these models, even when detailed kinetic parameters are unavailable. By computing and analyzing the lattice of organizations, we can compare and rank models based on their structural features and dynamic behavior. Conclusions: Our application of the COT reveals that models with compartmentalized organizations exhibit distinctive structural features that facilitate the understanding of phenomena such as periodicity in the cell cycle. This approach provides valuable insights into the dynamics of cell cycle control mechanisms, refining existing models and potentially guiding future research in this area. Full article

Russian Roulette is a well-known cruel gambling game and its concepts and methods have been exploited in a lot of research fields for decades. However, abundant useful information contained in the process of Russian Roulette is seldom studied with a mathematical model with interpretability. To this end, we define the $2R$ formal context to model Russian Roulette and carry out 3-valued concept analysis for $2R$ formal contexts to mine useful information. At first, the uniqueness of $2R$ formal contexts is discussed from a formal concept analysis viewpoint. And then we propose 3-valued $2R$ concepts and discuss their properties and the connections with the basic $2R$ concepts. Experimental analysis demonstrates that 3-valued $2R$ concept lattices can show many more different details compared with basic $2R$ concept lattices. Finally, a case study about a Chinese herbal medicine is introduced to demonstrate the feasibility of the proposed model. Full article

Reflecting upon Mary Richmond’s early call for formalized social work training to address the historical struggles of the field, this analysis examines how American social work education has addressed the paradoxes of help and harm present in the field for more than a century. We examine how, under the guise of benevolence and care, social work has exerted social control and contributed to gendered criminalization. We use the term carceral complicity to extend the concept of carceral social work, illustrating how carceral complicity has contributed to women’s criminalization through the embedding, enacting, and invisibilizing of carceral logics in social work. In addition to describing how carceral complicity has been addressed in social work education, we illustrate the gendered nature of carceral complicity, highlighting how women have historically and contemporarily been positioned as both the proprietors and the recipients of carceral complicity. In line with recent scholarship, we suggest that through a transformative approach to social work education we may disrupt carceral complicity and support liberatory futures. Full article

Market trends in the space sector suggest a notable increase in satellite operations and market value for the coming decade. In parallel, there has been a shift in the industrial and academic sectors from traditional Document-Based System Engineering to Model-based systems engineering (MBSE) combined with Concurrent engineering (CE) practices. Due to growing demands, the drivers behind this change have been the need for quicker and more cost-effective design processes. A key challenge in this transition remains to determine how to effectively formalize and exchange data during all design stages and across all discipline-specific tools; as representing systems through models can be a complex endeavor. For instance, during the Preliminary design (PD) phase, the integration of system models with external mathematical models for simulations, analyses, and system budgeting is crucial. The introduction of CubeSats and their standard has partly addressed the question of standardization and has aided in reducing overall development time and costs in the space sector. Nevertheless, questions about how to successfully exchange data endure. This paper focuses on formalizing a CubeSat model for use across various stages of the PD phase. The entire process is conducted with the exclusive use of open-source tools, to facilitate the transparency of data integration across the PD phases, and the overall life cycle of a CubeSat. The paper has two primary outcomes: (i) developing a generic CubeSat model using Systems modeling language (SysML) that includes data storage and visualization through the application of Unified modeling language (UML) stereotypes, streamlining in parallel information exchange for integration with various simulation and analysis tools; (ii) creating an end-to-end use case scenario within the Nanostar software suite (NSS), an open-source framework designed to streamline data exchange across different software during CE sessions. A case study from a theoretical academic space mission concept is presented as the illustration of how to utilize the proposed formalization, and it serves as well as a preliminary validation of the proposed formalization. The proposed formalization positions the CubeSat SysML model as the central data source throughout the design process. It also supports automated trade-off analyses by combining the benefits of SysML with effective data instantiating across all PD study phases. Full article

The purpose of this study was to explore female farmers’ perspectives on barriers to engaging with resources for physical and mental healthcare faced by agriculture producers in the state of Georgia. In-depth interviews were conducted with female farm owners and managers (n = 16) across the state. Interviews were recorded and transcribed, and researchers coded interviews separately before thematic analysis was used to identify common themes. Three primary themes were identified: (i) formal healthcare challenges, (ii) stigma, and (iii) cultural norms. Formal healthcare challenges included time constraints, healthcare costs, and a lack of cultural competence from healthcare providers. Both community and self-stigma were identified as barriers to engaging with mental health resources. Cultural norms that acted as a barrier to care included the prioritization of farm operations, self-reliance, pride, and the minimization of health concerns. Interviewees identified gender differences in the impact of stigma and cultural norms, reporting that these sociocultural barriers were more prominent among older, male producers. Central to many of these barriers is the concept of ‘farm identity’, where farmers’ commitment to their operations consistently trumped concerns about physical or mental health. Future efforts to improve health outcomes among farmers should utilize the concept of farm identity as a guide for tailoring interventions and improving cultural competence among rural healthcare providers. Full article

Consumer protection in the financial market has several dimensions. From a formal point of view, consumer rights are guaranteed by law. Educational programs are implemented in schools and the media to promote knowledge and responsible use of financial products and services. Despite the efforts made, the number of incorrect and suboptimal financial decisions is so high that the risk of households falling into excessive debt remains significant. The limited effectiveness of the law led to the claim that only effective education can reduce the risk of suboptimal financial decisions. Unfortunately, the efforts made in this area are not fully satisfactory. The study of financial knowledge of consumers, which was conducted in Poland in January 2024, aimed to verify consumer errors and their nature. As part of the consumer study, not only declared knowledge was verified, but also actual knowledge. The researchers’ doubts resulted from a comparison of the results of scientific research in this area with the current market situation. Consumers declare a high level of knowledge of economic and financial concepts. In practice, however, they make mistakes that do not only indicate behavioral cognitive errors but also a lack of knowledge. The test questions were constructed in such a way as to verify the declared knowledge (based on verification questions). These showed that the actual level of knowledge was lower than the declared one. A review of the literature and studies of financial knowledge and financial competence of consumers in Central European countries was also carried out. Analysis of the results allowed for the formulation of conclusions regarding the educational gap in relation to social characteristics. The conclusions resulting from the study raise questions about the effectiveness of the educational methods used and indicate possible directions of changes in the consumer regulation policy, the aim of which is to ensure a high level of consumer protection. Full article

Biologically inspired design (BID) in engineering is a convergent, systematic approach that uses analogies from biological organisms to develop solutions for human engineering and design problems. Based on outcomes from prior studies of integrating BID in higher education, incorporating BID into pre-college education is a logical evolution. For effective BID instruction of these convergent concepts in pre-college education, teachers need to be well-equipped with biological, engineering, and pedagogical knowledge, both in general and those unique to the convergent, still evolving discipline. In this paper, we investigate the Professional Learning (professional learning) environment designed to foster engineering teachers’ understanding of BID integration in engineering and to determine to what extent the evolving professional learning environment fostered engineering teachers’ conceptual knowledge of BID across the three-year project. This design study applies conjecture mapping with design-based research (DBR) to examine a professional learning environment that changed over three summers and its impact on teachers’ conceptual understanding of BID integration in engineering. The analysis indicates that a combination of experiential and informal learning experiences along with engagement in a formal design challenge promoted teacher enthusiasm and a conceptual understanding of BID across the three years. Professional learning fostered teachers’ understanding of BID integration in engineering and enabled them to integrate BID into their engineering teaching practice. Full article

The aims of this paper are to present the methodology, derived mathematical expressions for determining the individual factor influences and the adaptation for the conditions of dynamic deterministic factor analysis and the results of the application of the developed new method for deterministic factor analysis, called the averaged chain substitution method. After formulating the concept of the considered approach, all mathematical expressions used to create models containing up to four factor variables are presented and summarized. The scientific novelty of the study is in the obtained new equations for determining the individual factor influences by the method of averaged chain substitution and the method of analogy for five-factor additive or difference-multiplicative and for five-factor additive or difference-multifactor models with an additive or different part in the numerator of the factor model. The presented mathematical expressions accurately and unambiguously quantify the impact of individual factor influences for all types of factor models and thus significantly expand the applicability of the averaged chain substitution method in the theory and practice of financial-economic analysis. The proposed formalization and algorithmization of the evaluation process makes the method easy to apply by all economic and financial analysts for the purposes of deterministic factor analysis. The methodology was applied to perform a dynamic deterministic factor analysis of the total liquidity of Monbat AD and ELHIM-ISKRA AD for the period 2017–2021, based on the consolidated annual financial statements of the companies, available on the website of the Bulgarian Stock Exchange. Full article

We propose several hierarchical graphs that represent the semantic relations between physical theories, their fundamental constants and units of measurement. We begin with an alternative representation of Zel’manov’s cube of fundamental constants as a concept lattice. We then propose the inclusion of a new fundamental constant, Milgrom’s critical acceleration, and discuss the implications of such analysis. We then look for the same fundamental constants in a graph that relates magnitudes and units of measurement in the International System of Units. This exercise shows the potential of visualizing hierarchical networks as a tool to better comprehend the symmetries, interrelations and dependencies of physical magnitudes, units and theories. New regimes of application may be deduced, as well as an interesting reflection on our ontologies and corresponding theoretical objects. Full article