Category Archives: Logic

Pragmatic Semiotic Information • Ψ

Posted on August 21, 2018 by Jon Awbrey

I remember it was back in ’76 when I began to notice a subtle shift of focus in the computer science journals I was reading, from discussing X to discussing Information About X, a transformation I noted mentally as whenever … Continue reading →

Posted in Abduction, C.S. Peirce, Comprehension, Deduction, Definition, Determination, Extension, Hypothesis, Icon Index Symbol, Induction, Inference, Information, Information = Comprehension × Extension, Inquiry, Intension, Logic, Logic of Science, Peirce, Pragmatic Semiotic Information, Pragmatism, Scientific Method, Semiotics, Sign Relations | Tagged , , , , , , , , , , , , , , , , , , , , , , | 6 Comments

Inquiry Driven Systems • Comment 5

Posted on August 19, 2018 by Jon Awbrey

Re: Ontolog Forum • Bruce Schuman I would call that the pragmatic semiotic point of view and not find anything shocking in it. One can find earlier foreshadowings — Plato’s Cratylus and the Stoic lekton are often mentioned in this … 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 , , , , , , , , , , , , , , | 9 Comments

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