Switch to: Citations

Add references

You must login to add references.
  1. Modal Logic: An Introduction.Brian F. Chellas - 1980 - New York: Cambridge University Press.
    A textbook on modal logic, intended for readers already acquainted with the elements of formal logic, containing nearly 500 exercises. Brian F. Chellas provides a systematic introduction to the principal ideas and results in contemporary treatments of modality, including theorems on completeness and decidability. Illustrative chapters focus on deontic logic and conditionality. Modality is a rapidly expanding branch of logic, and familiarity with the subject is now regarded as a necessary part of every philosopher's technical equipment. Chellas here offers an (...)
    Download  
     
    Export citation  
     
    Bookmark   436 citations  
  • Psychometric Artificial General Intelligence: The Piaget-MacGuyver Room.Selmer Bringsjord & John Licato - 2012 - In Pei Wang & Ben Goertzel (eds.), Theoretical Foundations of Artificial General Intelligence. Springer. pp. 25--48.
    Download  
     
    Export citation  
     
    Bookmark   2 citations  
  • Language, Proof and Logic.Jon Barwise & John Etchemendy - 1999 - New York and London: Seven Bridges Press.
    Covers first-order language in method appropriate for first and second courses in logic. CD-ROM consists of a new book, 3 programs,and an Internet-based grading service.
    Download  
     
    Export citation  
     
    Bookmark   29 citations  
  • (1 other version)The singularity: A philosophical analysis.David J. Chalmers - 2010 - Journal of Consciousness Studies 17 (9-10):9 - 10.
    What happens when machines become more intelligent than humans? One view is that this event will be followed by an explosion to ever-greater levels of intelligence, as each generation of machines creates more intelligent machines in turn. This intelligence explosion is now often known as the “singularity”. The basic argument here was set out by the statistician I.J. Good in his 1965 article “Speculations Concerning the First Ultraintelligent Machine”: Let an ultraintelligent machine be defined as a machine that can far (...)
    Download  
     
    Export citation  
     
    Bookmark   120 citations  
  • Mathematical logic.Heinz-Dieter Ebbinghaus - 1996 - New York: Springer. Edited by Jörg Flum & Wolfgang Thomas.
    This junior/senior level text is devoted to a study of first-order logic and its role in the foundations of mathematics: What is a proof? How can a proof be justified? To what extent can a proof be made a purely mechanical procedure? How much faith can we have in a proof that is so complex that no one can follow it through in a lifetime? The first substantial answers to these questions have only been obtained in this century. The most (...)
    Download  
     
    Export citation  
     
    Bookmark   46 citations  
  • (1 other version)A Primer of Probability Logic.Ernest Wilcox Adams - 1998 - Stanford: Csli Publications.
    This book is meant to be a primer, that is, an introduction, to probability logic, a subject that appears to be in its infancy. Probability logic is a subject envisioned by Hans Reichenbach and largely created by Adams. It treats conditionals as bearers of conditional probabilities and discusses an appropriate sense of validity for arguments such conditionals, as well as ordinary statements as premisses. This is a clear well-written text on the subject of probability logic, suitable for advanced undergraduates or (...)
    Download  
     
    Export citation  
     
    Bookmark   113 citations  
  • (1 other version)By parallel reasoning: the construction and evaluation of analogical arguments.Paul Bartha - 2010 - New York: Oxford University Press.
    In this work, Paul Bartha proposes a normative theory of analogical arguments and raises questions and proposes answers regarding the criteria for evaluating analogical arguments, the philosophical justification for analogical reasoning, and the place of scientific analogies in the context of theoretical confirmation.
    Download  
     
    Export citation  
     
    Bookmark   71 citations  
  • Leibniz’s Art of Infallibility, Watson, and the Philosophy, Theory, and Future of AI.Naveen Govindarajulu & Selmer Bringsjord - 2016 - In Vincent C. Müller (ed.), Fundamental Issues of Artificial Intelligence. Cham: Springer.
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  • The technological singularity.Jim Miller, Roman Yampolskiy, Stuart Armstrong & Vic Callaghan (eds.) - 2015
    "The idea that human history is approaching a singularity - that ordinary humans will someday be overtaken by artificially intelligent machines or cognitively enhanced biological intelligence, or both - has moved from the realm of science fiction to serious debate. Some singularity theorists predict that if the field of artificial intelligence continues to develop at its current dizzying rate, the singularity could come about in the middle of the present century. Murray Shanahan offers an introduction to the idea of the (...)
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  • Information Warfare: A Philosophical Perspective. [REVIEW]Mariarosaria Taddeo - 2012 - Philosophy and Technology 25 (1):105-120.
    This paper focuses on Information Warfare—the warfare characterised by the use of information and communication technologies. This is a fast growing phenomenon, which poses a number of issues ranging from the military use of such technologies to its political and ethical implications. The paper presents a conceptual analysis of this phenomenon with the goal of investigating its nature. Such an analysis is deemed to be necessary in order to lay the groundwork for future investigations into this topic, addressing the ethical (...)
    Download  
     
    Export citation  
     
    Bookmark   20 citations  
  • (1 other version)Models and Analogies in Science.Mary B. Hesse - 1963 - [Notre Dame, Ind.]: University of Notre Dame Press.
    Download  
     
    Export citation  
     
    Bookmark   375 citations  
  • Creativity, the Turing test, and the (better) Lovelace test.Selmer Bringsjord, P. Bello & David A. Ferrucci - 2001 - Minds and Machines 11 (1):3-27.
    The Turing Test is claimed by many to be a way to test for the presence, in computers, of such ``deep'' phenomena as thought and consciousness. Unfortunately, attempts to build computational systems able to pass TT have devolved into shallow symbol manipulation designed to, by hook or by crook, trick. The human creators of such systems know all too well that they have merely tried to fool those people who interact with their systems into believing that these systems really have (...)
    Download  
     
    Export citation  
     
    Bookmark   26 citations  
  • What Robots Can and Can’t Be.Selmer Bringsjord - 1992 - Dordrecht, Netherland: Kluwer Academic Publishers.
    This book argues that (1) AI will continue to produce machines with the capacity to pass stronger and stronger versions of the Turing Test but that (2) the "Person Building Project" (the attempt by AI and Cognitive Science to build a machine which is a person) will inevitably fail. The defense of (2) rests in large part on a refutation of the proposition that persons are automata -- a refutation involving an array of issues, from free will to Godel to (...)
    Download  
     
    Export citation  
     
    Bookmark   79 citations  
  • Analogy, explanation, and proof.John E. Hummel, John Licato & Selmer Bringsjord - 2014 - Frontiers in Human Neuroscience 8.
    People are habitual explanation generators. At its most mundane, our propensity to explain allows us to infer that we should not drink milk that smells sour; at the other extreme, it allows us to establish facts (e.g., theorems in mathematical logic) whose truth was not even known prior to the existence of the explanation (proof). What do the cognitive operations underlying the inference that the milk is sour have in common with the proof that, say, the square root of two (...)
    Download  
     
    Export citation  
     
    Bookmark   5 citations  
  • Belief in the singularity is logically brittle.Selmer Bringsjord - 2012 - Journal of Consciousness Studies 19 (7-8):14.
    Download  
     
    Export citation  
     
    Bookmark   3 citations