Results 51 to 60 of about 47,006 (154)
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
Kripke's Reduction of Löb's Theorem to the Second Incompleteness Theorem
Theoria, EarlyView.ABSTRACT In this paper, we discuss Kripke's reduction of Löb's Principle to the Second Incompleteness Theorem. We have a closer look at the non‐constructive character of the reduction. We reflect on what the argument has to tell us. In the Appendix, We give a strengthening of Löb's Principle suggested by Kripke's reduction.
Albert Visser
wiley +1 more source
General aggregation problems and social structure: A model-theoretic generalisation of the Kirman-Sondermann correspondence [PDF]
This article proves a very general version of the Kirman-Sondermann [Journal of Economic Theory, 5(2):267-277, 1972] correspondence by extending the methodology of Lauwers and Van Liedekerke [Journal of Mathematical Economics, 24(3):217-237, 1995].
Daniel Eckert, Frederik Herzberg
core
Logicism, Ontology, and the Epistemology of Second-Order Logic [PDF]
, 2018 In two recent papers, Bob Hale has attempted to free second-order logic of the 'staggering existential assumptions' with which Quine famously attempted to saddle it. I argue, first, that the ontological issue is at best secondary: the crucial issue about
Heck, Richard Kimberly
core
(Co‐)Reference All the Way Down: A Unified Theory of (Pro) Nominals in Ordinary English
Theoria, EarlyView.ABSTRACT This essay joins two themes, both arising from Kripke's inspiring ideas in the theory of reference. The first theme concerns reference in general. The second examines the notion of co‐reference and the role it plays in a unified theory of pronouns for natural language.
Jessica Pepp, Joseph Almog
wiley +1 more source
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
A community‐driven vision for a new knowledge resource for AI
AI Magazine, Volume 46, Issue 4, Winter 2025.Abstract The long‐standing goal of creating a comprehensive, multi‐purpose knowledge resource, reminiscent of the 1984 Cyc project, still persists in AI. Despite the success of knowledge resources like WordNet, ConceptNet, Wolfram|Alpha and other commercial knowledge graphs, verifiable, general‐purpose, widely available sources of knowledge remain a ...
Vinay K Chaudhri +31 more
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