In this paper, we present an intelligent tutoring system developed to help students in learning Computer Theory. The Intelligent tutoring system was built using ITSB authoring tool. The system helps students to learn finite automata, pushdown automata, Turing machines and examines the relationship between these automata and formal languages, deterministic and nondeterministic machines, regular expressions, context free grammars, undecidability, and complexity. During the process the intelligent tutoring system gives assistance and feedback of many types in an intelligent manner according (...) to the behavior of the student. An evaluation of the intelligent tutoring system has revealed reasonably acceptable results in terms of its usability and learning abilities are concerned. (shrink)

This book gives a comprehensive overview of central themes of finite model theory – expressive power, descriptive complexity, and zero-one laws – together with selected applications relating to database theory and artificial intelligence, especially constraint databases and constraint satisfaction problems. The final chapter provides a concise modern introduction to modal logic, emphasizing the continuity in spirit and technique with finite model theory. This underlying spirit involves the use of various fragments of and hierarchies within first-order, second-order, fixed-point, and (...) infinitary logics to gain insight into phenomena in complexity theory and combinatorics. The book emphasizes the use of combinatorial games, such as extensions and refinements of the Ehrenfeucht-Fraissé pebble game, as a powerful way to analyze the expressive power of such logics, and illustrates how deep notions from model theory and combinatorics, such as o-minimality and treewidth, arise naturally in the application of finite model theory to database theory and AI. Students of logic and computer science will find here the tools necessary to embark on research into finite model theory, and all readers will experience the excitement of a vibrant area of the application of logic to computer science. (shrink)

Artificial Intelligence (AI) must be directed at humane ends. The development of AI has produced great uncertainties of ensuring AI alignment with human values (AI value alignment) through AI operations from design to use. For the purposes of addressing this problem, we adopt the phenomenological theories of material values and technological mediation to be that beginning step. In this paper, we first discuss the AI value alignment from the relevant AI studies. Second, we briefly present what are material values and (...) technological mediation and reflect on the AI value alignment through the lenses of these theories. We conclude that a set of finite human values can be defined and adapted to the stable life tasks that AI systems will be called upon to accomplish. The AI value alignment can also be fostered between designers and users through technological mediation. Upon that foundation, we propose a set of common principles to understand the AI value alignment through phenomenological theories. This paper contributes the unique knowledge of phenomenological theories to the discourse on AI alignment with human values. (shrink)

Much of the philosophical discussion of explanations has centered around two broad conceptions of what sorts of ‘things’ explanations are – namely, the descriptive and ontic conceptions. Defenders of each argue that scientific psychology has at best little to contribute to the study of explanations. These anti-psychologistic arguments come in two main varieties, the metaphysical and the epistemic. Both varieties trace back to Hempel and recur in the more recent writings of prominent mechanists. The metaphysical arguments attempt to combat psychologism (...) about explanation by doubly dissociating explanations themselves from the commonly associated phenomenology of explanation. The epistemic arguments attempt to combat psychologism by doubly dissociating the good-making features of explanations from the CAPE. I focus on the metaphysical arguments here, for only they directly concern the nature of, as opposed to the evaluation conditions for, explanations. The metaphysical arguments are all shown to equivocate over ‘explanation’, and thus they are no threat to the proposal that sometimes explanations just are psychological events. Such arguments do, nonetheless, gesture towards something important – namely, that the CAPE is neither necessary nor sufficient for explanation in any sense. Similar considerations lead another latter-day mechanist to conclude that no phenomenology of any sort is essential for explanation. What all of these thinkers overlook, however, is that there is another important phenomenological correlate of explanation – namely, finding a happening intelligible or understanding how or why-possibly – and it may well be of the very essence of explanation, at least in the psychological sense. I propose a psychomechanistic theory of intelligibility that accounts for how we can, through finite means, make boundless, endlessly qualified inferences about the implications of our explanations. In closing I note that, although finding a happening intelligible does sometimes engender an unjustified confidence in correctness, we should not overlook how attaining this state does at least put us in a kind of epistemic base camp. I also hint at how intelligibility could turn out to be the ultimate source of the descriptive and ontic conceptions of explanation. (shrink)

1. Modern science in historical perspective -- On the origins of modern science -- The post-Renaissance revolution : the New Science -- Frank Sherwood Taylor : the man who was converted by Galileo -- The limits of science -- Proofs and demonstrations -- On the intelligibility of Quantum Mechanics -- Uncertainty, incompleteness, chance, and design -- A Finite, Open and Contingent Universe -- 2. On the origin and development of life -- A brief history of evolutionary thought -- Life's (...) intelligible design -- What are the contributions of Genetics to the understanding of life? -- On the Human Genome in contrast to the Great Apes Genome -- On The Evolution Controversy -- Scientific critiques of Darwinism -- 3. Beyond nature and history -- The religion of Darwinism -- On the riddle of man's origin -- On science, history and free will -- Science and Faith -- Concluding remarks. (shrink)

