Full RBJones.com Content Listing

name	size	mdate	title
000.htm	19942	2010-08-13	Index for directory rbjpub
0000.htm	4096	2010-08-13	Full RBJones.com 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
googleresults.html	437	2010-01-18
index.htm	19019	2010-01-18	RBJones.com Quick Index
net000.htm	7396	2007-04-20	Factasia - General Net Resources
privacy-i.htm	1517	2010-01-13
privacy-m.htm	5457	2010-01-13	RBJones.com Privacy Policy
privacy.htm	1076	2010-01-13	RBJones.com Privacy Policy
privacy.html	6579	2010-08-13	RBJones.com Privacy Policy
prof00.htm	803	1998-08-31	Document Proforma - level 0
projects.html	33835	2010-08-13	RBJ's Projects in Suspense
rbj-i.htm	2225	2010-08-13
rbj-m.htm	19067	2010-08-13	Roger Bishop Jones
rbj.htm	1042	2010-08-13	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	16856	2010-08-13	RBJones.com Directory Listing
rbj035.htm	26067	2000-04-12	The Factasia Top 100
rbj036.htm	31230	2010-06-23	RBJones.com Top 100
rbj037.htm	1190	2008-02-20	IndexFrame: Roger Bishop Jones
rbj038.htm	21395	2008-02-20	MainFrame: Roger Bishop Jones
rbj039.htm	3258	2008-02-20	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
search.html	23293	2010-08-13	RBJ's Egocentric Searches
x001-i.html	3564	2010-08-13
x001-m.html	52306	2010-08-13	RBJones.com
x001.html	1041	2010-08-13	RBJones.com
x002-i.html	2521	2010-08-13
x002-m.html	17970	2010-08-13	The Automation of Reason
x002.html	1075	2010-08-13	The Automation of Reason
x003-i.html	2585	2010-08-13
x003-m.html	20748	2010-08-13	Positive Philosophy
x003.html	1065	2010-08-13	Positive Philosophy
xhp001-i.html	2531	2010-08-13
xhp001-m.html	21715	2010-08-13	RBJones.com
xhp001.html	1050	2010-08-13	RBJones.com
xhp002-i.html	2544	2010-08-13
xhp002-m.html	27453	2010-08-13	RBJones.com
xhp002.html	1050	2010-08-13	RBJones.com
xhp003-i.html	3138	2010-08-13
xhp003-m.html	32694	2010-08-13	RBJones.com
xhp003.html	1048	2010-08-13	RBJones.com
xt001-i.html	2255	2010-08-13
xt001-m.html	21635	2010-08-13	Home Page History
xt001.html	1037	2010-08-13	Home Page History
xt002-i.html	3715	2010-08-13
xt002-m.html	52765	2010-08-13	The Stack of Change
xt002.html	1075	2010-08-13	The Stack of Change
xt003-i.html	2718	2010-08-13
xt003-m.html	32302	2010-08-13	The Dynamic of RBJones.com
xt003.html	1004	2010-08-13	The Dynamic of RBJones.com
xt004-i.html	2030	2010-08-13
xt004-m.html	10936	2010-08-13	New at RBJones.com
xt004.html	1051	2010-08-13	New at RBJones.com
xtc001-i.html	3226	2010-08-13
xtc001-m.html	40003	2010-08-13	Rationality and Romanticism
xtc001.html	1170	2010-08-13	Rationality and Romanticism
xtc002-i.html	2251	2010-08-13
xtc002-m.html	18541	2010-08-13	About Writing
xtc002.html	1029	2010-08-13	About Writing

name	size	mdate	title
000.htm	3188	2010-08-13	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	3185	2010-08-13	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	13098	2010-08-13	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	7604	2009-08-13	Formalised Mathematics - net links
ai005.htm	6995	2001-10-18	Mechanisation of Mathematics - net links
ai006.htm	6148	2009-11-14	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	11977	2009-03-24	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	11449	2009-05-09	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	3471	2009-05-09	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	4598	2009-05-09	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	3110	2010-08-13
xreal01-m.html	25669	2010-08-13	Exact Real Computation in ProofPower
xreal01.html	1176	2010-08-13	Exact Real Computation in ProofPower

name	size	mdate	title
000.htm	1945	2010-08-13	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	3604	2010-08-13	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	2040	2010-08-13
eng010-m.html	10085	2010-08-13	Engineering as Philosophy
eng010.html	1080	2010-08-13	Engineering as Philosophy
index.htm	458	1998-10-27	Engineering

name	size	mdate	title
000.htm	2708	2010-08-13	Index for directory rbjpub/future
fut000.htm	16501	2007-12-28	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	1527	2010-08-13	Index for directory rbjpub/isar
index.html	6281	2008-12-11	Index of Isabelle Theories

name	size	mdate	title
000.htm	25881	2010-08-13	Index for directory rbjpub/logic
ar001-i.html	2315	2010-08-13
ar001-m.html	9778	2010-08-13	The Automation of Reason
ar001.html	1096	2010-08-13	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	617	2009-03-31	Logic at RBJones.com
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-i.htm	3283	2010-08-13
inter014-m.htm	29896	2010-08-13	Notes on Proof Theoretic Strength
inter014.htm	1116	2010-08-13	Notes on 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
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	2512	2009-03-31	IndexFrame: Logic
log025.htm	29508	2009-09-28	MainFrame: Logic at RBJones.com
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	5665	2009-05-09	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	21270	2009-07-04	MainFrame: What is Logic?
log039.htm	1223	1998-06-30	IndexFrame: An Introduction to Propositional Logics
log040.htm	11618	2009-05-08	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	6504	2010-08-13	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	3877	2010-08-13	Index for directory rbjpub/logic/foundations
index-i.html	2559	2010-08-13
index-m.html	13401	2010-08-13	Foundation Systems
index.html	1052	2010-08-13	Foundation Systems

name	size	mdate	title
000.htm	8416	2010-08-13	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	3410	2010-08-13	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	4428	2009-05-09	The Formalisation of Mathematics
math007.htm	4441	1998-08-06	Real Numbers - a logical development
math008.htm	8206	2009-07-13	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	4585	2009-05-09	Mathematics and the Scientific Revolution

name	size	mdate	title
000.htm	2829	2010-08-13	Index for directory rbjpub/methods
index.htm	2659	2009-12-11	Methods
meth001.htm	5546	2000-03-07	Factastic Future Engineering
meth002.htm	3095	1998-09-13	A Rather Generic Method
xm001-i.html	3302	2010-08-13
xm001-m.html	22637	2010-08-13	Nomologico-Deductive Analytic Methods
xm001.html	1088	2010-08-13	Nomologico-Deductive Analytic Methods
xm002-i.html	2607	2010-08-13
xm002-m.html	15763	2010-08-13	On Deductive Methods
xm002.html	1095	2010-08-13	On Deductive Methods

