Full Factasia Content Listing

name	size	mdate	title
!	27435	2008-04-08
000.htm	17427	2008-04-14	Index for directory rbjpub
0000.htm	4096	2008-04-14	Full Factasia Content Listing
fac001.sty	690	1998-04-21
frame0.htm	549	2000-03-02	Level 0 frame document proforma
frame1.htm	1010	2000-08-26	IndexFrame: Level 0 frame document proforma
frame2.htm	2380	2000-08-26	MainFrame: Level 0 frame document proforma
index.htm	18241	2007-05-13	Factasia Quick Index
index.htm~	18142	2007-01-26	Factasia Quick Index
net000.htm	7396	2007-04-20	Factasia - General Net Resources
net000.htm~	7123	2006-04-29	Factasia - General Net Resources
prof00.htm	803	1998-08-31	Document Proforma - level 0
rbj.htm	1102	2006-04-12	Roger Bishop Jones
rbj0.htm	2894	2004-03-10	Roger Bishop Jones
rbj003.htm	4673	1998-06-28	The Importance of Being Earnest
rbj008.htm	537	2000-12-24	The Factasia Utopia
rbj008a.htm	537	2000-12-24	The Factasia Utopia
rbj009.htm	1170	1998-07-05	RBJ's Pick of The Net
rbj010.htm	2799	2004-12-23	RBJ's Underside Links
rbj011.htm	227	1997-10-04	The Factasia Net-Link Frame
rbj012.htm	1614	1998-03-31	Index: Factasia content lattice
rbj014.htm	1718	1998-03-31	Index: Factasia netlinks
rbj016.htm	230	1997-10-04	Factasia Content Frame
rbj019.htm	14177	2004-12-23	The Factasia Gif Gallery and Browser Bar
rbj020.htm	5694	1998-09-27	The Factasia Bridge
rbj021.htm	9060	1999-09-21	What is Factasia?
rbj022.htm	540	2002-10-06	Coming up in Factasia
rbj023.htm	3737	1999-12-01	Factasia Through the Looking Glass - a worm-hole warp-drive into the future of cyber-space
rbj024.htm	4646	1998-07-06	Reflexion in Factasia
rbj025.htm	2823	1999-12-01	Fantasy in Factasia
rbj026.htm	3922	1999-10-19	Magic in Factasia
rbj027.htm	4501	2003-07-24	Factasia Content Subject Lattice
rbj028.htm	3877	1997-02-28	Factasia Content Subject Tree
rbj029.htm	2459	1998-08-18	The Factasia Theme Park
rbj030.htm	1038	1997-03-15	Intuition & Emotion in Factasia
rbj031.htm	3039	1997-03-15	Factastic Themes - Breadth & Synthesis
rbj032.htm	1874	1997-03-15	Factastic Themes - Precision & Logic
rbj033.htm	5338	2002-10-07	Strategic Notes for Factasia Development
rbj034.htm	31770	2008-04-14	Factasia Directory Listing
rbj035.htm	26067	2000-04-12	The Factasia Top 100
rbj036.htm	25686	2008-04-14	The Factasia Top 100
rbj037.htm	1190	2008-02-20	IndexFrame: Roger Bishop Jones
rbj037.htm~	1227	2008-02-20	IndexFrame: Roger Bishop Jones
rbj038.htm	21395	2008-02-20	MainFrame: Roger Bishop Jones
rbj038.htm~	21432	2008-02-20	MainFrame: Roger Bishop Jones
rbj039.htm	3258	2008-02-20	Roger Bishop Jones
rbj039.htm~	3302	1998-04-01	Roger Bishop Jones
rbj040.htm	457	1999-08-30	The Factasia Home Page
rbj041.htm	1303	2005-02-19	IndexFrame: The Factasia Home Page
rbj042.htm	23817	2005-02-19	MainFrame: The Factasia Home Page
rbj043.htm	4934	1998-07-09	Factasia
rbj044.htm	1515	2003-07-14	IndexFrame: The Factasian Utopia
rbj045.htm	27819	1999-10-19	MainFrame: The Factasian Utopia
rbj046.htm	529	1998-10-01	Factasia Quick Index
rbj047.htm	2249	1998-10-13	IndexFrame: Coming up in Factasia
rbj048.htm	32417	2002-10-06	MainFrame: Coming up in Factasia
rbj049.htm	1053	1999-11-02	Download The Factasia HTML Help File
rbj050.htm	1445	2005-02-19	Download The RBJones.com gzipped tar File
rbj051.htm	2147	1999-01-22	The Factasia CD-ROM
rbj052.htm	18015	2000-08-25	MainFrame: RBJones.com
rbj053.htm	1223	2000-08-15	IndexFrame: RBJones.com
rbj054.htm	663	2000-08-26	RBJones.com - home of Factasia
rbj055.htm	20636	2001-09-21	MainFrame: Roger Bishop Jones
rbj056.htm	1083	2001-09-15	IndexFrame: Roger Bishop Jones
rbj057.htm	479	2001-09-21	Roger Bishop Jones
rbj058.htm	746	2002-12-23	Factasia Chat
rbjpgpk1.pgp	278	1998-03-18
styl001.txt	104	1997-02-10
x001-i.html	2047	2008-04-14
x001-m.html	24618	2008-04-14
x001.html	1043	2008-04-14	RBJones.com
x002-i.html	2031	2008-04-14
x002-m.html	14068	2008-04-14
x002.html	1075	2008-04-14	The Automation of Reason
x003-i.html	2095	2008-04-14
x003-m.html	18974	2008-04-14
x003.html	1065	2008-04-14	Positive Philosophy
xhp001-i.html	2041	2008-04-14
xhp001-m.html	18843	2008-04-14
xhp001.html	1050	2008-04-14	RBJones.com
xt001-i.html	1767	2008-04-14
xt001-m.html	18240	2008-04-14
xt001.html	1039	2008-04-14	Home Page History
xt002-i.html	3225	2008-04-14
xt002-m.html	51472	2008-04-14
xt002.html	1075	2008-04-14	The Stack of Change
xt003-i.html	2228	2008-04-14
xt003-m.html	28503	2008-04-14
xt003.html	1004	2008-04-14	The Dynamic of RBJones.com
xt004-i.html	1542	2008-04-14
xt004-m.html	8398	2008-04-14
xt004.html	1053	2008-04-14	New at RBJones.com
xtc001-i.html	2736	2008-04-14
xtc001-m.html	36341	2008-04-14
xtc001.html	1170	2008-04-14	Rationality and Romanticism
xtc002-i.html	1761	2008-04-14
xtc002-m.html	17948	2008-04-14
xtc002.html	1029	2008-04-14	About Writing

name	size	mdate	title
000.htm	3171	2008-04-14	Index for directory rbjpub/bus
bus001.htm	8444	2004-12-23	Factasia Business Internet Resource Hub
bus002.htm	3156	1998-09-27	Value Agents
bus003.htm	1648	1998-02-15	The Factasia Business Park
bus004.htm	4988	1998-08-31	The Factasia Business Model
bus006.htm	1006	1998-10-01	IndexFrame: Business
bus007.htm	4026	1998-09-27	MainFrame: Business
bus008.htm	517	1998-10-16	The Factasia Marketing Page
bus009.htm	1247	1998-10-16	IndexFrame: The Factasia Marketing Page
bus010.htm	11411	1998-10-16	MainFrame: The Factasia Marketing Page
htw001.htm	2446	1998-09-27	From Hierarchy to Web
index.htm	520	1998-09-27	Business

