𝔖 Bobbio Scriptorium
✦   LIBER   ✦

A pragmatic defense of Millianism

✍ Scribed by Arvid Båve


Publisher
Springer Netherlands
Year
2006
Tongue
English
Weight
209 KB
Volume
138
Category
Article
ISSN
0031-8116

No coin nor oath required. For personal study only.


📜 SIMILAR VOLUMES


A pragmatic defense of free will
✍ Corbin Fowler 📂 Article 📅 1996 🏛 Springer 🌐 English ⚖ 954 KB

In this essay I will offer a pragmatic justification for our belief in free choice and moral responsibility. I will claim we are reasonable to believe in such freedom and responsibility even if we believe in determinism. I do not claim we know that we are free and responsible agents, because a condi

A pragmatic reconstruction of λProlog
✍ Catherine Belleannée; Pascal Brisset; Olivier Ridoux 📂 Article 📅 1999 🏛 Elsevier Science 🌐 English ⚖ 294 KB

kProlog is a logic programming language in which hereditary Harrop formulas generalize Horn formulas, and simply typed k-terms generalize Prolog terms. One may wonder if these extensions are simultaneously required, and if useful subsets of kProlog can be de®ned, at least for pedagogical purposes. W