name	size	mdate	title
000.htm	6707	2010-08-13	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-i.htm	2630	2010-08-13
fm012-m.htm	19649	2010-08-13	Carnap's Syntactical Method
fm012.htm	1096	2010-08-13	Carnap's Syntactical Method
fm013-i.htm	3768	2010-08-13
fm013-m.htm	40915	2010-08-13	The Method of Formal Logical Analysis
fm013.htm	1117	2010-08-13	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-i.htm	2884	2010-08-13
index-m.htm	31922	2010-08-13	Formal Methods
index.htm	1036	2010-08-13	Formal Methods
xfm001-i.html	2330	2010-08-13
xfm001-m.html	21377	2010-08-13	Notes on Algebraic Methods
xfm001.html	1095	2010-08-13	Notes on Algebraic Methods

name	size	mdate	title
000.htm	3327	2010-08-13	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	24896	2010-08-13	Index for directory rbjpub/philos
analypos.pdf	81694	2010-08-13
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	6351	2009-11-01	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	569	2009-03-31	Philosophy at RBJones.com
inter015.htm	13560	2010-01-19	The Factasia Philosophy Resource Hub
inter016-i.htm	2550	2010-08-13
inter016-m.htm	16028	2010-08-13	Analytic Philosophy
inter016.htm	1038	2010-08-13	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	3627	2009-11-01	Philosophy
pos004.htm	2039	2009-11-01	IndexFrame: Philosophy at RBJones.com
pos005.htm	24891	2009-08-01	MainFrame: Philosophy at RBJones.com
pos006.htm	1757	1998-09-08	IndexFrame: Coming Up in Factasia Philosophy
pos007.htm	15205	2009-11-01	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	49089	2010-08-13
x001-i.html	3769	2010-08-13
x001-m.html	49123	2010-08-13	More on Metaphysical Positivism
x001.html	1078	2010-08-13	More on Metaphysical Positivism
x002-i.html	3263	2010-08-13
x002-m.html	39003	2010-08-13	Scepticism
x002.html	1043	2010-08-13	Scepticism
x003-i.html	4296	2010-08-13
x003-m.html	67798	2010-08-13	Metaphysical and Logical Positivism Compared
x003.html	1147	2010-08-13	Metaphysical and Logical Positivism Compared
x004-i.html	3084	2010-08-13
x004-m.html	23527	2010-08-13	The Automation of Reason - Some History
x004.html	1183	2010-08-13	The Automation of Reason - Some History
x005-i.html	2992	2010-08-13
x005-m.html	31588	2010-08-13	X-Logic
x005.html	976	2010-08-13	X-Logic
x006-i.html	3057	2010-08-13
x006-m.html	51067	2010-08-13	Positive Metaphysics
x006.html	1053	2010-08-13	Positive Metaphysics
x007-i.html	2982	2010-08-13
x007-m.html	28975	2010-08-13	First Philosophy
x007.html	1114	2010-08-13	First Philosophy
x008-i.html	2269	2010-08-13
x008-m.html	7990	2010-08-13	Philosophical Language
x008.html	1046	2010-08-13	Philosophical Language
x009-i.html	3086	2010-08-13
x009-m.html	36007	2010-08-13	Analytic Metaphysics
x009.html	1055	2010-08-13	Analytic Metaphysics
x010-i.html	2778	2010-08-13
x010-m.html	26009	2010-08-13	Metaphysical Positivism
x010.html	1030	2010-08-13	Metaphysical Positivism
x011-i.html	3232	2010-08-13
x011-m.html	19208	2010-08-13	Formal Philosophy
x011.html	1045	2010-08-13	Formal Philosophy
x012-i.html	3264	2010-08-13
x012-m.html	43912	2010-08-13	Open Scepticism
x012.html	1042	2010-08-13	Open Scepticism
x013-i.html	2755	2010-08-13
x013-m.html	17436	2010-08-13	Philosophy as Art
x013.html	1026	2010-08-13	Philosophy as Art
x014-i.html	2810	2010-08-13
x014-m.html	27663	2010-08-13	Pragmatic Scepticism
x014.html	1005	2010-08-13	Pragmatic Scepticism
x015-i.html	2617	2010-08-13
x015-m.html	16193	2010-08-13	Logic and Emotion
x015.html	1100	2010-08-13	Logic and Emotion
x016-i.html	2633	2010-08-13
x016-m.html	18347	2010-08-13	Logic and Emotion, Rationality and Romanticism
x016.html	1141	2010-08-13	Logic and Emotion, Rationality and Romanticism
x017-i.html	2838	2010-08-13
x017-m.html	26808	2010-08-13	Rationality and Romanticism
x017.html	1152	2010-08-13	Rationality and Romanticism
x018-i.html	3536	2010-08-13
x018-m.html	42469	2010-08-13	Positive Philosophy
x018.html	1062	2010-08-13	Positive Philosophy
x019-i.html	2323	2010-08-13
x019-m.html	37866	2010-08-13	RBJones.com
x019.html	1045	2010-08-13	RBJones.com
x020-i.html	3521	2010-08-13
x020-m.html	43615	2010-08-13	Naive Philosophy
x020.html	1078	2010-08-13	Naive Philosophy
x021-i.html	2781	2010-08-13
x021-m.html	27990	2010-08-13	Synthetic Philosophy
x021.html	1050	2010-08-13	Synthetic Philosophy
x022-i.html	3028	2010-08-13
x022-m.html	52648	2010-08-13	Positive Science
x022.html	1040	2010-08-13	Positive Science
x023-i.html	3014	2010-08-13
x023-m.html	41049	2010-08-13	The Essence of Metaphysical Positivism
x023.html	1050	2010-08-13	The Essence of Metaphysical Positivism
x024-i.html	2723	2010-08-13
x024-m.html	34651	2010-08-13	Notes on Lao-tzu's Tao Te Ching
x024.html	1031	2010-08-13	Notes on Lao-tzu's Tao Te Ching
x025-i.html	2370	2010-08-13
x025-m.html	19552	2010-08-13	The Politics of Analytic Philosophy
x025.html	1098	2010-08-13	The Politics of Analytic Philosophy
x026-i.html	2850	2010-08-13
x026-m.html	21676	2010-08-13	Liberal Positivism
x026.html	1050	2010-08-13	Liberal Positivism
x027-i.html	3166	2010-08-13
x027-m.html	39268	2010-08-13	Background for Metaphysical Positivism
x027.html	1071	2010-08-13	Background for Metaphysical Positivism
x028-i.html	3018	2010-08-13
x028-m.html	31275	2010-08-13	Positivism
x028.html	1042	2010-08-13	Positivism
x029-i.html	2977	2010-08-13
x029-m.html	22541	2010-08-13	Critical Rationalism
x029.html	1112	2010-08-13	Critical Rationalism
x030-i.html	3113	2010-08-13
x030-m.html	20083	2010-08-13	Three Dialectics
x030.html	1054	2010-08-13	Three Dialectics
x031-i.html	2769	2010-08-13
x031-m.html	25104	2010-08-13	An Outline of Metaphysical Positivism
x031.html	1050	2010-08-13	An Outline of Metaphysical Positivism
x032-i.html	2857	2010-08-13
x032-m.html	44890	2010-08-13	HOT Philosophy
x032.html	1048	2010-08-13	HOT Philosophy
xe001-i.html	2579	2010-08-13
xe001-m.html	16208	2010-08-13	Scepticism, Creativity and Utopian Thought
xe001.html	1082	2010-08-13	Scepticism, Creativity and Utopian Thought
xe002-i.html	2976	2010-08-13
xe002-m.html	19732	2010-08-13	Dogma
xe002.html	994	2010-08-13	Dogma
xp001-i.html	2292	2010-08-13
xp001-m.html	11358	2010-08-13	Existential Positivism
xp001.html	1080	2010-08-13	Existential Positivism

