Results 101 to 110 of about 4,352 (292)

On the Philosophical Roots of the Naïve and Axiomatic Set Theories: Determinatio est Negatio

Felsefe Arkivi
The principle determinatio est negatio—that determination is achieved through negation—has philosophical roots extending back to Plato and Aristotle, and it later influenced early modern thinkers such as Francisco Suárez and Spinoza.
Osman Gazi Birgül
doaj   +1 more source

Analogies and differences between the logic behind statistical hypothesis testing and proofs by contradiction: What can we learn from them?

Teaching Statistics, EarlyView.
Abstract Statistical hypothesis testing (SHT) is widely employed across numerous scientific disciplines, and a clear understanding of its underlying logic is essential for the broader scientific community. Here, drawing upon both epistemological and statistical perspectives, we aim to clarify—primarily for educational purposes—the logical relationship ...
Maria Cristina Amoretti, Daniele De Martini   +1 more
wiley   +1 more source

Cost Sharing, Differential Games, and the Moulin-Shenker Rule [PDF]

The Moulin-Shenker rule (Sprumont (1998)) is a nonlinear solution concept for solving heterogeneous cost sharing problems. The first part of the paper shows an axiomatic characterization of this solution using bounds on cost shares and consistency.
Koster, M.
core  

Neural Network Repair With Shapley‐Guided Search

CAAI Transactions on Intelligence Technology, EarlyView.
ABSTRACT The deployment of deep neural networks (DNNs) in safety‐critical domains is critically hampered by their vulnerability to defects, which can arise from malicious attacks or low‐quality data. Therefore, precisely locating the network components responsible for these defects, and subsequently repairing them without compromising overall model ...
Xiaofu Du, Zixiong Zhang, Xuesong Wang, Linqiang Liu, Junyan Qian   +4 more
wiley   +1 more source

‘Everything is a signal’: speaking circuits and noisy signs in the making of language‐oriented AI « Tout est signal » : circuits parlants et signes bruyants dans la création de l'IA orientée langage

Journal of the Royal Anthropological Institute, EarlyView.
Contemporary artificial intelligence (AI) technologies are often presumed to be capable of revealing unmediated truths about the world, including the truths language might hold, echoing the long‐standing assertion that language's primary function is to directly translate reality.
Beth M. Semel
wiley   +1 more source

Axiomatic set theory and independence proofs

, 2005
https://rdc.reed.edu/v1/resources/039d78b7-bdf0-49c5-9a10-895fc0fdf1d8/thumb/128.jpgSet theory gets at the very heart of mathematics. It is concerned with the very nature of numbers, size , and relationships.
Najman, Elizabeth
core  

Islam at the monastery: on infinity as subtractive truth L'islam au monastère : de l'infini comme vérité soustractive

Journal of the Royal Anthropological Institute, EarlyView.
Based on ethnographic research at Rūm Orthodox Christian monasteries in Lebanon, the article studies scenes of Islam at the monastery as they intersect with anxious public debates on, and anthropological theorizations of, sectarianism and ‘Muslim–Christian’ relations in the Mashriq.
Aaron F. Eldridge
wiley   +1 more source

Relational Set Theory

, 1995
This article presents a relational formalization of axiomatic set theory, including so-called ZFC and the anti-foundation axiom (AFA) due to P. Aczel.
Kawahara, Yasuo, 河原, 康雄
core   +2 more sources

Complete cuboidal sets in axiomatic domain theory

, 1997
We study the enrichment of models of axiomatic domain theory. To this end, we introduce a new and broader notion of domain, viz. that of complete cuboidal set, that complies with the axiomatic requirements.
Marcelo Fiore
core  

Axiomatic systems for rough sets and fuzzy rough sets

, 2008
Rough set theory is an important tool for approximate reasoning about data. Axiomatic systems of rough sets are significant for using rough set theory in logical reasoning systems.
Liu, Guilong
core   +1 more source