This paper is an enquiry into the logical, metaphysical, and physical possibility of time travel understood in the sense of the existence of closed worldlines that can be traced out by physical objects. We argue that none of the purported paradoxes rule out time travel either on grounds of logic or metaphysics. More relevantly, modern spacetime theories such as general relativity seem to permit models that feature closed worldlines. We discuss, in the context of Gödel's infamous argument for (...) the ideality of time based on his eponymous spacetime, what this apparent physical possibility of time travel means. Furthermore, we review the recent literature on so-called time machines, i.e., of devices that produce closed worldlines where none would have existed otherwise. Finally, we investigate what the implications of the quantum behaviour of matter for the possibility of time travel might be and explicate in what sense time travel might be possible according to leading contenders for full quantum theories of gravity such as string theory and loop quantum gravity. (shrink)

Theorem (Will time machines be build?). The probability that in future a time machine that can travel to the past would be build is very low.

Thinking about time travel is an entertaining way to explore how to understand time and its location in the broad conceptual landscape that includes causation, fate, action, possibility, experience, and reality. It is uncontroversial that time travel towards the future exists, and time travel to the past is generally recognized as permitted by Einstein’s general theory of relativity, though no one knows yet whether nature truly allows it. Coherent time travel stories have added flair to (...) traditional debates over the metaphysical status of the past, the reality of temporal passage, and the existence of free will. Moreover, plausible models of time travel and time machines can be used to investigate the subtle relation between space-time structure and causality. -/- It surveys some philosophical issues concerning time travel and should serves as a quick introduction. It includes a new and improved way to define a time machine. (shrink)

We address the question of whether it is possible to operate a time machine by manipulating matter and energy so as to manufacture closed timelike curves. This question has received a great deal of attention in the physics literature, with attempts to prove no- go theorems based on classical general relativity and various hybrid theories serving as steps along the way towards quantum gravity. Despite the effort put into these no-go theorems, there is no widely accepted definition of a (...) time machine. We explain the conundrum that must be faced in providing a satisfactory definition and propose a resolution. Roughly, we require that all extensions of the time machine region contain closed timelike curves; the actions of the time machine operator are then sufficiently "potent" to guarantee that closed timelike curves appear. We then review no-go theorems based on classical general relativity, semi-classical quantum gravity, quantum field theory on curved spacetime, and Euclidean quantum gravity. Our verdict on the question of our title is that no result of sufficient generality to underwrite a confident "yes" has been proven. Our review of the no-go results does, however, highlight several foundational problems at the intersection of general relativity and quantum physics that lend substance to the search for an answer. (shrink)

The concept of time-travel is a modern idea which combines the imaginary signification of rational domination, the imaginary signification of technological omnipotence, the imaginary concept of eternity and the imaginary desire for immortality. It is a synthesis of central conceptual schemata of techno-science, such as the linearity and homogeneity of time, the radical separation of subjectivity from the world, the radical separation of the individual from his/her social-historical environment. The emergence of this idea, its spread during the 20th (...) century as a major theme of science fiction literature alongside its dissemination as a scientific hypothesis, its popularity with both the public and the scientific community, are indications of the religious role of techno-science. It is my opinion, finally, that, as a chimera, time-travel is non-feasible and impossible. In order to support my claims, I will briefly outline the origins of the time-travel concept and its epistemological and metaphysical/ontological conditions. If these conditions prove to be absurd, the logical impossibility of time-travel will have been demonstrated. (shrink)

{June 2018 UPDATE: This work has been greatly surpassed by "Utilizing Future-Viewing Instruments" which will appear in the July 2018 issue of Progress in Physics. It can now be downloaded in PDF form from their website.} This is the full text of the paper that was published as a Kindle book on April 6th, 2014. In most respects, it has since been surpassed by "Potentials of Future-Viewing Machines," which is available here in this repository. Nevertheless, this earlier work addresses (...) minutia and interesting considerations that do not appear elsewhere, and it has a large bibliography, so it remains very useful for research purposes. (shrink)

Large language models (LLMs) represent the currently most relevant incarnation of artificial intelligence with respect to the future fate of democratic governance. Considering their potential, this paper seeks to answer a pressing question: Could LLMs outperform humans as expert advisors to democratic assemblies? While bearing the promise of enhanced expertise availability and accessibility, they also present challenges of hallucinations, misalignment, or value imposition. Weighing LLMs’ benefits and drawbacks compared to their human counterparts, I argue for their careful integration to augment (...) democracy’s ability to address complex policy issues. The paper posits that time-tested democratic procedures like deliberation and aggregation by voting provide safeguards effective against both human and machine advisor imperfections. Additional protective measures include custom LLM training for the advisory role, boosting representatives’ competencies in query formulation, or implementation of adversarial proceedings in which LLM advisors could debate each other and provide dissenting opinions. These could further mitigate the risks that LLMs present in advisory roles and empower human decision-makers toward increased autonomy and quality of their collective choices. My conceptual exploration offers a roadmap for the co-evolution of AI and democratic institutions, setting the stage for an empirical research agenda to finetune the implementation specifics. (shrink)

Autonomous systems are machines that can alter their behavior without direct human oversight or control. How ought we to program them to behave? A plausible starting point is given by the Reduction to Acts Thesis, according to which we ought to program autonomous systems to do whatever a human agent ought to do in the same circumstances. Although the Reduction to Acts Thesis is initially appealing, we argue that it is false: it is sometimes permissible to program a machine (...) to do something that it would be wrong for a human to do. We advance two main arguments for this claim. First, the way an autonomous system will behave can be known in advance. This knowledge can indirectly affect the behavior of other agents, while the same may not be true at the time the system actually executes its programming. Second, a lack of knowledge of the identities of the victims and beneficiaries can provide a justification during the programming phase that would be unavailable to an agent at the time the autonomous system executes its programming. (shrink)

