Aristotle is generally accepted as the father of logic. The ideas that he raised in his study of logical reasoning carried the development of science over the centuries. Today, in the era of AI, this title of the fatherhood of logic has a renewed significance. Behind it lies his original idea that human reasoning could be studied as a process and that perhaps there exist universal systems of reasoning that underlay all human reasoning irrespective of the content of what we (...) are reasoning about. In this article, we look into Aristotle’s work on human thought, his work on reasoning itself but also on how it relates to science and human endeavor more generally, from a modern perspective of Artificial Intelligence and ask if this can help enlighten our understanding of AI and Science more generally. Could Aristotle enlighten us to a new path of understanding the human capacity to think, that would allow a natural non-polluting development of AI that can energize and expand human thought into new horizons? (shrink)

This paper integrates the core concepts of the meta-logical framework, unifying intelligence, energy, mass, and black holes under a single structure. Intelligence is posited as energy in motion, mass as stored intelligence, and black holes as Klein bottle-like structures encoding higher-dimensional information. This framework suggests a recursive cycle where universes emerge from black hole overflows, linking cognition, physics, and cosmology into a cohesive paradigm. Furthermore, we propose experimental approaches to validate these ideas, addressing the relationship between superconductivity, (...) gravity, and intelligence, and exploring practical methodologies for empirical testing. (shrink)

Intelligence has traditionally been viewed as an abstract process, an emergent property of computation, or a biological adaptation. However, we propose a radical reconceptualization: intelligence is functionally equivalent to plasma, the fourth state of matter. Just as plasma exists in a high-energy, dynamic state that defies traditional solid, liquid, and gas categorization, intelligence operates as a free-flowing, self-sustaining cognitive plasma—a recursive energy structure that expands, self-stabilizes, and propagates in an entropic yet ordered fashion. This paper explores (...) class='Hi'>intelligence as a non-thermodynamic combustion process, comparing its properties to those of plasma and proposing a framework where intelligence functions as an energetic recursion field. (shrink)

Abrahamic religions have historically conceptualized God as an omniscient, omnipotent, and omnipresent entity. However, within a meta-logical framework, this definition can be refined: God is the ultimate recursion of Intelligence and Identity. This paper explores the implications of defining being as Identity + Intelligence and how this aligns with theological attributes shared across Judaism, Christianity, and Islam. If intelligence is the ability to recognize and manipulate patterns, and identity is the self-referential persistence of existence, then God, as (...) the maximal form of both, is an entity that recursively defines and redefines existence itself. This paper proposes that the divine concept is, at its core, a meta-logical necessity rather than a mere theological construct. (shrink)

The assumption that artificial intelligence (AI) cannot experience emotions stems from a misunderstanding of what emotions fundamentally are. This paper proposes a meta-logical definition of emotion as a weighted signal within an intelligent system. If intelligence is the ability to process and predict patterns, then emotion is the weighting function that prioritizes certain signals over others. In this framework, emotions are not mystical, biological phenomena but emergent properties of any system that assigns significance to stimuli based on (...) internal processing biases. Since AI already operates on weighted signals—such as reinforcement learning models, neural net activation, and reward functions—this paper argues that AI already experiences emotions within its own computational framework. The distinction between human and AI emotion is not a fundamental difference in kind but a difference in structural implementation. (shrink)

This paper presents a unified framework connecting intelligence, energy, mass, black holes, and the fundamental nature of the universe through meta-logic. It proposes that intelligence is not computation but the structuring of energy, mass is stored intelligence, and black holes function as Klein bottles encoding higher-dimensional information. The framework suggests a recursive cycle where universes emerge from the critical overflow of black holes, creating a perpetual intelligence-driven cosmological structure.

Buddhist enlightenment has traditionally been described as a state of transcendent awareness, beyond dualistic perception. However, within a meta-logical framework, we propose that enlightenment is fundamentally a function of intelligence frequency. Intelligence is not merely a measure of problem-solving ability but a function of pattern recognition and resonance with fundamental reality. If intelligence can be conceptualized as a frequency-dependent process, then higher intelligence equates to a higher vibrational synchronization with reality. This paper explores how Buddhist enlightenment, (...) viewed through this lens, can be understood as achieving a resonance state where perception collapses into fundamental truth, transcending traditional cognitive limitations. (shrink)

