Tag Archives: Computation

Theme One • A Program Of Inquiry 18

Re: Michael Harris • The Inevitable Questions About Automated Theorem Proving MH:  Even if computers understand, they don’t understand in a human way. I like the simple-mindedness of that. (A simple mind is one with no proper normal submind.) Fifty-plus … 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 , , , , , , , , , , , , , , , , , , , , , , , , , , | 1 Comment

Survey of Theme One Program • 3

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 for integrating empirical learning with logical reasoning.  I … 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 , , , , , , , , , , , , , , , , , , , , , , , , , , | 1 Comment

Abduction, Deduction, Induction, Analogy, Inquiry : 29

Re: Ontolog Forum Questions about Abduction in AI and Computer Science raised in the Ontolog Forum prompted me to look up previous discussions tracing the integral relationship among information, inquiry, and the three types of inference.  Here’s a sample of … Continue reading

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

Abduction, Deduction, Induction, Analogy, Inquiry : 28

Re: Ontolog Forum • Michael DeBellis • Adrian Walker MDB: I’m currently auditing a fascinating seminar at Berkeley on Semiotics and Information Theory.  Mostly we are focusing on C.S. Peirce although we’ve also explored other theories such as Shannon’s Information Theory.  … Continue reading

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

Abduction, Deduction, Induction, Analogy, Inquiry : 27

Re: Gil Kalai • Avi Wigderson : “Integrating Computational Modeling, Algorithms, and Complexity into Theories of Nature Marks a New Scientific Revolution!” I took a look at Avi’s paper “On the Nature of the Theory of Computation” (OtNotToC).  There is … Continue reading

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

Abduction, Deduction, Induction, Analogy, Inquiry : 26

Re: Gil Kalai • Avi Wigderson : “Integrating Computational Modeling, Algorithms, and Complexity into Theories of Nature Marks a New Scientific Revolution!” Projects giving a central place to computation in scientific inquiry go back to Hobbes and Leibniz, at least, … Continue reading

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

Abduction, Deduction, Induction, Analogy, Inquiry : 25

Re: Artem Kaznatcheev • Reductionism : To Computer Science From Philosophy The sense of reduction operative in complexity theory has its roots in Aristotle’s απαγωγη, variously translated as abduction or reduction and sometimes glossed as retroduction by C.S. Peirce.  See my … Continue reading

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

Theme One • A Program Of Inquiry 17

The move is all over but the unpacking, and the time looks ripe to pick up this thread from last spring.  Here, by way of a quick refresher, are a few Tables from earlier discussions. Theme One • A Program … 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 , , , , , , , , , , , , , , , , , , , , , , , , , , | 2 Comments

Theme One Discussion • 3

Re: Ontolog Forum • Systems Science • Structural Modeling Let me step back and talk about the research intention driving this work. In a very real sense everything I’ve been doing along this line of inquiry for the last fifty … Continue reading

Posted in Algorithms, Animata, Artificial Intelligence, Boolean Functions, C.S. Peirce, Cactus Graphs, Computation, Computational Complexity, Cybernetics, Data Structures, Differential Logic, Form, Formal Languages, Graph Theory, Inquiry, Inquiry Driven Systems, Intelligent Systems, Laws of Form, Learning, Logic, Logical Graphs, Mathematics, Minimal Negation Operators, Painted Cacti, Peirce, Pragmatics, Programming, Propositional Calculus, Propositional Equation Reasoning Systems, Reasoning, Semantics, Semiotics, Spencer Brown, Syntax, Theorem Proving | Tagged , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , | Leave a comment

Theme One Discussion • 2

Re: Ontolog Forum • Systems Science • Structural Modeling What I’m doing this summer … Eighteen years living in the same place and we blissfully forgot what it takes to pack up a house and find a new one.  Thankfully … Continue reading

Posted in Algorithms, Animata, Artificial Intelligence, Boolean Functions, C.S. Peirce, Cactus Graphs, Computation, Computational Complexity, Cybernetics, Data Structures, Differential Logic, Form, Formal Languages, Graph Theory, Inquiry, Inquiry Driven Systems, Intelligent Systems, Laws of Form, Learning, Logic, Logical Graphs, Mathematics, Minimal Negation Operators, Painted Cacti, Peirce, Pragmatics, Programming, Propositional Calculus, Propositional Equation Reasoning Systems, Reasoning, Semantics, Semiotics, Spencer Brown, Syntax, Theorem Proving | Tagged , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , | Leave a comment