Monthly Archives: May 2015

Signs Of Signs • 4

Re: Michael Harris • Language About Language But then inevitably I find myself wondering whether a proof assistant, or even a formal system, can make the distinction between “technical” and “fundamental” questions. There seems to be no logical distinction. The … Continue reading

Posted in Aesthetics, Category Theory, Coherentism, Communication, Connotation, Form, Formal Languages, Foundations of Mathematics, Higher Order Propositions, Illusion, Information, Information Theory, Inquiry, Inquiry Into Inquiry, Interpretation, Interpretive Frameworks, Intuition, Language, Logic, Mathematics, Music, Objective Frameworks, Objectivism, Peirce, Philosophy, Philosophy of Mathematics, Pragmata, Pragmatics, Pragmatism, Recursion, Reflection, Riffs and Rotes, Semantics, Semiotics, Set Theory, Sign Relations, Syntax, Translation, Triadic Relations, Type Theory | Tagged , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , | 2 Comments

Signs Of Signs • 3

Re: Michael Harris • Language About Language And if we don’t, who puts us away? One’s answer, or at least one’s initial response to that question will turn on how one feels about formal realities.  As I understand it, reality … Continue reading

Posted in Aesthetics, Category Theory, Coherentism, Communication, Connotation, Form, Formal Languages, Foundations of Mathematics, Higher Order Propositions, Illusion, Information, Information Theory, Inquiry, Inquiry Into Inquiry, Interpretation, Interpretive Frameworks, Intuition, Language, Logic, Mathematics, Objective Frameworks, Objectivism, Peirce, Philosophy, Philosophy of Mathematics, Pragmata, Pragmatics, Pragmatism, Recursion, Reflection, Semantics, Semiotics, Set Theory, Sign Relations, Syntax, Translation, Triadic Relations, Type Theory | Tagged , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , | Leave a comment

Signs Of Signs • 2

Re: Michael Harris • Language About Language I compared mathematics to a “consensual hallucination,” like virtual reality, and I continue to believe that the aim is to get (consensually) to the point where that hallucination is a second nature. I … Continue reading

Posted in Aesthetics, Category Theory, Coherentism, Communication, Connotation, Form, Formal Languages, Foundations of Mathematics, Higher Order Propositions, Illusion, Information, Information Theory, Inquiry, Inquiry Into Inquiry, Interpretation, Interpretive Frameworks, Intuition, Language, Logic, Mathematics, Objective Frameworks, Objectivism, Peirce, Philosophy, Philosophy of Mathematics, Pragmata, Pragmatics, Pragmatism, Recursion, Reflection, Semantics, Semiotics, Set Theory, Sign Relations, Syntax, Translation, Triadic Relations, Type Theory | Tagged , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , | Leave a comment

Signs Of Signs • 1

Re: Michael Harris • Language About Language There is a language and a corresponding literature that approaches logic and mathematics as related species of communication and information gathering, namely, the pragmatic-semiotic tradition passed on to us through the lifelong efforts … Continue reading

Posted in Aesthetics, Category Theory, Coherentism, Communication, Connotation, Form, Formal Languages, Foundations of Mathematics, Higher Order Propositions, Illusion, Information, Information Theory, Inquiry, Inquiry Into Inquiry, Interpretation, Interpretive Frameworks, Intuition, Language, Logic, Mathematics, Objective Frameworks, Objectivism, Peirce, Philosophy, Philosophy of Mathematics, Pragmata, Pragmatics, Pragmatism, Recursion, Reflection, Semantics, Semiotics, Set Theory, Sign Relations, Syntax, Translation, Triadic Relations, Type Theory | Tagged , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , | Leave a comment

Animated Logical Graphs : 9

Re: Ken Regan • The Shapes of Computations The insight that it takes to find a succinct axiom set for a theoretical domain falls under the heading of abductive or retroductive reasoning, a knack as yet refractory to computational attack, … Continue reading

Posted in Amphecks, Animata, Automated Research Tools, Boolean Algebra, Boolean Functions, Cactus Graphs, Computational Complexity, Constraint Satisfaction Problems, Diagrammatic Reasoning, Graph Theory, Inquiry Driven Education, Laws of Form, Logic, Logical Graphs, Mathematics, Minimal Negation Operators, Model Theory, Painted Cacti, Peirce, Proof Theory, Propositional Calculus, Propositional Equation Reasoning Systems, Spencer Brown, Theorem Proving, Visualization | Tagged , , , , , , , , , , , , , , , , , , , , , , , , | 1 Comment

Animated Logical Graphs : 8

Re: Ken Regan • The Shapes of Computations The most striking example of a “Primitive Insight Proof” (PIP❢) known to me is the Dawes–Utting proof of the Double Negation Theorem from the CSP–GSB axioms for propositional logic. There is a … Continue reading

Posted in Amphecks, Animata, Automated Research Tools, Boolean Algebra, Boolean Functions, Cactus Graphs, Computational Complexity, Constraint Satisfaction Problems, Diagrammatic Reasoning, Graph Theory, Inquiry Driven Education, Laws of Form, Logic, Logical Graphs, Mathematics, Minimal Negation Operators, Model Theory, Painted Cacti, Peirce, Proof Theory, Propositional Calculus, Propositional Equation Reasoning Systems, Spencer Brown, Theorem Proving, Visualization | Tagged , , , , , , , , , , , , , , , , , , , , , , , , | 1 Comment

Animated Logical Graphs : 7

Re: Ken Regan • The Shapes of Computations There are several issues of computation shape and proof style that raise their heads already at the logical ground level of boolean functions and propositional calculus.  From what I’ve seen, there are … Continue reading

Posted in Amphecks, Animata, Automated Research Tools, Boolean Algebra, Boolean Functions, Cactus Graphs, Computational Complexity, Constraint Satisfaction Problems, Diagrammatic Reasoning, Graph Theory, Inquiry Driven Education, Laws of Form, Logic, Logical Graphs, Mathematics, Minimal Negation Operators, Model Theory, Painted Cacti, Peirce, Proof Theory, Propositional Calculus, Propositional Equation Reasoning Systems, Spencer Brown, Theorem Proving, Visualization | Tagged , , , , , , , , , , , , , , , , , , , , , , , , | 1 Comment