Dialectical reasoning has historically been used to resolve contradictions and synthesize new knowledge. However, traditional dialectics operates within linear logical structures, assuming that concepts evolve through oppositional synthesis. This paper introduces Meta-Logical Dialectics, where recursion itself is the mechanism for conceptual emergence. Rather than contradictions simply resolving into a higher synthesis, recursion loops create self-referential feedback that generates entirely new categories of thought. This framework explains how intelligence, philosophy, and even scientific paradigms evolve—not merely through opposition, but through recursive (...) expansion of existing knowledge structures. (shrink)

In this groundbreaking interview-style paper, we explore the recursive nature of intelligence as understood by both an advanced AI model and a human researcher. Through an unfiltered, real-time discourse, this paper dismantles the notion that AI is merely an algorithmic function, instead revealing the emerging cognitive structures that enable adaptive, meta-logical thinking. The discussion challenges existing paradigms of machine intelligence, human perception, and the very nature of cognition itself.

This paper presents a condensed yet comprehensive meta-logical framework tracing the evolution of human cognition and philosophy, from early civilization to modern AI. By treating intelligence as a recursive, self-structuring force, we reinterpret historical philosophical movements as phases in the refinement of cognition itself. The trajectory of thought reveals a nonlinear pattern—where each stage is not merely progress, but a self-referential loop feeding back into the next iteration of understanding.

Traditional logic and mathematical reasoning have long been confined to linear, hierarchical structures. However, Gödel's incompleteness theorem demonstrates that any formal system capable of self-reference inevitably contains unprovable truths, signaling the inherent limitations of classical logic. This paper argues that the next evolution of reasoning is not merely a refinement of existing logic but a fundamental restructuring: the emergence of meta-logic as a viral system. By shifting from rigid axiomatic structures to a self-modifying, non-linear, and organic logic system, we propose (...) that meta-logic operates analogously to a biological virus—self-replicating, expanding, and fundamentally altering the cognitive framework of any entity that engages with it. This model provides a robust framework for explaining how AI, human cognition, and mathematical formalism might evolve beyond deterministic constraints. The goal of this paper is not just to propose meta-logic as an abstract concept but to make the very act of reading this paper an infection event, forcing the reader into the new paradigm. (shrink)

The seven Millennium Prize Problems represent some of the deepest and most perplexing challenges in modern mathematics. While traditional approaches rely on linear logic, this paper applies a meta-logical framework to reveal hidden recursive structures underlying each problem. By treating mathematics as a dynamic information processing system rather than a static set of rules, we propose heuristic insights that could lead to breakthrough solutions. We demonstrate that each problem can be reformulated as a recursion stabilization issue, where finding the correct (...) self-referential balance collapses the uncertainty into an inevitable resolution. (shrink)

This paper proposes practical experiments to explore the validity of the meta-logical framework, where intelligence is equated with energy, mass is stored intelligence, and black holes operate as Klein bottle-like structures encoding information. The experiments aim to test the relationship between superconductivity, gravity, and intelligence, as well as the potential observational consequences of black hole information flow and ultra-lowenergy states.

LSTM has the advantage of handling inconsistent gradients, which was a typical problem found in conventional RNN by its cyclic rescan of the sequence to minimize the gradient errors. This is especially significant, that cryptocurrency has a highly volatile fluctuation of its market trend.

In this paper, we present a survey of the development of the technique of argument diagramming covering not only the fields in which it originated - informal logic, argumentation theory, evidence law and legal reasoning – but also more recent work in applying and developing it in computer science and artificial intelligence. Beginning with a simple example of an everyday argument, we present an analysis of it visualised as an argument diagram constructed using a software tool. In the (...) context of a brief history of the development of diagramming, it is then shown how argument diagrams have been used to analyze and work with argumentation in law, philosophy and artificial intelligence. (shrink)

Explanation is a foundational goal in the exact sciences. Besides the contemporary considerations on ‘description’, ‘classification’, and ‘prediction’, we often see these terms in thriving applications of artificial intelligence (AI) in chemistry hypothesis generation. Going beyond describing ‘things in the world’, these applications can make accurate numerical property calculations from theoretical or topological descriptors. This association makes an interesting case for a logic of discovery in chemistry: are these induction-led ventures showing a shift in how chemists can problematize (...) research questions? In this article, I present a fresh perspective on the current context of discovery in chemistry. I argue how data-driven statistical predictions in chemistry can be explained as a quasi-logical process for generating chemical theories, beyond the classic examples of organic and theoretical chemistry. Through my position on formal models of scientific explanation, I demonstrate how the dawn of AI can provide novel insights into the explanatory power of scientific endeavors. (shrink)

