Tag Archives: Visualization

Cactus Language • Preliminaries 14

A notation of the form is introduced to indicate a category of grammatical relationships whose sense is suggested by any of the following readings. The form plays a number of roles in the description of formal languages by means of … Continue reading

Posted in Automata, Boolean Algebra, Boolean Functions, C.S. Peirce, Cactus Graphs, Differential Logic, Equational Inference, Formal Grammars, Formal Languages, Graph Theory, Logic, Logical Graphs, Mathematics, Minimal Negation Operators, Painted Cacti, Propositional Calculus, Visualization | Tagged , , , , , , , , , , , , , , , , | 2 Comments

Cactus Language • Preliminaries 13

Consider what effects that might conceivably have practical bearings you conceive the objects of your conception to have.  Then, your conception of those effects is the whole of your conception of the object. Charles S. Peirce • Issues of Pragmaticism … Continue reading

Posted in Automata, Boolean Algebra, Boolean Functions, C.S. Peirce, Cactus Graphs, Differential Logic, Equational Inference, Formal Grammars, Formal Languages, Graph Theory, Logic, Logical Graphs, Mathematics, Minimal Negation Operators, Painted Cacti, Propositional Calculus, Visualization | Tagged , , , , , , , , , , , , , , , , | 2 Comments

Cactus Language • Preliminaries 12

We are engaged in teasing out the consequences of the following description of our subject. The painted cactus language with paints in the set is the formal language defined as follows. Only one thing remains to cast that description of … Continue reading

Posted in Automata, Boolean Algebra, Boolean Functions, C.S. Peirce, Cactus Graphs, Differential Logic, Equational Inference, Formal Grammars, Formal Languages, Graph Theory, Logic, Logical Graphs, Mathematics, Minimal Negation Operators, Painted Cacti, Propositional Calculus, Visualization | Tagged , , , , , , , , , , , , , , , , | 2 Comments

Cactus Language • Preliminaries 11

Given the idea of a Parce on as a member of the cactus language a number of frequently occurring sublanguages and commonly invoked operations on their expressions can now be given succinct definition. A bare Parce, a bit loosely referred … Continue reading

Posted in Automata, Boolean Algebra, Boolean Functions, C.S. Peirce, Cactus Graphs, Differential Logic, Equational Inference, Formal Grammars, Formal Languages, Graph Theory, Logic, Logical Graphs, Mathematics, Minimal Negation Operators, Painted Cacti, Propositional Calculus, Visualization | Tagged , , , , , , , , , , , , , , , , | 2 Comments

Cactus Language • Preliminaries 10

Last time we arrived at the following definition of our subject matter. The painted cactus language with paints in the set is the formal language defined as follows. A sentence of is known as a painted and rooted cactus expression … Continue reading

Posted in Automata, Boolean Algebra, Boolean Functions, C.S. Peirce, Cactus Graphs, Differential Logic, Equational Inference, Formal Grammars, Formal Languages, Graph Theory, Logic, Logical Graphs, Mathematics, Minimal Negation Operators, Painted Cacti, Propositional Calculus, Visualization | Tagged , , , , , , , , , , , , , , , , | 2 Comments

Cactus Language • Discussion 2

Re: Cactus Language • Preliminaries 9 Re: Cactus Language • Discussion 1 Re: Alex Shkotin AS: Interesting language.  It’s unusual to treat “ ” as a sentence.  Usually it is just a separator for other lexemes. Are the following correct? One … Continue reading

Posted in Automata, Boolean Algebra, Boolean Functions, C.S. Peirce, Cactus Graphs, Differential Logic, Equational Inference, Formal Grammars, Formal Languages, Graph Theory, Logic, Logical Graphs, Mathematics, Minimal Negation Operators, Painted Cacti, Propositional Calculus, Visualization | Tagged , , , , , , , , , , , , , , , , | 2 Comments

Cactus Language • Discussion 1

Re: Cactus Language • Preliminaries 9 Re: Cybernetics • Joe Bury JB: What does subcatenation and surcatenation mean?  Their definitions are not found in a dictionary.  I get the formulas you wrote but I don’t understand the meaning. Thanks for … Continue reading

Posted in Automata, Boolean Algebra, Boolean Functions, C.S. Peirce, Cactus Graphs, Differential Logic, Equational Inference, Formal Grammars, Formal Languages, Graph Theory, Logic, Logical Graphs, Mathematics, Minimal Negation Operators, Painted Cacti, Propositional Calculus, Visualization | Tagged , , , , , , , , , , , , , , , , | 3 Comments

Survey of Theme One Program • 7

This is a Survey of resources 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 had earlier developed … Continue reading

Posted in Algorithms, Animata, Artificial Intelligence, Automated Research Tools, Boolean Functions, C.S. Peirce, Cactus Graphs, 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, Propositional Calculus, Propositional Equation Reasoning Systems, Spencer Brown, Visualization | Tagged , , , , , , , , , , , , , , , , , , , , , , , , | 80 Comments

Survey of Semiotics, Semiosis, Sign Relations • 6

C.S. Peirce defines logic as “formal semiotic”, using formal to highlight the place of logic as a normative science, over and above the descriptive study of signs and their role in wider fields of play.  Understanding logic as Peirce understands … Continue reading

Posted in C.S. Peirce, Icon Index Symbol, Inquiry, Logic, Logic of Relatives, Mathematics, Relation Theory, Semiosis, Semiotics, Sign Relations, Triadic Relations, Triadicity, Visualization | Tagged , , , , , , , , , , , , | 32 Comments

Survey of Pragmatic Semiotic Information • 9

This is a Survey of blog and wiki posts on a theory of information which grows out of pragmatic semiotic ideas.  All my projects are exploratory in character but this line of inquiry is more open‑ended than most.  The question … Continue reading

Posted in Abduction, C.S. Peirce, Communication, Control, Cybernetics, Deduction, Determination, Discovery, Doubt, Epistemology, Fixation of Belief, Induction, Information, Information = Comprehension × Extension, Information Theory, Inquiry, Inquiry Driven Systems, Inquiry Into Inquiry, Interpretation, Invention, Knowledge, Learning Theory, Logic, Logic of Relatives, Logic of Science, Mathematics, Philosophy of Science, Pragmatic Information, Probable Reasoning, Process Thinking, Relation Theory, Scientific Inquiry, Scientific Method, Semeiosis, Semiosis, Semiotic Information, Semiotics, Sign Relational Manifolds, Sign Relations, Surveys, Triadic Relations, Uncertainty, Visualization | Tagged , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , | 10 Comments