An essay by John McCarthy on the use of model theory, with a bias towards knowledge representation. Strong on Kripke models.

William Greenberg's 1982 UCLA dissertation.

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.

Article by Renate Duerr, presented at the 20th World Congress of Philosophy.

Article by John Justice, presented at the 20th World Congress of Philosophy.

Article by María Cerezo, presented at the 20th World Congress of Philosophy.

Frege's example of Hesperus and Phosphorous is widely held to defeat Millian theories of meaning. Kripke has devised an alternate puzzle that seems to show that the same problem exists in Fregean accounts. Here Carl Penco discusses Brandom's resolution of this paradox.

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.

Article by Murat Aydede and Philip Robbins. Subtitled `Are Frege Cases Exceptions to Intentional Generalizations?'

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.