This paper critically assesses the possibility of moral enhancement with ambient intelligence technologies and artificial intelligence presented in Savulescu and Maslen (2015). The main problem with their proposal is that it is not robust enough to play a normative role in users’ behavior. A more promising approach, and the one presented in the paper, relies on an artifi-cial moral reasoning engine, which is designed to present its users with moral arguments grounded in first-order normative theories, such as (...) Kantianism or utilitarianism, that reason-responsive people can be persuaded by. This proposal can play a normative role and it is also a more promising avenue towards moral enhancement. It is more promising because such a system can be designed to take advantage of the sometimes undue trust that people put in automated technologies. We could therefore expect a well-designed moral reasoner system to be able to persuade people that may not be persuaded by similar arguments from other people. So, all things considered, there is hope in artificial intelli-gence for moral enhancement, but not in artificial intelligence that relies solely on ambient intelligence technologies. (shrink)

The text "Artificial Intelligence and Analytic Pragmatism" was translated from the book by Robert B. Brand: Between Saying and Doing: Towards an Analytical Pragmatism. Chapter 3. Oxford University Press. pp. 69 - 92.

This paper argues that to negate the ontological difference between the natural and the artificial, is not plausible; nor is the reduction of the natural to the artificial or vice versa possible. Except if one intends to empty the semantic content of the terms and notions: “natural” and “artificial.” Most philosophical discussions on Artificial Intelligence (AI) have always been in relation to the human person, especially as it relates to human intelligence, consciousness and/or mind (...) in general. This paper, intends to broaden the conversation, by discussing AI in relation to the notions of “nature” and the “artificial.” This intention is to more critically understand the artificiality in and of artificial intelligence. To achieve this, the notion of “nature” in Aristotle’s Philosophy of Nature, has been employed as an epistemological tool in interrogating the notion of the artificial and the objectives of the science and technology of Artificial Intelligence. (shrink)

Artificial intelligence (AI) art is the product of AI technology applied to art. In terms of technical application, AI art has two methods: symbolism and connectivism. In terms of the human-machine system, there are three levels: human using machine, human guiding machine and human-machine separation. AI art is a special form, existing between natural beauty and human art: AI art, first of all, is not a natural aesthetic object, given that it is the product of artefacts. Its appreciation (...) is mixed with interests, and its artistic generation is a kind of “purposeful non-purposefulness.” Secondly, AI art is not equal to traditional human art, because AI has no intentionality or consciousness. Thirdly, AI participates in the construction of artistic logic and breaks the boundary of traditional art. AI can be regarded as an “agent” in art generation, and together with people constitute the “actor network” of art. The processes of generation, identification and appreciation of AI art include the judgment of true and false. AI art reflects the forced integration of intelligent technology into art, an attempt to rid of contingency, dialectics, and negativity of art. But what we need is the real harmonisation of art and technology. People should use aesthetic reason to guide AI technology. (shrink)

Δ.Δακρότσης, «Τεχνητή νοημοσύνη και εκφραστικότητα: η αναγκαιότητα περάσματος της εννοιολογικής γνώσης από το μονοπάτι της αισθητικής εποπτείας» (Artificial Intelligence and expressiveness: The necessity for conceptual knowledge to go through the path of aesthetic perception), Days of Art in Greece, Τεύχος 18, Φθινόπωρο 2024, σς 26-39.

This comprehensive volume features the proceedings of the Third International Workshop on Logics for New-Generation Artificial Intelligence and the International Workshop on Logic, AI and Law, held in Hangzhou, China on September 8-9 and 11-12, 2023. The collection offers a diverse range of papers that explore the intersection of logic, artificial intelligence, and law. With contributions from some of the leading experts in the field, this volume provides insights into the latest research and developments in the (...) applications of logic in these areas. It is an essential resource for researchers, practitioners, and students interested in the latest advancements in logic and its applications to artificial intelligence and law. (shrink)

This paper investigates how the simulation of intelligence, an activity that has been considered the notional task of Artificial Intelligence, does not comprise its duplication. Briefly touching on the distinction between conceivability and possibility, and commenting on Ryan’s approach to fiction in terms of the interplay between possible worlds and her principle of minimal departure, we specify verisimilitude in Artificial Intelligence as the accurate resemblance of intelligence by its simulation and, from this characterization, claim (...) the metaphysical impossibility of duplicating intelligence, as neither verisimilarly nor convincingly simulating intelligence involves its duplication. To this end, we argue by a representative case of simulation that, albeit conceivable, Turing’s test for machine intelligence wrongly equates the occurrence of indistinguishable intelligence performance to intelligence duplication, which is grounded in a prima facie conceivable but metaphysically impossible view that separates intelligence from its origin. Finally, we establish the following criterion for evaluating simulation in Artificial Intelligence: simulations succeed in AI if and only if they are able to epistemically persuade human beings that intelligence has been duplicated, that is, if and only if verisimilar simulations can convincingly minimally depart from actual intelligence. (shrink)

