Results 61 to 70 of about 1,604 (278)
What is Intuitionism and Why be an Intuitionist? [PDF]
, 2005 This paper examines the advantages and disadvantages of ethical intuitionism and is an extended critical discussion of an edited collection Rethinking Intutionism (ed.) Stratton-Lake (OUP) that has been much discussed.
Kirchin, Simon T.
core +1 more source
Advanced Materials Technologies, EarlyView.A MEMS‐integrated metamaterial filter enables continuous, low‐voltage spectral tuning in the long‐wavelength infrared (LWIR). The device employs extraordinary optical transmission in a dual suspended metasurface stack, where electrostatic actuation precisely controls the intermembrane air gap.
Oleg Bannik +6 more
wiley +1 more source
Reflecting on Social Inclusion Through Philosophical Discussion: A Sustainable Partnership Framework
ChallengesThe 17 sustainable development goals advocated by the United Nations have played a big role in focusing the minds of policy makers in terms of sustainability issues and have also highlighted the issue of social inclusion and the need to make society more
Peter R. J. Trim, Richard C. L. Trim
doaj +1 more source
Hard‐Magnetic Soft Millirobots in Underactuated Systems
Advanced Robotics Research, EarlyView.This review provides a comprehensive overview of hard‐magnetic soft millirobots in underactuated systems. It examines key advances in structural design, physics‐informed modeling, and control strategies, while highlighting the interplay among these domains.
Qiong Wang +4 more
wiley +1 more source
Husserl Between Frege’s Logicism And Hilbert’s Formalism
The Baltic International Yearbook of Cognition, Logic and Communication, 2009 The traditional view regarding the philosophy of mathematics in the twentieth century is the dogma of three schools: Logicism, Intuitionism and Formalism.
Ulrich Majer
doaj +1 more source
Incomplete? Or Indefinite? Intuitionism on Gödel’s First Incompleteness Theorem [PDF]
, 2021 This paper analyzes two natural-looking arguments that seek to leverage Gödel’s first incompleteness theorem for and against intuitionism, concluding in both cases that the argument is unsound because it equivocates on the meaning of “proof,” which ...
Crawford, Quinn
core
Grounding Large Language Models for Robot Task Planning Using Closed‐Loop State Feedback
Advanced Robotics Research, EarlyView.BrainBody‐Large Language Model (LLM) introduces a hierarchical, feedback‐driven planning framework where two LLMs coordinate high‐level reasoning and low‐level control for robotic tasks. By grounding decisions in real‐time state feedback, it reduces hallucinations and improves task reliability.
Vineet Bhat +4 more
wiley +1 more source
Intuitionnisme dialogique et pré-propositionnalité
Philosophia ScientiæIt is thought that the fact that the processes of intuitionism come into conflict with certain laws of classical logic justifies reforming the latter to remove the reasons for this conflict and associate intuitionistic mathematics with a logic.
Clément Lion
doaj +1 more source
The Appeal of Kantian Intuitionism [PDF]
, 2009 This is a critical assessment of Robert Audi's ...
BAGNOLI, Carla
core
Some good and bad news for ethical intuitionism [PDF]
, 2008 The core doctrine of ethical intuitionism is that some of our ethical knowledge is non-inferential. Against this, Sturgeon has recently objected that if ethical intuitionists accept a certain plausible rationale for the autonomy of ethics, then their ...
Väyrynen, Pekka, Vayrynen, P
core +1 more source