Category Archives: Computation

Abduction, Deduction, Induction, Analogy, Inquiry • 3

Posted on February 17, 2016 by Jon Awbrey

Re: R.J. Lipton and K.W. Regan • Waves, Hazards, Guesses Aristotle’s apagoge, variously translated as abduction, reduction, or retroduction, is a form of reasoning common to two types of situations. Abduction may involve either of the following two operations. The … Continue reading →

Posted in Abduction, Analogy, Aristotle, Artificial Intelligence, C.S. Peirce, Computation, Computational Complexity, Deduction, Induction, Inquiry, Inquiry Driven Systems, Intelligent Systems, Logic, Problem Solving, Semiotics | Tagged , , , , , , , , , , , , , , | 6 Comments

Problems In Philosophy • 5

Posted on February 10, 2016 by Jon Awbrey

Re: Michael Harris • Are Your Colleagues Zombies? What makes a zombie a legitimate object of philosophical inquiry is its absence of consciousness.  And today’s question is whether mathematical research requires consciousness, or whether it could just as well be … Continue reading →

Posted in Aristotle, Automata, Automated Research Tools, Automation, Cognition, Computation, Consciousness, Freud, Inquiry, Inquiry Driven Systems, Intentionality, Mathematics, Mechanization, Michael Harris, Peirce, Philosophy, Philosophy of Mathematics, Philosophy of Mind, Plato, Psychology, Routinization, Socrates, Sophist, Turing Test | Tagged , , , , , , , , , , , , , , , , , , , , , , , | Leave a comment

Problems In Philosophy • 4

Posted on February 9, 2016 by Jon Awbrey

Re: R.J. Lipton and K.W. Regan • Did Euclid Really Mean ‘Random’? These are the forms of time, which imitates eternity and revolves according to a law of number. Plato • Timaeus • 38 A Benjamin Jowett (trans.) It is … Continue reading →

Posted in Aristotle, Computation, Computer Science, Euclid, Genericity, Geometry, Iconicity, Likelihood, Likely Story, Likeness, Mathematics, Number Theory, Philosophy, Philosophy of Mathematics, Plato, Probability, Socrates | Tagged , , , , , , , , , , , , , , , , | 3 Comments

Problems In Philosophy • 3

Posted on February 8, 2016 by Jon Awbrey

Re: R.D. Mounce Making reality our friend is necessary to survival and finding good descriptions of reality is the better part of doing that, so I don’t imagine we have any less interest in truth than the Ancients.  From what … Continue reading →

Posted in Aesthetics, Computation, Computer Science, Ethics, Heap Problem, Logic, Mathematics, Model Theory, Normative Science, Paradox, Peirce, Philosophy, Pragmatism, Problem Solving, Proof Theory, Sorites | Tagged , , , , , , , , , , , , , , , | Leave a comment

Problems In Philosophy • 1

Posted on February 7, 2016 by Jon Awbrey

Re: R.J. Lipton and K.W. Regan • You Think We Have Problems I used to think about the heap problem a lot when I was programming and I decided the heap quits being a heap as soon as you remove … Continue reading →

Posted in Computation, Computer Science, Heap Problem, Paradox, Philosophy, Sorites | Tagged , , , , , | 1 Comment

Survey of Theme One Program • 1

Posted on May 18, 2015 by Jon Awbrey

This is a Survey of blog and wiki posts relating to the Theme One Program I worked on all through the 1980s.  The aim was to develop fundamental algorithms and data structures to support an integrated learning and reasoning interface, … Continue reading →

Posted in Algorithms, Animata, Artificial Intelligence, Boolean Functions, C.S. Peirce, Cactus Graphs, Cognition, Computation, Constraint Satisfaction Problems, Data Structures, Differential Logic, Equational Inference, Formal Languages, Graph Theory, Inquiry Driven Systems, Laws of Form, Learning Theory, Logic, Logical Graphs, Mathematics, Minimal Negation Operators, Painted Cacti, Peirce, Propositional Calculus, Semiotics, Spencer Brown, Visualization | Tagged , , , , , , , , , , , , , , , , , , , , , , , , , , | Leave a comment

Theme One • A Program Of Inquiry 4

Posted on February 14, 2013 by Jon Awbrey

Re: Next Polymath Project • What, When, Where? Here’s a bit of data on the Theme One Program I worked on all through the 1980s.  My aim was to develop fundamental algorithms and data structures to support an integrated learning … Continue reading →

Posted in Artificial Intelligence, C.S. Peirce, Cognition, Computation, Constraint Satisfaction Problems, Cybernetics, Formal Languages, Inquiry, Inquiry Driven Systems, Intelligent Systems, Learning Theory, Logic, Peirce, Semiotics | Tagged , , , , , , , , , , , , , | 8 Comments

Theme One • A Program Of Inquiry 3

Posted on December 31, 2012 by Jon Awbrey

Re: Peirce List • Gary Richmond The program I wrote for my M.A. in Psych was barely a prototype, a “test of concept”, as they say, but I continued to develop and apply the underlying collection of ideas to a number … Continue reading →

Posted in Artificial Intelligence, C.S. Peirce, Cognition, Computation, Constraint Satisfaction Problems, Cybernetics, Formal Languages, Inquiry, Inquiry Driven Systems, Intelligent Systems, Learning Theory, Logic, Peirce, Semiotics | Tagged , , , , , , , , , , , , , | 8 Comments

Theme One • A Program Of Inquiry 2

Posted on December 21, 2012 by Jon Awbrey

Re: Peirce List • Jerry Chandler I think I was probably the first person in that particular psychology department to submit a program as a master’s thesis, at any rate they didn’t have regular procedures set up for that kind … Continue reading →

Posted in Artificial Intelligence, C.S. Peirce, Cognition, Computation, Constraint Satisfaction Problems, Cybernetics, Formal Languages, Inquiry, Inquiry Driven Systems, Intelligent Systems, Learning Theory, Logic, Peirce, Semiotics | Tagged , , , , , , , , , , , , , | 8 Comments

Theme One • A Program Of Inquiry 1

Posted on December 20, 2012 by Jon Awbrey

Re: Peirce List • Jerry Chandler • Jon Awbrey • Gary Richmond • Christophe Menant I view psychology, throughout its many branches, as a fascinating and compelling collection of subjects, so much so I spent one of my parallel lives … Continue reading →

Posted in Artificial Intelligence, C.S. Peirce, Cognition, Computation, Constraint Satisfaction Problems, Cybernetics, Formal Languages, Inquiry, Inquiry Driven Systems, Intelligent Systems, Learning Theory, Logic, Semiotics, Visualization | Tagged , , , , , , , , , , , , , | 8 Comments