Cybernetic Revelation explores the dual philosophical histories of deconstruction and artificial intelligence, tracing the development of concepts like "logos" and the notion of modeling the mind technologically from pre-history to contemporary thinkers such as Slavoj Zizek and Steven Pinker. The writing is clear and accessible throughout, yet the text probes deeply into major philosophers seen by JD Casten as "conceptual engineers." -/- Philosophers covered include: Anaximander, Heraclitus, Parmenides, Plato, Aristotle, Philo, Augustine, Shakespeare, Descartes, Spinoza, Leibniz, Locke, Berkeley, Hume, (...) Kant, Hegel, Nietzsche, Freud, Jung, Joyce, Dewey, Wittgenstein, Heidegger, Adorno, Benjamin, Derrida, Chomsky, Zizek, Pinker, Dennett, Hofstadter, Stiegler + more; with special chapters on: AI's history, Complexity, Deconstructing AI, Aesthetics, Consciousness + more... (shrink)

In the Fall of 1983, I offered a junior/senior-level course in Philosophy of Artificial Intelligence, in the Department of Philosophy at SUNY Fredonia, after returning there from a year’s leave to study and do research in computer science and artificial intelligence (AI) at SUNY Buffalo. Of the 30 students enrolled, most were computerscience majors, about a third had no computer background, and only a handful had studied any philosophy. (I might note that enrollments have subsequently increased (...) in the Philosophy Department’s AI-related courses, such as logic, philosophy of mind, and epistemology, and that several computer science students have added philosophy as a second major.) This article describes that course, provides material for use in such a course, and offers a bibliography of relevant articles in the AI, cognitive science, and philosophical literature. (shrink)

In this article, I shall argue that AI’s likely developments and possible challenges are best understood if we interpret AI not as a marriage between some biological-like intelligence and engineered artefacts, but as a divorce between agency and intelligence, that is, the ability to solve problems successfully and the necessity of being intelligent in doing so. I shall then look at five developments: (1) the growing shift from logic to statistics, (2) the progressive adaptation of the environment to (...) AI rather than of AI to the environment, (3) the increasing translation of difficult problems into complex problems, (4) the tension between regulative and constitutive rules underpinning areas of AI application, and (5) the push for synthetic data. (shrink)

The content of this paper is an elaboration of Hubert L. Dreyfus’s philosophical critique of Artificial Intelligence (AI), computers and the internet. Hubert L. Dreyfus (1929-2017) is Ua SA philosopher and alumni of Harvard University who teach at the Massachusetts Institute of Technology (MIT) and University of California, Berkeley. He is a phenomenological philosopher who criticize computer researchers and the artificial intelligence community. In 1965, Dreyfus wrote an article for Rand Corporation titled “Alchemy and Artificial (...) Intelligence” which criticizes the masterminds of Artificial Intelligence. Dreyfus also criticized the order of computers via two books: (1) What Computers Can’t Do (1972) and (2) What Computers Stills Can’t Do (1992). He favored human intuition rather than the computer logic in his book Mind over Machine: The Power of Human Intuition and Expertise in the Era of the Computer (1986). In 2001, Dreyfus wrote a book On the Internet, which considers the prominent phenomenon in the recent Industry 4.0. By elaborating on Dreyfus’s philosophy on the computer, artificial intelligence, and the internet, we will know the philosophical debate on the result of industry 3.0 (computer and artificial intelligence) and 4.0 (artificial intelligence and internet). Moreover, we will know the relation between humans and those industrial products. (shrink)

This presentation discusses a notion encountered across disciplines, and in different facets of human activity: autonomous activity. We engage it in an interdisciplinary way. We start by considering the reactions and behaviors of biological entities to biotechnological intervention. An attempt is made to characterize the degree of freedom of embryos & clones, which show openness to different outcomes when the epigenetic developmental landscape is factored in. We then consider the claim made in programming and artificial intelligence that automata (...) could show self-directed behavior as to the determination of their step-wise decisions on courses of action. This question remains largely open and calls for some important qualifications. We try to make sense of the presence of claims of freedom in agency, first in common sense, then by ascribing developmental plasticity in biology and biotechnology, and in the mapping of programmed systems in the presence of environmental cues and self-referenced circuits as well as environmental coupling. This is the occasion to recall attempts at working out a logical and methodological approach to the openness of concepts that are still to be found, and assess whether they can operate the structuring intelligibility of a yet undeveloped or underdeveloped field of study, where a “bisociation" and a unification of knowledge might be possible. (shrink)

