History of mathematical logic and foundations

Results 1 to 10 of about 145,154 (213)

Quantum, 2021
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]

حکمت معاصر, 2023
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]

Faṣlnāmah-i Pizhūhish-i Huqūq-i Khuṣūṣī, 2023
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

Chinese Research on Mathematical Logic and the Foundations of Mathematics

Asian Studies, 2022
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 +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

La lógica matemática: una disciplina en busca de encuadre

Theoria, 2010
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

Časopis Socìalʹno-Ekonomìčnoï Geografìï. Часопис соціально-економічної географії, 2016
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

Formal Semantics: Origins, Issues, Early Impact

The Baltic International Yearbook of Cognition, Logic and Communication, 2010
Formal semantics and pragmatics as they have developed since the late 1960's have been shaped by fruitful interdisciplinary collaboration among linguists, philosophers, and logicians, among others, and in turn have had noticeable effects on developments ...
Barbara H. Partee
doaj +1 more source

How relevance of philosophy, science and philosophy science through the study of mathematical logic?

Al-Jabar
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 +1 more source

Systemic neuropsychology: toward a contemporary theory of topological functional systems. [PDF]

Front Psychiatry
Guiral JA.
europepmc +1 more source