Results for 'computer program'

999 found
Order:
  1.  57
    No Computer Program Required: Even Pencil-and-Paper Argument Mapping Improves Critical-Thinking Skills.Maralee Harrell - 2008 - Teaching Philosophy 31 (4):351-374.
    Argument-mapping software abounds, and one of the reasons is that using the software has been shown to teach/promote/improve critical-thinking skills. These positive results are very encouraging, but they also raise the question of whether the computer tutorial environment is producing these results, or whether learning argument mapping, even with just paper and pencil, is sufficient. Based on the results of two empirical studies, I argue that the basic skill of being able to represent an argument diagrammatically plays an important (...)
    Direct download (7 more)  
     
    Export citation  
     
    Bookmark   6 citations  
  2. No Computer Program Required: Even Pencil-and-Paper Argument Mapping Improves Critical Thinking Skills.Mara Harrell - manuscript
     
    Export citation  
     
    Bookmark   5 citations  
  3. Is the Brain’s Mind a Computer Program?John R. Searle - 1990 - Scientific American 262 (1):26-31.
  4.  12
    A Computer Program to Generate Parametric and Nonparametric Signal-Detection Parameters.Russel Boice & Rick M. Gardner - 1988 - Bulletin of the Psychonomic Society 26 (4):365-367.
  5. Some Empirical Criteria for Attributing Creativity to a Computer Program.Graeme Ritchie - 2007 - Minds and Machines 17 (1):67-99.
    Over recent decades there has been a growing interest in the question of whether computer programs are capable of genuinely creative activity. Although this notion can be explored as a purely philosophical debate, an alternative perspective is to consider what aspects of the behaviour of a program might be noted or measured in order to arrive at an empirically supported judgement that creativity has occurred. We sketch out, in general abstract terms, what goes on when a potentially creative (...)
    Direct download (10 more)  
     
    Export citation  
     
    Bookmark   4 citations  
  6.  19
    A Rhythm Recognition Computer Program to Advocate Interactivist Perception.Jean-Christophe Buisson - 2004 - Cognitive Science 28 (1):75-88.
    Direct download (7 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  7.  1
    Backgammon Computer Program Beats World Champion.Hans J. Berliner - 1980 - Artificial Intelligence 14 (2):205-220.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  8. A computer program for determining matrix models of propositional calculi.R. T. Brady - 1976 - Logique Et Analyse 19 (74):233.
    Translate
     
     
    Export citation  
     
    Bookmark  
  9.  12
    The Development and Implications of a Case-Based Computer Program to Train Ethical Decision-Making.Eun-Jun Park - 2013 - Nursing Ethics 20 (8):943-956.
    To effectively train ethical decision-making of nursing students, a case-based computer program was developed using Flash animation. Seven ethical cases collected from practicing registered nurses’ actual clinical experiences and a six-step Integrated Ethical Decision-Making Model developed by the author were employed in the program. In total, 251 undergraduate students from three nursing schools used the program in their nursing ethics course. The usability of the program and its usefulness in improving 11 abilities needed in ethical (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  10.  8
    Reconstructor: A Computer Program That Uses Three-Valued Logics to Represent Lack of Information in Empirical Scientific Contexts.Ariel Jonathan Roffé - 2019 - Journal of Applied Non-Classical Logics 30 (1):68-91.
    ABSTRACTIn this article, I develop three conceptual innovations within the area of formal metatheory, and present a computer program, called Reconstructor, that implements those developments. The first development consists in a methodology for testing formal reconstructions of scientific theories, which involves checking both whether translations of paradigmatically successful applications into models satisfy the formalisation of the laws, and also whether unsuccessful applications do not. I show how Reconstructor can help carry this out, since it allows the end-user to (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  11.  11
    A Truly Human Interface: Interacting Face-to-Face with Someone Whose Words Are Determined by a Computer Program.Kevin Corti & Alex Gillespie - 2015 - Frontiers in Psychology 6.
  12.  1
    NPL/CPIS Computer Program Abstract Collection Announcement. Npl/Cpis - 1972 - Social Science Information 11 (3-4):317-318.
    No categories
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  13.  9
    COMET: A Computer Program Dealing with Consent to Medical Treatment.A. Duncan - 1988 - Journal of Medical Ethics 14 (4):212-213.
  14.  5
    From the Genetic to the Computer Program: The Historicity of ‘Data’ and ‘Computation’ in the Investigations on the Nematode Worm C. Elegans.Miguel García-Sancho - 2012 - Studies in History and Philosophy of Science Part C: Studies in History and Philosophy of Biological and Biomedical Sciences 43 (1):16-28.
    No categories
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  15.  49
    Program Verification, Defeasible Reasoning, and Two Views of Computer Science.Timothy R. Colburn - 1991 - Minds and Machines 1 (1):97-116.
    In this paper I attempt to cast the current program verification debate within a more general perspective on the methodologies and goals of computer science. I show, first, how any method involved in demonstrating the correctness of a physically executing computer program, whether by testing or formal verification, involves reasoning that is defeasible in nature. Then, through a delineation of the senses in which programs can be run as tests, I show that the activities of testing (...)
    Direct download  
     
    Export citation  
     
    Bookmark   2 citations  
  16.  12
    House R. W. And Rado T.. On a Computer Program for Obtaining Irreducible Representations for Two-Level Multiple Input-Output Logical Systems. Journal of the Association for Computing Machinery, Vol. 10 , Pp. 48–77. [REVIEW]Thomas H. Mott - 1967 - Journal of Symbolic Logic 32 (2):264-265.
  17.  12
    Review: R. W. House, T. Rado, On a Computer Program for Obtaining Irreducible Representations for Two-Level Multiple Input-Output Logical Systems. [REVIEW]Thomas H. Mott - 1967 - Journal of Symbolic Logic 32 (2):264-265.
  18.  25
    Joyce Friedman. A Semi-Decision Procedure for the Functional Calculus. Journal of the Association for Computing Machinery, Vol. 10 , Pp. 1–24. - Joyce Friedman. A Computer Program for a Solvable Case of the Decision Problem. Journal of the Association for Computing Machinery, Vol. 10 , Pp. 348–356. [REVIEW]Frederic B. Fitch - 1964 - Journal of Symbolic Logic 29 (2):101.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  19. Review: Joyce Friedman, A Semi-Decision Procedure for the Functional Calculus; Joyce Friedman, A Computer Program for a Solvable Case of the Decision Problem. [REVIEW]Frederic B. Fitch - 1964 - Journal of Symbolic Logic 29 (2):101-101.
     
    Export citation  
     
    Bookmark  
  20.  21
    From the Genetic to the Computer Program: The Historicity of 'Data' and 'Computation' in the Investigations on the Nematode Worm C. Elegans (1963–1998). [REVIEW]Miguel García-Sancho - 2012 - Studies in History and Philosophy of Science Part C: Studies in History and Philosophy of Biological and Biomedical Sciences 43 (1):16-28.
  21.  12
    Evaluation of a Computer-Based Training Program for Enhancing Arithmetic Skills and Spatial Number Representation in Primary School Children.Larissa Rauscher, Juliane Kohn, Tanja Käser, Verena Mayer, Karin Kucian, Ursina McCaskey, Günter Esser & Michael von Aster - 2016 - Frontiers in Psychology 7.
  22.  3
    Computer-Assisted Instruction: Stanford's 1965-66 Arithmetic Program.Patrick Suppes, Max Jerman, Dow Brian, Diana Axelsen, Guy Groen & Lester Hyman - 1971 - Journal of Symbolic Logic 36 (2):326-327.
  23.  25
    Deductive Program Verification (a Practitioner's Commentary).David A. Nelson - 1992 - Minds and Machines 2 (3):283-307.
    A proof of ‘correctness’ for a mathematical algorithm cannot be relevant to executions of a program based on that algorithm because both the algorithm and the proof are based on assumptions that do not hold for computations carried out by real-world computers. Thus, proving the ‘correctness’ of an algorithm cannot establish the trustworthiness of programs based on that algorithm. Despite the (deceptive) sameness of the notations used to represent them, the transformation of an algorithm into an executable program (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   8 citations  
  24.  3
    Efficacy of a Computer-Based Learning Program in Children With Developmental Dyscalculia. What Influences Individual Responsiveness?Juliane Kohn, Larissa Rauscher, Karin Kucian, Tanja Käser, Anne Wyschkon, Günter Esser & Michael von Aster - 2020 - Frontiers in Psychology 11.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  25.  70
    Computer Implication and the Curry Paradox.Wayne Aitken & Jeffrey A. Barrett - 2004 - Journal of Philosophical Logic 33 (6):631-637.
    There are theoretical limitations to what can be implemented by a computer program. In this paper we are concerned with a limitation on the strength of computer implemented deduction. We use a version of the Curry paradox to arrive at this limitation.
    Direct download (6 more)  
     
    Export citation  
     
    Bookmark   7 citations  
  26.  31
    From ENIAC to the Stored Program Computer : Two Revolutions in Computers.Arthur W. Burks - unknown
    Direct download  
     
    Export citation  
     
    Bookmark   3 citations  
  27. Bibliometric Mapping of Computer and Information Ethics.Richard Heersmink, Jeroen van den Hoven, Nees Jan van Eck & Jan van den Berg - 2011 - Ethics and Information Technology 13 (3):241-249.
    This paper presents the first bibliometric mapping analysis of the field of computer and information ethics (C&IE). It provides a map of the relations between 400 key terms in the field. This term map can be used to get an overview of concepts and topics in the field and to identify relations between information and communication technology concepts on the one hand and ethical concepts on the other hand. To produce the term map, a data set of over thousand (...)
    Direct download (10 more)  
     
    Export citation  
     
    Bookmark   4 citations  
  28. Why the Mind Isn't a Program (But Some Digital Computer Might Have a Mind).Mark Okrent, E. Smith & J. Doe - 1996 - Electronic Journal of Analytic Philosophy 4 (1):23-45.
  29. Philosophy and Computer Science: Reflections on the Program.Verification Debate - 1998 - In Terrell Ward Bynum & James Moor (eds.), The Digital Phoenix: How Computers Are Changing Philosophy. Blackwell. pp. 253.
     
    Export citation  
     
    Bookmark  
  30. Philosophy and Computer Science: Reflections on the Program Verification Debate.James H. Fetzer - 1998 - In Terrell Ward Bynum & James Moor (eds.), The Digital Phoenix: How Computers Are Changing Philosophy. Blackwell. pp. 253--73.
     
    Export citation  
     
    Bookmark   1 citation  
  31.  1
    Sweden: GEOCODE: A Computer Code System for Administrative Divisions with a Boundary-Correcting Analysis Program.Carl Göran Andrae, Ulla Hedquist, Dagobert Soergel & Hans D. Klingemann - 1970 - Social Science Information 9 (2):75-81.
    No categories
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  32. Three Paradigms of Computer Science.Amnon H. Eden - 2007 - Minds and Machines 17 (2):135-167.
    We examine the philosophical disputes among computer scientists concerning methodological, ontological, and epistemological questions: Is computer science a branch of mathematics, an engineering discipline, or a natural science? Should knowledge about the behaviour of programs proceed deductively or empirically? Are computer programs on a par with mathematical objects, with mere data, or with mental processes? We conclude that distinct positions taken in regard to these questions emanate from distinct sets of received beliefs or paradigms within the discipline: (...)
    Direct download (15 more)  
     
    Export citation  
     
    Bookmark   16 citations  
  33.  25
    Universe Creation on a Computer.Gordon McCabe - 2005 - Studies in History and Philosophy of Science Part B: Studies in History and Philosophy of Modern Physics 36 (4):591-625.
    The purpose of this paper is to provide an account of the epistemology and metaphysics of universe creation on a computer. The paper begins with F.J.Tipler's argument that our experience is indistinguishable from the experience of someone embedded in a perfect computer simulation of our own universe, hence we cannot know whether or not we are part of such a computer program ourselves. Tipler's argument is treated as a special case of epistemological scepticism, in a similar (...)
    No categories
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark   3 citations  
  34.  88
    The Epistemological Status of Computer-Assisted Proofs.Mark McEvoy - 2008 - Philosophia Mathematica 16 (3):374-387.
    Several high-profile mathematical problems have been solved in recent decades by computer-assisted proofs. Some philosophers have argued that such proofs are a posteriori on the grounds that some such proofs are unsurveyable; that our warrant for accepting these proofs involves empirical claims about the reliability of computers; that there might be errors in the computer or program executing the proof; and that appeal to computer introduces into a proof an experimental element. I argue that none of (...)
    Direct download (8 more)  
     
    Export citation  
     
    Bookmark   10 citations  
  35.  2
    Learning Through Computer Model Improvisations. [REVIEW]Stuart N. Lane, Sarah J. Whatmore & Catharina Landström - 2013 - Science, Technology, and Human Values 38 (5):678-700.
    It has been convincingly argued that computer simulation modeling differs from traditional science. If we understand simulation modeling as a new way of doing science, the manner in which scientists learn about the world through models must also be considered differently. This article examines how researchers learn about environmental processes through computer simulation modeling. Suggesting a conceptual framework anchored in a performative philosophical approach, we examine two modeling projects undertaken by research teams in England, both aiming to inform (...)
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark   1 citation  
  36. The Embodied Cognition Research Program.Lawrence A. Shapiro - 2006
    Unifying traditional cognitive science is the idea that thinking is a process of symbol manipulation, where symbols lead both a syntactic and a semantic life. The syntax of a symbol comprises those properties in virtue of which the symbol undergoes rule-dictated transformations. The semantics of a symbol constitute the symbolsÕ meaning or representational content. Thought consists in the syntactically determined manipulation of symbols, but in a way that respects their semantics. Thus, for instance, a calculating computer sensitive only to (...)
     
    Export citation  
     
    Bookmark   8 citations  
  37.  33
    Children's Evaluation of Computer-Generated Punning Riddles.Kim Binsted, Helen Pain & Graeme D. Ritchie - 1997 - Pragmatics and Cognition 5 (2):305-354.
    We have developed a formal model of certain types of riddles, and implemented it in a computer program, JAPE, which generates simple punning riddles. In order to test the model, we evaluated the behaviour of the program, by having 120 children aged eight to eleven years old rate JAPE-generated texts, human-generated texts, and non-joke texts for "jokiness" and funniness. This confirmed that JAPE's output texts are indeed jokes, and that there is no significant difference in funniness or (...)
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark   3 citations  
  38.  8
    Automata, Formal Languages, Abstracts Switching, and Computability in a Ph.D. Computer Science Program.Robert Mcnaughton - 1969 - Journal of Symbolic Logic 34 (4):656-656.
    Direct download  
     
    Export citation  
     
    Bookmark  
  39.  2
    Short-Term Effects of a Computer-Based Nutritional Nursing Training Program for Inpatient Hospital Care.Albert Westergren, Ellinor Edfors, Erika Norberg, Anna Stubbendorff, Gita Hedin, Martin Wetterstrand & Peter Hagell - 2016 - Journal of Evaluation in Clinical Practice 22 (5):799-807.
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  40. On the Claim That a Table-Lookup Program Could Pass the Turing Test.Drew McDermott - 2014 - Minds and Machines 24 (2):143-188.
    The claim has often been made that passing the Turing Test would not be sufficient to prove that a computer program was intelligent because a trivial program could do it, namely, the “Humongous-Table (HT) Program”, which simply looks up in a table what to say next. This claim is examined in detail. Three ground rules are argued for: (1) That the HT program must be exhaustive, and not be based on some vaguely imagined set of (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  41.  12
    Is an Intervention Using Computer Software Effective in Literacy Learning? A Randomised Controlled Trial.G. Brooks, J. N. V. Miles, C. J. Torgerson & D. J. Torgerson - 2006 - Educational Studies 32 (2):133-143.
    Background: computer software is widely used to support literacy learning. There are few randomised trials to support its effectiveness. Therefore, there is an urgent need to rigorously evaluate computer software that supports literacy learning.Methods: we undertook a pragmatic randomised controlled trial among pupils aged 11–12 within a single state comprehensive school in the North of England. The pupils were randomised to receive 10 hours of literacy learning delivered via laptop computers or to act as controls. Both groups received (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  42.  25
    Predictive Survival Model with Time‐Dependent Prognostic Factors: Development of Computer‐Aided SAS Macro Program.Li-Sheng Chen, Ming-Fang Yen, Hui-Min Wu, Chao-Sheng Liao, Der-Ming Liou, Hsu-Sung Kuo & Tony Hsiu-Hsi Chen - 2005 - Journal of Evaluation in Clinical Practice 11 (2):181-193.
  43.  52
    Mind Control? Creating Illusory Intentions Through a Phony Brain–Computer Interface.Margaret T. Lynn, Christopher C. Berger, Travis A. Riddle & Ezequiel Morsella - 2010 - Consciousness and Cognition 19 (4):1007-1012.
    Can one be fooled into believing that one intended an action that one in fact did not intend? Past experimental paradigms have demonstrated that participants, when provided with false perceptual feedback about their actions, can be fooled into misperceiving the nature of their intended motor act. However, because veridical proprioceptive/perceptual feedback limits the extent to which participants can be fooled, few studies have been able to answer our question and induce the illusion to intend. In a novel paradigm addressing this (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   4 citations  
  44.  13
    Mapping an Expanding Territory: Computer Simulations in Evolutionary Biology.Philippe Huneman - 2014 - History and Philosophy of the Life Sciences 36 (1):60-89.
    The pervasive use of computer simulations in the sciences brings novel epistemological issues discussed in the philosophy of science literature since about a decade. Evolutionary biology strongly relies on such simulations, and in relation to it there exists a research program (Artificial Life) that mainly studies simulations themselves. This paper addresses the specificity of computer simulations in evolutionary biology, in the context (described in Sect. 1) of a set of questions about their scope as explanations, the nature (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  45.  90
    Philosophical Aspects of Program Verification.James H. Fetzer - 1991 - Minds and Machines 1 (2):197-216.
    A debate over the theoretical capabilities of formal methods in computer science has raged for more than two years now. The function of this paper is to summarize the key elements of this debate and to respond to important criticisms others have advanced by placing these issues within a broader context of philosophical considerations about the nature of hardware and of software and about the kinds of knowledge that we have the capacity to acquire concerning their performance.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   9 citations  
  46.  17
    Using Computer-Assisted Instruction and Developmental Theory to Improve Argumentative Writing.Ronald R. Irwin - 1995 - Informal Logic 17 (2).
    A study is described in which the effectiveness of a computer program (Hermes) on improving argumentative writing is tested. One group of students was randomly assigned to a control group and the other was assigned to the experimental group where they are asked to use the Hermes program. All students were asked to write essays on controversial topics to an opposed audience. Their essays were content-analysed for dialectical traits. Based on this analysis, it was concluded that the (...)
    Direct download (12 more)  
     
    Export citation  
     
    Bookmark  
  47.  16
    Suppes Patrick, Jerman Max, Brian Dow in Collaboration with Axelsen Diana, Groen Guy, Hyman Lester, and Tolliver Brian. Computer-Assisted Instruction: Stanford's 1965–66 Arithmetic Program. Academic Press, New York and London 1968, Vii + 385 Pp. [REVIEW]Layman E. Allen - 1971 - Journal of Symbolic Logic 36 (2):326-327.
  48.  23
    Edsger W. Dijkstra and Carel S. Scholten. Predicate Calculus and Program Semantics. Texts and Monographs in Computer Science. Springer-Verlag, New York, Berlin, Heidelberg, Etc., 1990, Xi + 220 Pp. [REVIEW]Egon Börger - 1994 - Journal of Symbolic Logic 59 (2):673-678.
  49.  18
    Greibach Sheila A.. Theory of Program Structures: Schemes, Semantics, Verification. Lecture Notes in Computer Science, Vol. 36. Springer-Verlag, Berlin, Heidelberg, and New York, 1975, Xv + 364 Pp. [REVIEW]Robert L. Constable - 1978 - Journal of Symbolic Logic 43 (1):154-156.
  50.  15
    Robert McNaughton. Automata, Formal Languages, Abstract Switching, and Computability in a Ph. D. Computer Science Program. Communications of the ACM, Vol. 11 , Pp. 738–740, 746. [REVIEW]Ann S. Ferebee - 1969 - Journal of Symbolic Logic 34 (4):656.
1 — 50 / 999