Full RBJones.com Content Listing

name	size	mdate	title
000.htm	19363	2016-01-18	Index for directory rbjpub
0000.htm	0	2016-01-18
fac001.sty	690	2016-01-18
frame0.htm	549	2016-01-18	Level 0 frame document proforma
frame1.htm	1010	2016-01-18	IndexFrame: Level 0 frame document proforma
frame2.htm	2380	2016-01-18	MainFrame: Level 0 frame document proforma
googleresults.html	437	2016-01-18
index.htm	18548	2016-01-18	RBJones.com Quick Index
infographics.html	505	2016-01-18	The InfoGraphics of Sarah Wenger
net000.htm	7396	2016-01-18	Factasia - General Net Resources
privacy.html	4536	2016-01-18	RBJones.com Privacy Policy
prof00.htm	803	2016-01-18	Document Proforma - level 0
projects.html	31621	2016-01-18	RBJ's Projects in Suspense
rbj.htm	6712	2016-01-18	Roger Bishop Jones
rbj0.htm	2894	2016-01-18	Roger Bishop Jones
rbj003.htm	4673	2016-01-18	The Importance of Being Earnest
rbj008.htm	537	2016-01-18	The Factasia Utopia
rbj008a.htm	537	2016-01-18	The Factasia Utopia
rbj009.htm	1170	2016-01-18	RBJ's Pick of The Net
rbj010.htm	2799	2016-01-18	RBJ's Underside Links
rbj011.htm	227	2016-01-18	The Factasia Net-Link Frame
rbj012.htm	1614	2016-01-18	Index: Factasia content lattice
rbj014.htm	1718	2016-01-18	Index: Factasia netlinks
rbj016.htm	230	2016-01-18	Factasia Content Frame
rbj019.htm	14177	2016-01-18	The Factasia Gif Gallery and Browser Bar
rbj020.htm	5694	2016-01-18	The Factasia Bridge
rbj021.htm	9060	2016-01-18	What is Factasia?
rbj022.htm	540	2016-01-18	Coming up in Factasia
rbj023.htm	3737	2016-01-18	Factasia Through the Looking Glass - a worm-hole warp-drive into the future of cyber-space
rbj024.htm	4646	2016-01-18	Reflexion in Factasia
rbj025.htm	2823	2016-01-18	Fantasy in Factasia
rbj026.htm	3922	2016-01-18	Magic in Factasia
rbj027.htm	4501	2016-01-18	Factasia Content Subject Lattice
rbj028.htm	3877	2016-01-18	Factasia Content Subject Tree
rbj029.htm	2459	2016-01-18	The Factasia Theme Park
rbj030.htm	1038	2016-01-18	Intuition & Emotion in Factasia
rbj031.htm	3039	2016-01-18	Factastic Themes - Breadth & Synthesis
rbj032.htm	1874	2016-01-18	Factastic Themes - Precision & Logic
rbj033.htm	5338	2016-01-18	Strategic Notes for Factasia Development
rbj034.htm	15981	2016-01-18	RBJones.com Directory Listing
rbj035.htm	26067	2016-01-18	The Factasia Top 100
rbj036.htm	31004	2016-01-18	RBJones.com Top 100
rbj037.htm	1190	2016-01-18	IndexFrame: Roger Bishop Jones
rbj038.htm	21395	2016-01-18	MainFrame: Roger Bishop Jones
rbj039.htm	3258	2016-01-18	Roger Bishop Jones
rbj040.htm	457	2016-01-18	The Factasia Home Page
rbj041.htm	1303	2016-01-18	IndexFrame: The Factasia Home Page
rbj042.htm	23817	2016-01-18	MainFrame: The Factasia Home Page
rbj043.htm	4934	2016-01-18	Factasia
rbj044.htm	1515	2016-01-18	IndexFrame: The Factasian Utopia
rbj045.htm	27819	2016-01-18	MainFrame: The Factasian Utopia
rbj046.htm	529	2016-01-18	Factasia Quick Index
rbj047.htm	2249	2016-01-18	IndexFrame: Coming up in Factasia
rbj048.htm	32417	2016-01-18	MainFrame: Coming up in Factasia
rbj049.htm	1053	2016-01-18	Download The Factasia HTML Help File
rbj050.htm	1445	2016-01-18	Download The RBJones.com gzipped tar File
rbj051.htm	2147	2016-01-18	The Factasia CD-ROM
rbj052.htm	18015	2016-01-18	MainFrame: RBJones.com
rbj053.htm	1223	2016-01-18	IndexFrame: RBJones.com
rbj054.htm	663	2016-01-18	RBJones.com - home of Factasia
rbj055.htm	20636	2016-01-18	MainFrame: Roger Bishop Jones
rbj056.htm	1083	2016-01-18	IndexFrame: Roger Bishop Jones
rbj057.htm	479	2016-01-18	Roger Bishop Jones
rbj058.htm	746	2016-01-18	Factasia Chat
rbjpgpk1.pgp	278	2016-01-18
search.html	22833	2016-01-18	RBJ's Egocentric Searches
x001-i.html	1350	2016-01-18
x001-m.html	5659	2016-01-18	The Philosophy of Roger Bishop Jones
x001.html	1067	2016-01-18	The Philosophy of Roger Bishop Jones
x002-i.html	2068	2016-01-18
x002-m.html	15326	2016-01-18	The Automation of Reason
x002.html	1075	2016-01-18	The Automation of Reason
x003-i.html	2130	2016-01-18
x003-m.html	21774	2016-01-18	Positive Philosophy
x003.html	1063	2016-01-18	Positive Philosophy
xhp001-i.html	2078	2016-01-18
xhp001-m.html	21255	2016-01-18	RBJones.com
xhp001.html	1050	2016-01-18	RBJones.com
xhp002-i.html	2091	2016-01-18
xhp002-m.html	26993	2016-01-18	RBJones.com
xhp002.html	1050	2016-01-18	RBJones.com
xhp003-i.html	2685	2016-01-18
xhp003-m.html	32769	2016-01-18	RBJones.com
xhp003.html	1048	2016-01-18	RBJones.com
xt001-i.html	1802	2016-01-18
xt001-m.html	21175	2016-01-18	Home Page History
xt001.html	1037	2016-01-18	Home Page History
xt002-i.html	3262	2016-01-18
xt002-m.html	52305	2016-01-18	The Stack of Change
xt002.html	1075	2016-01-18	The Stack of Change
xt003-i.html	2265	2016-01-18
xt003-m.html	31842	2016-01-18	The Dynamic of RBJones.com
xt003.html	1004	2016-01-18	The Dynamic of RBJones.com
xt004-i.html	1577	2016-01-18
xt004-m.html	10476	2016-01-18	New at RBJones.com
xt004.html	1051	2016-01-18	New at RBJones.com
xtc001-i.html	2773	2016-01-18
xtc001-m.html	39543	2016-01-18	Rationality and Romanticism
xtc001.html	1170	2016-01-18	Rationality and Romanticism
xtc002-i.html	1798	2016-01-18
xtc002-m.html	18081	2016-01-18	About Writing
xtc002.html	1029	2016-01-18	About Writing

name	size	mdate	title
000.htm	3188	2016-01-18	Index for directory rbjpub/bus
bus001.htm	8444	2016-01-18	Factasia Business Internet Resource Hub
bus002.htm	3156	2016-01-18	Value Agents
bus003.htm	1648	2016-01-18	The Factasia Business Park
bus004.htm	4988	2016-01-18	The Factasia Business Model
bus006.htm	1006	2016-01-18	IndexFrame: Business
bus007.htm	4026	2016-01-18	MainFrame: Business
bus008.htm	517	2016-01-18	The Factasia Marketing Page
bus009.htm	1247	2016-01-18	IndexFrame: The Factasia Marketing Page
bus010.htm	11411	2016-01-18	MainFrame: The Factasia Marketing Page
htw001.htm	2446	2016-01-18	From Hierarchy to Web
index.htm	520	2016-01-18	Business

name	size	mdate	title
000.htm	3185	2016-01-18	Index for directory rbjpub/bus/rbjltd
index.htm	3386	2016-01-18	Roger Bishop Jones Limited
rbjm001.htm	1479	2016-01-18	Minute rbjm001 - election to dispense with AGMs
rbjm002.htm	2614	2016-01-18	Minute rbjm002 - laying of accounts before a general meeting
rbjr00.htm	651	2016-01-18	Roger Bishop Jones Limited Company Registry
rbjr00i.htm	1518	2016-01-18	IndexFrame: Company Registry of Roger Bishop Jones Limited
rbjr00m.htm	12702	2016-01-18	MainFrame: Company Registry of Roger Bishop Jones Limited

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

name	size	mdate	title
000.htm	1945	2016-01-18	Index for directory rbjpub/econ
econ000.htm	3955	2016-01-18	Factasia Economics Internet Resource Hub
econ001.htm	1033	2016-01-18	IndexFrame: Economics
econ002.htm	3673	2016-01-18	MainFrame: Economics
index.htm	452	2016-01-18	Economics

name	size	mdate	title
000.htm	3602	2016-01-18	Index for directory rbjpub/engineer
eng000.htm	4186	2016-01-18	Factasia Engineering Netlinks
eng001.htm	6991	2016-01-18	Memetic Future Engineering
eng002.htm	1434	2016-01-18	IndexFrame: Engineering
eng003.htm	17224	2016-01-18	MainFrame: Engineering
eng004.htm	509	2016-01-18	Utopian Engineering
eng005.htm	1256	2016-01-18	IndexFrame: Utopian Engineering
eng006.htm	15075	2016-01-18	MainFrame: Utopian Engineering
eng007.htm	511	2016-01-18	Engineering Design
eng008.htm	978	2016-01-18	IndexFrame: Engineering Design
eng009.htm	6902	2016-01-18	MainFrame: Engineering Design
eng010-i.html	1587	2016-01-18
eng010-m.html	9625	2016-01-18	Engineering as Philosophy
eng010.html	1080	2016-01-18	Engineering as Philosophy
index.htm	458	2016-01-18	Engineering

