Full RBJones.com Content Listing

This listing covers the first 3 directory levels of RBJones.com. The next level contains the largest directories consisting of hypertext editions of classic philosophical works, for which separate listings are linked to.

Directory structure:

  • namesizemdatetitle
    000.htm199422010-08-13Index for directory rbjpub
    0000.htm40962010-08-13Full RBJones.com Content Listing
    fac001.sty6901998-04-21 
    frame0.htm5492000-03-02Level 0 frame document proforma
    frame1.htm10102000-08-26IndexFrame: Level 0 frame document proforma
    frame2.htm23802000-08-26MainFrame: Level 0 frame document proforma
    googleresults.html4372010-01-18 
    index.htm190192010-01-18RBJones.com Quick Index
    net000.htm73962007-04-20Factasia - General Net Resources
    privacy-i.htm15172010-01-13 
    privacy-m.htm54572010-01-13RBJones.com Privacy Policy
    privacy.htm10762010-01-13RBJones.com Privacy Policy
    privacy.html65792010-08-13RBJones.com Privacy Policy
    prof00.htm8031998-08-31Document Proforma - level 0
    projects.html338352010-08-13RBJ's Projects in Suspense
    rbj-i.htm22252010-08-13 
    rbj-m.htm190672010-08-13Roger Bishop Jones
    rbj.htm10422010-08-13Roger Bishop Jones
    rbj0.htm28942004-03-10Roger Bishop Jones
    rbj003.htm46731998-06-28The Importance of Being Earnest
    rbj008.htm5372000-12-24The Factasia Utopia
    rbj008a.htm5372000-12-24The Factasia Utopia
    rbj009.htm11701998-07-05RBJ's Pick of The Net
    rbj010.htm27992004-12-23RBJ's Underside Links
    rbj011.htm2271997-10-04The Factasia Net-Link Frame
    rbj012.htm16141998-03-31Index: Factasia content lattice
    rbj014.htm17181998-03-31Index: Factasia netlinks
    rbj016.htm2301997-10-04Factasia Content Frame
    rbj019.htm141772004-12-23The Factasia Gif Gallery and Browser Bar
    rbj020.htm56941998-09-27The Factasia Bridge
    rbj021.htm90601999-09-21What is Factasia?
    rbj022.htm5402002-10-06Coming up in Factasia
    rbj023.htm37371999-12-01Factasia Through the Looking Glass - a worm-hole warp-drive into the future of cyber-space
    rbj024.htm46461998-07-06Reflexion in Factasia
    rbj025.htm28231999-12-01Fantasy in Factasia
    rbj026.htm39221999-10-19Magic in Factasia
    rbj027.htm45012003-07-24Factasia Content Subject Lattice
    rbj028.htm38771997-02-28Factasia Content Subject Tree
    rbj029.htm24591998-08-18The Factasia Theme Park
    rbj030.htm10381997-03-15Intuition & Emotion in Factasia
    rbj031.htm30391997-03-15Factastic Themes - Breadth & Synthesis
    rbj032.htm18741997-03-15Factastic Themes - Precision & Logic
    rbj033.htm53382002-10-07Strategic Notes for Factasia Development
    rbj034.htm168562010-08-13RBJones.com Directory Listing
    rbj035.htm260672000-04-12The Factasia Top 100
    rbj036.htm312302010-06-23RBJones.com Top 100
    rbj037.htm11902008-02-20IndexFrame: Roger Bishop Jones
    rbj038.htm213952008-02-20MainFrame: Roger Bishop Jones
    rbj039.htm32582008-02-20Roger Bishop Jones
    rbj040.htm4571999-08-30The Factasia Home Page
    rbj041.htm13032005-02-19IndexFrame: The Factasia Home Page
    rbj042.htm238172005-02-19MainFrame: The Factasia Home Page
    rbj043.htm49341998-07-09Factasia
    rbj044.htm15152003-07-14IndexFrame: The Factasian Utopia
    rbj045.htm278191999-10-19MainFrame: The Factasian Utopia
    rbj046.htm5291998-10-01Factasia Quick Index
    rbj047.htm22491998-10-13IndexFrame: Coming up in Factasia
    rbj048.htm324172002-10-06MainFrame: Coming up in Factasia
    rbj049.htm10531999-11-02Download The Factasia HTML Help File
    rbj050.htm14452005-02-19Download The RBJones.com gzipped tar File
    rbj051.htm21471999-01-22The Factasia CD-ROM
    rbj052.htm180152000-08-25MainFrame: RBJones.com
    rbj053.htm12232000-08-15IndexFrame: RBJones.com
    rbj054.htm6632000-08-26RBJones.com - home of Factasia
    rbj055.htm206362001-09-21MainFrame: Roger Bishop Jones
    rbj056.htm10832001-09-15IndexFrame: Roger Bishop Jones
    rbj057.htm4792001-09-21Roger Bishop Jones
    rbj058.htm7462002-12-23Factasia Chat
    rbjpgpk1.pgp2781998-03-18 
    search.html232932010-08-13RBJ's Egocentric Searches
    x001-i.html35642010-08-13 
    x001-m.html523062010-08-13RBJones.com
    x001.html10412010-08-13RBJones.com
    x002-i.html25212010-08-13 
    x002-m.html179702010-08-13The Automation of Reason
    x002.html10752010-08-13The Automation of Reason
    x003-i.html25852010-08-13 
    x003-m.html207482010-08-13Positive Philosophy
    x003.html10652010-08-13Positive Philosophy
    xhp001-i.html25312010-08-13 
    xhp001-m.html217152010-08-13RBJones.com
    xhp001.html10502010-08-13RBJones.com
    xhp002-i.html25442010-08-13 
    xhp002-m.html274532010-08-13RBJones.com
    xhp002.html10502010-08-13RBJones.com
    xhp003-i.html31382010-08-13 
    xhp003-m.html326942010-08-13RBJones.com
    xhp003.html10482010-08-13RBJones.com
    xt001-i.html22552010-08-13 
    xt001-m.html216352010-08-13Home Page History
    xt001.html10372010-08-13Home Page History
    xt002-i.html37152010-08-13 
    xt002-m.html527652010-08-13The Stack of Change
    xt002.html10752010-08-13The Stack of Change
    xt003-i.html27182010-08-13 
    xt003-m.html323022010-08-13The Dynamic of RBJones.com
    xt003.html10042010-08-13The Dynamic of RBJones.com
    xt004-i.html20302010-08-13 
    xt004-m.html109362010-08-13New at RBJones.com
    xt004.html10512010-08-13New at RBJones.com
    xtc001-i.html32262010-08-13 
    xtc001-m.html400032010-08-13Rationality and Romanticism
    xtc001.html11702010-08-13Rationality and Romanticism
    xtc002-i.html22512010-08-13 
    xtc002-m.html185412010-08-13About Writing
    xtc002.html10292010-08-13About Writing

  • bus

    namesizemdatetitle
    000.htm31882010-08-13Index for directory rbjpub/bus
    bus001.htm84442004-12-23Factasia Business Internet Resource Hub
    bus002.htm31561998-09-27Value Agents
    bus003.htm16481998-02-15The Factasia Business Park
    bus004.htm49881998-08-31The Factasia Business Model
    bus006.htm10061998-10-01IndexFrame: Business
    bus007.htm40261998-09-27MainFrame: Business
    bus008.htm5171998-10-16The Factasia Marketing Page
    bus009.htm12471998-10-16IndexFrame: The Factasia Marketing Page
    bus010.htm114111998-10-16MainFrame: The Factasia Marketing Page
    htw001.htm24461998-09-27From Hierarchy to Web
    index.htm5201998-09-27Business

  • bus/rbjltd

    namesizemdatetitle
    000.htm31852010-08-13Index for directory rbjpub/bus/rbjltd
    index.htm33862005-01-24Roger Bishop Jones Limited
    rbjm001.htm14791998-03-12Minute rbjm001 - election to dispense with AGMs
    rbjm002.htm26141998-03-18Minute rbjm002 - laying of accounts before a general meeting
    rbjr00.htm6511998-09-10Roger Bishop Jones Limited Company Registry
    rbjr00i.htm15181998-09-10IndexFrame: Company Registry of Roger Bishop Jones Limited
    rbjr00m.htm127022005-01-24MainFrame: Company Registry of Roger Bishop Jones Limited

  • cs

    namesizemdatetitle
    000.htm130982010-08-13Index for directory rbjpub/cs
    ai001.htm6201999-10-07Artificial Intelligence
    ai002.htm9721998-08-21Automation of Deduction
    ai003.htm104732004-12-06Automation of Reasoning Netlinks
    ai004.htm76042009-08-13Formalised Mathematics - net links
    ai005.htm69952001-10-18Mechanisation of Mathematics - net links
    ai006.htm61482009-11-14Artifical Intelligence - net links
    ai007.htm35411998-08-08Artificial Intelligence - ruminations
    ai008.htm6482000-02-06Mechanisation of Mathematics
    ai009.htm4611998-08-14Formalised Mathematics
    ai010.htm25771998-08-07Math by Proof - What is it, and why should we?
    ai011.htm23961998-09-27What is Intelligence?
    ai012.htm4951998-08-28A Topography for Artificial Intelligence
    ai013.htm42111999-10-07The Analytic Superbrain
    ai014.htm119772009-03-24Conceptions of the Global SuperBrain
    ai015.htm50671999-10-07Dimensions of the Global SuperBrain
    ai016.htm15951998-08-06The Singularity
    ai017.htm8031999-10-19The Global SuperBrain
    ai018.htm13351999-10-07IndexFrame: The Global SuperBrain
    ai019.htm114121999-10-07MainFrame: The Global SuperBrain
    ai020.htm32061998-08-06Combinatorial Explosion - How to Beat it
    ai021.htm14291998-09-27IndexFrame: Artificial Intelligence
    ai022.htm133622003-04-25MainFrame: Artificial Intelligence
    ai023.htm12651998-09-27IndexFrame: Mechanisation of Mathematics
    ai024.htm114492009-05-09MainFrame: Mechanisation of Mathematics
    ai025.htm12501998-10-01IndexFrame: A Topography for Artificial Intelligence
    ai026.htm142951999-10-07MainFrame: A Topography for Artificial Intelligence
    ai027.htm11991999-10-07IndexFrame: Formalised Mathematics
    ai028.htm108361999-10-07MainFrame: Formalised Mathematics
    ai029.htm6592000-02-18Symbolic Mathematical Computation
    ai030.htm13462000-02-18IndexFrame: Symbolic Mathematical Computation
    ai031.htm133922000-02-18MainFrame: Symbolic Mathematical Computation
    cs001.htm34712009-05-09Computing with Reals
    cs002.htm9521996-07-23Addition over Computable Reals
    cs003.htm16891996-07-23Computer Science?
    cs004.htm50821998-07-17Representing Computable Reals
    cs005.htm4852000-02-01Computing Netlinks
    cs006.htm153861999-05-01Computing with Reals - some history
    cs007.htm17791998-10-01Calculation and Proof
    cs008.htm58262001-06-20Not-So-Good Candidates
    cs009.htm79721999-04-28Good Candidates for Computable Reals
    cs010.htm30491998-07-17Computing with Reals - motivation
    cs011.htm31432006-05-28Implementation of Computation with Reals
    cs012.htm22651997-09-21Commodity Computing
    cs013.htm13261999-10-21IndexFrame: Factasia Computing
    cs014.htm125151999-10-21MainFrame: Factasia Computing
    cs015.htm17932000-03-11IndexFrame: Factasia Computing Netlinks
    cs016.htm235732004-11-06MainFrame: Factasia Computing Netlinks
    cs017.htm29242000-04-03The factasia CORBA/UML links page
    csfm01.htm19661999-10-19Formal Methods for Information Systems Engineering
    csfm02.htm94281999-10-19Formal Specification Languages
    csfm03.htm20161999-09-19The Z Specification Language
    csfm04.htm20501996-07-25On The Semantics of Z
    csfm05.htm8881996-07-25Issues in the Semantics of Z
    csfm06.htm31181999-05-02Background (On The Semantics of Z)
    csfm07.htm33641998-08-06The Treatment of Undefinedness in Z
    cslog001.htm38791998-08-06The LCF Paradigm
    cslog002.htm35491998-08-06Computers and Maths
    cslog003.htm45982009-05-09How Computers score at Maths
    cslog004.htm32191998-08-06Systems Integration and Logic
    cslog005.htm5981999-10-07Logic and Computing
    cslog006.htm9831999-10-07IndexFrame: Logic and Computing
    cslog007.htm28421999-10-07MainFrame: Logic and Computing
    dr000.htm36761998-08-01The Digital Revolution
    dr001.htm26551998-08-06Digital to Logical - the evolution of data representation
    index.htm5451999-10-12Factasia Computing
    sec001.htm24921999-12-01Security Net-Links
    xreal01-i.html31102010-08-13 
    xreal01-m.html256692010-08-13Exact Real Computation in ProofPower
    xreal01.html11762010-08-13Exact Real Computation in ProofPower

  • econ

    namesizemdatetitle
    000.htm19452010-08-13Index for directory rbjpub/econ
    econ000.htm39551999-12-01Factasia Economics Internet Resource Hub
    econ001.htm10331998-09-11IndexFrame: Economics
    econ002.htm36731998-09-11MainFrame: Economics
    index.htm4521998-09-15Economics

  • engineer

    namesizemdatetitle
    000.htm36042010-08-13Index for directory rbjpub/engineer
    eng000.htm41862004-12-23Factasia Engineering Netlinks
    eng001.htm69912000-03-15Memetic Future Engineering
    eng002.htm14341998-11-01IndexFrame: Engineering
    eng003.htm172241998-11-01MainFrame: Engineering
    eng004.htm5091998-10-09Utopian Engineering
    eng005.htm12561998-10-09IndexFrame: Utopian Engineering
    eng006.htm150751998-10-29MainFrame: Utopian Engineering
    eng007.htm5111998-10-13Engineering Design
    eng008.htm9781998-10-13IndexFrame: Engineering Design
    eng009.htm69021998-10-13MainFrame: Engineering Design
    eng010-i.html20402010-08-13 
    eng010-m.html100852010-08-13Engineering as Philosophy
    eng010.html10802010-08-13Engineering as Philosophy
    index.htm4581998-10-27Engineering

  • future

    namesizemdatetitle
    000.htm27082010-08-13Index for directory rbjpub/future
    fut000.htm165012007-12-28Factasia netlinks on the Future
    fut001.htm47701998-08-31The Future of The Future
    fut002.htm43701997-09-21Future Makers - Past, Present and Future
    fut003.htm11911997-07-31Future Engineering Methods - Past, Present and Future
    fut004.htm32101997-08-04The Collaborative Independent Creatives Scenario
    fut005.htm28261997-07-31Decoupling Corporate Metrics
    fut006.htm46331997-08-17Contrasting Visions of Future Empowerment
    index.htm36332003-07-24Factasia on The Future

  • isar

    namesizemdatetitle
    000.htm15272010-08-13Index for directory rbjpub/isar
    index.html62812008-12-11Index of Isabelle Theories

  • logic

    namesizemdatetitle
    000.htm258812010-08-13Index for directory rbjpub/logic
    ar001-i.html23152010-08-13 
    ar001-m.html97782010-08-13The Automation of Reason
    ar001.html10962010-08-13The Automation of Reason
    engl001.htm4431998-10-01Engineering Logic
    engl002.htm31241998-08-01The Next Logical Revolution
    engl003.htm17161996-09-05Logical Revolutions
    engl004.htm11251998-10-01IndexFrame: Engineering Logic
    engl005.htm133581998-08-26MainFrame: Engineering Logic
    index.htm6172009-03-31Logic at RBJones.com
    inter002.htm14191996-07-20Reflexive Logical Systems
    inter003.htm46191997-11-15New Classical Logical Systems
    inter004.htm12211999-10-12IndexFrame: Pure Functions
    inter005.htm197291999-10-12MainFrame: Pure Functions
    inter006.htm49741996-07-20Why ProofPower?
    inter007.htm4462000-01-31The Theory zfc
    inter007i.htm13512000-01-31IndexFrame: The Theory zfc
    inter007m.htm147752000-01-31MainFrame: The Theory zfc
    inter008.htm4582000-01-31The Theory combin
    inter008i.htm12332000-01-31IndexFrame: The Theory combin
    inter008m.htm42382000-01-31MainFrame: The Theory combin
    inter009.htm4462000-01-31The Theory sum
    inter009i.htm12882000-01-31IndexFrame: The Theory sum
    inter009m.htm85162000-01-31MainFrame: The Theory sum
    inter010.htm4502000-01-31The Theory char
    inter010i.htm12472000-01-31IndexFrame: The Theory char
    inter010m.htm31702000-01-31MainFrame: The Theory char
    inter011.htm4422000-01-31The Theory pf
    inter011i.htm10282000-01-31IndexFrame: The Theory pf
    inter011m.htm28672000-01-31MainFrame: The Theory pf
    inter012.htm12061999-10-31ZFC in HOL
    inter013.htm5141999-10-12Pure Functions
    inter014-i.htm32832010-08-13 
    inter014-m.htm298962010-08-13Notes on Proof Theoretic Strength
    inter014.htm11162010-08-13Notes on Proof Theoretic Strength
    jrh0100.htm28011998-11-15Formalized Mathematics
    jrh0101.htm86951996-08-26History and Philosophy
    jrh0102.htm94411996-08-16Rigour and the axiomatic method
    jrh0103.htm97921996-08-16The History of Formal Logic
    jrh0104.htm112471996-08-16Hilbert's Programme
    jrh0105.htm95311996-08-16The Bourbaki view
    jrh0106.htm61751996-08-16Enter the computer
    jrh0107.htm127921996-08-16Automated Reasoning
    jrh0108.htm47501996-08-16Formalizing mathematics
    jrh0109.htm61661996-08-16Formalization
    jrh0110.htm97921996-08-16Criticism and reconstruction
    jrh0111.htm170831996-08-16The choice of a foundational system
    jrh0112.htm100501996-08-16Definitions and locutions
    jrh0113.htm106171998-11-01Partial functions and undefined terms
    jrh0114.htm13351996-08-16Practical issues
    jrh0115.htm73911996-08-16Feasibility
    jrh0116.htm147831997-12-08Extensibility and LCF
    jrh0117.htm150591997-12-08Metatheory and reflection
    jrh0118.htm56541998-08-14How much automation do we want?
    jrh0119.htm88261996-08-16User interaction
    jrh0120.htm89291996-08-16Experience of formalized mathematics
    jrh0121.htm31571996-08-16The Future
    jrh0122.htm23721996-08-16Acknowledgements
    jrh0123.htm52591998-10-15Glossary
    jrh01b.htm444541998-10-15Bibliography on Formalised Mathematics
    jrh01f.htm146491998-08-07Formalised Mathematics - footnotes
    log000.htm5191999-09-19Factasia Logic Netlinks
    log001.htm4811998-07-31What is Logic?
    log002.htm32321998-06-12Effective Procedures
    log003.htm34871999-09-30Boolean Propositional Logic
    log004.htm5511998-06-23An Introduction to Propositional Logics
    log005.htm38041999-10-02Formal Foundation Systems for Mathematics
    log006.htm24991996-05-23Why Logic is Important
    log007.htm4661999-10-12Applications of Logic
    log008.htm54821998-09-27Maths, Logic, Computing - Past Present and Future
    log009.htm39111998-08-23Proof and Computation
    log010.htm36401998-08-23Deductive Support for Science and Engineering
    log011.htm35412006-01-21HOST features
    log012.htm29031999-10-07HOST rationale
    log013.htm30031999-10-07HOST pedigree
    log014.htm6741997-12-31The Iterative Conception of Set
    log015.htm29961998-08-23Perspectives on the Scope of Logic
    log016.htm3971999-10-08Factasia - Books on Logic
    log017.htm60962001-10-11Semi-Formal Description of Propositional Logic
    log018.htm69741998-11-27Formal Specification of Propositional Logic in ML
    log019.htm60282008-03-25First-Order Predicate Logic
    log020.htm91391998-11-27Semi-Formal Description of First Order Predicate Logic
    log021.htm129541998-11-27Formal Specification of First-Order Predicate Logic in ML
    log022.htm160692001-07-23MainFrame: Books on Logic
    log023.htm24141999-10-08IndexFrame: Books on Logic
    log024.htm25122009-03-31IndexFrame: Logic
    log025.htm295082009-09-28MainFrame: Logic at RBJones.com
    log026.htm5001999-09-21The Definition of V
    log027.htm12632002-09-22IndexFrame: The Definition of V
    log028.htm87352003-03-15MainFrame: The Definition of V
    log029.htm63932006-04-24MainFrame: The Iterative Conception of Set
    log030.htm12252002-10-04IndexFrame: The Iterative Conception of Set
    log031.htm5911997-12-31HOST Implementation Features
    log032.htm11371999-10-07IndexFrame: HOST Implementation Features
    log033.htm56652009-05-09MainFrame: HOST Implementation Features
    log034.htm6501998-01-04HOST - Higher Order Set Theory
    log035.htm10721999-10-07IndexFrame: HOST - Higher Order Set Theory
    log036.htm82641999-10-07MainFrame: HOST - Higher Order Set Theory
    log037.htm12071998-07-31IndexFrame: What is Logic?
    log038.htm212702009-07-04MainFrame: What is Logic?
    log039.htm12231998-06-30IndexFrame: An Introduction to Propositional Logics
    log040.htm116182009-05-08MainFrame: An Introduction to Propositional Logics
    log041.htm5961998-07-10Boolean Propositional Connectives
    log042.htm9071998-07-10IndexFrame: Boolean Propositional Connectives
    log043.htm49471998-07-10MainFrame: Boolean Propositional Connectives
    log044.htm57311998-11-12Logical People
    log045.htm13111998-11-27IndexFrame: Factasia Logic Netlinks
    log046.htm121132004-12-23MainFrame: Factasia Logic Netlinks
    log047.htm38271998-11-27Semi-Formal Description of Frege's Begriffsschrift
    log048.htm5512000-03-05Boolean Operators
    log049.htm18041999-10-02IndexFrame: Boolean Operators
    log050.htm343882001-02-24MainFrame: Boolean Operators
    log051.htm13512000-03-05IndexFrame: Applications of Logic
    log052.htm158761999-10-12MainFrame: Applications of Logic
    log053.htm6421999-10-05Varieties of Logic
    log054.htm12331999-10-05IndexFrame: Varieties of Logic
    log055.htm89091999-10-05MainFrame: Varieties of Logic
    qedres00.htm17211998-08-13the QED Manifesto
    qedres01.htm119461996-03-31the QED Manifesto - Why is QED important
    qedres02.htm195001996-03-31the QED Manifesto - Some Objections
    qedres03.htm113001996-03-31the QED Manifesto - Some Background
    qedres04.htm26421996-03-31QED Manifesto - The Relationship of QED to Artificial Intelligence (AI) and to Automated Reasoning (AR)
    qedres05.htm105241996-03-31QED Manifesto - The Root Logic
    qedres06.htm81541996-03-31QED Manifesto - What Is To Be Done?
    qedres07.htm19451996-03-31QED Manifesto - copyright and authorship
    qedres08.htm29571998-08-13QED Manifesto - RBJ's Critique
    qedres09.htm52561996-03-31the QED Manifesto - RBJ's critique
    qedres10.htm52011996-03-31QED Manifesto - some objections and responses - RBJ's critique
    qedres11.htm32941996-03-31QED Manifesto critique - Some Background, Being a Critique of Current Related Efforts
    qedres12.htm12771996-03-31QED Manifesto critique - The Relationship of QED to Artificial Intelligence (AI) and to Automated Reasoning (AR)
    qedres13.htm11561996-03-31QED Manifesto critique - The Root Logic
    qedres14.htm23011996-03-31QED Manifesto critique - What Is To Be Done?
    qedres15.htm9451996-03-31QED Manifesto - copyright and authorship
    qedres16.htm11701998-08-13the QED Manifesto - what's new?
    qedresab.htm15621998-08-13the QED Manifesto - RBJ edition
    rbj006.htm34811998-08-13Logic is Important?

  • logic/cl

    namesizemdatetitle
    000.htm65042010-08-13Index for directory rbjpub/logic/cl
    cl001.htm4591999-09-20The Lambda-SKI Cube
    cl003.htm46541999-09-19The Axes of the Lambda-SKI Cube
    cl004.htm13741999-09-19The Faces of the Lambda-SKI Cube
    cl005.htm23771999-09-19The Vertices of the Lambda-SKI Cube
    cl006.htm27441999-09-19Pure Combinatory Logic
    cl007.htm32581999-09-19The Type-Free Lambda Calculus
    cl008.htm25361999-09-21Illative Combinatory Logic
    cl009.htm19111999-09-19Type-free lambda logics (lL)
    cl010.htm24692005-12-29Typed Combinatory Calculi (Tc)
    cl011.htm36221999-09-19Pure Typed Lambda-Calculus
    cl012.htm8251999-09-19Typed Combinatory Logics
    cl013.htm41972005-12-29Typed Lambda Logic's
    cl014.htm18511999-09-19IndexFrame: The Lambda-SKI Cube
    cl015.htm27951999-09-19MainFrame: The Lambda-SKI Cube
    cl016.htm16771999-09-22IndexFrame: The Lambda-calculus, Combinatory Logic, and Type Systems
    cl017.htm191101999-11-20MainFrame: The Lambda-calculus, Combinatory Logic, and Type Systems
    index.htm6621999-09-30The Lambda-calculus, Combinatory Logic, and Type Systems
    inter005.htm44811995-12-12Combinatory Logics with Essentially Incomplete Models
    inter008.htm40141995-12-12CLIEM - The Problem
    inter009.htm19161995-12-12CLIEM - A Solution
    inter011.htm65381995-12-12Strong Consistent Combinatory Logics
    tlc001.htm4721999-09-20Barendregt's Lambda Cube
    tlc002.htm20791999-09-20IndexFrame: Barendregt's Lambda Cube
    tlc003.htm164311999-09-21MainFrame: Barendregt's Lambda Cube
    tlc004.htm6131999-09-20Pure Type Systems
    tlc005.htm12241999-09-21IndexFrame: Pure Type Systems
    tlc006.htm177821999-09-21MainFrame: Pure Type Systems
    tlc007.htm5921999-09-22A Brief History of Types
    tlc008.htm15691999-09-22IndexFrame: A Brief History of Types
    tlc009.htm79411999-09-24MainFrame: A Brief History of Types

  • logic/foundations

    namesizemdatetitle
    000.htm38772010-08-13Index for directory rbjpub/logic/foundations
    index-i.html25592010-08-13 
    index-m.html134012010-08-13Foundation Systems
    index.html10522010-08-13Foundation Systems

  • logic/rda40

    namesizemdatetitle
    000.htm84162010-08-13Index for directory rbjpub/logic/rda40
    footnode.htm10801999-09-01Footnotes
    index.htm266791999-09-01On Complete -Consistent Theories of Arithmetic
    rda40.htm266791999-09-01On Complete -Consistent Theories of Arithmetic

  • maths

    namesizemdatetitle
    000.htm34102010-08-13Index for directory rbjpub/maths
    index.htm30762003-07-24Mathematics
    math001.htm48622004-12-19The Factasia Mathematics Resource Hub
    math002.htm16801998-07-26Who does maths and what tools do they use/need.
    math003.htm51192001-10-01A Short History of Rigour in Mathematics
    math004.htm39391998-07-26Threads in the Web of Mathematics
    math005.htm43122000-03-03Classical Greek Mathematics
    math006.htm44282009-05-09The Formalisation of Mathematics
    math007.htm44411998-08-06Real Numbers - a logical development
    math008.htm82062009-07-13Real Numbers - some history
    math009.htm46931998-08-14Formality and Rigour in 20th Century Mathematics
    math010.htm21141998-07-26Re-Use and Abstraction
    math011.htm45852009-05-09Mathematics and the Scientific Revolution

  • methods

    namesizemdatetitle
    000.htm28292010-08-13Index for directory rbjpub/methods
    index.htm26592009-12-11Methods
    meth001.htm55462000-03-07Factastic Future Engineering
    meth002.htm30951998-09-13A Rather Generic Method
    xm001-i.html33022010-08-13 
    xm001-m.html226372010-08-13Nomologico-Deductive Analytic Methods
    xm001.html10882010-08-13Nomologico-Deductive Analytic Methods
    xm002-i.html26072010-08-13 
    xm002-m.html157632010-08-13On Deductive Methods
    xm002.html10952010-08-13On Deductive Methods

  • methods/fm

    namesizemdatetitle
    000.htm67072010-08-13Index for directory rbjpub/methods/fm
    fm001.htm35371998-12-05What are Formal Methods?
    fm002.htm47181998-12-12Philosophy and Formal Methods
    fm003.htm14861998-06-21Theory for Formal Methods
    fm004.htm6201998-06-21Formal Languages and Notations
    fm005.htm27051998-12-12The Methods
    fm008.htm29401996-07-26Formal Methods - Marketing Strategy
    fm009.htm46831995-10-26Formal Methods Pages - Background and Motivation
    fm010.htm96222004-12-23Formal Methods Netlinks
    fm011.htm42901998-08-09The Axiomatic Method
    fm012-i.htm26302010-08-13 
    fm012-m.htm196492010-08-13Carnap's Syntactical Method
    fm012.htm10962010-08-13Carnap's Syntactical Method
    fm013-i.htm37682010-08-13 
    fm013-m.htm409152010-08-13The Method of Formal Logical Analysis
    fm013.htm11172010-08-13The Method of Formal Logical Analysis
    fm014.htm70321999-10-21MainFrame: The Method of Formal Logical Analysis
    fm015.htm10511999-10-21IndexFrame: The Method of Formal Logical Analysis
    fm016.htm6401998-01-04A Framework for Formal Analysis
    fm017.htm13151998-06-30IndexFrame: A Framework for Formal Analysis
    fm018.htm111591998-06-30MainFrame: A Framework for Formal Analysis
    fm019.htm5891999-10-21Methods for Formal Analysis
    fm020.htm13631999-10-21IndexFrame: Methods for Formal Analysis
    fm021.htm103691999-10-21MainFrame: Methods for Formal Analysis
    fm022.htm18191998-06-21Formal Notations
    fm023.htm10521998-06-30IndexFrame: Formal Languages and Notations
    fm024.htm62061999-10-02MainFrame: Formal Languages and Notations
    index-i.htm28842010-08-13 
    index-m.htm319222010-08-13Formal Methods
    index.htm10362010-08-13Formal Methods
    xfm001-i.html23302010-08-13 
    xfm001-m.html213772010-08-13Notes on Algebraic Methods
    xfm001.html10952010-08-13Notes on Algebraic Methods

  • music

    namesizemdatetitle
    000.htm33272010-08-13Index for directory rbjpub/music
    chop10n10i.htm12662003-10-12Notes on: Chopin Etudes Op.10
    index.htm5072001-10-19Factasia Music
    mjq001.htm18362001-06-09Quotations from Michael Jackson
    mus000.htm54282003-02-20Factasia - Internet Resources in Music
    mus001.htm142622003-03-15MainFrame: Factasia Music
    mus002.htm14232003-02-18IndexFrame: Factasia Music
    mus003.htm5132002-10-15Performances by RbJ
    mus004.htm15392002-10-15IndexFrame: Performances by RbJ
    mus005.htm105852002-10-15MainFrame: Performances by RbJ
    mus006.htm5152003-03-15A Short History of Midi
    mus007.htm241292003-03-15MainFrame: A Short History of Midi
    mus008.htm15102003-03-03IndexFrame: A Short History of Midi

  • philos

    namesizemdatetitle
    000.htm248962010-08-13Index for directory rbjpub/philos
    analypos.pdf816942010-08-13 
    fan001.htm6481998-12-11Philosophy and Formal Analysis
    fan002.htm12191998-12-11IndexFrame: Philosophy and Formal Analysis
    fan003.htm126621998-12-11MainFrame: Philosophy and Formal Analysis
    gsb001.htm39491998-10-30Philosophy and The Analytic Superbrain
    gsb002.htm46131996-10-21Philosophy and The Global Superbrain
    gsb003.htm63512009-11-01Hyper-Rationality
    gsb004.htm7101998-10-13The Holistic SuperBrain
    gsb005.htm13721999-10-07IndexFrame: The Holistic SuperBrain
    gsb006.htm150391999-10-07MainFrame: The Holistic SuperBrain
    index.htm5692009-03-31Philosophy at RBJones.com
    inter015.htm135602010-01-19The Factasia Philosophy Resource Hub
    inter016-i.htm25502010-08-13 
    inter016-m.htm160282010-08-13Analytic Philosophy
    inter016.htm10382010-08-13Analytic Philosophy
    ohp000.htm24541997-07-07OpenHeart Philosophy
    pos000.htm29361996-12-23Naive Neo-Classical Philosophy
    pos001.htm76511999-10-07Philosophy and The Global Superbrain
    pos002.htm5341998-09-08Coming Up in Factasia Philosophy
    pos003.htm36272009-11-01Philosophy
    pos004.htm20392009-11-01IndexFrame: Philosophy at RBJones.com
    pos005.htm248912009-08-01MainFrame: Philosophy at RBJones.com
    pos006.htm17571998-09-08IndexFrame: Coming Up in Factasia Philosophy
    pos007.htm152052009-11-01MainFrame: Coming Up in Factasia Philosophy
    pos008.htm4881998-10-08Rationality
    pos009.htm10021998-11-01IndexFrame: Rationality
    pos010.htm128162001-10-19MainFrame: Rationality
    pos011.htm6271998-11-13Academic Standards - Factasia Demurs
    pos012.htm10491998-11-13IndexFrame: Academic Standards - Factasia Demurs
    pos013.htm103742001-10-19MainFrame: Academic Standards - Factasia Demurs
    pos014.htm4831999-07-21Fallacies
    pos015.htm12471999-08-01IndexFrame: Fallacies
    pos016.htm143351999-11-02MainFrame: Fallacies
    soc001.htm9221998-11-06Institutional Pathology
    soc002.htm41521998-08-14MathFit v MathKit
    soc003.htm19391998-08-01Work, Learn, Play: Fulfillment
    superbrain.pdf490892010-08-13 
    x001-i.html37692010-08-13 
    x001-m.html491232010-08-13More on Metaphysical Positivism
    x001.html10782010-08-13More on Metaphysical Positivism
    x002-i.html32632010-08-13 
    x002-m.html390032010-08-13Scepticism
    x002.html10432010-08-13Scepticism
    x003-i.html42962010-08-13 
    x003-m.html677982010-08-13Metaphysical and Logical Positivism Compared
    x003.html11472010-08-13Metaphysical and Logical Positivism Compared
    x004-i.html30842010-08-13 
    x004-m.html235272010-08-13The Automation of Reason - Some History
    x004.html11832010-08-13The Automation of Reason - Some History
    x005-i.html29922010-08-13 
    x005-m.html315882010-08-13X-Logic
    x005.html9762010-08-13X-Logic
    x006-i.html30572010-08-13 
    x006-m.html510672010-08-13Positive Metaphysics
    x006.html10532010-08-13Positive Metaphysics
    x007-i.html29822010-08-13 
    x007-m.html289752010-08-13First Philosophy
    x007.html11142010-08-13First Philosophy
    x008-i.html22692010-08-13 
    x008-m.html79902010-08-13Philosophical Language
    x008.html10462010-08-13Philosophical Language
    x009-i.html30862010-08-13 
    x009-m.html360072010-08-13Analytic Metaphysics
    x009.html10552010-08-13Analytic Metaphysics
    x010-i.html27782010-08-13 
    x010-m.html260092010-08-13Metaphysical Positivism
    x010.html10302010-08-13Metaphysical Positivism
    x011-i.html32322010-08-13 
    x011-m.html192082010-08-13Formal Philosophy
    x011.html10452010-08-13Formal Philosophy
    x012-i.html32642010-08-13 
    x012-m.html439122010-08-13Open Scepticism
    x012.html10422010-08-13Open Scepticism
    x013-i.html27552010-08-13 
    x013-m.html174362010-08-13Philosophy as Art
    x013.html10262010-08-13Philosophy as Art
    x014-i.html28102010-08-13 
    x014-m.html276632010-08-13Pragmatic Scepticism
    x014.html10052010-08-13Pragmatic Scepticism
    x015-i.html26172010-08-13 
    x015-m.html161932010-08-13Logic and Emotion
    x015.html11002010-08-13Logic and Emotion
    x016-i.html26332010-08-13 
    x016-m.html183472010-08-13Logic and Emotion, Rationality and Romanticism
    x016.html11412010-08-13Logic and Emotion, Rationality and Romanticism
    x017-i.html28382010-08-13 
    x017-m.html268082010-08-13Rationality and Romanticism
    x017.html11522010-08-13Rationality and Romanticism
    x018-i.html35362010-08-13 
    x018-m.html424692010-08-13Positive Philosophy
    x018.html10622010-08-13Positive Philosophy
    x019-i.html23232010-08-13 
    x019-m.html378662010-08-13RBJones.com
    x019.html10452010-08-13RBJones.com
    x020-i.html35212010-08-13 
    x020-m.html436152010-08-13Naive Philosophy
    x020.html10782010-08-13Naive Philosophy
    x021-i.html27812010-08-13 
    x021-m.html279902010-08-13Synthetic Philosophy
    x021.html10502010-08-13Synthetic Philosophy
    x022-i.html30282010-08-13 
    x022-m.html526482010-08-13Positive Science
    x022.html10402010-08-13Positive Science
    x023-i.html30142010-08-13 
    x023-m.html410492010-08-13The Essence of Metaphysical Positivism
    x023.html10502010-08-13The Essence of Metaphysical Positivism
    x024-i.html27232010-08-13 
    x024-m.html346512010-08-13Notes on Lao-tzu's Tao Te Ching
    x024.html10312010-08-13Notes on Lao-tzu's Tao Te Ching
    x025-i.html23702010-08-13 
    x025-m.html195522010-08-13The Politics of Analytic Philosophy
    x025.html10982010-08-13The Politics of Analytic Philosophy
    x026-i.html28502010-08-13 
    x026-m.html216762010-08-13Liberal Positivism
    x026.html10502010-08-13Liberal Positivism
    x027-i.html31662010-08-13 
    x027-m.html392682010-08-13Background for Metaphysical Positivism
    x027.html10712010-08-13Background for Metaphysical Positivism
    x028-i.html30182010-08-13 
    x028-m.html312752010-08-13Positivism
    x028.html10422010-08-13Positivism
    x029-i.html29772010-08-13 
    x029-m.html225412010-08-13Critical Rationalism
    x029.html11122010-08-13Critical Rationalism
    x030-i.html31132010-08-13 
    x030-m.html200832010-08-13Three Dialectics
    x030.html10542010-08-13Three Dialectics
    x031-i.html27692010-08-13 
    x031-m.html251042010-08-13An Outline of Metaphysical Positivism
    x031.html10502010-08-13An Outline of Metaphysical Positivism
    x032-i.html28572010-08-13 
    x032-m.html448902010-08-13HOT Philosophy
    x032.html10482010-08-13HOT Philosophy
    xe001-i.html25792010-08-13 
    xe001-m.html162082010-08-13Scepticism, Creativity and Utopian Thought
    xe001.html10822010-08-13Scepticism, Creativity and Utopian Thought
    xe002-i.html29762010-08-13 
    xe002-m.html197322010-08-13Dogma
    xe002.html9942010-08-13Dogma
    xp001-i.html22922010-08-13 
    xp001-m.html113582010-08-13Existential Positivism
    xp001.html10802010-08-13Existential Positivism

  • philos/bibliog

    namesizemdatetitle
    000.htm472892010-08-13Index for directory rbjpub/philos/bibliog
    a.htm127852009-03-06The Factasia Omniography - A
    amazon.htm27441999-11-01In Association with Amazon.com ...
    aune2008-i.html28682010-08-13 
    aune2008-m.html278092010-08-13Notes on - An Empiricist Theory of Knowledge
    aune2008.html11362010-08-13Notes on - An Empiricist Theory of Knowledge
    austin57.htm135312003-05-03notes on: A Plea for Excuses by J.L.Austin
    ayer36.htm24941998-11-22notes on - Language Truth and Logic
    b.htm315962009-08-13The Factasia Omniography - B
    baj001.htm106211999-10-19Barbara's Corner
    beeso80.htm36092006-01-17notes on - Foundations of Constructive Mathematics
    berlin-i.html43662010-08-13 
    berlin-m.html675972010-08-13Notes on the writings of Isaiah Berlin
    berlin.html11422010-08-13Notes on the writings of Isaiah Berlin
    berlin02-i.html31192010-08-13 
    berlin02-m.html309812010-08-13Notes on - Freedom and its Betrayal
    berlin02.html10962010-08-13Notes on - Freedom and its Betrayal
    berlin1999-i.html37142010-08-13 
    berlin1999-m.html322242010-08-13Notes on - The Roots of Romanticism
    berlin1999.html11132010-08-13Notes on - The Roots of Romanticism
    berlin2004-i.html23842010-08-13 
    berlin2004-m.html121762010-08-13Notes on - Liberty
    berlin2004.html10602010-08-13Notes on - Liberty
    berlin2006-i.html45022010-08-13 
    berlin2006-m.html435262010-08-13Notes on - Political Ideas in the Romantic Age
    berlin2006.html11562010-08-13Notes on - Political Ideas in the Romantic Age
    berlin78-i.html23792010-08-13 
    berlin78-m.html225452010-08-13Notes on - Russian Thinkers
    berlin78.html10722010-08-13Notes on - Russian Thinkers
    berlin79-i.html31572010-08-13 
    berlin79-m.html325342010-08-13Notes on - Against the Current
    berlin79.html10822010-08-13Notes on - Against the Current
    berlin90-i.html32872010-08-13 
    berlin90-m.html418252010-08-13Notes on - The Crooked Timber of Humanity
    berlin90.html11222010-08-13Notes on - The Crooked Timber of Humanity
    bishop85.htm51241999-09-21notes on - Constructive Analysis
    bloom-i.htm28332010-08-13 
    bloom-m.htm321232010-08-13Notes on the writings of Howard Bloom
    bloom.htm10592010-08-13Notes on the writings of Howard Bloom
    bloom2000-i.html37522010-08-13 
    bloom2000-m.html639322010-08-13Notes on 'Global Brain' by Howard Bloom
    bloom2000.html10782010-08-13Notes on 'Global Brain' by Howard Bloom
    bnet000.htm48572003-06-17The Factasia Bibliographic Resource Hub
    boden90.htm53071998-11-23notes on - The Philosophy of Artificial Intelligence
    boolos90.htm20061998-11-23Notes on - The Standard of Equality of Numbers
    boolos97.htm96122003-05-11Notes on - Is Hume's Principle Analytic?
    brockm95.htm62371998-11-23notes on - The Third Culture
    c.htm269592009-01-04The Factasia Omniography - C
    carnap34.htm216302009-07-31notes on - "Philosophy and Logical Syntax"
    carnap37.htm116961998-12-31notes on - "THE LOGICAL SYNTAX OF LANGUAGE"
    carnap47.htm73912007-07-09notes on - "Meaning and Necessity" by Rudolf Carnap
    carnap47a-i.html24062010-08-13 
    carnap47a-m.html85092010-08-13Notes on: Carnap's Method of Intension and Extension
    carnap47a.html11512010-08-13Notes on: Carnap's Method of Intension and Extension
    carnap50.htm66182001-08-28notes on "Empiricism, Semantics and Ontology"
    carnap63.htm94122009-10-11notes on - "The Philosophy of Rudolf Carnap"
    carnapquine90-i.html26682010-08-13 
    carnapquine90-m.html161382010-08-13Notes on: Dear Carnap, Dear Van
    carnapquine90.html11702010-08-13Notes on: Dear Carnap, Dear Van
    coffa91.htm91892009-02-01notes on - "The Semantic Tradition"
    conradi2001.htm129322006-02-17notes on - IRIS - The Life of Iris Murdoch
    d.htm156762009-08-04The Factasia Omniography - D
    dancy85.htm105571999-01-17notes on - "Introduction to Contemporary Epistemology"
    dawkin89.htm94242007-01-28notes on The Selfish Gene
    dawkins1982-i.html29322010-08-13 
    dawkins1982-m.html524262010-08-13Notes on The Extended Phenotype
    dawkins1982.html10762010-08-13Notes on The Extended Phenotype
    dennet95.htm42541998-11-20notes on Darwin's Dangerous Idea
    detlefsen2005-i.html37182010-08-13 
    detlefsen2005-m.html361742010-08-13Notes on - Formalism
    detlefsen2005.html11492010-08-13Notes on - Formalism
    dnt95p1.htm105961998-11-20notes on Darwin's Dangerous Idea - Part I
    dnt95p2.htm55151998-11-20notes on Darwin's Dangerous Idea - Part II
    e.htm91062007-02-01The Factasia Omniography - E
    empiricus1933-i.html23962010-08-13 
    empiricus1933-m.html111732010-08-13Notes on: Outlines of Phyrrhonism
    empiricus1933.htm20022005-03-10Outlines of Pyrrhonism
    empiricus1933.html11142010-08-13Notes on: Outlines of Phyrrhonism
    f.htm227112009-12-22The Factasia Omniography - F
    fall1.htm31832009-07-20IndexFrame: The Factasia Omniography
    fall2.htm278412010-08-13MainFrame: Some People and Their Works
    fefer60.htm72811998-10-16notes on - Arithmetisation of metamathematics in a general setting
    feyer87.htm48781998-11-23Notes on Farewell to Reason
    field97.htm147001999-08-26notes on - Which Undecidable Mathematical Sentences Have Determinate Truth Values?
    flogic0.htm5721998-11-29Some Logic People and Their Works
    flogic1.htm29572002-10-04IndexFrame: Some Logic People and Their Works
    flogic2.htm105382010-08-13MainFrame: Some logic People and Their Works
    forster92-i.html23922010-08-13 
    forster92-m.html121812010-08-13Notes on: Set Theory with a Universal Set
    forster92.html11182010-08-13Notes on: Set Theory with a Universal Set
    fphil0.htm5871998-12-08Some Philosophy People and Their Works
    fphil1.htm20432002-10-04IndexFrame: Some Philosophy People and Their Works
    fphil2.htm143152010-08-13MainFrame: Some philosophy People and Their Works
    freal0.htm6261999-05-01Some "Real" People and Their Works
    freal1.htm22792001-02-06IndexFrame: Some Real People and Their Works
    freal2.htm54082002-08-10MainFrame: Some reals People and Their Works
    frege01.htm501531999-09-17notes on: Frege's Begriffsschrift
    frege02.htm93731998-12-01notes on: The Foundations of Arithmetic by Gottlob Frege
    friedmanharvey2009b-i.html24452010-08-13 
    friedmanharvey2009b-m.html150262010-08-13Notes on: Friedmans Concept Calculus
    friedmanharvey2009b.html11692010-08-13Notes on: Friedmans Concept Calculus
    friedmanm1999.htm18722001-07-19notes on: Reconsidering Logical Positivism by Michael Friedman
    g.htm133082010-07-30The Factasia Omniography - G
    gelln59.htm181952006-03-12notes by RBJ on: Words and Things; by Ernest Gellner
    gellner92-i.html23752010-08-13 
    gellner92-m.html134972010-08-13Notes on - Reason and Culture by Ernest Gellner
    gellner92.html11232010-08-13Notes on - Reason and Culture by Ernest Gellner
    gould91.htm72581998-11-23notes on - Bully for Brontosaurus
    grice89.htm298892010-05-12notes on: Studies in the Ways of Words by H.P.Grice
    gurev95.htm24371998-11-23notes on "Platonism, Constructivism, and Computer Proof vs. Proofs by Hand"
    h.htm305742009-11-30The Factasia Omniography - H
    hack96b0.htm6791998-11-01Notes on - Wittgenstein's Place in 20th Century Analytic Philosophy
    hack96b1.htm15842007-01-06IndexFrame: Notes on - Wittgenstein's Place in 20th Century Analytic Philosophy
    hack96b2.htm31492007-01-06MainFrame: Notes on - Wittgenstein's Place in 20th Century Analytic Philosophy
    hatch82.htm144961999-10-16Notes on: The Logical Foundations of Mathematics
    hylton2007-i.html28512010-08-13 
    hylton2007-m.html243752010-08-13Notes on - Quine by Peter Hylton
    hylton2007.html10702010-08-13Notes on - Quine by Peter Hylton
    i.htm32922000-02-18The Factasia Omniography - I
    ibs.htm17541999-11-01Factasia is an iBS partner
    index.htm5351998-12-08The Factasia Omniography
    j.htm61472001-06-09The Factasia Omniography - J
    k.htm102212009-03-19The Factasia Omniography - K
    kolakowski1972.htm234222009-08-15notes on - "Positivist Philosophy"
    kripke1980-i.html28622010-08-13 
    kripke1980-m.html379822010-08-13Notes on - Naming and Necessity
    kripke1980.html11172010-08-13Notes on - Naming and Necessity
    l.htm55861999-03-07The Factasia Omniography - L
    lakato76.htm35301999-11-01Notes on: Proofs and Refutations
    leibniz001.html59332010-08-13Quotations from the Writings of Gottfried Wilhelm Leibniz
    lw0.htm6451998-11-13Notes on: Ludwig Wittgenstein
    lw1.htm12421998-11-13IndexFrame: Notes on: Ludwig Wittgenstein
    lw2.htm161732000-09-01MainFrame: Notes on: Ludwig Wittgenstein
    m.htm194632009-09-02The Factasia Omniography - M
    macla71.htm51401999-10-22notes on: Categories for the Working Mathematician
    macla86.htm17851999-11-17notes on: Mathematics, Form and Function
    magee78-i.html26372010-08-13 
    magee78-m.html202892010-08-13Notes on - Men of Ideas
    magee78.html10622010-08-13Notes on - Men of Ideas
    marshall1992-i.html24332010-08-13 
    marshall1992-m.html153512010-08-13Notes on - Demanding the Impossible - A History of Anarchism
    marshall1992.html11572010-08-13Notes on - Demanding the Impossible - A History of Anarchism
    mcnau88.htm47421998-10-23notes on: Moral Vision
    miller2009-i.html28922010-08-13 
    miller2009-m.html234902010-08-13Notes on: Some hard questions for Critical Rationalism
    miller2009.html12392010-08-13Notes on: Some hard questions for Critical Rationalism
    montaigne2003-i.html24222010-08-13 
    montaigne2003-m.html191262010-08-13Montaigne: The Complete Works
    montaigne2003.html10922010-08-13Montaigne: The Complete Works
    moore03.htm476511998-10-29notes on: Principia Ethica
    moore25.htm52951998-11-21notes on: A Defence of Common Sense by G.E.Moore
    n.htm41012008-06-13The Factasia Omniography - N
    o.htm41942000-03-07The Factasia Omniography - O
    obp94at.htm5931998-03-01Notes on: [British] Company Law - statutes
    obp94ati.htm17921999-10-19IndexFrame: Notes on: Company Law - Statues
    obp94atm.htm214202000-03-07MainFrame: Notes on: [British] Company Law - Statutes
    p.htm167522009-07-21The Factasia Omniography - P
    penros90.htm47621999-10-19notes on: The Emperor's New Mind
    penros94.htm28891999-10-19notes on - Shadows of the Mind
    popp45a.htm86221999-10-19notes on - The Open Society and its Enemies - Vol1: The Spell of Plato
    popper63b-i.html26692010-08-13 
    popper63b-m.html163502010-08-13Notes on: The Demarcation between Science and Metaphysics
    popper63b.html12332010-08-13Notes on: The Demarcation between Science and Metaphysics
    profbib.htm35961998-11-22The Factasia Omniography - ?proforma?
    profnote.htm9211998-10-30notes on: ?profile?
    pubs.htm153682008-05-13Publishers
    q.htm98822001-10-20The Factasia Omniography - Q
    quine36.htm87172010-03-28notes on "Truth by Convention"
    quine48.htm66122009-12-03notes on "On what there is"
    quine51.htm50352009-11-27notes on "On Carnap's Views on Ontology"
    quine53a.htm189462001-10-20notes on Quine's "Two Dogmas of Empiricism"
    quine53a0.htm6472009-11-01notes on: Two Dogmas of Empiricism by W.V.O.Quine
    quine53a1.htm13512001-10-20IndexFrame: notes on Quine's: Two Dogmas of Empiricism
    quine53a2.htm201772010-03-24MainFrame: notes on: Two Dogmas of Empiricism by W.V.O.Quine
    quine70.htm30551998-11-23notes on "Philosophy of Logic" by Quine
    quine76.htm113982004-04-11notes on Quine: "The Ways of Paradox - and other essays"
    quine87.htm51772001-06-16notes on "Quiddities"
    r.htm151242008-06-21The Factasia Omniography - R
    russ08.htm54181998-11-27Notes on: Mathematical Logic as Based on the Theory of Types
    russ18-i.htm23732010-08-13 
    russ18-m.htm126262010-08-13Notes on - The Philosophy of Logical Atomism
    russ18.htm11262010-08-13Notes on - The Philosophy of Logical Atomism
    russ22.htm25372000-09-27notes on Russell's introduction to Wittgenstein's Tractatus
    russ56.htm20172003-05-03Notes on: Logic and Knowledge
    russell46-i.html23802010-08-13 
    russell46-m.html103112010-08-13Notes on - History of Western Philosophy
    russell46.html11072010-08-13Notes on - History of Western Philosophy
    russell46_32-i.html26622010-08-13 
    russell46_32-m.html171252010-08-13Notes on - History of Western Philosophy - Rousseau to the Present Day
    russell46_32.html12382010-08-13Notes on - History of Western Philosophy - Rousseau to the Present Day
    ryle32.htm30181999-08-31notes on: Systematically Misleading Expressions
    s.htm244862010-05-17The Factasia Omniography - S
    sartre46-i.html26062010-08-13 
    sartre46-m.html131922010-08-13Notes on - Existentialism & Humanism
    sartre46.html11102010-08-13Notes on - Existentialism & Humanism
    schonf24.htm33431998-12-10notes on "On the Building Blocks of Mathematical Logic"
    schopenhauer1818-i.html32812010-08-13 
    schopenhauer1818-m.html546122010-08-13Notes on - The World as Will and Idea
    schopenhauer1818.html11292010-08-13Notes on - The World as Will and Idea
    scruto94.htm34291998-11-23notes on Modern Philosophy
    shapiro2005-i.html29602010-08-13 
    shapiro2005-m.html438832010-08-13Notes on - The Oxford Handbook of Philosophy of Mathematics and Logic
    shapiro2005.html11272010-08-13Notes on - The Oxford Handbook of Philosophy of Mathematics and Logic
    shapiro2005b-i.html32132010-08-13 
    shapiro2005b-m.html522972010-08-13Notes on - The Oxford Handbook of Philosophy of Mathematics and Logic - Ch.1
    shapiro2005b.html11432010-08-13Notes on - The Oxford Handbook of Philosophy of Mathematics and Logic - Ch.1
    shapiro91.htm33102009-07-17notes on "Foundations without Foundationalism"
    singe91i.htm18541999-10-19IndexFrame: Notes on: A Companion to Ethics
    singe91m.htm106521999-10-19MainFrame: Notes on: A Companion to Ethics
    singer91.htm6261998-01-18Notes on: A Companion to Ethics
    stroll2000-i.html27012010-08-13 
    stroll2000-m.html238172010-08-13Notes on - Twentieth-Century Analytic Philosophy
    stroll2000.html11192010-08-13Notes on - Twentieth-Century Analytic Philosophy
    t.htm133892009-04-01The Factasia Omniography - T
    tait2005-i.html36132010-08-13 
    tait2005-m.html715332010-08-13Notes on - The Provenance of Pure Reason
    tait2005.html11332010-08-13Notes on - The Provenance of Pure Reason
    tarski35.htm27592001-06-05Notes on - On the Concept of Logical Consequence
    u.htm50032010-01-19The Factasia Omniography - U
    v.htm27972004-03-18The Factasia Omniography - V
    w.htm201782007-01-29The Factasia Omniography - W
    weihr95b.htm16571998-11-23notes on "A Foundation of Computable Analysis"
    wiley52-i.html29162010-08-13 
    wiley52-m.html339012010-08-13Notes on: The Subtle Knot
    wiley52.html10802010-08-13Notes on: The Subtle Knot
    wilfor85.htm19361998-11-23notes on: The Riddle of the Dinosaur
    wolfra89.htm37381998-11-23notes on Philosophical Logic
    y.htm34252001-06-14The Factasia Omniography - Y
    z.htm53942004-05-29The Factasia Omniography - Z
    zalta98a.htm91131999-08-26notes on: The Theory of Abstract Objects

  • philos/classics

    namesizemdatetitle
    000.htm22412010-08-13Index for directory rbjpub/philos/classics
    class001.htm33042009-07-03The Philosophy of Aristotle
    index.htm25862009-05-01Philosophical Classics in HTML

  • philos/epistem

    namesizemdatetitle
    000.htm114862010-08-13Index for directory rbjpub/philos/epistem
    ftd.htm170312009-05-09The Fundamental Triple-Dichotomy
    index.htm50622009-03-13Epistemology
    rbj001.htm5702009-04-05Epistemological Connections - Netlinks on Epistemology
    rbj002.htm62181999-10-22Logicist Epistemology
    rbj003.htm11771999-10-19Scepticism
    rbj004.htm10601999-10-21Speculation
    rbj005.htm51612009-04-05Epistemology at RBJones.com
    rbj006.htm31621998-08-01Formal Analyticity
    rbj008.htm23671998-09-27Why the Analytic/Synthetic dichotomy makes a difference
    rbj009.htm52551998-10-30The Analytic - Synthetic Dichotomy - why it matters
    rbj010-i.htm27932010-08-13 
    rbj010-m.htm247752010-08-13Historical Notes on Analyticity
    rbj010.htm11062010-08-13Historical Notes on Analyticity
    rbj012.htm17201997-06-15Varieties of Epistemology on WWW
    rbj013.htm76621999-09-21The Fundamental Triple-Dichotomy
    rbj014.htm132942009-05-09Modelling the Triple-Dichotomy
    rbj015.htm50411995-02-11 Analyticity is coextensive with Necessity and A-Priority
    rbj016.htm56552009-04-02Three Kinds of Knowledge
    rbj017.htm34211998-09-27Two Epistemological Triads
    rbj018.htm32401998-09-27Three Ways of Knowing
    rbj019.htm31841998-09-27Three Kinds of Judgement
    rbj020.htm16602009-04-05IndexFrame: Epistemological Connections - Netlinks on Epistemology
    rbj021.htm86692009-04-05MainFrame: Epistemological Connections - Factasia Netlinks on Epistemology
    rbj022.htm13531999-10-22IndexFrame: Logicist Epistemology
    rbj023.htm240191999-10-22MainFrame: Logicist Epistemology
    xep001-i.html25542010-08-13 
    xep001-m.html236342010-08-13Synthetic Epistemology
    xep001.html10552010-08-13Synthetic Epistemology
    xep002-i.html33842010-08-13 
    xep002-m.html554312010-08-13Defining Analyticity
    xep002.html10452010-08-13Defining Analyticity
    xep003-i.html40022010-08-13 
    xep003-m.html405632010-08-13The Fundamental Triple-Dichotomy
    xep003.html11112010-08-13The Fundamental Triple-Dichotomy
    xep004-i.html28172010-08-13 
    xep004-m.html331832010-08-13Hume's Fork
    xep004.html11392010-08-13Hume's Fork
    xep005-i.html32992010-08-13 
    xep005-m.html376562010-08-13Restating the Dichotomies
    xep005.html11802010-08-13Restating the Dichotomies
    xep006-i.html30682010-08-13 
    xep006-m.html156202010-08-13The Dichotomies Before Hume
    xep006.html11312010-08-13The Dichotomies Before Hume
    xep007-i.html37422010-08-13 
    xep007-m.html224262010-08-13The Dichotomies After Hume
    xep007.html11242010-08-13The Dichotomies After Hume
    xep008-i.html23372010-08-13 
    xep008-m.html112332010-08-13Progression
    xep008.html10622010-08-13Progression
    xep009-i.html23532010-08-13 
    xep009-m.html112652010-08-13Essentialsim and Nominalism
    xep009.html10992010-08-13Essentialsim and Nominalism

  • philos/ethics

    namesizemdatetitle
    000.htm15022010-08-13Index for directory rbjpub/philos/ethics
    eth001.htm28231999-10-15Moral Philosophy Netlinks

  • philos/glossary

    namesizemdatetitle
    000.htm70692010-08-13Index for directory rbjpub/philos/glossary
    a.htm72932007-02-01The Factasia Glossary - A
    analyt.htm27201999-10-19Glossary - analytic
    aprior.htm14731999-11-01Glossary - a priori/a posteriori
    b.htm38652000-02-20The Factasia Glossary - B
    c.htm78022004-05-02The Factasia Glossary - C
    d.htm76862009-04-30The Factasia Glossary - D
    e.htm35172002-10-12The Factasia Glossary - E
    f.htm65152009-08-09The Factasia Glossary - F
    fall1.htm26322000-02-06IndexFrame: The Factasia Glossary
    fall2.htm192892010-08-13MainFrame: words about
    g.htm20632000-02-10The Factasia Glossary - G
    gnet000.htm45032001-10-14Factasia Glossary Netlinks
    h.htm45822006-05-02The Factasia Glossary - H
    i.htm50912009-07-14The Factasia Glossary - I
    index.htm5942009-03-31The RBJones.com Glossary
    j.htm20361999-10-19The Factasia Glossary - J
    k.htm20312000-02-06The Factasia Glossary - K
    l.htm66152007-01-06The Factasia Glossary - L
    logicism.htm41431999-10-19On the Origins of the word "Logicism"
    m.htm45882002-10-15The Factasia Glossary - M
    n.htm26721999-11-17The Factasia Glossary - N
    o.htm49122002-10-04The Factasia Glossary - O
    p.htm104812006-05-07The Factasia Glossary - P
    philosop.htm9431999-01-05What is Philosophy?
    profglos.htm9791999-10-19The Factasia Glossary - A
    q.htm34701999-11-17The Factasia Glossary - Q
    r.htm57092002-10-12The Factasia Glossary - R
    s.htm86462009-09-22The Factasia Glossary - S
    synthe.htm10291999-10-19Glossary - synthetic
    t.htm56182009-04-30The Factasia Glossary - T
    u.htm38302003-01-28The Factasia Glossary - U
    v.htm39521999-10-19The Factasia Glossary - V
    w.htm14052009-04-30The Factasia Glossary - W
    y.htm9382009-04-30The Factasia Glossary - Y
    z.htm28701999-10-19The Factasia Glossary - Z

  • philos/history

    namesizemdatetitle
    000.htm151992010-08-13Index for directory rbjpub/philos/history
    aaq001.htm42971998-09-27Quotations from the Writings of Alfred Jules Ayer
    bfq001.htm12102008-09-07Quotations from the Writings of Buckminster Fuller
    brq001.htm101832002-09-25Quotations from the writings of Bertrand Russell
    dhq001.htm16901998-09-27Quotations from the Writings of David Hilbert
    his001.htm46252010-03-29Chronological List of "Western" Philosophers
    his002.htm15172000-02-06Logical Positivism
    his003.htm6561997-12-27Varieties of Philosophical Analysis
    his004.htm13571998-10-23IndexFrame: Varieties of Philosophical Analysis
    his005.htm106431998-11-20MainFrame: Varieties of Philosophical Analysis
    his006.htm6041998-11-27Readings in Philosophical Analysis
    his007.htm13311998-11-27IndexFrame: Readings in Philosophical Analysis
    his008.htm225431998-11-27MainFrame: Readings in Philosophical Analysis
    index-i.htm38582010-08-13 
    index-m.htm570512010-08-13History of Philosophy
    index.htm10262010-08-13History of Philosophy
    lw000.htm5552000-08-29Ludwig Wittgenstein
    lw001.htm15032010-03-04IndexFrame: Ludwig Wittgenstein
    lw002.htm30842010-03-04MainFrame: Ludwig Wittgenstein
    ow001.htm13742008-06-06Quotations from the Writings of Oscar Wilde
    rcl000.htm5381998-12-09The Life of Rudolf Carnap
    rcl001.htm12241998-12-12IndexFrame: The Life of Rudolf Carnap
    rcl002.htm226242007-06-30MainFrame: The Life of Rudolf Carnap
    rcp000.htm6082001-05-22The Philosophy of Rudolf Carnap
    rcp001.htm16802001-05-22IndexFrame: The Philosophy of Rudolf Carnap
    rcp002.htm354372009-03-21MainFrame: The Philosophy of Rudolf Carnap
    rcp003.htm5362007-06-30Rudolf Carnap
    rcp004.htm12212007-06-30IndexFrame: Rudolf Carnap
    rcp005.htm78102007-06-30MainFrame: Rudolf Carnap
    rcp006.htm5951999-01-04Rudolf Carnap on Logical Syntax
    rcp007.htm10221999-01-04IndexFrame: Rudolf Carnap on Logical Syntax
    rcp008.htm68991999-01-05MainFrame: Rudolf Carnap on Logical Syntax
    rcq001.htm43882009-07-31Quotations from Carnap
    rnq001.htm36781998-09-27Quotations from the Writings of Robert Nozick
    rvw000.htm28441998-10-23Russell v. Wittgenstein - Battle of the Giants
    rvw001.htm41012009-03-14Russell on Wittgenstein
    t.htm21942010-02-04Wittgenstein's Tractatus - Overview
    t3.htm21561998-10-23Wittgenstein's Tractatus - Section 3
    tarski01.htm3792006-05-07The Feferman's on Tarski on Truth
    thq001.htm27262003-02-01Quotations from the writings of Thomas Hobbes
    tintro.htm37402000-09-24Wittgenstein's Tractatus - the Factastic Perspective
    tlp001.htm7441998-11-19The Proposition in Wittgenstein's Tractatus
    tlp002.htm12711998-11-19IndexFrame: The Proposition in Wittgenstein's Tractatus
    tlp003.htm115161998-11-19MainFrame: The Proposition in Wittgenstein's Tractatus
    wqq001.htm28631998-09-27Quotations from the Writings of Willard Van Orman Quine
    xh001-i.html38242010-08-13 
    xh001-m.html510172010-08-13Notes on the History of Positivist Philosophy
    xh001.html11252010-08-13Notes on the History of Positivist Philosophy
    xh002-i.html40902010-08-13 
    xh002-m.html694482010-08-13Historical notes on Scepticism
    xh002.html11092010-08-13Historical notes on Scepticism
    xh003-i.html25532010-08-13 
    xh003-m.html244612010-08-13Leibniz and the Automation of Reason
    xh003.html10982010-08-13Leibniz and the Automation of Reason
    xh004-i.html28332010-08-13 
    xh004-m.html203762010-08-13Impressions of the Philosophy of Iris Murdoch
    xh004.html11212010-08-13Impressions of the Philosophy of Iris Murdoch
    xh005-i.html23002010-08-13 
    xh005-m.html119972010-08-13Truth in a Structure
    xh005.html10392010-08-13Truth in a Structure
    xh006-i.html23352010-08-13 
    xh006-m.html127582010-08-13Historical Notes on The Axiomatic Method
    xh006.html10902010-08-13Historical Notes on The Axiomatic Method
    xh007-i.html33652010-08-13 
    xh007-m.html457182010-08-13Notes on Isaiah Berlin
    xh007.html10752010-08-13Notes on Isaiah Berlin
    xh008-i.html25482010-08-13 
    xh008-m.html142842010-08-13Notes on Berlin on Jean-Jacques Rousseau
    xh008.html11332010-08-13Notes on Berlin on Jean-Jacques Rousseau
    xh009-i.html25702010-08-13 
    xh009-m.html213992010-08-13Isaiah Berlin on ...
    xh009.html10442010-08-13Isaiah Berlin on ...
    xh010-i.html23632010-08-13 
    xh010-m.html139222010-08-13Carnap v. Kripke on the Triple-Dichotomy
    xh010.html11342010-08-13Carnap v. Kripke on the Triple-Dichotomy
    xh011-i.html28532010-08-13 
    xh011-m.html204682010-08-13Origins of and Influences on Nomologico-Deductive Analysis
    xh011.html11592010-08-13Origins of and Influences on Nomologico-Deductive Analysis
    xh012-i.html21072010-08-13 
    xh012-m.html92032010-08-13A Conversation between Carnap and Grice
    xh012.html11332010-08-13A Conversation between Carnap and Grice

  • philos/logic

    namesizemdatetitle
    000.htm98242010-08-13Index for directory rbjpub/philos/logic
    001.htm5381998-08-01Necessity and Contingency
    002.htm16591998-07-26Propositions
    003.htm5081998-07-11Philosophical Logicism
    004.htm35841998-07-26Carts and Horses
    005.htm35731998-07-26Some Necessary Propositions
    006.htm5801998-07-21Defining Necessity and Contingency
    008.htm20251998-07-26Formal Analyticity
    009.htm5211998-07-31What is Logic? (philosopher's version)
    010.htm33941998-07-26Support for a Necessary/Contingent Dichotomy
    011.htm37581998-07-26Against the Necessary/Contingent Dichotomy
    012.htm5301998-07-23Definitions of Logic
    013.htm54442009-05-09Formal Logical Analysis
    014.htm13581998-07-10IndexFrame: What is Logic? (philosopher's version)
    015.htm150832009-05-09MainFrame: What is Logic? (philosopher's version)
    016.htm12921998-07-10IndexFrame: Philosophical Logicism
    017.htm191672009-05-09MainFrame: Philosophical Logicism
    018.htm11231998-08-01IndexFrame: Necessity and Contingency
    019.htm120361998-08-01MainFrame: Necessity and Contingency
    020.htm11591998-07-21IndexFrame: Definitions of Logic
    021.htm154991998-12-23MainFrame: Definitions of Logic
    022.htm5481998-07-21Defining Logical Truth
    023.htm12951998-07-21IndexFrame: Logical Truth
    024.htm195601998-07-23MainFrame: Logical Truth
    025.htm11252001-06-23IndexFrame: Defining Necessity and Contingency
    026.htm135321998-07-23MainFrame: Defining Necessity and Contingency
    027.htm5721998-10-23Philosophy and Language - a historical sketch
    028.htm13681998-10-23IndexFrame: Philosophy and Language - a historical sketch
    029.htm93321998-10-23MainFrame: Philosophy and Language - a historical sketch
    030.htm13712003-04-21IndexFrame: The Philosophy of Logic
    031.htm156032009-05-09MainFrame: The Philosophy of Logic
    index-i.htm25712010-08-13 
    index-m.htm257352010-08-13The Philosophy of Logic
    index.htm10792010-08-13The Philosophy of Logic
    index2.htm6202010-08-13The Philosophy of Logic
    xpl001-i.html32342010-08-13 
    xpl001-m.html394142010-08-13Analyses of Analysis
    xpl001.html11192010-08-13Analyses of Analysis
    xpl002-i.html23362010-08-13 
    xpl002-m.html120112010-08-13The Logic and Metaphysics of Aristotle
    xpl002.html10992010-08-13The Logic and Metaphysics of Aristotle
    xpl003-i.html25952010-08-13 
    xpl003-m.html196942010-08-13An Analytic History of Philosophical Analysis - Part I
    xpl003.html11732010-08-13An Analytic History of Philosophical Analysis - Part I
    xpl004-i.html23532010-08-13 
    xpl004-m.html236312010-08-13An analytic History of Philosophical Analysis - Part II
    xpl004.html12252010-08-13An analytic History of Philosophical Analysis - Part II
    xpl005-i.html23512010-08-13 
    xpl005-m.html167172010-08-13History of Philosophical Logic: Part I - Introduction
    xpl005.html12612010-08-13History of Philosophical Logic: Part I - Introduction

  • philos/maths

    namesizemdatetitle
    000.htm77492010-08-13Index for directory rbjpub/philos/maths
    faq001.htm5191998-06-23Logicism
    faq003.htm37161998-07-28What's Wrong with ZFC?
    faq004.htm156752009-04-01Category Theoretic Perspectives on the Foundations of Mathematics
    faq005.htm6301998-07-28The Foundations of Mathematics
    faq006-i.htm20762010-08-13 
    faq006-m.htm198682010-08-13Philosophers on Mathematics
    faq006.htm10492010-08-13Philosophers on Mathematics
    faq007.htm4701998-07-30Problems in the Philosophy of Mathematics
    faq008.htm60521999-10-16Sources on the Philosophy of Mathematics
    faq009.htm30371998-12-23History of the Logical Foundations of Mathematics
    faq010.htm30081998-07-26What is Logicism?
    faq011.htm34781998-07-26Validity, Necessity and Mathematics
    faq012.htm51351998-08-25Are Foundations Necessary?
    faq013.htm7421998-07-26Mathematical Philosophy for Formal Analysis
    faq014.htm13211998-06-30IndexFrame: Mathematical Philosophy for Formal Analysis
    faq015.htm130621998-07-26MainFrame: Mathematical Philosophy for Formal Analysis
    faq016.htm11331998-07-02IndexFrame: Logicism
    faq017.htm139632009-05-03MainFrame: Logicism
    faq018.htm6411998-07-24What is a "foundation" for mathematics?
    faq019.htm10661998-07-25IndexFrame: What is a "foundation" for mathematics?
    faq020.htm105581998-10-01MainFrame: What is a "foundation" for mathematics?
    faq021.htm6401998-08-06Logical Foundations for Mathematics
    faq022.htm13111998-08-06IndexFrame: Logical Foundations for Mathematics
    faq023.htm249591999-10-11MainFrame: Logical Foundations for Mathematics
    faq024.htm11291998-07-28IndexFrame: The Foundations of Mathematics
    faq025.htm122662007-08-20MainFrame: The Foundations of Mathematics
    faq027.htm45111999-10-2220th Century Schools in the Philosophy of Mathematics
    faq028.htm15302001-11-08IndexFrame: The Philosophy of Mathematics
    faq029.htm103791999-10-10MainFrame: The Philosophy of Mathematics
    faq030.htm12631998-07-30IndexFrame: Problems in the Philosophy of Mathematics
    faq031.htm184351999-10-31MainFrame: Problems in the Philosophy of Mathematics
    index.htm7041998-07-30The Philosophy of Mathematics
    inter004.htm54051998-07-26Philosophy of Mathematics
    inter007.htm76611998-07-26Mathematics is Analytic
    inter010.htm45451998-07-26In Support of LOGICISM
    net001.htm14282001-11-08Philosophy of Mathematics Links

  • philos/metap

    namesizemdatetitle
    000.htm97602010-08-13Index for directory rbjpub/philos/metap
    index-i.htm30312010-08-13 
    index-m.htm213922010-08-13Metaphysics and Philosophy of Science and Engineering
    index.htm11642010-08-13Metaphysics and Philosophy of Science and Engineering
    indexi.htm13441999-04-16IndexFrame: Metaphysics, Science and Engineering
    indexm.htm56401999-04-16MainFrame: Metaphysics, and Philosophy of Science and Engineering
    indextemp.htm6591999-04-16Metaphysics and Philosophy of Science and Engineering
    metap001.htm21871998-09-27Metaphysics
    metap002.htm6481998-09-27Possible Worlds
    metap003.htm12721998-09-27IndexFrame: Possible Worlds
    metap004.htm186571998-09-27MainFrame: Possible Worlds
    metap005.htm6671998-10-30The Role of MetaPhysics in Factasia
    metap006.htm10391998-10-30IndexFrame: The Role of MetaPhysics in Factasia
    metap007.htm49612009-05-19MainFrame: The Role of MetaPhysics in Factasia
    mps001.htm41802001-11-08MetaPhysics and Philosophy of Science Net Links
    pcs000.htm35391998-09-27Philosophy and Computing
    pcs001.htm14741998-07-31Searle's Chinese Room
    pcs002.htm32911998-08-09Penrose's New Suit
    pcs003.htm30462001-06-05Fetzer's Folly
    pcsai001.htm17761998-09-27Philosophy and Artificial Intelligence
    pcsai002.htm22081998-07-26Philosophy and Artificial Intelligence Netlinks
    pcsai003.htm11011998-09-27IndexFrame: Philosophy and Artificial Intelligence
    pcsai004.htm26671998-08-15MainFrame: Philosophy and Artificial Intelligence
    pphy001.htm5752010-01-07Problems in Physics
    xmp001-i.html37792010-08-13 
    xmp001-m.html446822010-08-13Positive Metaphysics (II)
    xmp001.html10742010-08-13Positive Metaphysics (II)
    xps000-i.html32332010-08-13 
    xps000-m.html255892010-08-13Metaphysics
    xps000.html10172010-08-13Metaphysics
    xps001-i.html20752010-08-13 
    xps001-m.html113862010-08-13Philosophy, Mind, Brain
    xps001.html10882010-08-13Philosophy, Mind, Brain
    xps002-i.html27632010-08-13 
    xps002-m.html356892010-08-13Space and Time
    xps002.html10152010-08-13Space and Time
    xps003-i.html25412010-08-13 
    xps003-m.html270002010-08-13Formal approaches to Metaphysics
    xps003.html11312010-08-13Formal approaches to Metaphysics
    xps004-i.html23192010-08-13 
    xps004-m.html181252010-08-13Metaphysical Ontology
    xps004.html10712010-08-13Metaphysical Ontology
    xps005-i.html25332010-08-13 
    xps005-m.html145432010-08-13Philosophy of Science
    xps005.html10342010-08-13Philosophy of Science
    xps006-i.html22932010-08-13 
    xps006-m.html81012010-08-13Philosophy of Engineering
    xps006.html10382010-08-13Philosophy of Engineering
    xps007-i.html26312010-08-13 
    xps007-m.html186012010-08-13Carnap and Aristotle
    xps007.html10682010-08-13Carnap and Aristotle

  • philos/politics

    namesizemdatetitle
    000.htm20212010-08-13Index for directory rbjpub/philos/politics
    ppol001.htm21551999-10-15Political Science and Philosophy Netlinks
    xpt001-i.html20592010-08-13 
    xpt001-m.html40132010-08-13Ideas on Political Philosophy
    xpt001.html10732010-08-13Ideas on Political Philosophy

  • pol

    namesizemdatetitle
    000.htm22632010-08-13Index for directory rbjpub/pol
    index.htm4741998-09-11Politics
    pol000.htm35072004-12-19Factasia Politics and Government Resource Hub
    pol001.htm9291997-01-20Men of Principle?
    pol002.htm18501998-09-13Winston Spencer Churchill
    pol003.htm11921998-09-11IndexFrame: Politics
    pol004.htm110281999-04-15MainFrame: Politics

  • pp

    namesizemdatetitle
    000.htm200742010-08-13Index for directory rbjpub/pp
    analysis-i.html31882010-08-13 
    analysis-m.html4124242010-08-13The Theory analysis
    analysis.html9962010-08-13The Theory analysis
    basic_hol-i.html22642010-08-13 
    basic_hol-m.html35112010-08-13The Theory basic_hol
    basic_hol.html10032010-08-13The Theory basic_hol
    bin_rel-i.html34292010-08-13 
    bin_rel-m.html384012010-08-13The Theory bin_rel
    bin_rel.html9892010-08-13The Theory bin_rel
    char-i.html29502010-08-13 
    char-m.html64682010-08-13The Theory char
    char.html9682010-08-13The Theory char
    fixp-i.html24842010-08-13 
    fixp-m.html169472010-08-13The Theory fixp
    fixp.html9682010-08-13The Theory fixp
    hol-i.html20212010-08-13 
    hol-m.html27742010-08-13The Theory hol
    hol.html9612010-08-13The Theory hol
    index-i.html35202010-08-13 
    index-m.html377012010-08-13ProofPower and its use at RBJones.com
    index.html11682010-08-13ProofPower and its use at RBJones.com
    init-i.html22462010-08-13 
    init-m.html45702010-08-13The Theory init
    init.html9682010-08-13The Theory init
    int-i.html33692010-08-13 
    int-m.html624842010-08-13The Theory %int%
    int.html9692010-08-13The Theory %int%
    list-i.html33762010-08-13 
    list-m.html194272010-08-13The Theory list
    list.html9682010-08-13The Theory list
    log-i.html29312010-08-13 
    log-m.html112272010-08-13The Theory log
    log.html9612010-08-13The Theory log
    min-i.html26962010-08-13 
    min-m.html56302010-08-13The Theory min
    min.html9612010-08-13The Theory min
    misc-i.html33882010-08-13 
    misc-m.html227712010-08-13The Theory misc
    misc.html9682010-08-13The Theory misc
    nat-i.html31462010-08-13 
    nat-m.html348152010-08-13The Theory %nat%
    nat.html9692010-08-13The Theory %nat%
    pair-i.html33842010-08-13 
    pair-m.html112892010-08-13The Theory pair
    pair.html9682010-08-13The Theory pair
    pc-i.html31322010-08-13 
    pc-m.html205262010-08-13The Theory pc
    pc.html9542010-08-13The Theory pc
    pp-smlxtras-i.html23092010-08-13 
    pp-smlxtras-m.html199602010-08-13Extra sml procedures for ProofPower
    pp-smlxtras.html11472010-08-13Extra sml procedures for ProofPower
    pp_theories.pdf19676612010-08-13 
    ppchartable.html493862010-08-13ProofPower Special Character Table
    pptheories-i.html13752006-05-04 
    pptheories-m.html116822006-05-04 
    pptheories.html124862010-08-13Listings of some theories built into ProofPower
    pure_categories-i.html30882010-08-13 
    pure_categories-m.html494012010-08-13A Theory of Pure Categories
    pure_categories.html11462010-08-13A Theory of Pure Categories
    rda001.html1061362010-08-1342 famous theorems in ProofPower
    real-i.html33782010-08-13 
    real-m.html1393792010-08-13The Theory %real%
    real.html9762010-08-13The Theory %real%
    sets-i.html31522010-08-13 
    sets-m.html282972010-08-13The Theory sets
    sets.html9682010-08-13The Theory sets
    si-i.html29122010-08-13 
    si-m.html108242010-08-13The Theory si
    si.html9542010-08-13The Theory si
    strong_infinity-i.html28412010-08-13 
    strong_infinity-m.html263822010-08-13A strong axiom of infinity for HOL
    strong_infinity.html11092010-08-13A strong axiom of infinity for HOL
    wf_rec-i.html24942010-08-13 
    wf_rec-m.html114622010-08-13The Theory wf_rec
    wf_rec.html9822010-08-13The Theory wf_rec
    wf_recp-i.html29532010-08-13 
    wf_recp-m.html180372010-08-13The Theory wf_recp
    wf_recp.html9892010-08-13The Theory wf_recp
    wf_rel-i.html27222010-08-13 
    wf_rel-m.html107342010-08-13The Theory wf_rel
    wf_rel.html9822010-08-13The Theory wf_rel
    wf_relp-i.html27282010-08-13 
    wf_relp-m.html198252010-08-13The Theory wf_relp
    wf_relp.html9892010-08-13The Theory wf_relp
    x001-i.html37382010-08-13 
    x001-m.html652052010-08-13A theory of fixed points
    x001.html10642010-08-13A theory of fixed points
    x002-i.html33132010-08-13 
    x002-m.html751502010-08-13Transitive and Well-Founded Relations as Properties
    x002.html11432010-08-13Transitive and Well-Founded Relations as Properties
    x003-i.html29772010-08-13 
    x003-m.html1015522010-08-13Analyticity and Deduction
    x003.html10772010-08-13Analyticity and Deduction
    x003t-i.html24892010-08-13 
    x003t-m.html60632010-08-13The Theory x003t
    x003t.html9752010-08-13The Theory x003t
    x003u-i.html24892010-08-13 
    x003u-m.html61412010-08-13The Theory x003u
    x003u.html9752010-08-13The Theory x003u
    x003v-i.html24892010-08-13 
    x003v-m.html87352010-08-13The Theory x003v
    x003v.html9752010-08-13The Theory x003v
    x004-i.html31022010-08-13 
    x004-m.html234222010-08-13Well-Foundedness and Recursion
    x004.html11122010-08-13Well-Foundedness and Recursion
    x005-i.html27672010-08-13 
    x005-m.html250082010-08-13ProofPower
    x005.html9952010-08-13ProofPower

  • pp/doc

    namesizemdatetitle
    000.htm93892010-08-13Index for directory rbjpub/pp/doc
    b001.pdf6770932010-08-13 
    b002.pdf5016302010-08-13 
    b003.pdf4512462010-08-13 
    index.html337302010-08-13Work with ProofPower in LaTeX/PDF (aka: THE SHED)
    r014.pdf2017092005-02-25 
    t000.pdf2735942010-08-13 
    t001.pdf2569412010-08-13 
    t002.pdf3843772010-08-13 
    t003.pdf4080622010-08-13 
    t004.pdf5301482010-08-13 
    t005.pdf3456102010-08-13 
    t006.pdf4618162010-08-13 
    t007.pdf7164942010-08-13 
    t008.pdf2657722010-08-13 
    t009.pdf4258502010-08-13 
    t010.pdf3740842010-08-13 
    t011.pdf2702432010-08-13 
    t012.pdf2053702010-08-13 
    t013.pdf2880152010-08-13 
    t014.pdf1921932010-08-13 
    t015.pdf2302942010-08-13 
    t016.pdf3505682010-08-13 
    t017.pdf3150732010-08-13 
    t018.pdf3496222010-08-13 
    t019.pdf4982172010-08-13 
    t020.pdf2092832010-08-13 
    t021.pdf4667102010-08-13 
    t022.pdf3861852010-08-13 
    t023.pdf6619452010-08-13 
    t024.pdf4369812010-08-13 
    t025.pdf4792242010-08-13 
    t026.pdf6330772010-08-13 
    t027.pdf4909952010-08-13 
    t028.pdf6505632010-08-13 
    t029.pdf2482362010-08-13 
    t030.pdf2709852010-08-13 
    t031.pdf2777892010-08-13 
    t032.pdf3469442010-08-13 
    t033.pdf2590612010-08-13 
    t037.pdf4584982010-08-13 
    t038.pdf2061382010-08-13 
    t039.pdf4315372010-08-13 
    tp000-i.html25442010-08-13 
    tp000-m.html112172010-08-13Some Presentations
    tp000.html10932010-08-13Some Presentations
    tp001.pdf1509102008-04-17 
    tp002a.pdf1295952010-08-13 
    tp002b.pdf1797782010-08-13 
    tp003a.pdf880182008-04-18 
    tp003b.pdf2280832008-04-18 
    tp004a.pdf1536522010-08-13 
    tp004b.pdf1864652010-08-13 

  • pp/gst

    namesizemdatetitle
    000.htm165802010-08-13Index for directory rbjpub/pp/gst
    ctf-i.html31172010-08-13 
    ctf-m.html374572010-08-13Category Theoretic Foundation Systems
    ctf.html11082010-08-13Category Theoretic Foundation Systems
    gst-ax-i.html31762010-08-13 
    gst-ax-m.html407322010-08-13The Theory gst-ax
    gst-ax.html9852010-08-13The Theory gst-ax
    gst-axioms-i.html51252010-08-13 
    gst-axioms-m.html1524102010-08-13Axioms for galactic set theory.
    gst-axioms.html10902010-08-13Axioms for galactic set theory.
    gst-final-i.html42542010-08-13 
    gst-final-m.html539012010-08-13The theory gst
    gst-final.html10912010-08-13The theory gst
    gst-fixedpoints-i.html43962010-08-13 
    gst-fixedpoints-m.html827482010-08-13The theory of fixed points in GST
    gst-fixedpoints.html11582010-08-13The theory of fixed points in GST
    gst-fixp-i.html25162010-08-13 
    gst-fixp-m.html168522010-08-13The Theory gst-fixp
    gst-fixp.html9992010-08-13The Theory gst-fixp
    gst-fun-i.html27362010-08-13 
    gst-fun-m.html317272010-08-13The Theory gst-fun
    gst-fun.html9922010-08-13The Theory gst-fun
    gst-functions-i.html41822010-08-13 
    gst-functions-m.html1109282010-08-13The theory of functions in GST
    gst-functions.html11272010-08-13The theory of functions in GST
    gst-i.html18082010-08-13 
    gst-lists-i.html22902010-08-13 
    gst-lists-m.html58932010-08-13The Theory gst-lists
    gst-lists.html10062010-08-13The Theory gst-lists
    gst-m.html23372010-08-13The Theory gst
    gst-misc-i.html22782010-08-13 
    gst-misc-m.html53432010-08-13The Theory gst-misc
    gst-misc.html9992010-08-13The Theory gst-misc
    gst-miscelany-i.html14382003-01-30IndexFrame:Miscellaneous work using gst.
    gst-miscelany-m.html112892003-01-30MainFrame:Miscellaneous work using gst.
    gst-miscelany.html7372003-01-30Miscellaneous work using gst.
    gst-miscellany-i.html28382010-08-13 
    gst-miscellany-m.html302342010-08-13Miscellaneous work using gst.
    gst-miscellany.html10892010-08-13Miscellaneous work using gst.
    gst-sumprod-i.html22982010-08-13 
    gst-sumprod-m.html53132010-08-13The Theory gst-sumprod
    gst-sumprod.html10202010-08-13The Theory gst-sumprod
    gst-thlists-i.html28252010-08-13 
    gst-thlists-m.html219272010-08-13The theory of lists in GST
    gst-thlists.html11072010-08-13The theory of lists in GST
    gst.html9642010-08-13The Theory gst
    index-i.html28102010-08-13 
    index-m.html227382010-08-13Galactic Set Theory and applications
    index.html11572010-08-13Galactic Set Theory and applications
    ord-i.html29372010-08-13 
    ord-m.html240782010-08-13The Theory ord
    ord.html9642010-08-13The Theory ord
    ordinals-i.html43502010-08-13 
    ordinals-m.html1072522010-08-13The theory of ordinals in GST
    ordinals.html11312010-08-13The theory of ordinals in GST
    pcf-axioms-i.html25702010-08-13 
    pcf-axioms-m.html272702010-08-13Axioms for Pure Categories and Functors.
    pcf-axioms.html11812010-08-13Axioms for Pure Categories and Functors.
    pcf-axs-i.html27322010-08-13 
    pcf-axs-m.html86212010-08-13The Theory pcf-axs
    pcf-axs.html9922010-08-13The Theory pcf-axs
    pcf-defns-i.html44132010-08-13 
    pcf-defns-m.html1149742010-08-13Definitions of pure categories and functors.
    pcf-defns.html12062010-08-13Definitions of pure categories and functors.
    pcf-defs-i.html29662010-08-13 
    pcf-defs-m.html376122010-08-13The Theory pcf-defs
    pcf-defs.html9992010-08-13The Theory pcf-defs
    pcf2-defns-i.html43492010-08-13 
    pcf2-defns-m.html662562010-08-13Definitions of Pure Abstract Categories and Functors.
    pcf2-defns.html12092010-08-13Definitions of Pure Abstract Categories and Functors.
    pcf2-defs-i.html25172010-08-13 
    pcf2-defs-m.html192682010-08-13The Theory pcf2-defs
    pcf2-defs.html10062010-08-13The Theory pcf2-defs
    refl-defns-i.html28392010-08-13 
    refl-defns-m.html245652010-08-13Definitions of Reflexive Structures.
    refl-defns.html11742010-08-13Definitions of Reflexive Structures.
    refl-defs-i.html25172010-08-13 
    refl-defs-m.html93532010-08-13The Theory refl-defs
    refl-defs.html10062010-08-13The Theory refl-defs
    surreal-i.html31822010-08-13 
    surreal-m.html109662010-08-13The Theory surreal
    surreal.html9922010-08-13The Theory surreal
    xl-metamod1-i.html30562010-08-13 
    xl-metamod1-m.html511312010-08-13A Too-Simple Model of X-Logic
    xl-metamod1.html12372010-08-13A Too-Simple Model of X-Logic
    xl-mm1-i.html25062010-08-13 
    xl-mm1-m.html179512010-08-13The Theory xl-mm1
    xl-mm1.html9852010-08-13The Theory xl-mm1

  • prof

    namesizemdatetitle
    000.htm44542010-08-13Index for directory rbjpub/prof
    con000.htm24851998-07-30The Factasia ... Content Lattice
    frame0.htm5412000-08-26Level 1 frame document proforma
    frame1.htm11012000-03-07IndexFrame: Level 1 frame document proforma
    frame2.htm23942000-03-07MainFrame: Level 1 frame document proforma
    index.htm12161998-08-06Proformas - level 1
    net000.htm34592000-02-10The Factasia ... Resource Hub
    netfrm0.htm5151999-11-12Level 1 frame netlinks proforma
    netfrm1.htm10201999-11-12IndexFrame: Level 1 frame netlink proforma
    netfrm2.htm40231999-11-12MainFrame: Level 1 frame netlinks proforma
    nps002.htm23602000-02-10MainFrame: Level 1 frame document proforma
    p1ressty.txt4421997-10-02 
    p1sty.txt65432009-07-31 
    p1thmsty.txt4181997-03-29 
    p2sty.txt61052000-03-07 
    prof.htm8231998-07-30Proforma level 1
    style.js10922000-03-07 
    thm000.htm12361997-07-20Factasia - level 1 thematic proforma

  • prof/prof

    namesizemdatetitle
    000.htm36922010-08-13Index for directory rbjpub/prof/prof
    bibf0.htm5082001-10-20bibliography frame document proforma
    bibf1.htm9102001-10-20IndexFrame: omniography frame document proforma
    bibf2.htm26282001-10-20MainFrame: omniography frame document proforma
    con000.htm22931998-07-28The Factasia ... Content Lattice
    frame0.htm4862001-10-20Level 2 frame document proforma
    frame1.htm10251999-09-22IndexFrame: Level 2 frame document proforma
    frame2.htm23731999-09-22MainFrame: Level 2 frame document proforma
    index.htm9101998-07-31Proformas - level 2
    netfrm0.htm5641999-11-12Level 2 frame netlinks proforma
    netfrm1.htm10371999-01-04IndexFrame: Level 1 frame netlink proforma
    netfrm2.htm39601999-02-01MainFrame: Level 2 frame netlinks proforma
    prof.htm8101998-07-28Document Proforma - level 2
    thm000.htm12541997-04-07Factasia - level 2 thematic proforma

  • pubserve

    namesizemdatetitle
    000.htm24662010-08-13Index for directory rbjpub/pubserve
    imptn002.htm6601995-04-01Government Around the World
    index.htm5492000-02-10Non-Profit Space
    nps001.htm9862000-04-03IndexFrame: Non-Profit Space
    nps002.htm23292000-02-10MainFrame: Non-Profit Space
    nps003.htm5122000-02-10Non-Profit Netlinks
    nps003i.htm9442000-02-10IndexFrame: Non-Profit Netlinks
    nps003m.htm42072000-02-10MainFrame: Non-Profit Netlinks

  • rbjcv

    namesizemdatetitle
    000.htm48362010-08-13Index for directory rbjpub/rbjcv
    index.htm22191998-10-29The Life and Works of Roger Bishop Jones
    rbjcv001.htm20881998-07-09Curriculum Vitae - Roger Bishop Jones
    rbjcv002.htm8411996-11-25Applications Experience
    rbjcv003.htm10071996-12-07Churchill College
    rbjcv004.htm27651996-12-07English Electric Company
    rbjcv005.htm28101997-12-01Ermysted's Grammar School
    rbjcv006.htm24791996-11-25Experience in Computer Languages
    rbjcv007.htm8601996-11-25Operating Systems Experience
    rbjcv008.htm3561996-07-20Project Management Experience
    rbjcv009-i.htm18362010-08-13 
    rbjcv009-m.htm89912010-08-13Compiler Research at NRL
    rbjcv009.htm9972010-08-13Compiler Research at NRL
    rbjcv010.htm9351996-11-25Summary of Experience
    rbjcv011.htm27531996-12-08Working for ICL
    rbjcv012.htm63781996-11-25Note on internet related experience - Roger Jones
    rbjcv013.htm20321996-11-25RBJ CV - 1969-1972
    rbjcv014.htm37551996-12-08Roger Jones CV 1977-
    rbjcv015.htm26281996-11-25RBJ CV - Formal Methods
    rbjcv016.htm27731999-05-02I plan to become a writer

  • rbjcv/docarch

    namesizemdatetitle
    000.htm202342010-08-13Index for directory rbjpub/rbjcv/docarch
    000a.htm103322010-02-08INDEX of PAPERS and PRESENTATIONS (86-95)
    000b.htm11972010-02-08docarch - index of conversion scripts
    029.htm37021995-07-03CREATIVE FOUNDATIONS FOR PROGRAM VERIFICATION
    034.htm63091995-07-26Foundations Proposal
    036.htm33211995-07-26Proof Theory in the VDM-SL standard
    037.htm143101995-07-26A New Axiomatisation of the Theory of Restricted Generality
    038.htm45551995-07-26Problems with Z
    039.htm108741995-07-26Further Developing T37
    040.htm100781995-07-26The Consistency of T37
    041.htm117101995-07-26Translating Z into HOL
    042.htm321531995-07-26Recursive Data Types in HOL
    048.htm30561995-07-26Problems in Logical Foundations for Computer Science
    049.htm17251995-07-26Application of Formal Methods in Industry
    051.htm49451995-07-26Recursive Data Types in HOL (temp extensions)
    052.htm753221995-07-26Worked Example of Recursive Data Type Definition
    053.htm64641995-07-26A Combinatory Theory of Partial Functions
    054.htm121721995-07-26Presentation at Cambridge Computer Labs
    059.htm48671995-07-26The Calculus of Constructions in Miranda
    065.htm64601995-07-26The Abstract Syntax of Miranda
    069.htm81281995-07-26 
    070.htm96161995-07-26The Abstract Syntax of VDM in sml
    071.htm48571995-07-26The Concrete Syntax of VDM
    072.htm284451995-07-26Logic for Partial Functions in SML
    075.htm67651995-07-26Types for VDM using ZF
    076.htm230821995-07-26\*(G6
    080.htm148731995-07-26 
    082.htm310601995-07-26 
    085.htm244541995-07-26Universal Set Theory in SML (document 45)
    087.htm155781995-07-26Roger's Set Theory
    094.htm28471995-07-26BSI VDM-SL Type Model and Proof Theory
    095.htm22271995-07-26 
    096.htm83161995-07-26Reflexive Foundations for Computer Science
    099.htm81361995-07-26\*(G6
    100.htm21091995-07-26Church's Type Theory
    138.pdf1868522010-02-08 
    180.pdf1156852010-02-08 
    181.pdf741692010-02-08 
    184.htm41971996-07-08On the justification of formal methods
    193.pdf1122382010-02-08 
    199.pdf1062682010-02-08 

  • rbjcv/journals

    namesizemdatetitle
    000.htm37552010-08-13Index for directory rbjpub/rbjcv/journals
    041210.htm18572004-12-10RbJ's Online Journals - 2004:12:10
    050102.htm29772005-01-05RbJ's Online Journals - 050102
    050103.htm47832005-01-03RbJ's Online Journals - 2005-01-03 - Iris Murdoch
    050105.htm61342005-01-05RbJ's Online Journals - 2005-01-05
    050106.htm26612005-01-06RbJ's Online Journals - 2005-01-06
    050107.htm16812005-01-07RbJ's Online Journals - 2005-01-07
    050120.htm26532005-01-20RbJ's Online Journals - 05-01-20
    960610.htm32551996-06-24RbJ's Online Journals - 96/06/10
    960624.htm34721996-06-24RbJ's Online Journals - 96/06/23
    index.htm7252005-01-02RbJ's Online Journals
    profjour.htm5492004-12-10RbJ's Online Journals - date
    xj197003.html43602010-08-13RBJ Journals 1970-03
    xj200806.html67572010-08-13RBJ Journals - 2008-06
    xj200807.html68512010-08-13RBJ Journals - 2008-06

  • rbjcv/papers

    namesizemdatetitle
    000.htm106662010-08-13Index for directory rbjpub/rbjcv/papers
    dtc110.htm62651998-10-20Logical foundations and formal verification
    dtc111.htm48491998-10-20Logical foundations and formal verification - INTRODUCTION
    dtc112.htm140991997-12-01Logical foundations and formal verification - Philosophy and Ontology
    dtc113.htm108861999-05-02Logical foundations and formal verification - PRIMITIVE FORMALISATION
    dtc114.htm178471997-03-22Logical foundations and formal verification - TYPES AND SPECIFICATIONS
    dtc115.htm14501997-03-22Logical foundations and formal verification - APPLICATION LANGUAGES
    dtc116.htm54651997-03-22Logical foundations and formal verification - IMPLEMENTATION
    dtc117.htm34641997-03-22Logical foundations and formal verification - VERIFICATION
    dtc118.htm21101997-03-22Logical foundations and formal verification - CONCLUSIONS
    dtc119.htm47191997-03-22Logical foundations and formal verification - REFERENCES
    dtc25.htm183381998-10-20CREATIVE FOUNDATIONS FOR PROGRAM VERIFICATION
    index.htm70832010-01-28RbJ's Archive of Ancient (& modern) Writings
    ugp.htm53421998-10-29RbJ's Undergraduate Philosophy Essays
    ugp01.htm53541997-03-22Wittgenstein's 'private language' argument
    ugp0101.htm58832009-09-03Wittgenstein's 'private language' argument
    ugp0102.htm60132009-09-03Wittgenstein's 'private language' argument
    ugp0103.htm78302009-09-03Wittgenstein's 'private language' argument
    ugp0104.htm47312009-09-03Wittgenstein's 'private language' argument
    ugp0105.htm33342009-09-03Wittgenstein's 'private language' argument
    ugp02.htm37411997-04-06Liberty
    ugp0201.htm333081998-01-01Liberty (essay)
    ugp0202.htm47801997-04-06Liberty (lecturer's comments)
    ugp03.htm62681997-03-28Is Morality Necessary?
    ugp0300.htm43871997-03-28Is Morality Necessary? (preliminaries)
    ugp0301.htm57731997-03-28Is Morality Necessary? (A)
    ugp0302.htm36261997-03-28Is Morality Necessary? (B)
    ugp0303.htm52301997-03-28Is Morality Necessary? (C)
    ugp0304.htm29211997-03-25Is Morality Necessary? (D)
    ugp0305.htm30231997-03-28Is Morality Necessary? (E)
    ugp0306.htm50721997-03-25Is Morality Necessary? (F)
    ugp0307.htm45911997-03-28Is Morality Necessary? (G)
    ugp0308.htm47691997-03-28Is Morality Necessary? (H)
    ugp0309.htm36981997-03-28Is Morality Necessary? (N)
    ugp04.htm26631997-04-28Ontology
    ugp0401.htm38862009-07-31Ontology - Introduction
    ugp0402.htm167832009-07-31Ontology (essay)
    ugp05.htm25211997-04-22The Status of Logical Principles
    ugp0502.htm162571997-04-22The Status of Logical Principles (essay)
    ugp06.htm19241997-04-22Determinism
    ugp0602.htm61691997-12-01Determinism (essay)
    ugp07.htm25451997-04-24Mind-Brain Identity
    ugp0702.htm112471998-04-01Mind-Brain Identity (essay)
    ugp08.htm20761997-04-25What, if any, is the philosophical point of an appeal to ordinary language?
    ugp0802.htm125511997-04-24What, if any, is the philosophical point of an appeal to ordinary language? (essay)
    wp03.htm31651997-04-18Expert Systems in Decision Support
    wp0301.htm33711998-10-20ESDS - Introduction
    wp0302.htm58381998-10-20ESDS - What are Expert Systems?
    wp0303.htm115831998-10-20ESDS - Expert Systems and Hardware Development
    wp0304.htm416071998-10-20ESDS - Expert Systems and Decision Support
    wp0305.htm60111997-04-18ESDS - Conclusions
    wp32.htm612671998-10-20Persistent Applicative Heaps and Knowledge Bases
    wp51.htm121481997-03-22Logical Necessity and the Foundations of Mathematics

  • rbjcv/rjiab

    namesizemdatetitle
    000.htm58302010-08-13Index for directory rbjpub/rbjcv/rjiab
    index.htm10991998-10-29Intellectual Autobiography
    rjiab.pdf2507562010-08-13 
    rjiab001.htm26291998-10-29Roger Jones - Intellectual AutoBiography
    rjiab002.htm59801996-12-07Possible Topics for Research
    rjiab003.htm31861996-12-07How to leave Cambridge
    rjiab004.htm61481996-12-07Computing at Cambridge
    rjiab005.htm15181998-08-14Grammar School
    rjiab006.htm14181998-06-04RJ IAB CHRONOLOGY
    rjiab012.htm61441998-08-14How not to become a professional philosopher
    rjiab013.htm13851997-03-28The "how not to" series
    rjiab014.htm5601998-06-04Working with HOL
    rjiab015.htm12711998-10-18IndexFrame: Working with HOL
    rjiab016.htm184401998-10-18MainFrame: Working with HOL
    rjiab017.htm6231998-10-22RBJ's Work on The Foundations of Mathematics
    rjiab018.htm13261998-10-22IndexFrame: RBJ's Work on The Foundations of Mathematics
    rjiab019.htm230691998-10-22MainFrame: RBJ's Work on The Foundations of Mathematics
    symbols.htm14071997-03-28Symbols
    xiab001-i.html20712010-08-13 
    xiab001-m.html61912010-08-13Why were you initially drawn into formal methods?
    xiab001.html11142010-08-13Why were you initially drawn into formal methods?
    xiab002-i.html20652010-08-13 
    xiab002-m.html149042010-08-13A Chronology of Foundational Work
    xiab002.html10802010-08-13A Chronology of Foundational Work
    xiab003-i.html20722010-08-13 
    xiab003-m.html154062010-08-13Pages on the Automation of Reason and AI
    xiab003.html10742010-08-13Pages on the Automation of Reason and AI

  • religion

    namesizemdatetitle
    000.htm30762010-08-13Index for directory rbjpub/religion
    index.htm4441998-09-13Religion
    prof.htm6031999-05-02CyberFaith Proforma
    rel000.htm39122008-06-21Factasia Religion Resource Hub
    rel001.htm56081998-09-13How God Died for me
    rel002.htm17791998-09-13The CyberFaith Home Page
    rel003.htm14271998-09-13What is a Religion?
    rel004.htm9571998-09-13IndexFrame: Religion
    rel005.htm60011998-09-13MainFrame: Religion
    rel006.htm5482000-08-30Introducing Tao-Xi
    rel007.htm10762000-08-30IndexFrame: Introducing Tao-Xi
    rel008.htm24332000-08-30MainFrame: Introducing Tao-Xi

  • science

    namesizemdatetitle
    000.htm26902010-08-13Index for directory rbjpub/science
    index-i.htm24942010-08-13 
    index-m.htm141322010-08-13Science
    index.htm10282010-08-13Science
    sci000.htm71472004-12-19Factasia Science Netlinks
    sci001.htm10271998-09-15IndexFrame: Science
    sci002.htm38461998-09-15MainFrame: Science
    xs001-i.html25592010-08-13 
    xs001-m.html153462010-08-13Notes on Evolution
    xs001.html10032010-08-13Notes on Evolution

  • values

    namesizemdatetitle
    000.htm27152010-08-13Index for directory rbjpub/values
    index.htm5721998-09-27Values
    val001.htm66101998-09-13Hedonism and Fulfillment
    val002.htm28851998-07-26Values Net Links
    val003.htm24441998-09-27Value Net
    val004.htm29601998-09-27The Factasia Value System
    val005.htm22391999-10-19Ethical Anarchism
    val006.htm37182007-02-07Dimensions of Anarchy
    val007.htm10941998-09-27IndexFrame: Values
    val008.htm56631998-09-27MainFrame: Values

  • www

    namesizemdatetitle
    000.htm56212010-08-13Index for directory rbjpub/www
    index-i.htm27582010-08-13 
    index-m.htm172882010-08-13Writing and The Arts
    index.htm10032010-08-13Writing and The Arts
    rbj001.htm47861998-07-25Stream of Consciousness?
    rbj007.htm34941997-06-16Structure
    rbj013.htm30291998-07-25Utopian Fantasy
    rbj017.htm16691997-06-16Factasy - a genre for utopian strategists
    rbj018.htm84512000-01-30Collaborative writing for WWW
    www000.htm34382000-03-07Internet Resources on Writing
    www001.htm36182003-07-24The Factasia Web Writers Well
    www002.htm53062007-07-29Tools and Techniques used to develop the RBJones.com web site
    www003.htm46062002-11-05Web Writer's Well net links
    www004.htm61091998-06-18The Factasia Page Style Gallery
    xart001-i.html27882010-08-13 
    xart001-m.html307352010-08-13The Art of Haidee-Jo Summers
    xart001.html10842010-08-13The Art of Haidee-Jo Summers
    xart002-i.html34462010-08-13 
    xart002-m.html287952010-08-13Expressionism
    xart002.html10532010-08-13Expressionism
    xwri001-i.html22712010-08-13 
    xwri001-m.html90852010-08-13About Writing
    xwri001.html9882010-08-13About Writing
    xwri002-i.html25152010-08-13 
    xwri002-m.html201362010-08-13Stream of Consciousness
    xwri002.html10532010-08-13Stream of Consciousness

  • www/books

    namesizemdatetitle
    000.htm36362010-08-13Index for directory rbjpub/www/books
    index-i.htm30502010-08-13 
    index-m.htm332272010-08-13Books
    index.htm9642010-08-13Books
    xb001-i.html31342010-08-13 
    xb001-m.html358312010-08-13Books on Positive Philosophy
    xb001.html10492010-08-13Books on Positive Philosophy
    xb002-i.html18582010-08-13 
    xb002-m.html119252010-08-13Evolution, Rationality and Deduction - The Book
    xb002.html10512010-08-13Evolution, Rationality and Deduction - The Book

  • www/column

    namesizemdatetitle
    000.htm123772010-08-13Index for directory rbjpub/www/column
    c00100.htm111492005-01-14From Hierarchy to Web
    c00200.htm28171998-07-25Premonitions of Factasia
    c00300.htm80751998-09-27Logical Revolutions, Past Present and Future
    c00301.htm26161998-08-01Logical Revolutions, Past Present and Future - a chronology
    c00400.htm13341998-10-06The Future of The Future
    c00401.htm25061998-10-06The Future oF The Future - Overview
    c00402.htm30931998-09-27FoF - Background
    c00407.htm42031997-09-27FoF - Paradigm Shifts in IT
    c00408.htm33201997-09-28FoF - The Next Logical Revolution
    c00409.htm25131997-09-28FoF - Scope
    c00410.htm8571997-09-20FoF - A Tiny Fragment of the Universe
    c00411.htm7751997-09-20FoF - An Even Tinier Fragment
    c00412.htm23171997-09-30FoF - The Global SuperOrganism
    c00413.htm23391997-09-30FoF - Forecasting the Future
    c00415.htm22841997-09-21FoF - Contrasting Visions of Future Empowerment
    c00416.htm30781997-09-27FoF - Realising Intellectual Property Value
    c00417.htm42481997-10-01FoF - Future Makers - Past and Present
    c00418.htm22921998-10-06FoF - Heirarchies - Networks - Markets
    c00419.htm21371997-09-21FoF - Decoupling Corporate Metrics
    c00420.htm30221997-09-20FoF - How NOT to Marketise
    c00421.htm13671997-09-21FoF - How to Marketise?
    c00422.htm17121997-09-20FoF - Market Theory
    c00423.htm25861997-09-27FoF - Creative Workers
    c00424.htm16561998-10-06FoF - Market Reality
    c00425.htm12961998-10-06FoF - Erosion of Free-Market trading (i)
    c00426.htm12261997-09-20FoF - Erosion of "Free-Market" trading (ii)
    c00427.htm13791997-09-20FoF - Market as Information Warground
    c00428.htm13821997-09-19FoF - Exerting Influence Through Markets
    c00429.htm24211998-10-06FoF - Future "Future Makers"
    c00430.htm12961998-10-06FoF - Independent Future Engineers
    c00431.htm12131997-09-20FoF - Locating Future Engineering
    c00432.htm19641999-05-02FoF - Future Engineering Methods
    c00433.htm13301998-10-06FoF - A History of Financial Levitation
    c00434.htm13481998-06-18FoF - The Web as Magic Medium
    c00435.htm14531997-09-20FoF - Content of Vision
    c00436.htm41011998-06-18FoF - Scenario Planning
    c00437.htm18071998-10-06FoF - Evolution and Future Engineering
    c00438.htm13571997-09-20FoF - Darwinian Evolution
    c00439.htm15401997-09-20FoF - Generalised Evolution
    c00440.htm15211997-09-20FoF - Evolution and Engineering
    c00441.htm23531997-09-21FoF - Engineering The Next Logical Revolution
    cprof00.htm6801997-09-18Factasy Column Proforma
    index.htm28622006-05-28The Factasy Column
    pres001.pdf542942008-04-17 
    s000000.htm17332006-06-05RBJones.com Work in Progress
    s060503.html71662010-08-13Factasia Seminal 2006-05-03
    s060510.html127282010-08-13Factasia Seminal 2006-05
    s0911.html378042010-08-13RBJones.com Monthly: November 2009
    s0912.html143412010-08-13RBJones.com Monthly: December 2009
    s970302.htm30291997-04-05The Factasy Seminal - 1997/03/02
    s970309.htm29671997-04-05The Factasy Seminal - 1997/03/09
    s970316.htm24041997-03-16The Factasy Seminal - 1997/03/16
    s970323.htm26621997-03-28The Factasy Seminal - 1997/03/23
    s970330.htm21991997-03-29The Factasy Seminal - 1997/03/30
    s970406.htm23941997-04-05The Factasy Seminal - 1997/04/06
    s970413.htm23201997-04-12The Factasy Seminal - 1997/04/13
    s970420.htm22141997-04-19The Factasy Seminal - 1997/04/20
    s970427.htm32101997-04-27The Factasy Seminal - 1997/04/27
    s970504.htm23921997-05-02The Factasy Seminal - 1997/05/04
    s970511.htm18711997-05-31The Factasy Seminal - 1997/05/11
    s970601.htm28181997-05-31The Factasy Seminal - 1997/06/01
    scurrent.htm35962010-08-13What's New at RBJones.com
    shistory.htm287102006-06-06What's New in Factasia - history of uploads
    sprof00.htm9651997-03-10The Factasy Seminal

  • www/papers

    namesizemdatetitle
    000.htm36112010-08-13Index for directory rbjpub/www/papers
    index.html151022010-08-13Index of Essays
    p000.pdf2014492010-08-13 
    p001.pdf896572010-08-13 
    p002.pdf1179602010-08-13 
    p003.pdf1078682010-08-13 
    p004.pdf1086522010-08-13 
    p005.pdf1207232010-08-13 
    p006.pdf2914922010-08-13 
    p007.pdf787872010-08-13 
    p008.pdf5574222010-08-13 
    p009.pdf1282112010-08-13 
    p010.pdf1101012010-08-13 
    p011.pdf1602842010-08-13 
    p012.pdf636812010-08-13 
    p013.pdf682962010-08-13 
    p014.pdf1163382010-08-13 


    home rbj