From the cutting edge of science and living spirituality: a guide to understanding our identity and purpose in the world • Outlines the new understanding of matter and mind coming to light at the cutting edge of physics and consciousness research • Explains how we can evolve consciously, become connected with each other, and flourish on this planet • Includes contributions from Maria Sagi, Kingsley L. Dennis, Emanuel Kuntzelman, Dawna Jones, Shamik Desai, Garry Jacobs, and John R. Audette For the (...) outdated mainstream paradigm the world is a giant mechanism functioning in accordance with known and knowable laws and regularities. The new paradigm emerging in science offers a different concept: The world is an interconnected, coherent whole, and it is informed by a cosmic intelligence. This is not a finite, mechanistic-material world. It is a consciousness-infused whole-system world. We are conscious beings who emerge and co-evolve as complex, cosmic-intelligence in-formed vibrations in the Akashic Field of the universe. Ervin Laszlo and his collaborators from the forefront of science, cosmology, and spirituality show how the re-discovery of who we are and why we are here integrates seamlessly with the wisdom traditions as well as with the new emerging worldview in the sciences, revealing a way forward for humanity on this planet. They explain how we have reached a point of critical incoherence and tell us that to save ourselves, our environment, and society, we need a critical mass of people to consciously evolve a new thinking. Offering a guidepost to orient this evolution, Laszlo examines the nature of consciousness in the universe, showing how our bodies and minds act as transmitters of consciousness from the intelligence of the cosmos and how understanding science’s new concept of the world enables us to re-discover our identity and our purpose in our world. With bold vision and forward thinking, Laszlo and his contributors Maria Sagi, Kingsley L. Dennis, Emanuel Kuntzelman, Dawna Jones, Shamik Desai, Garry Jacobs, and John R. Audette outline the new idea of the world and of ourselves in the world. They help us discover how we can overcome these divisive times and blossom into a new era of peace, coherence, connection, and global wellbeing. (shrink)

Every artificial-intelligence research project needs a working definition of "intelligence", on which the deepest goals and assumptions of the research are based. In the project described in the following chapters, "intelligence" is defined as the capacity to adapt under insufficient knowledge and resources. Concretely, an intelligent system should be finite and open, and should work in real time. ;If these criteria are used in the design of a reasoning system, the result is NARS, a non-axiomatic reasoning system. ;NARS uses (...) a term-oriented formal language, characterized by the use of subject-predicate sentences. The language has an experience-grounded semantics, according to which the truth value of a judgment is determined by previous experience, and the meaning of a term is determined by its relations with other terms. Several different types of uncertainty, such as randomness, fuzziness, and ignorance, can be represented in the language in a single way. ;The inference rules of NARS are based on three inheritance relations between terms. With different combinations of premises, revision, deduction, induction, abduction, exemplification, comparison, and analogy can all be carried out in a uniform format, the major difference between these types of inference being that different functions are used to calculate the truth value of the conclusion from the truth values of the premises. ;Since it has insufficient space-time resources, the system needs to distribute them among its tasks very carefully, and to dynamically adjust the distribution as the situation changes. This leads to a "controlled concurrency" control mechanism, and a "bag-based" memory organization. ;A recent implementation of the NARS model, with examples, is discussed. The system has many interesting properties that are shared by human cognition, but are absent from conventional computational models of reasoning. ;This research sheds light on several notions in artificial intelligence and cognitive science, including symbol-grounding, induction, categorization, logic, and computation. These are discussed to show the implications of the new theory of intelligence. ;Finally, the major results of the research are summarized, a preliminary evaluation of the working definition of intelligence is given, and the limitations and future extensions of the research are discussed. (shrink)

This text unites the logical and philosophical aspects of set theory in a manner intelligible both to mathematicians without training in formal logic and to logicians without a mathematical background. It combines an elementary level of treatment with the highest possible degree of logical rigor and precision. Starting with an explanation of all the basic logical terms and related operations, the text progresses through a stage-by-stage elaboration that proves the fundamental theorems of finite sets. It focuses on the Bernays (...) theory of finite classes and finite sets, exploring the system's basis and development, including Stage I and Stage II theorems, the theory of finite ordinals, and the theory of finite classes and finite sets. This volume represents an excellent text for undergraduates studying intermediate or advanced logic as well as a fine reference for professional mathematicians. (shrink)