name	size	mdate	title
000.htm	3171	2008-04-14	Index for directory rbjpub/bus/rbjltd
index.htm	3386	2005-01-24	Roger Bishop Jones Limited
rbjm001.htm	1479	1998-03-12	Minute rbjm001 - election to dispense with AGMs
rbjm002.htm	2614	1998-03-18	Minute rbjm002 - laying of accounts before a general meeting
rbjr00.htm	651	1998-09-10	Roger Bishop Jones Limited Company Registry
rbjr00i.htm	1518	1998-09-10	IndexFrame: Company Registry of Roger Bishop Jones Limited
rbjr00m.htm	12702	2005-01-24	MainFrame: Company Registry of Roger Bishop Jones Limited

name	size	mdate	title
000.htm	13025	2008-04-14	Index for directory rbjpub/cs
ai001.htm	620	1999-10-07	Artificial Intelligence
ai002.htm	972	1998-08-21	Automation of Deduction
ai003.htm	10473	2004-12-06	Automation of Reasoning Netlinks
ai004.htm	7068	2007-07-14	Formalised Mathematics - net links
ai004.htm~	6916	2001-06-23	Formalised Mathematics - net links
ai005.htm	6995	2001-10-18	Mechanisation of Mathematics - net links
ai006.htm	6271	1999-11-15	Artifical Intelligence - net links
ai007.htm	3541	1998-08-08	Artificial Intelligence - ruminations
ai008.htm	648	2000-02-06	Mechanisation of Mathematics
ai009.htm	461	1998-08-14	Formalised Mathematics
ai010.htm	2577	1998-08-07	Math by Proof - What is it, and why should we?
ai011.htm	2396	1998-09-27	What is Intelligence?
ai012.htm	495	1998-08-28	A Topography for Artificial Intelligence
ai013.htm	4211	1999-10-07	The Analytic Superbrain
ai014.htm	11994	2004-12-23	Conceptions of the Global SuperBrain
ai015.htm	5067	1999-10-07	Dimensions of the Global SuperBrain
ai016.htm	1595	1998-08-06	The Singularity
ai017.htm	803	1999-10-19	The Global SuperBrain
ai018.htm	1335	1999-10-07	IndexFrame: The Global SuperBrain
ai019.htm	11412	1999-10-07	MainFrame: The Global SuperBrain
ai020.htm	3206	1998-08-06	Combinatorial Explosion - How to Beat it
ai021.htm	1429	1998-09-27	IndexFrame: Artificial Intelligence
ai022.htm	13362	2003-04-25	MainFrame: Artificial Intelligence
ai023.htm	1265	1998-09-27	IndexFrame: Mechanisation of Mathematics
ai024.htm	11448	2000-02-06	MainFrame: Mechanisation of Mathematics
ai025.htm	1250	1998-10-01	IndexFrame: A Topography for Artificial Intelligence
ai026.htm	14295	1999-10-07	MainFrame: A Topography for Artificial Intelligence
ai027.htm	1199	1999-10-07	IndexFrame: Formalised Mathematics
ai028.htm	10836	1999-10-07	MainFrame: Formalised Mathematics
ai029.htm	659	2000-02-18	Symbolic Mathematical Computation
ai030.htm	1346	2000-02-18	IndexFrame: Symbolic Mathematical Computation
ai031.htm	13392	2000-02-18	MainFrame: Symbolic Mathematical Computation
cs001.htm	3472	2001-06-20	Computing with Reals
cs002.htm	952	1996-07-23	Addition over Computable Reals
cs003.htm	1689	1996-07-23	Computer Science?
cs004.htm	5082	1998-07-17	Representing Computable Reals
cs005.htm	485	2000-02-01	Computing Netlinks
cs006.htm	15386	1999-05-01	Computing with Reals - some history
cs007.htm	1779	1998-10-01	Calculation and Proof
cs008.htm	5826	2001-06-20	Not-So-Good Candidates
cs009.htm	7972	1999-04-28	Good Candidates for Computable Reals
cs010.htm	3049	1998-07-17	Computing with Reals - motivation
cs011.htm	3143	2006-05-28	Implementation of Computation with Reals
cs012.htm	2265	1997-09-21	Commodity Computing
cs013.htm	1326	1999-10-21	IndexFrame: Factasia Computing
cs014.htm	12515	1999-10-21	MainFrame: Factasia Computing
cs015.htm	1793	2000-03-11	IndexFrame: Factasia Computing Netlinks
cs016.htm	23573	2004-11-06	MainFrame: Factasia Computing Netlinks
cs017.htm	2924	2000-04-03	The factasia CORBA/UML links page
csfm01.htm	1966	1999-10-19	Formal Methods for Information Systems Engineering
csfm02.htm	9428	1999-10-19	Formal Specification Languages
csfm03.htm	2016	1999-09-19	The Z Specification Language
csfm04.htm	2050	1996-07-25	On The Semantics of Z
csfm05.htm	888	1996-07-25	Issues in the Semantics of Z
csfm06.htm	3118	1999-05-02	Background (On The Semantics of Z)
csfm07.htm	3364	1998-08-06	The Treatment of Undefinedness in Z
cslog001.htm	3879	1998-08-06	The LCF Paradigm
cslog002.htm	3549	1998-08-06	Computers and Maths
cslog003.htm	4599	1998-08-06	How Computers score at Maths
cslog004.htm	3219	1998-08-06	Systems Integration and Logic
cslog005.htm	598	1999-10-07	Logic and Computing
cslog006.htm	983	1999-10-07	IndexFrame: Logic and Computing
cslog007.htm	2842	1999-10-07	MainFrame: Logic and Computing
dr000.htm	3676	1998-08-01	The Digital Revolution
dr001.htm	2655	1998-08-06	Digital to Logical - the evolution of data representation
index.htm	545	1999-10-12	Factasia Computing
sec001.htm	2492	1999-12-01	Security Net-Links
xreal01-i.html	2620	2008-04-14
xreal01-m.html	25050	2008-04-14
xreal01.html	1176	2008-04-14	Exact Real Computation in ProofPower

name	size	mdate	title
000.htm	1933	2008-04-14	Index for directory rbjpub/econ
econ000.htm	3955	1999-12-01	Factasia Economics Internet Resource Hub
econ001.htm	1033	1998-09-11	IndexFrame: Economics
econ002.htm	3673	1998-09-11	MainFrame: Economics
index.htm	452	1998-09-15	Economics