Table of Contents Foreword .................................................................................................... ......................................... xiv Preface .................................................................................................... .............................................. xv Acknowledgment .................................................................................................... .......................... xxiii Section 1 On the Cusp: Critical Appraisals of a Growing Dependency on Intelligent Machines Chapter 1 Algorithms versus Hive Minds and the Fate of Democracy ................................................................... 1 Rick Searle, IEET, USA Chapter 2 We Can Make Anything: Should We? .................................................................................................. 15 Chris Bateman, University of Bolton, UK Chapter 3 Grounding Machine Ethics within the Natural System ........................................................................ 30 Jared Gassen, JMG Advising, USA Nak Young Seong, Independent Scholar, (...) South Korea Section 2 From the Outside In: Intelligent Machine Technologies as a Window on Human Morality both as Evolved and as Evident in Internet Discourse, Today Chapter 4 The Emergence of Arti cial Autonomy: A View from the Foothills of a Challenging Climb ............. 51 Fernando da Costa Cardoso, Universidade Nova de Lisboa, Portugal Luís Moniz Pereira, Universidade Nova de Lisboa, Portugal Chapter 5 Semantic Analysis of Bloggers Experiences as a Knowledge Source of Average Human Morality .... 73 Rafal Rzepka, Hokkaido University, Japan Kenji Araki, Hokkaido University, Japan Section 3 From the Inside Out: The Ethics of Human Enhancement from Moral Perception to Competition in the Workplace Chapter 6 Machine Ethics Interfaces: An Ethics of Perception of Nanocognition ............................................... 97 Melanie Swan, Kingston University, UK Chapter 7 Ethical Concerns in Human Enhancement: Advantages in Corporate/Organizational Settings ......... 124 Ben Tran, Alliant International University, USA Section 4 From Far to Near and Near to Far: The Ethics of Distancing Technologies in Education and Warfare Chapter 8 Responsibility and War Machines: Toward a Forward-Looking and Functional Account ................. 152 Jai Galliott, Macquarie University, Australia Chapter 9 Ethical Responsibilities of Preserving Academicians in an Age of Mechanized Learning: Balancing the Demands of Educating at Capacity and Preserving Human Interactivity ................... 166 James E. Willis III, Indiana University, USA Viktoria Alane Strunk, Independent Scholar, USA Section 5 Wrapping Things Up, then Unwrapping Them Again: Integral Visions of Morality in a Technological World, Over Evolutionary Time, with Revolutionary Means, and with Open Questions about the Final Purpose of It All Chapter 10 Bridging Two Realms of Machine Ethics ........................................................................................... 197 Luís Moniz Pereira, Universidade Nova de Lisboa, Portugal Ari Saptawijaya, Universidade Nova de Lisboa, Portugal & Universitas Indonesia, Indonesia Chapter 11 Robots in Warfare and the Occultation of the Existential Nature of Violence ................................... 225 Rick Searle, IEET, USA Chapter 12 Self-Referential Complex Systems and Aristotle’s Four Causes ........................................................ 239 Aleksandar Malecic, University of Nis, Serbia Related References .................................................................................................... ........................ 261 Compilation of References .................................................................................................... ........... 292 About the Contributors .................................................................................................... ................ 325 Index .................................................................................................... ............................................... 329 . (shrink)

As robots and Artificial Intelligences become more enmeshed in rich social contexts, it seems inevitable that we will have to make them into moral machines equipped with moral skills. Apart from the technical difficulties of how we could achieve this goal, we can also ask the ethical question of whether we should seek to create such Artificial Moral Agents (AMAs). Recently, several papers have argued that we have strong reasons not to develop AMAs. In response, we develop a comprehensive (...) analysis of the relevant arguments for and against creating AMAs, and we argue that all things considered we have strong reasons to continue to responsibly develop AMAs. The key contributions of this paper are threefold. First, to provide the first comprehensive response to the important arguments made against AMAs by Wynsberghe and Robbins (in “Critiquing the Reasons for Making Artificial Moral Agents”, Science and Engineering Ethics 25, 2019) and to introduce several novel lines of argument in the process. Second, to collate and thematise for the first time the key arguments for and against AMAs in a single paper. Third, to recast the debate away from blanket arguments for or against AMAs in general, to a more nuanced discussion about the use of what sort of AMAs, in what sort of contexts, and for what sort of purposes is morally appropriate. (shrink)

As more objections have been raised against grant peer-review for being costly and time-consuming, the legitimate question arises whether machine learning algorithms could help assess the epistemic efficiency of the proposed projects. As a case study, we investigated whether project efficiency in high energy physics can be algorithmically predicted based on the data from the proposal. To analyze the potential of algorithmic prediction in HEP, we conducted a study on data about the structure and outcomes of HEP experiments with (...) the goal of predicting their efficiency. In the first step, we assessed the project efficiency using Data Envelopment Analysis of 67 experiments conducted in the HEP laboratory Fermilab. In the second step, we employed predictive algorithms to detect which team structures maximize the epistemic performance of an expert group. For this purpose, we used the efficiency scores obtained by DEA and applied predictive algorithms – lasso and ridge linear regression, neural network, and gradient boosted trees – on them. The results of the predictive analyses show moderately high accuracy, indicating that they can be beneficial as one of the steps in grant review. Still, their applicability in practice should be approached with caution. Some of the limitations of the algorithmic approach are the unreliability of citation patterns, unobservable variables that influence scientific success, and the potential predictability of the model. (shrink)

Abstract: Sarcasm is commonly used in news and detecting sarcasm in headline news is challenging for humans and thus for computers. The media regularly seem to engage sarcasm in their news headline to get the attention of people. However, people find it tough to detect the sarcasm in the headline news, hence receiving a mistaken idea about that specific news and additionally spreading it to their friends, colleagues, etc. Consequently, an intelligent system that is able to distinguish between can sarcasm (...) none sarcasm automatically is very important. The aim of the study is to build a sarcasm model that detect headline news using machine and deep learning and attempt to understand how a computer learns the patterns of sarcasm. The dataset used in this study was collected from Kaggle depository. We examined 21 algorithms of machine learning and one deep learning algorithm for detecting sarcasm in headline news. The evaluation metric used in this study are Accuracy, F1-measure, Recall, Precision, and Time needed for training and evaluation. The deep learning model achieved accuracy (95.27%), recall (96.62%), precision (94.15%), F1-score (95.37%) and time needed to train the mode (400 seconds), with loss of around 0.3398. However, the algorithm of machine learning that achieved the highest F1-Score is Passive Aggressive Classifier. It was the top classier for sarcasm detection among the machine learning algorithms with accuracy (95.50%), recall (96.09 %), precision (94.30%), F1-score (95.19%) and time needed to train the mode (0.31 seconds). (shrink)

Abstract: Sarcasm is commonly used in news and detecting sarcasm in headline news is challenging for humans and thus for computers. The media regularly seem to engage sarcasm in their news headline to get the attention of people. However, people find it tough to detect the sarcasm in the headline news, hence receiving a mistaken idea about that specific news and additionally spreading it to their friends, colleagues, etc. Consequently, an intelligent system that is able to distinguish between can sarcasm (...) none sarcasm automatically is very important. The aim of the study is to build a sarcasm model that detect headline news using machine and deep learning and attempt to understand how a computer learns the patterns of sarcasm. The dataset used in this study was collected from Kaggle depository. We examined 21 algorithms of machine learning and one deep learning algorithm for detecting sarcasm in headline news. The evaluation metric used in this study are Accuracy, F1-measure, Recall, Precision, and Time needed for training and evaluation. The deep learning model achieved accuracy (95.27%), recall (96.62%), precision (94.15%), F1-score (95.37%) and time needed to train the mode (400 seconds), with loss of around 0.3398. However, the algorithm of machine learning that achieved the highest F1-Score is Passive Aggressive Classifier. It was the top classier for sarcasm detection among the machine learning algorithms with accuracy (95.50%), recall (96.09 %), precision (94.30%), F1-score (95.19%) and time needed to train the mode (0.31 seconds). (shrink)

