williamstarr.net
William B. Starr | Links
http://www.williamstarr.net/links.html
Stanford Encyclopedia of Philosophy. How to Design Programs. Syntax and Semantics of Programming Languages. Neural Systems and Circuits. Brains, Minds and Media. Linguistics, Semantics and Pragmatics. The World Atlas of Language Structures Online. Art, Design and Music.
okmij.org
Lambda: the ultimate syntax-semantics interface
http://okmij.org/ftp/gengo/NASSLLI10
Lambda: the ultimate syntax-semantics interface. Spreadsheets and Matlab are popular because they let domain experts write down a problem in familiar terms and quickly play with potential solutions. Natural-language semanticists have a better tool. It displays truth conditions, infers types, simplifies terms, and computes yields. Its modularity facilities make it easy to try fragments out, scale them up, and abstract encoding details out of semantic theories. Goals of the course. Goals of the course.
jimpryor.net
GA 2296. Philosophy of Language
http://www.jimpryor.net/teaching/courses/hyper/index.html
GA 2296. Philosophy of Language. We will examine a variety of issues concerning Frege's Problem and anaphora in language and thought. Discussion will include, but is intended not to presuppose familiarity with:. Dynamic treatments of donkey anaphora. Work by "direct reference" theorists especially in the late 1980s and 1990s. Kit Fine's " Semantic Relationalism. Mental file folder" models of cognitive equivalence. Techniques from functional programming of the sort surveyed at lambda.jimpryor.net. The fir...