name	size	mdate	title
000.htm	3562	2008-04-14	Index for directory rbjpub/engineer
eng000.htm	4186	2004-12-23	Factasia Engineering Netlinks
eng001.htm	6991	2000-03-15	Memetic Future Engineering
eng002.htm	1434	1998-11-01	IndexFrame: Engineering
eng003.htm	17224	1998-11-01	MainFrame: Engineering
eng004.htm	509	1998-10-09	Utopian Engineering
eng005.htm	1256	1998-10-09	IndexFrame: Utopian Engineering
eng006.htm	15075	1998-10-29	MainFrame: Utopian Engineering
eng007.htm	511	1998-10-13	Engineering Design
eng008.htm	978	1998-10-13	IndexFrame: Engineering Design
eng009.htm	6902	1998-10-13	MainFrame: Engineering Design
eng010-i.html	1550	2008-04-14
eng010-m.html	9479	2008-04-14
eng010.html	1080	2008-04-14	Engineering as Philosophy
index.htm	458	1998-10-27	Engineering

name	size	mdate	title
000.htm	2695	2008-04-14	Index for directory rbjpub/future
fut000.htm	16501	2007-12-28	Factasia netlinks on the Future
fut000.htm~	16347	2004-12-23	Factasia netlinks on the Future
fut001.htm	4770	1998-08-31	The Future of The Future
fut002.htm	4370	1997-09-21	Future Makers - Past, Present and Future
fut003.htm	1191	1997-07-31	Future Engineering Methods - Past, Present and Future
fut004.htm	3210	1997-08-04	The Collaborative Independent Creatives Scenario
fut005.htm	2826	1997-07-31	Decoupling Corporate Metrics
fut006.htm	4633	1997-08-17	Contrasting Visions of Future Empowerment
index.htm	3633	2003-07-24	Factasia on The Future

name	size	mdate	title
000.htm	1513	2008-04-14	Index for directory rbjpub/isar
index.html	5389	2008-04-14	Index of Isabelle Theories

name	size	mdate	title
000.htm	25419	2008-04-14	Index for directory rbjpub/logic
ar001-i.html	1825	2008-04-14
ar001-m.html	8765	2008-04-14
ar001.html	1096	2008-04-14	The Automation of Reason
engl001.htm	443	1998-10-01	Engineering Logic
engl002.htm	3124	1998-08-01	The Next Logical Revolution
engl003.htm	1716	1996-09-05	Logical Revolutions
engl004.htm	1125	1998-10-01	IndexFrame: Engineering Logic
engl005.htm	13358	1998-08-26	MainFrame: Engineering Logic
index.htm	543	2002-10-04	Factasia Logic
inter002.htm	1419	1996-07-20	Reflexive Logical Systems
inter003.htm	4619	1997-11-15	New Classical Logical Systems
inter004.htm	1221	1999-10-12	IndexFrame: Pure Functions
inter005.htm	19729	1999-10-12	MainFrame: Pure Functions
inter006.htm	4974	1996-07-20	Why ProofPower?
inter007.htm	446	2000-01-31	The Theory zfc
inter007i.htm	1351	2000-01-31	IndexFrame: The Theory zfc
inter007m.htm	14775	2000-01-31	MainFrame: The Theory zfc
inter008.htm	458	2000-01-31	The Theory combin
inter008i.htm	1233	2000-01-31	IndexFrame: The Theory combin
inter008m.htm	4238	2000-01-31	MainFrame: The Theory combin
inter009.htm	446	2000-01-31	The Theory sum
inter009i.htm	1288	2000-01-31	IndexFrame: The Theory sum
inter009m.htm	8516	2000-01-31	MainFrame: The Theory sum
inter010.htm	450	2000-01-31	The Theory char
inter010i.htm	1247	2000-01-31	IndexFrame: The Theory char
inter010m.htm	3170	2000-01-31	MainFrame: The Theory char
inter011.htm	442	2000-01-31	The Theory pf
inter011i.htm	1028	2000-01-31	IndexFrame: The Theory pf
inter011m.htm	2867	2000-01-31	MainFrame: The Theory pf
inter012.htm	1206	1999-10-31	ZFC in HOL
inter013.htm	514	1999-10-12	Pure Functions
inter014.htm	4686	2002-10-04	Proof Theoretic Strength
jrh0100.htm	2801	1998-11-15	Formalized Mathematics
jrh0101.htm	8695	1996-08-26	History and Philosophy
jrh0102.htm	9441	1996-08-16	Rigour and the axiomatic method
jrh0103.htm	9792	1996-08-16	The History of Formal Logic
jrh0104.htm	11247	1996-08-16	Hilbert's Programme
jrh0105.htm	9531	1996-08-16	The Bourbaki view
jrh0106.htm	6175	1996-08-16	Enter the computer
jrh0107.htm	12792	1996-08-16	Automated Reasoning
jrh0108.htm	4750	1996-08-16	Formalizing mathematics
jrh0109.htm	6166	1996-08-16	Formalization
jrh0110.htm	9792	1996-08-16	Criticism and reconstruction
jrh0111.htm	17083	1996-08-16	The choice of a foundational system
jrh0112.htm	10050	1996-08-16	Definitions and locutions
jrh0113.htm	10617	1998-11-01	Partial functions and undefined terms
jrh0114.htm	1335	1996-08-16	Practical issues
jrh0115.htm	7391	1996-08-16	Feasibility
jrh0116.htm	14783	1997-12-08	Extensibility and LCF
jrh0117.htm	15059	1997-12-08	Metatheory and reflection
jrh0118.htm	5654	1998-08-14	How much automation do we want?
jrh0119.htm	8826	1996-08-16	User interaction
jrh0120.htm	8929	1996-08-16	Experience of formalized mathematics
jrh0121.htm	3157	1996-08-16	The Future
jrh0122.htm	2372	1996-08-16	Acknowledgements
jrh0123.htm	5259	1998-10-15	Glossary
jrh01b.htm	44454	1998-10-15	Bibliography on Formalised Mathematics
jrh01f.htm	14649	1998-08-07	Formalised Mathematics - footnotes
log000.htm	519	1999-09-19	Factasia Logic Netlinks
log001.htm	481	1998-07-31	What is Logic?
log002.htm	3232	1998-06-12	Effective Procedures
log003.htm	3487	1999-09-30	Boolean Propositional Logic
log004.htm	551	1998-06-23	An Introduction to Propositional Logics
log005.htm	3804	1999-10-02	Formal Foundation Systems for Mathematics
log006.htm	2499	1996-05-23	Why Logic is Important
log007.htm	466	1999-10-12	Applications of Logic
log008.htm	5482	1998-09-27	Maths, Logic, Computing - Past Present and Future
log009.htm	3911	1998-08-23	Proof and Computation
log010.htm	3640	1998-08-23	Deductive Support for Science and Engineering
log011.htm	3541	2006-01-21	HOST features
log012.htm	2903	1999-10-07	HOST rationale
log013.htm	3003	1999-10-07	HOST pedigree
log014.htm	674	1997-12-31	The Iterative Conception of Set
log015.htm	2996	1998-08-23	Perspectives on the Scope of Logic
log016.htm	397	1999-10-08	Factasia - Books on Logic
log017.htm	6096	2001-10-11	Semi-Formal Description of Propositional Logic
log018.htm	6974	1998-11-27	Formal Specification of Propositional Logic in ML
log019.htm	6028	2008-03-25	First-Order Predicate Logic
log019.htm~	6028	2000-02-01	First-Order Predicate Logic
log020.htm	9139	1998-11-27	Semi-Formal Description of First Order Predicate Logic
log021.htm	12954	1998-11-27	Formal Specification of First-Order Predicate Logic in ML
log022.htm	16069	2001-07-23	MainFrame: Books on Logic
log023.htm	2414	1999-10-08	IndexFrame: Books on Logic
log024.htm	2662	1999-10-11	IndexFrame: Logic
log025.htm	29662	2006-04-24	MainFrame: Factasia Logic
log026.htm	500	1999-09-21	The Definition of V
log027.htm	1263	2002-09-22	IndexFrame: The Definition of V
log028.htm	8735	2003-03-15	MainFrame: The Definition of V
log029.htm	6393	2006-04-24	MainFrame: The Iterative Conception of Set
log030.htm	1225	2002-10-04	IndexFrame: The Iterative Conception of Set
log031.htm	591	1997-12-31	HOST Implementation Features
log032.htm	1137	1999-10-07	IndexFrame: HOST Implementation Features
log033.htm	5666	1999-10-07	MainFrame: HOST Implementation Features
log034.htm	650	1998-01-04	HOST - Higher Order Set Theory
log035.htm	1072	1999-10-07	IndexFrame: HOST - Higher Order Set Theory
log036.htm	8264	1999-10-07	MainFrame: HOST - Higher Order Set Theory
log037.htm	1207	1998-07-31	IndexFrame: What is Logic?
log038.htm	20817	1999-10-05	MainFrame: What is Logic?
log039.htm	1223	1998-06-30	IndexFrame: An Introduction to Propositional Logics
log040.htm	11454	2007-04-23	MainFrame: An Introduction to Propositional Logics
log040.htm~	11458	1999-10-05	MainFrame: An Introduction to Propositional Logics
log041.htm	596	1998-07-10	Boolean Propositional Connectives
log042.htm	907	1998-07-10	IndexFrame: Boolean Propositional Connectives
log043.htm	4947	1998-07-10	MainFrame: Boolean Propositional Connectives
log044.htm	5731	1998-11-12	Logical People
log045.htm	1311	1998-11-27	IndexFrame: Factasia Logic Netlinks
log046.htm	12113	2004-12-23	MainFrame: Factasia Logic Netlinks
log047.htm	3827	1998-11-27	Semi-Formal Description of Frege's Begriffsschrift
log048.htm	551	2000-03-05	Boolean Operators
log049.htm	1804	1999-10-02	IndexFrame: Boolean Operators
log050.htm	34388	2001-02-24	MainFrame: Boolean Operators
log051.htm	1351	2000-03-05	IndexFrame: Applications of Logic
log052.htm	15876	1999-10-12	MainFrame: Applications of Logic
log053.htm	642	1999-10-05	Varieties of Logic
log054.htm	1233	1999-10-05	IndexFrame: Varieties of Logic
log055.htm	8909	1999-10-05	MainFrame: Varieties of Logic
qedres00.htm	1721	1998-08-13	the QED Manifesto
qedres01.htm	11946	1996-03-31	the QED Manifesto - Why is QED important
qedres02.htm	19500	1996-03-31	the QED Manifesto - Some Objections
qedres03.htm	11300	1996-03-31	the QED Manifesto - Some Background
qedres04.htm	2642	1996-03-31	QED Manifesto - The Relationship of QED to Artificial Intelligence (AI) and to Automated Reasoning (AR)
qedres05.htm	10524	1996-03-31	QED Manifesto - The Root Logic
qedres06.htm	8154	1996-03-31	QED Manifesto - What Is To Be Done?
qedres07.htm	1945	1996-03-31	QED Manifesto - copyright and authorship
qedres08.htm	2957	1998-08-13	QED Manifesto - RBJ's Critique
qedres09.htm	5256	1996-03-31	the QED Manifesto - RBJ's critique
qedres10.htm	5201	1996-03-31	QED Manifesto - some objections and responses - RBJ's critique
qedres11.htm	3294	1996-03-31	QED Manifesto critique - Some Background, Being a Critique of Current Related Efforts
qedres12.htm	1277	1996-03-31	QED Manifesto critique - The Relationship of QED to Artificial Intelligence (AI) and to Automated Reasoning (AR)
qedres13.htm	1156	1996-03-31	QED Manifesto critique - The Root Logic
qedres14.htm	2301	1996-03-31	QED Manifesto critique - What Is To Be Done?
qedres15.htm	945	1996-03-31	QED Manifesto - copyright and authorship
qedres16.htm	1170	1998-08-13	the QED Manifesto - what's new?
qedresab.htm	1562	1998-08-13	the QED Manifesto - RBJ edition
rbj006.htm	3481	1998-08-13	Logic is Important?

