The Building of Mind
or
Software that Thinks

A. Preliminaries
   Where to Start (started)
     philosophy
     logic
     computers
   Background Bibliography (started)


B. Building an Individual
   Preface (done) 
   1. Introduction
      What's the Different 
      History and Motivation
      A Finitist Understanding of Reasoning
   2. Building a Thinker
      Building a Mind
        a) Knowledge Systems 
        b) The Minimal Head
      Building an Individual
        a) Individuals 
           Boundries, Behavior and Physics (async programs)
        b) Implementing an Individual
      Conversation - Listening and Speaking
        Talking about Things
        Talking about Reasoning
        Talking about Doing Things (Computation/Action)
C. The theory - Using Computation
   Introduction - The Smarts/Mind
   1) NEWFOL
      NEWFOL: the Logic 
      From Logic to NEWFOL 
      From English to NEWFOL 
      Formalized as a NEWFOL context 
      Historical References
        FOL Manual 1974
        SAIL FOL Manual
        Prolegomena (the CS technical Report)
        Contexts - 1997 
   2) Objects
      The Theory of types
      Formalized as a NEWFOL context 
      Historical References
         IBML2011.doc
         IBML new semantics
      Formalizing Types
      The Theory of IBML
   3) Activites
      Computation Systems
      Formalized as a NEWFOL context 
      Historical References
        Computation Systems 
        Formalizing Restartable Computations
   4) The Body
      Introduction - The Body
D. an implementation by IBUKI
   propritary documents accessable with permission
   IBUKI Toolkit
     IBUKI Data
   IBML - type theory
     Getting Started with Types
     IBML Manual
     IBML Examples
     Historical References
       IBCLsyntax003.html - old
   SEUS - a computation theory with restartable computations
     Getting Started with SEUS
     SEUS Manual
     SEUS Examples
   NEWFOL - a logic based problem solving architecture - three parts
     NEWFOL - the problem solving architecture
       Getting Started With NEWFOL
       NEWFOL Manual
       NEWFOL Examples
     [context] builder and tester - product
       based on NEWFOL Lite - perhaps open access
       with full NEWFOL 
     runtime or use in apps and agents - product
       Common Lisp Library
       Python Library
     Historical References
       FOL Manual 1974
       SAIL FOL Manual
       Prolegomena to a Theory of Formal Reasoning