name	size	mdate	title
000.htm	3183	2016-01-18	Index for directory rbjpub/future
fut000.htm	14752	2016-01-18	Factasia netlinks on the Future
fut001.htm	4770	2016-01-18	The Future of The Future
fut002.htm	4370	2016-01-18	Future Makers - Past, Present and Future
fut003.htm	1191	2016-01-18	Future Engineering Methods - Past, Present and Future
fut004.htm	3210	2016-01-18	The Collaborative Independent Creatives Scenario
fut005.htm	2826	2016-01-18	Decoupling Corporate Metrics
fut006.htm	4633	2016-01-18	Contrasting Visions of Future Empowerment
fut007-i.html	2013	2016-01-18
fut007-m.html	17387	2016-01-18	The Future of Humanity
fut007.html	973	2016-01-18	The Future of Humanity
index.htm	3633	2016-01-18	Factasia on The Future

name	size	mdate	title
000.htm	1360	2016-01-18	Index for directory rbjpub/isar

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

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

name	size	mdate	title
000.htm	3877	2016-01-18	Index for directory rbjpub/logic/foundations
index-i.html	2106	2016-01-18
index-m.html	12941	2016-01-18	Foundation Systems
index.html	1052	2016-01-18	Foundation Systems

name	size	mdate	title
000.htm	8416	2016-01-18	Index for directory rbjpub/logic/rda40
footnode.htm	1080	2016-01-18	Footnotes
index.htm	26679	2016-01-18	On Complete -Consistent Theories of Arithmetic
rda40.htm	26679	2016-01-18	On Complete -Consistent Theories of Arithmetic

name	size	mdate	title
000.htm	3405	2016-01-18	Index for directory rbjpub/maths
index.htm	3076	2016-01-18	Mathematics
math001.htm	4862	2016-01-18	The Factasia Mathematics Resource Hub
math002.htm	1680	2016-01-18	Who does maths and what tools do they use/need.
math003.htm	5119	2016-01-18	A Short History of Rigour in Mathematics
math004.htm	3939	2016-01-18	Threads in the Web of Mathematics
math005.htm	4312	2016-01-18	Classical Greek Mathematics
math006.htm	4428	2016-01-18	The Formalisation of Mathematics
math007.htm	4441	2016-01-18	Real Numbers - a logical development
math008.htm	8206	2016-01-18	Real Numbers - some history
math009.htm	4693	2016-01-18	Formality and Rigour in 20th Century Mathematics
math010.htm	2114	2016-01-18	Re-Use and Abstraction
math011.htm	4585	2016-01-18	Mathematics and the Scientific Revolution

name	size	mdate	title
000.htm	2829	2016-01-18	Index for directory rbjpub/methods
index.htm	2659	2016-01-18	Methods
meth001.htm	5546	2016-01-18	Factastic Future Engineering
meth002.htm	3095	2016-01-18	A Rather Generic Method
xm001-i.html	2849	2016-01-18
xm001-m.html	22177	2016-01-18	Nomologico-Deductive Analytic Methods
xm001.html	1088	2016-01-18	Nomologico-Deductive Analytic Methods
xm002-i.html	2154	2016-01-18
xm002-m.html	15303	2016-01-18	On Deductive Methods
xm002.html	1095	2016-01-18	On Deductive Methods

name	size	mdate	title
000.htm	6691	2016-01-18	Index for directory rbjpub/methods/fm
fm001.htm	3537	2016-01-18	What are Formal Methods?
fm002.htm	4718	2016-01-18	Philosophy and Formal Methods
fm003.htm	1486	2016-01-18	Theory for Formal Methods
fm004.htm	620	2016-01-18	Formal Languages and Notations
fm005.htm	2705	2016-01-18	The Methods
fm008.htm	2940	2016-01-18	Formal Methods - Marketing Strategy
fm009.htm	4683	2016-01-18	Formal Methods Pages - Background and Motivation
fm010.htm	9622	2016-01-18	Formal Methods Netlinks
fm011.htm	4290	2016-01-18	The Axiomatic Method
fm012-i.htm	2177	2016-01-18
fm012-m.htm	19189	2016-01-18	Carnap's Syntactical Method
fm012.htm	1096	2016-01-18	Carnap's Syntactical Method
fm013-i.htm	3315	2016-01-18
fm013-m.htm	40996	2016-01-18	The Method of Formal Logical Analysis
fm013.htm	1117	2016-01-18	The Method of Formal Logical Analysis
fm014.htm	7032	2016-01-18	MainFrame: The Method of Formal Logical Analysis
fm015.htm	1051	2016-01-18	IndexFrame: The Method of Formal Logical Analysis
fm016.htm	640	2016-01-18	A Framework for Formal Analysis
fm017.htm	1315	2016-01-18	IndexFrame: A Framework for Formal Analysis
fm018.htm	11159	2016-01-18	MainFrame: A Framework for Formal Analysis
fm019.htm	589	2016-01-18	Methods for Formal Analysis
fm020.htm	1363	2016-01-18	IndexFrame: Methods for Formal Analysis
fm021.htm	10369	2016-01-18	MainFrame: Methods for Formal Analysis
fm022.htm	1819	2016-01-18	Formal Notations
fm023.htm	1052	2016-01-18	IndexFrame: Formal Languages and Notations
fm024.htm	6206	2016-01-18	MainFrame: Formal Languages and Notations
index-i.htm	2431	2016-01-18
index-m.htm	31462	2016-01-18	Formal Methods
index.htm	1036	2016-01-18	Formal Methods
xfm001-i.html	1877	2016-01-18
xfm001-m.html	20917	2016-01-18	Notes on Algebraic Methods
xfm001.html	1095	2016-01-18	Notes on Algebraic Methods

name	size	mdate	title
000.htm	3324	2016-01-18	Index for directory rbjpub/music
chop10n10i.htm	1266	2016-01-18	Notes on: Chopin Etudes Op.10
index.htm	507	2016-01-18	Factasia Music
mjq001.htm	1836	2016-01-18	Quotations from Michael Jackson
mus000.htm	5428	2016-01-18	Factasia - Internet Resources in Music
mus001.htm	14262	2016-01-18	MainFrame: Factasia Music
mus002.htm	1423	2016-01-18	IndexFrame: Factasia Music
mus003.htm	513	2016-01-18	Performances by RbJ
mus004.htm	1539	2016-01-18	IndexFrame: Performances by RbJ
mus005.htm	10585	2016-01-18	MainFrame: Performances by RbJ
mus006.htm	515	2016-01-18	A Short History of Midi
mus007.htm	24129	2016-01-18	MainFrame: A Short History of Midi
mus008.htm	1510	2016-01-18	IndexFrame: A Short History of Midi