A common and enduring early modern intuition is that materialists reduce organisms in general and human beings in particular to automata. Wasn’t a famous book of the time entitled L’Homme-Machine? In fact, the machine is employed as an analogy, and there was a specifically materialist form of embodiment, in which the body is not reduced to an inanimate machine, but is conceived as an affective, flesh-and-blood entity. We discuss how mechanist and vitalist models of organism exist in a more (...) complementary relation than hitherto imagined, with conceptions of embodiment resulting from experimental physiology. From La Mettrie to Bernard, mechanism, body and embodiment are constantly overlapping, modifying and overdetermining one another; embodiment came to be scientifically addressed under the successive figures of vie organique and then milieu intérieur, thereby overcoming the often lamented divide between scientific image and living experience. (shrink)

It has become customary to conceptualize the living cell as an intricate piece of machinery, different to a man-made machine only in terms of its superior complexity. This familiar understanding grounds the conviction that a cell's organization can be explained reductionistically, as well as the idea that its molecular pathways can be construed as deterministic circuits. The machine conception of the cell owes a great deal of its success to the methods traditionally used in molecular biology. However, the recent introduction (...) of novel experimental techniques capable of tracking individual molecules within cells in real time is leading to the rapid accumulation of data that are inconsistent with an engineering view of the cell. This paper examines four major domains of current research in which the challenges to the machine conception of the cell are particularly pronounced: cellular architecture, protein complexes, intracellular transport, and cellular behaviour. It argues that a new theoretical understanding of the cell is emerging from the study of these phenomena which emphasizes the dynamic, self-organizing nature of its constitution, the fluidity and plasticity of its components, and the stochasticity and non-linearity of its underlying processes. (shrink)

Although Fuzzy logic and Fuzzy Mathematics is a widespread subject and there is a vast literature about it, yet the use of Fuzzy issues like Fuzzy sets and Fuzzy numbers was relatively rare in time concept. This could be seen in the Fuzzy time series. In addition, some attempts are done in fuzzing Turing Machines but seemingly there is no need to fuzzy time. Throughout this article, we try to change this picture and show why it (...) is helpful to consider the instants of time as Fuzzy numbers. In physics, though there are revolutionary ideas on the time concept like B theories in contrast to A theory also about central concepts like space, momentum… it is a long time that these concepts are changed, but time is considered classically in all well-known and established physics theories. Seemingly, we stick to the classical time concept in all fields of science and we have a vast inertia to change it. Our goal in this article is to provide some bases why it is rational and reasonable to change and modify this picture. Here, the central point is the modified version of “Unexpected Hanging” paradox as it is described in "Is classical Mathematics appropriate for theory of Computation".This modified version leads us to a contradiction and based on that it is presented there why some problems in Theory of Computation are not solved yet. To resolve the difficulties arising there, we have two choices. Either “choosing” a new type of Logic like “Para-consistent Logic” to tolerate contradiction or changing and improving the time concept and consequently to modify the “Turing Computational Model”. Throughout this paper, we select the second way for benefiting from saving some aspects of Classical Logic. In chapter 2, by applying quantum Mechanics and Schrodinger equation we compute the associated fuzzy number to time. (shrink)

As our epistemic ambitions grow, the common and scientific endeavours are becoming increasingly dependent on Machine Learning (ML). The field rests on a single experimental paradigm, which consists of splitting the available data into a training and testing set and using the latter to measure how well the trained ML model generalises to unseen samples. If the model reaches acceptable accuracy, an a posteriori contract comes into effect between humans and the model, supposedly allowing its deployment to target environments. Yet (...) the latter part of the contract depends on human inductive predictions or generalisations, which infer a uniformity between the trained ML model and the targets. The paper asks how we justify the contract between human and machine learning. It is argued that the justification becomes a pressing issue when we use ML to reach ‘elsewheres’ in space and time or deploy ML models in non-benign environments. The paper argues that the only viable version of the contract can be based on optimality (instead of on reliability which cannot be justified without circularity) and aligns this position with Schurz’s optimality justification. It is shown that when dealing with inaccessible/unstable ground-truths (‘elsewheres’ and non-benign targets), the optimality justification undergoes a slight change, which should reflect critically on our epistemic ambitions. Therefore, the study of ML robustness should involve not only heuristics that lead to acceptable accuracies on testing sets. The justification of human inductive predictions or generalisations about the uniformity between ML models and targets should be included as well. Without it, the assumptions about inductive risk minimisation in ML are not addressed in full. (shrink)

Virtue ethics has many times been suggested as a promising recipe for the construction of artificial moral agents due to its emphasis on moral character and learning. However, given the complex nature of the theory, hardly any work has de facto attempted to implement the core tenets of virtue ethics in moral machines. The main goal of this paper is to demonstrate how virtue ethics can be taken all the way from theory to machine implementation. To achieve this goal, (...) we critically explore the possibilities and challenges for virtue ethics from a computational perspective. Drawing on previous conceptual and technical work, we outline a version of artificial virtue based on moral functionalism, connectionist bottom–up learning, and eudaimonic reward. We then describe how core features of the outlined theory can be interpreted in terms of functionality, which in turn informs the design of components necessary for virtuous cognition. Finally, we present a comprehensive framework for the technical development of artificial virtuous agents and discuss how they can be implemented in moral environments. (shrink)

Infinite machines (IMs) can do supertasks. A supertask is an infinite series of operations done in some finite time. Whether or not our universe contains any IMs, they are worthy of study as upper bounds on finite machines. We introduce IMs and describe some of their physical and psychological aspects. An accelerating Turing machine (an ATM) is a Turing machine that performs every next operation twice as fast. It can carry out infinitely many operations in finite (...) class='Hi'>time. Many ATMs can be connected together to form networks of infinitely powerful agents. A network of ATMs can also be thought of as the control system for an infinitely complex robot. We describe a robot with a dense network of ATMs for its retinas, its brain, and its motor controllers. Such a robot can perform psychological supertasks - it can perceive infinitely detailed objects in all their detail; it can formulate infinite plans; it can make infinitely precise movements. An endless hierarchy of IMs might realize a deep notion of intelligent computing everywhere. (shrink)

Smart Farming Technologies raise ethical issues associated with the increased corporatization and industrialization of the agricultural sector. We explore the concept of biomimicry to conceptualize smart farming technologies as ecological innovations which are embedded in and in accordance with the natural environment. Such a biomimetic approach of smart farming technologies takes advantage of its potential to mitigate climate change, while at the same time avoiding the ethical issues related to the industrialization of the agricultural sector. We explore six principles (...) of a natural concept of biomimicry and apply these principles in the context of smart farming technologies. (shrink)