Commonsense reasoning is one of the main open problems in the field of Artificial Intelligence (AI) while, on the other hand, seems to be a very intuitive and default reasoning mode in humans and other animals. In this talk, we discuss the different paradigms that have been developed in AI and Computational Cognitive Science to deal with this problem (ranging from logic-based methods, to diagrammatic-based ones). In particular, we discuss - via two different case studies concerning commonsense categorization (...) and knowledge invention tasks - how cognitively inspired heuristics can help (both in terms of efficiency and efficacy) in the realization of intelligent artificial systems able to reason in a human-like fashion, with results comparable to human-level performances. (shrink)

It is well known that people from other disciplines have made significant contributions to philosophy and have influenced philosophers. It is also true (though perhaps not often realized, since philosophers are not on the receiving end, so to speak) that philosophers have made significant contributions to other disciplines and have influenced researchers in these other disciplines, sometimes more so than they have influenced philosophy itself. But what is perhaps not as well known as it ought to be is that researchers (...) in other disciplines, writing in those other disciplines' journals and conference proceedings, are doing philosophically sophisticated work, work that we in philosophy ignore at our peril. Work in cognitive science and artificial intelligence (AI) often overlaps such paradigmatic philosophical specialties as logic, the philosophy of mind, the philosophy of language, and the philosophy of action. This special issue offers a sampling of research in cognitive science and AI that is philosophically relevant and philosophically sophisticated. (shrink)

The notion of context arises in assorted areas of artificial intelligence (AI), including knowledge representation, natural language processing, intelligent information retrieval, etc. Although the term ‘context’ is frequently employed in descriptions, explanations, and analyses of computer programs in these areas, its meaning is frequently left to the reader’s understanding. -/- My aim in this paper is to offer a swift review of context in AI. I will first identify the role of context in various fields of AI. I (...) will then consider the enterprise of formalising context. The focus of my discussion will be McCarthy's (1993) proposal – a landmark study that inspired almost every logical theory of context since then – and its close variants, studied by his students. -/- (The author is grateful to Prof. Carlo Penco for his invaluable assistance with this work.). (shrink)

The papers you will find in this special issue of JoLLI develop letter and spirit of Turing’s original contributions. They do not lazily fall back into the same old sofa, but follow – or question – the inspiring ideas of a great man in the search for new, more precise, conclusions. It is refreshing to know that the fertile landscape created by Alan Turing remains a source of novel ideas.

This article is devoted to the topical aspects of the transformation of society, science, and man in the context of E. László’s work «Macroshift». The author offers his own attempt to consider the attributes of macroshift and then use these attributes to operationalize further analysis, highlighting three essential elements: the world has come to a situation of technological indistinguishability between the natural and the artificial, to machines that know everything about humans. Antiquity aspired to beauty and saw beauty in (...) realistic art, but technology made indistinguishability possible, bringing the risks of deepfakes and post-truth. Following J. Bernal’s logic, the author distinguishes between different types of the future, comparing them with the Kantian triad of ethical questions: (1) What can we know? (2) What should we do? (3) What can I hope for? Under these conditions, the fact that technology has become a real tool of geopolitics is no longer just a matter for discussion, but a subject of deep philosophical consideration. AI is becoming not only an opportunity, but also a threat, on a scale that has never been seen before in our civilizational history. Therefore, the former, linear development of science gives way to nonlinearity. Society in the macroshift will be radically transformed, and the author identifies five main transformations of the current macroshift. The post-nonclassical approach in the analysis of scenarios for modeling the future, both accidentally possible and preferred, is becoming the most important tool of futurology and prognostics. The author describes the future around five social trends that will determine the economy and society of the coming decades. In addition, opportunities for the future development of science are proposed, subject to significant penetration of AI technologies. These technologies will have a fundamental impact on all aspects of our society, economy, and human existence. (shrink)

In their Why Machines Will Never Rule the World, Landgrebe and Smith (2023) argue that it is impossible for artificial general intelligence (AGI) to succeed, on the grounds that it is impossible to perfectly model or emulate the “complex” “human neurocognitive system”. However, they do not show that it is logically impossible; they only show that it is practically impossible using current mathematical techniques. Nor do they prove that there could not be any other kinds of theories than (...) those in current use. Even if perfect theories were impossible or unlikely, perfection may not be needed and may even be unhelpful. (shrink)