name	size	mdate	title
000.htm	27853	2016-01-18	Index for directory rbjpub/philos
analypos.pdf	136164	2016-01-18
fan001.htm	648	2016-01-18	Philosophy and Formal Analysis
fan002.htm	1219	2016-01-18	IndexFrame: Philosophy and Formal Analysis
fan003.htm	12662	2016-01-18	MainFrame: Philosophy and Formal Analysis
gsb001.htm	3949	2016-01-18	Philosophy and The Analytic Superbrain
gsb002.htm	4613	2016-01-18	Philosophy and The Global Superbrain
gsb003.htm	6351	2016-01-18	Hyper-Rationality
gsb004.htm	710	2016-01-18	The Holistic SuperBrain
gsb005.htm	1372	2016-01-18	IndexFrame: The Holistic SuperBrain
gsb006.htm	15039	2016-01-18	MainFrame: The Holistic SuperBrain
index.htm	569	2016-01-18	Philosophy at RBJones.com
inter015.htm	13708	2016-01-18	The Factasia Philosophy Resource Hub
inter016-i.htm	2097	2016-01-18
inter016-m.htm	15568	2016-01-18	Analytic Philosophy
inter016.htm	1038	2016-01-18	Analytic Philosophy
ohp000.htm	2454	2016-01-18	OpenHeart Philosophy
pos000.htm	2936	2016-01-18	Naive Neo-Classical Philosophy
pos001.htm	7651	2016-01-18	Philosophy and The Global Superbrain
pos002.htm	534	2016-01-18	Coming Up in Factasia Philosophy
pos003.htm	3627	2016-01-18	Philosophy
pos004.htm	2039	2016-01-18	IndexFrame: Philosophy at RBJones.com
pos005.htm	24891	2016-01-18	MainFrame: Philosophy at RBJones.com
pos006.htm	1757	2016-01-18	IndexFrame: Coming Up in Factasia Philosophy
pos007.htm	15205	2016-01-18	MainFrame: Coming Up in Factasia Philosophy
pos008.htm	488	2016-01-18	Rationality
pos009.htm	1002	2016-01-18	IndexFrame: Rationality
pos010.htm	12816	2016-01-18	MainFrame: Rationality
pos011.htm	627	2016-01-18	Academic Standards - Factasia Demurs
pos012.htm	1049	2016-01-18	IndexFrame: Academic Standards - Factasia Demurs
pos013.htm	10374	2016-01-18	MainFrame: Academic Standards - Factasia Demurs
pos014.htm	483	2016-01-18	Fallacies
pos015.htm	1247	2016-01-18	IndexFrame: Fallacies
pos016.htm	14335	2016-01-18	MainFrame: Fallacies
ppar001-i.html	3332	2016-01-18
ppar001-m.html	39683	2016-01-18	Positive Philosophy and The Automation of Reason
ppar001.html	1152	2016-01-18	Positive Philosophy and The Automation of Reason
soc001.htm	922	2016-01-18	Institutional Pathology
soc002.htm	4152	2016-01-18	MathFit v MathKit
soc003.htm	1939	2016-01-18	Work, Learn, Play: Fulfillment
superbrain.pdf	84742	2016-01-18
x001-i.html	3316	2016-01-18
x001-m.html	48663	2016-01-18	More on Metaphysical Positivism
x001.html	1078	2016-01-18	More on Metaphysical Positivism
x002-i.html	2789	2016-01-18
x002-m.html	38706	2016-01-18	Scepticism
x002.html	1044	2016-01-18	Scepticism
x003-i.html	3843	2016-01-18
x003-m.html	67338	2016-01-18	Metaphysical and Logical Positivism Compared
x003.html	1147	2016-01-18	Metaphysical and Logical Positivism Compared
x004-i.html	2631	2016-01-18
x004-m.html	23067	2016-01-18	The Automation of Reason - Some History
x004.html	1183	2016-01-18	The Automation of Reason - Some History
x005-i.html	2279	2016-01-18
x005-m.html	24621	2016-01-18	X-Logic
x005.html	976	2016-01-18	X-Logic
x006-i.html	2604	2016-01-18
x006-m.html	50607	2016-01-18	Positive Metaphysics
x006.html	1053	2016-01-18	Positive Metaphysics
x007-i.html	2529	2016-01-18
x007-m.html	28515	2016-01-18	First Philosophy
x007.html	1114	2016-01-18	First Philosophy
x008-i.html	1816	2016-01-18
x008-m.html	7530	2016-01-18	Philosophical Language
x008.html	1046	2016-01-18	Philosophical Language
x009-i.html	2633	2016-01-18
x009-m.html	35547	2016-01-18	Analytic Metaphysics
x009.html	1055	2016-01-18	Analytic Metaphysics
x010-i.html	2555	2016-01-18
x010-m.html	29463	2016-01-18	Metaphysical Positivism
x010.html	1030	2016-01-18	Metaphysical Positivism
x011-i.html	2779	2016-01-18
x011-m.html	18748	2016-01-18	Formal Philosophy
x011.html	1045	2016-01-18	Formal Philosophy
x012-i.html	2811	2016-01-18
x012-m.html	43448	2016-01-18	Open Scepticism
x012.html	1042	2016-01-18	Open Scepticism
x013-i.html	2302	2016-01-18
x013-m.html	16976	2016-01-18	Philosophy as Art
x013.html	1026	2016-01-18	Philosophy as Art
x014-i.html	2357	2016-01-18
x014-m.html	27203	2016-01-18	Pragmatic Scepticism
x014.html	1005	2016-01-18	Pragmatic Scepticism
x015-i.html	2164	2016-01-18
x015-m.html	15733	2016-01-18	Logic and Emotion
x015.html	1100	2016-01-18	Logic and Emotion
x016-i.html	2180	2016-01-18
x016-m.html	17887	2016-01-18	Logic and Emotion, Rationality and Romanticism
x016.html	1141	2016-01-18	Logic and Emotion, Rationality and Romanticism
x017-i.html	2385	2016-01-18
x017-m.html	26374	2016-01-18	Rationality and Romanticism
x017.html	1152	2016-01-18	Rationality and Romanticism
x018-i.html	3083	2016-01-18
x018-m.html	42299	2016-01-18	Positive Philosophy
x018.html	1062	2016-01-18	Positive Philosophy
x019-i.html	1870	2016-01-18
x019-m.html	37406	2016-01-18	RBJones.com
x019.html	1045	2016-01-18	RBJones.com
x020-i.html	3068	2016-01-18
x020-m.html	43155	2016-01-18	Naive Philosophy
x020.html	1078	2016-01-18	Naive Philosophy
x021-i.html	2328	2016-01-18
x021-m.html	27530	2016-01-18	Synthetic Philosophy
x021.html	1050	2016-01-18	Synthetic Philosophy
x022-i.html	2575	2016-01-18
x022-m.html	52188	2016-01-18	Positive Science
x022.html	1040	2016-01-18	Positive Science
x023-i.html	2561	2016-01-18
x023-m.html	40590	2016-01-18	The Essence of Metaphysical Positivism
x023.html	1050	2016-01-18	The Essence of Metaphysical Positivism
x024-i.html	2270	2016-01-18
x024-m.html	34191	2016-01-18	Notes on Lao-tzu's Tao Te Ching
x024.html	1031	2016-01-18	Notes on Lao-tzu's Tao Te Ching
x025-i.html	1917	2016-01-18
x025-m.html	19092	2016-01-18	The Politics of Analytic Philosophy
x025.html	1098	2016-01-18	The Politics of Analytic Philosophy
x026-i.html	2397	2016-01-18
x026-m.html	21216	2016-01-18	Liberal Positivism
x026.html	1050	2016-01-18	Liberal Positivism
x027-i.html	2713	2016-01-18
x027-m.html	39058	2016-01-18	Background for Metaphysical Positivism
x027.html	1071	2016-01-18	Background for Metaphysical Positivism
x028-i.html	2565	2016-01-18
x028-m.html	32159	2016-01-18	Positivism
x028.html	1042	2016-01-18	Positivism
x029-i.html	2524	2016-01-18
x029-m.html	25886	2016-01-18	Critical Rationalism
x029.html	1112	2016-01-18	Critical Rationalism
x030-i.html	2660	2016-01-18
x030-m.html	19623	2016-01-18	Three Dialectics
x030.html	1054	2016-01-18	Three Dialectics
x031-i.html	2316	2016-01-18
x031-m.html	24644	2016-01-18	An Outline of Metaphysical Positivism
x031.html	1050	2016-01-18	An Outline of Metaphysical Positivism
x032-i.html	2449	2016-01-18
x032-m.html	43445	2016-01-18	Evolution, Rationality and Deduction
x032.html	1057	2016-01-18	Evolution, Rationality and Deduction
x033-i.html	2352	2016-01-18
x033-m.html	32672	2016-01-18	Positive Philosophy and The Automation of Reason
x033.html	1109	2016-01-18	Positive Philosophy and The Automation of Reason
x034-i.html	1627	2016-01-18
x034-m.html	11921	2016-01-18	Positive Philosophy, Fredom and Democracy
x034.html	1113	2016-01-18	Positive Philosophy, Fredom and Democracy
x035-i.html	1822	2016-01-18
x035-m.html	11870	2016-01-18	Organon and Metaphysic
x035.html	1075	2016-01-18	Organon and Metaphysic
xa001-i.html	1841	2016-01-18
xa001-m.html	10177	2016-01-18	Some Philosophy
xa001.html	980	2016-01-18	Some Philosophy
xdx001-i.html	2077	2016-01-18
xdx001-m.html	17289	2016-01-18	Dao-Xi
xdx001.html	989	2016-01-18	Dao-Xi
xe001-i.html	2126	2016-01-18
xe001-m.html	15748	2016-01-18	Scepticism, Creativity and Utopian Thought
xe001.html	1082	2016-01-18	Scepticism, Creativity and Utopian Thought
xe002-i.html	2523	2016-01-18
xe002-m.html	19272	2016-01-18	Dogma
xe002.html	994	2016-01-18	Dogma
xp001-i.html	1839	2016-01-18
xp001-m.html	10898	2016-01-18	Existential Positivism
xp001.html	1080	2016-01-18	Existential Positivism

