Category Archives: Formal Languages

Signs Of Signs • 1

Posted on May 27, 2015 by Jon Awbrey

Re: Michael Harris • Language About Language There is a language and a corresponding literature treating logic and mathematics as related species of communication and information gathering, namely, the pragmatic‑semiotic tradition transmitted through the lifelong efforts of C.S. Peirce.  It is … Continue reading →

Posted in Aesthetics, C.S. Peirce, Category Theory, Coherentism, Communication, Connotation, Form, Formal Languages, Foundations of Mathematics, Higher Order Propositions, Illusion, Inquiry, Inquiry Into Inquiry, Interpretation, Interpretive Frameworks, Logic, Mathematics, Objective Frameworks, Objectivism, Pragmatic Semiotic Information, Pragmatics, Pragmatism, Recursion, Reflection, Semantics, Semiotics, Sign Relations, Syntax, Translation, Triadic Relations, Type Theory | 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

Infinite Uses → Finite Means

Posted on April 17, 2013 by Jon Awbrey

The idea that a language is based on a system of rules determining the interpretation of its infinitely many sentences is by no means novel.  Well over a century ago, it was expressed with reasonable clarity by Wilhelm von Humboldt in … Continue reading →

Posted in Automata, Chomsky, Descartes, Finite Means, Formal Grammars, Formal Languages, Foundations of Mathematics, Infinite Use, Innate Ideas, Linguistics, Pigeonhole Principle, Recursion, Syntax, Wilhelm von Humboldt | 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

Ask Meno Questions • Code Meno Code

Posted on February 4, 2013 by Jon Awbrey

Adapted from Prospects for Inquiry Driven Systems The Trees, The Forest A sticking point of the whole discussion has just been reached. In the idyllic setting of a knowledge field the question of systematic inquiry takes on the following form: … Continue reading →

Posted in Algorithms, Artificial Intelligence, Automata, Education, Epistemology, Formal Language Theory, Formal Languages, Inquiry, Inquiry Driven Systems, Intelligent Systems, Learning, Meno, Philosophy, Plato, Programming, Programming Languages, Socrates, Teaching | Tagged , , , , , , , , , , , , , , , , , | 2 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