The topic is time travel of the sort depicted in H. G. Wells’ classic novel, The Time Machine—Wellsian time travel. The range of proper applicability of the concept of Wellsian time travel is investigated. The results of this investigation are applied to provide a new argument against the metaphysical possibility of time travel in absolute time. Alternatively, the argument is against the possibility of Wellsian time travel relative to a single temporal frame of (...) reference. The argument leaves open the prospect that an object nontrivially moves relative to one temporal reference frame from one time to another relative to another temporal reference frame. The argument does not turn on closed timelike curves or “causal loops” of any kind. It does however invoke the prospect of backward causation—a consequence of backward time travel in conjunction with common sense—but it invokes this possibility only in the weak sense of mere logical consistency. (shrink)

We propose a formal framework for interpretable machine learning. Combining elements from statistical learning, causal interventionism, and decision theory, we design an idealised explanation game in which players collaborate to find the best explanation for a given algorithmic prediction. Through an iterative procedure of questions and answers, the players establish a three-dimensional Pareto frontier that describes the optimal trade-offs between explanatory accuracy, simplicity, and relevance. Multiple rounds are played at different levels of abstraction, allowing the players to explore overlapping causal (...) patterns of variable granularity and scope. We characterise the conditions under which such a game is almost surely guaranteed to converge on a optimal explanation surface in polynomial time, and highlight obstacles that will tend to prevent the players from advancing beyond certain explanatory thresholds. The game serves a descriptive and a normative function, establishing a conceptual space in which to analyse and compare existing proposals, as well as design new and improved solutions. (shrink)

This thesis is an exploration of the chapters of Francesco Di Giorgio's Trattati di Architettura, Ingegneria e Arte Militare, that pertain to mechanical devices. While it is difficult to imagine actually constructing Di Giorgio's machines from the drawings and descriptions in his treatises, given their apparent inefficiencies and ambiguities, the Aristotelean science and philosophy referenced throughout the Trattati provides a basis for looking at them as demonstrations of concepts beyond their immediate applications for architecture and engineering. By considering these (...) devices in Di Giorgio's own terms, terms suggested by his own experiences, as well as his writings and paintings, strong associations can be made to the science, philosophy and the theology of his time. (shrink)

Although Fuzzy logic and Fuzzy Mathematics is a widespread subject and there is a vast literature about it, yet the use of Fuzzy issues like Fuzzy sets and Fuzzy numbers was relatively rare in time concept. This could be seen in the Fuzzy time series. In addition, some attempts are done in fuzzing Turing Machines but seemingly there is no need to fuzzy time. Throughout this article, we try to change this picture and show why it (...) is helpful to consider the instants of time as Fuzzy numbers. In physics, though there are revolutionary ideas on the time concept like B theories in contrast to A theory also about central concepts like space, momentum… it is a long time that these concepts are changed, but time is considered classically in all well-known and established physics theories. Seemingly, we stick to the classical time concept in all fields of science and we have a vast inertia to change it. Our goal in this article is to provide some bases why it is rational and reasonable to change and modify this picture. Here, the central point is the modified version of “Unexpected Hanging” paradox as it is described in "Is classical Mathematics appropriate for theory of Computation".This modified version leads us to a contradiction and based on that it is presented there why some problems in Theory of Computation are not solved yet. To resolve the difficulties arising there, we have two choices. Either “choosing” a new type of Logic like “Para-consistent Logic” to tolerate contradiction or changing and improving the time concept and consequently to modify the “Turing Computational Model”. Throughout this paper, we select the second way for benefiting from saving some aspects of Classical Logic. In chapter 2, by applying quantum Mechanics and Schrodinger equation we compute the associated fuzzy number to time. These, provides a new interpretation of Quantum Mechanics.More exactly what we see here is "Particle-Fuzzy time" interpretation of quantum Mechanics, in contrast to some other interpretations of Quantum Mechanics like " Wave-Particle" interpretation. At the end, we propound a question about the possible solution of a paradox in Physics, the contradiction between General Relativity and Quantum Mechanics. (shrink)

Early modern automata, understood as efforts to ‘model’ life, to grasp its singular properties and/or to unveil and demystify its seeming inaccessibility and mystery, are not just fascinating liminal, boundary, hybrid, crossover or go-between objects, while they are all of those of course. They also pose a direct challenge to some of our common conceptions about mechanism and embodiment. They challenge the simplicity of the distinction between a purported ‘mechanistic’ worldpicture, its ontology and its goals, and on the other hand (...) an attempt to understand ourselves and animals more broadly as flesh-and-blood, affective entities (that is, not just breathing and perspiring, but also desiring and ‘sanguine’ machines, as La Mettrie might have put it). In what follows I reflect on the complexity of early modern mechanism faced with the (living) body, and its mirror image, contemporary theories of embodiment. At times, embodiment theory seems to be governed by a fascination with what the Artificial Life researcher Ezequiel Di Paolo has called ‘biochauvinism’ (Di Paolo, “Extended Life”): an unquestioned belief that ‘living bodies are special’. Yet how does the theorist define this special status? The question is apparently a simple one, or at least promptly yields an aporia which appears simple: to borrow a provocative phrase from Terry Eagleton, embodiment theory is obsessed by the body but terrified of biology. Yet at the same time, at least since Hubert Dreyfus and Andy Clark’s groundbreaking works, embodiment has been a legit part of cognitive science, yielding the even more recently emerged field of ‘embodied cognition’ (see the work of Larry Shapiro), which seeks to depart from traditional cognitive science, especially the latter’s understanding of cognition as computational, in order to instead underscore “the significance of an organism’s body in how and what the organism thinks,” in Shapiro’s words. (shrink)

This essay for the inaugural issue of Technology and Language discusses the problem of finding an optimal form of human-machine communication. In the ongoing search for an alien mind, humanity seems to find it not in the infinities of space, but in its own environment. Changes in the language of human-machine interaction made it understandable not only to trained specialists but to every household. In the course of time, home appliances and devices have developed their language abilities even more (...) and reached a very advanced level – by way of status indicators, displays, emergency sound and color signals. The transition to computer-assisted communication brought about a great diversity of human expression forms translated into the discrete digital language of technologies. According to some prognoses, the first human-robot marriage might be registered in the future, however, such a union is not the only possible human-machine alliance. (shrink)

{June 2018 UPDATE: This work has been greatly surpassed by "Utilizing Future-Viewing Instruments" which will appear in the July 2018 issue of Progress in Physics. It can now be downloaded in PDF form from their website.} -/- The introduction of new scientific instruments has always played a vital role in the advancement of science and society. All scientific instruments to date have only been able to gain information pertaining to events of our immediate and distant past. Concerning our attempts to (...) gain information about future events, thus far our sciences have been limited to prediction. However, what if we could develop instruments that would enable us, in a wide range of circumstances, to achieve direct empirical access to future states of our world? It is clear that any kind of future-viewing machine would have enormous impacts upon science and society, but what kinds of impacts? Questions as to whether such machines are physically possible and might ever be feasible from an engineering perspective will not be addressed; this work is devoted to exploring the logic of such machines and deducing some of the possibilities of their utilization. (shrink)

