55 found
Order:
Disambiguations
B. Jack Copeland [33]B. J. Copeland [22]
  1. The Genesis of Possible Worlds Semantics.B. Jack Copeland - 2002 - Journal of Philosophical Logic 31 (2):99-137.
    This article traces the development of possible worlds semantics through the work of: Wittgenstein, 1913-1921; Feys, 1924; McKinsey, 1945; Carnap, 1945-1947; McKinsey, Tarski and Jónsson, 1947-1952; von Wright, 1951; Becker, 1952; Prior, 1953-1954; Montague, 1955; Meredith and Prior, 1956; Geach, 1960; Smiley, 1955-1957; Kanger, 1957; Hintikka, 1957; Guillaume, 1958; Binkley, 1958; Bayart, 1958-1959; Drake, 1959-1961; Kripke, 1958-1965.
    Direct download (9 more)  
     
    Export citation  
     
    My bibliography   20 citations  
  2.  74
    Hypercomputation.B. Jack Copeland - 2002 - Minds and Machines 12 (4):461-502.
  3. What is Computation?B. Jack Copeland - 1996 - Synthese 108 (3):335-59.
    To compute is to execute an algorithm. More precisely, to say that a device or organ computes is to say that there exists a modelling relationship of a certain kind between it and a formal specification of an algorithm and supporting architecture. The key issue is to delimit the phrase of a certain kind. I call this the problem of distinguishing between standard and nonstandard models of computation. The successful drawing of this distinction guards Turing's 1936 analysis of computation against (...)
    Direct download (7 more)  
     
    Export citation  
     
    My bibliography   28 citations  
  4. The Church-Turing Thesis.B. Jack Copeland - 2008 - In Edward N. Zalta (ed.), The Stanford Encyclopedia of Philosophy. The Metaphysics Research Lab, Stanford University.
    There are various equivalent formulations of the Church-Turing thesis. A common one is that every effective computation can be carried out by a Turing machine. The Church-Turing thesis is often misunderstood, particularly in recent writing in the philosophy of mind.
    Direct download  
    Translate
     
     
    Export citation  
     
    My bibliography   10 citations  
  5.  56
    Narrow Versus Wide Mechanism: Including a Re-Examination of Turing's Views on the Mind-Machine Issue.B. Jack Copeland - 2000 - Journal of Philosophy 97 (1):5-33.
  6. The Turing Test.B. Jack Copeland - 2000 - Minds and Machines 10 (4):519-539.
    Turing''s test has been much misunderstood. Recently unpublished material by Turing casts fresh light on his thinking and dispels a number of philosophical myths concerning the Turing test. Properly understood, the Turing test withstands objections that are popularly believed to be fatal.
    Direct download (14 more)  
     
    Export citation  
     
    My bibliography   8 citations  
  7.  80
    Do Accelerating Turing Machines Compute the Uncomputable?Copeland B. Jack & Shagrir Oron - 2011 - Minds and Machines 21 (2):221-239.
  8.  10
    Benton, RA, 527 Blackburn, P., 281 Braüner, T., 359 Brink, C., 543.S. Chopra, B. J. Copeland, E. Corazza, S. Donaho, F. Ferreira, H. Field, D. M. Gabbay, L. Goldstein, J. Heidema & M. J. Hill - 2002 - Journal of Philosophical Logic 31 (615).
  9.  92
    Physical Computation: How General Are Gandy's Principles for Mechanisms?B. Jack Copeland & Oron Shagrir - 2007 - Minds and Machines 17 (2):217-231.
    What are the limits of physical computation? In his ‘Church’s Thesis and Principles for Mechanisms’, Turing’s student Robin Gandy proved that any machine satisfying four idealised physical ‘principles’ is equivalent to some Turing machine. Gandy’s four principles in effect define a class of computing machines (‘Gandy machines’). Our question is: What is the relationship of this class to the class of all (ideal) physical computing machines? Gandy himself suggests that the relationship is identity. We do not share this view. We (...)
    Direct download (14 more)  
     
    Export citation  
     
    My bibliography   6 citations  
  10.  40
    Deviant Encodings and Turing’s Analysis of Computability.B. Jack Copeland & Diane Proudfoot - 2010 - Studies in History and Philosophy of Science Part A 41 (3):247-252.
    Turing’s analysis of computability has recently been challenged; it is claimed that it is circular to analyse the intuitive concept of numerical computability in terms of the Turing machine. This claim threatens the view, canonical in mathematics and cognitive science, that the concept of a systematic procedure or algorithm is to be explicated by reference to the capacities of Turing machines. We defend Turing’s analysis against the challenge of ‘deviant encodings’.Keywords: Systematic procedure; Turing machine; Church–Turing thesis; Deviant encoding; Acceptable encoding; (...)
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  11.  49
    On When a Semantics is Not a Semantics: Some Reasons for Disliking the Routley-Meyer Semantics for Relevance Logic. [REVIEW]B. J. Copeland - 1979 - Journal of Philosophical Logic 8 (1):399 - 413.
  12.  24
    Horseshoe, Hook, and Relevance.B. J. Copeland - 1984 - Theoria 50 (2/3):148.
    Direct download (3 more)  
     
    Export citation  
     
    My bibliography   3 citations  
  13.  52
    Turing's O-Machines, Searle, Penrose and the Brain.B. J. Copeland - 1998 - Analysis 58 (2):128-138.
  14.  36
    Beyond the Universal Turing Machine.B. Jack Copeland & Richard Sylvan - 1999 - Australasian Journal of Philosophy 77 (1):46-66.
  15. Artificial Intelligence: A Philosophical Introduction.B. Jack Copeland - 1995 - Cambridge: Blackwell.
  16. The Curious Case of the Chinese Gym.B. Jack Copeland - 1993 - Synthese 95 (2):173-86.
    Searle has recently used two adaptations of his Chinese room argument in an attack on connectionism. I show that these new forms of the argument are fallacious. First I give an exposition of and rebuttal to the original Chinese room argument, and then a brief introduction to the essentials of connectionism.
    Direct download (8 more)  
     
    Export citation  
     
    My bibliography   3 citations  
  17.  19
    Super Turing-Machines.B. Jack Copeland - 1998 - Complexity 4 (1):30-32.
  18. The Chinese Room From a Logical Point of View.B. Jack Copeland - 2003 - In John M. Preston & Michael A. Bishop (eds.), Views Into the Chinese Room: New Essays on Searle and Artificial Intelligence. Oxford University Press.
     
    Export citation  
     
    My bibliography   2 citations  
  19. The Arthur Prior Memorial Conference.B. J. Copeland & D. R. Murdoch - 1991 - Journal of Symbolic Logic 56 (1):372-382.
    Direct download (6 more)  
     
    Export citation  
     
    My bibliography  
  20. Logic and Reality: Essays on the Legacy of Arthur Prior.B. Jack Copeland (ed.) - 1996 - Oxford University Press.
    Logic and Reality is a collection of essays by philosophers, logicians, mathematicians, and computer scientists, celebrating the work of the late distinguished philosopher Arthur Prior on the eightieth anniversary of his birth. Topics range from philosophical discussions of the nature of time and of the nature of logic itself, to descriptions of computer systems that can reason and take account of the fact that they exist in a temporal world.
     
    Export citation  
     
    My bibliography   4 citations  
  21.  90
    Substitutional Quantification and Existence.B. J. Copeland - 1985 - Analysis 45 (1):1 - 4.
  22.  18
    What is a Semantics for Classical Negation?B. J. Copeland - 1986 - Mind 95 (380):478-490.
  23.  76
    Vague Identity and Fuzzy Logic.B. Jack Copeland - 1997 - Journal of Philosophy 94 (10):514-534.
  24.  28
    On Alan Turing's Anticipation of Connectionism.B. Jack Copeland & Diane Proudfoot - 1996 - Synthese 108 (3):361 - 377.
    It is not widely realised that Turing was probably the first person to consider building computing machines out of simple, neuron-like elements connected together into networks in a largely random manner. Turing called his networks 'unorganised machines'. By the application of what he described as 'appropriate interference, mimicking education' an unorganised machine can be trained to perform any task that a Turing machine can carry out, provided the number of 'neurons' is sufficient. Turing proposed simulating both the behaviour of the (...)
    Direct download (5 more)  
     
    Export citation  
     
    My bibliography   3 citations  
  25.  62
    Pure Semantics and Applied Semantics.B. J. Copeland - 1983 - Topoi 2 (2):197-204.
  26.  29
    The Trouble Anderson and Belnap Have with Relevance.B. J. Copeland - 1980 - Philosophical Studies 37 (4):325 - 334.
  27.  36
    Indeterminate Identity, Contingent Identity, and Property Identity, Aristotelian-Style.B. Jack Copeland - 2000 - Philosophical Topics 28 (1):11-25.
  28.  45
    Turing, Wittgenstein and the Science of the Mind.Diane Proudfoot & B. Jack Copeland - 1994 - Australasian Journal of Philosophy 72 (4):497 – 519.
  29.  42
    On Vague Objects, Fuzzy Logic and Fractal Boundaries.B. Jack Copeland - 1995 - Southern Journal of Philosophy 33 (S1):83-96.
    Direct download (3 more)  
     
    Export citation  
     
    My bibliography   2 citations  
  30. The Essential Turing.B. Jack Copeland - 2005 - Bulletin of Symbolic Logic 11 (4):541-542.
     
    Export citation  
     
    My bibliography   2 citations  
  31.  13
    Arthur Prior.B. Jack Copeland - 2008 - Stanford Encyclopedia of Philosophy.
    Direct download  
     
    Export citation  
     
    My bibliography   1 citation  
  32.  18
    Prior, Translational Semantics, and the Barcan Formula.B. Jack Copeland - 2016 - Synthese 193 (11):3507-3519.
    The revolution in semantics in the late 1960s and 1970s overturned an earlier competing paradigm, ‘translational’ semantics. I revive and defend Prior’s translational semantics for modals and tense-modals. I also show how to extend Prior’s propositional modal semantics to quantificational modal logic, and use the resulting semantics to formalize Prior’s own counterexample to the Barcan Formula.
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  33.  35
    What Turing Did After He Invented the Universal Turing Machine.B. Jack Copeland & Diane Proudfoot - 2000 - Journal of Logic, Language and Information 9 (4):491-509.
    Alan Turing anticipated many areas of current research incomputer and cognitive science. This article outlines his contributionsto Artificial Intelligence, connectionism, hypercomputation, andArtificial Life, and also describes Turing's pioneering role in thedevelopment of electronic stored-program digital computers. It locatesthe origins of Artificial Intelligence in postwar Britain. It examinesthe intellectual connections between the work of Turing and ofWittgenstein in respect of their views on cognition, on machineintelligence, and on the relation between provability and truth. Wecriticise widespread and influential misunderstandings of theChurch–Turing thesis (...)
    Direct download (10 more)  
     
    Export citation  
     
    My bibliography   1 citation  
  34. A note on the Barcan formula and substitutional quantification.B. J. Copeland - 1982 - Logique Et Analyse 25 (97):83.
    Translate
     
     
    Export citation  
     
    My bibliography   3 citations  
  35. Turing, Wittgenstein and the Sciences of the Mind. A Critical Notice of Justin Leiber'An Invitation to Cognitive Science'.D. Proudfoot & B. J. Copeland - 2004 - Australasian Journal of Philosophy 74:497-519.
  36.  26
    Vagueness and Bivalence: A Discussion of Williamson and Simons.B. J. Copeland - 1994 - Proceedings of the Aristotelian Society 95 (1):193 - 200.
    Direct download  
     
    Export citation  
     
    My bibliography  
  37.  32
    The Modern History of Computing.B. Jack Copeland - 2008 - Stanford Encyclopedia of Philosophy.
    Direct download  
     
    Export citation  
     
    My bibliography  
  38.  5
    Narrow Versus Wide Mechanism.B. Jack Copeland - 2000 - Journal of Philosophy 97 (1):5-32.
  39. Vagueness and Bivalence.B. J. Copeland - 1994 - Proceedings of the Aristotelian Society 68:193-200.
  40.  10
    Commentary.B. Jack Copeland - 1995 - Southern Journal of Philosophy 33 (Supplement):83-96.
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  41.  6
    Appraising Historical Accounts: A Discussion of Gorman's Views.B. J. Copeland - 1987 - Australasian Journal of Philosophy 65 (1):104 – 112.
    Direct download (5 more)  
     
    Export citation  
     
    My bibliography  
  42.  3
    Discussions: Vagueness and Bivalence: A Discussion of Williamson and Simons.B. J. Copeland - 1995 - Proceedings of the Aristotelian Society 95 (1):193-200.
    Direct download (3 more)  
     
    Export citation  
     
    My bibliography  
  43.  6
    From the Entscheidungsproblem to the Personal Computer–and Beyond.B. Jack Copeland - 2011 - In Matthias Baaz (ed.), Kurt Gödel and the Foundations of Mathematics: Horizons of Truth. Cambridge University Press. pp. 151.
    No categories
    Direct download  
     
    Export citation  
     
    My bibliography  
  44.  6
    Tense Trees: A Tree System for ${\Rm K}_{{\Rm T}}$.B. J. Copeland - 1983 - Notre Dame Journal of Formal Logic 24 (3):318-322.
  45.  2
    Vague Identity and Fuzzy Logic.B. Jack Copeland - 1997 - Journal of Philosophy 94 (10):514.
    Direct download (3 more)  
     
    Export citation  
     
    My bibliography  
  46.  4
    Index of Authors of Volume 9.S. Aguzzoli, V. Akman, A. D. C. Bennett, P. Blackburn, S. Bringsjord, C. Caporale, A. Ciabattoni, B. J. Copeland, S. Demri & D. Dubois - 2000 - Journal of Logic, Language, and Information 9 (519):519.
    Direct download  
     
    Export citation  
     
    My bibliography  
  47.  10
    Alan Turing's Automatic Computing Engine: The Master Codebreaker's Struggle to Build the Modern Computer.B. Jack Copeland (ed.) - 2005 - Oxford University Press.
    The mathematical genius Alan Turing (1912-1954) was one of the greatest scientists and thinkers of the 20th century. Now well known for his crucial wartime role in breaking the ENIGMA code, he was the first to conceive of the fundamental principle of the modern computer-the idea of controlling a computing machine's operations by means of a program of coded instructions, stored in the machine's 'memory'. In 1945 Turing drew up his revolutionary design for an electronic computing machine-his Automatic Computing Engine (...)
    Direct download  
     
    Export citation  
     
    My bibliography  
  48. Alan Turing's Electronic Brain: The Struggle to Build the Ace, the World's Fastest Computer.B. Jack Copeland (ed.) - 2012 - Oxford University Press.
    Well known for this crucial wartime role in breaking the ENIGMA code, this book chronicles Turing's struggle to build the modern computer. Includes first hand accounts by Turing and the pioneers of computing who worked with him.
     
    Export citation  
     
    My bibliography  
  49. Computability: Gödel, Turing, Church, and Beyond.B. J. Copeland, C. Posy & O. Shagrir (eds.) - forthcoming - MIT Press.
  50. Discussion: CYC: A Case Study in Ontological Engineering.B. J. Copeland - 1997 - Electronic Journal of Analytic Philosophy 5.
     
    Export citation  
     
    My bibliography  
1 — 50 / 55