Tag Archives: Semiotics

Theme One • A Program Of Inquiry 18

Re: Michael Harris • The Inevitable Questions About Automated Theorem Proving MH:  Even if computers understand, they don’t understand in a human way. I like the simple-mindedness of that. (A simple mind is one with no proper normal submind.) Fifty-plus … 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

Survey of Theme One Program • 3

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

Mathematical Method • Discussion 7

Re: Ontolog Forum • Alex Shkotin Dear Alex, You raised the following point: AS: One important usage of a sign is as an element of a language, especially a formal one, i.e. with a formal grammar. For context you cited … Continue reading

Posted in Abstraction, C.S. Peirce, Essentialism, Hypostatic Abstraction, Logic, Mathematics, Metaphysics, Method, Nominalism, Ockham, Ockham's Razor, Peirce, Pragmatic Maxim, Pragmatism, Realism, Semiotics, Theory | Tagged , , , , , , , , , , , , , , , , | Leave a comment

Mathematical Method • Discussion 6

Re: Ontolog Forum • Alex Shkotin Dear Alex, Thanks for the very apt segue from Jon Barwise — Modern mathematics might be described as the science of abstract objects, be they real numbers, functions, surfaces, algebraic structures or whatever.  Mathematical … Continue reading

Posted in Abstraction, C.S. Peirce, Essentialism, Hypostatic Abstraction, Logic, Mathematics, Metaphysics, Method, Nominalism, Ockham, Ockham's Razor, Peirce, Pragmatic Maxim, Pragmatism, Realism, Semiotics, Theory | Tagged , , , , , , , , , , , , , , , , | Leave a comment

Mathematical Method • Discussion 5

Re: Ontolog Forum • Paul Tyson Dear Paul, “How We Think” is a topic for the descriptive science of psychology, and its ways are legion beyond definitive or exhaustive description. “How We Ought To Think” if we wish to succeed … Continue reading

Posted in Abstraction, C.S. Peirce, Essentialism, Hypostatic Abstraction, Logic, Mathematics, Metaphysics, Method, Nominalism, Ockham, Ockham's Razor, Peirce, Pragmatic Maxim, Pragmatism, Realism, Semiotics, Theory | Tagged , , , , , , , , , , , , , , , , | Leave a comment

Mathematical Method • Discussion 4

Re: Peirce List • Helmut Raulien Dear Helmut, It’s one of the occupational hazards of the classifying mind that one can start out consciously characterizing aspects of real situations and end up unwittingly thinking one’s gotten everything under the sun sorted … Continue reading

Posted in Abstraction, C.S. Peirce, Essentialism, Hypostatic Abstraction, Logic, Mathematics, Metaphysics, Method, Nominalism, Ockham, Ockham's Razor, Peirce, Pragmatic Maxim, Pragmatism, Realism, Semiotics, Theory | Tagged , , , , , , , , , , , , , , , , | Leave a comment

Mathematical Method • Discussion 3

Re: Peirce List • John Sowa • Auke van Breemen • Jon Awbrey • Gary Fuhrman Dear Gary, Auke van Breemen wrote: AvB: It seems to come down to:  never consider the textual production of a scientist only in itself, … Continue reading

Posted in Abstraction, C.S. Peirce, Essentialism, Hypostatic Abstraction, Logic, Mathematics, Metaphysics, Method, Nominalism, Ockham, Ockham's Razor, Peirce, Pragmatic Maxim, Pragmatism, Realism, Semiotics, Theory | Tagged , , , , , , , , , , , , , , , , | Leave a comment

Mathematical Method • Discussion 2

Re: Peirce List • Auke van Breemen AvB: It seems to come down to:  never consider the textual production of a scientist only in itself, but also look at the reality the text tries to explain. Dear Auke, Exactly! We … Continue reading

Posted in Abstraction, C.S. Peirce, Essentialism, Hypostatic Abstraction, Logic, Mathematics, Metaphysics, Method, Nominalism, Ockham, Ockham's Razor, Peirce, Pragmatic Maxim, Pragmatism, Realism, Semiotics, Theory | Tagged , , , , , , , , , , , , , , , , | 2 Comments

Mathematical Method • Discussion 1

Re: Peirce List • John Sowa Dear John, Thanks for the notice of Carolyn Eisele’s article — it’s always worth reading what she has to say.  We’ve had discussions of Peirce’s distinction between theorematic and corollarial reasoning before and I … Continue reading

Posted in Abstraction, C.S. Peirce, Essentialism, Hypostatic Abstraction, Logic, Mathematics, Metaphysics, Method, Nominalism, Ockham, Ockham's Razor, Peirce, Pragmatic Maxim, Pragmatism, Realism, Semiotics, Theory | Tagged , , , , , , , , , , , , , , , , | Leave a comment

Category Theory • Comment 1

I’m deep in the middle of upgrading my intro to sign relations and I am determined to stick to it this time but there will be a phase when it’s critical to bring category theory to bear on the development.  … Continue reading

Posted in Abstraction, C.S. Peirce, Category Theory, Differential Logic, Graph Theory, Group Theory, Inquiry Driven Systems, Intelligent Systems, Knowledge Representation, Logic, Logical Graphs, Mathematics, Peirce, Peirce's Categories, Research Technology, Scientific Method, Semiotics, Set Theory, Sign Relations, Systems Theory, Triadic Relations | Tagged , , , , , , , , , , , , , , , , , , , , | Leave a comment