Skip to main content

Questions tagged [philosophy-of-computer-science]

Filter by
Sorted by
Tagged with
8 votes
5 answers
3k views

Who was the first philosopher to describe what we now call artificial intelligence?

Who was the first philosopher (e.g., Greek or pre-Socratic) to define or describe what we now call artificial intelligence? In your answer, first discusses the natural vs. artificial distinction (e.g....
Geremia's user avatar
  • 8,220
14 votes
19 answers
8k views

What do humans do uniquely, that computers apparently will not be able to?

The question is often brought of what computers will be able to do as well or better than humans. We could ask a more definitive question: what do humans do that we never expect computers to do, no ...
Scott Rowe's user avatar
  • 1,502
8 votes
12 answers
3k views

Can LLMs have intention?

In many movies, you have seen an AI robot moving here and there, doing this and that with an intention. Is it possible that a generative AI-like language model (e.g., ChatGPT) could ever do that? ...
Shriman Keshri's user avatar
1 vote
2 answers
117 views

Does P=NP affect evolution?

One way to model evolution is to say here are a bunch of algorithms which have a particular probability distribution as a subject to thermodynamics in the physical world as processes. Then we allow ...
More Anonymous's user avatar
2 votes
5 answers
128 views

Would being in a simulation explain why we have regularities?

Would being in a simulation explain why reality exhibits regularities or would that just bring the question back a notch and ask how that simulation came about? We live in a world that seems to be ...
Baby_philosopher's user avatar
1 vote
1 answer
94 views

Why is hypercomputation contested?

Clearly, I do not have a solid grasp on a number of the following topics, and I would like to. I’ll try to explain my reasoning clearly, so anyone could point out any of my misunderstandings. The ...
Julius Hamilton's user avatar
1 vote
0 answers
90 views

Can Panpsychism be reconsidered through computer science? [closed]

This is a topic that dates at least as far as Descartes. It may be new in natural science. The term may be a neologism, but not the concept. Let's assume that everything from the subatomic particle ...
TheMatrix Equation-balance's user avatar
2 votes
9 answers
3k views

Does or could ChatGPT understand text? [closed]

The following argument concludes that the common understanding of ChatGPT (trained on text, receives online users' text questions, etc.) is not supported by the science. What criticisms are there of ...
Roddus's user avatar
  • 721
1 vote
2 answers
60 views

Mathematically, what delimits “information theory”?

I can expand on what I mean in a little bit, but it seems to me that as you go deep into various foundational aspects of math (or more generally, pattern, structure, reason, information, meaning), you ...
Julius Hamilton's user avatar
2 votes
4 answers
288 views

Does a program imply a programmer? [closed]

I propose there are 2 methods with which we could replicate consciousness. A physical replication of the brain where consciousness would emerge from a physical replication of a brains neural network. ...
8Mad0Manc8's user avatar
3 votes
5 answers
229 views

Is it possible to simulate a world within a world?

I would argue that it is not possible to create a simulation of a world within a world. I can only imagine that a simulation of our world could be done within a computer? A computer has a finite ...
8Mad0Manc8's user avatar
4 votes
4 answers
2k views

Could general-AI language generation be a test for sentience, sapience, or consciousness?

One of the oft-cited examples of how to test if Artificial Intelligence (AI) is intelligent (often expanded to sentient) is the Turing test. Simply, an AI or machine passes the Turing test if it can ...
geoscience123's user avatar
5 votes
3 answers
180 views

Why is a non-computable function a coherent idea?

In English, the word "function" means "doing". Asking "what's its function?" is logically equivalent to asking "what does it do?". So a non-computable function ...
Fomalhaut's user avatar
  • 667
8 votes
4 answers
3k views

If Large Language Models can do Maths, is Formalism true?

A slightly flippant question, but curious to see what my platonist rivals might have to say! One of the proported reasons that Open-AI was having business politics trouble was the suggestion that ...
Paul Ross's user avatar
  • 5,517
9 votes
10 answers
2k views

How is AI changing our view of consciousness? [closed]

Consciousness doesn't reveal itself except through behaviour. We can't see others' minds, but we can hear their voice and what they say. This leads the observer to conclude that their interlocutor has ...
Stas Medvedev's user avatar
2 votes
3 answers
407 views

Does a large language model show signs of an emergent awareness of semantics?

It is well established that computers have semantics of some sort. After posting the question Is non-deterministic automated reasoning a viable strategy for solving problems in mathematical logic? (...
J D's user avatar
  • 28.5k
1 vote
3 answers
1k views

Is non-deterministic automated reasoning a viable strategy for solving problems in mathematical logic?

EDIT 2023/10/06 There are objections that this is too technical to be philosophy, and while I've seen questions on this forum go far beyond what I'm asking here in set theory, computability theory, ...
J D's user avatar
  • 28.5k
1 vote
3 answers
154 views

Is it possible to simulate a reality like ours using other logic than classical logic?

Are there alternative logical systems that could serve as a foundation for simulating a reality similar to ours, given that non-classical logics such as paraconsistent logic, while applicable in ...
Sayaman's user avatar
  • 4,259
10 votes
3 answers
807 views

Does the incomputability of Kolmogorov complexity imply that we will never have a final theory of everything?

The Kolmogorov Complexity is the size of the simplest program that produces a specific output. By the Curry-Howard Correspondence, "programs" are isomorphic to "axiomatic systems" ...
charmoniumQ's user avatar
0 votes
0 answers
33 views

Could a quantum computer simulate any system based on different types of logic?

Quantum computing is based on quantum mechanics (obviously) which has different logical rules than classical/Boolean logic. However, does this mean that a quantum computer could simulate or process ...
vengaq's user avatar
  • 559
0 votes
1 answer
80 views

Computer Graphics Imagery (CGI) & Modality (Possibility)

The trend is obvious ... CGI is here to stay. Many movies wouldn't stand a chance in the box office sans computer generated images and I don't mean just the slew of superhero movies (DC & Marvel ...
Hudjefa's user avatar
  • 3,891
0 votes
2 answers
68 views

Would, "Don't run this program," pose a similar problem as, "Don't comply with this imperative"?

I was reading the SEP article on philosophy and computer science and there was this passage: Suber (1988) goes even further, maintaining that hardware is a kind of software. Software is defined as ...
Kristian Berry's user avatar
8 votes
6 answers
2k views

Is there any philosophical theory behind the concept of object in computer science?

From - Object (computer science) - Wikipedia: A language is usually considered object-based if it includes the basic capabilities for an object: identity, properties, and attributes. A language is ...
Ooker's user avatar
  • 795
1 vote
1 answer
66 views

A universal construction on some data D

I am picturing a sequence of symbols S, of length L. The symbols are from alphabet A, with k distinct symbols. The symbols can repeat, there can also be 0 of a particular symbol in sequence S. This is ...
Julius Hamilton's user avatar
4 votes
4 answers
240 views

Anthropomorphism and AI

The human brain and computer based AI are vastly different systems. Although both may perform similar functions, the mechanisms are different: one is purely electrical and assembled, the other is ...
user avatar
4 votes
0 answers
97 views

Is Rule-Based Machine Learning an Example of Inductive Logic in the Philosophical Sense?

Human beings are capable of deciding upon rules based on intuitions and observations their neurons presumably provide (certainly metaphysical presumptuous). According to WP, this is inductive ...
J D's user avatar
  • 28.5k
14 votes
12 answers
6k views

Do computers use logic?

I know we refer to computers as using logic, logic gates and the like, but is this just us ascribing human capacities to the machines? It sounds like a case of us giving more meaning to the machines ...
adkane's user avatar
  • 285
1 vote
1 answer
113 views

Continuum and Choice sequence

I am reading a paper on Brouwer's intuitionism. It mentions that according to Brouwer, the concept of continuum is perceived as a whole by intuition. However, it also mentions setting up choice ...
Irene's user avatar
  • 123
1 vote
0 answers
67 views

Church-Turing Thesis and the human brain

A question on my homework: Imagine that scientists discover that the behavior of the brain can be completely described by some mathematical function. Given the Church–Turing Thesis, would this ...
ASA's user avatar
  • 121
1 vote
3 answers
105 views

The Relationship between the Church–Turing Thesis and Physical Computation

Consider the following thesis (aka Church-Turing (CT) Thesis): Every function that can be calculated by an effective method is Turing-computable. Suppose there is a physical process that allows for ...
ASA's user avatar
  • 121
3 votes
1 answer
235 views

What is computation?

The most common definitions of computation I have seen are in terms of "what Turing Machines, Lambda Calculus, etc. do," which is unsatisfying. The definition of computable functions does ...
Tim Brown's user avatar
0 votes
4 answers
140 views

Are there any clear differences between the contributions of an AI bot and a human being to fora like Stack Exchange?

I perform the same tasks an AI Bot does when answering questions here: I go online and make sure that my answer can be validated online as a self-check. Is there a practical difference between me and ...
user avatar
4 votes
3 answers
3k views

Why was intuitionist logic abandoned?

I have seen many questions discussing intuitionist logic (Brouwer, Weyl etc.) on the site. However, this whole area of logic seems to be dead, and it also looks like philosophers / mathematicians / ...
Dennis Kozevnikoff's user avatar
3 votes
2 answers
224 views

How do we use topology to model knowledge?

The topology of knowledge: In this application, topological spaces are used to model the structure of knowledge, where the open sets correspond to coherent bodies of knowledge and the closure ...
Sayaman's user avatar
  • 4,259
7 votes
5 answers
235 views

How can mathematical results impact the physical world?

In his 2007 book I Am a Strange Loop, Douglas Hofstadter uses an analogy based on a domino computer. Indeed, it is possible to build logical gates made of dominoes (see e.g. here) and realize simple ...
thingsthatmighthavebeen's user avatar
-1 votes
1 answer
56 views

Nomenclature for AND-operation on boolean reasoning

I develop a computer program to summarize a boolean decision. This program takes into account operators AND and OR. For the OR-operator, I can call it alternative, since this is how grammar rules call ...
Bruno Lobo's user avatar
0 votes
2 answers
191 views

Can computer science be used to "test" theories of logic?

I feel like this might be a stupid question, like I think I've read at least one major text according to which, "Of course logics can be tested in a computer-science context, not necessarily in ...
Kristian Berry's user avatar
2 votes
2 answers
333 views

Help understanding this bit of philosophy in this paper

I was reading about data structuring in computer science in this paper "Record Handling C.A.R. Hoare" when he outlined some philosophy about the properties of objects that I'm struggling to ...
r0k1m's user avatar
  • 1,003
31 votes
18 answers
13k views

Why is it impossible for a program or AI to have semantic understanding?

relatively new to philosophy. This question is based on John Searle's Chinese Room Argument. I find it odd that his main argument for why programs could not think was that because programs could only ...
Abraham's user avatar
  • 503
3 votes
7 answers
866 views

Can the brain be considered an analog computer?

Some people consider the brain a computer. Like brain philosopher D. Hofstadter. In a public talk he gave he tried to do anything to show that. Including tackling opponents. But he couldn't convince (...
user avatar
2 votes
2 answers
365 views

Is VonNeumann's universal constructor ontologically distinct from the universal Turing machine?

I have recently been reading and watching Chiara's take on universal constructor theory. I knew about VonNeumann probes, as for instance described in Asimov's 2001 sequence. I hadn't taken in his ...
CriglCragl's user avatar
  • 22.3k
5 votes
5 answers
419 views

Is AI in a Crisis of Science?

According to Thomas S. Kuhn in his classic work, The Structure of Scientific Revolutions: ...'normal science' presupposes a conceptual and instrumental framework or paradigm accepted by an entire ...
Roddus's user avatar
  • 721
5 votes
10 answers
1k views

Consciousness in Simulation theory & AI, why do some believe that it is even possible?

There are many famous philosophers that assume that "consciousness can be create by calculations in a computer". For example: Nick Bostrom with the simulation theory [I greatly respect and ...
Mustafa's user avatar
  • 193
3 votes
3 answers
507 views

Are philosophers' contributions to computer science overlooked?

George Boole's work on Boolean logic is a basic foundational part of computer science, Bertrand Russell's work was influential on data types, Ludwig Wittgenstein invented truth tables, logical ...
Abercrombie Dorfen's user avatar
2 votes
2 answers
156 views

Do computer languages instantiate only predicate calculus?

All the computer languages I'm familiar with, be they imperative or declarative have the same core mechanics (arithmetic and logic).They have the same loops, conditionals etc. Whatever the language it ...
Don Fox's user avatar
  • 29
2 votes
1 answer
130 views

Is it there any specific and well known continuous/analog alternative to Wheeler's discrete "It from Bit"?

Physicist John A Wheeler (https://en.m.wikipedia.org/wiki/John_Archibald_Wheeler) suggested the concept of "law without law" and "it from bit" which suggested that the universe did not have any laws ...
physistack's user avatar
1 vote
3 answers
155 views

Do eastern and western views differ on questions like "feasibility of computational intelligence"?

Do eastern and western views differ on questions like "feasibility of computational intelligence"? Something I thought. I perceive that the western mind is deeply rooted to the existencies of logical ...
mavavilj's user avatar
  • 3,036
3 votes
3 answers
134 views

Digital Minds and their perception

My question is, “Would a digital mind, subject to a digital universe, perceptually be any different in its experience than an analogue mind to an analogue world in its experience?” I guess what I ...
user avatar
3 votes
6 answers
624 views

Is it immoral/ethically wrong to torture an AI that thinks it's human?

So this question stems from the Black Mirror episode I watched. On one hand it's just computer code so who really cares, but on the other it really thinks it is human and thinks it has feelings. ...
user28917's user avatar
12 votes
5 answers
8k views

What are some resources on the philosophy of computer science?

Are there any links between philosophy and computer science? What resources might be useful for a programmer learning philosophy?
Clippy's user avatar
  • 323