Chinese Research on Mathematical Logic and the Foundations of Mathematics
This paper outlines the Chinese research on mathematical logic and the foundations of mathematics. Firstly, it presents the introduction and spread of mathematical logic in China, especially the teaching and translation of mathematical logic initiated ...
Hongguang Wang, Guoping Du
doaj +3 more sources
How relevance of philosophy, science and philosophy science through the study of mathematical logic?
Background: Philosophy, science, and the philosophy of science serve as interconnected systems of expression that can be utilized as benchmarks and standards of truth across various fields.
Farida Farida +3 more
doaj +2 more sources
Gate set tomography (GST) is a protocol for detailed, predictive characterization of logic operations (gates) on quantum computing processors. Early versions of GST emerged around 2012-13, and since then it has been refined, demonstrated, and used in a ...
Erik Nielsen +5 more
doaj +1 more source
Philosophical Foundations of Hajhosseini's Logics [PDF]
Recently, Morteza Hajhosseini (2023) published his second edition of the book (2017) Two Non-Classical Logic Systems, A new Outlook on Elements of Logic, where he developed various non-standard logical systems based on specific philosophical foundations.
Asadollah Fallahi
doaj +1 more source
Formalism in Commercial Documents and its Interaction with Will [PDF]
Formalism in law has generally been manifested in three positions that are completely different from each other. The first type of formalism is formalism in the realm of legal rule, which is used from the topics of Law philosophy and the concept of ...
Majid Banaeioskoei, yosef Fazlijomir
doaj +1 more source
Kant’s Philosophy of Chemistry and Nietzsche’s Cosmology: On the Material Hermeneutics of Alchemy and Cinnabar. Part I [PDF]
By reading Kant on chemistry as a science, including his definition of science as such, this essay reviews Kant and the history of chemistry. Kant’s Universal Natural History and Theory of the Heavens is read in terms of contemporary axiomatic systems ...
Babich B.
doaj +1 more source
Circular Discernment in Completely Extensive Structures and How to Avoid such Circles Generally [PDF]
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
La lógica matemática: una disciplina en busca de encuadre
We offer an analysis of the disciplinary transformations underwent by mathematical or symbolic logic since its emergence in the late 19th century.
José Ferreirós
doaj +1 more source
Recreational and tourist destination research methods
The methodological basis of the concept RTDe are the main provisions of the modern structural and socio-economic geography to study the spatial and temporal aspects of relations in the system "Man - Nature" and related sciences (knowladge about a ...
Tetiana Bozhuk
doaj +1 more source
A UNIFYING FIELD IN LOGICS: NEUTROSOPHIC LOGIC. NEUTROSOPHY, NEUTROSOPHIC SET, NEUTROSOPHIC PROBABILITY AND STATISTICS [PDF]
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

