English
Related papers

Related papers: Canonical Functionalism: Defining Functional Struc…

200 papers

This paper critically assesses the anti-functionalist stance on consciousness adopted by certain advocates of integrated information theory (IIT), a corollary of which is that human-level artificial intelligence implemented on conventional…

Artificial Intelligence · Computer Science 2015-09-08 Murray Shanahan

We describe a new cognitive ability, i.e., functional conceptual substratum, used implicitly in the generation of several mathematical proofs and definitions. Furthermore, we present an initial (first-order) formalization of this mechanism…

Logic · Mathematics 2017-10-12 Danny A. J. Gomez-Ramirez , Stefan Hetzl

Quantum Darwinism explains the emergence of classical objectivity through the redundant encoding of pointer information in environmental fragments. However, existing diagnostics rely on arbitrary thresholds or structural assumptions that…

Quantum Physics · Physics 2026-02-03 Arda Batin Tank

The concept of intelligent software is flawed. The behaviour of software is determined by the hardware that "interprets" it. This undermines claims regarding the behaviour of theorised, software superintelligence. Here we characterise this…

Artificial Intelligence · Computer Science 2024-11-04 Michael Timothy Bennett

For arbitrary linear time-invariant systems, the existence of a strong functional observer is investigated. Such observer determines, from the available measurement on the plant, an estimate of a function of the state and the input. This…

Systems and Control · Electrical Eng. & Systems 2025-02-07 Michael Di Loreto , Damien Eberard

Metaphors of Computation and Information tended to detract attention from the intrinsic modes of neural system functions, uncontaminated by the observer's role for collection and interpretation of experimental data. Recognizing the…

General Physics · Physics 2011-07-21 Gerhard Werner

In previous work, we proposed a logic-based framework in which computation is the execution of actions in an attempt to make reactive rules of the form if antecedent then consequent true in a canonical model of a logic program determined by…

Artificial Intelligence · Computer Science 2020-02-19 Robert Kowalski , Fariba Sadri

The foundational concepts of semantic numeration systems theory are briefly outlined. The action of cardinal semantic operators unfolds over a set of cardinal abstract entities belonging to the cardinal semantic multeity. The cardinal…

Logic in Computer Science · Computer Science 2025-07-30 Alexander Yu. Chunikhin

We find that second order quantification is problematic when a quantified concept variable is supposed to function predicatively. This issue is analyzed and it is shown that a constructive interpretation of the falling under relation…

Logic · Mathematics 2013-12-13 Nik Weaver

In this paper, new characterizations for functional observability, functional detectability, and structural functional observability (SFO) are developed, and based on them, the related optimal sensor placement problems are investigated. A…

Systems and Control · Electrical Eng. & Systems 2024-09-18 Yuan Zhang , Tyrone Fernando , Mohamed Darouach

Machine learning models increasingly function as representational systems, yet the philosoph- ical assumptions underlying their internal structures remain largely unexamined. This paper develops a structuralist decision framework for…

Artificial Intelligence · Computer Science 2025-11-25 Yildiz Culcu

This paper introduces the new concepts of Functional Controllability and Functional Stabilizability, and establishes their duality with Functional Observability and Functional Detectability, respectively. A Generalized Separation Principle…

Systems and Control · Electrical Eng. & Systems 2026-02-18 Tyrone Fernando , Mohamed Darouach

This paper introduces function alignment, a novel theory of mind and intelligence that is both intuitively compelling and structurally grounded. It explicitly models how meaning, interpretation, and analogy emerge from interactions among…

Computation and Language · Computer Science 2025-04-15 Gus G. Xia

Category theory gives a mathematical characterization of naturality but not of canonicity. The purpose of this paper is to develop the logical theory of canonical maps based on the broader demonstration that the dual notions of elements &…

Category Theory · Mathematics 2024-10-07 David Ellerman

The article provides an overview of approaches to modeling the human psyche in the perspective of building an artificial one. Based on the review, a concept of cognitive architecture is proposed, where the psyche is considered as an…

Neurons and Cognition · Quantitative Biology 2025-09-11 Anton Kolonin , Vladimir Kryukov

The infrastructure upon which the functioning of society depends is composed of complex ecosystems of systems. Consequently, we must reason about the properties of such ecosystems, which requires that we construct models of them. There are…

Logic in Computer Science · Computer Science 2024-11-15 Didier Galmiche , Timo Lang , David Pym

Studying the extent to which realism is compatible with quantum mechanics teaches us something about the quantum mechanical universe, regardless of the validity of such realistic assumptions. It has also recently been appreciated that these…

Quantum Physics · Physics 2007-09-28 Nicholas Harrigan , Terry Rudolph

This paper introduces a category theory-based framework to redefine physical computing in light of advancements in quantum computing and non-standard computing systems. By integrating classical definitions within this broader perspective,…

Quantum Physics · Physics 2024-07-18 Nima Dehghani , Gianluca Caterina

This paper outlines a general formal framework for reasoning systems, intended to support future analysis of inference architectures across domains. We model reasoning systems as structured tuples comprising phenomena, explanation space,…

Artificial Intelligence · Computer Science 2025-08-05 Saleh Nikooroo , Thomas Engel

Quantum reference frames are needed in quantum theory for much the same reasons that reference frames are in classical theories: to manifest invariance in line with fundamental relativity principles and to provide a basis for the definition…

Quantum Physics · Physics 2025-04-02 Titouan Carette , Jan Głowacki , Leon Loveridge