Validity Of Definition Research Articles

On trivalent logics, probabilistic weak deduction theorems, and a general import-export principle

In this paper we first recall some results for conditional events, compound conditionals, conditional random quantities, p-consistency, and p-entailment. We discuss the equivalence between conditional bets and bets on conditionals, and review de Finetti's trivalent analysis of conditionals. But we go beyond de Finetti's early trivalent logical analysis and his later ideas, aiming to take his proposals to a higher level. We examine two recent articles that explore trivalent logics for conditionals and their definitions of logical validity and compare them with the approach to compound conditionals introduced by Gilio and Sanfilippo within the framework of conditional random quantities. As we use the notion of p-entailment, the full deduction theorem does not hold. We prove a Probabilistic Weak Deduction Theorem for conditional events. After that we study some variants of it, with further results, and we present several examples. Moreover, we illustrate how to derive new inference rules related to selected Aristotelian syllogisms. We focus on iterated conditionals and the invalidity of the Import-Export principle in the light of our Probabilistic Weak Deduction Theorem. We use the inference from a disjunction, A or B, to the conditional, if not-A then B, as an example to show the invalidity of this principle. We introduce a General Import-Export principle by examining examples and counterexamples. In particular, when considering the inference rules of System P, we find that a General Import-Export principle is satisfied, even if the assumptions of the Probabilistic Weak Deduction Theorem do not hold. We also deepen further aspects related to p-entailment and p-consistency. Finally, we briefly discuss some related work relevant to AI.

Trauma-related preventable death; data analysis and panel review at a level 1 trauma centre in Amsterdam, the Netherlands.

Trauma-related death is used as a parameter to evaluate the quality of trauma care and identify cases in which mortality could have been prevented under optimal trauma care conditions. The aim of this study was to identify trauma-related preventable death (TRPD) within our institute by an external expert panel and to evaluate inter-panel reliability. Trauma-related deaths between the 1st of January 2020 and the 1st of February 2022 at the Amsterdam University Medical Centre were identified. The severely injured patients (injury severity score ≥ 16) were enrolled for preventability analysis by an external multidisciplinary panel, consisting of a trauma surgeon, anaesthesiologist, emergency physician, neurosurgeon, and forensic physician. Case descriptions were provided, and panellists were asked to classify deaths as non-preventable, potentially preventable, and preventable. Agreements between the five observers were assessed by Fleiss kappa statistics. In total 95 trauma-related deaths were identified. Of which 36 fatalities were included for analysis, the mean age was 55.3 years (± 24.5), 69.4% were male and 88.9% suffered blunt trauma. The mean injury severity score was 35.3 (± 15.3). Interobserver agreement within the external panel was moderate for survivability (Fleiss kappa 0.474) but low for categorical preventable death classification (Fleiss kappa 0.298). Most of the disagreements were between non-preventable or potentially preventable with care that could have been improved. Multidisciplinary panel review has a moderate inter-observer agreement regarding survivability and low agreement regarding categorical preventable death classification. A valid definition and classification of TRPD is required to improve inter-observer agreement and quality of trauma care.

Synthesizing nested relational queries from implicit specifications: via model theory and via proof theory

Derived datasets can be defined implicitly or explicitly. An implicit definition (of dataset O in terms of datasets I) is a logical specification involving two distinguished sets of relational symbols. One set of relations is for the "source data" I, and the other is for the "interface data" O. Such a specification is a valid definition of O in terms of I, if any two models of the specification agreeing on I agree on O. In contrast, an explicit definition is a transformation (or "query" below) that produces O from I. Variants of Beth's theorem state that one can convert implicit definitions to explicit ones. Further, this conversion can be done effectively given a proof witnessing implicit definability in a suitable proof system. We prove the analogous implicit-to-explicit result for nested relations: implicit definitions, given in the natural logic for nested relations, can be converted to explicit definitions in the nested relational calculus (NRC). We first provide a model-theoretic argument for this result, which makes some additional connections that may be of independent interest, between NRC queries, interpretations, a standard mechanism for defining structure-to-structure translation in logic, and between interpretations and implicit to definability "up to unique isomorphism". The latter connection uses a variation of a result of Gaifman concerning "relatively categorical" theories. We also provide a proof-theoretic result that provides an effective argument: from a proof witnessing implicit definability, we can efficiently produce an NRC definition. This will involve introducing the appropriate proof system for reasoning with nested sets, along with some auxiliary Beth-type results for this system. As a consequence, we can effectively extract rewritings of NRC queries in terms of NRC views, given a proof witnessing that the query is determined by the views.

