Category Archives: Analogy

Abduction, Deduction, Induction, Analogy, Inquiry : 25

Re: Artem Kaznatcheev • Reductionism : To Computer Science From Philosophy The sense of reduction operative in complexity theory has its roots in Aristotle’s απαγωγη, variously translated as abduction or reduction and sometimes glossed as retroduction by C.S. Peirce.  See my … Continue reading

Posted in Abduction, Analogy, Aristotle, Artificial Intelligence, C.S. Peirce, Computation, Computational Complexity, Deduction, Induction, Inquiry, Inquiry Driven Systems, Intelligent Systems, Logic, Peirce, Problem Solving, Semiotics | Tagged , , , , , , , , , , , , , , , | 1 Comment

Where Is Fancy Bred? • Comment 1

Re: Artem Kaznatcheev • Labyrinth : Fitness Landscapes As Mazes, Not Mountains A species in progress, with its naturally evolved organs of sensitivity, effectivity, and discernment, in its trials to learn the properties of its environment, cannot be expected to … Continue reading

Posted in Adaptive Systems, Analogy, Artem Kaznatcheev, Artificial Intelligence, Biological Systems, Communication, Computational Complexity, Control, Evolution, Fitness Landscapes, Imagination, Information, Inquiry, Inquiry Driven Systems, Learning Theory, Mathematical Models, Mental Models, Natural Intelligence, Semiotics, Sign Relations | Tagged , , , , , , , , , , , , , , , , , , , | Leave a comment

Charles Sanders Peirce, George Spencer Brown, and Me • 10

Re: Laws Of Form Discussion With any formal system it is easy to spend a long time roughing out primitives and reviewing first principles before getting on to practical applications, and logical graphs are no different in that respect.  But … Continue reading

Posted in Abstraction, Amphecks, Analogy, Animata, Automated Research Tools, Boolean Algebra, Boolean Functions, C.S. Peirce, Cactus Graphs, Cybernetics, Deduction, Diagrammatic Reasoning, Differential Logic, Duality, Form, Graph Theory, Iconicity, Information Theory, Inquiry, Laws of Form, Logic, Logical Graphs, Mathematics, Model Theory, Painted Cacti, Peirce, Peirce's Law, Pragmatic Maxim, Proof Theory, Propositional Calculus, Semiotics, Sign Relational Manifolds, Spencer Brown, Symbolism, Systems Theory, Theorem Proving, Topology, Visualization, Zeroth Order Logic | Tagged , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , | Leave a comment

Charles Sanders Peirce, George Spencer Brown, and Me • 9

Re: Laws Of Form Discussion • Boundary Logic • RS A wider field of investigation opens up at this point, having to do with the diversity of interactions among the languages we use, and systems of signs in general, to … Continue reading

Posted in Abstraction, Amphecks, Analogy, Animata, Automated Research Tools, Boolean Algebra, Boolean Functions, C.S. Peirce, Cactus Graphs, Cybernetics, Deduction, Diagrammatic Reasoning, Differential Logic, Duality, Form, Graph Theory, Iconicity, Information Theory, Inquiry, Laws of Form, Logic, Logical Graphs, Mathematics, Model Theory, Painted Cacti, Peirce, Peirce's Law, Pragmatic Maxim, Proof Theory, Propositional Calculus, Semiotics, Sign Relational Manifolds, Spencer Brown, Symbolism, Systems Theory, Theorem Proving, Topology, Visualization, Zeroth Order Logic | Tagged , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , | Leave a comment

Charles Sanders Peirce, George Spencer Brown, and Me • 8

Re: Laws Of Form Discussion • Boundary Logic • JW For me, the heart of the matter is what is the purpose of logic and what is the purpose of math and what is their relationship? There are semiotic situations … Continue reading

Posted in Abstraction, Amphecks, Analogy, Animata, Automated Research Tools, Boolean Algebra, Boolean Functions, C.S. Peirce, Cactus Graphs, Cybernetics, Deduction, Diagrammatic Reasoning, Differential Logic, Duality, Form, Graph Theory, Iconicity, Information Theory, Inquiry, Laws of Form, Logic, Logical Graphs, Mathematics, Model Theory, Painted Cacti, Peirce, Peirce's Law, Pragmatic Maxim, Proof Theory, Propositional Calculus, Semiotics, Sign Relational Manifolds, Spencer Brown, Symbolism, Systems Theory, Theorem Proving, Topology, Visualization, Zeroth Order Logic | Tagged , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , | 1 Comment

Charles Sanders Peirce, George Spencer Brown, and Me • 7

Re: Laws Of Form Discussion • Boundary Logic • CB A statement that implies both and is called a false statement, and anyone can prove anything at all from a false statement, as we all too frequently observe on the … Continue reading

Posted in Abstraction, Amphecks, Analogy, Animata, Automated Research Tools, Boolean Algebra, Boolean Functions, C.S. Peirce, Cactus Graphs, Cybernetics, Deduction, Diagrammatic Reasoning, Differential Logic, Duality, Form, Graph Theory, Iconicity, Information Theory, Inquiry, Laws of Form, Logic, Logical Graphs, Mathematics, Model Theory, Painted Cacti, Peirce, Peirce's Law, Pragmatic Maxim, Proof Theory, Propositional Calculus, Semiotics, Sign Relational Manifolds, Spencer Brown, Symbolism, Systems Theory, Theorem Proving, Topology, Visualization, Zeroth Order Logic | Tagged , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , | Leave a comment

Charles Sanders Peirce, George Spencer Brown, and Me • 6

Re: Laws Of Form Discussion • Peirce’s Law • AM • AM The formal system of logical graphs is defined by a foursome of formal equations, called initials when regarded purely formally, in abstraction from potential interpretations, called axioms when … Continue reading

Posted in Abstraction, Amphecks, Analogy, Animata, Automated Research Tools, Boolean Algebra, Boolean Functions, C.S. Peirce, Cactus Graphs, Cybernetics, Deduction, Diagrammatic Reasoning, Differential Logic, Duality, Form, Graph Theory, Iconicity, Information Theory, Inquiry, Laws of Form, Logic, Logical Graphs, Mathematics, Model Theory, Painted Cacti, Peirce, Peirce's Law, Pragmatic Maxim, Proof Theory, Propositional Calculus, Semiotics, Sign Relational Manifolds, Spencer Brown, Symbolism, Systems Theory, Theorem Proving, Topology, Visualization, Zeroth Order Logic | Tagged , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , | Leave a comment