Results 31 to 40 of about 2,965,126 (259)

Formalizing Sense Relations in Sentence Level from Logical Point of View: A Study of Mathematical Linguistics [PDF]

open access: yes̒Ilm-i Zabān, 2019
The present paper studies the possibility of translating “sense relations” in the level of sentences into formal expressions. In so doing, it applies the mathematical logic, especially the logic of propositions within the constraints of sufficient Farsi ...
Maryam Ramezankhani
doaj   +1 more source

Conjugacy Separability of Some One-Relator Groups

open access: yesInternational Journal of Mathematics and Mathematical Sciences, 2010
Conjugacy separability of any group of the class of one-relator groups given by the presentation ⟨𝑎,𝑏;[𝑎𝑚,𝑏𝑛]=1⟩(𝑚,𝑛>1) is proven. The proof made used of theoretical combinatorial group methods, namely the structure of amalgamated free products and some ...
D. Tieudjo, D. I. Moldavanskii
doaj   +1 more source

Non‐Classical Knowledge [PDF]

open access: yes, 2017
The Knower paradox purports to place surprising a priori limitations on what we can know. According to orthodoxy, it shows that we need to abandon one of three plausible and widely-held ideas: that knowledge is factive, that we can know that knowledge is
Jerzak, Ethan
core   +1 more source

AI and Mathematical Education

open access: yesEducation Sciences, 2012
From ancient times, the history of human beings has developed by a succession of steps and sometimes jumps, until reaching the relative sophistication of the modern brain and culture. Researchers are attempting to create systems that mimic human thinking,
Angel Garrido
doaj   +1 more source

Quotient-Comprehension Chains [PDF]

open access: yes, 2015
Quotients and comprehension are fundamental mathematical constructions that can be described via adjunctions in categorical logic. This paper reveals that quotients and comprehension are related to measurement, not only in quantum logic, but also in ...
Cho, K.   +4 more
core   +3 more sources

La passivité de la logique

open access: yesMethodos, 2009
What is the path in Husserl that takes us from formal to transcendental logic? Does it follow Kant’s course from “general logic” to “transcendental logic”, or does the mathematical character of modern logic divest it of the possibility of serving as a ...
James Dodd
doaj   +1 more source

Application of logical and mathematical methods for the analysis of environmental information

open access: yesЮг России: экология, развитие, 2022
Aim. Evaluation of the possibilities of mathematical logic and logical‐mathematical methods in the description of complex natural systems in simple and clear constructions, as they act as a language, special research methods, a source of ideas and ...
L. Sh. Akhmedova   +2 more
doaj   +1 more source

Iterated reflection principles over full disquotational truth [PDF]

open access: yes, 2017
Iterated reflection principles have been employed extensively to unfold epistemic commitments that are incurred by accepting a mathematical theory. Recently this has been applied to theories of truth.
Fischer, Martin   +2 more
core   +3 more sources

Variations on the Theme of Conning in Mathematical Economics [PDF]

open access: yes, 2007
The mathematization of economics is almost exclusively in terms of the mathematics of real analysis which, in turn, is founded on set theory (and the axiom of choice) and orthodox mathematical logic.
Velupillai, Kumaraswamy
core   +1 more source

Home - About - Disclaimer - Privacy