This article seeks to explore the temporal experience of decolonization/decoloniality through Furio Jesi's phenomenology of revolt, using the Puerto Rico summer protests of 2019 as a case study, to suggest that decolonization inhibits the functionality of the mythological machine because in the context of coloniality, revolt is the product of a biological exigency. In addition, I argue that decolonization should not be understood as an inevitable end point, or end goal, known a priori, but rather it is an anti-teleological process (...) and subjectivity that at once fuses the time of revolt and revolution; an impossible task in Jesi's framework. (shrink)

Objectives: Machine learning (ML) has the potential to facilitate “continual learning” in medicine, in which an ML system continues to evolve in response to exposure to new data over time, even after being deployed in a clinical setting. In this article, we provide a tutorial on the range of ethical issues raised by the use of such “adaptive” ML systems in medicine that have, thus far, been neglected in the literature. -/- Target audience: The target audiences for this tutorial (...) are the developers of ML AI systems, healthcare regulators, the broader medical informatics community, and practicing clinicians. -/- Scope: Discussions of adaptive ML systems to date have overlooked the distinction between 2 sorts of variance that such systems may exhibit—diachronic evolution (change over time) and synchronic variation (difference between cotemporaneous instantiations of the algorithm at different sites)—and underestimated the significance of the latter. We highlight the challenges that diachronic evolution and synchronic variation present for the quality of patient care, informed consent, and equity, and discuss the complex ethical trade-offs involved in the design of such systems. (shrink)

The advance of mechanism in science and philosophy in the 17th century created a great interest to machines or automata. Leibniz was no exception - in an early memoir Drôle de pensée he wrote admiringly about a machine that could walk on water, exhibited in Paris. The idea of automatic processing in general had a large role in his thought, as can be seen, for example, in his invention of the binary code and the so-called Calculemus!-model for solving controversies. (...) In metaphysics, the idea of an automata was expressed most clearly in the 1695 article New System of the Nature of Substances and their Communication, and the ensuing correspondence with, among others, Foucher, Bayle, Lamy, Jaquelot and Masham. In the article Leibniz discusses the soul as a spiritual machine in the context of pre-established harmony, arguing that God can "give to a substance at the outset a nature or internal force which could produce in it an orderly way (as in spiritual or formal automaton; but a free one, in the case of a substance which is endowed with a share of reason) everything that is going to happen to it, that is to say, all the appearances or expressions it is going to have, and all without the help of any created thing." The basic idea of Leibniz's spiritual machine is that the soul or entelechy is an autonomous and spontaneous unity, consisting of internal active force and producing its own perceptions (both confused and distinct). It is a self-moving machine, driven by its perceptions and appetites, but it follows (without being conscious of it) a lawful series or programme created by God. The entelechy remains the same despite undergoing an infinite number of changes. To Foucher he explained that each state of the individual substance is a consequence of its preceding one, "as if there were only God and the substance in the world". Despite this, the spiritual machine is related not only to God, but through the pre-established harmony to bodies or natural machines. However, as it is not dependent on them, the spiritual machine is superiot to natural machines. In this paper I concentrate on three moral themes related to the spiritual machine: moral deliberation, moral identity and the goal of moral action. All these themes are more or less implicit in the New System, but are discussed in more detail in the ensuing correspondence after the publication of the article. Finally, the themes are given an extended discussion especially in the second book of New Essays on Human Understanding (1704, published 1765), written partly at the same time as some of the correspondence and unpublished related material. I will first give an overview of Leibniz's position concerning the spiritual machine or automaton in the New System and then go on to explore the three moral themes one by one, as they feature in the subsequent correspondence and in the New Essays. I will show that the three topics are essential to the function of the spiritual machine – to Sophie Charlotte Leibniz wrote: "...let us say that everything in bodies happens mechanically, or in accordance with laws of motion, and that everything in the soul happens morally, or in accordance with perceived good or evil." There are many texts that anticipate the views in the New System (notably the unpublished memoir De Affectibus of 1679) and Leibniz continued to discuss its themes later on (in addition to correpondence, for example, in Theodicy of 1710 and Monadology and Principles of Nature and Grace of 1714). Here I focus on the short-term development of Leibniz's views on the topic (around 1695-1705), but I argue that his basic view of the spiritual machine did not change much after finishing the dialogue with Locke in 1704. (shrink)

In early modern times it was not uncommon for thinkers to tease out from the nature of God various doctrines of substantial physical and metaphysical import. This approach was particularly fruitful in the so-called beast-machine controversy, which erupted following Descartes’ claim that animals are automata, that is, pure machines, without a spiritual, incorporeal soul. Over the course of this controversy, thinkers on both sides attempted to draw out important truths about the status of animals simply from the notion or (...) attributes of God. Automatists – led by Nicolas Malebranche and Antoine Dilly – developed six such arguments, appealing to divine justice, providence, economy, glory (twice) and wisdom, while opponents to animal automatism developed two arguments, appealing to divine wisdom and goodness. In this article I shall examine the substance of all eight of these arguments, along with their origins, patronage, and variations, and the objections they elicited from opponents, with the aim of determining their suitability for use in contemporary debates about animal sentience and consciousness, and hence their relevance for contemporary philosophers. (shrink)

In 1949, the Department of Philosophy at the University of Manchester organized a symposium “Mind and Machine” with Michael Polanyi, the mathematicians Alan Turing and Max Newman, the neurologists Geoff rey Jeff erson and J. Z. Young, and others as participants. Th is event is known among Turing scholars, because it laid the seed for Turing’s famous paper on “Computing Machinery and Intelligence”, but it is scarcely documented. Here, the transcript of this event, together with Polanyi’s original statement and his (...) notes taken at a lecture by Jeff erson, are edited and commented for the fi rst time. Th e originals are in the Regenstein Library of the University of Chicago. Th e introduction highlights elements of the debate that included neurophysiology, mathematics, the mind-body-machine problem, and consciousness and shows that Turing’s approach, as documented here, does not lend itself to reductionism. (shrink)

Most forms of human papillomavirus can create alterations on a woman's cervix that can lead to cervical cancer in the long run, while others can produce genital or epidermal tumors. Cervical cancer is a leading cause of morbidity and mortality among women in low- and middle-income countries. The prediction of cervical cancer still remains an open challenge as there are several risk factors affecting the cervix of the women. By considering the above, the cervical cancer risk factor dataset from KAGGLE (...) data warehouse is executed for predicting the cervical cancer risk classes. The cervical cancer data set is normalised with incomplete data and Pattern Calibration. Secondly, the interpretive data analysis is carried out, and the target feature's dispersion of the cervical cancer risk is visualised. Thirdly, several classifiers are fitted to the unprocessed data set, and the performance is measured with pre and post feature scaling. Fourth, oversampling methodologies are applied to the pre - processed data set. Fifth, the oversampled dataset by differment methods are applied to all the classifiers and the performance is compared with pre and post feature scaling. Sixth, Precision, recall, Fscore, accuracy, and running time are some of the metrics used in performance analysis. The code is written in Python and executed with Anaconda Navigator on the Spyder framework. The findings of the experiments reveal that the Random forest classifier tends to sustain 96% accuracy pre and post scaling for unporocessed dataset. Similarly the same classifier tends to sustain 98% accuracy for all the oversampling techniques. (shrink)