name	size	mdate	title
000.htm	47289	2010-08-13	Index for directory rbjpub/philos/bibliog
a.htm	12785	2009-03-06	The Factasia Omniography - A
amazon.htm	2744	1999-11-01	In Association with Amazon.com ...
aune2008-i.html	2868	2010-08-13
aune2008-m.html	27809	2010-08-13	Notes on - An Empiricist Theory of Knowledge
aune2008.html	1136	2010-08-13	Notes on - An Empiricist Theory of Knowledge
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	31596	2009-08-13	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	4366	2010-08-13
berlin-m.html	67597	2010-08-13	Notes on the writings of Isaiah Berlin
berlin.html	1142	2010-08-13	Notes on the writings of Isaiah Berlin
berlin02-i.html	3119	2010-08-13
berlin02-m.html	30981	2010-08-13	Notes on - Freedom and its Betrayal
berlin02.html	1096	2010-08-13	Notes on - Freedom and its Betrayal
berlin1999-i.html	3714	2010-08-13
berlin1999-m.html	32224	2010-08-13	Notes on - The Roots of Romanticism
berlin1999.html	1113	2010-08-13	Notes on - The Roots of Romanticism
berlin2004-i.html	2384	2010-08-13
berlin2004-m.html	12176	2010-08-13	Notes on - Liberty
berlin2004.html	1060	2010-08-13	Notes on - Liberty
berlin2006-i.html	4502	2010-08-13
berlin2006-m.html	43526	2010-08-13	Notes on - Political Ideas in the Romantic Age
berlin2006.html	1156	2010-08-13	Notes on - Political Ideas in the Romantic Age
berlin78-i.html	2379	2010-08-13
berlin78-m.html	22545	2010-08-13	Notes on - Russian Thinkers
berlin78.html	1072	2010-08-13	Notes on - Russian Thinkers
berlin79-i.html	3157	2010-08-13
berlin79-m.html	32534	2010-08-13	Notes on - Against the Current
berlin79.html	1082	2010-08-13	Notes on - Against the Current
berlin90-i.html	3287	2010-08-13
berlin90-m.html	41825	2010-08-13	Notes on - The Crooked Timber of Humanity
berlin90.html	1122	2010-08-13	Notes on - The Crooked Timber of Humanity
bishop85.htm	5124	1999-09-21	notes on - Constructive Analysis
bloom-i.htm	2833	2010-08-13
bloom-m.htm	32123	2010-08-13	Notes on the writings of Howard Bloom
bloom.htm	1059	2010-08-13	Notes on the writings of Howard Bloom
bloom2000-i.html	3752	2010-08-13
bloom2000-m.html	63932	2010-08-13	Notes on 'Global Brain' by Howard Bloom
bloom2000.html	1078	2010-08-13	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	26959	2009-01-04	The Factasia Omniography - C
carnap34.htm	21630	2009-07-31	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
carnap47a-i.html	2406	2010-08-13
carnap47a-m.html	8509	2010-08-13	Notes on: Carnap's Method of Intension and Extension
carnap47a.html	1151	2010-08-13	Notes on: Carnap's Method of Intension and Extension
carnap50.htm	6618	2001-08-28	notes on "Empiricism, Semantics and Ontology"
carnap63.htm	9412	2009-10-11	notes on - "The Philosophy of Rudolf Carnap"
carnapquine90-i.html	2668	2010-08-13
carnapquine90-m.html	16138	2010-08-13	Notes on: Dear Carnap, Dear Van
carnapquine90.html	1170	2010-08-13	Notes on: Dear Carnap, Dear Van
coffa91.htm	9189	2009-02-01	notes on - "The Semantic Tradition"
conradi2001.htm	12932	2006-02-17	notes on - IRIS - The Life of Iris Murdoch
d.htm	15676	2009-08-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
dawkins1982-i.html	2932	2010-08-13
dawkins1982-m.html	52426	2010-08-13	Notes on The Extended Phenotype
dawkins1982.html	1076	2010-08-13	Notes on The Extended Phenotype
dennet95.htm	4254	1998-11-20	notes on Darwin's Dangerous Idea
detlefsen2005-i.html	3718	2010-08-13
detlefsen2005-m.html	36174	2010-08-13	Notes on - Formalism
detlefsen2005.html	1149	2010-08-13	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
empiricus1933-i.html	2396	2010-08-13
empiricus1933-m.html	11173	2010-08-13	Notes on: Outlines of Phyrrhonism
empiricus1933.htm	2002	2005-03-10	Outlines of Pyrrhonism
empiricus1933.html	1114	2010-08-13	Notes on: Outlines of Phyrrhonism
f.htm	22711	2009-12-22	The Factasia Omniography - F
fall1.htm	3183	2009-07-20	IndexFrame: The Factasia Omniography
fall2.htm	27841	2010-08-13	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	10538	2010-08-13	MainFrame: Some logic People and Their Works
forster92-i.html	2392	2010-08-13
forster92-m.html	12181	2010-08-13	Notes on: Set Theory with a Universal Set
forster92.html	1118	2010-08-13	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	14315	2010-08-13	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
friedmanharvey2009b-i.html	2445	2010-08-13
friedmanharvey2009b-m.html	15026	2010-08-13	Notes on: Friedmans Concept Calculus
friedmanharvey2009b.html	1169	2010-08-13	Notes on: Friedmans Concept Calculus
friedmanm1999.htm	1872	2001-07-19	notes on: Reconsidering Logical Positivism by Michael Friedman
g.htm	13308	2010-07-30	The Factasia Omniography - G
gelln59.htm	18195	2006-03-12	notes by RBJ on: Words and Things; by Ernest Gellner
gellner92-i.html	2375	2010-08-13
gellner92-m.html	13497	2010-08-13	Notes on - Reason and Culture by Ernest Gellner
gellner92.html	1123	2010-08-13	Notes on - Reason and Culture by Ernest Gellner
gould91.htm	7258	1998-11-23	notes on - Bully for Brontosaurus
grice89.htm	29889	2010-05-12	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	30574	2009-11-30	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
hylton2007-i.html	2851	2010-08-13
hylton2007-m.html	24375	2010-08-13	Notes on - Quine by Peter Hylton
hylton2007.html	1070	2010-08-13	Notes on - Quine by Peter Hylton
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	10221	2009-03-19	The Factasia Omniography - K
kolakowski1972.htm	23422	2009-08-15	notes on - "Positivist Philosophy"
kripke1980-i.html	2862	2010-08-13
kripke1980-m.html	37982	2010-08-13	Notes on - Naming and Necessity
kripke1980.html	1117	2010-08-13	Notes on - Naming and Necessity
l.htm	5586	1999-03-07	The Factasia Omniography - L
lakato76.htm	3530	1999-11-01	Notes on: Proofs and Refutations
leibniz001.html	5933	2010-08-13	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	19463	2009-09-02	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	2637	2010-08-13
magee78-m.html	20289	2010-08-13	Notes on - Men of Ideas
magee78.html	1062	2010-08-13	Notes on - Men of Ideas
marshall1992-i.html	2433	2010-08-13
marshall1992-m.html	15351	2010-08-13	Notes on - Demanding the Impossible - A History of Anarchism
marshall1992.html	1157	2010-08-13	Notes on - Demanding the Impossible - A History of Anarchism
mcnau88.htm	4742	1998-10-23	notes on: Moral Vision
miller2009-i.html	2892	2010-08-13
miller2009-m.html	23490	2010-08-13	Notes on: Some hard questions for Critical Rationalism
miller2009.html	1239	2010-08-13	Notes on: Some hard questions for Critical Rationalism
montaigne2003-i.html	2422	2010-08-13
montaigne2003-m.html	19126	2010-08-13	Montaigne: The Complete Works
montaigne2003.html	1092	2010-08-13	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	4101	2008-06-13	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	16752	2009-07-21	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	2669	2010-08-13
popper63b-m.html	16350	2010-08-13	Notes on: The Demarcation between Science and Metaphysics
popper63b.html	1233	2010-08-13	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	15368	2008-05-13	Publishers
q.htm	9882	2001-10-20	The Factasia Omniography - Q
quine36.htm	8717	2010-03-28	notes on "Truth by Convention"
quine48.htm	6612	2009-12-03	notes on "On what there is"
quine51.htm	5035	2009-11-27	notes on "On Carnap's Views on Ontology"
quine53a.htm	18946	2001-10-20	notes on Quine's "Two Dogmas of Empiricism"
quine53a0.htm	647	2009-11-01	notes on: Two Dogmas of Empiricism by W.V.O.Quine
quine53a1.htm	1351	2001-10-20	IndexFrame: notes on Quine's: Two Dogmas of Empiricism
quine53a2.htm	20177	2010-03-24	MainFrame: notes on: Two Dogmas of Empiricism by W.V.O.Quine
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	15124	2008-06-21	The Factasia Omniography - R
russ08.htm	5418	1998-11-27	Notes on: Mathematical Logic as Based on the Theory of Types
russ18-i.htm	2373	2010-08-13
russ18-m.htm	12626	2010-08-13	Notes on - The Philosophy of Logical Atomism
russ18.htm	1126	2010-08-13	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	2380	2010-08-13
russell46-m.html	10311	2010-08-13	Notes on - History of Western Philosophy
russell46.html	1107	2010-08-13	Notes on - History of Western Philosophy
russell46_32-i.html	2662	2010-08-13
russell46_32-m.html	17125	2010-08-13	Notes on - History of Western Philosophy - Rousseau to the Present Day
russell46_32.html	1238	2010-08-13	Notes on - History of Western Philosophy - Rousseau to the Present Day
ryle32.htm	3018	1999-08-31	notes on: Systematically Misleading Expressions
s.htm	24486	2010-05-17	The Factasia Omniography - S
sartre46-i.html	2606	2010-08-13
sartre46-m.html	13192	2010-08-13	Notes on - Existentialism & Humanism
sartre46.html	1110	2010-08-13	Notes on - Existentialism & Humanism
schonf24.htm	3343	1998-12-10	notes on "On the Building Blocks of Mathematical Logic"
schopenhauer1818-i.html	3281	2010-08-13
schopenhauer1818-m.html	54612	2010-08-13	Notes on - The World as Will and Idea
schopenhauer1818.html	1129	2010-08-13	Notes on - The World as Will and Idea
scruto94.htm	3429	1998-11-23	notes on Modern Philosophy
shapiro2005-i.html	2960	2010-08-13
shapiro2005-m.html	43883	2010-08-13	Notes on - The Oxford Handbook of Philosophy of Mathematics and Logic
shapiro2005.html	1127	2010-08-13	Notes on - The Oxford Handbook of Philosophy of Mathematics and Logic
shapiro2005b-i.html	3213	2010-08-13
shapiro2005b-m.html	52297	2010-08-13	Notes on - The Oxford Handbook of Philosophy of Mathematics and Logic - Ch.1
shapiro2005b.html	1143	2010-08-13	Notes on - The Oxford Handbook of Philosophy of Mathematics and Logic - Ch.1
shapiro91.htm	3310	2009-07-17	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	2701	2010-08-13
stroll2000-m.html	23817	2010-08-13	Notes on - Twentieth-Century Analytic Philosophy
stroll2000.html	1119	2010-08-13	Notes on - Twentieth-Century Analytic Philosophy
t.htm	13389	2009-04-01	The Factasia Omniography - T
tait2005-i.html	3613	2010-08-13
tait2005-m.html	71533	2010-08-13	Notes on - The Provenance of Pure Reason
tait2005.html	1133	2010-08-13	Notes on - The Provenance of Pure Reason
tarski35.htm	2759	2001-06-05	Notes on - On the Concept of Logical Consequence
u.htm	5003	2010-01-19	The Factasia Omniography - U
v.htm	2797	2004-03-18	The Factasia Omniography - V
w.htm	20178	2007-01-29	The Factasia Omniography - W
weihr95b.htm	1657	1998-11-23	notes on "A Foundation of Computable Analysis"
wiley52-i.html	2916	2010-08-13
wiley52-m.html	33901	2010-08-13	Notes on: The Subtle Knot
wiley52.html	1080	2010-08-13	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	2241	2010-08-13	Index for directory rbjpub/philos/classics
class001.htm	3304	2009-07-03	The Philosophy of Aristotle
index.htm	2586	2009-05-01	Philosophical Classics in HTML

