This directory contains the following subdirectories:
| directory | hits |
|---|
and the following files:
| name | title | size | hits | mdate |
|---|---|---|---|---|
| dtc110.htm | Logical foundations and formal verification | 6265 | 21 | 2016-01-18 |
| dtc111.htm | Logical foundations and formal verification - INTRODUCTION | 4849 | 16 | 2016-01-18 |
| dtc112.htm | Logical foundations and formal verification - Philosophy and Ontology | 14099 | 28 | 2016-01-18 |
| dtc113.htm | Logical foundations and formal verification - PRIMITIVE FORMALISATION | 10886 | 21 | 2016-01-18 |
| dtc114.htm | Logical foundations and formal verification - TYPES AND SPECIFICATIONS | 17847 | 25 | 2016-01-18 |
| dtc115.htm | Logical foundations and formal verification - APPLICATION LANGUAGES | 1450 | 20 | 2016-01-18 |
| dtc116.htm | Logical foundations and formal verification - IMPLEMENTATION | 5465 | 16 | 2016-01-18 |
| dtc117.htm | Logical foundations and formal verification - VERIFICATION | 3464 | 18 | 2016-01-18 |
| dtc118.htm | Logical foundations and formal verification - CONCLUSIONS | 2110 | 20 | 2016-01-18 |
| dtc119.htm | Logical foundations and formal verification - REFERENCES | 4719 | 19 | 2016-01-18 |
| dtc25.htm | CREATIVE FOUNDATIONS FOR PROGRAM VERIFICATION | 18338 | 21 | 2016-01-18 |
| index.htm | RbJ's Archive of Ancient (& modern) Writings | 7083 | 39 | 2016-01-18 |
| ugp.htm | RbJ's Undergraduate Philosophy Essays | 5342 | 27 | 2016-01-18 |
| ugp01.htm | Wittgenstein's 'private language' argument | 5354 | 41 | 2016-01-18 |
| ugp0101.htm | Wittgenstein's 'private language' argument | 5883 | 31 | 2016-01-18 |
| ugp0102.htm | Wittgenstein's 'private language' argument | 6013 | 27 | 2016-01-18 |
| ugp0103.htm | Wittgenstein's 'private language' argument | 7830 | 24 | 2016-01-18 |
| ugp0104.htm | Wittgenstein's 'private language' argument | 4731 | 27 | 2016-01-18 |
| ugp0105.htm | Wittgenstein's 'private language' argument | 3334 | 31 | 2016-01-18 |
| ugp02.htm | Liberty | 3741 | 21 | 2016-01-18 |
| ugp0201.htm | Liberty (essay) | 33308 | 24 | 2016-01-18 |
| ugp0202.htm | Liberty (lecturer's comments) | 4780 | 26 | 2016-01-18 |
| ugp03.htm | Is Morality Necessary? | 6268 | 32 | 2016-01-18 |
| ugp0300.htm | Is Morality Necessary? (preliminaries) | 4387 | 27 | 2016-01-18 |
| ugp0301.htm | Is Morality Necessary? (A) | 5773 | 29 | 2016-01-18 |
| ugp0302.htm | Is Morality Necessary? (B) | 3626 | 24 | 2016-01-18 |
| ugp0303.htm | Is Morality Necessary? (C) | 5230 | 26 | 2016-01-18 |
| ugp0304.htm | Is Morality Necessary? (D) | 2921 | 22 | 2016-01-18 |
| ugp0305.htm | Is Morality Necessary? (E) | 3023 | 21 | 2016-01-18 |
| ugp0306.htm | Is Morality Necessary? (F) | 5072 | 25 | 2016-01-18 |
| ugp0307.htm | Is Morality Necessary? (G) | 4591 | 28 | 2016-01-18 |
| ugp0308.htm | Is Morality Necessary? (H) | 4769 | 24 | 2016-01-18 |
| ugp0309.htm | Is Morality Necessary? (N) | 3698 | 29 | 2016-01-18 |
| ugp04.htm | Ontology | 2663 | 18 | 2016-01-18 |
| ugp0401.htm | Ontology - Introduction | 3886 | 22 | 2016-01-18 |
| ugp0402.htm | Ontology (essay) | 16783 | 22 | 2016-01-18 |
| ugp05.htm | The Status of Logical Principles | 2521 | 25 | 2016-01-18 |
| ugp0502.htm | The Status of Logical Principles (essay) | 16257 | 21 | 2016-01-18 |
| ugp06.htm | Determinism | 1924 | 21 | 2016-01-18 |
| ugp0602.htm | Determinism (essay) | 6169 | 17 | 2016-01-18 |
| ugp07.htm | Mind-Brain Identity | 2545 | 21 | 2016-01-18 |
| ugp0702.htm | Mind-Brain Identity (essay) | 11247 | 22 | 2016-01-18 |
| ugp08.htm | What, if any, is the philosophical point of an appeal to ordinary language? | 2076 | 25 | 2016-01-18 |
| ugp0802.htm | What, if any, is the philosophical point of an appeal to ordinary language? (essay) | 12551 | 23 | 2016-01-18 |
| wp03.htm | Expert Systems in Decision Support | 3165 | 21 | 2016-01-18 |
| wp0301.htm | ESDS - Introduction | 3371 | 24 | 2016-01-18 |
| wp0302.htm | ESDS - What are Expert Systems? | 5838 | 24 | 2016-01-18 |
| wp0303.htm | ESDS - Expert Systems and Hardware Development | 11583 | 25 | 2016-01-18 |
| wp0304.htm | ESDS - Expert Systems and Decision Support | 41607 | 53 | 2016-01-18 |
| wp0305.htm | ESDS - Conclusions | 6011 | 22 | 2016-01-18 |
| wp32.htm | Persistent Applicative Heaps and Knowledge Bases | 61267 | 37 | 2016-01-18 |
| wp51.htm | Logical Necessity and the Foundations of Mathematics | 12148 | 17 | 2016-01-18 |
00-00-00