name	size	mdate	title
#quine36.htm#	8643	2015-07-14	notes on "Truth by Convention"
#quine76.htm#	11267	2015-07-03	notes on Quine: "The Ways of Paradox - and other essays"
000.htm	50680	2016-01-18	Index for directory rbjpub/philos/bibliog
a.htm	10778	2016-01-18	The Factasia Omniography - A
amazon.htm	2744	2015-11-15	In Association with Amazon.com ...
aune2008-i.html	2415	2016-01-18
aune2008-m.html	27349	2016-01-18	Notes on - An Empiricist Theory of Knowledge
aune2008.html	1136	2016-01-18	Notes on - An Empiricist Theory of Knowledge
austin57.htm	13531	2016-01-18	notes on: A Plea for Excuses by J.L.Austin
ayer36-i.htm	3718	2016-01-18
ayer36-m.htm	68106	2016-01-18	Notes on - Language Truth and Logic
ayer36.htm	1082	2016-01-18	Notes on - Language Truth and Logic
b.htm	31323	2016-01-18	The Factasia Omniography - B
baj001.htm	10531	2016-01-18	Barbara's Corner
beeso80.htm	3609	2016-01-18	notes on - Foundations of Constructive Mathematics
berlin-i.html	3913	2016-01-18
berlin-m.html	67137	2016-01-18	Notes on the writings of Isaiah Berlin
berlin.html	1142	2016-01-18	Notes on the writings of Isaiah Berlin
berlin02-i.html	2666	2016-01-18
berlin02-m.html	30521	2016-01-18	Notes on - Freedom and its Betrayal
berlin02.html	1096	2016-01-18	Notes on - Freedom and its Betrayal
berlin1999-i.html	3261	2016-01-18
berlin1999-m.html	31764	2016-01-18	Notes on - The Roots of Romanticism
berlin1999.html	1113	2016-01-18	Notes on - The Roots of Romanticism
berlin2004-i.html	1931	2016-01-18
berlin2004-m.html	11716	2016-01-18	Notes on - Liberty
berlin2004.html	1060	2016-01-18	Notes on - Liberty
berlin2006-i.html	4049	2016-01-18
berlin2006-m.html	43066	2016-01-18	Notes on - Political Ideas in the Romantic Age
berlin2006.html	1156	2016-01-18	Notes on - Political Ideas in the Romantic Age
berlin78-i.html	1926	2016-01-18
berlin78-m.html	22085	2016-01-18	Notes on - Russian Thinkers
berlin78.html	1072	2016-01-18	Notes on - Russian Thinkers
berlin79-i.html	2704	2016-01-18
berlin79-m.html	32074	2016-01-18	Notes on - Against the Current
berlin79.html	1082	2016-01-18	Notes on - Against the Current
berlin90-i.html	2834	2016-01-18
berlin90-m.html	41365	2016-01-18	Notes on - The Crooked Timber of Humanity
berlin90.html	1122	2016-01-18	Notes on - The Crooked Timber of Humanity
bishop85.htm	5124	2016-01-18	notes on - Constructive Analysis
bloom-i.htm	2380	2016-01-18
bloom-m.htm	31663	2016-01-18	Notes on the writings of Howard Bloom
bloom.htm	1059	2016-01-18	Notes on the writings of Howard Bloom
bloom2000-i.html	3299	2016-01-18
bloom2000-m.html	63472	2016-01-18	Notes on 'Global Brain' by Howard Bloom
bloom2000.html	1078	2016-01-18	Notes on 'Global Brain' by Howard Bloom
bnet000.htm	4857	2016-01-18	The Factasia Bibliographic Resource Hub
boden90.htm	5307	2016-01-18	notes on - The Philosophy of Artificial Intelligence
boolos90.htm	2006	2016-01-18	Notes on - The Standard of Equality of Numbers
boolos97.htm	9612	2016-01-18	Notes on - Is Hume's Principle Analytic?
brockm95.htm	6237	2016-01-18	notes on - The Third Culture
c.htm	23831	2016-01-18	The Factasia Omniography - C
carnap34.htm	21620	2016-01-18	notes on - "Philosophy and Logical Syntax"
carnap37.htm	11696	2016-01-18	notes on - "THE LOGICAL SYNTAX OF LANGUAGE"
carnap47.htm	7384	2016-01-18	notes on - "Meaning and Necessity" by Rudolf Carnap
carnap47a-i.html	1953	2016-01-18
carnap47a-m.html	8049	2016-01-18	Notes on: Carnap's Method of Intension and Extension
carnap47a.html	1151	2016-01-18	Notes on: Carnap's Method of Intension and Extension
carnap50.htm	6618	2016-01-18	notes on "Empiricism, Semantics and Ontology"
carnap63.htm	9466	2016-01-18	notes on - "The Philosophy of Rudolf Carnap"
carnapquine90-i.html	2215	2016-01-18
carnapquine90-m.html	15944	2016-01-18	Notes on: Dear Carnap, Dear Van
carnapquine90.html	1170	2016-01-18	Notes on: Dear Carnap, Dear Van
coffa91.htm	9189	2016-01-18	notes on - "The Semantic Tradition"
conradi2001.htm	12932	2016-01-18	notes on - IRIS - The Life of Iris Murdoch
d.htm	15507	2016-01-18	The Factasia Omniography - D
dancy85.htm	10549	2016-01-18	notes on - "Introduction to Contemporary Epistemology"
dawkin89.htm	9414	2016-01-18	notes on The Selfish Gene
dawkins1982-i.html	2479	2016-01-18
dawkins1982-m.html	51966	2016-01-18	Notes on The Extended Phenotype
dawkins1982.html	1076	2016-01-18	Notes on The Extended Phenotype
dennet95.htm	4244	2016-01-18	notes on Darwin's Dangerous Idea
detlefsen2005-i.html	3265	2016-01-18
detlefsen2005-m.html	35714	2016-01-18	Notes on - Formalism
detlefsen2005.html	1149	2016-01-18	Notes on - Formalism
dnt95p1.htm	10596	2016-01-18	notes on Darwin's Dangerous Idea - Part I
dnt95p2.htm	5515	2016-01-18	notes on Darwin's Dangerous Idea - Part II
e.htm	9060	2016-01-18	The Factasia Omniography - E
empiricus1933-i.html	1943	2016-01-18
empiricus1933-m.html	10713	2016-01-18	Notes on: Outlines of Phyrrhonism
empiricus1933.htm	2002	2016-01-18	Outlines of Pyrrhonism
empiricus1933.html	1114	2016-01-18	Notes on: Outlines of Phyrrhonism
f.htm	22642	2016-01-18	The Factasia Omniography - F
fall1.htm	2666	2016-01-18	IndexFrame: The Factasia Omniography
fall2.htm	27928	2016-01-18	MainFrame: Some People and Their Works
fefer60.htm	7281	2016-01-18	notes on - Arithmetisation of metamathematics in a general setting
feyer87.htm	4878	2016-01-18	Notes on Farewell to Reason
field97.htm	14700	2016-01-18	notes on - Which Undecidable Mathematical Sentences Have Determinate Truth Values?
flogic0.htm	572	2016-01-18	Some Logic People and Their Works
flogic1.htm	2957	2016-01-18	IndexFrame: Some Logic People and Their Works
flogic2.htm	10541	2016-01-18	MainFrame: Some logic People and Their Works
forster92-i.html	1939	2016-01-18
forster92-m.html	11721	2016-01-18	Notes on: Set Theory with a Universal Set
forster92.html	1118	2016-01-18	Notes on: Set Theory with a Universal Set
fphil0.htm	587	2016-01-18	Some Philosophy People and Their Works
fphil1.htm	2043	2016-01-18	IndexFrame: Some Philosophy People and Their Works
fphil2.htm	14502	2016-01-18	MainFrame: Some philosophy People and Their Works
freal0.htm	626	2016-01-18	Some "Real" People and Their Works
freal1.htm	2279	2016-01-18	IndexFrame: Some Real People and Their Works
freal2.htm	5408	2016-01-18	MainFrame: Some reals People and Their Works
frege01.htm	50153	2016-01-18	notes on: Frege's Begriffsschrift
frege02.htm	9373	2016-01-18	notes on: The Foundations of Arithmetic by Gottlob Frege
friedmanharvey2009b-i.html	1992	2016-01-18
friedmanharvey2009b-m.html	14566	2016-01-18	Notes on: Friedmans Concept Calculus
friedmanharvey2009b.html	1169	2016-01-18	Notes on: Friedmans Concept Calculus
friedmanm1999.htm	1872	2016-01-18	notes on: Reconsidering Logical Positivism by Michael Friedman
g.htm	13244	2016-01-18	The Factasia Omniography - G
gelln59.htm	18195	2016-01-18	notes by RBJ on: Words and Things; by Ernest Gellner
gellner92-i.html	1922	2016-01-18
gellner92-m.html	13037	2016-01-18	Notes on - Reason and Culture by Ernest Gellner
gellner92.html	1123	2016-01-18	Notes on - Reason and Culture by Ernest Gellner
gould91.htm	7248	2016-01-18	notes on - Bully for Brontosaurus
grice89.htm	29889	2016-01-18	notes on: Studies in the Ways of Words by H.P.Grice
gurev95.htm	2437	2016-01-18	notes on "Platonism, Constructivism, and Computer Proof vs. Proofs by Hand"
h.htm	30411	2016-01-18	The Factasia Omniography - H
hack96b0.htm	679	2016-01-18	Notes on - Wittgenstein's Place in 20th Century Analytic Philosophy
hack96b1.htm	1584	2016-01-18	IndexFrame: Notes on - Wittgenstein's Place in 20th Century Analytic Philosophy
hack96b2.htm	3149	2016-01-18	MainFrame: Notes on - Wittgenstein's Place in 20th Century Analytic Philosophy
hatch82.htm	14496	2016-01-18	Notes on: The Logical Foundations of Mathematics
hylton2007-i.html	2398	2016-01-18
hylton2007-m.html	23915	2016-01-18	Notes on - Quine by Peter Hylton
hylton2007.html	1070	2016-01-18	Notes on - Quine by Peter Hylton
i.htm	3292	2016-01-18	The Factasia Omniography - I
ibs.htm	1754	2016-01-18	Factasia is an iBS partner
index.htm	535	2016-01-18	The Factasia Omniography
j.htm	6137	2016-01-18	The Factasia Omniography - J
k.htm	11105	2016-01-18	The Factasia Omniography - K
koellner2009-i.html	2207	2016-01-18
koellner2009-m.html	17266	2016-01-18	Notes on: Carnap on the Foundations of Logic and Mathematics
koellner2009.html	1222	2016-01-18	Notes on: Carnap on the Foundations of Logic and Mathematics
kolakowski1972.htm	23422	2016-01-18	notes on - "Positivist Philosophy"
kripke1980-i.html	2409	2016-01-18
kripke1980-m.html	53447	2016-01-18	Notes on - Naming and Necessity
kripke1980.html	1117	2016-01-18	Notes on - Naming and Necessity
l.htm	5556	2016-01-18	The Factasia Omniography - L
lakato76.htm	3530	2016-01-18	Notes on: Proofs and Refutations
leibniz001.html	5473	2016-01-18	Quotations from the Writings of Gottfried Wilhelm Leibniz
lw0.htm	645	2016-01-18	Notes on: Ludwig Wittgenstein
lw1.htm	1242	2016-01-18	IndexFrame: Notes on: Ludwig Wittgenstein
lw2.htm	16173	2016-01-18	MainFrame: Notes on: Ludwig Wittgenstein
m.htm	19308	2016-01-18	The Factasia Omniography - M
macla71.htm	5140	2016-01-18	notes on: Categories for the Working Mathematician
macla86.htm	1785	2016-01-18	notes on: Mathematics, Form and Function
magee78-i.html	2184	2016-01-18
magee78-m.html	19829	2016-01-18	Notes on - Men of Ideas
magee78.html	1062	2016-01-18	Notes on - Men of Ideas
marshall1992-i.html	1980	2016-01-18
marshall1992-m.html	14891	2016-01-18	Notes on - Demanding the Impossible - A History of Anarchism
marshall1992.html	1157	2016-01-18	Notes on - Demanding the Impossible - A History of Anarchism
mcnau88.htm	4732	2016-01-18	notes on: Moral Vision
miller2009-i.html	2439	2016-01-18
miller2009-m.html	23030	2016-01-18	Notes on: Some hard questions for Critical Rationalism
miller2009.html	1239	2016-01-18	Notes on: Some hard questions for Critical Rationalism
montaigne2003-i.html	1969	2016-01-18
montaigne2003-m.html	18666	2016-01-18	Montaigne: The Complete Works
montaigne2003.html	1092	2016-01-18	Montaigne: The Complete Works
moore03.htm	47641	2016-01-18	notes on: Principia Ethica
moore25.htm	5295	2016-01-18	notes on: A Defence of Common Sense by G.E.Moore
n.htm	4081	2016-01-18	The Factasia Omniography - N
o.htm	4194	2016-01-18	The Factasia Omniography - O
obp94at.htm	593	2016-01-18	Notes on: [British] Company Law - statutes
obp94ati.htm	1792	2016-01-18	IndexFrame: Notes on: Company Law - Statues
obp94atm.htm	21420	2016-01-18	MainFrame: Notes on: [British] Company Law - Statutes
p.htm	16653	2016-01-18	The Factasia Omniography - P
penros90.htm	4762	2016-01-18	notes on: The Emperor's New Mind
penros94.htm	2889	2016-01-18	notes on - Shadows of the Mind
popp45a.htm	8612	2016-01-18	notes on - The Open Society and its Enemies - Vol1: The Spell of Plato
popper63b-i.html	2216	2016-01-18
popper63b-m.html	15890	2016-01-18	Notes on: The Demarcation between Science and Metaphysics
popper63b.html	1233	2016-01-18	Notes on: The Demarcation between Science and Metaphysics
profbib.htm	3586	2016-01-18	The Factasia Omniography - ?proforma?
profnote.htm	921	2016-01-18	notes on: ?profile?
pubs.htm	15389	2016-01-18	Publishers
q.htm	10241	2016-01-18	The Factasia Omniography - Q
quine36.htm	8720	2016-01-18	notes on "Truth by Convention"
quine39-i.html	1891	2016-01-18
quine39-m.html	14979	2016-01-18	Notes on: Designation and Existence
quine39.html	1081	2016-01-18	Notes on: Designation and Existence
quine48.htm	6612	2016-01-18	notes on "On what there is"
quine51.htm	7502	2016-01-18	notes on "On Carnap's Views on Ontology"
quine53a.htm	18946	2016-01-18	notes on Quine's "Two Dogmas of Empiricism"
quine53a0.htm	647	2016-01-18	notes on: Two Dogmas of Empiricism by W.V.O.Quine
quine53a1.htm	1351	2016-01-18	IndexFrame: notes on Quine's: Two Dogmas of Empiricism
quine53a2.htm	20177	2016-01-18	MainFrame: notes on: Two Dogmas of Empiricism by W.V.O.Quine
quine54-i.html	4025	2016-01-18
quine54-m.html	31069	2016-01-18	Notes on: Carnap and Logical Truth
quine54.html	1074	2016-01-18	Notes on: Carnap and Logical Truth
quine70.htm	3045	2016-01-18	notes on "Philosophy of Logic" by Quine
quine76.htm	9037	2016-01-18	notes on Quine: "The Ways of Paradox - and other essays"
quine87.htm	5167	2016-01-18	notes on "Quiddities"
r.htm	15037	2016-01-18	The Factasia Omniography - R
russ08.htm	5418	2016-01-18	Notes on: Mathematical Logic as Based on the Theory of Types
russ18-i.htm	1920	2016-01-18
russ18-m.htm	12166	2016-01-18	Notes on - The Philosophy of Logical Atomism
russ18.htm	1126	2016-01-18	Notes on - The Philosophy of Logical Atomism
russ22.htm	2537	2016-01-18	notes on Russell's introduction to Wittgenstein's Tractatus
russ56.htm	2017	2016-01-18	Notes on: Logic and Knowledge
russell46-i.html	1927	2016-01-18
russell46-m.html	9851	2016-01-18	Notes on - History of Western Philosophy
russell46.html	1107	2016-01-18	Notes on - History of Western Philosophy
russell46_32-i.html	2209	2016-01-18
russell46_32-m.html	16665	2016-01-18	Notes on - History of Western Philosophy - Rousseau to the Present Day
russell46_32.html	1238	2016-01-18	Notes on - History of Western Philosophy - Rousseau to the Present Day
ryle32.htm	3018	2016-01-18	notes on: Systematically Misleading Expressions
s.htm	25042	2016-01-18	The Factasia Omniography - S
sabine63-i.html	2786	2016-01-18
sabine63-m.html	17495	2016-01-18	Notes on: A history of political theory by G.H.Sabine
sabine63.html	1140	2016-01-18	Notes on: A history of political theory by G.H.Sabine
sartre46-i.html	2153	2016-01-18
sartre46-m.html	12732	2016-01-18	Notes on - Existentialism & Humanism
sartre46.html	1110	2016-01-18	Notes on - Existentialism & Humanism
schonf24.htm	3343	2016-01-18	notes on "On the Building Blocks of Mathematical Logic"
schopenhauer1818-i.html	2828	2016-01-18
schopenhauer1818-m.html	54152	2016-01-18	Notes on - The World as Will and Idea
schopenhauer1818.html	1129	2016-01-18	Notes on - The World as Will and Idea
scruto94.htm	3419	2016-01-18	notes on Modern Philosophy
shapiro2005-i.html	2507	2016-01-18
shapiro2005-m.html	43423	2016-01-18	Notes on - The Oxford Handbook of Philosophy of Mathematics and Logic
shapiro2005.html	1127	2016-01-18	Notes on - The Oxford Handbook of Philosophy of Mathematics and Logic
shapiro2005b-i.html	2760	2016-01-18
shapiro2005b-m.html	51837	2016-01-18	Notes on - The Oxford Handbook of Philosophy of Mathematics and Logic - Ch.1
shapiro2005b.html	1143	2016-01-18	Notes on - The Oxford Handbook of Philosophy of Mathematics and Logic - Ch.1
shapiro91.htm	3310	2016-01-18	notes on "Foundations without Foundationalism"
singe91i.htm	1844	2016-01-18	IndexFrame: Notes on: A Companion to Ethics
singe91m.htm	10644	2016-01-18	MainFrame: Notes on: A Companion to Ethics
singer91.htm	626	2016-01-18	Notes on: A Companion to Ethics
stroll2000-i.html	2248	2016-01-18
stroll2000-m.html	23357	2016-01-18	Notes on - Twentieth-Century Analytic Philosophy
stroll2000.html	1119	2016-01-18	Notes on - Twentieth-Century Analytic Philosophy
t.htm	13369	2016-01-18	The Factasia Omniography - T
tait2005-i.html	3158	2016-01-18
tait2005-m.html	71093	2016-01-18	Notes on - The Provenance of Pure Reason
tait2005.html	1131	2016-01-18	Notes on - The Provenance of Pure Reason
tarski35.htm	2759	2016-01-18	Notes on - On the Concept of Logical Consequence
u.htm	4984	2016-01-18	The Factasia Omniography - U
v.htm	2797	2016-01-18	The Factasia Omniography - V
w.htm	20049	2016-01-18	The Factasia Omniography - W
weihr95b.htm	1657	2016-01-18	notes on "A Foundation of Computable Analysis"
wiley52-i.html	2463	2016-01-18
wiley52-m.html	33441	2016-01-18	Notes on: The Subtle Knot
wiley52.html	1080	2016-01-18	Notes on: The Subtle Knot
wilfor85.htm	1936	2016-01-18	notes on: The Riddle of the Dinosaur
wolfra89.htm	3728	2016-01-18	notes on Philosophical Logic
y.htm	3425	2016-01-18	The Factasia Omniography - Y
z.htm	5394	2016-01-18	The Factasia Omniography - Z
zalta98a.htm	9113	2016-01-18	notes on: The Theory of Abstract Objects