Since the second half of the XXth century, researchers in cybernetics and AI, neural nets and connectionism, Artificial Life and new robotics have endeavoured to build different machines that could simulate functions of living organisms, such as adaptation and development, problem solving and learning. In this book these research programs are discussed, particularly as regard the epistemological issues of the behaviour modelling. One of the main novelty of this book consists of the fact that certain projects involving the building (...) of simulative machine models before the advent of cybernetics are been investigated for the first time, on the basis of little known, and sometimes completely forgotten or unpublished, texts and figures. These pre-cybernetics projects can be considered as steps toward the “discovery” of a modelling methodology that has been fully developed by those more recent research programs, and that shares some of their central goals and key methodological proposals. -/- More info in Springer link: http://www.springer.com/new+%26+forthcoming+titles+%28default%29/book/978-1-4020-0606-7 -/- This book is the English translation of La scoperta dell'artificiale, Dunod/Masson, Milan, 1998. (shrink)

Craig (1981) presents and defends several different kalam cosmological arguments. The core of each of these arguments is the following ur argument.

To solve the hard problem of consciousness we observe that any cognitive system of suffi- cient power must get into difficulty when it tries to analyze consciousness concepts, because the mechanism that does the analysis will “bottom out” in such a way as to make the sys- tem declare these concepts to be both real and ineffable. Rather than use this observation to dismiss consciousness as an artifact, we propose a unifying interpretation that allows consciousness to be explicable at a (...) meta level, while at the same time being mysterious and inexplicable on its own terms. This implies that science must concede that there are some aspects of the world that deserve to be called “real”, but which are beyond explanation. We conclude that some future thinking machines will, inevitably, have the same subjective consciousness that we do. Some testable predictions are derived from this theory. (shrink)

To solve the hard problem of consciousness we first note that all cognitive systems of sufficient power must get into difficulty when trying to analyze consciousness concepts, because the mechanism that does the analysis will bottom out in such a way that the system declares these concepts to be both real and ineffable. Rather than use this observation to dismiss consciousness as an artifact, we propose a unifying interpretation that allows consciousness to be regarded as explicable at a meta level, (...) while at the same time being mysterious and inexplicable on its own terms. It is further suggested that science must concede that there are some aspects of the world that deserve to be called ‘real’, but which are beyond explanation. The main conclusion is that thinking machines of the future will, inevitably, have just the same subjective consciousness that we do. Some testable predictions can be derived from this theory. (shrink)

The composition of a timeline depends on purpose, perspective, and scale – and of the very understanding of the word, the phenomenon referred to, and whether the focus is the idea or concept, an instance of an idea or a phenomenon, a process, or an event and so forth. The main function of timelines is to provide an overview over a long history, it is a kind of a mnemotechnic device or a particular kind of Knowledge Organization System (KOS).b The (...) entries in the timeline should be brief and indisputable. Therefore, timelines often identify the first occurrences rather than the most widespread or most qualified instances leaving the fuller and more complex, and possibly disputable story out. But even first occurrences are often difficult to establish. The first occurrence is most often only the first finding of an instance. Older instances may be found and competing definitions develop either within a field or in different fields. This is further complicated since the phenomena, their names, and their meanings may change over time. Former meanings may become redundant, or they must accommodate and coexist with new meanings. The time and place of the composition of the timeline are to be considered in interpreting the things listed. The following note will discuss these issues as they occur in the development of the notions of text, e-text and hypertext, and the origin of machine translation. (shrink)

Why should moral philosophers, moral psychologists, and machine ethicists care about computational complexity? Debates on whether artificial intelligence (AI) can or should be used to solve problems in ethical domains have mainly been driven by what AI can or cannot do in terms of human capacities. In this paper, we tackle the problem from the other end by exploring what kind of moral machines are possible based on what computational systems can or cannot do. To do so, we analyze (...) normative ethics through the lens of computational complexity. First, we introduce computational complexity for the uninitiated reader and discuss how the complexity of ethical problems can be framed within Marr’s three levels of analysis. We then study a range of ethical problems based on consequentialism, deontology, and virtue ethics, with the aim of elucidating the complexity associated with the problems themselves (e.g., due to combinatorics, uncertainty, strategic dynamics), the computational methods employed (e.g., probability, logic, learning), and the available resources (e.g., time, knowledge, learning). The results indicate that most problems the normative frameworks pose lead to tractability issues in every category analyzed. Our investigation also provides several insights about the computational nature of normative ethics, including the differences between rule- and outcome-based moral strategies, and the implementation-variance with regard to moral resources. We then discuss the consequences complexity results have for the prospect of moral machines in virtue of the trade-off between optimality and efficiency. Finally, we elucidate how computational complexity can be used to inform both philosophical and cognitive-psychological research on human morality by advancing the moral tractability thesis. (shrink)

This article recapitulates and develops the attempts in the Nietzschean traditions to address and overcome the proliferation of nihilism that Nietzsche predicted to unfold in the next 200 years (WP 2). Nietzsche approached nihilism not merely as a psychology but as a labyrinthic and pervasive historical process whereby the highest values of culture and founding assumptions of philosophical thought prevented the further flourishing of life. Therefore, he thought nihilism had to be encountered and experienced on many, often opposing, fronts to (...) be fully consumed and left behind. Thus, just as Nietzsche captured the subtle reinventions of nihilism in new forms in his time, in the new doers assumed behind new deeds (WP 488), this article focuses on the contemporary tectonic shifts brought by digital technology and challenges subjectivation and narrativization of algorithmic will to power in human-like interfaces such as ChatGPT. Having identified philosophers and himself as the most advanced nihilists in their overvaluation of truth, in the 4th part of Thus Spoke Zarathustra, Nietzsche grappled with the difficult, perhaps impossible, temporality of post-nihilistic historicity that oscillates between highest creativity and highest truths, especially in the sections entitled The Shadow and At Noon whereby he explored new temporal techniques to evade the relapses into temporal nihilisms of the notions of linear progress or eternity (TSZ, 4). By drawing on this juncture, this article offers ways to address transfigurations of nihilism behind new technological performances of subjectivity. The article points toward creative temporalities beyond narrativity and subjectivity insofar as the statistical operations and probabilistic estimations of language-models exceed grammatical construction of meaning. This multifaceted application of his thought on the contemporary ontic reality is necessary to perceive our comet's incalculable movement as a veritable ray of sunshine. (shrink)

