Results 61 to 70 of about 100,437 (202)
A logic with temporally accessible iteration [PDF]
, 2008 Deficiency in expressive power of the first-order logic has led to developing its numerous extensions by fixed point operators, such as Least Fixed-Point (LFP), inflationary fixed-point (IFP), partial fixed-point (PFP), etc.
Lisitsa, Alexei
core +2 more sources
Philosophical Perspectives, EarlyView.ABSTRACT We explore the consequences of a natural and well‐motivated modeling assumption of Bayesian epistemology, according to which the objects of credence are sentences in the agent's language. We show that this assumption is inconsistent with two further natural Bayesian idealizations: those of Logical Perfection (the logical‐deductive consistency ...
John Hawthorne, Juhani Yli‐Vakkuri
wiley +1 more source
Heidegger on the ontological significance of the principle of noncontradiction
The Southern Journal of Philosophy, EarlyView.Abstract The aim of this article is to break down to its principal arguments the abundant material recently published in Heidegger's Gesamtausgabe related to a conference given in December 1932 on the principle of noncontradiction (PNC). I will first highlight the importance in phenomenology of a correct interpretation of the PNC and then explain ...
François Jaran
wiley +1 more source
The Southern Journal of Philosophy, EarlyView.Abstract The reception of Leibniz encompasses a wide range of authors influenced by his work, such as Wolff, Crusius, and Kant. In this article, I will address the problem of the reception of Leibniz's theory of principles in the context of the debate that arose during the eighteenth century about the meaning and purpose of metaphysics.
José Antonio Gutiérrez‐García
wiley +1 more source
Theoria, EarlyView.Abstract This paper argues for the significance of Kaplan's logic LD in two ways: first, by looking at how logic got along before we had LD, and second, by using it to bring out the similarity between David Hume's thesis that one cannot deduce claims about the future on the basis of premises only about the past, and the so‐called "essentiality" of the ...
Gillian Russell
wiley +1 more source
UNIVERSAL RADIATION MODEL OF MICROWAVE ANTENNA
Надежность и качество сложных системBackground. The directional characteristics of microwave antennas are determined by the functional purpose of the radio engineering systems in which they are used.
Alexander N. Yakimov
doaj +1 more source
Advanced Engineering Research, 2010 Estimation criteria of the personnel by means of marking their basic properties influencing reliability are considered. On the basis of the selected properties indicators characterizing each of them according to a special technique are worked. An attempt
V.V. NOVIKOV, D.I. ZHURAVLEVA
doaj
Where Mathematical Symbols Come From
Topics in Cognitive Science, EarlyView.Abstract There is a sense in which the symbols used in mathematical expressions and formulas are arbitrary. After all, arithmetic would be no different if we would replace the symbols ‘+$+$’ or ‘8’ by different symbols. Nevertheless, the shape of many mathematical symbols is in fact well motivated in practice.
Dirk Schlimm
wiley +1 more source
Вестник Донского государственного технического университета, 2018 Estimation criteria of the personnel by means of marking their basic properties influencing reliability are considered. On the basis of the selected properties indicators characterizing each of them according to a special technique are worked. An attempt
V.V. NOVIKOV, D.I. ZHURAVLEVA
doaj
International Migration, Volume 63, Issue 4, August 2025.ABSTRACT In the Nordic countries, older migrants experience higher poverty rates compared with the majority population. Research on this issue highlights a gap in understanding the complex interplay of ageing, migration and poverty risks. Using the General Unary Hypotheses Automaton (GUHA) data mining approach, we identified various factor combinations
Lily Nosraty +3 more
wiley +1 more source