Sellars-Harman Correspondence
- Correspondence between Wilfrid Sellars and Gilbert Harman on truth. Illuminating discussion on the issue of whether a Tarskian semantics provides an adequate basis for a correspondence theory of truth.
- http://www.ditext.com/sellars/sh-corr.html

Fodor On Frege Cases
- Article by Murat Aydede and Philip Robbins. Subtitled `Are Frege Cases Exceptions to Intentional Generalizations?'
- http://humanities.uchicago.edu/faculty/aydede/FodorOnFrege.html

The Theory of Abstract Objects
- Web resource provided by Edward Zalta, centering upon his `Principia Metaphysica', a general calculus for the expression of theories of abstract objects. Includes a tutorial section.
- http://mally.stanford.edu/theory.html

On Naming and Possibility in Kripke and in the Tractatus
- Article by María Cerezo, presented at the 20th World Congress of Philosophy.
- http://www.bu.edu/wcp/Papers/Lang/LangCere.htm

A Unified Theory of Names
- Article by John Justice, presented at the 20th World Congress of Philosophy.
- http://www.bu.edu/wcp/Papers/Lang/LangJust.htm

The Reference of Theoretical Terms
- Article by Renate Duerr, presented at the 20th World Congress of Philosophy.
- http://www.bu.edu/wcp/Papers/Lang/LangDuer.htm

Singular Propositions
- Singular propositions (also called `Russellian propositions') are propositions that are about a particular object or individual in virtue of having the object or individual as a constituent of the proposition. From the Stanford Encyclopedia, by G. W. Fit
- http://plato.stanford.edu/entries/propositions-singular/

Aspects of a Theory of Singular Reference
- William Greenberg's 1982 UCLA dissertation.
- http://structuredindividuals.com/dissertation/d001.html

On the Model Theory of Knowledge
- An essay by John McCarthy on the use of model theory, with a bias towards knowledge representation. Strong on Kripke models.
- http://www-formal.stanford.edu/jmc/model/model.html