Full Factasia Content Listing

This listing covers the first 3 directory levels of Factasia. 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
    !274352008-04-08 
    000.htm174272008-04-14Index for directory rbjpub
    0000.htm40962008-04-14Full Factasia 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
    index.htm182412007-05-13Factasia Quick Index
    index.htm~181422007-01-26Factasia Quick Index
    net000.htm73962007-04-20Factasia - General Net Resources
    net000.htm~71232006-04-29Factasia - General Net Resources
    prof00.htm8031998-08-31Document Proforma - level 0
    rbj.htm11022006-04-12Roger 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.htm317702008-04-14Factasia Directory Listing
    rbj035.htm260672000-04-12The Factasia Top 100
    rbj036.htm256862008-04-14The Factasia Top 100
    rbj037.htm11902008-02-20IndexFrame: Roger Bishop Jones
    rbj037.htm~12272008-02-20IndexFrame: Roger Bishop Jones
    rbj038.htm213952008-02-20MainFrame: Roger Bishop Jones
    rbj038.htm~214322008-02-20MainFrame: Roger Bishop Jones
    rbj039.htm32582008-02-20Roger Bishop Jones
    rbj039.htm~33021998-04-01Roger 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 
    styl001.txt1041997-02-10 
    x001-i.html20472008-04-14 
    x001-m.html246182008-04-14 
    x001.html10432008-04-14RBJones.com
    x002-i.html20312008-04-14 
    x002-m.html140682008-04-14 
    x002.html10752008-04-14The Automation of Reason
    x003-i.html20952008-04-14 
    x003-m.html189742008-04-14 
    x003.html10652008-04-14Positive Philosophy
    xhp001-i.html20412008-04-14 
    xhp001-m.html188432008-04-14 
    xhp001.html10502008-04-14RBJones.com
    xt001-i.html17672008-04-14 
    xt001-m.html182402008-04-14 
    xt001.html10392008-04-14Home Page History
    xt002-i.html32252008-04-14 
    xt002-m.html514722008-04-14 
    xt002.html10752008-04-14The Stack of Change
    xt003-i.html22282008-04-14 
    xt003-m.html285032008-04-14 
    xt003.html10042008-04-14The Dynamic of RBJones.com
    xt004-i.html15422008-04-14 
    xt004-m.html83982008-04-14 
    xt004.html10532008-04-14New at RBJones.com
    xtc001-i.html27362008-04-14 
    xtc001-m.html363412008-04-14 
    xtc001.html11702008-04-14Rationality and Romanticism
    xtc002-i.html17612008-04-14 
    xtc002-m.html179482008-04-14 
    xtc002.html10292008-04-14About Writing

  • bus

    namesizemdatetitle
    000.htm31712008-04-14Index 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.htm31712008-04-14Index 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.htm130252008-04-14Index for directory rbjpub/cs
    ai001.htm6201999-10-07Artificial Intelligence
    ai002.htm9721998-08-21Automation of Deduction
    ai003.htm104732004-12-06Automation of Reasoning Netlinks
    ai004.htm70682007-07-14Formalised Mathematics - net links
    ai004.htm~69162001-06-23Formalised Mathematics - net links
    ai005.htm69952001-10-18Mechanisation of Mathematics - net links
    ai006.htm62711999-11-15Artifical 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.htm119942004-12-23Conceptions 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.htm114482000-02-06MainFrame: 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.htm34722001-06-20Computing 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.htm45991998-08-06How 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.html26202008-04-14 
    xreal01-m.html250502008-04-14 
    xreal01.html11762008-04-14Exact Real Computation in ProofPower

  • econ

    namesizemdatetitle
    000.htm19332008-04-14Index 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.htm35622008-04-14Index 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.html15502008-04-14 
    eng010-m.html94792008-04-14 
    eng010.html10802008-04-14Engineering as Philosophy
    index.htm4581998-10-27Engineering

  • future

    namesizemdatetitle
    000.htm26952008-04-14Index for directory rbjpub/future
    fut000.htm165012007-12-28Factasia netlinks on the Future
    fut000.htm~163472004-12-23Factasia 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.htm15132008-04-14Index for directory rbjpub/isar
    index.html53892008-04-14Index of Isabelle Theories

  • logic

    namesizemdatetitle
    000.htm254192008-04-14Index for directory rbjpub/logic
    ar001-i.html18252008-04-14 
    ar001-m.html87652008-04-14 
    ar001.html10962008-04-14The 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.htm5432002-10-04Factasia Logic
    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.htm46862002-10-04Proof 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
    log019.htm~60282000-02-01First-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.htm26621999-10-11IndexFrame: Logic
    log025.htm296622006-04-24MainFrame: Factasia Logic
    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.htm56661999-10-07MainFrame: 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.htm208171999-10-05MainFrame: What is Logic?
    log039.htm12231998-06-30IndexFrame: An Introduction to Propositional Logics
    log040.htm114542007-04-23MainFrame: An Introduction to Propositional Logics
    log040.htm~114581999-10-05MainFrame: 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.htm64752008-04-14Index 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.htm37582008-04-14Index for directory rbjpub/logic/foundations
    index-i.html20692008-04-14 
    index-m.html120992008-04-14 
    index.html10522008-04-14Foundation Systems

  • logic/rda40

    namesizemdatetitle
    000.htm84032008-04-14Index 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.htm33932008-04-14Index 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.htm44291998-10-23The Formalisation of Mathematics
    math007.htm44411998-08-06Real Numbers - a logical development
    math008.htm81642004-12-23Real Numbers - some history
    math009.htm46931998-08-14Formality and Rigour in 20th Century Mathematics
    math010.htm21141998-07-26Re-Use and Abstraction
    math011.htm45871999-10-10Mathematics and the Scientific Revolution

  • methods

    namesizemdatetitle
    000.htm22892008-04-14Index for directory rbjpub/methods
    index.htm21682003-07-24Methods
    meth001.htm55462000-03-07Factastic Future Engineering
    meth002.htm30951998-09-13A Rather Generic Method
    xm001-i.html19922008-04-14 
    xm001-m.html85902008-04-14 
    xm001.html10352008-04-14Making a Weltanschauung

  • methods/fm

    namesizemdatetitle
    000.htm57112008-04-14Index 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.htm50251999-10-01Carnap's Syntactical Method
    fm013.htm5471999-10-21The 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.htm34981998-12-12Formal Methods
    xfm001-i.html18422008-04-14 
    xfm001-m.html204132008-04-14 
    xfm001.html10972008-04-14Notes on Algebraic Methods

  • music

    namesizemdatetitle
    000.htm33112008-04-14Index 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.htm192012008-04-14Index for directory rbjpub/philos
    analypos.pdf853352008-04-14 
    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.htm62862000-02-03Hyper-Rationality
    gsb004.htm7101998-10-13The Holistic SuperBrain
    gsb005.htm13721999-10-07IndexFrame: The Holistic SuperBrain
    gsb006.htm150391999-10-07MainFrame: The Holistic SuperBrain
    index.htm5481999-02-01Factasia Philosophy
    inter015.htm133382007-05-12The Factasia Philosophy Resource Hub
    inter015.htm~133462004-12-23The Factasia Philosophy Resource Hub
    inter016.htm72102000-03-07Analytic 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.htm35891998-06-27Philosophy
    pos004.htm19862001-11-08IndexFrame: Philosophy
    pos005.htm245202006-03-13MainFrame: Philosophy
    pos006.htm17571998-09-08IndexFrame: Coming Up in Factasia Philosophy
    pos007.htm151631998-09-08MainFrame: 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.pdf521802008-04-14 
    x001-i.html40482008-04-14 
    x001-m.html589232008-04-14 
    x001.html11012008-04-14An Introduction to Metaphysical Positivism
    x002-i.html15632008-04-14 
    x002-m.html101602008-04-14 
    x002.html10952008-04-14Pragmatic Scepticism
    x003-i.html38072008-04-14 
    x003-m.html656232008-04-14 
    x003.html11482008-04-14Metaphysical and Logical Positivism Compared
    x004-i.html25942008-04-14 
    x004-m.html225002008-04-14 
    x004.html11832008-04-14The Automation of Reason - Some History
    x005-i.html27352008-04-14 
    x005-m.html260502008-04-14 
    x005.html9782008-04-14X-Logic
    x006-i.html27162008-04-14 
    x006-m.html248502008-04-14 
    x006.html10552008-04-14Positive Metaphysics
    x007-i.html24942008-04-14 
    x007-m.html246342008-04-14 
    x007.html11162008-04-14First Philosophy
    x008-i.html17792008-04-14 
    x008-m.html73852008-04-14 
    x008.html10462008-04-14Philosophical Language
    x009-i.html26022008-04-14 
    x009-m.html341242008-04-14 
    x009.html10572008-04-14Analytic Metaphysics
    x010-i.html22542008-04-14 
    x010-m.html288992008-04-14 
    x010.html10302008-04-14Metaphysical Positivism
    x011-i.html27422008-04-14 
    x011-m.html185092008-04-14 
    x011.html10452008-04-14Formal Philosophy
    x012-i.html25502008-04-14 
    x012-m.html381182008-04-14 
    x012.html10442008-04-14Open Scepticism
    x013-i.html22672008-04-14 
    x013-m.html173292008-04-14 
    x013.html10282008-04-14Philosophy as Art
    x014-i.html20522008-04-14 
    x014-m.html215322008-04-14 
    x014.html10072008-04-14Pragmatic Scepticism
    x015-i.html21272008-04-14 
    x015-m.html155942008-04-14 
    x015.html11002008-04-14Logic and Emotion
    x016-i.html21432008-04-14 
    x016-m.html170342008-04-14 
    x016.html11412008-04-14Logic and Emotion, Rationality and Romanticism
    x017-i.html23502008-04-14 
    x017-m.html260662008-04-14 
    x017.html11542008-04-14Rationality and Romanticism
    x018-i.html27852008-04-14 
    x018-m.html333272008-04-14 
    x018.html10642008-04-14Positive Philosophy
    x019-i.html18332008-04-14 
    x019-m.html351682008-04-14 
    x019.html10452008-04-14RBJones.com
    x020-i.html30222008-04-14 
    x020-m.html372652008-04-14 
    x020.html10802008-04-14Naive Philosophy
    x021-i.html22912008-04-14 
    x021-m.html250102008-04-14 
    x021.html10502008-04-14Synthetic Philosophy
    x022-i.html18162008-04-14 
    x022-m.html157052008-04-14 
    x022.html10422008-04-14Positive Science
    x023-i.html24722008-04-14 
    x023-m.html358892008-04-14 
    x023.html10502008-04-14The Essence of Metaphysical Positivism
    xe001-i.html20672008-04-14 
    xe001-m.html116202008-04-14 
    xe001.html10622008-04-14Creative and Utopian Scepticism
    xp001-i.html18022008-04-14 
    xp001-m.html107532008-04-14 
    xp001.html10802008-04-14Existential Positivism

  • philos/bibliog

    namesizemdatetitle
    000.htm394872008-04-14Index for directory rbjpub/philos/bibliog
    a.htm109232001-05-12The Factasia Omniography - A
    amazon.htm27441999-11-01In Association with Amazon.com ...
    austin57.htm135312003-05-03notes on: A Plea for Excuses by J.L.Austin
    ayer36.htm24941998-11-22notes on - Language Truth and Logic
    b.htm308362007-08-06The Factasia Omniography - B
    b.htm~302292007-01-24The Factasia Omniography - B
    baj001.htm106211999-10-19Barbara's Corner
    beeso80.htm36092006-01-17notes on - Foundations of Constructive Mathematics
    berlin-i.html38762008-04-14 
    berlin-m.html659662008-04-14 
    berlin.html11422008-04-14Notes on the writings of Isaiah Berlin
    berlin02-i.html26292008-04-14 
    berlin02-m.html303612008-04-14 
    berlin02.html10962008-04-14Notes on - Freedom and its Betrayal
    berlin1999-i.html32242008-04-14 
    berlin1999-m.html316042008-04-14 
    berlin1999.html11132008-04-14Notes on - The Roots of Romanticism
    berlin2004-i.html18942008-04-14 
    berlin2004-m.html115722008-04-14 
    berlin2004.html10602008-04-14Notes on - Liberty
    berlin2006-i.html40122008-04-14 
    berlin2006-m.html428952008-04-14 
    berlin2006.html11562008-04-14Notes on - Political Ideas in the Romantic Age
    berlin78-i.html18892008-04-14 
    berlin78-m.html219322008-04-14 
    berlin78.html10722008-04-14Notes on - Russian Thinkers
    berlin79-i.html26672008-04-14 
    berlin79-m.html319192008-04-14 
    berlin79.html10822008-04-14Notes on - Against the Current
    berlin90-i.html27972008-04-14 
    berlin90-m.html411992008-04-14 
    berlin90.html11222008-04-14Notes on - The Crooked Timber of Humanity
    bishop85.htm51241999-09-21notes on - Constructive Analysis
    bloom-i.htm23432008-04-14 
    bloom-m.htm274892008-04-14 
    bloom.htm10592008-04-14Notes on the writings of Howard Bloom
    bloom.htm~44622002-12-24notes on - The Lucifer Principle and Global Brain
    bloom2000-i.html32192008-04-14 
    bloom2000-m.html531482008-04-14 
    bloom2000.html10742008-04-14Notes 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.htm264672006-01-17The Factasia Omniography - C
    carnap34.htm206012007-07-03notes on - "Philosophy and Logical Syntax"
    carnap34.htm~206021998-12-25notes 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
    carnap47.htm~73612007-07-03notes on - "Meaning and Necessity" by Rudolf Carnap
    carnap47a-i.html19162008-04-14 
    carnap47a-m.html78712008-04-14 
    carnap47a.html11512008-04-14Notes on: Carnap's Method of Intension and Extension
    carnap50.htm66182001-08-28notes on "Empiricism, Semantics and Ontology"
    carnap63.htm93792007-07-06notes on - "The Philosophy of Rudolf Carnap"
    carnap63.htm~93492007-07-04notes on - "The Philosophy of Rudolf Carnap"
    coffa91.htm45801998-11-23notes on - "The Semantic Tradition"
    conradi2001.htm129322006-02-17notes on - IRIS - The Life of Iris Murdoch
    d.htm152112007-02-11The Factasia Omniography - D
    d.htm~145842007-01-04The Factasia Omniography - D
    dancy85.htm105571999-01-17notes on - "Introduction to Contemporary Epistemology"
    dawkin89.htm94242007-01-28notes on The Selfish Gene
    dawkin89.htm~95022007-01-25notes on The Selfish Gene
    dawkins1982-i.html19192008-04-14 
    dawkins1982-m.html201132008-04-14 
    dawkins1982.html10782008-04-14Notes on The Extended Phenotype
    dennet95.htm42541998-11-20notes on Darwin's Dangerous Idea
    detlefsen2005-i.html32282008-04-14 
    detlefsen2005-m.html355682008-04-14 
    detlefsen2005.html11492008-04-14Notes 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
    e.htm~91062005-03-10The Factasia Omniography - E
    empiricus1933-i.html19062008-04-14 
    empiricus1933-m.html105312008-04-14 
    empiricus1933.htm20022005-03-10Outlines of Pyrrhonism
    empiricus1933.html11142008-04-14Notes on: Outlines of Phyrrhonism
    f.htm204102007-02-08The Factasia Omniography - F
    f.htm~207102006-09-04The Factasia Omniography - F
    fall1.htm35532004-03-18IndexFrame: The Factasia Omniography
    fall2.htm269482008-04-14MainFrame: 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.htm101342008-04-14MainFrame: Some logic People and Their Works
    forster92-i.html19022008-04-14 
    forster92-m.html115542008-04-14 
    forster92.html11182008-04-14Notes 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.htm140202008-04-14MainFrame: 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
    friedmanm1999.htm18722001-07-19notes on: Reconsidering Logical Positivism by Michael Friedman
    g.htm126982007-02-10The Factasia Omniography - G
    g.htm~129172006-04-17The Factasia Omniography - G
    gelln59.htm181952006-03-12notes by RBJ on: Words and Things; by Ernest Gellner
    gellner92-i.html18852008-04-14 
    gellner92-m.html128652008-04-14 
    gellner92.html11232008-04-14Notes on - Reason and Culture by Ernest Gellner
    gould91.htm72581998-11-23notes on - Bully for Brontosaurus
    grice89.htm186212003-05-11notes 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.htm298092004-12-19The 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
    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.htm101012006-04-26The Factasia Omniography - K
    kolakowski1972.htm202262007-02-06notes on - "Positivist Philosophy"
    kolakowski1972.htm~188822007-02-06notes on - "Positivist Philosophy"
    l.htm55861999-03-07The Factasia Omniography - L
    lakato76.htm35301999-11-01Notes on: Proofs and Refutations
    leibniz001.html53882008-04-14Quotations 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.htm184652007-02-19The Factasia Omniography - M
    m.htm~175602006-02-20The Factasia Omniography - M
    macla71.htm51401999-10-22notes on: Categories for the Working Mathematician
    macla86.htm17851999-11-17notes on: Mathematics, Form and Function
    magee78-i.html21472008-04-14 
    magee78-m.html196812008-04-14 
    magee78.html10622008-04-14Notes on - Men of Ideas
    mcnau88.htm47421998-10-23notes on: Moral Vision
    montaigne2003-i.html19342008-04-14 
    montaigne2003-m.html185142008-04-14 
    montaigne2003.html10942008-04-14Montaigne: 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.htm37161999-03-07The 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.htm167482007-07-05The Factasia Omniography - P
    p.htm~167462007-07-05The 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.html21792008-04-14 
    popper63b-m.html157072008-04-14 
    popper63b.html12332008-04-14Notes on: The Demarcation between Science and Metaphysics
    profbib.htm35961998-11-22The Factasia Omniography - ?proforma?
    profnote.htm9211998-10-30notes on: ?profile?
    pubs.htm152652004-12-23Publishers
    q.htm98822001-10-20The Factasia Omniography - Q
    quine36.htm66902001-08-27notes on "Truth by Convention"
    quine48.htm39732004-04-13notes on "On what there is"
    quine51.htm50122001-10-10notes on "On Carnap's Views on Ontology"
    quine53a.htm189462001-10-20notes on Quine's "Two Dogmas of Empiricism"
    quine53a0.htm6402001-10-20Notes on Quine's: Two Dogmas of Empiricism
    quine53a1.htm13512001-10-20IndexFrame: notes on Quine's: Two Dogmas of Empiricism
    quine53a2.htm199482001-10-20MainFrame: notes on Quine's: Two Dogmas of Empiricism
    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.htm151262006-03-15The Factasia Omniography - R
    russ08.htm54181998-11-27Notes on: Mathematical Logic as Based on the Theory of Types
    russ18.htm24391998-11-27Notes 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.html18902008-04-14 
    russell46-m.html96612008-04-14 
    russell46.html11072008-04-14Notes on - History of Western Philosophy
    russell46_32-i.html21722008-04-14 
    russell46_32-m.html164702008-04-14 
    russell46_32.html12382008-04-14Notes on - History of Western Philosophy - Rousseau to the Present Day
    ryle32.htm30181999-08-31notes on: Systematically Misleading Expressions
    s.htm237892007-01-12The Factasia Omniography - S
    s.htm~237972007-01-08The Factasia Omniography - S
    sartre46-i.html21162008-04-14 
    sartre46-m.html125662008-04-14 
    sartre46.html11102008-04-14Notes on - Existentialism & Humanism
    schonf24.htm33431998-12-10notes on "On the Building Blocks of Mathematical Logic"
    schopenhauer1818-i.html27912008-04-14 
    schopenhauer1818-m.html571262008-04-14 
    schopenhauer1818.html11292008-04-14Notes on - The World as Will and Idea
    scruto94.htm34291998-11-23notes on Modern Philosophy
    shapiro2005-i.html24702008-04-14 
    shapiro2005-m.html431122008-04-14 
    shapiro2005.html11272008-04-14Notes on - The Oxford Handbook of Philosophy of Mathematics and Logic
    shapiro2005b-i.html27252008-04-14 
    shapiro2005b-m.html499242008-04-14 
    shapiro2005b.html11452008-04-14Notes on - The Oxford Handbook of Philosophy of Mathematics and Logic - Ch.1
    shapiro91.htm33092001-05-02notes 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.html22112008-04-14 
    stroll2000-m.html231842008-04-14 
    stroll2000.html11192008-04-14Notes on - Twentieth-Century Analytic Philosophy
    t.htm135512006-04-18The Factasia Omniography - T
    tait2005-i.html31232008-04-14 
    tait2005-m.html711802008-04-14 
    tait2005.html11332008-04-14Notes on - The Provenance of Pure Reason
    tarski35.htm27592001-06-05Notes on - On the Concept of Logical Consequence
    u.htm49102001-08-21The Factasia Omniography - U
    v.htm27972004-03-18The Factasia Omniography - V
    w.htm201782007-01-29The Factasia Omniography - W
    w.htm~196572004-04-18The Factasia Omniography - W
    weihr95b.htm16571998-11-23notes on "A Foundation of Computable Analysis"
    wiley52-i.html24282008-04-14 
    wiley52-m.html324132008-04-14 
    wiley52.html10822008-04-14Notes 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.htm2227