A primary problem in the area of natural language processing has been semantic analysis. This book looks at the semantics of natural languages in context. It presents an approach to the computational processing of English text that combines current theories of knowledge representation and reasoning in Artificial Intelligence with the latest linguistic views of lexical semantics. The book will interest postgraduates and researchers in computational linguistics as well as industrial research groups specializing in natural language processing.

It is an old idea, lately out of fashion but now experiencing a revival, that quantum mechanics may best be understood, not as a physical theory with a problematic probabilistic interpretation, but as something closer to a probability calculus per se. However, from this angle, the rather special C *-algebraic apparatus of quantum probability theory stands in need of further motivation. One would like to find additional principles, having clear physical and/or probabilistic content, on the basis of which this apparatus (...) can be reconstructed. In this paper, I explore one route to such a derivation of finite-dimensional quantum mechanics, by means of a set of strong, but probabilistically intelligible, axioms. Stated very informally, these require that systems appear completely classical as restricted to a single measurement, that different measurements, and likewise different pure states, be equivalent (up to the action of a compact group of symmetries), and that every state be the marginal of a bipartite non-signaling state perfectly correlating two measurements. This much yields a mathematical representation of (basic, discrete) measurements as orthonormal subsets of, and states, by vectors in, an ordered real Hilbert space – in the quantum case, the space of Hermitian operators, with its usual tracial inner product. One final postulate (a simple minimization principle, still in need of a clear interpretation) forces the positive cone of this space to be homogeneous and self-dual and hence, to be the state space of a formally real Jordan algebra. From here, the route to the standard framework of finite-dimensional quantum mechanics is quite short. (shrink)

John Locke's theory of identity not only provoked a strong reaction from his contemporaries and near‐contemporaries, it continues to influence philosophical discussions of identity to the present day. Locke thinks that finite intelligences have location/place, as well as temporal location. Some bodies, despite having proper parts, are easy cases, too. These are atoms and masses of atoms. Locke's attack on substance‐based theories of identity focuses mainly on theories of personal identity in which sameness of a thinking substance is (...) necessary and sufficient for personal identity. Locke's view of the identity of organisms, however, already rejects the notion that sameness of corporeal substance is either necessary or sufficient for the sameness of the organism. The most famous objection to Locke's theory of personal identity is that it not only fails to preserve transitivity, but in many cases is positively committed to a denial of transitivity. (shrink)

The publication of Frege’s Begriffsschrift in 1879 forever altered the landscape for many Western philosophers. Here, Sebastian Rödl traces how the Fregean influence, written all over the development and present state of analytic philosophy, led into an unholy alliance of an empiricist conception of sensibility with an inferentialist conception of thought. -/- According to Rödl, Wittgenstein responded to the implosion of Frege’s principle that the nature of thought consists in its inferential order, but his Philosophical Investigations shied away from offering (...) an alternative. Rödl takes up the challenge by turning to Kant and Aristotle as ancestors of this tradition, and in doing so identifies its unacknowledged question: the relation of judgment and truth to time. Rödl finds in the thought of these two men the answer he urges us to consider: the temporal and the sensible, and the atemporal and the intelligible, are aspects of one reality and cannot be understood independently of one another. In demonstrating that an investigation into the categories of the temporal can be undertaken as a contribution to logic, Rödl seeks to transform simultaneously our philosophical understanding of both logic and time. (shrink)

Nonmonotonic reasoning is a discipline of computer science, epistemology, and cognition: It models inferences where classical logic is inadequate in symbolic AI, defines normative models for reasoning with defeasible information in epistemology, and models human reasoning under information change in cognition. Its building blocks are defeasible rules formalised as DeFinetti conditionals. In this thesis, Christian Eichhorn examines qualitative and semi-quantitative inference relations on top said conditionals, using the conditional structure of the knowledge base and Spohn’s Ordinal Conditional Functions, using established (...) properties. Converting network approaches from probabilistics, he shows how to approach the relations with regard to implementation. (shrink)

In order to modelize the reasoning of intelligent agents represented by a poset T, H. Rasiowa introduced logic systems called “Approximation Logics”. In these systems a set of constants constitutes a fundamental tool. In this paper, we consider logic systems called L'T without this kind of constants but limited to the case where T is a finite poset. We study the tableau method for this system and we prove its completeness for a class of formulas with respect to an (...) algebraic semantics. (shrink)