name	size	mdate	title
000.htm	6475	2008-04-14	Index for directory rbjpub/logic/cl
cl001.htm	459	1999-09-20	The Lambda-SKI Cube
cl003.htm	4654	1999-09-19	The Axes of the Lambda-SKI Cube
cl004.htm	1374	1999-09-19	The Faces of the Lambda-SKI Cube
cl005.htm	2377	1999-09-19	The Vertices of the Lambda-SKI Cube
cl006.htm	2744	1999-09-19	Pure Combinatory Logic
cl007.htm	3258	1999-09-19	The Type-Free Lambda Calculus
cl008.htm	2536	1999-09-21	Illative Combinatory Logic
cl009.htm	1911	1999-09-19	Type-free lambda logics (lL)
cl010.htm	2469	2005-12-29	Typed Combinatory Calculi (Tc)
cl011.htm	3622	1999-09-19	Pure Typed Lambda-Calculus
cl012.htm	825	1999-09-19	Typed Combinatory Logics
cl013.htm	4197	2005-12-29	Typed Lambda Logic's
cl014.htm	1851	1999-09-19	IndexFrame: The Lambda-SKI Cube
cl015.htm	2795	1999-09-19	MainFrame: The Lambda-SKI Cube
cl016.htm	1677	1999-09-22	IndexFrame: The Lambda-calculus, Combinatory Logic, and Type Systems
cl017.htm	19110	1999-11-20	MainFrame: The Lambda-calculus, Combinatory Logic, and Type Systems
index.htm	662	1999-09-30	The Lambda-calculus, Combinatory Logic, and Type Systems
inter005.htm	4481	1995-12-12	Combinatory Logics with Essentially Incomplete Models
inter008.htm	4014	1995-12-12	CLIEM - The Problem
inter009.htm	1916	1995-12-12	CLIEM - A Solution
inter011.htm	6538	1995-12-12	Strong Consistent Combinatory Logics
tlc001.htm	472	1999-09-20	Barendregt's Lambda Cube
tlc002.htm	2079	1999-09-20	IndexFrame: Barendregt's Lambda Cube
tlc003.htm	16431	1999-09-21	MainFrame: Barendregt's Lambda Cube
tlc004.htm	613	1999-09-20	Pure Type Systems
tlc005.htm	1224	1999-09-21	IndexFrame: Pure Type Systems
tlc006.htm	17782	1999-09-21	MainFrame: Pure Type Systems
tlc007.htm	592	1999-09-22	A Brief History of Types
tlc008.htm	1569	1999-09-22	IndexFrame: A Brief History of Types
tlc009.htm	7941	1999-09-24	MainFrame: A Brief History of Types