A systematic review of mobile brain/body imaging studies using the P300 event-related potentials to investigate cognition beyond the laboratory.

The P300 ERP component, related to the onset of task-relevant or infrequent stimuli, has been widely used in the Mobile Brain/Body Imaging (MoBI) literature. This systematic review evaluates the quality and breadth of P300 MoBI studies, revealing a maturing field with well-designed research yet grappling with standardization and global representation challenges. While affirming the reliability of measuring P300 ERP components in mobile settings, the review identifies significant hurdles in standardizing data cleaning and processing techniques, impacting comparability and reproducibility. Geographical disparities emerge, with studies predominantly in the Global North and a dearth of research from the Global South, emphasizing the need for broader inclusivity to counter the WEIRD bias in psychology. Collaborative projects and mobile EEG systems showcase the feasibility of reaching diverse populations, which is essential to advance precision psychiatry and to integrate varied data streams. Methodologically, a trend toward ecological validity is noted, shifting from lab-based to real-world settings with portable EEG system advancements. Future hardware developments are expected to balance signal quality and sensor intrusiveness, enriching data collection in everyday contexts. Innovative methodologies reflect a move toward more natural experimental settings, prompting critical questions about the applicability of traditional ERP markers, such as the P300 outside structured paradigms. The review concludes by highlighting the crucial role of integrating mobile technologies, physiological sensors, and machine learning to advance cognitive neuroscience. It advocates for an operational definition of ecological validity to bridge the gap between controlled experiments and the complexity of embodied cognitive experiences, enhancing both theoretical understanding and practical application in study design.

How Best to Define Antisemitism? A Structural Approach

Abstract: In the current discussion about definitions of antisemitism, the empirical social sciences have been marginalized. Groups of well-intentioned experts make decisions without considering the real-life experiences and perceptions of Jewish people—those who are impacted by antisemitism. I advocate returning the decision to the people, attributing greater weight in defining antisemitism to the actual perceptions of the victims—bottom-up rather than top-down. As a basis for a valid definition, we need to demonstrate these perceptions empirically. This paper presents a structural analysis of the 2018 Fundamental Rights Agency (FRA) Survey. The study, conducted through the internet, included over 16,000 self-identified Jews in 12 European Union countries. I review the findings regarding the main contents of antisemitic expressions, the channels of transmission of antisemitism, and the identity of perpetrators. Using Similarity Structure Analysis (SSA), I suggest a new and better analytic typology of the main patterns of perceptions of contemporary antisemitism.

Model‐based analysis and specification of functional requirements and tests for complex automotive systems

AbstractThe specification of requirements and tests are crucial activities in automotive development projects. However, due to the increasing complexity of automotive systems, practitioners fail to specify requirements and tests for distributed and evolving systems with complex interactions when following traditional development processes. To address this research gap, we propose a technique that starts with the early identification of validation concerns from a stakeholder perspective, which we use to systematically design tests that drive a scenario‐based modeling and analysis of system requirements. To ensure complete and consistent requirements and test specifications in a form that is required in automotive development projects, we develop a Model‐Based Systems Engineering (MBSE) methodology. This methodology supports system architects and test designers in the collaborative application of our technique and in maintaining a central system model, in order to automatically derive the required specifications. We evaluate our methodology by applying it at KOSTAL (Tier1 supplier) and within student projects as part of the masters program Embedded Systems Engineering. Our study corroborates that our methodology is applicable and improves existing requirements and test specification processes by supporting the integrated and stakeholder‐focused modeling of product and validation systems, where the early definition of stakeholder and validation concerns fosters a problem‐oriented, iterative and test‐driven requirements modeling.

New consensus definition on defining and measuring care for children with paediatric feeding disorder.

