Additions from available (non-CC) material

[rzach]

Request permission & obtain LaTeX sources for additional teaching materials (handouts, lecture notes) already available on the net (but non-free). Add potential sources in comments.

To be included material should be:

• Aimed at (or can be made to be aimed at) non-mathematical audience
• Written in LaTeX
• Author grants permission to adapt & distribute under CC-BY 4.0

(Other free logic texts are also listed in the wiki)

[rzach]

• Richard Heck, material on theories of truth, Frege http://rgheck.frege.org/philosophy/teaching.php
• Stephen G. Simpson, foundations of mathematics, model theory, recursion theory http://www.personal.psu.edu/t20/notes/

[antonyeagle]

I thought I might bring my free (not yet open, but I'm considering it) textbook to your attention. Definitely intro-level. philpapers.org/rec/EAGEOD (direct link to pdf)

[rzach]

Thanks! Looks very nice; if you do open the source code, let me know! I've added it to the wiki.

[rzach]

Vann McGee's Logic II materials: http://ocw.mit.edu/courses/linguistics-and-philosophy/24-242-logic-ii-spring-2004/lecture-notes/

[rzach]

@antonyeagle I found the source code repo https://github.com/antonyeagle/edl and see you put a BY-SA license on it. Nice.