name	size	mdate	title
000.htm	3758	2008-04-14	Index for directory rbjpub/logic/foundations
index-i.html	2069	2008-04-14
index-m.html	12099	2008-04-14
index.html	1052	2008-04-14	Foundation Systems

name	size	mdate	title
000.htm	8403	2008-04-14	Index for directory rbjpub/logic/rda40
footnode.htm	1080	1999-09-01	Footnotes
index.htm	26679	1999-09-01	On Complete -Consistent Theories of Arithmetic
rda40.htm	26679	1999-09-01	On Complete -Consistent Theories of Arithmetic

name	size	mdate	title
000.htm	3393	2008-04-14	Index for directory rbjpub/maths
index.htm	3076	2003-07-24	Mathematics
math001.htm	4862	2004-12-19	The Factasia Mathematics Resource Hub
math002.htm	1680	1998-07-26	Who does maths and what tools do they use/need.
math003.htm	5119	2001-10-01	A Short History of Rigour in Mathematics
math004.htm	3939	1998-07-26	Threads in the Web of Mathematics
math005.htm	4312	2000-03-03	Classical Greek Mathematics
math006.htm	4429	1998-10-23	The Formalisation of Mathematics
math007.htm	4441	1998-08-06	Real Numbers - a logical development
math008.htm	8164	2004-12-23	Real Numbers - some history
math009.htm	4693	1998-08-14	Formality and Rigour in 20th Century Mathematics
math010.htm	2114	1998-07-26	Re-Use and Abstraction
math011.htm	4587	1999-10-10	Mathematics and the Scientific Revolution

name	size	mdate	title
000.htm	2289	2008-04-14	Index for directory rbjpub/methods
index.htm	2168	2003-07-24	Methods
meth001.htm	5546	2000-03-07	Factastic Future Engineering
meth002.htm	3095	1998-09-13	A Rather Generic Method
xm001-i.html	1992	2008-04-14
xm001-m.html	8590	2008-04-14
xm001.html	1035	2008-04-14	Making a Weltanschauung

name	size	mdate	title
000.htm	5711	2008-04-14	Index for directory rbjpub/methods/fm
fm001.htm	3537	1998-12-05	What are Formal Methods?
fm002.htm	4718	1998-12-12	Philosophy and Formal Methods
fm003.htm	1486	1998-06-21	Theory for Formal Methods
fm004.htm	620	1998-06-21	Formal Languages and Notations
fm005.htm	2705	1998-12-12	The Methods
fm008.htm	2940	1996-07-26	Formal Methods - Marketing Strategy
fm009.htm	4683	1995-10-26	Formal Methods Pages - Background and Motivation
fm010.htm	9622	2004-12-23	Formal Methods Netlinks
fm011.htm	4290	1998-08-09	The Axiomatic Method
fm012.htm	5025	1999-10-01	Carnap's Syntactical Method
fm013.htm	547	1999-10-21	The Method of Formal Logical Analysis
fm014.htm	7032	1999-10-21	MainFrame: The Method of Formal Logical Analysis
fm015.htm	1051	1999-10-21	IndexFrame: The Method of Formal Logical Analysis
fm016.htm	640	1998-01-04	A Framework for Formal Analysis
fm017.htm	1315	1998-06-30	IndexFrame: A Framework for Formal Analysis
fm018.htm	11159	1998-06-30	MainFrame: A Framework for Formal Analysis
fm019.htm	589	1999-10-21	Methods for Formal Analysis
fm020.htm	1363	1999-10-21	IndexFrame: Methods for Formal Analysis
fm021.htm	10369	1999-10-21	MainFrame: Methods for Formal Analysis
fm022.htm	1819	1998-06-21	Formal Notations
fm023.htm	1052	1998-06-30	IndexFrame: Formal Languages and Notations
fm024.htm	6206	1999-10-02	MainFrame: Formal Languages and Notations
index.htm	3498	1998-12-12	Formal Methods
xfm001-i.html	1842	2008-04-14
xfm001-m.html	20413	2008-04-14
xfm001.html	1097	2008-04-14	Notes on Algebraic Methods

name	size	mdate	title
000.htm	3311	2008-04-14	Index for directory rbjpub/music
chop10n10i.htm	1266	2003-10-12	Notes on: Chopin Etudes Op.10
index.htm	507	2001-10-19	Factasia Music
mjq001.htm	1836	2001-06-09	Quotations from Michael Jackson
mus000.htm	5428	2003-02-20	Factasia - Internet Resources in Music
mus001.htm	14262	2003-03-15	MainFrame: Factasia Music
mus002.htm	1423	2003-02-18	IndexFrame: Factasia Music
mus003.htm	513	2002-10-15	Performances by RbJ
mus004.htm	1539	2002-10-15	IndexFrame: Performances by RbJ
mus005.htm	10585	2002-10-15	MainFrame: Performances by RbJ
mus006.htm	515	2003-03-15	A Short History of Midi
mus007.htm	24129	2003-03-15	MainFrame: A Short History of Midi
mus008.htm	1510	2003-03-03	IndexFrame: A Short History of Midi

