This is a reposting of my first post here, this time with some links to posts on my blog Sprachlogik which further explain various points. It will be my last post here, at least for the time being.
What follows is a brief outline of a system of ideas in analytic philosophy which I have been developing. The system is not closed or final, and there is ample opportunity for further research connected with it. Here I have confined myself to stating the points I am most confident are correct. I might in future offer some more speculative results and indicate some avenues for further research.I take certain parts of Kripke's work as a starting-point, especially the idea that there are necessary a posteriori and contingent a priori truths, and the idea that names are rigid designators. On the other hand, I reject Millianism about names (which Kripke flirts with). My approach to characterizing meaning takes a lot of inspiration from Wittgenstein - the middle period especially, but also early and late.