Concept tag
#syntax-and-semantics
-
Reading group: Searle’s “Minds, Brains, and Programs” with the replies, over three weeks
The Chinese Room is cited constantly and read rarely, and most people who have opinions on it have only met the thought experiment, not the paper. So let's read it properly. Text: John Searle, "Minds, Brains, and Programs", Behavioral and Brain Sciences…
Started by Oskar Nyberg6 replies -
Soundness and completeness of a logical system: what exactly is being proved?
I'm stuck on vocabulary, having no formal training in logic. I've read that a logical system can be sound and complete: everything provable is true, and everything true is provable. Fine. But then I read that Gödel proved a completeness theorem in…
Started by Pieter van Dijkhuizen4 replies