name	size	mdate	title
000.htm	19201	2008-04-14	Index for directory rbjpub/philos
analypos.pdf	85335	2008-04-14
fan001.htm	648	1998-12-11	Philosophy and Formal Analysis
fan002.htm	1219	1998-12-11	IndexFrame: Philosophy and Formal Analysis
fan003.htm	12662	1998-12-11	MainFrame: Philosophy and Formal Analysis
gsb001.htm	3949	1998-10-30	Philosophy and The Analytic Superbrain
gsb002.htm	4613	1996-10-21	Philosophy and The Global Superbrain
gsb003.htm	6286	2000-02-03	Hyper-Rationality
gsb004.htm	710	1998-10-13	The Holistic SuperBrain
gsb005.htm	1372	1999-10-07	IndexFrame: The Holistic SuperBrain
gsb006.htm	15039	1999-10-07	MainFrame: The Holistic SuperBrain
index.htm	548	1999-02-01	Factasia Philosophy
inter015.htm	13338	2007-05-12	The Factasia Philosophy Resource Hub
inter015.htm~	13346	2004-12-23	The Factasia Philosophy Resource Hub
inter016.htm	7210	2000-03-07	Analytic Philosophy
ohp000.htm	2454	1997-07-07	OpenHeart Philosophy
pos000.htm	2936	1996-12-23	Naive Neo-Classical Philosophy
pos001.htm	7651	1999-10-07	Philosophy and The Global Superbrain
pos002.htm	534	1998-09-08	Coming Up in Factasia Philosophy
pos003.htm	3589	1998-06-27	Philosophy
pos004.htm	1986	2001-11-08	IndexFrame: Philosophy
pos005.htm	24520	2006-03-13	MainFrame: Philosophy
pos006.htm	1757	1998-09-08	IndexFrame: Coming Up in Factasia Philosophy
pos007.htm	15163	1998-09-08	MainFrame: Coming Up in Factasia Philosophy
pos008.htm	488	1998-10-08	Rationality
pos009.htm	1002	1998-11-01	IndexFrame: Rationality
pos010.htm	12816	2001-10-19	MainFrame: Rationality
pos011.htm	627	1998-11-13	Academic Standards - Factasia Demurs
pos012.htm	1049	1998-11-13	IndexFrame: Academic Standards - Factasia Demurs
pos013.htm	10374	2001-10-19	MainFrame: Academic Standards - Factasia Demurs
pos014.htm	483	1999-07-21	Fallacies
pos015.htm	1247	1999-08-01	IndexFrame: Fallacies
pos016.htm	14335	1999-11-02	MainFrame: Fallacies
soc001.htm	922	1998-11-06	Institutional Pathology
soc002.htm	4152	1998-08-14	MathFit v MathKit
soc003.htm	1939	1998-08-01	Work, Learn, Play: Fulfillment
superbrain.pdf	52180	2008-04-14
x001-i.html	4048	2008-04-14
x001-m.html	58923	2008-04-14
x001.html	1101	2008-04-14	An Introduction to Metaphysical Positivism
x002-i.html	1563	2008-04-14
x002-m.html	10160	2008-04-14
x002.html	1095	2008-04-14	Pragmatic Scepticism
x003-i.html	3807	2008-04-14
x003-m.html	65623	2008-04-14
x003.html	1148	2008-04-14	Metaphysical and Logical Positivism Compared
x004-i.html	2594	2008-04-14
x004-m.html	22500	2008-04-14
x004.html	1183	2008-04-14	The Automation of Reason - Some History
x005-i.html	2735	2008-04-14
x005-m.html	26050	2008-04-14
x005.html	978	2008-04-14	X-Logic
x006-i.html	2716	2008-04-14
x006-m.html	24850	2008-04-14
x006.html	1055	2008-04-14	Positive Metaphysics
x007-i.html	2494	2008-04-14
x007-m.html	24634	2008-04-14
x007.html	1116	2008-04-14	First Philosophy
x008-i.html	1779	2008-04-14
x008-m.html	7385	2008-04-14
x008.html	1046	2008-04-14	Philosophical Language
x009-i.html	2602	2008-04-14
x009-m.html	34124	2008-04-14
x009.html	1057	2008-04-14	Analytic Metaphysics
x010-i.html	2254	2008-04-14
x010-m.html	28899	2008-04-14
x010.html	1030	2008-04-14	Metaphysical Positivism
x011-i.html	2742	2008-04-14
x011-m.html	18509	2008-04-14
x011.html	1045	2008-04-14	Formal Philosophy
x012-i.html	2550	2008-04-14
x012-m.html	38118	2008-04-14
x012.html	1044	2008-04-14	Open Scepticism
x013-i.html	2267	2008-04-14
x013-m.html	17329	2008-04-14
x013.html	1028	2008-04-14	Philosophy as Art
x014-i.html	2052	2008-04-14
x014-m.html	21532	2008-04-14
x014.html	1007	2008-04-14	Pragmatic Scepticism
x015-i.html	2127	2008-04-14
x015-m.html	15594	2008-04-14
x015.html	1100	2008-04-14	Logic and Emotion
x016-i.html	2143	2008-04-14
x016-m.html	17034	2008-04-14
x016.html	1141	2008-04-14	Logic and Emotion, Rationality and Romanticism
x017-i.html	2350	2008-04-14
x017-m.html	26066	2008-04-14
x017.html	1154	2008-04-14	Rationality and Romanticism
x018-i.html	2785	2008-04-14
x018-m.html	33327	2008-04-14
x018.html	1064	2008-04-14	Positive Philosophy
x019-i.html	1833	2008-04-14
x019-m.html	35168	2008-04-14
x019.html	1045	2008-04-14	RBJones.com
x020-i.html	3022	2008-04-14
x020-m.html	37265	2008-04-14
x020.html	1080	2008-04-14	Naive Philosophy
x021-i.html	2291	2008-04-14
x021-m.html	25010	2008-04-14
x021.html	1050	2008-04-14	Synthetic Philosophy
x022-i.html	1816	2008-04-14
x022-m.html	15705	2008-04-14
x022.html	1042	2008-04-14	Positive Science
x023-i.html	2472	2008-04-14
x023-m.html	35889	2008-04-14
x023.html	1050	2008-04-14	The Essence of Metaphysical Positivism
xe001-i.html	2067	2008-04-14
xe001-m.html	11620	2008-04-14
xe001.html	1062	2008-04-14	Creative and Utopian Scepticism
xp001-i.html	1802	2008-04-14
xp001-m.html	10753	2008-04-14
xp001.html	1080	2008-04-14	Existential Positivism

