Monthly Archives: June 2018

Sign Relations, Triadic Relations, Relations • 7

Re: Ontolog Forum • Joseph Simpson JS: A binary relation is a set of ordered pairs of the elements of some other set. That is the first definition I learned for binary relations. Slightly more generally, a binary relation is … Continue reading

Posted in C.S. Peirce, Icon Index Symbol, Knowledge Representation, Logic, Logic of Relatives, Mathematics, Ontology, Peirce, Pragmatism, Relation Theory, Semiosis, Semiotics, Sign Relations, Triadic Relations, Triadicity | Tagged , , , , , , , , , , , , , , | 7 Comments

Theme One Program • Discussion 4

Re: Systems Science • Joseph Simpson 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 years falls within … 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 Program • Discussion 3

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 most of the renovation work is done but it’s … 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

Sign Relations, Triadic Relations, Relations • 6

Re: Ontolog Forum • Joseph Simpson Just by way of clarifying and emphasizing a few points — I use the word relation to mean a special type of mathematical object, namely, a designated subset included within a cartesian product of sets. … Continue reading

Posted in C.S. Peirce, Icon Index Symbol, Knowledge Representation, Logic, Logic of Relatives, Mathematics, Ontology, Peirce, Pragmatism, Relation Theory, Semiosis, Semiotics, Sign Relations, Triadic Relations, Triadicity | Tagged , , , , , , , , , , , , , , | 7 Comments

Sign Relations, Triadic Relations, Relations • 5

Re: Ontolog Forum • Ravi Sharma I chose those examples of triadic relations to be as simple as possible without being completely trivial but they already exemplify many features we need to keep in mind in all the more complex … Continue reading

Posted in C.S. Peirce, Icon Index Symbol, Knowledge Representation, Logic, Logic of Relatives, Mathematics, Ontology, Peirce, Pragmatism, Relation Theory, Semiosis, Semiotics, Sign Relations, Triadic Relations, Triadicity | Tagged , , , , , , , , , , , , , , | 9 Comments

Sign Relations, Triadic Relations, Relations • 4

The middle ground between relations in general and the sign relations we need to do logic, inquiry, communication, and so on is occupied by triadic relations, also called ternary or 3-place relations. Triadic relations are some of the most pervasive … Continue reading

Posted in C.S. Peirce, Icon Index Symbol, Knowledge Representation, Logic, Logic of Relatives, Mathematics, Ontology, Peirce, Pragmatism, Relation Theory, Semiosis, Semiotics, Sign Relations, Triadic Relations, Triadicity | Tagged , , , , , , , , , , , , , , | 9 Comments

Sign Relations, Triadic Relations, Relations • 3

At the wide end of the funnel, here’s an introduction to relations in general, focusing on the discrete mathematical variety we find most useful in applications, for example, as background for relational data bases and empirical data. Relation Theory • OEIS Wiki … Continue reading

Posted in C.S. Peirce, Icon Index Symbol, Knowledge Representation, Logic, Logic of Relatives, Mathematics, Ontology, Peirce, Pragmatism, Relation Theory, Semiosis, Semiotics, Sign Relations, Triadic Relations, Triadicity | Tagged , , , , , , , , , , , , , , | 7 Comments

Sign Relations, Triadic Relations, Relations • 2

I always have trouble deciding whether to start with the genus and drive down to the species or else to start with concrete examples and follow Sisyphus up Mt. Abstraction. Soon after I made my 3rd try at grad school, this … Continue reading

Posted in C.S. Peirce, Icon Index Symbol, Knowledge Representation, Logic, Logic of Relatives, Mathematics, Ontology, Peirce, Pragmatism, Relation Theory, Semiosis, Semiotics, Sign Relations, Triadic Relations, Triadicity | Tagged , , , , , , , , , , , , , , | 7 Comments

Theme One Program • Discussion 2

Re: Systems Science • Joseph Simpson Warfield gets it right about the relationship between object languages and metalanguages.  Something about the prefix meta- has contributed to a not uncommon misconception that metalanguages are formalized to a higher degree than the … 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 Program • Exposition 3

Coding Logical Graphs My earliest experiments coding logical graphs as dynamic “pointer” data structures taught me that conceptual and computational efficiencies of a critical sort could be achieved by generalizing their abstract graphs from trees to the variety graph theorists … 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