Jerry Fodor; Proof-Theoretic Semantics
May. 13th, 2005 05:06 pm![[personal profile]](https://www.dreamwidth.org/img/silk/identity/user.png){kind=small}
guslI like Jerry Fodor!
Would he be a pioneer of the so-called "computational turn"?
... a few link hops away, two Wikipedia articles: Proof-Theoretic Semantics (where the meaning is the use), and Logical Harmony
Btw, like Fodor, I am not interested in connectionist models... While I accept that intelligence must ultimately be implemented in terms of neural networks, I think it's more useful to think about phenomena at a higher level of abstraction, where logic plays a role. It's also more fun. It should also come as no surprise that I'm a fan of ACT-R.
What have we ever gained from NN modeling?
Would he be a pioneer of the so-called "computational turn"?
... a few link hops away, two Wikipedia articles: Proof-Theoretic Semantics (where the meaning is the use), and Logical Harmony
Btw, like Fodor, I am not interested in connectionist models... While I accept that intelligence must ultimately be implemented in terms of neural networks, I think it's more useful to think about phenomena at a higher level of abstraction, where logic plays a role. It's also more fun. It should also come as no surprise that I'm a fan of ACT-R.
What have we ever gained from NN modeling?