name	size	mdate	title
000.htm	11486	2010-08-13	Index for directory rbjpub/philos/epistem
ftd.htm	17031	2009-05-09	The Fundamental Triple-Dichotomy
index.htm	5062	2009-03-13	Epistemology
rbj001.htm	570	2009-04-05	Epistemological Connections - Netlinks on Epistemology
rbj002.htm	6218	1999-10-22	Logicist Epistemology
rbj003.htm	1177	1999-10-19	Scepticism
rbj004.htm	1060	1999-10-21	Speculation
rbj005.htm	5161	2009-04-05	Epistemology at RBJones.com
rbj006.htm	3162	1998-08-01	Formal Analyticity
rbj008.htm	2367	1998-09-27	Why the Analytic/Synthetic dichotomy makes a difference
rbj009.htm	5255	1998-10-30	The Analytic - Synthetic Dichotomy - why it matters
rbj010-i.htm	2793	2010-08-13
rbj010-m.htm	24775	2010-08-13	Historical Notes on Analyticity
rbj010.htm	1106	2010-08-13	Historical Notes on Analyticity
rbj012.htm	1720	1997-06-15	Varieties of Epistemology on WWW
rbj013.htm	7662	1999-09-21	The Fundamental Triple-Dichotomy
rbj014.htm	13294	2009-05-09	Modelling the Triple-Dichotomy
rbj015.htm	5041	1995-02-11	Analyticity is coextensive with Necessity and A-Priority
rbj016.htm	5655	2009-04-02	Three Kinds of Knowledge
rbj017.htm	3421	1998-09-27	Two Epistemological Triads
rbj018.htm	3240	1998-09-27	Three Ways of Knowing
rbj019.htm	3184	1998-09-27	Three Kinds of Judgement
rbj020.htm	1660	2009-04-05	IndexFrame: Epistemological Connections - Netlinks on Epistemology
rbj021.htm	8669	2009-04-05	MainFrame: Epistemological Connections - Factasia Netlinks on Epistemology
rbj022.htm	1353	1999-10-22	IndexFrame: Logicist Epistemology
rbj023.htm	24019	1999-10-22	MainFrame: Logicist Epistemology
xep001-i.html	2554	2010-08-13
xep001-m.html	23634	2010-08-13	Synthetic Epistemology
xep001.html	1055	2010-08-13	Synthetic Epistemology
xep002-i.html	3384	2010-08-13
xep002-m.html	55431	2010-08-13	Defining Analyticity
xep002.html	1045	2010-08-13	Defining Analyticity
xep003-i.html	4002	2010-08-13
xep003-m.html	40563	2010-08-13	The Fundamental Triple-Dichotomy
xep003.html	1111	2010-08-13	The Fundamental Triple-Dichotomy
xep004-i.html	2817	2010-08-13
xep004-m.html	33183	2010-08-13	Hume's Fork
xep004.html	1139	2010-08-13	Hume's Fork
xep005-i.html	3299	2010-08-13
xep005-m.html	37656	2010-08-13	Restating the Dichotomies
xep005.html	1180	2010-08-13	Restating the Dichotomies
xep006-i.html	3068	2010-08-13
xep006-m.html	15620	2010-08-13	The Dichotomies Before Hume
xep006.html	1131	2010-08-13	The Dichotomies Before Hume
xep007-i.html	3742	2010-08-13
xep007-m.html	22426	2010-08-13	The Dichotomies After Hume
xep007.html	1124	2010-08-13	The Dichotomies After Hume
xep008-i.html	2337	2010-08-13
xep008-m.html	11233	2010-08-13	Progression
xep008.html	1062	2010-08-13	Progression
xep009-i.html	2353	2010-08-13
xep009-m.html	11265	2010-08-13	Essentialsim and Nominalism
xep009.html	1099	2010-08-13	Essentialsim and Nominalism

