Jerry Fodor; Proof-Theoretic Semantics

[gusl]

I 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?

Comments

[bondage-and-tea.livejournal.com]

Well, neurons do lots of crazy stuff involving protein synthesis, ion channels, chemistry. It's not clear that they do linear summing of stuff coming into the dendrite, apply a non-linear function, and then spew out the result to an axon. There's a large amount of variation on how neurons communicate with each other. It seems that dendrites perform complicated computations, something which isn't mentioned at all by "neural network" theories to the best of my knowledge. Real neural networks are a huge mess!