This study addresses the absence of a definition of care for children with feeding disorders, limited agreement on key performance indicators (KPIs), and the lack of data linked to those KPIs. Clinicians, consumers and researchers involved in outpatient feeding care in New South Wales (NSW), Australia were invited to participate in a two-Phase study. In Phase 1, a modified Delphi method was used. Two rounds of voting resulted in a new consensus definition of a multidisciplinary paediatric feeding clinic. Three further rounds voting determined relevant KPIs. In Phase 2, the KPIs were piloted prospectively in 10 clinics. Twenty-six clinicians, consumers and researchers participated in Phase 1. Participation across five voting rounds declined from 92% to 60% and a valid definition and KPI set were created. In Phase 2, the definition and KPIs were piloted in 10 clinics over 6 weeks. Data for 110 patients were collected. The final KPI set of 28 measures proposed covers clinical features, patient demographics and medical issues, parent-child interaction and outcome measures. A new definition of a multidisciplinary paediatric feeding clinic is now available, linked to a standardised KPI set covering relevant performance measures. These proved viable in baseline data collection for 10 clinics across NSW. This sets a foundation for further data collection, systematic measurement of care provision and outcomes, and research needed to deliver care improvement for children with paediatric feeding disorder.

Commentary] A Flaw (in Modern Science)

It is shown that a reasonable, valid operational definition _X_ of consciousness would not cover self-consciousness.

Classification of trauma-related preventable death; protocol of a Delphi procedure.

Trauma-related (preventable) death is used to evaluate the management and quality of trauma care worldwide. Therefore, it is necessary to identify fatalities in the trauma care population and assess them on preventability. However, the definition on trauma-related preventable death lacks validity due to differences in terminology and classifications. This study aims to reach consensus on the definition of trauma-related preventable death by performing a Delphi procedure, thereby, improving the assessment of trauma-related preventable death and thereby enhancing the quality of trauma care. Based on the results of a recently performed systematic review Hakkenbrak (2021). The definitions used to describe trauma-related preventable death could be divided into four categories: 1) Clinical definition based on panel review or expert opinion, 2) Trauma prediction algorithm, 3) Clinical definition with an additional trauma prediction algorithm and 4) Others (e.g., errors in care or detailed clinical definition). A three round, electronic Delphi study will be performed in the Netherlands to reach consensus. Experts from the department of Trauma surgery, Neurosurgery, Forensic medicine, Anaesthesiology and Emergency medicine, of the designated Level 1 trauma centres in the Netherlands, will be invited to participate. In the first round the panel will comment on the composed categories and trauma prediction algorithms. In the second and third round a feedback report will be presented and the questions with disagreement will be retested. The identification and assessment of trauma-related preventable death is necessary to evaluate and improve trauma care. Therefore, a valid, fair, and applicable definition of trauma-related preventable death is required. The Delphi technique is utilized to reach group consensus to obtain a scientifically valid definition of trauma-related preventable death.

A dialectic on validity: Explanation-focused and the many ways of being human

In line with the journal volume’s theme, this essay considers lessons from the past and visions for the future of test validity. In the first part of the essay, a description of historical trends in test validity since the early 1900s leads to the natural question of whether the discipline has progressed in its definition and description of test validity. There is no single agreed-upon definition of test validity; however, there is a marked coalescing of explanation-centered views at the meta-level. The second part of the essay focuses on the author's development of an explanation-focused view of validity theory with aligned validation methods. The confluence of ideas that motivated and influenced the development of a coherent view of test validity as the explanation for the test score variation and validation is the process of developing and testing the explanation guided by abductive methods and inference to the best explanation. This description also includes a new re-interpretation of true scores in classical test theory afforded by the author’s measure-theoretic mental test theory development—for a particular test-taker, the variation in observed test-taker scores includes measurement error and variation attributable to the different ecological testing settings, which aligns with the explanation-focused view wherein item and test performance are the object of explanatory analyses. The final main section of the essay describes several methodological innovations in explanation-focused validity that are in response to the tensions and changes in assessment in the last 25 years.

Consensus on the definition and assessment of external validity of randomized controlled trials: A Delphi study.

External validity is an important parameter that needs to be considered for decision making in health research, but no widely accepted measurement tool for the assessment of external validity of randomized controlled trials (RCTs) exists. One of the most limiting factors for creating such a tool is probably the substantial heterogeneity and lack of consensus in this field. The objective of this study was to reach consensus on a definition of external validity and on criteria to assess the external validity of RCTs included in systematic reviews. A three-round online Delphi study was conducted. The development of the Delphi survey was based on findings from a previous systematic review. Potential panelists were identified through a comprehensive web search. Consensus was reached when at least 67% of the panelists agreed to a proposal. Eighty-four panelists from different countries and various disciplines participated in at least one round of this study. Consensus was reached on the definition of external validity ("External validity is the extent to which results of trials provide an acceptable basis for generalization to other circumstances such as variations in populations, settings, interventions, outcomes, or other relevant contextual factors"), and on 14 criteria to assess the external validity of RCTs in systematic reviews. The results of this Delphi study provide a consensus-based reference standard for future tool development. Future research should focus on adapting, pilot testing, and validating these criteria to develop measurement tools for the assessment of external validity.

