COGS 2160 Lecture Notes - Lecture 8: Modus Tollens, Modus Ponens, Language Of Thought Hypothesis
Document Summary
Lecture 8: classical architectures ii the language of thought & the frame problem. January 30, 2018: core idea of cognitive science: mental processes are computational. If that"s how mental operations work, then we need representations. If is a for(cid:373)ula, the(cid:374) ~ is a for(cid:373)ula: the rule is recursive; can have infinitely many formulas. If raining causes you to be wet, and it"s raining, can conclude that i am wet: gi(cid:448)e(cid:374) the for(cid:373)ulas --> a(cid:374)d ~ , (cid:272)o(cid:374)(cid:272)lude ~ (cid:894)modus tolle(cid:374)s(cid:895) If raining causes you to be wet, and i"m not wet, it means it"s not raining. Why a language of thought: explains, productivity: the ability to represent infinitely many thoughts (cf. Chomsky on sentences: systematicity: the ability to freely recombine thoughts. If you could think that john loves mary, then you can think that mary loves john. If you think that john is tall and mary is kind, then you can think that mary is tall and.