We don't yet have adequate theories of what the human mind is representing when it represents a social group. Worse still, many people think we do. This mistaken belief is a consequence of the state of play: Until now, researchers have relied on their own intuitions to link up the concept social group on the one hand and the results of particular studies or models on the other. While necessary, this reliance on intuition has been purchased at a considerable cost. (...) When looked at soberly, existing theories of social groups are either literal, but not remotely adequate, or simply metaphorical. Intuition is filling in the gaps of an explicit theory. This paper presents a computational theory of what, literally, a group representation is in the context of conflict: It is the assignment of agents to specific roles within a small number of triadic interaction types. This “mental definition” of a group paves the way for a computational theory of social groups – in that it provides a theory of what exactly the information-processing problem of representing and reasoning about a group is. For psychologists, this paper offers a different way to conceptualize and study groups, and suggests that a non-tautological definition of a social group is possible. For cognitive scientists, this paper provides a computational benchmark against which natural and artificial intelligences can be held. (shrink)

Cloud computing deals with voluminous heterogeneous data, and there is a need to effectively distribute the load across clusters of nodes to achieve optimal performance in terms of resource usage, throughput, response time, reliability, fault tolerance, and so on. The swarm intelligence methodologies use artificial intelligence to solve computationally challenging problems like load balancing, scheduling, and resource allocation at finite time intervals. In literature, sufficient works are being carried out to address load balancing problem in the cloud using traditional (...) swarm intelligence techniques like ant colony optimization, particle swarm optimization, cuckoo search, bat optimization, and so on. But the traditional swarm intelligence techniques have issues with respect to convergence rate, arriving at the global optimum solution, complexity in implementation and scalability, which limits the applicability of such techniques in cloud domain. In this paper, we look into performance modeling aspects of some of the recent competitive swarm artificial intelligence based techniques like the whale, spider, dragonfly, and raven which are used for load balancing in the cloud. The results and analysis are presented over performance metrics such as total execution time, response time, resource utilization rate, and throughput achieved, and it is found that the performance of the raven roosting algorithm is high compared to other techniques. (shrink)

