Tag Archives: Inquiry Driven Systems

Theme One Program • Discussion 5

Re: Peirce List • Jerry Chandler JC: This post [Theme One Program • Motivation 1] is so muddled that I gave up on a meaningful scientific interpretation of it. Dear Jerry, Thanks for the response. I heartily agree with the … 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 , , , , , , , , , , , , , | 1 Comment

Theme One Program • Discussion 4

I’ve been going back and looking again at the problems and questions which nudged me into the computational sphere as a way of building our human capacities for inquiry, learning, and reasoning. One critical issue, you might even say bifurcation … 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 , , , , , , , , , , , , , | 1 Comment

Conceptual Barriers • 4

Re: Conceptual Barriers • (1) • (2) • (3) Re: Peirce List • John Sowa • Gary Richmond • Robert Marty Dear Robert, I believe you have pointed to the crux of the matter. When I arrived on the campus … Continue reading

Posted in Artificial Intelligence, C.P. Snow, C.S. Peirce, Conceptual Barriers, Conceptual Integration, Constraint, Indication, Information, Inquiry, Inquiry Driven Systems, Intelligent Systems, Knowledge Representation, Pragmatic Semiotic Information, Scholarship of Integration, Semiotics, Sign Relations, Systems Theory, Two Cultures, Uncertainty | Tagged , , , , , , , , , , , , , , , , , , | Leave a comment

Differential Logic • Discussion 15

Re: Differential Logic • Comment 7 Re: Laws of Form • Lyle Anderson LA: Differentials and partial differentials over the real numbers work because one can pick two real numbers that are arbitrarily close to one another.  The difference between … Continue reading

Posted in Amphecks, Animata, Boolean Algebra, Boolean Functions, C.S. Peirce, Cactus Graphs, Category Theory, Change, Cybernetics, Differential Analytic Turing Automata, Differential Calculus, Differential Logic, Discrete Dynamics, Equational Inference, Frankl Conjecture, Functional Logic, Gradient Descent, Graph Theory, Hologrammautomaton, Indicator Functions, Inquiry Driven Systems, Leibniz, Logic, Logical Graphs, Mathematics, Minimal Negation Operators, Painted Cacti, Peirce, Propositional Calculus, Surveys, Time, Topology, Visualization, Zeroth Order Logic | Tagged , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , | 1 Comment

Differential Logic • Comment 7

Re: John Baez • Cyclic Identity for Partial Derivatives • Maxwell’s Relations (1) (2) (3) Much fun can be had by trying to do differentials and partial differentials over the boolean domain instead of the reals I took a first whack … Continue reading

Posted in Adaptive Systems, Amphecks, Belief Systems, Boole, Boolean Algebra, Boolean Functions, C.S. Peirce, Cactus Graphs, Cybernetics, Differential Logic, Discrete Dynamics, Fixation of Belief, Gradient Descent, Graph Theory, Hill Climbing, Hologrammautomaton, Inquiry, Inquiry Driven Systems, Laws of Form, Leibniz, Logic, Logical Graphs, Mathematics, Minimal Negation Operators, Optimization, Painted Cacti, Peirce, Propositional Calculus, Spencer Brown | Tagged , , , , , , , , , , , , , , , , , , , , , , , , , , , , | Comments Off on Differential Logic • Comment 7

Inquiry Driven Systems • Discussion 9

Re: Laws of Form • Leon Conrad LC: As someone who has worked on, teaches, and uses the CoI [Calculus of Indications] to make classical syllogistic logic much easier to practice and more visually intuitive than any of the visualisations we … Continue reading

Posted in Animata, Artificial Intelligence, C.S. Peirce, Cybernetics, Inquiry, Inquiry Driven Systems, Inquiry Into Inquiry, Intelligent Systems, Learning Systems, Logic, Logical Graphs, Peirce, Semiotics, Sign Relations, Visualization | Tagged , , , , , , , , , , , , , , | 1 Comment

Inquiry Driven Systems • Discussion 8

Re: Category Theory • Simon Burton SB: From what I’ve noticed there are two kinds of mathematical thinking:  manipulating abstract syntax, versus direct experience/perception of concrete mathematics.  These two are intertwined in various ways, but in my experience people generally … Continue reading

Posted in Animata, Artificial Intelligence, C.S. Peirce, Cybernetics, Inquiry, Inquiry Driven Systems, Inquiry Into Inquiry, Intelligent Systems, Learning Systems, Logic, Logical Graphs, Peirce, Semiotics, Sign Relations, Visualization | Tagged , , , , , , , , , , , , , , | 1 Comment

Inquiry Driven Systems • Discussion 7

Re: Category Theory • Henry Story HS: I place Logic within Mathematics and modal logic is a field of Logic, and so of mathematics.  You will find that modal logic comes up a lot working with machines, programs, and all … Continue reading

Posted in Animata, Artificial Intelligence, C.S. Peirce, Cybernetics, Inquiry, Inquiry Driven Systems, Inquiry Into Inquiry, Intelligent Systems, Learning Systems, Logic, Logical Graphs, Peirce, Semiotics, Sign Relations, Visualization | Tagged , , , , , , , , , , , , , , | 1 Comment

Inquiry Driven Systems • Discussion 6

Re: Category Theory • Henry Story HS: If one were to think about maths and children’s education one would need to look at the needs of other subjects too.  It should be easy for people here to work out how … Continue reading

Posted in Animata, Artificial Intelligence, C.S. Peirce, Cybernetics, Inquiry, Inquiry Driven Systems, Inquiry Into Inquiry, Intelligent Systems, Learning Systems, Logic, Logical Graphs, Peirce, Semiotics, Sign Relations, Visualization | Tagged , , , , , , , , , , , , , , | 1 Comment

Inquiry Driven Systems • Discussion 5

Re: Laws of Form • Leon Conrad LC: As someone who has worked on, teaches, and uses the CoI [Calculus of Indications] to make classical syllogistic logic much easier to practice and more visually intuitive than any of the visualisations we … Continue reading

Posted in Animata, Artificial Intelligence, C.S. Peirce, Cybernetics, Inquiry, Inquiry Driven Systems, Inquiry Into Inquiry, Intelligent Systems, Learning Systems, Logic, Logical Graphs, Peirce, Semiotics, Sign Relations, Visualization | Tagged , , , , , , , , , , , , , , | 1 Comment