User:Dominus/Sandbox

Backup of MJD article
User:Dominus/Sandbox/MJD

Stuff
A Discourse Concerning the Beauty of Providence (1649) took an unfashionable line, namely that divine providence was more inscrutable than current interpreters were saying. It added to the reputation of Wilkins, when the Stuarts returned to the throne, to have warned that the short term reading of events as managed by God was risky.

---

--

citation

-

$$      { \Gamma \vdash \alpha  \qquad  \Sigma, \beta  \vdash \gamma \over \Gamma, \Sigma, \alpha\rarr\beta \vdash\gamma} \qquad  ({\rm Left} \rarr) $$

(Left &rarr;) -

$$\input prooftree$$

-

B|-b         a|-a -- Left \rarr ('G = b, 'S = {}) g |- g            b,b\rarr a |- a        --- Left \rarr ('G = g, S = b\rarr a)                g,b\rarr a,g\rarr b |- a                - Right \rarr b\rarr a,g\rarr b |- g\rarr a               -- Right \rarr b\rarr a |- (g\rarr b) \rarr g\rarr a               --- Right \rarr |- (b\rarr a) \rarr (g\rarr b) \rarr g\rarr a

$$

{{ {  {\gamma\vdash \gamma \qquad {{\beta\vdash \beta \qquad \alpha\vdash \alpha} \over {\beta,\, \beta\rarr \alpha \vdash \alpha}} Left \rarr (\Gamma = \beta,\, \Sigma = \emptyset)} \over {\gamma,\, \beta\rarr \alpha,\, \gamma\rarr \beta \vdash \alpha} } Left \rarr (\Gamma = \gamma,\, \Sigma = \beta\rarr \alpha) } \over { \beta\rarr\alpha,\, \gamma\rarr\beta\vdash\gamma\rarr\alpha}} Right \rarr

$$

—Dominus 17:01, 4 November 2008 (UTC) —Dominus (talk) 15:15, 15 December 2008 (UTC)