Results 11 to 20 of about 149 (34)

Discussion of foundation of mathematics and quantum theory

Open Mathematics, 2022
Following the results of our recently published book [F. Lev, Finite Mathematics as the Foundation of Classical Mathematics and Quantum Theory. With Applications to Gravity and Particle Theory, Springer, 2020, ISBN 978-3-030-61101-9], we discuss ...
Lev Felix M.
doaj   +1 more source

A topological interpretation of three Leibnizian principles within the functional extensions [PDF]

Logical Methods in Computer Science, 2018
Three philosophical principles are often quoted in connection with Leibniz: "objects sharing the same properties are the same object" (Identity of indiscernibles), "everything can possibly exist, unless it yields contradiction" (Possibility as ...
Marco Forti
doaj   +1 more source

The necessity of construct and external validity for deductive causal inference

Journal of Causal Inference
The Credibility Revolution advances internally valid research designs intended to identify causal effects from quantitative data. The ensuing emphasis on internal validity, however, has enabled a neglect of construct and external validity.
Esterling Kevin M., Brady David, Schwitzgebel Eric   +2 more
doaj   +1 more source

Theoremizing Yablo's Paradox

, 2014
To counter a general belief that all the paradoxes stem from a kind of circularity (or involve some self--reference, or use a diagonal argument) Stephen Yablo designed a paradox in 1993 that seemingly avoided self--reference. We turn Yablo's paradox, the
Karimi, Ahmad, Salehi, Saeed
core  

Leibniz's Principles and Topological Extensions

, 2010
Three philosophical principles are often quoted in connection with Leibniz: "objects sharing the same properties are the same object", "everything can possibly exist, unless it yields contradiction", "the ideal elements correctly determine the real ...
Forti, Marco
core  

Tarski's Undefinability Theorem and Diagonal Lemma

, 2020
We prove the equivalence of the semantic version of Tarski's theorem on the undefinability of truth with a semantic version of the Diagonal Lemma, and also show the equivalence of syntactic Tarski's Undefinability Theorem with a weak syntactic diagonal ...
Salehi, Saeed
core   +1 more source

Syllogistics = monotonicity + symmetry + existential import [PDF]

, 2005
Syllogistics reduces to only two rules of inference: monotonicity and symmetry, plus a third if one wants to take existential import into account. We give an implementation that uses only the monotonicity and symmetry rules, with an addendum for the ...
Eijck, D.J.N. (Jan) van
core  

Definition Of Derivative Function:Logical Error In Mathematics [PDF]

, 2019
The critical analysis of the foundations of the differential calculus is proposed. Methodological basis of the analysis is the unity of formal logic and of rational dialectics.
Kalanov, Temur
core   +1 more source

Logic and theory of representation

, 2023
Underlying the theory of inferences, a primary task of logic is language analysis. Such a task can be understood as depending on a general theory of representation, taking as a starting point the idea that some entities (`` representations '') can ...
Plagnol, Arnaud
core  

Genetic snapshots of the Rhizobium species NGR234 genome. [PDF]

Genome Biol, 2000
Viprey V, Rosenthal A, Broughton WJ, Perret X.   +3 more
europepmc   +1 more source