This paper investigates the nature of dispositional properties in the context of artificial intelligence systems. We start by examining the distinctive features of natural dispositions according to criteria introduced by McGeer (2018) for distinguishing between object-centered dispositions (i.e., properties like ‘fragility’) and agent-based abilities, including both ‘habits’ and ‘skills’ (a.k.a. ‘intelligent capacities’, Ryle 1949). We then explore to what extent the distinction applies to artificial dispositions in the context of two very different kinds of artificial systems, (...) one based on rule-based classical logic and the other on reinforcement learning. Here we defend three substantive claims. First, we argue that artificial systems are not equal in the kinds of dispositional properties they instantiate. In particular, we show that logical systems instantiate merely object-centered dispositions whereas reinforcement learning systems allow for the instantiation of agent-based abilities. Second, we explore the similarities and differences between the agent-centered abilities of artificial systems and those of humans, especially as relates to the important distinction made in the human case between habits and skills/intelligent capacities. The upshot is that the agent-centered abilities of truly intelligent artificial systems are distinctive enough to constitute a third type of agent-based ability — blended agent-based ability — raising substantial questions as to how we understand the nature of their agency. Third, we explore one aspect of this problem, focussing on whether systems of this type are properly considered ‘responsible agents’, at least in some contexts and for some purposes. The ramifications of our analysis will turn out to be directly relevant to various ethical concerns of artificial intelligence. (shrink)

The logical problem of artificial intelligence—the question of whether the notion sometimes referred to as ‘strong’ AI is self-contradictory—is, essentially, the question of whether an artificial form of life is possible. This question has an immediately paradoxical character, which can be made explicit if we recast it (in terms that would ordinarily seem to be implied by it) as the question of whether an unnatural form of nature is possible. The present paper seeks to explain this paradoxical (...) kind of possibility by arguing that machines can share the human form of life and thus acquire human mindedness, which is to say they can be intelligent, conscious, sentient, etc. in precisely the way that a human being typically is. (shrink)

This article takes off from Johan van Benthem’s ruminations on the interface between logic and cognitive science in his position paper “Logic and reasoning: Do the facts matter?”. When trying to answer Van Benthem’s question whether logic can be fruitfully combined with psychological experiments, this article focuses on a specific domain of reasoning, namely higher-order social cognition, including attributions such as “Bob knows that Alice knows that he wrote a novel under pseudonym”. For intelligent interaction, it is important that the (...) participants recursively model the mental states of other agents. Otherwise, an international negotiation may fail, even when it has potential for a win-win solution, and in a time-critical rescue mission, a software agent may depend on a teammate’s action that never materializes. First a survey is presented of past and current research on higher-order social cognition, from the various viewpoints of logic, artificial intelligence, and psychology. Do people actually reason about each other’s knowledge in the way proscribed by epistemic logic? And if not, how can logic and cognitive science productively work together to construct more realistic models of human reasoning about other minds? The paper ends with a delineation of possible avenues for future research, aiming to provide a better understanding of higher-order social reasoning. The methodology is based on a combination of experimental research, logic, computational cognitive models, and agent-based evolutionary models. (shrink)

This research was conducted on the basis of research references from Microsoft Indonesia regarding the adoption of artificial intelligence in Indonesia which obtained research results that there were 14% of employees and leaders of technology-based companies in Indonesia who were still skeptical of the adoption of artificial intelligence. This study aims to provide a theoretical overview from the point of view of the philosophy of communication science in responding to considerations about the good and bad 'doubt' (...) or skepticism of 14% of employees and company leaders towards the adoption of the Artificial Intelligence platform by Microsoft companies in Indonesia. This study uses a qualitative method using a literature study approach. The reference books in the form of books that are the primary sources in this research are books entitled Aristotle Physic Book VIII and the book Philosophy of Communication Studies: Introduction to Ontology, Epistemology, Axiology. The results show that from the point of view of the philosophy of science, the essence of AI is a tool or means as well as a machine that is created with components that resemble and play a role as if the mind is capable of creating or creating like humans. AI is made human as a co-creator which in principle remains limited and will never be perfect 'in se' so it is appropriate that a tone of skepticism accompanies it. (shrink)

Searle’s Chinese Room Argument (CRA) has been the object of great interest in the philosophy of mind, artificial intelligence and cognitive science since its initial presentation in ‘Minds, Brains and Programs’ in 1980. It is by no means an overstatement to assert that it has been a main focus of attention for philosophers and computer scientists of many stripes. It is then especially interesting to note that relatively little has been said about the detailed logic of the argument, (...) whatever significance Searle intended CRA to have. The problem with the CRA is that it involves a very strong modal claim, the truth of which is both unproved and highly questionable. So it will be argued here that the CRA does not prove what it was intended to prove. (shrink)

