All Questions
Tagged with artificial-intelligence logic
11
questions
0
votes
0
answers
63
views
Turing machines, thinking and category mistakes
According to my recollection, some philosophers have argued that it is a category mistake to ascribe intelligence to Turing machines, because Turing machines are abstract mathematical objects.
What ...
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, ...
- 29.2k
0
votes
1
answer
941
views
What is the difference between the resolution rule and the elimination in natural deduction?
I understand that elimination is:
p v q
¬q
then p
and resolution is:
q1 v q2 v q3...qn
¬q1 v q2 v q3...qn
then q2 v q3...qn
I see no difference, but my teacher is telling us don't use the ...
- 9
2
votes
3
answers
612
views
Understanding the simulation argument
I came across Nick Bostrom's paper called Are You Living in a Computer Simulation?. The paper argues that at least one of the following propositions is true:
The human species is likely to go extinct ...
- 121
1
vote
4
answers
389
views
Does "technological unemployment" violate the second law of thermodynamics?
Marx claimed that machines cannot "produce surplus value" but only redistribute labor and provide individual firms with a temporary market advantage. Nonetheless, many thinkers across the spectrum ...
- 13.6k
6
votes
1
answer
231
views
What fallacy assumes that being familiar with something makes one an expert on it?
In the article Why We Shouldn't Fear Artificial Intelligence, the author writes:"A common fallacy suggests that, because AI are hosted on computers, they’ll be good at manipulating them. But let me ...
- 61
13
votes
6
answers
2k
views
Does Gödel's argument that minds are more powerful than computers have the inconsistency loophole?
In "Raatikainen, P., 2005, “On the Philosophical Relevance of Gödel's Incompleteness Theorems,” , the author argues that Penrose's and others use of Gödel's theorem as an argument against mechanism (...
- 27.6k
3
votes
3
answers
312
views
What is the general relationship between Intelligence and Information?
I will take the definition of "information" used in the field of Information Theory, which according to my understanding of Information Theory, information is the loss of uncertainty(e.g. while a coin ...
- 95
-1
votes
4
answers
152
views
Why is the Kochsche Curve and programming so similiar? [closed]
I've question which I'm looking for longer time. The iteration process while a for loop > for statement in function_declaration: is looping over all instances and giving out one statement after ...
5
votes
3
answers
181
views
Do limits of human nature suggest that it could be principally understood?
Human nature is limited, so is our thinking. We are limited by our bodies, and power of thoughts is limited by the number of cortical and other neurons, number and speed of their connections, which ...
- 183
2
votes
4
answers
2k
views
Strong AI vs Gödel's Theorem?
If Gödel's Theorem is true, it means that for every formal system, there is a thesis that is true but can't be proven from the formal system. Every agent system which humans can build by modern ...
- 131