2005-05-30から1日間の記事一覧

Desert Spring-Time -- An OCaml Operating System Project

http://dst.purevoid.org/

Judy

(via Lambda tha Ultimate) http://judy.sourceforge.net/

Context Free

http://www.ozonehouse.com/ContextFree/

The Case For Closure

目次。 $0 Introduction $1 Versions of Epistemic Closure. $2 In favor of closure principle (4). $3 Heavyweight Propositions and Conclusive Reasons. $4 Residual Puzzles.

Contextualism, Contrastivism, Relevant Alternatives, and Closure

http://www.missouri.edu/~kvanvigj/papers/Closure%20and%20Contrastive%20Knowledge.pdf http://plato.stanford.edu/entries/logical-constants/

What Does it Mean to Say that Logic is Formal?

(via logblog) 「形式的である」ということについての歴史。かなりの分量。 http://philosophy.berkeley.edu/macfarlane/diss.html