Category Archives: Visualization

Systems of Interpretation • 3

Re: Peirce List • Mike Bergman • Valentine Daniel The “triskelion” figure in the previous post shows the bare essentials of an elementary sign relation or individual triple   There’s a less skeletal figure Susan Awbrey and I used in … Continue reading

Posted in C.S. Peirce, Diagrammatic Reasoning, Interpretive Frameworks, Logic, Logical Graphs, Objective Frameworks, Relation Theory, Semiotics, Sign Relations, Systems of Interpretation, Triadic Relations, Visualization | Tagged , , , , , , , , , , , | 1 Comment

Systems of Interpretation • 2

Re: Peirce List • Mike Bergman • Valentine Daniel Let’s start as simply as possible.  The following Figure is typical of many I have used to illustrate sign relations from the time I first began studying Peirce’s theory of signs. … Continue reading

Posted in C.S. Peirce, Diagrammatic Reasoning, Interpretive Frameworks, Logic, Logical Graphs, Objective Frameworks, Relation Theory, Semiotics, Sign Relations, Systems of Interpretation, Triadic Relations, Visualization | Tagged , , , , , , , , , , , | 2 Comments

Systems of Interpretation • 1

Re: Peirce List • Mike Bergman • Valentine Daniel Questions have arisen about the different styles of diagrams and figures used to represent triadic sign relations in Peircean semiotics.  What do they mean?  Which style is best?  Among the most … Continue reading

Posted in C.S. Peirce, Diagrammatic Reasoning, Interpretive Frameworks, Logic, Logical Graphs, Objective Frameworks, Relation Theory, Semiotics, Sign Relations, Systems of Interpretation, Triadic Relations, Visualization | Tagged , , , , , , , , , , , | 2 Comments

Survey of Differential Logic • 5

This is a Survey of work in progress on Differential Logic, resources under development toward a more systematic treatment. Differential logic is the component of logic whose object is the description of variation — the aspects of change, difference, distribution, … Continue reading

Posted in Amphecks, Animata, Boolean Algebra, Boolean Functions, C.S. Peirce, Cactus Graphs, Category Theory, Change, Cybernetics, Differential Analytic Turing Automata, Differential Calculus, Differential Logic, Discrete Dynamics, Equational Inference, Frankl Conjecture, Functional Logic, Gradient Descent, Graph Theory, Hologrammautomaton, Indicator Functions, Inquiry Driven Systems, Leibniz, Logic, Logical Graphs, Mathematics, Minimal Negation Operators, Painted Cacti, Peirce, Propositional Calculus, Surveys, Time, Topology, Visualization, Zeroth Order Logic | Tagged , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , | Leave a comment

Survey of Inquiry Driven Systems • 5

This is a Survey of work in progress on Inquiry Driven Systems, material I plan to refine toward a more compact and systematic treatment of the subject. An inquiry driven system is a system having among its state variables some … Continue reading

Posted in Abduction, Adaptive Systems, Artificial Intelligence, Automated Research Tools, C.S. Peirce, Cognitive Science, Cybernetics, Deduction, Educational Systems Design, Educational Technology, Fixation of Belief, Induction, Information Theory, Inquiry, Inquiry Driven Systems, Inquiry Into Inquiry, Intelligent Systems, Interpretation, Logic, Logic of Science, Mathematics, Mental Models, Pragmatic Maxim, Semiotics, Sign Relations, Triadic Relations, Visualization | Tagged , , , , , , , , , , , , , , , , , , , , , , , , , , | 6 Comments

Relation Theory • Discussion 5

Re: Survey of Relation Theory Re: Ontolog Forum • Ravi Sharma RS: Is there also an attempt at integrating these relation concepts?  Like a meta‑model of relations? Dear Ravi, I haven’t run across the concept of a meta‑model before so … Continue reading

Posted in Algebra, Algebra of Logic, C.S. Peirce, Category Theory, Combinatorics, Discrete Mathematics, Duality, Dyadic Relations, Foundations of Mathematics, Graph Theory, Logic, Logic of Relatives, Mathematics, Peirce, Relation Theory, Semiotics, Set Theory, Sign Relational Manifolds, Sign Relations, Triadic Relations, Type Theory, Visualization | Tagged , , , , , , , , , , , , , , , , , , , , , | 1 Comment

Relation Theory • Discussion 4

Re: Survey of Relation Theory Re: Ontolog Forum • Ravi Sharma RS: Is there also an attempt at integrating these relation concepts?  Like a meta‑model of relations? Dear Ravi, Thanks for the question.  I believe I’d say yes to the … Continue reading

Posted in Algebra, Algebra of Logic, C.S. Peirce, Category Theory, Combinatorics, Discrete Mathematics, Duality, Dyadic Relations, Foundations of Mathematics, Graph Theory, Logic, Logic of Relatives, Mathematics, Peirce, Relation Theory, Semiotics, Set Theory, Sign Relational Manifolds, Sign Relations, Triadic Relations, Type Theory, Visualization | Tagged , , , , , , , , , , , , , , , , , , , , , | 1 Comment

Theme One Program • Discussion 10

Re: Mathstodon • Seamus Bradley SB: I thought of a programming language where every function can only return one type:  the return type.  The return type is just a wrapper around a struct that contains the actual return value, but … 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 , , , , , , , , , , , , , , , , , , , , , , , , , , | 1 Comment

Survey of Abduction, Deduction, Induction, Analogy, Inquiry • 3

This is a Survey of blog and wiki posts on three elementary forms of inference, as recognized by a logical tradition extending from Aristotle through Charles S. Peirce.  Particular attention is paid to the way these inferential rudiments combine to … Continue reading

Posted in Abduction, Aristotle, C.S. Peirce, Deduction, Dewey, Discovery, Doubt, Fixation of Belief, Functional Logic, Icon Index Symbol, Induction, Inference, Information, Inquiry, Invention, Logic, Logic of Science, Mathematics, Morphism, Paradigmata, Paradigms, Pattern Recognition, Peirce, Philosophy, Pragmatic Maxim, Pragmatism, Scientific Inquiry, Scientific Method, Semiotics, Sign Relations, Surveys, Syllogism, Triadic Relations, Visualization | Tagged , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , | 3 Comments

Survey of Theme One Program • 5

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 for integrating empirical learning with logical reasoning.  I … 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 , , , , , , , , , , , , , , , , , , , , , , , , , , | 4 Comments