Philosophy of Computer Science: An Introductory Course

No abstract is available for this paper.

• Publication year

  2005

• Venue

  Teaching Philosophy

• Publication date

  2005-11-01

• Fields of study

  Philosophy, Computer Science, Engineering

• Identifiers
  DOI 10.5840/TEACHPHIL200528443
• External record

  Open on Semantic Scholar

• Source metadata

  Semantic Scholar

• No claims are published for this paper.

• No concepts are published for this paper.

• Go To Statement Considered Harmful

  2022cited by this paper
• Psychology: Briefer Course

  2020influential reference
• Great principles of computing

  2015cited by this paper
• Modeling and simulation

  2008cited by this paper
• The Interactive Nature of Computing: Refuting the Strong Church–Turing Thesis

  2008cited by this paper
• Armies

  2007cited by this paper
• On mind & Turing’s machines

  2007cited by this paper
• Are There New Models of Computation? Reply to Wegner and Eberbach

  2007cited by this paper
• The Art and Science of Java

  2007cited by this paper
• Software patents and the metaphysics of Section 271(f)

  2007cited by this paper
• Turing Unbound: Transfinite Computation

  2007cited by this paper
• Does copyright law need to be reformed?

  2007cited by this paper
• After the Humans are Gone

  2007cited by this paper
• The Function Concept(二)

  2007cited by this paper
• Know Your Discipline: Teaching the Philosophy of Computer Science

  2007cited by this paper
• Are shapes intrinsic?

  2007cited by this paper
• Computing versus human thinking

  2007cited by this paper
• Coherence, Truth, and the Development of Scientific Knowledge*

  2007influential reference
• The Church-Turing Thesis

  2007cited by this paper
• Computational Explanation and Mechanistic Explanation of Mind

  2007cited by this paper
• Division of labour

  2007cited by this paper
• Church's Thesis After 70 Years

  2007cited by this paper
• Computing is a natural science

  2007cited by this paper
• Problems in the ontology of computer programs

  2007cited by this paper
• Not only digital: a review of ACM's early involvement with analog computing technology

  2007cited by this paper
• Three Paradigms of Computer Science

  2007cited by this paper
• PHILOSOPHY AND THE SCIENTIFIC IMAGE OF MAN

  2007cited by this paper
• The ethics of robot servitude

  2007cited by this paper
• [Software patents] The good, the bad, and the messy

  2007influential reference
• Computational modelling vs. Computational explanation: Is everything a Turing Machine, and does it matter to the philosophy of mind?

  2007cited by this paper
• The Uniqueness of Human Recursive Thinking

  2007cited by this paper
• An Investigation of the Laws of Thought: On which are founded the mathematical theories of logic and probabilities

  2007influential reference
• Church's Thesis and the Conceptual Analysis of Computability

  2007cited by this paper
• Beyond the algorithmization of the sciences

  2006cited by this paper
• Why there is no such discipline as hypercomputation

  2006cited by this paper
• What Do We Know about Knowledge?

  2006cited by this paper
• When slide rules ruled.

  2006cited by this paper
• To Err is Human.

  2006cited by this paper
• Hot Thought: Mechanisms and Applications of Emotional Cognition

  2006cited by this paper
• Knowing “What” and Knowing “When”

  2006cited by this paper
• The Man Who Knew Too Much: Alan Turing and the Invention of the Computer

  2006influential reference
• A Mathematical Theory of Communication

  2006cited by this paper
• Gödel on Turing on Computability

  2006cited by this paper
• Turing’s Thesis

  2006cited by this paper
• Simon, Herbert A.

  2006cited by this paper
• Platonism in the Philosophy of Mathematics

  2006cited by this paper
• The Church-Turing Thesis: Consensus and Opposition

  2006cited by this paper
• Interactive Computation: The New Paradigm

  2006cited by this paper
• Programming the Universe: A Quantum Computer Scientist Takes on the Cosmos

  2006cited by this paper
• How Helen Keller used syntactic semantics to escape from a Chinese Room

  2006cited by this paper
• Principles of problem solving

  2006cited by this paper
• Decoding the ancient Greek astronomical calculator known as the Antikythera Mechanism

  2006cited by this paper
• On the possible Computational Power of the Human Mind

  2006cited by this paper
• Turing's Golden: How Well Turing's Work Stands Today

  2006cited by this paper
• Bringing DNA computers to life

  2006cited by this paper
• Computational explanation in neuroscience

  2006cited by this paper
• Computationalism, The Church–Turing Thesis, and the Church–Turing Fallacy

  2005cited by this paper
• Structured computer organization, 5th Edition

  2005cited by this paper