This article provides a theoretical policy-making model of chemical sunset that gradually substitutes green alternatives for persistent toxic substances within a finite timeframe. The technological inflexibility of these substances is a tough obstacle to a chemical sunset, because a chemical sunset seeks to ultimately stop, within a short period of time, the risky businesses of these substances that are highly entrenched into our society. In wrestling with this obstacle, the intelligent precautionary “polluter pays” principle integrates three policy tools: a (...) “precautionary `polluter pays' principle,” “intelligent trial and error,” and democratic “regulatory negotiation.” It is designed to promote technological pluralism and strong democracy, as well as to create either trust or mutual adjustment among relevant groups. (shrink)

The argument presented in this paper is not a direct attack or defence of the Chinese Room Argument (CRA), but relates to the premise at its heart, that syntax is not sufficient for semantics, via the closely associated propositions that semantics is not intrinsic to syntax and that syntax is not intrinsic to physics. However, in contrast to the CRA’s critique of the link between syntax and semantics, this paper will explore the associated link between syntax and physics. The main (...) argument presented here is not significantly original – it is a simple reflection upon that originally given by Hilary Putnam (Putnam 1988) and criticised by David Chalmers and others: instead of seeking to justify Putnam’s claim that, “every open system implements every Finite State Automaton (FSA)”, and hence that psychological states of the brain cannot be functional states of a computer, I will seek to establish the weaker result that, over a finite time window every open system implements the trace of a particular FSA Q, as it executes program (p) on input (x). That this result leads to panpsychism is clear as, equating Q (p, x) to a specific Strong AI program that is claimed to instantiate phenomenal states as it executes, and following Putnam’s procedure, identical computational (and ex hypothesi phenomenal) states (ubiquitous little ‘pixies’) can be found in every open physical system. (shrink)

This chapter contains sections titled: Introduction Preliminaries The Knowledge‐Game Quartet AI, Contra Floridi, Can Handle KG4 Objections Conclusion Acknowledgments References.

Argues, contra Dummett, that the platonist need not be any more committed than the intuitionist to the notion that there are arithmetical truths in principle inaccessible to any finite intelligence.

Since the truth is only the whole, no statement or discipline can be true unless we understand how it relates to all other statements and disciplines within one encyclopedic knowledge. This theorem also applies to the perspective from which the exposition of the whole truth can be approached. Hegel’s Phenomenology of Spirit, for example, in a sense gathers the entire truth, but its perspective is the specific phenomenological one of experience and Bildung. All partial perspectives taken together, however, understood in (...) the necessity of their unity, form the one and overall perspective—which no longer is a perspective—that constitutes the truth of the truth beyond which nothing exists or can be known. This one and total Idea can be known by us, finite intelligences, only in the unfolding and time-consuming form of a discursive system. It knows itself in the eternity of its self-differentiating and self-temporalizing identity with itself. (shrink)

Since the truth is only the whole, no statement or discipline can be true unless we understand how it relates to all other statements and disciplines within one encyclopedic knowledge. This theorem also applies to the perspective from which the exposition of the whole truth can be approached. Hegel’s Phenomenology of Spirit, for example, in a sense gathers the entire truth, but its perspective is the specific phenomenological one of experience and Bildung. All partial perspectives taken together, however, understood in (...) the necessity of their unity, form the one and overall perspective—which no longer is a perspective—that constitutes the truth of the truth beyond which nothing exists or can be known. This one and total Idea can be known by us, finite intelligences, only in the unfolding and time-consuming form of a discursive system. It knows itself in the eternity of its self-differentiating and self-temporalizing identity with itself. (shrink)

This paper concerns Alan Turing’s ideas about machines, mathematical methods of proof, and intelligence. By the late 1930s, Kurt Gödel and other logicians, including Turing himself, had shown that no finite set of rules could be used to generate all true mathematical statements. Yet according to Turing, there was no upper bound to the number of mathematical truths provable by intelligent human beings, for they could invent new rules and methods of proof. So, the output of a human mathematician, (...) for Turing, was not a computable sequence (i.e., one that could be generated by a Turing machine). Since computers only contained a finite number of instructions (or programs), one might argue, they could not reproduce human intelligence. Turing called this the “mathematical
objection” to his view that machines can think. Logico-mathematical reasons, stemming from his own work, helped to convince Turing that it should be possible to reproduce human intelligence, and eventually compete with it, by developing the appropriate kind of digital computer. He felt it
should be possible to program a computer so that it could learn or discover new rules, overcoming the limitations imposed by the incompleteness and undecidability results in the same way that human
mathematicians presumably do. (shrink)

A clear restatement of the essentials of the Maritain approach to Christian Wisdom, the work is concerned with the nature and hierarchy of the kinds of knowledge. This hierarchizing is accomplished from that standpoint of the philosophizing Christian in which the scientific is subordinated to the philosophic and especially the metaphysical, and in which the human is subordinate to the theological and especially mystical. In such a world view the ultimate value term is the contemplative, and the possibility and actuality (...) of a "Christian Humanism" is affirmed through a relating of natural human knowledge and divine contemplation. The Christian philosopher is a finite intelligence confronting "Being" which is ultimately trans-conceptualizable and so mysterious; but God is Being Itself and so the finite intelligence tends toward God by a native and internal dynamism. The author is not concerned with the esthetico-epistemological reflections of Maritain but does carefully analyze knowledge through affective connaturality. He also attempts to develop a closer relation between a metaphysical "philosophy of nature" and modern science, construed as a mathematical interpretation and organization of phenomena, in his concept of "integrated knowledge of nature." Unfortunately there is a striking disaffection for dissenting philosophical views. In defending Thomism against its critics the author not only says that the critics do not understand it, but he also suggests that this is because its opponents, when they are sceptics and agnostics, lack Grace and so are deprived of a purely natural intellectual strength which accompanies its presence and are therefore intellectually defective. Such narrowness is offensive, not necessary to the author's thesis, and seems opposed to the spirit of Aquinas himself.—J. D. C. (shrink)

Artificial intelligence algorithms, fueled by continuous technological development and increased computing power, have proven effective across a variety of tasks. Concurrently, quantum computers have shown promise in solving problems beyond the reach of classical computers. These advancements have contributed to a misconception that quantum computers enable hypercomputation, sparking speculation about quantum supremacy leading to an intelligence explosion and the creation of superintelligent agents. We challenge this notion, arguing that current evidence does not support the idea that quantum technologies enable hypercomputation. (...) Fundamental limitations on information storage within finite spaces and the accessibility of information from quantum states constrain quantum computers from surpassing the Turing computing barrier. While quantum technologies may offer exponential speed-ups in specific computing cases, there is insufficient evidence to suggest that focusing solely on quantum-related problems will lead to technological singularity and the emergence of superintelligence. Subsequently, there is no premise suggesting that general intelligence depends on quantum effects or that accelerating existing algorithms through quantum means will replicate true intelligence. We propose that if superintelligence is to be achieved, it will not be solely through quantum technologies. Instead, the attainment of superintelligence remains a conceptual challenge that humanity has yet to overcome, with quantum technologies showing no clear path toward its resolution. (shrink)

The formalization of abductive reasoning has received increasing attention from logicians. However, few work is found beyond abduction in propositional logic, given that in a first order formalism, the undecidability problem naturally appears, and therefore an abductive problem cannot even be appropriately formulated. Still, many applications in artificial intelligence allow finite domains to work with, and this gives an opportunity to apply abduction in first order logic with restricted domains. In this paper, we present an approach to abductive reasoning (...) in C-structures, first order structures with a finite domain in which each of its elements has a corresponding constant representing its interpretation. By using semantic tableaux with bounded depth, that is, C-tableaux (a modification of N-tableaux, introduced by the authors in previous papers) and δ-resolution calculus, we build an effective procedure for the searching of minimal abductive solutions within the proposed semantics. (shrink)

This paper concerns “human symbolic output,” or strings of characters produced by humans in our various symbolic systems; e.g., sentences in a natural language, mathematical propositions, and so on. One can form a set that consists of all of the strings of characters that have been produced by at least one human up to any given moment in human history. We argue that at any particular moment in human history, even at moments in the distant future, this set is (...) class='Hi'>finite. But then, given fundamental results in recursion theory, the set will also be recursive, recursively enumerable, axiomatizable, and could be the output of a Turing machine. We then argue that it is impossible to produce a string of symbols that humans could possibly produce but no Turing machine could. Moreover, we show that any given string of symbols that we could produce could also be the output of a Turing machine. Our arguments have implications for Hilbert’s sixth problem and the possibility of axiomatizing particular sciences, they undermine at least two distinct arguments against the possibility of Artificial Intelligence, and they entail that expert systems that are the equals of human experts are possible, and so at least one of the goals of Artificial Intelligence can be realized, at least in principle. (shrink)

The most cursory examination of the history of artificial intelligence highlights numerous egregious claims of its researchers, especially in relation to a populist form of ‘strong’ computationalism which holds that any suitably programmed computer instantiates genuine conscious mental states purely in virtue of carrying out a specific series of computations. The argument presented herein is a simple development of that originally presented in Putnam’s (Representation & Reality, Bradford Books, Cambridge in 1988) monograph, “Representation & Reality”, which if correct, has important (...) implications for turing machine functionalism and the prospect of ‘conscious’ machines. In the paper, instead of seeking to develop Putnam’s claim that, “everything implements every finite state automata”, I will try to establish the weaker result that, “everything implements the specific machine Q on a particular input set (x)”. Then, equating Q (x) to any putative AI program, I will show that conceding the ‘strong AI’ thesis for Q (crediting it with mental states and consciousness) opens the door to a vicious form of panpsychism whereby all open systems, (e.g. grass, rocks etc.), must instantiate conscious experience and hence that disembodied minds lurk everywhere. (shrink)

A central debate in early modern philosophy, between empiricism and rationalism, turned on the question which of two cognitive faculties—sensibility or understanding—should be accorded logical priority in an account of the epistemic credentials of knowledge. As against both the empiricist and the rationalist, Kant wants to argue that the terms of their debate rest on a shared common assumption: namely that the capacities here in question—qua cognitive capacities—are self-standingly intelligible. The paper terms this assumption the Layer-Cake Conception of Human Mindedness (...) and focuses on Kant’s argument against the empiricist version of the assumption, in particular, as that argument is developed in the B version of the Transcendental Deduction in the Critique of Pure Reason. The paper seeks to show how a proper understanding of the structure of the B Deduction reveals its aim to be one of making sense of each of these two capacities (sensibility and understanding) in the light of the other. For the front of the argument that is directed against the empiricist, this means coming to see how a reading of the text that is informed by the layer-cake conception (and which therefore takes the Transcendental Aesthetic to furnish us with the full story about the nature of our faculty for sensory apprehension) is mistaken. For the front of the argument which is directed against the rationalist, this requires coming to see how a mere inversion of the central claim of such a reading would be equally wrong. It would require seeing how a discursive faculty of understanding able to traffic in nothing more than empty concepts would no more amount to a genuinely cognitive power than would a faculty of intuition able to traffic in nothing more than blind intuitions. That is, it requires seeing how each of these faculties depends on its relation to the other to be the sort of faculty that it is in a finite rational being. (shrink)

To be intelligible, the finite order of human experience, for Hegel, requires infinite absolute spirit. Flay and Kolb overlook this infinite in Hegel's thought. Notwithstanding their contextualist hints in interpreting Hegel they regard Hegel as even more of a foundationalist than the epistemological foundationalists. But the notion of ground in Hegel's Logic refutes this. Hegel's systemic holism is grounded in the prospective completed infinity of spirit beyond either Foundationalism or Anti-Foundationalism. In the absence of infinite spirit we are consigned (...) to an unnecessarily attenuated human finitude. The mutual career of the Hegelian finite and infinite however frees us from this prospect. (shrink)

In this essay, I suggest that Spinoza acknowledges a distinction between formal reality that is infinite and timelessly eternal and formal reality that is non-infinite (i. e., finite or indefinite) and non-eternal (i. e., enduring). I also argue that if, in Spinoza’s system, only intelligible causation is genuine causation, then infinite, timelessly eternal formal reality cannot cause non-infinite, non-eternal formal reality. A denial of eternal-durational causation generates a puzzle, however: if no enduring thing – not even the sempiternal, indefinite (...) individual composed of all finite, enduring things – is caused by the infinite, eternal substance, then how can Spinoza consistently hold that the one infinite, eternal substance is the cause of all things and that all things are modes of that substance? At the end of this essay, I sketch how Spinoza could deny eternal-durational causation while still holding that an infinite, eternal God is the cause of all things and that all things are modes. I develop the interpretation more in the companion essay.1 1 In “Spinoza’s Monism II,” in the next issue of this journal. (shrink)

We show that the fundamental legal structure of a well-written financial contract follows a state-transition logic that can be formalized mathematically as a finite-state machine (specifically, a deterministic finite automaton or DFA). The automaton defines the states that a financial relationship can be in, such as “default,” “delinquency,” “performing,” etc., and it defines an “alphabet” of events that can trigger state transitions, such as “payment arrives,” “due date passes,” etc. The core of a contract describes the rules by (...) which different sequences of events trigger particular sequences of state transitions in the relationship between the counterparties. By conceptualizing and representing the legal structure of a contract in this way, we expose it to a range of powerful tools and results from the theory of computation. These allow, for example, automated reasoning to determine whether a contract is internally coherent and whether it is complete relative to a particular event alphabet. We illustrate the process by representing a simple loan agreement as an automaton. (shrink)

Spinoza’s Ethics must contain some of philosophy’s most baffling statements. All things are animate; the order and connection of ideas is the same as the order and connection of things: what would I be committed to in agreeing with these doctrines? His austere mode of exposition, sparing of illustrations and discursive explanations, ensures that any answer must be highly speculative.His weakness for dark sayings seems to have communicated itself to some of his best-known commentators. Of course where a philosopher’s thought (...) is itself opaque one would be unreasonable to expect lucidity in a commentator’s exposition of it. However he has been described as holding puzzling, to my mind unintelligible opinions on subjects concerning which, as far as I can see, his own statements more naturally suggest a much clearer and more comprehensible interpretation. There are problems enough in understanding his thought without adding needlessly to the list. I think there has been such an addition in discussion of his doctrines about the causal relationship between God and finite creatures, and this paper is devoted to suggesting another account of his thought on that topic which combines, I think, the advantages of being more intelligible and a more natural construction to place on his own statements, than the set of opinions generally laid at his door. (shrink)

We examine the performance of some standard causal discovery algorithms, both constraint-based and score-based, from the perspective of how robust they are against failures of the Causal Faithfulness Assumption. For this purpose, we make only the so-called Triangle-Faithfulness assumption, which is a fairly weak consequence of the Faithfulness assumption, and otherwise allows unfaithful distributions. In particular, we allow violations of Adjacency-Faithfulness and Orientation-Faithfulness. We show that the PC algorithm, a representative constraint-based method, can be made more robust against unfaithfulness by (...) incorporating elements of the GES algorithm, a representative score-based method; similarly, the GES algorithm can be made less error-prone by incorporating elements of the conservative PC algorithm. As our simulations demonstrate, the increased robustness seems to matter even when faithfulness is not exactly violated, for with only finite sample, distributions that are not exactly unfaithful may be sufficiently close to being unfaithful to make trouble. (shrink)

In the perspective of the philosophical archaeology proposed, here, the arkhé towards which archaeology regresses must not be understood in any way as an element that can be situated in chronology ; it is, rather, a force that operates in history—much in the same way in which Indoeuropean words express a system of connections among historically accessible languages, in which the child in psychoanalysis expresses an active force in the psychic life of the adult, in which the big bang, which (...) is supposed to have originated the universe, continues to send towards us its fossil radiation. But the arkhé is not a datum or a substance. It is much rather a field of bipolar historical currents within the tension of anthropogenesis and history, between point of emergence and becoming, between arch-past and present. And as such—that is to say, to the extent to which it is something that it is necessarily supposed to have factually happened, and which yet cannot be hypostatized in any chronologically identifiable event—it is solely capable of guaranteeing the intelligibility of historical phenomena, of ‘saving’ them archaeologically within a future perfect, yet not grasping its origin, but rather its history, at once finite and untotalizable. (shrink)

The urban environment is increasingly engaging with artificial intelligence, a focus on the automation of urban processes, whether it be singular artefacts or city-wide systems. The impact of such technological innovation on the social dynamics of the urban environment is an ever changing and multi-faceted field of research. In this paper, the space and time defined by the autonomous vehicle is used as a window to view the way in which a shift in urban transport dynamics can impact the temporal (...) experience of an individual. Using the finite window of time created by an autonomous vehicle, a theoretical framework is put forward that seeks to show how contrasting narratives exist regarding the experience of the window of time within the autonomous vehicle. By taking a theoretical approach informed by social theory, the dissolution of barriers between separate spheres of life is explored to highlight the increased commodification of time. In focusing on both the space and time created by the autonomous vehicle this approach seeks to highlight how artificial intelligence can provide a contemporary space in the urban environment while also opening a new window of time. The cognitive dissonance observed when comparing the narratives of autonomous vehicle stakeholders and the historical shift in time use leads to a belief that technology makes the user more free in terms of time. With this paper the autonomous vehicle is shown to be an ideal space and time to view the way in which the use of such technology does not increase free-time, but further dissolves the boundaries between what is and what is not work-time. (shrink)

In this paper, I examine Wittgenstein’s conception of reason and rationality through the lens of his conception of reasons. Central in this context, I argue, is the image of the chain, which informs not only his methodology in the form of the chain-method, but also his conception of reasons as linking up immediately, like the links of a chain. I first provide a general sketch of what reasons are on Wittgenstein’s view, arguing that giving reasons consists in making thought and (...) action intelligible by delineating reasoning routes; that something is a reason not in virtue of some intrinsic property, but in virtue of its role; and that citing something as a reason characterises it in terms of the rational relations it stands in according to context-dependent norms. I then argue that on Wittgenstein’s view, we misconceive chains of reasons if we think of them on the model of chains of causes. Chains of reasons are necessarily finite, because they are anchored in and held in place by our reason-giving practices, and it is in virtue of their finitude that chains of reasons can guide, justify and explain. I argue that this liberates us from the expectation that one should be able to give reasons for everything, but that it limits the reach of reasons by tying them to particular reasoning-practices that they cannot themselves justify. I end by comparing and reconciling Wittgenstein’s dichotomy between chains of reasons and chains of causes with seemingly competing construals of the dichotomy, and I clarify its relation to the dichotomy between explanation and justification. (shrink)

While Kant’s position concerning human freedom and divine foreknowledge is perhaps the least Molinist element of his multifaceted take on free will, Kant’s Molinism (minimally defined) is undeniable when it comes to the threat ensuing from the idea of creation. In line with incompatibilism and with careful qualifications in place, he ultimately suggests regarding free agents as uncreated. Given the limitations of our rational insight, this assumption is indispensable for granting that finite free agents can acquire their intelligible characters (...) by themselves. Nonetheless, Kant concedes that creation may, as a matter of fact, be compatible with what for Molina is the pre-volitionality of the counterfactuals of freedom. (shrink)

This chapter analyses Malebranche’s theory that the human, finite mind participates in two separate and, at least prima facie, incompatible unions: one with the body to which it is joined and one with God. By looking at the way that Malebranche borrows from both the mechanical philosophy as articulated by Descartes and Augustine’s dictum that we are not “lights unto” ourselves, the unique, difficult, and at times problematic Malebranchean philosophy of mind is revealed. This discussion is divided into two (...) main parts. First, it situates Malebranche’s view of the nature of mind in relation to Descartes’ and Augustine’s views by way of discussion of the roles of intellect and will, the intelligibility of mind, and the manner in which the mind is involved in sensation, imagining, and passionate responses. These are the operations that depend on the mind’s relationship to its body. Second, the chapter moves to explore Malebranche’s view of the operations of the mind as united to God: ideation, which involves a discussion of Malebranche’s famous doctrine of the Vision of All Things in God, and pure understanding. In this second part, attention is paid to Malebranche’s disputes with Antoine Arnauld, Pierre-Sylvain Régis, and Dortous de Mairan over the central philosophical principle that underwrites the Malebranchean view of ideas: intelligible extension. While intelligible extension is the legitimate object of critique, it is suggested here that Malebranche, by relying on faith, can answer his critics. The chapter concludes by articulating the manner in which that Malebranche sees the relationship between the two unions of the mind, with body and with God, in his science of man. -/- . (shrink)

Recent work on representing action and change has introduced high-level action languages which describe the effects of actions as causal laws in a declarative way. Among such action languages, the language A is the first and the most basic language. In dynamic domains, an agent needs the ability to react against changes of environment and to generate robust plans for a long-term goal, and appropriate representation is necessary for this purpose. In real problems, however, it is difficult to describe complete (...) causal laws for the domain, but it is easier to get observations. In this paper, we propose an algorithm to learn causal laws from an incomplete domain description in the language A, given observations after performing action sequences. Our learning algorithm generates causal laws based on an algorithm to learn finite automata. We also prove the correctness of the learning algorithm. From the result in this work, induction of the effects of actions can now be formally characterized within action languages. (shrink)