name	size	mdate	title
000.htm	1742	2016-01-18	Index for directory rbjpub/philos/classics
index.htm	2586	2016-01-18	Philosophical Classics in HTML

name	size	mdate	title
000.htm	12292	2016-01-18	Index for directory rbjpub/philos/epistem
ftd.htm	17031	2016-01-18	The Fundamental Triple-Dichotomy
index.htm	5062	2016-01-18	Epistemology
rbj001.htm	570	2016-01-18	Epistemological Connections - Netlinks on Epistemology
rbj002.htm	6218	2016-01-18	Logicist Epistemology
rbj004.htm	1060	2016-01-18	Speculation
rbj005.htm	5161	2016-01-18	Epistemology at RBJones.com
rbj006.htm	3162	2016-01-18	Formal Analyticity
rbj008.htm	2367	2016-01-18	Why the Analytic/Synthetic dichotomy makes a difference
rbj009.htm	5255	2016-01-18	The Analytic - Synthetic Dichotomy - why it matters
rbj010-i.htm	2340	2016-01-18
rbj010-m.htm	24315	2016-01-18	Historical Notes on Analyticity
rbj010.htm	1106	2016-01-18	Historical Notes on Analyticity
rbj012.htm	1720	2016-01-18	Varieties of Epistemology on WWW
rbj013.htm	7662	2016-01-18	The Fundamental Triple-Dichotomy
rbj014.htm	13294	2016-01-18	Modelling the Triple-Dichotomy
rbj015.htm	5041	2016-01-18	Analyticity is coextensive with Necessity and A-Priority
rbj016.htm	5655	2016-01-18	Three Kinds of Knowledge
rbj017.htm	3421	2016-01-18	Two Epistemological Triads
rbj018.htm	3240	2016-01-18	Three Ways of Knowing
rbj019.htm	3184	2016-01-18	Three Kinds of Judgement
rbj020.htm	1660	2016-01-18	IndexFrame: Epistemological Connections - Netlinks on Epistemology
rbj021.htm	8669	2016-01-18	MainFrame: Epistemological Connections - Factasia Netlinks on Epistemology
rbj022.htm	1353	2016-01-18	IndexFrame: Logicist Epistemology
rbj023.htm	24019	2016-01-18	MainFrame: Logicist Epistemology
xep001-i.html	2101	2016-01-18
xep001-m.html	23174	2016-01-18	Synthetic Epistemology
xep001.html	1055	2016-01-18	Synthetic Epistemology
xep002-i.html	2931	2016-01-18
xep002-m.html	54971	2016-01-18	Defining Analyticity
xep002.html	1045	2016-01-18	Defining Analyticity
xep003-i.html	3549	2016-01-18
xep003-m.html	40351	2016-01-18	The Fundamental Triple-Dichotomy
xep003.html	1111	2016-01-18	The Fundamental Triple-Dichotomy
xep004-i.html	2364	2016-01-18
xep004-m.html	32723	2016-01-18	Hume's Fork
xep004.html	1139	2016-01-18	Hume's Fork
xep005-i.html	2846	2016-01-18
xep005-m.html	37196	2016-01-18	Restating the Dichotomies
xep005.html	1180	2016-01-18	Restating the Dichotomies
xep006-i.html	2615	2016-01-18
xep006-m.html	20263	2016-01-18	The Dichotomies Before Hume
xep006.html	1131	2016-01-18	The Dichotomies Before Hume
xep007-i.html	3289	2016-01-18
xep007-m.html	21966	2016-01-18	The Dichotomies After Hume
xep007.html	1124	2016-01-18	The Dichotomies After Hume
xep008-i.html	1884	2016-01-18
xep008-m.html	10773	2016-01-18	Progression
xep008.html	1062	2016-01-18	Progression
xep009-i.html	1900	2016-01-18
xep009-m.html	10805	2016-01-18	Essentialism and Nominalism
xep009.html	1099	2016-01-18	Essentialism and Nominalism
xep010-i.html	1916	2016-01-18
xep010-m.html	15801	2016-01-18	Epistemic Retreat
xep010.html	1049	2016-01-18	Epistemic Retreat
xep011-i.html	3095	2016-01-18
xep011-m.html	28584	2016-01-18	Rigour, Scepticism and Positivism
xep011.html	1175	2016-01-18	Rigour, Scepticism and Positivism