name	size	mdate	title
000.htm	1502	2010-08-13	Index for directory rbjpub/philos/ethics
eth001.htm	2823	1999-10-15	Moral Philosophy Netlinks

name	size	mdate	title
000.htm	7069	2010-08-13	Index for directory rbjpub/philos/glossary
a.htm	7293	2007-02-01	The Factasia Glossary - A
analyt.htm	2720	1999-10-19	Glossary - analytic
aprior.htm	1473	1999-11-01	Glossary - a priori/a posteriori
b.htm	3865	2000-02-20	The Factasia Glossary - B
c.htm	7802	2004-05-02	The Factasia Glossary - C
d.htm	7686	2009-04-30	The Factasia Glossary - D
e.htm	3517	2002-10-12	The Factasia Glossary - E
f.htm	6515	2009-08-09	The Factasia Glossary - F
fall1.htm	2632	2000-02-06	IndexFrame: The Factasia Glossary
fall2.htm	19289	2010-08-13	MainFrame: words about
g.htm	2063	2000-02-10	The Factasia Glossary - G
gnet000.htm	4503	2001-10-14	Factasia Glossary Netlinks
h.htm	4582	2006-05-02	The Factasia Glossary - H
i.htm	5091	2009-07-14	The Factasia Glossary - I
index.htm	594	2009-03-31	The RBJones.com Glossary
j.htm	2036	1999-10-19	The Factasia Glossary - J
k.htm	2031	2000-02-06	The Factasia Glossary - K
l.htm	6615	2007-01-06	The Factasia Glossary - L
logicism.htm	4143	1999-10-19	On the Origins of the word "Logicism"
m.htm	4588	2002-10-15	The Factasia Glossary - M
n.htm	2672	1999-11-17	The Factasia Glossary - N
o.htm	4912	2002-10-04	The Factasia Glossary - O
p.htm	10481	2006-05-07	The Factasia Glossary - P
philosop.htm	943	1999-01-05	What is Philosophy?
profglos.htm	979	1999-10-19	The Factasia Glossary - A
q.htm	3470	1999-11-17	The Factasia Glossary - Q
r.htm	5709	2002-10-12	The Factasia Glossary - R
s.htm	8646	2009-09-22	The Factasia Glossary - S
synthe.htm	1029	1999-10-19	Glossary - synthetic
t.htm	5618	2009-04-30	The Factasia Glossary - T
u.htm	3830	2003-01-28	The Factasia Glossary - U
v.htm	3952	1999-10-19	The Factasia Glossary - V
w.htm	1405	2009-04-30	The Factasia Glossary - W
y.htm	938	2009-04-30	The Factasia Glossary - Y
z.htm	2870	1999-10-19	The Factasia Glossary - Z