Ever since the era of internet had ushered in cloud computing, there had been increase in the demand for the unlimited data available through cloud computing for data analysis, pattern recognition and technology advancement. With this also bring the problem of scalability, efficiency and security threat. This research paper focuses on how data can be dynamically mine in real time for pattern detection in a secure cloud computing environment using combination of decision tree algorithm and Random Forest over a (...) restful Application Programming Interface (API). We are able to successfully Implement data mining on cloud computing bypassing or avoiding direct interaction with data warehouse and without any terminal involve by using combination of IBM Cloud storage facility, Amazing Web Service, Application Programming Interface and Window service along with a decision tree and Random Forest algorithm for our classifier. We were able to successfully bypass direct connection with the data warehouse and cloud terminal with 94% accuracy in our model. (shrink)

This paper is devoted to some generalizations of explanatory potential of connectionist approaches to theoretical problems of the philosophy of mind. Are considered both strong, and weaknesses of neural network models. Connectionism has close methodological ties with modern neurosciences and neurophilosophy. And this fact strengthens its positions, in terms of empirical naturalistic approaches. However, at the same time this direction inherits weaknesses of computational approach, and in this case all system of anticomputational critical arguments becomes applicable to the connectionst (...) models of mind. The last developments in the field of deep learning gave rich empirical material for cognitive sciences. Multilayered networks, mathematical models of associative dynamics of learning, self-organizing neuronets and all that allow to explain the principles of human conceptual organizing and after this to emulate these processes in computer systems. At all engineering achievements of this technology there is a traditional criticism from representatives of cognitive psychology who cannot accept a thesis about learning ability of a neuronet on the basis of redistribution of scales. Process of learning of natural intelligence, according to cognitive models, happens due to attraction of knowledge broadcast in a symbolical form (mental representations, concepts) at the expense of the systems of output knowledge expressed in the propositional contents. Some philosophical aspects of «neural metaphor» in modern cognitive sciences create the problem field which demands comprehensive understanding, the first step towards which is taken in this work. (shrink)

ExtractIn a democracy people are free to express their opinions and question those of others. This is an important personal freedom, and also essential to the very idea of government by discussion. But it has also been held to be instrumentally important because in open public debate true ideas will conquer false ones by their merit, and the people will see the truth for themselves. In other words, democracy has an epistemic function as a kind of truth machine. From this (...) it follows that in a democracy there should be no dogma: no knowledge protected from public challenge and debate. Yet this whole argument is founded on embarrassing misconceptions of the nature of truth and of the working of democracy.Send article to KindleTo send this article to your Kindle, first ensure [email protected] is added to your Approved Personal Document E-mail List under your Personal Document Settings on the Manage Your Content and Devices page of your Amazon account. Then enter the ‘name’ part of your Kindle email address below. Find out more about sending to your Kindle. Find out more about sending to your Kindle. Note you can select to send to either the @free.kindle.com or @kindle.com variations. ‘@free.kindle.com’ emails are free but can only be sent to your device when it is connected to wi-fi. ‘@kindle.com’ emails can be delivered even when you are not connected to wi-fi, but note that service fees apply. Find out more about the Kindle Personal Document Service.DEMOCRACY IS NOT A TRUTH MACHINEVolume 12, Issue 33Thomas WellsDOI: https://doi.org/10.1017/S1477175612000309Your Kindle email address Please provide your Kindle [email protected]@kindle.com Available formats PDF Please select a format to send. By using this service, you agree that you will only keep articles for personal use, and will not openly distribute them via Dropbox, Google Drive or other file sharing services. Please confirm that you accept the terms of use. Cancel Send ×Send article to Dropbox To send this article to your Dropbox account, please select one or more formats and confirm that you agree to abide by our usage policies. If this is the first time you use this feature, you will be asked to authorise Cambridge Core to connect with your account. Find out more about sending content to Dropbox. DEMOCRACY IS NOT A TRUTH MACHINEVolume 12, Issue 33Thomas WellsDOI: https://doi.org/10.1017/S1477175612000309Available formats PDF Please select a format to send. By using this service, you agree that you will only keep articles for personal use, and will not openly distribute them via Dropbox, Google Drive or other file sharing services. Please confirm that you accept the terms of use. Cancel Send ×Send article to Google Drive To send this article to your Google Drive account, please select one or more formats and confirm that you agree to abide by our usage policies. If this is the first time you use this feature, you will be asked to authorise Cambridge Core to connect with your account. Find out more about sending content to Google Drive. DEMOCRACY IS NOT A TRUTH MACHINEVolume 12, Issue 33Thomas WellsDOI: https://doi.org/10.1017/S1477175612000309Available formats PDF Please select a format to send. By using this service, you agree that you will only keep articles for personal use, and will not openly distribute them via Dropbox, Google Drive or other file sharing services. Please confirm that you accept the terms of use. Cancel Send ×Export citation. (shrink)

Cyborgs are ongoing becomings of a doubly “in-between” temporality of humans and machines. Materially made from components of both sorts of beings, cyborgs gain increasing function through an interweaving in which each alters the other, from the level of “neural plasticity” to software updates to emotional breakthroughs of which both are a part. One sort of temporal in-between is of the progressive unfolding of a deepening becoming as “not-one-not-two” and the other is a “doubling back” of time into (...) itself in which moments that were once disparate are conjoined or enjambed. Tracing the experience of Michael Chorost during a four year period of coming to terms with his cochlear implant, related in Rebuilt: How Becoming Part Computer Made Me More Human, the essay pinpoints shifts in awareness, perceptual belief, and being-with others that unfold within the in-between of person and machine. (shrink)

In this paper I defend the compossibility of presentism and time travel from two objections. One objection is that the presentist’s model of time leaves nowhere to travel to; the second objection attempts to equate presentist time travel with suicide. After targeting some misplaced scrutiny of the first objection, I show that presentists have the resources to account for the facts that make for time travel on the traditional Lewisian view. In light of this ability, I (...) argue that both of the objections fail. (shrink)

To secure computers and information systems from attackers taking advantage of vulnerabilities in the system to commit cybercrime, several methods have been proposed for real-time detection of vulnerabilities to improve security around information systems. Of all the proposed methods, machine learning had been the most effective method in securing a system with capabilities ranging from early detection of software vulnerabilities to real-time detection of ongoing compromise in a system. As there are different types of cyberattacks, each of the (...) existing state-of-the-art machine learning models depends on different algorithms for training which also impact their suitability for detection of a particular type of cyberattack. In this research, we analyzed each of the current state-of-the art machine learning models for different types of cyberattack detection from the past 10 years with a major emphasis on the most recent works for comparative study to identify the knowledge gap where work is still needed to be done with regard to detection of each category of cyberattack. (shrink)