name	size	mdate	title
000.htm	1502	2016-01-18	Index for directory rbjpub/philos/ethics
eth001.htm	2823	2016-01-18	Moral Philosophy Netlinks

name	size	mdate	title
000.htm	7060	2016-01-18	Index for directory rbjpub/philos/glossary
a.htm	7293	2016-01-18	The Factasia Glossary - A
analyt.htm	2720	2016-01-18	Glossary - analytic
aprior.htm	1473	2016-01-18	Glossary - a priori/a posteriori
b.htm	3865	2016-01-18	The Factasia Glossary - B
c.htm	7802	2016-01-18	The Factasia Glossary - C
d.htm	7686	2016-01-18	The Factasia Glossary - D
e.htm	3517	2016-01-18	The Factasia Glossary - E
f.htm	6515	2016-01-18	The Factasia Glossary - F
fall1.htm	2632	2016-01-18	IndexFrame: The Factasia Glossary
fall2.htm	19290	2016-01-18	MainFrame: words about
g.htm	2063	2016-01-18	The Factasia Glossary - G
gnet000.htm	4503	2016-01-18	Factasia Glossary Netlinks
h.htm	4582	2016-01-18	The Factasia Glossary - H
i.htm	5091	2016-01-18	The Factasia Glossary - I
index.htm	594	2016-01-18	The RBJones.com Glossary
j.htm	2036	2016-01-18	The Factasia Glossary - J
k.htm	2031	2016-01-18	The Factasia Glossary - K
l.htm	6615	2016-01-18	The Factasia Glossary - L
logicism.htm	4143	2016-01-18	On the Origins of the word "Logicism"
m.htm	4588	2016-01-18	The Factasia Glossary - M
n.htm	2672	2016-01-18	The Factasia Glossary - N
o.htm	4912	2016-01-18	The Factasia Glossary - O
p.htm	10481	2016-01-18	The Factasia Glossary - P
philosop.htm	943	2016-01-18	What is Philosophy?
profglos.htm	979	2016-01-18	The Factasia Glossary - A
q.htm	3470	2016-01-18	The Factasia Glossary - Q
r.htm	5709	2016-01-18	The Factasia Glossary - R
s.htm	8646	2016-01-18	The Factasia Glossary - S
synthe.htm	1029	2016-01-18	Glossary - synthetic
t.htm	5618	2016-01-18	The Factasia Glossary - T
u.htm	3830	2016-01-18	The Factasia Glossary - U
v.htm	3952	2016-01-18	The Factasia Glossary - V
w.htm	1405	2016-01-18	The Factasia Glossary - W
y.htm	938	2016-01-18	The Factasia Glossary - Y
z.htm	2870	2016-01-18	The Factasia Glossary - Z

name	size	mdate	title
000.htm	19083	2016-01-18	Index for directory rbjpub/philos/history
aaq001.htm	4297	2016-01-18	Quotations from the Writings of Alfred Jules Ayer
bfq001.htm	1210	2016-01-18	Quotations from the Writings of Buckminster Fuller
brq001.htm	10183	2016-01-18	Quotations from the writings of Bertrand Russell
cpq001-i.html	1932	2016-01-18
cpq001-m.html	9293	2016-01-18	Quotations from the writings of Charles Sanders Peirce
cpq001.html	1103	2016-01-18	Quotations from the writings of Charles Sanders Peirce
dhq001.htm	2153	2016-01-18	Quotations from the Writings of David Hilbert
gcq001-i.html	1918	2016-01-18
gcq001-m.html	13824	2016-01-18	Quotations from the writings of Georg Cantor
gcq001.html	1067	2016-01-18	Quotations from the writings of Georg Cantor
gfq001-i.html	2211	2016-01-18
gfq001-m.html	13910	2016-01-18	Quotations from the writings of Gottlob Frege
gfq001.html	1067	2016-01-18	Quotations from the writings of Gottlob Frege
his001.htm	4974	2016-01-18	Chronological List of "Western" Philosophers
his002.htm	1517	2016-01-18	Logical Positivism
his004.htm	1357	2016-01-18	IndexFrame: Varieties of Philosophical Analysis
his005.htm	10643	2016-01-18	MainFrame: Varieties of Philosophical Analysis
his006.htm	604	2016-01-18	Readings in Philosophical Analysis
his007.htm	1331	2016-01-18	IndexFrame: Readings in Philosophical Analysis
his008.htm	22543	2016-01-18	MainFrame: Readings in Philosophical Analysis
index-i.htm	3643	2016-01-18
index-m.htm	63212	2016-01-18	History of Philosophy
index.htm	1026	2016-01-18	History of Philosophy
lw000.htm	555	2016-01-18	Ludwig Wittgenstein
lw001.htm	1503	2016-01-18	IndexFrame: Ludwig Wittgenstein
lw002.htm	3084	2016-01-18	MainFrame: Ludwig Wittgenstein
ow001.htm	1374	2016-01-18	Quotations from the Writings of Oscar Wilde
rcl000.htm	538	2016-01-18	The Life of Rudolf Carnap
rcl001.htm	1224	2016-01-18	IndexFrame: The Life of Rudolf Carnap
rcl002.htm	22624	2016-01-18	MainFrame: The Life of Rudolf Carnap
rcp000.htm	608	2016-01-18	The Philosophy of Rudolf Carnap
rcp001.htm	1680	2016-01-18	IndexFrame: The Philosophy of Rudolf Carnap
rcp002.htm	36298	2016-01-18	MainFrame: The Philosophy of Rudolf Carnap
rcp003.htm	536	2016-01-18	Rudolf Carnap
rcp004.htm	1221	2016-01-18	IndexFrame: Rudolf Carnap
rcp005.htm	7810	2016-01-18	MainFrame: Rudolf Carnap
rcp006.htm	595	2016-01-18	Rudolf Carnap on Logical Syntax
rcp007.htm	1022	2016-01-18	IndexFrame: Rudolf Carnap on Logical Syntax
rcp008.htm	6899	2016-01-18	MainFrame: Rudolf Carnap on Logical Syntax
rcq001.htm	4388	2016-01-18	Quotations from Carnap
rnq001.htm	3678	2016-01-18	Quotations from the Writings of Robert Nozick
rvw000.htm	2844	2016-01-18	Russell v. Wittgenstein - Battle of the Giants
rvw001.htm	5047	2016-01-18	Russell on Wittgenstein
t.htm	2194	2016-01-18	Wittgenstein's Tractatus - Overview
t3.htm	2156	2016-01-18	Wittgenstein's Tractatus - Section 3
tarski01.htm	379	2016-01-18	The Feferman's on Tarski on Truth
thq001.htm	2726	2016-01-18	Quotations from the writings of Thomas Hobbes
tintro.htm	3740	2016-01-18	Wittgenstein's Tractatus - the Factastic Perspective
tlp001.htm	744	2016-01-18	The Proposition in Wittgenstein's Tractatus
tlp002.htm	1271	2016-01-18	IndexFrame: The Proposition in Wittgenstein's Tractatus
tlp003.htm	11516	2016-01-18	MainFrame: The Proposition in Wittgenstein's Tractatus
wqq001.htm	2863	2016-01-18	Quotations from the Writings of Willard Van Orman Quine
xh001-i.html	3372	2016-01-18
xh001-m.html	60963	2016-01-18	Notes on the History of Positivist Philosophy
xh001.html	1126	2016-01-18	Notes on the History of Positivist Philosophy
xh002-i.html	3637	2016-01-18
xh002-m.html	69457	2016-01-18	Historical notes on Scepticism
xh002.html	1109	2016-01-18	Historical notes on Scepticism
xh003-i.html	2100	2016-01-18
xh003-m.html	23988	2016-01-18	Leibniz and the Automation of Reason
xh003.html	1098	2016-01-18	Leibniz and the Automation of Reason
xh004-i.html	2380	2016-01-18
xh004-m.html	19916	2016-01-18	Impressions of the Philosophy of Iris Murdoch
xh004.html	1121	2016-01-18	Impressions of the Philosophy of Iris Murdoch
xh005-i.html	1847	2016-01-18
xh005-m.html	11537	2016-01-18	Truth in a Structure
xh005.html	1039	2016-01-18	Truth in a Structure
xh006-i.html	1882	2016-01-18
xh006-m.html	12298	2016-01-18	Historical Notes on The Axiomatic Method
xh006.html	1090	2016-01-18	Historical Notes on The Axiomatic Method
xh007-i.html	2912	2016-01-18
xh007-m.html	45258	2016-01-18	Notes on Isaiah Berlin
xh007.html	1075	2016-01-18	Notes on Isaiah Berlin
xh008-i.html	2095	2016-01-18
xh008-m.html	13824	2016-01-18	Notes on Berlin on Jean-Jacques Rousseau
xh008.html	1133	2016-01-18	Notes on Berlin on Jean-Jacques Rousseau
xh009-i.html	2117	2016-01-18
xh009-m.html	20939	2016-01-18	Isaiah Berlin on ...
xh009.html	1044	2016-01-18	Isaiah Berlin on ...
xh010-i.html	1910	2016-01-18
xh010-m.html	13462	2016-01-18	Carnap v. Kripke on the Triple-Dichotomy
xh010.html	1134	2016-01-18	Carnap v. Kripke on the Triple-Dichotomy
xh011-i.html	2400	2016-01-18
xh011-m.html	20008	2016-01-18	Origins of and Influences on Nomologico-Deductive Analysis
xh011.html	1159	2016-01-18	Origins of and Influences on Nomologico-Deductive Analysis
xh012-i.html	1654	2016-01-18
xh012-m.html	8743	2016-01-18	A Conversation between Carnap and Grice
xh012.html	1133	2016-01-18	A Conversation between Carnap and Grice
xh013-i.html	2359	2016-01-18
xh013-m.html	37021	2016-01-18	Quine on Carnap and Analyticity
xh013.html	1121	2016-01-18	Quine on Carnap and Analyticity
xh014-i.html	1612	2016-01-18
xh014-m.html	11444	2016-01-18	Quine on Carnap and Analyticity - Issues
xh014.html	1139	2016-01-18	Quine on Carnap and Analyticity - Issues
xh015-i.html	1899	2016-01-18
xh015-m.html	27660	2016-01-18	The Carnap-Quine Dialogue in Seven Acts
xh015.html	1137	2016-01-18	The Carnap-Quine Dialogue in Seven Acts
xh016-i.html	1626	2016-01-18
xh016-m.html	4929	2016-01-18	presumptions, claims and arguments
xh016.html	1126	2016-01-18	presumptions, claims and arguments
xh017-i.html	1636	2016-01-18
xh017-m.html	6049	2016-01-18	The Pluralism of Rudolf Carnap
xh017.html	1048	2016-01-18	The Pluralism of Rudolf Carnap