name	size	mdate	title
000.htm	15199	2010-08-13	Index for directory rbjpub/philos/history
aaq001.htm	4297	1998-09-27	Quotations from the Writings of Alfred Jules Ayer
bfq001.htm	1210	2008-09-07	Quotations from the Writings of Buckminster Fuller
brq001.htm	10183	2002-09-25	Quotations from the writings of Bertrand Russell
dhq001.htm	1690	1998-09-27	Quotations from the Writings of David Hilbert
his001.htm	4625	2010-03-29	Chronological List of "Western" Philosophers
his002.htm	1517	2000-02-06	Logical Positivism
his003.htm	656	1997-12-27	Varieties of Philosophical Analysis
his004.htm	1357	1998-10-23	IndexFrame: Varieties of Philosophical Analysis
his005.htm	10643	1998-11-20	MainFrame: Varieties of Philosophical Analysis
his006.htm	604	1998-11-27	Readings in Philosophical Analysis
his007.htm	1331	1998-11-27	IndexFrame: Readings in Philosophical Analysis
his008.htm	22543	1998-11-27	MainFrame: Readings in Philosophical Analysis
index-i.htm	3858	2010-08-13
index-m.htm	57051	2010-08-13	History of Philosophy
index.htm	1026	2010-08-13	History of Philosophy
lw000.htm	555	2000-08-29	Ludwig Wittgenstein
lw001.htm	1503	2010-03-04	IndexFrame: Ludwig Wittgenstein
lw002.htm	3084	2010-03-04	MainFrame: Ludwig Wittgenstein
ow001.htm	1374	2008-06-06	Quotations from the Writings of Oscar Wilde
rcl000.htm	538	1998-12-09	The Life of Rudolf Carnap
rcl001.htm	1224	1998-12-12	IndexFrame: The Life of Rudolf Carnap
rcl002.htm	22624	2007-06-30	MainFrame: The Life of Rudolf Carnap
rcp000.htm	608	2001-05-22	The Philosophy of Rudolf Carnap
rcp001.htm	1680	2001-05-22	IndexFrame: The Philosophy of Rudolf Carnap
rcp002.htm	35437	2009-03-21	MainFrame: The Philosophy of Rudolf Carnap
rcp003.htm	536	2007-06-30	Rudolf Carnap
rcp004.htm	1221	2007-06-30	IndexFrame: Rudolf Carnap
rcp005.htm	7810	2007-06-30	MainFrame: Rudolf Carnap
rcp006.htm	595	1999-01-04	Rudolf Carnap on Logical Syntax
rcp007.htm	1022	1999-01-04	IndexFrame: Rudolf Carnap on Logical Syntax
rcp008.htm	6899	1999-01-05	MainFrame: Rudolf Carnap on Logical Syntax
rcq001.htm	4388	2009-07-31	Quotations from Carnap
rnq001.htm	3678	1998-09-27	Quotations from the Writings of Robert Nozick
rvw000.htm	2844	1998-10-23	Russell v. Wittgenstein - Battle of the Giants
rvw001.htm	4101	2009-03-14	Russell on Wittgenstein
t.htm	2194	2010-02-04	Wittgenstein's Tractatus - Overview
t3.htm	2156	1998-10-23	Wittgenstein's Tractatus - Section 3
tarski01.htm	379	2006-05-07	The Feferman's on Tarski on Truth
thq001.htm	2726	2003-02-01	Quotations from the writings of Thomas Hobbes
tintro.htm	3740	2000-09-24	Wittgenstein's Tractatus - the Factastic Perspective
tlp001.htm	744	1998-11-19	The Proposition in Wittgenstein's Tractatus
tlp002.htm	1271	1998-11-19	IndexFrame: The Proposition in Wittgenstein's Tractatus
tlp003.htm	11516	1998-11-19	MainFrame: The Proposition in Wittgenstein's Tractatus
wqq001.htm	2863	1998-09-27	Quotations from the Writings of Willard Van Orman Quine
xh001-i.html	3824	2010-08-13
xh001-m.html	51017	2010-08-13	Notes on the History of Positivist Philosophy
xh001.html	1125	2010-08-13	Notes on the History of Positivist Philosophy
xh002-i.html	4090	2010-08-13
xh002-m.html	69448	2010-08-13	Historical notes on Scepticism
xh002.html	1109	2010-08-13	Historical notes on Scepticism
xh003-i.html	2553	2010-08-13
xh003-m.html	24461	2010-08-13	Leibniz and the Automation of Reason
xh003.html	1098	2010-08-13	Leibniz and the Automation of Reason
xh004-i.html	2833	2010-08-13
xh004-m.html	20376	2010-08-13	Impressions of the Philosophy of Iris Murdoch
xh004.html	1121	2010-08-13	Impressions of the Philosophy of Iris Murdoch
xh005-i.html	2300	2010-08-13
xh005-m.html	11997	2010-08-13	Truth in a Structure
xh005.html	1039	2010-08-13	Truth in a Structure
xh006-i.html	2335	2010-08-13
xh006-m.html	12758	2010-08-13	Historical Notes on The Axiomatic Method
xh006.html	1090	2010-08-13	Historical Notes on The Axiomatic Method
xh007-i.html	3365	2010-08-13
xh007-m.html	45718	2010-08-13	Notes on Isaiah Berlin
xh007.html	1075	2010-08-13	Notes on Isaiah Berlin
xh008-i.html	2548	2010-08-13
xh008-m.html	14284	2010-08-13	Notes on Berlin on Jean-Jacques Rousseau
xh008.html	1133	2010-08-13	Notes on Berlin on Jean-Jacques Rousseau
xh009-i.html	2570	2010-08-13
xh009-m.html	21399	2010-08-13	Isaiah Berlin on ...
xh009.html	1044	2010-08-13	Isaiah Berlin on ...
xh010-i.html	2363	2010-08-13
xh010-m.html	13922	2010-08-13	Carnap v. Kripke on the Triple-Dichotomy
xh010.html	1134	2010-08-13	Carnap v. Kripke on the Triple-Dichotomy
xh011-i.html	2853	2010-08-13
xh011-m.html	20468	2010-08-13	Origins of and Influences on Nomologico-Deductive Analysis
xh011.html	1159	2010-08-13	Origins of and Influences on Nomologico-Deductive Analysis
xh012-i.html	2107	2010-08-13
xh012-m.html	9203	2010-08-13	A Conversation between Carnap and Grice
xh012.html	1133	2010-08-13	A Conversation between Carnap and Grice

