Category Archives: Logic

Sign Relations, Triadic Relations, Relations • 10

Posted on August 15, 2018 by Jon Awbrey

Re: Ontolog Forum • Ravi Sharma The words predicate, proposition, relation, and so on are affected by many variations in usage.  Some of their uses are associated with philosophical habits unlikely to change any time soon.  But there are a … 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 , , , , , , , , , , , , , , | 14 Comments

Sign Relations, Triadic Relations, Relations • 9

Posted on August 14, 2018 by Jon Awbrey

Re: Ontolog Forum • Ronald Stamper Concrete examples are very instructive in this arena, and when it comes to refutations a single counter-example serves to puncture many a fallacious general proposition. Here’s a couple of articles, illustrated with concrete examples of … 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 , , , , , , , , , , , , , , | 14 Comments

Inquiry Driven Systems • Comment 4

Posted on August 12, 2018 by Jon Awbrey

Re: Ontolog Forum • Matthew West In the systems approach to inquiry I’ve been pursuing, all specifications, state descriptions, or values of variables come in three modalities:  expected, intended, and actually observed. A difference between expectation and observation is accounted … 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 , , , , , , , , , , , , , , | 8 Comments

Sign Relations, Triadic Relations, Relations • 8

Posted on July 6, 2018 by Jon Awbrey

Re: Ontolog Forum • Ferenc Kovacs Our thoughts live in natural and artificial languages the way fish swim in natural and artificial bodies of water. One of the lessons most strikingly impressed on me by my first‑year physics course and … 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 , , , , , , , , , , , , , , | 16 Comments

Inquiry Driven Systems • Comment 3

Posted on July 2, 2018 by Jon Awbrey

Re: Ontolog Forum • Michael DeBellis I remember Doug Medin from the year I was at Illinois and I recall a colloquium talk Frank Keil gave at Michigan State which intrigued me because he echoed ideas from Kant about the … 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 , , , , , , , , , , , , , , | 8 Comments

Sign Relations, Triadic Relations, Relations • 7

Posted on June 29, 2018 by Jon Awbrey

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 , , , , , , , , , , , , , , | 16 Comments

Theme One Program • Discussion 4

Posted on June 28, 2018 by Jon Awbrey

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 , , , , , , , , , , , , , , , , , , , , , , , , , , | 6 Comments

Theme One Program • Discussion 3

Posted on June 26, 2018 by Jon Awbrey

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 , , , , , , , , , , , , , , , , , , , , , , , , , , | 6 Comments

Sign Relations, Triadic Relations, Relations • 6

Posted on June 23, 2018 by Jon Awbrey

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 , , , , , , , , , , , , , , | 16 Comments

Sign Relations, Triadic Relations, Relations • 5

Posted on June 21, 2018 by Jon Awbrey

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 , , , , , , , , , , , , , , | 18 Comments