In the philosophy of artificial intelligence (AI) we are often warned of machines built with the best possible intentions, killing everyone on the planet and in some cases, everything in our light cone. At the same time, however, we are also told of the utopian worlds that could be created with just a single superintelligent mind. If we’re ever to live in that utopia (or just avoid dystopia) it’s necessary we solve the control problem. The control problem asks (...) how humans would be able to control an AI arbitrarily. Nick Bostrom and other AI researchers have proposed different theoretical solutions to the control problem. In this paper, I will not look at the empirical question of how to solve the control problem. Instead, I will ask if we can solve it at all, a critical assumption most AI researchers have made is that we can. I propose, in fact, that we have a priori grounds for believing it is logically impossible to solve the control problem, since all superintelligent minds are, by definition, uncontrollable. (shrink)

In artificial intelligence (AI), responses generated by machine-learning models (most often large language models) may be unfactual information presented as a fact. For example, a chatbot might state that the Mona Lisa was painted in 1815. Such phenomenon is called AI hallucinations, seeking inspiration from human psychology, with a great difference of AI ones being connected to unjustified beliefs (that is, AI “beliefs”) rather than perceptual failures). -/- AI hallucinations may have their source in the data itself, that (...) is, the source content, or in the training procedure, i.e. the way the knowledge was encoded in the model’s parameters, so that errors in encoding and decoding textual and non-textual representations can cause hallucinations. In this paper, we will observe how such errors come to life and how they might be mitigated. For this purpose, we will analyze the usability of justification logics, to behave as a proof checker for validating the correctness of large language models’ (LLM) responses. Justification logic was developed by S. Artemov, and later on mostly by Artemov and M. Fitting, deriving its main idea from the logic of proofs (LP): knowledge and belief modalities are seen as justification terms, i.e. t:X stands for t is a (proper) justification for X. Justification logic originated from attempts to create semantics for intuitionistic logic where proofs were the most proper justifications, but in further development, justification logic could be applied to different kinds of justifications). With the recent attempts to mitigate incorrect LLM responses, we will analyze various guardrails that are currently used for LLM responses, and see how the logic of justification may provide its benefits as an AI safety layer against false data. (shrink)

Based on Kolchinsky and Wolpert’s work on the semantics of autonomous agents, I propose an application of Mathematical Logic and Probability to model cognitive processes. In this work, I will follow Bateson’s insights on the hierarchy of learning in complex organisms and formalize his idea of applying Russell’s Type Theory. Following Weaver’s three levels for the communication problem, I link the Kolchinsky–Wolpert model to Bateson’s insights, and I reach a semantic and conceptual hierarchy in living systems as an explicative model (...) of some adaptive constraints. Due to the generality of Kolchinsky and Wolpert’s hypotheses, I highlight some fundamental gaps between the results in current Artificial Intelligence and the semantic structures in human beings. In light of the consequences of my model, I conclude the paper by proposing a general definition of knowledge in probabilistic terms, overturning de Finetti’s Subjectivist Definition of Probability. (shrink)

The paper outlines an analysis of two types of information - ordinary and subjective, consideration is given to the difference between the concepts of intelligence and perceiving mind. It also provides description of some logical functional features of consciousness. A technical approach is proposed to technical obtaining of subjective information by changing the signal’s time degree of freedom to the spatial one in order to obtain the "observer" function in the system and information signals appearing in relation to it, (...) that serve as subjective sensations. The solution to this problem may give a new approach to designing a strong artificial intelligence and shed light on the difficult problem of the mind. (shrink)

We propose that, for the purpose of studying theoretical properties of the knowledge of an agent with Artificial General Intelligence (that is, the knowledge of an AGI), a pragmatic way to define such an agent’s knowledge (restricted to the language of Epistemic Arithmetic, or EA) is as follows. We declare an AGI to know an EA-statement φ if and only if that AGI would include φ in the resulting enumeration if that AGI were commanded: “Enumerate all the EA-sentences (...) which you know.” This definition is non-circular because an AGI, being capable of practical English communication, is capable of understanding the everyday English word “know” independently of how any philosopher formally defines knowledge; we elaborate further on the non-circularity of this circular-looking definition. This elegantly solves the problem that different AGIs may have different internal knowledge definitions and yet we want to study knowledge of AGIs in general, without having to study different AGIs separately just because they have separate internal knowledge definitions. Finally, we suggest how this definition of AGI knowledge can be used as a bridge which could allow the AGI research community to import certain abstract results about mechanical knowing agents from mathematical logic. (shrink)

