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 | 13 | 1998-10-20 |
| dtc111.htm | Logical foundations and formal verification - INTRODUCTION | 4849 | 12 | 1998-10-20 |
| dtc112.htm | Logical foundations and formal verification - Philosophy and Ontology | 14099 | 16 | 1997-12-01 |
| dtc113.htm | Logical foundations and formal verification - PRIMITIVE FORMALISATION | 10886 | 11 | 1999-05-02 |
| dtc114.htm | Logical foundations and formal verification - TYPES AND SPECIFICATIONS | 17847 | 10 | 1997-03-22 |
| dtc115.htm | Logical foundations and formal verification - APPLICATION LANGUAGES | 1450 | 11 | 1997-03-22 |
| dtc116.htm | Logical foundations and formal verification - IMPLEMENTATION | 5465 | 13 | 1997-03-22 |
| dtc117.htm | Logical foundations and formal verification - VERIFICATION | 3464 | 8 | 1997-03-22 |
| dtc118.htm | Logical foundations and formal verification - CONCLUSIONS | 2110 | 11 | 1997-03-22 |
| dtc119.htm | Logical foundations and formal verification - REFERENCES | 4719 | 10 | 1997-03-22 |
| dtc25.htm | CREATIVE FOUNDATIONS FOR PROGRAM VERIFICATION | 18338 | 11 | 1998-10-20 |
| index.htm | RbJ's Archive of Ancient (& modern) Writings | 7009 | 12 | 2003-09-26 |
| ugp.htm | RbJ's Undergraduate Philosophy Essays | 5342 | 24 | 1998-10-29 |
| ugp01.htm | Wittgenstein's 'private language' argument | 5354 | 73 | 1997-03-22 |
| ugp0101.htm | Wittgenstein's 'private language' argument | 5848 | 23 | 1997-04-06 |
| ugp0102.htm | Wittgenstein's 'private language' argument | 5978 | 19 | 1996-06-22 |
| ugp0103.htm | Wittgenstein's 'private language' argument | 7827 | 16 | 1998-01-01 |
| ugp0104.htm | Wittgenstein's 'private language' argument | 4704 | 20 | 1996-06-23 |
| ugp0105.htm | Wittgenstein's 'private language' argument | 3310 | 21 | 1996-06-23 |
| ugp02.htm | Liberty | 3741 | 10 | 1997-04-06 |
| ugp0201.htm | Liberty (essay) | 33308 | 19 | 1998-01-01 |
| ugp0202.htm | Liberty (lecturer's comments) | 4780 | 11 | 1997-04-06 |
| ugp03.htm | Is Morality Necessary? | 6268 | 12 | 1997-03-28 |
| ugp0300.htm | Is Morality Necessary? (preliminaries) | 4387 | 7 | 1997-03-28 |
| ugp0301.htm | Is Morality Necessary? (A) | 5773 | 8 | 1997-03-28 |
| ugp0302.htm | Is Morality Necessary? (B) | 3626 | 8 | 1997-03-28 |
| ugp0303.htm | Is Morality Necessary? (C) | 5230 | 10 | 1997-03-28 |
| ugp0304.htm | Is Morality Necessary? (D) | 2921 | 11 | 1997-03-25 |
| ugp0305.htm | Is Morality Necessary? (E) | 3023 | 11 | 1997-03-28 |
| ugp0306.htm | Is Morality Necessary? (F) | 5072 | 9 | 1997-03-25 |
| ugp0307.htm | Is Morality Necessary? (G) | 4591 | 9 | 1997-03-28 |
| ugp0308.htm | Is Morality Necessary? (H) | 4769 | 8 | 1997-03-28 |
| ugp0309.htm | Is Morality Necessary? (N) | 3698 | 10 | 1997-03-28 |
| ugp04.htm | Ontology | 2663 | 8 | 1997-04-28 |
| ugp0401.htm | Ontology - Introduction | 3872 | 11 | 1997-05-10 |
| ugp0402.htm | Ontology (essay) | 16856 | 12 | 1997-04-06 |
| ugp05.htm | The Status of Logical Principles | 2521 | 11 | 1997-04-22 |
| ugp0502.htm | The Status of Logical Principles (essay) | 16257 | 13 | 1997-04-22 |
| ugp06.htm | Determinism | 1924 | 13 | 1997-04-22 |
| ugp0602.htm | Determinism (essay) | 6169 | 12 | 1997-12-01 |
| ugp07.htm | Mind-Brain Identity | 2545 | 11 | 1997-04-24 |
| ugp0702.htm | Mind-Brain Identity (essay) | 11247 | 10 | 1998-04-01 |
| ugp08.htm | What, if any, is the philosophical point of an appeal to ordinary language? | 2076 | 10 | 1997-04-25 |
| ugp0802.htm | What, if any, is the philosophical point of an appeal to ordinary language? (essay) | 12551 | 8 | 1997-04-24 |
| wp03.htm | Expert Systems in Decision Support | 3165 | 8 | 1997-04-18 |
| wp0301.htm | ESDS - Introduction | 3371 | 9 | 1998-10-20 |
| wp0302.htm | ESDS - What are Expert Systems? | 5838 | 8 | 1998-10-20 |
| wp0303.htm | ESDS - Expert Systems and Hardware Development | 11583 | 12 | 1998-10-20 |
| wp0304.htm | ESDS - Expert Systems and Decision Support | 41607 | 24 | 1998-10-20 |
| wp0305.htm | ESDS - Conclusions | 6011 | 8 | 1997-04-18 |
| wp32.htm | Persistent Applicative Heaps and Knowledge Bases | 61267 | 18 | 1998-10-20 |
| wp51.htm | Logical Necessity and the Foundations of Mathematics | 12148 | 14 | 1997-03-22 |
00-00-00