Results 41 to 50 of about 420,653 (327)
A proof-theoretic view on scheduling in concurrency [PDF]
Electronic Proceedings in Theoretical Computer Science, 2014 This paper elaborates on a new approach of the question of the proof-theoretic study of concurrent interaction called "proofs as schedules". Observing that proof theory is well suited to the description of confluent systems while concurrency has non ...
Emmanuel Beffara
doaj +1 more source
Formal Theodicy: Religious Determinism and the Logical Problem of Evil [PDF]
, 2020 Edward Nieznański developed two logical systems to deal with the problem of evil and to refute religious determinism. However, when formalized in first-order modal logic, two axioms of each system contradict one another, revealing that there is an ...
Da Silva, Gesiel B., Bertato, Fábio
core
Analytical Anthropology of Peter Hacker
Antropologìčnì Vimìri Fìlosofsʹkih Doslìdžen', 2021 Purpose. The article is an explication of the features of the anthropological teaching of Peter Hacker in the context of analytical philosophy with consideration to the context of European philosophy within the framework of the Oxford School of ordinary ...
V. Y. Popov, E. V. Popova
doaj +1 more source
Anvil or Onion? Determinism as a Layered Concept [PDF]
, 2004 Stephen Kellert (1993) has argued that Laplacean determinism in classical physics is actually a layered concept, where various properties or layers composing this form of determinism can be peeled away.
Bishop, Robert C
core
Advanced Engineering Materials, EarlyView.Predicting extreme defects in additive manufacturing remains a key challenge limiting its structural reliability. This study proposes a statistical framework that integrates Extreme Value Theory with advanced process indicators to explore defect–process relationships and improve the estimation of critical defect sizes. The approach provides a basis for
Muhammad Muteeb Butt +8 more
wiley +1 more source
Determinism Is Ontic, Determinability is Epistemic [PDF]
, 2001 Philosophical discourse traditionally distinguishes between ontology and epistemology and generally enforces this distinction by keeping the two subject areas separated.
Atmanspacher, Harald
core
Advanced Materials, EarlyView.Ordered three‐dimensional anodic aluminum oxide (3D‐AAO) nanoarchitectures with longitudinal and transverse pores enable architecture‐driven metamaterials. The review maps fabrication advances, including hybrid pulse anodization, and shows how 3D‐AAO templates tailor properties across magnetism, energy, catalysis, and sensing.
Marisol Martín‐González
wiley +1 more source
Bell vs. Bell: A Ding-Dong Battle over Quantum Incompleteness
FoundationsDoes determinism (or even the incompleteness of quantum mechanics) follow from locality and perfect correlations? In a 1964 paper, John Bell gave the first demonstration that quantum mechanics is incompatible with local hidden variables.
Michael J. W. Hall
doaj +1 more source
Fisiese, historiese en logiese kousaliteit1
Koers : Bulletin for Christian Scholarship, 1995 Physical, historical and logical causality The term causality received special attention during the early modern development ofphilosophy and the natural sciences.
D.F.M. Strauss
doaj +1 more source
, 2021 The main thesis of this paper is that Pap’s The Functional A Priori in Physical Theory and Cassirer’s Determinism and Indeterminism in Modern Physics may be conceived as two kindred accounts of a late Neo-Kantian philosophy of science. They elucidate and
T. Mormann
semanticscholar +1 more source