Homogeneous Spaces and Pre-reflective Self-consciousness in Agent Models
Delve into mathematical perspectives on pre-reflective self-consciousness through homogeneous spaces, group actions, and their implications for understanding agent-environment relationships and introspection.
Structuralism and Consciousness: The Two-Factor Interaction View
Explore the relationship between consciousness mechanisms and phenomenal experience structure through experimental designs and theoretical frameworks for testing consciousness theories.
Minimal Self-Consciousness as Perspectival Information
Explore the concept of Minimal Self-Consciousness through perspectival information and its role in self-location, examining how consciousness manifests without traditional spatial-temporal boundaries.
Structuralist Representationalism: A New Approach to Phenomenal Consciousness
Explore the intersection of consciousness and representation through structuralist theory, examining how neural states correspond to phenomenal experiences and quality spaces.
Measuring the Richness of Perception Through Free Reports - A Critical Analysis
Explore the relationship between conscious visual experience and verbal descriptions, examining how word choice reflects perceived richness in experimental psychology research.
How rCTM Answers Questions About Consciousness - A Robot with CTM Brain Model
Explore how the Conscious Turing Machine Robot (rCTM) model addresses fundamental questions about consciousness through a theoretical framework and formal machine modeling approach.
Mapping Consciousness Science: A Big Data Analysis
Explore the landscape of consciousness science through big data analysis of 60,000+ papers, revealing research clusters and interdisciplinary connections across psychology, philosophy, and computer science.
The Dialectical World in the Philosophy of Technology - Nishida and Miki's Perspective
Explore Japanese philosophical perspectives on technology through Nishida and Miki's dialectical world concept, examining influences from Heidegger and Marx while investigating the relationship between technology and human praxis.
Historia: Refuting Callback Reachability with Message-History Logics
Explore a novel approach to callback reachability in event-driven frameworks using message-history logics. Learn about targeted specification and goal-directed verification for improved app analysis.
Explicit Refinement Types - A Type Theory with Embedded Proofs
Explore λert, a type theory with explicit proof refinement types. Learn about its soundness, denotational semantics, and formalization in Lean 4.
The Essence of Reactivity
Explore abstractions capturing time variance in reactive programming, comparing approaches and demonstrating a generic Haskell interface for different temporal formalisms.
Symbolic Execution with Separating Decision Diagrams
Explore symbolic execution techniques using Separating Decision Diagrams in this advanced computer science talk by Josh Berdine.
Reasoning via Semantic Transformations
Explore semantic transformations in reasoning processes, examining their role and impact on logical analysis and problem-solving techniques.
Athens to Algorithms: Zeno as a Tech Leader
Explore Stoic philosophy's application to tech leadership, focusing on rational decision-making, responsibility, stress management, and continuous improvement.
Siamo abbastanza umani per eccellere con l'IA?
Esplora come l'umanità può eccellere nell'era dell'IA, mantenendo coscienza ed etica. Scopri come progettare l'IA come alleato per noi e le nostre imprese, senza rinunciare al libero arbitrio.
OpenAI O1 Models: Chain of Thought Training Analysis
Explore OpenAI's O1 models' enhanced reasoning capabilities through game-based comparisons and chain-of-thought analysis.
How AI Will Become Self-Aware and When - The Path to Machine Consciousness
Explore the potential for AI consciousness, its implications, and timeline. Delve into theories of machine awareness and the future of artificial intelligence.
Entailment and Proof in Artificial Intelligence - Lecture 2.5
Explore entailment and proof concepts in artificial intelligence, focusing on knowledge representation and reasoning techniques.
Historical Perspective: Emergence of Materialism and Idealism - Part 2
Explore the evolution of philosophical thought from primitive materialism through Greek philosophy to the Renaissance, tracing key developments in materialist and idealist perspectives.
Patterns in Arguments - Lecture 2.7
Explore patterns in arguments to enhance reasoning skills and improve logical analysis in artificial intelligence.
Truth, Logic, and Provability in Artificial Intelligence - Lecture 2.3
Explore truth, logic, and provability in artificial intelligence, focusing on knowledge representation and reasoning concepts.