• The Church-Turing Thesis: Breaking the Myth

  2005cited by this paper
• The evolution of the language faculty: clarifications and implications.

  2005cited by this paper
• Incompleteness : The Proof and Paradox of

  2005cited by this paper
• Is computer science science?

  2005cited by this paper
• A coherence theory of truth

  2005cited by this paper
• How to Solve It: A New Aspect of Mathematical Method

  2005cited by this paper
• Mental images and the Brain

  2005cited by this paper
• A formal analysis of why heuristic functions work

  2005cited by this paper
• The nature of the language faculty and its implications for evolution of language (Reply to Fitch, Hauser, and Chomsky)

  2005cited by this paper
• It's time to think outside the computational box

  2005cited by this paper
• Implementation is semantic interpretation: further thoughts

  2005cited by this paper
• The faculty of language: what's special about it?

  2005cited by this paper
• On the nature of computing

  2005cited by this paper
• Was Babbage's Analytical Engine intended to be a mechanical model of the mind?

  2005influential reference
• What the Dormouse Said: How the Sixties Counterculture Shaped the Personal Computer Industry

  2005cited by this paper
• Popper, Karl R

  2005cited by this paper
• What Is Computer Science?

  2005cited by this paper
• Computationalism

  2005cited by this paper
• TOWARDS A PROGRAMMING LANGUAGE ONTOLOGY

  2005cited by this paper
• DEFINING ARTIFICIAL INTELLIGENCE

  2005cited by this paper
• Math You Can't Use: Patents, Copyright, and Software

  2005cited by this paper
• Criteria for an effective theory of consciousness and some preliminary attempts.

  2004cited by this paper
• The modal argument for hypercomputing minds

  2004cited by this paper
• The foundations of artificial intelligence: A sourcebook

  2004cited by this paper
• OPEN PROBLEMS IN THE PHILOSOPHY OF INFORMATION

  2004cited by this paper
• Hypercomputation by definition

  2004cited by this paper
• The origins of the Turing thesis myth

  2004cited by this paper
• Black hole computers.

  2004cited by this paper
• Problems Of Philosophy

  2004cited by this paper
• for Contextual Vocabulary Acquisition

  2004cited by this paper
• Quine, Willard Van Orman

  2004cited by this paper
• Computability theory

  2004cited by this paper
• Inference to the Best Explanation, 2nd edition

  2004cited by this paper
• On the Possibility, or Otherwise, of Hypercomputation

  2004cited by this paper
• Toward a theory of intelligence

  2004cited by this paper
• The Irrelevance of Turing Machines to AI

  2004cited by this paper
• The wealth of nations

  2004influential reference
• The Myth of Hypercomputation

  2004cited by this paper
• The Church-Turing thesis and effective mundane procedures

  2004cited by this paper
• The Unreasonable Effectiveness of Mathematics in the Natural Sciences

  2004cited by this paper
• The concept of computability

  2004cited by this paper
• The Turing Triage Test

  2004cited by this paper

• COURSE "RESEARCH METHODS AND ANALYSIS IN PHILOSOPHICAL RESEARCH": AI AS A TOOL, CHALLENGE AND MIRROR OF HUMAN FAILURES

  2025cites this paper
• Hiperética artificial: crítica a la colonización algorítmica de lo moral

  2024cites this paper
• Preparing for the Philosophical Challenges of Digital Technoscience: “Philosophy in Technology” for Modern Engineering Teaching

  2024cites this paper
• A Mechanistic Account of Biological Computation

  2024cites this paper
• Towards a Unified Theory of Implementation [Draft]

  2023cites this paper
• Theory-Grounded Computational Text Analysis

  2023cites this paper
• Central Themes and Open Questions in the Philosophy of Computer Science

  2023cites this paper
• Computer Science

  2022cites this paper
• What We Talk About When We Talk About Programs

  2022cites this paper
• A Role for Qualia

  2022cites this paper
• A logical framework to model software development by multiple agents following a common specification

  2022cites this paper
• Lupascian Non-Negativity Applied to Conceptual Modeling: Alternating Static Potentiality and Dynamic Actuality

  2022cites this paper
• Characterizing the Nature of Programs for educational purposes

  2022cites this paper
• Completeness in Information Systems Ontologies

  2021cites this paper
• An artifact ontology for design science research

  2021cites this paper
• Computational Abstraction

  2021cites this paper
• B ORDERLINE C ASES OF C ONSCIOUSNESS B RAINS , R OCKS , AND THE M ACHINES I N B ETWEEN

  2021cites this paper
• Social and Existential Threats to Personal Security in Virtual Communities: "Groups of Death" and "Columbine Communities"

  2020cites this paper