Heidegger Being and Time, Sein und Zeit (1927): An Index -/- By -/- Daniel Fidel Ferrer -/- and -/- Ritu Sharma -/- 1. Heidegger, Martin, -- 1889-1976. 2. Heidegger, Martin, -- 1889-1976 -- Concordances. 3. Heidegger, Martin, -- 1889-1976 -- Indexes. 4). Metaphysics. 5). Philosophy, German. 6). Heidegger, Martin; -- Wörterbuch. 7). Sein und Zeit. English. 8). Ontology. 9). Space and time. 10). Being and Time [Sein und Zeit]. I. Ferrer, Daniel Fidel, 1952-. II. Sharma, Ritu. -/- (...) Pages for this volume 1-655. Total words indexed: 24,638. For the two volumes that are indexed: pages 1 to 1106. Total pages in this volume is 654. The actual texts are not included because of copyright. This is an experiment in to indexing two different languages: German and English in the same index. -/- The following is a machine index of two volumes written by Martin Heidegger. The first volume is the German edition of Sein und Zeit, GA 2. The second is the same volume only translated into English by Joan Stambaugh as Being and Time (1996). -/- Martin Heidegger’s Being and Time (German edition Sein und Zeit) published in 1927 is one of the most famous philosophical book published in the 20th century; and remains his most renowned book. Being and Time is listed in the overall ranking of the 100 most cited books of the 20th century. Boston Public Library ranks it as number 1 out of 100. Argument from authority, Being and Time is an incredibly influential book. Example from the Main Index: -/- Abandon[5], 1051, 1089, 1090, 1092 abandon[2], 679, 749 abandoned[5], 677, 808, 841, 970, 992 abandoning[2], 780, 1099 Abandonment[1], 1040 abandonment[4], 875, 945, 1098, 1099 abandonrnent[1], 1092 abandons[1], 972 Abart[1], 216 Abbiendung[1], 271. (shrink)

Predictive processing is an increasingly popular explanatory framework developed within cognitive neuroscience. It conceives of the brain as a prediction machine that tries to minimise prediction error. Predictive processing has also been employed to explain aspects of conscious experience. In this paper, I critically evaluate current predictive processing approaches to the phenomenology of time-consciousness from a Husserlian perspective. To do so, I introduce the notion of orthodox predictive processing to refer to interpretations of the predictive processing framework that subscribe (...) to representational views of cognition. As it turns out, current predictive processing accounts of time-consciousness are orthodox given their commitment to representational views of both brain functioning and perception, and, on the other hand, their reliance on the primacy of imagination over perception. However, I argue that such accounts are in fact closer to a Kantian-Brentanian approach to the phenomenology of time-consciousness than to the Husserlian account that they attempt to account for. (shrink)

Here, we try to build the structure of a Theory of computation based on considering time as a fuzzy concept. Actually, there are some reasons to consider time as a fuzzy concept. In this article, we don’t go to this side but we remind that Brower and Husserl ideas about the concept of time were similar [14]. Throughout this article, we present the Theory of Computation with Fuzzy Time. Considering the classical definition of Turing Machine we (...) change and modify the concept of Time to Fuzzy time. We call this new Theory TC* and this type of computation “Fuzzy time Computation”. We have relatively large number of fundamental unsolved problems in Complexity Theory. In the new Theory some of the major obstacles and unsolved problems are solved. It should be mentioned that in this article, we consider fuzzy number a symmetric one. The point about the symmetry is in the proof of Lemma 3, although we are able to generalize it. More specifically, we define the new classes of complexity Theory, P*, NP*, BPP* in TC* analogues to the definitions P, NP, BPP as their natural substituted definition. We show P*≠ NP*, P*= BPP*. Finally, we have Theorem 4, P≠NP . (shrink)

As soon as you believe an imagination to be nonfictional, this imagination becomes your ontological theory of the reality. Your ontological theory (of the reality) can describe a system as the reality. However, actually this system is only a theory/conceptual-space/imagination/visual-imagery of yours, not the actual reality (i.e., the thing-in-itself). An ontological theory (of the reality) actually only describes your (subjective/mental) imagination/visual-imagery/conceptual-space. An ontological theory of the reality, is being described as a situation model (SM). There is no way to prove/disprove (...) that there is only one reality, or there are two realities (i.e., “subjective reality” and “objective reality”). So, every ontology talk/theory/imagination about the two realities is only a talk/theory/imagination – we will never know whether it is true or not. The conventionally-called “physical/objective reality/world” around my conventionally-called “physical/objective body” is actually a geometric mathematical model (being generated/mathematically-modeled by my brain) – it's actually a subset/component/part/element of my brain’s mind/consciousness/manifest-image. Our cosmos is an autonomous objective parallel computing automaton (aka state machine) which evolves by itself automatically/unintentionally – wave-particle duality and Heisenberg’s uncertainty principle can be explained under this SM of my brain. Each elementary particle (as a building block of our cosmos) is an autonomous mathematical entity itself (i.e., a thing in itself). Our cosmos has the same nature as a Game of Life system – both are autonomous objective parallel-computing automata. Cosmos (as a state machine) is indistinguishable from a digital simulation – my consciousness (as something nonphysical) is not cosmos (as a state machine). If we are happy to accept randomness/stochasticity, then it is obviously possible that all other worlds in the many-worlds interpretation (MWI) actually do not exist (objectively). As one metaphysical option, we can treat all other worlds as subjective only (even if they are actually objective). Under the context of this metaphysical option, we are only living in one world (i.e., the world we are currently living in; this world) – we are not living in many worlds at the same time parallelly. Under the context of this metaphysical option, there is only one possible future. The relationship among any number of elementary particles, is governed/described by Schrodinger equation. If (in theory) Schrodinger equation can’t be used to reliably forecast whether I will go to McDonald for dinner in this world (based on the current state of all elementary particles of the cosmos), then what can Schrodinger equation do? The conventionally-called “space” does not exist objectively. “Time” and “matter” are not physical. Consciousness is the subjective-form (aka quale) of the mathematical models (of the objective cosmos) which are intracorporeally/subjectively used by the control logic of a Turing machine’s program fatedly. A Turing machine’s mind/consciousness/manifest-image or deliberate decisions/choices should not be able to actually/objectively change/control/drive the (autonomous or fated) worldline of any elementary particle within this world (i.e., the world we are currently living in, under the context of MWI). Besides the Schrodinger equation (or another mathematical equation/function which is yet to be discovered) which is a valid/correct/factual causality of our cosmos/state-machine, every other causality (of our cosmos/state-machine) is either invalid/incorrect/counterfactual or can be proved by deductive inference based on the Schrodinger equation (or the aforementioned yet-to-be-discovered mathematical equation/function) only. Closed causality entails no causality. Consciousness plays no causal role (“epiphenomenalism”), or in other words, any cognitive/behavioural activity can in principle be carried out without consciousness (“conscious inessentialism”). If the “loop quantum gravity” theory is correct, then time/space does not actually/objectively exist in the objective-evolution of the objective cosmos, or in other words, we should not use the subjective/mental concept of “time”, “state” or “space” to describe/imagine the objective-evolution of our cosmos. (shrink)