Results 11 to 20 of about 2,219 (230)
Circular Discernment in Completely Extensive Structures and How to Avoid such Circles Generally [PDF]
, 2012 In this journal (Studia Logica), D. Rizza [2010: 176] expounded a solution of what he called “the indiscernibility problem for ante rem structuralism”, which is the problem to make sense of the presence, in structures, of objects that are indiscernible ...
History and Foundations of Science +4 more
core +1 more source
Geometrisation of first-order logic [PDF]
, 2015 That every first-order theory has a coherent conservative extension is regarded by some as obvious, even trivial, and by others as not at all obvious, but instead remarkable and valuable; the result is in any case neither sufficiently well-known nor ...
Dyckhoff R. +3 more
core +1 more source
Foundations of Mathematics and Mathematical Practice. The Case of Polish Mathematical School [PDF]
, 2022 The foundations of mathematics cover mathematical as well as philosophical problems. At the turn of the 20th century logicism, formalism and intuitionism, main foundational schools were developed.
Woleński, Jan
core +2 more sources
Semantic pollution and syntactic purity [PDF]
, 2015 Logical inferentialism claims that the meaning of the logical constants should be given, not model-theoretically, but by the rules of inference of a suitable calculus.
Read, Stephen
core +1 more source
Logicism and the development of computer science [PDF]
, 2002 This paper argues for the thesis that ideas originating in the philosophy of mathematics have proved very helpful for the development of computer science.
Donald Gillies, Gillies, D., Gillies, D
core +1 more source
A UNIFYING FIELD IN LOGICS: NEUTROSOPHIC LOGIC. NEUTROSOPHY, NEUTROSOPHIC SET, NEUTROSOPHIC PROBABILITY AND STATISTICS [PDF]
, 1995 In 1960s Abraham Robinson has developed the non-standard analysis, a formalization of analysis and a branch of mathematical logic, which rigorously defines the ...
SMARANDACHE, F.
core +1 more source
First-Order Logic Foundation of Relativity Theories [PDF]
, 2006 Motivation and perspective for an exciting new research direction interconnecting logic, spacetime theory, relativity--including such revolutionary areas as black hole physics, relativistic computers, new cosmology--are presented in this paper.
X. Madarasz, Judit +5 more
core +1 more source
Aristotle and Lukasiewicz on existential import [PDF]
, 2015 This work was initially supported by Research Grant AH/F018398/1 (Foundations of Logical Consequence) from the Arts and Humanities Research Council, UK.Jan Lukasiewicz's treatise on Aristotle's Syllogistic, published in the 1950s, has been very ...
Read, Stephen, Stephen Read
core +1 more source
A neglected resolution of Russell's paradox of propositions [PDF]
, 2015 Bertrand Russell offered an influential paradox of propositions in Appendix B of "The Principles of Mathematics", but there is little agreement as to what to conclude from it.
GABRIEL UZQUIANO, Uzquiano, Gabriel
core +1 more source
Molecular Oncology, EarlyView.Single‐cell DNA methylation (scDNAme) profiling maps epimutational clonal evolution, revealing mechanisms of malignancy and therapeutic resistance across diverse cancer types. By providing a high‐resolution landscape of intratumoral heterogeneity, these technologies empower precise patient stratification, guide the development of enhanced ...
Ik Soo Kim
wiley +1 more source