name	size	mdate	title
000.htm	39487	2008-04-14	Index for directory rbjpub/philos/bibliog
a.htm	10923	2001-05-12	The Factasia Omniography - A
amazon.htm	2744	1999-11-01	In Association with Amazon.com ...
austin57.htm	13531	2003-05-03	notes on: A Plea for Excuses by J.L.Austin
ayer36.htm	2494	1998-11-22	notes on - Language Truth and Logic
b.htm	30836	2007-08-06	The Factasia Omniography - B
b.htm~	30229	2007-01-24	The Factasia Omniography - B
baj001.htm	10621	1999-10-19	Barbara's Corner
beeso80.htm	3609	2006-01-17	notes on - Foundations of Constructive Mathematics
berlin-i.html	3876	2008-04-14
berlin-m.html	65966	2008-04-14
berlin.html	1142	2008-04-14	Notes on the writings of Isaiah Berlin
berlin02-i.html	2629	2008-04-14
berlin02-m.html	30361	2008-04-14
berlin02.html	1096	2008-04-14	Notes on - Freedom and its Betrayal
berlin1999-i.html	3224	2008-04-14
berlin1999-m.html	31604	2008-04-14
berlin1999.html	1113	2008-04-14	Notes on - The Roots of Romanticism
berlin2004-i.html	1894	2008-04-14
berlin2004-m.html	11572	2008-04-14
berlin2004.html	1060	2008-04-14	Notes on - Liberty
berlin2006-i.html	4012	2008-04-14
berlin2006-m.html	42895	2008-04-14
berlin2006.html	1156	2008-04-14	Notes on - Political Ideas in the Romantic Age
berlin78-i.html	1889	2008-04-14
berlin78-m.html	21932	2008-04-14
berlin78.html	1072	2008-04-14	Notes on - Russian Thinkers
berlin79-i.html	2667	2008-04-14
berlin79-m.html	31919	2008-04-14
berlin79.html	1082	2008-04-14	Notes on - Against the Current
berlin90-i.html	2797	2008-04-14
berlin90-m.html	41199	2008-04-14
berlin90.html	1122	2008-04-14	Notes on - The Crooked Timber of Humanity
bishop85.htm	5124	1999-09-21	notes on - Constructive Analysis
bloom-i.htm	2343	2008-04-14
bloom-m.htm	27489	2008-04-14
bloom.htm	1059	2008-04-14	Notes on the writings of Howard Bloom
bloom.htm~	4462	2002-12-24	notes on - The Lucifer Principle and Global Brain
bloom2000-i.html	3219	2008-04-14
bloom2000-m.html	53148	2008-04-14
bloom2000.html	1074	2008-04-14	Notes on Global Brain by Howard Bloom
bnet000.htm	4857	2003-06-17	The Factasia Bibliographic Resource Hub
boden90.htm	5307	1998-11-23	notes on - The Philosophy of Artificial Intelligence
boolos90.htm	2006	1998-11-23	Notes on - The Standard of Equality of Numbers
boolos97.htm	9612	2003-05-11	Notes on - Is Hume's Principle Analytic?
brockm95.htm	6237	1998-11-23	notes on - The Third Culture
c.htm	26467	2006-01-17	The Factasia Omniography - C
carnap34.htm	20601	2007-07-03	notes on - "Philosophy and Logical Syntax"
carnap34.htm~	20602	1998-12-25	notes on - "Philosophy and Logical Syntax"
carnap37.htm	11696	1998-12-31	notes on - "THE LOGICAL SYNTAX OF LANGUAGE"
carnap47.htm	7391	2007-07-09	notes on - "Meaning and Necessity" by Rudolf Carnap
carnap47.htm~	7361	2007-07-03	notes on - "Meaning and Necessity" by Rudolf Carnap
carnap47a-i.html	1916	2008-04-14
carnap47a-m.html	7871	2008-04-14
carnap47a.html	1151	2008-04-14	Notes on: Carnap's Method of Intension and Extension
carnap50.htm	6618	2001-08-28	notes on "Empiricism, Semantics and Ontology"
carnap63.htm	9379	2007-07-06	notes on - "The Philosophy of Rudolf Carnap"
carnap63.htm~	9349	2007-07-04	notes on - "The Philosophy of Rudolf Carnap"
coffa91.htm	4580	1998-11-23	notes on - "The Semantic Tradition"
conradi2001.htm	12932	2006-02-17	notes on - IRIS - The Life of Iris Murdoch
d.htm	15211	2007-02-11	The Factasia Omniography - D
d.htm~	14584	2007-01-04	The Factasia Omniography - D
dancy85.htm	10557	1999-01-17	notes on - "Introduction to Contemporary Epistemology"
dawkin89.htm	9424	2007-01-28	notes on The Selfish Gene
dawkin89.htm~	9502	2007-01-25	notes on The Selfish Gene
dawkins1982-i.html	1919	2008-04-14
dawkins1982-m.html	20113	2008-04-14
dawkins1982.html	1078	2008-04-14	Notes on The Extended Phenotype
dennet95.htm	4254	1998-11-20	notes on Darwin's Dangerous Idea
detlefsen2005-i.html	3228	2008-04-14
detlefsen2005-m.html	35568	2008-04-14
detlefsen2005.html	1149	2008-04-14	Notes on - Formalism
dnt95p1.htm	10596	1998-11-20	notes on Darwin's Dangerous Idea - Part I
dnt95p2.htm	5515	1998-11-20	notes on Darwin's Dangerous Idea - Part II
e.htm	9106	2007-02-01	The Factasia Omniography - E
e.htm~	9106	2005-03-10	The Factasia Omniography - E
empiricus1933-i.html	1906	2008-04-14
empiricus1933-m.html	10531	2008-04-14
empiricus1933.htm	2002	2005-03-10	Outlines of Pyrrhonism
empiricus1933.html	1114	2008-04-14	Notes on: Outlines of Phyrrhonism
f.htm	20410	2007-02-08	The Factasia Omniography - F
f.htm~	20710	2006-09-04	The Factasia Omniography - F
fall1.htm	3553	2004-03-18	IndexFrame: The Factasia Omniography
fall2.htm	26948	2008-04-14	MainFrame: Some People and Their Works
fefer60.htm	7281	1998-10-16	notes on - Arithmetisation of metamathematics in a general setting
feyer87.htm	4878	1998-11-23	Notes on Farewell to Reason
field97.htm	14700	1999-08-26	notes on - Which Undecidable Mathematical Sentences Have Determinate Truth Values?
flogic0.htm	572	1998-11-29	Some Logic People and Their Works
flogic1.htm	2957	2002-10-04	IndexFrame: Some Logic People and Their Works
flogic2.htm	10134	2008-04-14	MainFrame: Some logic People and Their Works
forster92-i.html	1902	2008-04-14
forster92-m.html	11554	2008-04-14
forster92.html	1118	2008-04-14	Notes on: Set Theory with a Universal Set
fphil0.htm	587	1998-12-08	Some Philosophy People and Their Works
fphil1.htm	2043	2002-10-04	IndexFrame: Some Philosophy People and Their Works
fphil2.htm	14020	2008-04-14	MainFrame: Some philosophy People and Their Works
freal0.htm	626	1999-05-01	Some "Real" People and Their Works
freal1.htm	2279	2001-02-06	IndexFrame: Some Real People and Their Works
freal2.htm	5408	2002-08-10	MainFrame: Some reals People and Their Works
frege01.htm	50153	1999-09-17	notes on: Frege's Begriffsschrift
frege02.htm	9373	1998-12-01	notes on: The Foundations of Arithmetic by Gottlob Frege
friedmanm1999.htm	1872	2001-07-19	notes on: Reconsidering Logical Positivism by Michael Friedman
g.htm	12698	2007-02-10	The Factasia Omniography - G
g.htm~	12917	2006-04-17	The Factasia Omniography - G
gelln59.htm	18195	2006-03-12	notes by RBJ on: Words and Things; by Ernest Gellner
gellner92-i.html	1885	2008-04-14
gellner92-m.html	12865	2008-04-14
gellner92.html	1123	2008-04-14	Notes on - Reason and Culture by Ernest Gellner
gould91.htm	7258	1998-11-23	notes on - Bully for Brontosaurus
grice89.htm	18621	2003-05-11	notes on: Studies in the Ways of Words by H.P.Grice
gurev95.htm	2437	1998-11-23	notes on "Platonism, Constructivism, and Computer Proof vs. Proofs by Hand"
h.htm	29809	2004-12-19	The Factasia Omniography - H
hack96b0.htm	679	1998-11-01	Notes on - Wittgenstein's Place in 20th Century Analytic Philosophy
hack96b1.htm	1584	2007-01-06	IndexFrame: Notes on - Wittgenstein's Place in 20th Century Analytic Philosophy
hack96b2.htm	3149	2007-01-06	MainFrame: Notes on - Wittgenstein's Place in 20th Century Analytic Philosophy
hatch82.htm	14496	1999-10-16	Notes on: The Logical Foundations of Mathematics
i.htm	3292	2000-02-18	The Factasia Omniography - I
ibs.htm	1754	1999-11-01	Factasia is an iBS partner
index.htm	535	1998-12-08	The Factasia Omniography
j.htm	6147	2001-06-09	The Factasia Omniography - J
k.htm	10101	2006-04-26	The Factasia Omniography - K
kolakowski1972.htm	20226	2007-02-06	notes on - "Positivist Philosophy"
kolakowski1972.htm~	18882	2007-02-06	notes on - "Positivist Philosophy"
l.htm	5586	1999-03-07	The Factasia Omniography - L
lakato76.htm	3530	1999-11-01	Notes on: Proofs and Refutations
leibniz001.html	5388	2008-04-14	Quotations from the Writings of Gottfried Wilhelm Leibniz
lw0.htm	645	1998-11-13	Notes on: Ludwig Wittgenstein
lw1.htm	1242	1998-11-13	IndexFrame: Notes on: Ludwig Wittgenstein
lw2.htm	16173	2000-09-01	MainFrame: Notes on: Ludwig Wittgenstein
m.htm	18465	2007-02-19	The Factasia Omniography - M
m.htm~	17560	2006-02-20	The Factasia Omniography - M
macla71.htm	5140	1999-10-22	notes on: Categories for the Working Mathematician
macla86.htm	1785	1999-11-17	notes on: Mathematics, Form and Function
magee78-i.html	2147	2008-04-14
magee78-m.html	19681	2008-04-14
magee78.html	1062	2008-04-14	Notes on - Men of Ideas
mcnau88.htm	4742	1998-10-23	notes on: Moral Vision
montaigne2003-i.html	1934	2008-04-14
montaigne2003-m.html	18514	2008-04-14
montaigne2003.html	1094	2008-04-14	Montaigne: The Complete Works
moore03.htm	47651	1998-10-29	notes on: Principia Ethica
moore25.htm	5295	1998-11-21	notes on: A Defence of Common Sense by G.E.Moore
n.htm	3716	1999-03-07	The Factasia Omniography - N
o.htm	4194	2000-03-07	The Factasia Omniography - O
obp94at.htm	593	1998-03-01	Notes on: [British] Company Law - statutes
obp94ati.htm	1792	1999-10-19	IndexFrame: Notes on: Company Law - Statues
obp94atm.htm	21420	2000-03-07	MainFrame: Notes on: [British] Company Law - Statutes
p.htm	16748	2007-07-05	The Factasia Omniography - P
p.htm~	16746	2007-07-05	The Factasia Omniography - P
penros90.htm	4762	1999-10-19	notes on: The Emperor's New Mind
penros94.htm	2889	1999-10-19	notes on - Shadows of the Mind
popp45a.htm	8622	1999-10-19	notes on - The Open Society and its Enemies - Vol1: The Spell of Plato
popper63b-i.html	2179	2008-04-14
popper63b-m.html	15707	2008-04-14
popper63b.html	1233	2008-04-14	Notes on: The Demarcation between Science and Metaphysics
profbib.htm	3596	1998-11-22	The Factasia Omniography - ?proforma?
profnote.htm	921	1998-10-30	notes on: ?profile?
pubs.htm	15265	2004-12-23	Publishers
q.htm	9882	2001-10-20	The Factasia Omniography - Q
quine36.htm	6690	2001-08-27	notes on "Truth by Convention"
quine48.htm	3973	2004-04-13	notes on "On what there is"
quine51.htm	5012	2001-10-10	notes on "On Carnap's Views on Ontology"
quine53a.htm	18946	2001-10-20	notes on Quine's "Two Dogmas of Empiricism"
quine53a0.htm	640	2001-10-20	Notes on Quine's: Two Dogmas of Empiricism
quine53a1.htm	1351	2001-10-20	IndexFrame: notes on Quine's: Two Dogmas of Empiricism
quine53a2.htm	19948	2001-10-20	MainFrame: notes on Quine's: Two Dogmas of Empiricism
quine70.htm	3055	1998-11-23	notes on "Philosophy of Logic" by Quine
quine76.htm	11398	2004-04-11	notes on Quine: "The Ways of Paradox - and other essays"
quine87.htm	5177	2001-06-16	notes on "Quiddities"
r.htm	15126	2006-03-15	The Factasia Omniography - R
russ08.htm	5418	1998-11-27	Notes on: Mathematical Logic as Based on the Theory of Types
russ18.htm	2439	1998-11-27	Notes on: The Philosophy of Logical Atomism
russ22.htm	2537	2000-09-27	notes on Russell's introduction to Wittgenstein's Tractatus
russ56.htm	2017	2003-05-03	Notes on: Logic and Knowledge
russell46-i.html	1890	2008-04-14
russell46-m.html	9661	2008-04-14
russell46.html	1107	2008-04-14	Notes on - History of Western Philosophy
russell46_32-i.html	2172	2008-04-14
russell46_32-m.html	16470	2008-04-14
russell46_32.html	1238	2008-04-14	Notes on - History of Western Philosophy - Rousseau to the Present Day
ryle32.htm	3018	1999-08-31	notes on: Systematically Misleading Expressions
s.htm	23789	2007-01-12	The Factasia Omniography - S
s.htm~	23797	2007-01-08	The Factasia Omniography - S
sartre46-i.html	2116	2008-04-14
sartre46-m.html	12566	2008-04-14
sartre46.html	1110	2008-04-14	Notes on - Existentialism & Humanism
schonf24.htm	3343	1998-12-10	notes on "On the Building Blocks of Mathematical Logic"
schopenhauer1818-i.html	2791	2008-04-14
schopenhauer1818-m.html	57126	2008-04-14
schopenhauer1818.html	1129	2008-04-14	Notes on - The World as Will and Idea
scruto94.htm	3429	1998-11-23	notes on Modern Philosophy
shapiro2005-i.html	2470	2008-04-14
shapiro2005-m.html	43112	2008-04-14
shapiro2005.html	1127	2008-04-14	Notes on - The Oxford Handbook of Philosophy of Mathematics and Logic
shapiro2005b-i.html	2725	2008-04-14
shapiro2005b-m.html	49924	2008-04-14
shapiro2005b.html	1145	2008-04-14	Notes on - The Oxford Handbook of Philosophy of Mathematics and Logic - Ch.1
shapiro91.htm	3309	2001-05-02	notes on "Foundations without Foundationalism"
singe91i.htm	1854	1999-10-19	IndexFrame: Notes on: A Companion to Ethics
singe91m.htm	10652	1999-10-19	MainFrame: Notes on: A Companion to Ethics
singer91.htm	626	1998-01-18	Notes on: A Companion to Ethics
stroll2000-i.html	2211	2008-04-14
stroll2000-m.html	23184	2008-04-14
stroll2000.html	1119	2008-04-14	Notes on - Twentieth-Century Analytic Philosophy
t.htm	13551	2006-04-18	The Factasia Omniography - T
tait2005-i.html	3123	2008-04-14
tait2005-m.html	71180	2008-04-14
tait2005.html	1133	2008-04-14	Notes on - The Provenance of Pure Reason
tarski35.htm	2759	2001-06-05	Notes on - On the Concept of Logical Consequence
u.htm	4910	2001-08-21	The Factasia Omniography - U
v.htm	2797	2004-03-18	The Factasia Omniography - V
w.htm	20178	2007-01-29	The Factasia Omniography - W
w.htm~	19657	2004-04-18	The Factasia Omniography - W
weihr95b.htm	1657	1998-11-23	notes on "A Foundation of Computable Analysis"
wiley52-i.html	2428	2008-04-14
wiley52-m.html	32413	2008-04-14
wiley52.html	1082	2008-04-14	Notes on: The Subtle Knot
wilfor85.htm	1936	1998-11-23	notes on: The Riddle of the Dinosaur
wolfra89.htm	3738	1998-11-23	notes on Philosophical Logic
y.htm	3425	2001-06-14	The Factasia Omniography - Y
z.htm	5394	2004-05-29	The Factasia Omniography - Z
zalta98a.htm	9113	1999-08-26	notes on: The Theory of Abstract Objects

name	size	mdate	title
000.htm	2227