Theories of Reference
Categories
Links
On the Model Theory of Knowledge
http://www-formal.stanford.edu/jmc/model/model.html
An essay by John McCarthy on the use of model theory, with a bias towards knowledge representation. Strong on Kripke models.
Aspects of a Theory of Singular Reference
http://structuredindividuals.com/dissertation/d001.html
William Greenberg's 1982 UCLA dissertation.
Singular Propositions
http://plato.stanford.edu/entries/propositions-singular/
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. Fitch.
The Reference of Theoretical Terms
http://www.bu.edu/wcp/Papers/Lang/LangDuer.htm
Article by Renate Duerr, presented at the 20th World Congress of Philosophy.
A Unified Theory of Names
http://www.bu.edu/wcp/Papers/Lang/LangJust.htm
Article by John Justice, presented at the 20th World Congress of Philosophy.
On Naming and Possibility in Kripke and in the Tractatus
http://www.bu.edu/wcp/Papers/Lang/LangCere.htm
Article by Mara Cerezo, presented at the 20th World Congress of Philosophy.
The Theory of Abstract Objects
http://mally.stanford.edu/theory.html
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.
Sellars-Harman Correspondence
http://www.ditext.com/sellars/sh-corr.html
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.