Two tables follow:
| file | title | mdate |
|---|---|---|
| cs/xreal01.html | Exact Real Computation in ProofPower | 2008-04-14 |
| engineer/eng010.html | Engineering as Philosophy | 2008-04-14 |
| methods/fm/xfm001.html | Notes on Algebraic Methods | 2008-04-14 |
| methods/xm001.html | Making a Weltanschauung | 2008-04-14 |
| philos/bibliog/berlin.html | Notes on the writings of Isaiah Berlin | 2008-04-14 |
| philos/bibliog/berlin02.html | Notes on - Freedom and its Betrayal | 2008-04-14 |
| philos/bibliog/berlin1999.html | Notes on - The Roots of Romanticism | 2008-04-14 |
| philos/bibliog/berlin2004.html | Notes on - Liberty | 2008-04-14 |
| philos/bibliog/berlin2006.html | Notes on - Political Ideas in the Romantic Age | 2008-04-14 |
| philos/bibliog/berlin78.html | Notes on - Russian Thinkers | 2008-04-14 |
| philos/bibliog/berlin79.html | Notes on - Against the Current | 2008-04-14 |
| philos/bibliog/berlin90.html | Notes on - The Crooked Timber of Humanity | 2008-04-14 |
| philos/bibliog/bloom.htm | Notes on the writings of Howard Bloom | 2008-04-14 |
| philos/bibliog/bloom2000.html | Notes on Global Brain by Howard Bloom | 2008-04-14 |
| philos/bibliog/carnap47a.html | Notes on: Carnap's Method of Intension and Extension | 2008-04-14 |
| philos/bibliog/carnap63II.html | Notes on: Descriptive and Critical Essays on the Philosophy of Rudolf Carnap | 2008-04-14 |
| philos/bibliog/carnap63IIIIII.html | Language, Modal Logic and Semantics | 2008-04-14 |
| philos/bibliog/conradi2001.htm | notes on - IRIS - The Life of Iris Murdoch | 2006-02-17 |
| philos/bibliog/dawkins1982.html | Notes on The Extended Phenotype | 2008-04-14 |
| philos/bibliog/detlefsen2005.html | Notes on - Formalism | 2008-04-14 |
| philos/bibliog/empiricus1933.html | Notes on: Outlines of Phyrrhonism | 2008-04-14 |
| philos/bibliog/empiricus1933IN.html | Outlines of Pyrrhonism: Introduction | 2008-04-14 |
| philos/bibliog/empiricus1933IN3.html | Outlines of Pyrrhonism: Introduction, part III | 2008-04-14 |
| philos/bibliog/forster92.html | Notes on: Set Theory with a Universal Set | 2008-04-14 |
| philos/bibliog/gellner92.html | Notes on - Reason and Culture by Ernest Gellner | 2008-04-14 |
| philos/bibliog/magee78.html | Notes on - Men of Ideas | 2008-04-14 |
| philos/bibliog/montaigne2003.html | Montaigne: The Complete Works | 2008-04-14 |
| philos/bibliog/popper63b.html | Notes on: The Demarcation between Science and Metaphysics | 2008-04-14 |
| philos/bibliog/russell46.html | Notes on - History of Western Philosophy | 2008-04-14 |
| philos/bibliog/russell46_32.html | Notes on - History of Western Philosophy - Rousseau to the Present Day | 2008-04-14 |
| philos/bibliog/sartre46.html | Notes on - Existentialism & Humanism | 2008-04-14 |
| philos/bibliog/schopenhauer1818.html | Notes on - The World as Will and Idea | 2008-04-14 |
| philos/bibliog/shapiro2005.html | Notes on - The Oxford Handbook of Philosophy of Mathematics and Logic | 2008-04-14 |
| philos/bibliog/shapiro2005b.html | Notes on - The Oxford Handbook of Philosophy of Mathematics and Logic - Ch.1 | 2008-04-14 |
| philos/bibliog/stroll2000.html | Notes on - Twentieth-Century Analytic Philosophy | 2008-04-14 |
| philos/bibliog/tait2005.html | Notes on - The Provenance of Pure Reason | 2008-04-14 |
| philos/bibliog/wiley52.html | Notes on: The Subtle Knot | 2008-04-14 |
| philos/epistem/xep001.html | Synthetic Epistemology | 2008-04-14 |
| philos/history/xh003.html | Leibniz and the Automation of Reason | 2008-04-14 |
| philos/history/xh004.html | Impressions of the Philosophy of Iris Murdoch | 2008-04-14 |
| philos/history/xh006.html | Historical Notes on The Axiomatic Method | 2008-04-14 |
| philos/history/xh007.html | Notes on Isaiah Berlin | 2008-04-14 |
| philos/history/xh008.html | Notes on Berlin on Jean-Jacques Rousseau | 2008-04-14 |
| philos/history/xh009.html | Isaiah Berlin on ... | 2008-04-14 |
| philos/metap/xps000.html | Metaphysics | 2008-04-14 |
| philos/metap/xps001.html | Philosophy, Mind, Brain | 2008-04-14 |
| philos/metap/xps002.html | Space and Time | 2008-04-14 |
| philos/metap/xps003.html | Formal approaches to Metaphysics | 2008-04-14 |
| philos/metap/xps004.html | Metaphysical Ontology | 2008-04-14 |
| philos/metap/xps005.html | Philosophy of Science | 2008-04-14 |
| philos/metap/xps006.html | Philosophy of Engineering | 2008-04-14 |
| philos/politics/xpt001.html | Ideas on Political Philosophy | 2008-04-14 |
| philos/x002.html | Pragmatic Scepticism | 2008-04-14 |
| philos/x010.html | Metaphysical Positivism | 2008-04-14 |
| philos/x011.html | Formal Philosophy | 2008-04-14 |
| philos/x012.html | Open Scepticism | 2008-04-14 |
| philos/x013.html | Philosophy as Art | 2008-04-14 |
| philos/x014.html | Pragmatic Scepticism | 2008-04-14 |
| philos/x015.html | Logic and Emotion | 2008-04-14 |
| philos/x016.html | Logic and Emotion, Rationality and Romanticism | 2008-04-14 |
| philos/x017.html | Rationality and Romanticism | 2008-04-14 |
| philos/x018.html | Positive Philosophy | 2008-04-14 |
| philos/x019.html | RBJones.com | 2008-04-14 |
| philos/x020.html | Naive Philosophy | 2008-04-14 |
| philos/x021.html | Synthetic Philosophy | 2008-04-14 |
| philos/x022.html | Positive Science | 2008-04-14 |
| philos/x023.html | The Essence of Metaphysical Positivism | 2008-04-14 |
| philos/xe001.html | Creative and Utopian Scepticism | 2008-04-14 |
| philos/xp001.html | Existential Positivism | 2008-04-14 |
| rbjcv/rjiab/xiab001.html | Why were you initially drawn into formal methods? | 2008-04-14 |
| rbjcv/rjiab/xiab002.html | A Chronology of Foundational Work | 2008-04-14 |
| rbjcv/rjiab/xiab003.html | Pages on the Automation of Reason and AI | 2008-04-14 |
| science/index.htm | Science | 2008-04-14 |
| science/xs001.html | Notes on Evolution | 2008-04-14 |
| www/xwri002.html | Stream of Consciousness | 2008-04-14 |
| x001.html | RBJones.com | 2008-04-14 |
| x003.html | Positive Philosophy | 2008-04-14 |
| xhp001.html | RBJones.com | 2008-04-14 |
| xt001.html | Home Page History | 2008-04-14 |
| xt002.html | The Stack of Change | 2008-04-14 |
| xt003.html | The Dynamic of RBJones.com | 2008-04-14 |
| xt004.html | New at RBJones.com | 2008-04-14 |
| xtc001.html | Rationality and Romanticism | 2008-04-14 |
| xtc002.html | About Writing | 2008-04-14 |
| file | title | mdate |
|---|---|---|
| cs/ai004.htm | Formalised Mathematics - net links | 2007-07-14 |
| cs/cs011.htm | Implementation of Computation with Reals | 2006-05-28 |
| future/fut000.htm | Factasia netlinks on the Future | 2007-12-28 |
| index.htm | Factasia Quick Index | 2007-05-13 |
| isar/index.html | Index of Isabelle Theories | 2008-04-14 |
| logic/ar001.html | The Automation of Reason | 2008-04-14 |
| logic/foundations/CHandFatness.html | Semantics and CH | 2008-04-14 |
| logic/foundations/LargeCardinalAxioms.html | What is a Large Cardinal Axiom? | 2008-04-14 |
| logic/foundations/NWFSets.html | Non Well-Founded Sets | 2008-04-14 |
| logic/foundations/SetTheories.html | Set Theories | 2008-04-14 |
| logic/log025.htm | MainFrame: Factasia Logic | 2006-04-24 |
| logic/log040.htm | MainFrame: An Introduction to Propositional Logics | 2007-04-23 |
| net000.htm | Factasia - General Net Resources | 2007-04-20 |
| philos/bibliog/b.htm | The Factasia Omniography - B | 2007-08-06 |
| philos/bibliog/c.htm | The Factasia Omniography - C | 2006-01-17 |
| philos/bibliog/carnap34.htm | notes on - "Philosophy and Logical Syntax" | 2007-07-03 |
| philos/bibliog/carnap47.htm | notes on - "Meaning and Necessity" by Rudolf Carnap | 2007-07-09 |
| philos/bibliog/carnap63.htm | notes on - "The Philosophy of Rudolf Carnap" | 2007-07-06 |
| philos/bibliog/d.htm | The Factasia Omniography - D | 2007-02-11 |
| philos/bibliog/dawkin89.htm | notes on The Selfish Gene | 2007-01-28 |
| philos/bibliog/e.htm | The Factasia Omniography - E | 2007-02-01 |
| philos/bibliog/f.htm | The Factasia Omniography - F | 2007-02-08 |
| philos/bibliog/g.htm | The Factasia Omniography - G | 2007-02-10 |
| philos/bibliog/gelln59.htm | notes by RBJ on: Words and Things; by Ernest Gellner | 2006-03-12 |
| philos/bibliog/hack96b1.htm | IndexFrame: Notes on - Wittgenstein's Place in 20th Century Analytic Philosophy | 2007-01-06 |
| philos/bibliog/hack96b2.htm | MainFrame: Notes on - Wittgenstein's Place in 20th Century Analytic Philosophy | 2007-01-06 |
| philos/bibliog/kolakowski1972.htm | notes on - "Positivist Philosophy" | 2007-02-06 |
| philos/bibliog/leibniz001.html | Quotations from the Writings of Gottfried Wilhelm Leibniz | 2008-04-14 |
| philos/bibliog/m.htm | The Factasia Omniography - M | 2007-02-19 |
| philos/bibliog/p.htm | The Factasia Omniography - P | 2007-07-05 |
| philos/bibliog/r.htm | The Factasia Omniography - R | 2006-03-15 |
| philos/bibliog/s.htm | The Factasia Omniography - S | 2007-01-12 |
| philos/bibliog/t.htm | The Factasia Omniography - T | 2006-04-18 |
| philos/bibliog/w.htm | The Factasia Omniography - W | 2007-01-29 |
| philos/classics/leibniz/monglos.htm | Leibniz - Monadology - Glossary | 2007-01-15 |
| philos/glossary/a.htm | The Factasia Glossary - A | 2007-02-01 |
| philos/glossary/h.htm | The Factasia Glossary - H | 2006-05-02 |
| philos/glossary/l.htm | The Factasia Glossary - L | 2007-01-06 |
| philos/glossary/p.htm | The Factasia Glossary - P | 2006-05-07 |
| philos/history/his001.htm | Chronological List of "Western" Philosophers | 2007-03-15 |
| philos/history/index.htm | History of Philosophy | 2008-04-14 |
| philos/history/rcl002.htm | MainFrame: The Life of Rudolf Carnap | 2007-06-30 |
| philos/history/rcp002.htm | MainFrame: The Philosophy of Rudolf Carnap | 2007-07-06 |
| philos/history/rcp003.htm | Rudolf Carnap | 2007-06-30 |
| philos/history/rcp004.htm | IndexFrame: Rudolf Carnap | 2007-06-30 |
| philos/history/rcp005.htm | MainFrame: Rudolf Carnap | 2007-06-30 |
| philos/history/xh001.html | Notes on the History of Positivist Philosophy | 2008-04-14 |
| philos/history/xh002.html | Historical notes on Scepticism | 2008-04-14 |
| philos/history/xh005.html | Truth in a Structure | 2008-04-14 |
| philos/inter015.htm | The Factasia Philosophy Resource Hub | 2007-05-12 |
| philos/maths/faq025.htm | MainFrame: The Foundations of Mathematics | 2007-08-20 |
| philos/metap/index.htm | Metaphysics and Philosophy of Science and Engineering | 2008-04-14 |
| philos/pos005.htm | MainFrame: Philosophy | 2006-03-13 |
| philos/x001.html | An Introduction to Metaphysical Positivism | 2008-04-14 |
| philos/x003.html | Metaphysical and Logical Positivism Compared | 2008-04-14 |
| philos/x004.html | The Automation of Reason - Some History | 2008-04-14 |
| philos/x005.html | X-Logic | 2008-04-14 |
| philos/x006.html | Positive Metaphysics | 2008-04-14 |
| philos/x007.html | First Philosophy | 2008-04-14 |
| philos/x008.html | Philosophical Language | 2008-04-14 |
| philos/x009.html | Analytic Metaphysics | 2008-04-14 |
| pp/WfRec.html | Well-Founded Recursion | 2008-04-14 |
| pp/WfRecp.html | Recursion Theorem for Well-Founded Relations as Properties | 2008-04-14 |
| pp/WfRel.html | Transitive and Well-Founded Relations | 2008-04-14 |
| pp/doc/index.html | Work with ProofPower in LaTeX/PDF | 2008-04-14 |
| pp/doc/tp000.html | Some Presentations | 2008-04-14 |
| pp/gst/ctf.html | Category Theoretic Foundation Systems | 2008-04-14 |
| pp/gst/gst-miscellany.html | Miscellaneous work using gst. | 2008-04-14 |
| pp/gst/index.html | Galactic Set Theory and applications | 2008-04-14 |
| pp/gst/pcf-axioms.html | Axioms for Pure Categories and Functors. | 2008-04-14 |
| pp/gst/pcf-defns.html | Definitions of pure categories and functors. | 2008-04-14 |
| pp/gst/xl-metamod1.html | A Too-Simple Model of X-Logic | 2008-04-14 |
| pp/index.html | ProofPower and its use at RBJones.com | 2008-04-14 |
| pp/pp-smlxtras.html | Extra sml procedures for ProofPower | 2008-04-14 |
| pp/pptheories.html | Listings of some theories built into ProofPower | 2008-04-14 |
| pp/pure_categories.html | A Theory of Pure Categories | 2008-04-14 |
| pp/rda001.html | 39 famous theorems in ProofPower | 2008-04-14 |
| pp/strong_infinity.html | A strong axiom of infinity for HOL | 2008-04-14 |
| pp/x001.html | A theory of fixed points | 2008-04-14 |
| pp/x002.html | Transitive and Well-Founded Relations as Properties | 2008-04-14 |
| pp/x003.html | Analyticity and Deduction | 2008-04-14 |
| pp/x004.html | Well-Foundedness and Recursion | 2008-04-14 |
| pp/x005.html | ProofPower | 2008-04-14 |
| rbj.htm | Roger Bishop Jones | 2006-04-12 |
| values/val006.htm | Dimensions of Anarchy | 2007-02-07 |
| www/books/index.htm | Books | 2007-01-22 |
| www/column/index.htm | The Factasy Column | 2006-05-28 |
| www/column/s060503.html | Factasia Seminal 2006-05-03 | 2008-04-14 |
| www/column/s060510.html | Factasia Seminal 2006-05 | 2008-04-14 |
| www/index.htm | Writing | 2008-04-14 |
| www/papers/index.html | Index of Essays | 2008-04-14 |
| www/www002.htm | Tools and Techniques used to develop the RBJones.com web site | 2007-07-29 |
| www/xwri001.html | About Writing | 2008-04-14 |
| x002.html | The Automation of Reason | 2008-04-14 |
©