CellularPotts.jl: simulating multiscale cellular models in Julia.

CellularPotts.jl is a software package written in Julia to simulate biological cellular processes such as division, adhesion, and signaling. Accurately modeling and predicting these simple processes is crucial because they facilitate more complex biological phenomena related to important disease states like tumor growth, wound healing, and infection. Here we take advantage of Cellular Potts Modeling to simulate cellular interactions and combine them with differential equations to model dynamic cell signaling patterns. These models are advantageous over other approaches because they retain spatial information about each cell while remaining computationally efficient at larger scales. Users of this package define three key inputs to create valid model definitions: a 2- or 3-dimensional space, a table describing the cells to be positioned in that space, and a list of model penalties that dictate cell behaviors. Models can then be evolved over time to collect statistics, simulated repeatedly to investigate how changing a specific property impacts cellular behavior, and visualized using any of the available plotting libraries in Julia. The CellularPotts.jl package is released under the MIT license and is available at https://github.com/RobertGregg/CellularPotts.jl. An archived version of the code (v0.3.2) at time of submission can also be found at https://doi.org/10.5281/zenodo.10407783.

To fully leverage fine-grained clinical phenomena, we have to think beyond DSM-based concepts and the presumption of diagnostic kinds.

In light of the limitations of dominant psychiatric classification systems such as the Diagnostic and Statistical Manual of Mental Disorders (DSM), this special section positions fine-grained clinical phenomena as key to the future of psychopathology research. This shift is necessary given the constraints DSM-based diagnoses place on (a) the specificity of theories and models of psychopathology and (b) efforts to develop alternative paradigms. Fine-grained clinical phenomena offer comparative advantages, but transitioning to their study involves significant challenges. Chief among these challenges is the need to move beyond DSM as a source of concepts. Implicit assumptions that DSM-based disorders provide valid, circumscribed, and explanatory definitions of clinical phenomena perpetuate existing reification of diagnostic categories rather than reimagining psychopathology nosology beyond DSM, thus needlessly restricting and even undermining research efforts. Moving forward requires careful attention to consensual operationalization. Otherwise, we will continue to struggle to develop valid compositional explanations of clinical phenomena and to organize them into explanatory conceptual taxonomies. Scientific progress here depends on coordinated pluralism that incorporates different lenses into psychopathology and different approaches to data collection and analysis, with a firm grounding in construct validity and a corresponding commitment to continually reimagine rather than reify our concepts and objects of study. (PsycInfo Database Record (c) 2023 APA, all rights reserved).

Protection of soft targets - verification of the effectiveness of the anti-terrorist barrier

The security of the population and its protection in the context of terrorist attacks is currently one of the major topics of the professional public and security forces. A number of attacks in the last decade have targeted soft targets, which, according to a generally valid definition, can be considered as places with a high concentration of people and a low level of security against violent attacks. In order to ensure maximum effectiveness in protecting soft targets, a number of procedures and methodologies have been developed to determine appropriate measures and their appropriate application. From a technical point of view, these include mechanical barrier systems and elements. It is mechanical barrier elements that are the focus of this article, which uses a selected specific device to present its function, its possible applications, and the issue of testing before use in practice.

Pitfalls and biases in neuroepidemiological studies of COVID-19 and the nervous system: a critical appraisal of the current evidence and future directions.

Neurological manifestations frequently occur in individuals with COVID-19, manifesting during the acute phase, persisting beyond the resolution of acute symptoms, and appearing days or weeks after the initial onset of COVID-19 symptoms. However, predicting the incidence, course, and outcome of these neurological manifestations at the individual patient level remains challenging. Biases in study design and limitations in data collection may contribute to the inconsistency and limited validity of the reported findings. Herein, we focused on critically appraising pitfalls and biases of prior reports and provide guidance for improving the quality and standardization of future research. Patients with COVID-19 exhibit diverse demographic features, sociocultural backgrounds, lifestyle habits, and comorbidities, all of which can influence the severity and progression of the infection and its impact on other organ systems. Overlooked or undocumented comorbidities and related treatments may contribute to neurological sequelae, which may not solely be attributable to COVID-19. It is crucial to consider the potential side effects of vaccines in relation to neurological manifestations. To investigate neurological manifestations of COVID-19, it is essential to employ valid and reliable diagnostic criteria and standard definitions of the factors of interest. Although population-based studies are lacking, well-defined inception cohorts, including hospitalized individuals, outpatients, and community residents, can serve as valuable compromises. These cohorts should be evaluated for the presence of common comorbidities, alongside documenting the primary non-neurological manifestations of the infectious disease. Lastly, patients with COVID-19 should be followed beyond the acute phase to assess the persistence, duration, and severity of neurological symptoms, signs, or diseases.

