I discovered this blog accidentally. Anyone interested in following up the topic is welcome to look at the slides for the talk, available here: http://www.cs.bham.ac.uk/research/projects/cogaff/talks/#talk56
Comments, criticisms, and suggestions are welcome.
I have included some references to papers explaining some of the ideas of Kant and Frege concerning the nature of geometrical knowledge.
I thought I had argued in the talk that for some purposes logic was not the best form of representation or medium for reasoning with. But I probably was not clear enough in my presentation.
It's a very old theme for me, going back to my 1971 IJCAI paper criticising Logicist AI as too narrow, available here: http://www.cs.bham.ac.uk/research/projects/cogaff/04.html#200407
There is still much work to be done, including clarifying the difference between "empirical" and "non-empirical" knowledge.
The slides for the talk (still developing) are available online
http://www.cs.bham.ac.uk/research/projects/cogaff/talks/#talk56
Comments, criticisms, and suggestions are welcome.
I have included some references to papers explaining some of the ideas of Kant and Frege concerning the nature of geometrical knowledge.
I thought I had argued in the talk that for some purposes logic was not the best form of representation or medium for reasoning with. But I probably was not clear enough in my presentation.
It's a very old theme for me, going back to my 1971 IJCAI paper criticising Logicist AI as too narrow, available here: http://www.cs.bham.ac.uk/research/projects/cogaff/04.html#200407
There is still much work to be done, including clarifying the difference between "empirical" and "non-empirical" knowledge.
Aaron
http://www.cs.bham.ac.uk/~axs