• Towards Robust and Transparent Natural Language Interfaces for Databases

  2020cites this paper
• Why a computer program is a functional whole

  2020cites this paper
• Internet “Death Groups” in the Online Culture

  2020cites this paper
• What is the Church-Turing Thesis?

  2020cites this paper
• Existential risks and problem of escapism under conditions of e-culture

  2020cites this paper
• The Computer Program as a Functional Whole

  2020cites this paper
• Exploration in Algorithm Engineering: Modeling Algorithms

  2020cites this paper
• MDER: Multi-Dimensional Event Recommendation in Social Media Context

  2020cites this paper
• Philosophy of Information Technology

  2019cites this paper
• An Examination of Abstraction in K-12 Computer Science Education

  2019cites this paper
• The Bit (and Three Other Abstractions) Define the Borderline Between Hardware and Software

  2019cites this paper
• Thing/Machine-s (Thimacs) Applied to Structural Description in Software Engineering

  2019cites this paper
• Syntax, Semantics, and Computer Programs

  2019cites this paper
• Validity and Correctness Before the OS: the Case of LEO I and LEO II

  2018cites this paper
• What we talk about when we talk about monads

  2018cites this paper
• What is a Computer? A Survey

  2018cites this paper
• Thinging for Software Engineers

  2018cites this paper
• The logic of identity and copy for computational artefacts

  2018cites this paper
• Filsafat Ilmu Komputer Dan Cloud Computing Secara Etimologis

  2018influential citation
• Children at Play: Thoughts about the impact of networked toys in the game of life and the role of law

  2018cites this paper
• The principles for the investigation of the historical development of computer science

  2017cites this paper
• On the Relation of Computing to the World

  2017cites this paper
• Proofs Versus Experiments: Wittgensteinian Themes Surrounding the Four-Color Theorem

  2017influential citation
• Monads are not what they seem Uncovering the hidden nature of programming concepts

  2017cites this paper
• Self-referential basis of undecidable dynamics: from The Liar Paradox and The Halting Problem to The Edge of Chaos

  2017cites this paper
• A declarative JVM Language for Automated Validation

  2016cites this paper
• Moving Back on Top of the Wave

  2016cites this paper
• Computer Science Approach to Philosophy: Schematizing Whitehead’s Processes

  2016cites this paper
• Computing as Empirical Science – Evolution of a Concept

  2016cites this paper
• Is statistical learning a mechanism?

  2016cites this paper
• On microelectronic self-learning cognitive chip systems

  2016cites this paper
• Construcción de programas que manejan dinámicamente la memoria

  2015cites this paper
• Realist Consequence, Epistemic Inference, Computational Correctness

  2015cites this paper
• Philosophy of computer science and its effect on education: Towards the construction of an interdisciplinary group

  2015cites this paper
• Visual language as a mean of communication in the field of information technology

  2015cites this paper
• Philosophy of Information Technology: Sex Robot and Its Ethical Issues

  2015cites this paper
• Norm-Regulation of Agent Systems: Instrumentalizing an algebraic approach to agent system norms

  2015cites this paper
• Komputasi Solusi Transien Rangkaian Listrik dengan GGL Gayut Waktu dengan Sistem Aljabar Komputer REDUCE

  2014cites this paper
• Experiments in Computing: A Survey

  2014cites this paper
• What can Programming Language Research Learn from the Philosophy of Science ?

  2014cites this paper
• Purpose-Relativity and Ontology

  2014cites this paper
• Antinomies of Values under Conditions of Information Age

  2014cites this paper
• Abstraction and Idealization in the Formal Verification of Software Systems

  2013cites this paper
• Philos. Technol. DOI 10.1007/s13347-013-0112-0 RESEARCH ARTICLE

  2013cites this paper
• A Defeasible Logic of Intention

  2012cites this paper
• Anthropogenesis and Dynamics of Values Under Conditions of Information Technology Development

  2012cites this paper
• O conhecimento profissional do professor de informática em formação inicial

  2012cites this paper
• Modelling Intentional Reasoning with Defeasible and Temporal Logic

  2012cites this paper
• Symposium on the History and Philosophy of Programming

  2012cites this paper
• Regulatory relations represented in logics and biomedical texts

  2012cites this paper
• Computing as a Science: A Survey of Competing Viewpoints

  2011cites this paper
• Philosophy of Computing and Information Technology

  2009cites this paper
• Grants and Fellowships

  2009cites this paper
• What a course on philosophy of computing is not

  2008cites this paper
• Three traditions of computing: what educators should know

  2008cites this paper
• The philosophy of computer science

  2008cites this paper
• The development of computer science: a sociocultural perspective

  2006cites this paper
• Community service

  1967cites this paper