Cumulative Ordering as Evidence of Construct Validity for Assessments of Developmental Attributes

This article builds upon a proiminent definition of construct validity that focuses on variation in attributes causing variation in measurement outcomes. This article synthesizes the defintion and uses Rasch measurement modeling to explicate a modified conceptualization of construct validity for assessments of developmental attributes. If attributes are conceived as developmental, hypotheses about how new knowledge builds cumulatively upon the cognitive capacity afforded by prior knowledge can be developed. This cumulative ordering of knowledge required to accomplish test items constitutes evidence of a specific form of construct validity. Examples of cumulative ordering appear in the extant literature, but they are rare and confined to the early literature. Furthermore, cumulative ordering has never been explicated, especially its relationship to construct validity. This article describes three of the most complete examples of cumulative ordering in the literature. These examples are used to synthesize a method for assessing cumulative ordering, in which the Rasch model is used to assess the progression of item difficulties which are, in turn, used to review developmental theories and hypotheses, and the tests themselves. We discuss how this conceptualization of construct validity can lead to a more direct relationship between developmental theories and tests which, for practitioners, should result in a clearer understanding of what tests results actually mean. Finally, we discuss how cumulative ordering can be used to facilitate decisions about consequential validity.

Extracting Contextual Semantic from a Concordance Containing Mathematical Definition.

With the increased penetration of screen reading software, effective audio rendering of equations can significantly assist in making many electronic mathematics documents accessible. However, linear syntactic rendering of equations not only creates a considerable cognitive load, even for relatively simple equations, but also becomes crucial in more advanced mathematical subjects where the precise and correct interpretation of symbols is essential. To overcome this challenge, we are working on a procedure to extract contextual semantics for mathematical expressions from the surrounding text. In this paper, we will present one of its modules: the Semantic Extractor. This module aids in extracting semantics from the concordance that contains valid mathematical definitions. This approach enables contextually aware audio rendering of complex mathematical expressions, rather than relying solely on syntactic rendering.

Identification of low-acuity attendances in routine clinical information documented in German Emergency Departments

IntroductionIt has not yet been possible to ascertain the exact proportion, characterization or impact of low-acuity emergency department (ED) attendances on the German Health Care System since valid and robust definitions to be applied in German ED routine data are missing.MethodsInternationally used methods and parameters to identify low-acuity ED attendances were identified, analyzed and then applied to routine ED data from two EDs of the tertiary care hospitals Charité—Universitätsmedizin Berlin, Campus Mitte (CCM) and Campus Virchow (CVK).ResultsBased on the three routinely available parameters `disposition´, `transport to the ED´ and `triage´ 33.2% (n = 30 676) out of 92 477 presentations to the two EDs of Charité—Universitätsmedizin Berlin (CVK, CCM) in 2016 could be classified as low-acuity presentations.ConclusionThis study provides a reliable and replicable means of retrospective identification and quantification of low-acuity attendances in German ED routine data. This enables both intra-national and international comparisons of figures across future studies and health care monitoring.

Validity and Racial Justice in Educational Assessment

Given its centrality to assessment, until the concept of validity includes concern for racial justice, such matters will be seen as residing outside the “real” work of validation, rendering them powerless to count against the apparent scientific merit of the test. As the definition of validity has evolved, however, it holds great potential to centralize matters like racial (in)justice, positioning them as necessary validity evidence. This article reviews a history of debates over what validity should and shouldn’t encompass; we then look toward the more centralized stances on validity – the book series Standards and Educational Measurement – where we see that test use, and the social impact of test use, has been a mounting concern over the years within these publications. Finally, we explore Kane’s argument-based approach to validation, which I argue could impact racial justice concerns by centralizing them within the very notion of what makes assessment valid or invalid.

Face Validity

Face Validity