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]
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
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
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
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]
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
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
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]
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]
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