name	size	mdate	title
000.htm	9824	2010-08-13	Index for directory rbjpub/philos/logic
001.htm	538	1998-08-01	Necessity and Contingency
002.htm	1659	1998-07-26	Propositions
003.htm	508	1998-07-11	Philosophical Logicism
004.htm	3584	1998-07-26	Carts and Horses
005.htm	3573	1998-07-26	Some Necessary Propositions
006.htm	580	1998-07-21	Defining Necessity and Contingency
008.htm	2025	1998-07-26	Formal Analyticity
009.htm	521	1998-07-31	What is Logic? (philosopher's version)
010.htm	3394	1998-07-26	Support for a Necessary/Contingent Dichotomy
011.htm	3758	1998-07-26	Against the Necessary/Contingent Dichotomy
012.htm	530	1998-07-23	Definitions of Logic
013.htm	5444	2009-05-09	Formal Logical Analysis
014.htm	1358	1998-07-10	IndexFrame: What is Logic? (philosopher's version)
015.htm	15083	2009-05-09	MainFrame: What is Logic? (philosopher's version)
016.htm	1292	1998-07-10	IndexFrame: Philosophical Logicism
017.htm	19167	2009-05-09	MainFrame: Philosophical Logicism
018.htm	1123	1998-08-01	IndexFrame: Necessity and Contingency
019.htm	12036	1998-08-01	MainFrame: Necessity and Contingency
020.htm	1159	1998-07-21	IndexFrame: Definitions of Logic
021.htm	15499	1998-12-23	MainFrame: Definitions of Logic
022.htm	548	1998-07-21	Defining Logical Truth
023.htm	1295	1998-07-21	IndexFrame: Logical Truth
024.htm	19560	1998-07-23	MainFrame: Logical Truth
025.htm	1125	2001-06-23	IndexFrame: Defining Necessity and Contingency
026.htm	13532	1998-07-23	MainFrame: Defining Necessity and Contingency
027.htm	572	1998-10-23	Philosophy and Language - a historical sketch
028.htm	1368	1998-10-23	IndexFrame: Philosophy and Language - a historical sketch
029.htm	9332	1998-10-23	MainFrame: Philosophy and Language - a historical sketch
030.htm	1371	2003-04-21	IndexFrame: The Philosophy of Logic
031.htm	15603	2009-05-09	MainFrame: The Philosophy of Logic
index-i.htm	2571	2010-08-13
index-m.htm	25735	2010-08-13	The Philosophy of Logic
index.htm	1079	2010-08-13	The Philosophy of Logic
index2.htm	620	2010-08-13	The Philosophy of Logic
xpl001-i.html	3234	2010-08-13
xpl001-m.html	39414	2010-08-13	Analyses of Analysis
xpl001.html	1119	2010-08-13	Analyses of Analysis
xpl002-i.html	2336	2010-08-13
xpl002-m.html	12011	2010-08-13	The Logic and Metaphysics of Aristotle
xpl002.html	1099	2010-08-13	The Logic and Metaphysics of Aristotle
xpl003-i.html	2595	2010-08-13
xpl003-m.html	19694	2010-08-13	An Analytic History of Philosophical Analysis - Part I
xpl003.html	1173	2010-08-13	An Analytic History of Philosophical Analysis - Part I
xpl004-i.html	2353	2010-08-13
xpl004-m.html	23631	2010-08-13	An analytic History of Philosophical Analysis - Part II
xpl004.html	1225	2010-08-13	An analytic History of Philosophical Analysis - Part II
xpl005-i.html	2351	2010-08-13
xpl005-m.html	16717	2010-08-13	History of Philosophical Logic: Part I - Introduction
xpl005.html	1261	2010-08-13	History of Philosophical Logic: Part I - Introduction

name	size	mdate	title
000.htm	7749	2010-08-13	Index for directory rbjpub/philos/maths
faq001.htm	519	1998-06-23	Logicism
faq003.htm	3716	1998-07-28	What's Wrong with ZFC?
faq004.htm	15675	2009-04-01	Category Theoretic Perspectives on the Foundations of Mathematics
faq005.htm	630	1998-07-28	The Foundations of Mathematics
faq006-i.htm	2076	2010-08-13
faq006-m.htm	19868	2010-08-13	Philosophers on Mathematics
faq006.htm	1049	2010-08-13	Philosophers on Mathematics
faq007.htm	470	1998-07-30	Problems in the Philosophy of Mathematics
faq008.htm	6052	1999-10-16	Sources on the Philosophy of Mathematics
faq009.htm	3037	1998-12-23	History of the Logical Foundations of Mathematics
faq010.htm	3008	1998-07-26	What is Logicism?
faq011.htm	3478	1998-07-26	Validity, Necessity and Mathematics
faq012.htm	5135	1998-08-25	Are Foundations Necessary?
faq013.htm	742	1998-07-26	Mathematical Philosophy for Formal Analysis
faq014.htm	1321	1998-06-30	IndexFrame: Mathematical Philosophy for Formal Analysis
faq015.htm	13062	1998-07-26	MainFrame: Mathematical Philosophy for Formal Analysis
faq016.htm	1133	1998-07-02	IndexFrame: Logicism
faq017.htm	13963	2009-05-03	MainFrame: Logicism
faq018.htm	641	1998-07-24	What is a "foundation" for mathematics?
faq019.htm	1066	1998-07-25	IndexFrame: What is a "foundation" for mathematics?
faq020.htm	10558	1998-10-01	MainFrame: What is a "foundation" for mathematics?
faq021.htm	640	1998-08-06	Logical Foundations for Mathematics
faq022.htm	1311	1998-08-06	IndexFrame: Logical Foundations for Mathematics
faq023.htm	24959	1999-10-11	MainFrame: Logical Foundations for Mathematics
faq024.htm	1129	1998-07-28	IndexFrame: The Foundations of Mathematics
faq025.htm	12266	2007-08-20	MainFrame: The Foundations of Mathematics
faq027.htm	4511	1999-10-22	20th Century Schools in the Philosophy of Mathematics
faq028.htm	1530	2001-11-08	IndexFrame: The Philosophy of Mathematics
faq029.htm	10379	1999-10-10	MainFrame: The Philosophy of Mathematics
faq030.htm	1263	1998-07-30	IndexFrame: Problems in the Philosophy of Mathematics
faq031.htm	18435	1999-10-31	MainFrame: Problems in the Philosophy of Mathematics
index.htm	704	1998-07-30	The Philosophy of Mathematics
inter004.htm	5405	1998-07-26	Philosophy of Mathematics
inter007.htm	7661	1998-07-26	Mathematics is Analytic
inter010.htm	4545	1998-07-26	In Support of LOGICISM
net001.htm	1428	2001-11-08	Philosophy of Mathematics Links

name	size	mdate	title
000.htm	9760	2010-08-13	Index for directory rbjpub/philos/metap
index-i.htm	3031	2010-08-13
index-m.htm	21392	2010-08-13	Metaphysics and Philosophy of Science and Engineering
index.htm	1164	2010-08-13	Metaphysics and Philosophy of Science and Engineering
indexi.htm	1344	1999-04-16	IndexFrame: Metaphysics, Science and Engineering
indexm.htm	5640	1999-04-16	MainFrame: Metaphysics, and Philosophy of Science and Engineering
indextemp.htm	659	1999-04-16	Metaphysics and Philosophy of Science and Engineering
metap001.htm	2187	1998-09-27	Metaphysics
metap002.htm	648	1998-09-27	Possible Worlds
metap003.htm	1272	1998-09-27	IndexFrame: Possible Worlds
metap004.htm	18657	1998-09-27	MainFrame: Possible Worlds
metap005.htm	667	1998-10-30	The Role of MetaPhysics in Factasia
metap006.htm	1039	1998-10-30	IndexFrame: The Role of MetaPhysics in Factasia
metap007.htm	4961	2009-05-19	MainFrame: The Role of MetaPhysics in Factasia
mps001.htm	4180	2001-11-08	MetaPhysics and Philosophy of Science Net Links
pcs000.htm	3539	1998-09-27	Philosophy and Computing
pcs001.htm	1474	1998-07-31	Searle's Chinese Room
pcs002.htm	3291	1998-08-09	Penrose's New Suit
pcs003.htm	3046	2001-06-05	Fetzer's Folly
pcsai001.htm	1776	1998-09-27	Philosophy and Artificial Intelligence
pcsai002.htm	2208	1998-07-26	Philosophy and Artificial Intelligence Netlinks
pcsai003.htm	1101	1998-09-27	IndexFrame: Philosophy and Artificial Intelligence
pcsai004.htm	2667	1998-08-15	MainFrame: Philosophy and Artificial Intelligence
pphy001.htm	575	2010-01-07	Problems in Physics
xmp001-i.html	3779	2010-08-13
xmp001-m.html	44682	2010-08-13	Positive Metaphysics (II)
xmp001.html	1074	2010-08-13	Positive Metaphysics (II)
xps000-i.html	3233	2010-08-13
xps000-m.html	25589	2010-08-13	Metaphysics
xps000.html	1017	2010-08-13	Metaphysics
xps001-i.html	2075	2010-08-13
xps001-m.html	11386	2010-08-13	Philosophy, Mind, Brain
xps001.html	1088	2010-08-13	Philosophy, Mind, Brain
xps002-i.html	2763	2010-08-13
xps002-m.html	35689	2010-08-13	Space and Time
xps002.html	1015	2010-08-13	Space and Time
xps003-i.html	2541	2010-08-13
xps003-m.html	27000	2010-08-13	Formal approaches to Metaphysics
xps003.html	1131	2010-08-13	Formal approaches to Metaphysics
xps004-i.html	2319	2010-08-13
xps004-m.html	18125	2010-08-13	Metaphysical Ontology
xps004.html	1071	2010-08-13	Metaphysical Ontology
xps005-i.html	2533	2010-08-13
xps005-m.html	14543	2010-08-13	Philosophy of Science
xps005.html	1034	2010-08-13	Philosophy of Science
xps006-i.html	2293	2010-08-13
xps006-m.html	8101	2010-08-13	Philosophy of Engineering
xps006.html	1038	2010-08-13	Philosophy of Engineering
xps007-i.html	2631	2010-08-13
xps007-m.html	18601	2010-08-13	Carnap and Aristotle
xps007.html	1068	2010-08-13	Carnap and Aristotle

name	size	mdate	title
000.htm	2021	2010-08-13	Index for directory rbjpub/philos/politics
ppol001.htm	2155	1999-10-15	Political Science and Philosophy Netlinks
xpt001-i.html	2059	2010-08-13
xpt001-m.html	4013	2010-08-13	Ideas on Political Philosophy
xpt001.html	1073	2010-08-13	Ideas on Political Philosophy

name	size	mdate	title
000.htm	2263	2010-08-13	Index for directory rbjpub/pol
index.htm	474	1998-09-11	Politics
pol000.htm	3507	2004-12-19	Factasia Politics and Government Resource Hub
pol001.htm	929	1997-01-20	Men of Principle?
pol002.htm	1850	1998-09-13	Winston Spencer Churchill
pol003.htm	1192	1998-09-11	IndexFrame: Politics
pol004.htm	11028	1999-04-15	MainFrame: Politics

name	size	mdate	title
000.htm	20074	2010-08-13	Index for directory rbjpub/pp
analysis-i.html	3188	2010-08-13
analysis-m.html	412424	2010-08-13	The Theory analysis
analysis.html	996	2010-08-13	The Theory analysis
basic_hol-i.html	2264	2010-08-13
basic_hol-m.html	3511	2010-08-13	The Theory basic_hol
basic_hol.html	1003	2010-08-13	The Theory basic_hol
bin_rel-i.html	3429	2010-08-13
bin_rel-m.html	38401	2010-08-13	The Theory bin_rel
bin_rel.html	989	2010-08-13	The Theory bin_rel
char-i.html	2950	2010-08-13
char-m.html	6468	2010-08-13	The Theory char
char.html	968	2010-08-13	The Theory char
fixp-i.html	2484	2010-08-13
fixp-m.html	16947	2010-08-13	The Theory fixp
fixp.html	968	2010-08-13	The Theory fixp
hol-i.html	2021	2010-08-13
hol-m.html	2774	2010-08-13	The Theory hol
hol.html	961	2010-08-13	The Theory hol
index-i.html	3520	2010-08-13
index-m.html	37701	2010-08-13	ProofPower and its use at RBJones.com
index.html	1168	2010-08-13	ProofPower and its use at RBJones.com
init-i.html	2246	2010-08-13
init-m.html	4570	2010-08-13	The Theory init
init.html	968	2010-08-13	The Theory init
int-i.html	3369	2010-08-13
int-m.html	62484	2010-08-13	The Theory %int%
int.html	969	2010-08-13	The Theory %int%
list-i.html	3376	2010-08-13
list-m.html	19427	2010-08-13	The Theory list
list.html	968	2010-08-13	The Theory list
log-i.html	2931	2010-08-13
log-m.html	11227	2010-08-13	The Theory log
log.html	961	2010-08-13	The Theory log
min-i.html	2696	2010-08-13
min-m.html	5630	2010-08-13	The Theory min
min.html	961	2010-08-13	The Theory min
misc-i.html	3388	2010-08-13
misc-m.html	22771	2010-08-13	The Theory misc
misc.html	968	2010-08-13	The Theory misc
nat-i.html	3146	2010-08-13
nat-m.html	34815	2010-08-13	The Theory %nat%
nat.html	969	2010-08-13	The Theory %nat%
pair-i.html	3384	2010-08-13
pair-m.html	11289	2010-08-13	The Theory pair
pair.html	968	2010-08-13	The Theory pair
pc-i.html	3132	2010-08-13
pc-m.html	20526	2010-08-13	The Theory pc
pc.html	954	2010-08-13	The Theory pc
pp-smlxtras-i.html	2309	2010-08-13
pp-smlxtras-m.html	19960	2010-08-13	Extra sml procedures for ProofPower
pp-smlxtras.html	1147	2010-08-13	Extra sml procedures for ProofPower
pp_theories.pdf	1967661	2010-08-13
ppchartable.html	49386	2010-08-13	ProofPower Special Character Table
pptheories-i.html	1375	2006-05-04
pptheories-m.html	11682	2006-05-04
pptheories.html	12486	2010-08-13	Listings of some theories built into ProofPower
pure_categories-i.html	3088	2010-08-13
pure_categories-m.html	49401	2010-08-13	A Theory of Pure Categories
pure_categories.html	1146	2010-08-13	A Theory of Pure Categories
rda001.html	106136	2010-08-13	42 famous theorems in ProofPower
real-i.html	3378	2010-08-13
real-m.html	139379	2010-08-13	The Theory %real%
real.html	976	2010-08-13	The Theory %real%
sets-i.html	3152	2010-08-13
sets-m.html	28297	2010-08-13	The Theory sets
sets.html	968	2010-08-13	The Theory sets
si-i.html	2912	2010-08-13
si-m.html	10824	2010-08-13	The Theory si
si.html	954	2010-08-13	The Theory si
strong_infinity-i.html	2841	2010-08-13
strong_infinity-m.html	26382	2010-08-13	A strong axiom of infinity for HOL
strong_infinity.html	1109	2010-08-13	A strong axiom of infinity for HOL
wf_rec-i.html	2494	2010-08-13
wf_rec-m.html	11462	2010-08-13	The Theory wf_rec
wf_rec.html	982	2010-08-13	The Theory wf_rec
wf_recp-i.html	2953	2010-08-13
wf_recp-m.html	18037	2010-08-13	The Theory wf_recp
wf_recp.html	989	2010-08-13	The Theory wf_recp
wf_rel-i.html	2722	2010-08-13
wf_rel-m.html	10734	2010-08-13	The Theory wf_rel
wf_rel.html	982	2010-08-13	The Theory wf_rel
wf_relp-i.html	2728	2010-08-13
wf_relp-m.html	19825	2010-08-13	The Theory wf_relp
wf_relp.html	989	2010-08-13	The Theory wf_relp
x001-i.html	3738	2010-08-13
x001-m.html	65205	2010-08-13	A theory of fixed points
x001.html	1064	2010-08-13	A theory of fixed points
x002-i.html	3313	2010-08-13
x002-m.html	75150	2010-08-13	Transitive and Well-Founded Relations as Properties
x002.html	1143	2010-08-13	Transitive and Well-Founded Relations as Properties
x003-i.html	2977	2010-08-13
x003-m.html	101552	2010-08-13	Analyticity and Deduction
x003.html	1077	2010-08-13	Analyticity and Deduction
x003t-i.html	2489	2010-08-13
x003t-m.html	6063	2010-08-13	The Theory x003t
x003t.html	975	2010-08-13	The Theory x003t
x003u-i.html	2489	2010-08-13
x003u-m.html	6141	2010-08-13	The Theory x003u
x003u.html	975	2010-08-13	The Theory x003u
x003v-i.html	2489	2010-08-13
x003v-m.html	8735	2010-08-13	The Theory x003v
x003v.html	975	2010-08-13	The Theory x003v
x004-i.html	3102	2010-08-13
x004-m.html	23422	2010-08-13	Well-Foundedness and Recursion
x004.html	1112	2010-08-13	Well-Foundedness and Recursion
x005-i.html	2767	2010-08-13
x005-m.html	25008	2010-08-13	ProofPower
x005.html	995	2010-08-13	ProofPower