name	size	mdate	title
000.htm	9622	2016-01-18	Index for directory rbjpub/philos/logic
001.htm	538	2016-01-18	Necessity and Contingency
002.htm	1659	2016-01-18	Propositions
003.htm	508	2016-01-18	Philosophical Logicism
004.htm	3584	2016-01-18	Carts and Horses
005.htm	3573	2016-01-18	Some Necessary Propositions
006.htm	580	2016-01-18	Defining Necessity and Contingency
008.htm	2025	2016-01-18	Formal Analyticity
009.htm	521	2016-01-18	What is Logic? (philosopher's version)
010.htm	3394	2016-01-18	Support for a Necessary/Contingent Dichotomy
011.htm	3758	2016-01-18	Against the Necessary/Contingent Dichotomy
012.htm	530	2016-01-18	Definitions of Logic
013.htm	5444	2016-01-18	Formal Logical Analysis
014.htm	1358	2016-01-18	IndexFrame: What is Logic? (philosopher's version)
015.htm	15083	2016-01-18	MainFrame: What is Logic? (philosopher's version)
016.htm	1292	2016-01-18	IndexFrame: Philosophical Logicism
017.htm	19167	2016-01-18	MainFrame: Philosophical Logicism
018.htm	1123	2016-01-18	IndexFrame: Necessity and Contingency
019.htm	12036	2016-01-18	MainFrame: Necessity and Contingency
020.htm	1159	2016-01-18	IndexFrame: Definitions of Logic
021.htm	15499	2016-01-18	MainFrame: Definitions of Logic
022.htm	548	2016-01-18	Defining Logical Truth
023.htm	1295	2016-01-18	IndexFrame: Logical Truth
024.htm	19560	2016-01-18	MainFrame: Logical Truth
025.htm	1125	2016-01-18	IndexFrame: Defining Necessity and Contingency
026.htm	13532	2016-01-18	MainFrame: Defining Necessity and Contingency
027.htm	572	2016-01-18	Philosophy and Language - a historical sketch
028.htm	1368	2016-01-18	IndexFrame: Philosophy and Language - a historical sketch
029.htm	9332	2016-01-18	MainFrame: Philosophy and Language - a historical sketch
030.htm	1371	2016-01-18	IndexFrame: The Philosophy of Logic
031.htm	15603	2016-01-18	MainFrame: The Philosophy of Logic
index-i.htm	2118	2016-01-18
index-m.htm	24928	2016-01-18	The Philosophy of Logic
index.htm	1079	2016-01-18	The Philosophy of Logic
index2.htm	620	2016-01-18	The Philosophy of Logic
xpl001-i.html	2781	2016-01-18
xpl001-m.html	38636	2016-01-18	Analyses of Analysis
xpl001.html	1119	2016-01-18	Analyses of Analysis
xpl002-i.html	1883	2016-01-18
xpl002-m.html	11551	2016-01-18	The Logic and Metaphysics of Aristotle
xpl002.html	1099	2016-01-18	The Logic and Metaphysics of Aristotle
xpl003-i.html	2138	2016-01-18
xpl003-m.html	23819	2016-01-18	Analyses of Analysis: Part I - Exegetical Analysis
xpl003.html	1165	2016-01-18	Analyses of Analysis: Part I - Exegetical Analysis
xpl004-i.html	1895	2016-01-18
xpl004-m.html	18077	2016-01-18	Analyses of Analysis: Part II - Synthetic Analysis
xpl004.html	1216	2016-01-18	Analyses of Analysis: Part II - Synthetic Analysis
xpl005-i.html	1888	2016-01-18
xpl005-m.html	16237	2016-01-18	Analyses of Analysis: Part I - Introduction
xpl005.html	1241	2016-01-18	Analyses of Analysis: Part I - Introduction

name	size	mdate	title
000.htm	7546	2016-01-18	Index for directory rbjpub/philos/maths
faq001.htm	519	2016-01-18	Logicism
faq003.htm	3716	2016-01-18	What's Wrong with ZFC?
faq004.htm	15675	2016-01-18	Category Theoretic Perspectives on the Foundations of Mathematics
faq005.htm	630	2016-01-18	The Foundations of Mathematics
faq006-i.htm	1623	2016-01-18
faq006-m.htm	19408	2016-01-18	Philosophers on Mathematics
faq006.htm	1049	2016-01-18	Philosophers on Mathematics
faq008.htm	6052	2016-01-18	Sources on the Philosophy of Mathematics
faq009.htm	3037	2016-01-18	History of the Logical Foundations of Mathematics
faq010.htm	3008	2016-01-18	What is Logicism?
faq011.htm	3478	2016-01-18	Validity, Necessity and Mathematics
faq012.htm	5135	2016-01-18	Are Foundations Necessary?
faq013.htm	742	2016-01-18	Mathematical Philosophy for Formal Analysis
faq014.htm	1321	2016-01-18	IndexFrame: Mathematical Philosophy for Formal Analysis
faq015.htm	13062	2016-01-18	MainFrame: Mathematical Philosophy for Formal Analysis
faq016.htm	1133	2016-01-18	IndexFrame: Logicism
faq017.htm	13963	2016-01-18	MainFrame: Logicism
faq018.htm	641	2016-01-18	What is a "foundation" for mathematics?
faq019.htm	1066	2016-01-18	IndexFrame: What is a "foundation" for mathematics?
faq020.htm	10558	2016-01-18	MainFrame: What is a "foundation" for mathematics?
faq021.htm	640	2016-01-18	Logical Foundations for Mathematics
faq022.htm	1311	2016-01-18	IndexFrame: Logical Foundations for Mathematics
faq023.htm	24959	2016-01-18	MainFrame: Logical Foundations for Mathematics
faq024.htm	1129	2016-01-18	IndexFrame: The Foundations of Mathematics
faq025.htm	12266	2016-01-18	MainFrame: The Foundations of Mathematics
faq027.htm	4511	2016-01-18	20th Century Schools in the Philosophy of Mathematics
faq028.htm	1530	2016-01-18	IndexFrame: The Philosophy of Mathematics
faq029.htm	10379	2016-01-18	MainFrame: The Philosophy of Mathematics
faq030.htm	1263	2016-01-18	IndexFrame: Problems in the Philosophy of Mathematics
faq031.htm	18435	2016-01-18	MainFrame: Problems in the Philosophy of Mathematics
index.htm	704	2016-01-18	The Philosophy of Mathematics
inter004.htm	5405	2016-01-18	Philosophy of Mathematics
inter007.htm	7661	2016-01-18	Mathematics is Analytic
inter010.htm	4545	2016-01-18	In Support of LOGICISM
net001.htm	1428	2016-01-18	Philosophy of Mathematics Links

name	size	mdate	title
000.htm	9364	2016-01-18	Index for directory rbjpub/philos/metap
index-i.htm	2578	2016-01-18
index-m.htm	20932	2016-01-18	Metaphysics and Philosophy of Science and Engineering
index.htm	1164	2016-01-18	Metaphysics and Philosophy of Science and Engineering
indextemp.htm	659	2016-01-18	Metaphysics and Philosophy of Science and Engineering
metap001.htm	2187	2016-01-18	Metaphysics
metap002.htm	648	2016-01-18	Possible Worlds
metap003.htm	1272	2016-01-18	IndexFrame: Possible Worlds
metap004.htm	18657	2016-01-18	MainFrame: Possible Worlds
metap005.htm	667	2016-01-18	The Role of MetaPhysics in Factasia
metap006.htm	1039	2016-01-18	IndexFrame: The Role of MetaPhysics in Factasia
metap007.htm	4961	2016-01-18	MainFrame: The Role of MetaPhysics in Factasia
mps001.htm	4180	2016-01-18	MetaPhysics and Philosophy of Science Net Links
pcs000.htm	3539	2016-01-18	Philosophy and Computing
pcs001.htm	1474	2016-01-18	Searle's Chinese Room
pcs002.htm	3291	2016-01-18	Penrose's New Suit
pcs003.htm	3046	2016-01-18	Fetzer's Folly
pcsai001.htm	1776	2016-01-18	Philosophy and Artificial Intelligence
pcsai002.htm	2208	2016-01-18	Philosophy and Artificial Intelligence Netlinks
pcsai003.htm	1101	2016-01-18	IndexFrame: Philosophy and Artificial Intelligence
pcsai004.htm	2667	2016-01-18	MainFrame: Philosophy and Artificial Intelligence
pphy001.htm	575	2016-01-18	Problems in Physics
xmp001-i.html	3326	2016-01-18
xmp001-m.html	44222	2016-01-18	Positive Metaphysics (II)
xmp001.html	1074	2016-01-18	Positive Metaphysics (II)
xps000-i.html	2780	2016-01-18
xps000-m.html	25129	2016-01-18	Metaphysics
xps000.html	1017	2016-01-18	Metaphysics
xps001-i.html	1622	2016-01-18
xps001-m.html	10926	2016-01-18	Philosophy, Mind, Brain
xps001.html	1088	2016-01-18	Philosophy, Mind, Brain
xps002-i.html	2310	2016-01-18
xps002-m.html	35229	2016-01-18	Space and Time
xps002.html	1015	2016-01-18	Space and Time
xps003-i.html	2088	2016-01-18
xps003-m.html	26540	2016-01-18	Formal approaches to Metaphysics
xps003.html	1131	2016-01-18	Formal approaches to Metaphysics
xps004-i.html	1866	2016-01-18
xps004-m.html	17665	2016-01-18	Metaphysical Ontology
xps004.html	1071	2016-01-18	Metaphysical Ontology
xps005-i.html	2080	2016-01-18
xps005-m.html	14083	2016-01-18	Philosophy of Science
xps005.html	1034	2016-01-18	Philosophy of Science
xps006-i.html	1840	2016-01-18
xps006-m.html	7641	2016-01-18	Philosophy of Engineering
xps006.html	1038	2016-01-18	Philosophy of Engineering
xps007-i.html	2420	2016-01-18
xps007-m.html	21276	2016-01-18	Carnap and Aristotle
xps007.html	1068	2016-01-18	Carnap and Aristotle

name	size	mdate	title
000.htm	2021	2016-01-18	Index for directory rbjpub/philos/politics
ppol001.htm	2155	2016-01-18	Political Science and Philosophy Netlinks
xpt001-i.html	1606	2016-01-18
xpt001-m.html	3553	2016-01-18	Ideas on Political Philosophy
xpt001.html	1073	2016-01-18	Ideas on Political Philosophy

name	size	mdate	title
000.htm	2262	2016-01-18	Index for directory rbjpub/pol
index.htm	474	2016-01-18	Politics
pol000.htm	3507	2016-01-18	Factasia Politics and Government Resource Hub
pol001.htm	929	2016-01-18	Men of Principle?
pol002.htm	1850	2016-01-18	Winston Spencer Churchill
pol003.htm	1192	2016-01-18	IndexFrame: Politics
pol004.htm	11028	2016-01-18	MainFrame: Politics

name	size	mdate	title
000.htm	21431	2016-01-18	Index for directory rbjpub/pp
analysis-i.html	2735	2016-01-18
analysis-m.html	412031	2016-01-18	The Theory analysis
analysis.html	996	2016-01-18	The Theory analysis
basic_hol-i.html	1811	2016-01-18
basic_hol-m.html	3051	2016-01-18	The Theory basic_hol
basic_hol.html	1003	2016-01-18	The Theory basic_hol
bin_rel-i.html	2976	2016-01-18
bin_rel-m.html	38152	2016-01-18	The Theory bin_rel
bin_rel.html	989	2016-01-18	The Theory bin_rel
char-i.html	2497	2016-01-18
char-m.html	6005	2016-01-18	The Theory char
char.html	968	2016-01-18	The Theory char
dyadic-i.html	2741	2016-01-18
dyadic-m.html	17483	2016-01-18	The Theory dyadic
dyadic.html	982	2016-01-18	The Theory dyadic
fixp-i.html	2031	2016-01-18
fixp-m.html	16505	2016-01-18	The Theory fixp
fixp.html	968	2016-01-18	The Theory fixp
hol-i.html	1568	2016-01-18
hol-m.html	2314	2016-01-18	The Theory hol
hol.html	961	2016-01-18	The Theory hol
index-i.html	3067	2016-01-18
index-m.html	37237	2016-01-18	ProofPower and its use at RBJones.com
index.html	1168	2016-01-18	ProofPower and its use at RBJones.com
init-i.html	1793	2016-01-18
init-m.html	4110	2016-01-18	The Theory init
init.html	968	2016-01-18	The Theory init
int-i.html	2916	2016-01-18
int-m.html	61719	2016-01-18	The Theory %int%
int.html	969	2016-01-18	The Theory %int%
list-i.html	2923	2016-01-18
list-m.html	18967	2016-01-18	The Theory list
list.html	968	2016-01-18	The Theory list
log-i.html	2478	2016-01-18
log-m.html	10767	2016-01-18	The Theory log
log.html	961	2016-01-18	The Theory log
min-i.html	2243	2016-01-18
min-m.html	5170	2016-01-18	The Theory min
min.html	961	2016-01-18	The Theory min
misc-i.html	2935	2016-01-18
misc-m.html	22581	2016-01-18	The Theory misc
misc.html	968	2016-01-18	The Theory misc
nat-i.html	2693	2016-01-18
nat-m.html	34355	2016-01-18	The Theory %nat%
nat.html	969	2016-01-18	The Theory %nat%
one-i.html	2470	2016-01-18
one-m.html	5433	2016-01-18	The Theory one
one.html	961	2016-01-18	The Theory one
orders-i.html	2493	2016-01-18
orders-m.html	38317	2016-01-18	The Theory orders
orders.html	982	2016-01-18	The Theory orders
pair-i.html	2931	2016-01-18
pair-m.html	13179	2016-01-18	The Theory pair
pair.html	968	2016-01-18	The Theory pair
pc-i.html	2679	2016-01-18
pc-m.html	20066	2016-01-18	The Theory pc
pc.html	954	2016-01-18	The Theory pc
pp-smlxtras-i.html	1856	2016-01-18
pp-smlxtras-m.html	19500	2016-01-18	Extra sml procedures for ProofPower
pp-smlxtras.html	1147	2016-01-18	Extra sml procedures for ProofPower
ppchartable.html	49478	2016-01-18	ProofPower Special Character Table
pptheories.html	14195	2016-01-18	Listings of some theories built into ProofPower
pure_categories-i.html	2635	2016-01-18
pure_categories-m.html	48941	2016-01-18	A Theory of Pure Categories
pure_categories.html	1146	2016-01-18	A Theory of Pure Categories
rda001.html	105671	2016-01-18	42 famous theorems in ProofPower
real-i.html	2925	2016-01-18
real-m.html	138860	2016-01-18	The Theory %real%
real.html	976	2016-01-18	The Theory %real%
sets-i.html	2699	2016-01-18
sets-m.html	27836	2016-01-18	The Theory sets
sets.html	968	2016-01-18	The Theory sets
si-i.html	2459	2016-01-18
si-m.html	10364	2016-01-18	The Theory si
si.html	954	2016-01-18	The Theory si
strong_infinity-i.html	2388	2016-01-18
strong_infinity-m.html	25922	2016-01-18	A strong axiom of infinity for HOL
strong_infinity.html	1109	2016-01-18	A strong axiom of infinity for HOL
sum-i.html	2691	2016-01-18
sum-m.html	10859	2016-01-18	The Theory sum
sum.html	961	2016-01-18	The Theory sum
wf_rec-i.html	2041	2016-01-18
wf_rec-m.html	10624	2016-01-18	The Theory wf_rec
wf_rec.html	982	2016-01-18	The Theory wf_rec
wf_recp-i.html	2500	2016-01-18
wf_recp-m.html	17577	2016-01-18	The Theory wf_recp
wf_recp.html	989	2016-01-18	The Theory wf_recp
wf_rel-i.html	2041	2016-01-18
wf_rel-m.html	9781	2016-01-18	The Theory wf_rel
wf_rel.html	982	2016-01-18	The Theory wf_rel
wf_relp-i.html	2275	2016-01-18
wf_relp-m.html	19365	2016-01-18	The Theory wf_relp
wf_relp.html	989	2016-01-18	The Theory wf_relp
x001-i.html	3285	2016-01-18
x001-m.html	64763	2016-01-18	A theory of fixed points
x001.html	1064	2016-01-18	A theory of fixed points
x002-i.html	2860	2016-01-18
x002-m.html	74690	2016-01-18	Transitive and Well-Founded Relations as Properties
x002.html	1143	2016-01-18	Transitive and Well-Founded Relations as Properties
x003-i.html	2524	2016-01-18
x003-m.html	101182	2016-01-18	Analyticity and Deduction
x003.html	1077	2016-01-18	Analyticity and Deduction
x003t-i.html	2036	2016-01-18
x003t-m.html	5627	2016-01-18	The Theory x003t
x003t.html	975	2016-01-18	The Theory x003t
x003u-i.html	2036	2016-01-18
x003u-m.html	5705	2016-01-18	The Theory x003u
x003u.html	975	2016-01-18	The Theory x003u
x003v-i.html	2036	2016-01-18
x003v-m.html	8317	2016-01-18	The Theory x003v
x003v.html	975	2016-01-18	The Theory x003v
x004-i.html	2649	2016-01-18
x004-m.html	22958	2016-01-18	Well-Foundedness and Recursion
x004.html	1112	2016-01-18	Well-Foundedness and Recursion
x005-i.html	2314	2016-01-18
x005-m.html	26715	2016-01-18	ProofPower
x005.html	995	2016-01-18	ProofPower