Friday, May 20, 2016

Thesis XII, Volume 22.1

The latest issue of T-12, featuring two student essays and (for the very first time) contributions from all of the Philosophy Department Faculty, is now available online:

http://thesisxii.blogspot.com/

Monday, March 28, 2016

Bound/bounded/binded and Bound vs. Free Variables

I guess "binded" is restricted to contexts in which "binders" are in play:

http://grammarist.com/usage/binded-bound/

And "bounded" has a different meaning altogether:

http://grammarist.com/usage/bound-bounded/

But here's a tidy description of the distinction between bound and free variables:

http://www.coli.uni-saarland.de/projects/milca/courses/comsem/html/node11.html


Saturday, February 27, 2016

Wednesday, February 24, 2016

(Logic II) "Paradoxes" of material implication

Peter Suber, again, on the obvious failure of material implication to capture fully the meaning of many "if...then" or "implies" claims:

http://legacy.earlham.edu/~peters/courses/log/mat-imp.htm