This directory contains the following subdirectories:

and the following files:

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

---

00-00-00