Results 51 to 60 of about 761 (264)
Frege on the Foundation of Geometry in Intuition
Journal for the History of Analytical Philosophy, 2015 I investigate the role of geometric intuition in Frege’s early mathemat- ical works and the significance of his view of the role of intuition in geometry to properly understanding the aims of his logicist project.
Jeremy Shipley
doaj +1 more source
The Logics of Strict-Tolerant Logic
Journal of Philosophical Logic, 2014 A predicate \(T\) in a language is a transparent truth predicate if, for every valuation \(v\), for the language and every sentence \(A\), \(v(T\langle A\rangle) = v(A)\), where \(\langle A\rangle\) is a name of \(A\). Because of the semantic paradoxes, like the Liar and especially Curry's, it is well known that a suitably expressive language cannot ...
Eduardo Alejandro Barrio +2 more
openaire +3 more sources
New Directions for Adult and Continuing Education, EarlyView.ABSTRACT Mental well‐being is central to adult learner success, yet many adult education institutions lack capacity to provide timely and accessible support. This article examines how artificial intelligence (AI) can strengthen mental health–adjacent supports in adult and continuing higher education, with attention to professional practice and ...
Adam L. McClain, Thomas Wade
wiley +1 more source
The Logic of Separation Logic: Models and Proofs
, 2023 AbstractThe standard semantics of separation logic is restricted to finite heaps. This restriction already gives rise to a logic which does not satisfy compactness, hence it does not allow for an effective, sound and complete axiomatization. In this paper we therefore study both the general model theory and proof theory of the separation logic of ...
F.S. de Boer (Frank) +2 more
openaire +3 more sources
Logicism and Theory of Coherence in Bertrand Russell's Thought [PDF]
, 2023 Logicism is the thesis that all or, at least parts, of mathematics is reducible to deductive logic in at least two senses: (A) that mathematical lexis can be defined by sole recourse to logical constants [a definition thesis]; and, (B) that mathematical ...
J. O. E., Adimike
core
Russell’s doctrine of space and time in connection with Kant’s transcendental aesthetics
SententiaeAuthor demonstrates that Russell’s conception of space and time diverges from Kant’s transcendental aesthetics and leans towards logical and mathematical topology.
Viktor Kozlovskyi
doaj +1 more source
New Directions for Adult and Continuing Education, EarlyView.ABSTRACT This article examines the evolving role of organizational leadership amidst the rapid advancements in artificial intelligence (AI). It explores a broadly experienced and documented crisis in leadership, due in part to the disruptive nature of AI and emerging technology.
Rachel Wlodarsky, Davin Carr Chellman
wiley +1 more source
Logic of change, change of logic [PDF]
Synthese, 2009 zbMATH Open Web Interface contents unavailable due to conflicting licenses.
van Ditmarsch, Hans +2 more
openaire +2 more sources
A Q‐Learning Algorithm to Solve the Two‐Player Zero‐Sum Game Problem for Nonlinear Systems
International Journal of Adaptive Control and Signal Processing, Volume 39, Issue 3, Page 566-581, March 2025.A Q‐learning algorithm to solve the two‐player zero‐sum game problem for nonlinear systems. ABSTRACT This paper deals with the two‐player zero‐sum game problem, which is a bounded L2$$ {L}_2 $$‐gain robust control problem. Finding an analytical solution to the complex Hamilton‐Jacobi‐Issacs (HJI) equation is a challenging task.
Afreen Islam +2 more
wiley +1 more source
Logicism and the development of computer science
, 2002 This paper argues for the thesis that ideas originating in the philosophy of mathematics have proved very helpful for the development of computer science.
Donald Gillies, Gillies, D., Gillies, D
core +1 more source