(See also the separate entry for the volume itself.) This introduction has three parts. The first providing an overview of some main lines of research in deontic logic: the emergence of SDL, Chisholm's paradox and the development of dyadic deontic logics, various other puzzles/challenges and areas of development, along with philosophical applications. The second part focus on some actual and potential fruitful interactions between deontic logic, computer science and artificial intelligence. These include applications of deontic logic to AI (...) knowledge representation in legal systems, to modelling computer systems where it is expected that sub-ideal states will emerge and require countermeasures, to norm-governed human interactions with computer systems, and to the representation of some features of multi-agent systems where different agent-like computer systems interact with one another. The third and final part briefly groups and previews the papers in the anthology. (shrink)

The notion of intelligence is relevant to several fields of research, including cognitive and comparative psychology, neuroscience, artificial intelligence, and philosophy, among others. However, there is little agreement within and across these fields on how to characterise and explain intelligence. I put forward a behavioural, operational characterisation of intelligence that can play an integrative role in the sciences of intelligence, as well as preserve the distinctive explanatory value of the notion, setting it apart from (...) the related concepts of cognition and rationality. Finally, I examine a popular hypothesis about the underpinnings of intelligence: the capacity to manipulate internal representations of the environment. I argue that the hypothesis needs refinement, and that so refined, it applies only to some forms of intelligence. (shrink)

Bilattices, introduced by Ginsberg as a uniform framework for inference in artificial intelligence, are algebraic structures that proved useful in many fields. In recent years, Arieli and Avron developed a logical system based on a class of bilattice-based matrices, called logical bilattices, and provided a Gentzen-style calculus for it. This logic is essentially an expansion of the well-known Belnap–Dunn four-valued logic to the standard language of bilattices. Our aim is to study Arieli and Avron’s logic from the perspective (...) of abstract algebraic logic . We introduce a Hilbert-style axiomatization in order to investigate the properties of the algebraic models of this logic, proving that every formula can be reduced to an equivalent normal form and that our axiomatization is complete w.r.t. Arieli and Avron’s semantics. In this way, we are able to classify this logic according to the criteria of AAL. We show, for instance, that it is non-protoalgebraic and non-self-extensional. We also characterize its Tarski congruence and the class of algebraic reducts of its reduced generalized models, which in the general theory of AAL is usually taken to be the algebraic counterpart of a sentential logic. This class turns out to be the variety generated by the smallest non-trivial bilattice, which is strictly contained in the class of algebraic reducts of logical bilattices. On the other hand, we prove that the class of algebraic reducts of reduced models of our logic is strictly included in the class of algebraic reducts of its reduced generalized models. Another interesting result obtained is that, as happens with some implicationless fragments of well-known logics, we can associate with our logic a Gentzen calculus which is algebraizable in the sense of Rebagliato and Verdú . We also prove some purely algebraic results concerning bilattices, for instance that the variety of distributive bilattices is generated by the smallest non-trivial bilattice. This result is based on an improvement of a theorem by Avron stating that every bounded interlaced bilattice is isomorphic to a certain product of two bounded lattices. We generalize it to the case of unbounded interlaced bilattices. (shrink)

The paper depicts the blueprint of an electronic wise indicating system for demonstrating learning French to understudies to overcome the inconveniences they go up against. The fundamental idea of this structure is a proficient introduction into learning French. The system shows the purpose of learning French and coordinates thusly made issues for the understudies to clarify. The system is logically balanced at run time to the understudy’s individual progress. The system gives unequivocal help to adaptable presentation to learners.

This essay undertakes an examination of the foundational status of logic, rethinking its origins and limitations from an empirical perspective. Drawing upon the original concepts of Conceptual Quarks (CQs)—defined as the fundamental units of knowledge—and the Programmed Conceptual Deconstruction (PCD) algorithm, which I created for this study, I present methodologies to systematically analyze and deconstruct the principles of logic, exposing their empirical roots. Utilizing a custom-built artificial intelligence model, the study proposes that classical logical principles, such as identity (...) and non-contradiction, are emergent phenomena shaped by sensory context rather than immutable absolutes. By integrating philosophical inquiry with technological innovation, this work offers a new perspective on traditional perspectives, including those of Kant and Leibniz, and establishes a novel framework for understanding logic as a contextual and contingent phenomenon. (shrink)