Tag Archives: Mathematics

Animated Logical Graphs • 15

In George Spencer Brown’s Laws of Form the relation between the primary arithmetic and the primary algebra is founded on the idea that a variable name appearing as an operand in an algebraic expression indicates the contemplated absence or presence … Continue reading →

Posted in Amphecks, Animata, Boolean Algebra, Boolean Functions, C.S. Peirce, Cactus Graphs, Constraint Satisfaction Problems, Deduction, Diagrammatic Reasoning, Duality, Equational Inference, Graph Theory, 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 , , , , , , , , , , , , , , , , , , , , , , , , , | 13 Comments

Animated Logical Graphs • 14

Re: Systems Science • Joseph Simpson One thing I added to the current Survey of Animated Logical Graphs is an earlier report titled “Futures Of Logical Graphs” (FOLG), which takes up a number of difficult issues in more detail than … Continue reading →

Posted in Amphecks, Animata, Boolean Algebra, Boolean Functions, C.S. Peirce, Cactus Graphs, Constraint Satisfaction Problems, Deduction, Diagrammatic Reasoning, Duality, Equational Inference, Graph Theory, 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 , , , , , , , , , , , , , , , , , , , , , , , , , | 13 Comments

Animated Logical Graphs • 13

Cf: Survey of Animated Logical Graphs The blog post linked above updates my Survey of Resources for Animated Logical Graphs.  It contains links to basic expositions and extended discussions of the graphs themselves, deriving from the Alpha Graphs C.S. Peirce used … Continue reading →

Posted in Amphecks, Animata, Boolean Algebra, Boolean Functions, C.S. Peirce, Cactus Graphs, Constraint Satisfaction Problems, Deduction, Diagrammatic Reasoning, Duality, Equational Inference, Graph Theory, 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 , , , , , , , , , , , , , , , , , , , , , , , , , | 9 Comments

Survey of Animated Logical Graphs • 2

This is one of several Survey posts I’ll be drafting from time to time, starting with minimal stubs and collecting links to the better variations on persistent themes I’ve worked on over the years.  After that I’ll look to organizing … Continue reading →

Posted in Abstraction, Amphecks, Animata, Boole, Boolean Algebra, Boolean Functions, C.S. Peirce, Cactus Graphs, Computational Complexity, Constraint Satisfaction Problems, Equational Inference, Graph Theory, Laws of Form, Logic, Logical Graphs, Mathematics, Minimal Negation Operators, Painted Cacti, Peirce, Propositional Calculus, Propositional Equation Reasoning Systems, Spencer Brown, Surveys, Theorem Proving, Visualization, Zeroth Order Logic | Tagged , , , , , , , , , , , , , , , , , , , , , , , , , | 19 Comments

Abductive Inference, Concept Formation, Hypothesis Formation • 1

In pragmatic semiotics, concept formation like hypothesis formation falls under the heading of abductive inference.  A lot has been said and there’s a lot more to say about that, but things are too much in flux right now to allow … Continue reading →

Posted in Abduction, C.S. Peirce, Complexity, Concept Formation, Differential Calculus, Differential Logic, Dyadic Relations, Dynamical Systems, Dynamics, Geometry, Hypothesis Formation, Inference, Logic, Logic of Relatives, Mathematics, Peirce's Categories, Physics, Relation Theory, Semiosis, Semiotics, Sign Relations, Triadic Relations, Triadicity | Tagged , , , , , , , , , , , , , , , , , , , , , , | Leave a comment

Individuality, Identity, Teridentity • 1

Some problems cannot be solved in the paradigms where they first appear, which is why we keep recurring to them without quite freeing ourselves from the loops in which they ensnare us.  Questions about the supposed uniqueness of supposed individuals … Continue reading →

Posted in C.S. Peirce, Doctrine of Individuals, Icon Index Symbol, Identity, Individuality, Individuals, Logic, Logic of Relatives, Logical Atoms, Mathematics, Peirce, Relation Theory, Semiotics, Sign Relations, Teridentity, Triadic Relations | Tagged , , , , , , , , , , , , , , , | Leave a comment

Pragmatic Semiotic Information • Discussion 17

Re: Systems Science • Kent Palmer The best way to get a handle on what Peirce meant by his formula, is to study a suitable sample of critical passages from his Lectures of 1865–1866 on the Logic of Science.  The … Continue reading →

Posted in Abduction, Aristotle, C.S. Peirce, Comprehension, Deduction, Definition, Determination, Extension, Hypothesis, Induction, Inference, Information, Information = Comprehension × Extension, Inquiry, Intension, Intention, Logic, Logic of Science, Mathematics, Measurement, Observation, Peirce, Perception, Phenomenology, Physics, Pragmatic Semiotic Information, Pragmatism, Probability, Quantum Mechanics, Scientific Method, Semiotics, Sign Relations | Tagged , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , | 8 Comments

Pragmatic Semiotic Information • Discussion 16

Re: Systems Science • Kent Palmer As a general rule Peirce avoided in advance many of the problems bedeviling later philosophies of science in the 20th Century.  Doing so came rather naturally to him as he rarely succumbed to the … Continue reading →

Posted in Abduction, Aristotle, C.S. Peirce, Comprehension, Deduction, Definition, Determination, Extension, Hypothesis, Induction, Inference, Information, Information = Comprehension × Extension, Inquiry, Intension, Intention, Logic, Logic of Science, Mathematics, Measurement, Observation, Peirce, Perception, Phenomenology, Physics, Pragmatic Semiotic Information, Pragmatism, Probability, Quantum Mechanics, Scientific Method, Semiotics, Sign Relations | Tagged , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , | 8 Comments

Pragmatic Semiotic Information • Discussion 15

A Comprehensile Tale Here’s a gloss on “comprehension” I copied from Runes some years ago, plus a bit of commentary I added at the time. Comprehension.  The sum of characteristics which connote a class notion symbolized by a general term.  … Continue reading →

Posted in Abduction, Aristotle, C.S. Peirce, Comprehension, Deduction, Definition, Determination, Extension, Hypothesis, Induction, Inference, Information, Information = Comprehension × Extension, Inquiry, Intension, Intention, Logic, Logic of Science, Mathematics, Measurement, Observation, Peirce, Perception, Phenomenology, Physics, Pragmatic Semiotic Information, Pragmatism, Probability, Quantum Mechanics, Scientific Method, Semiotics, Sign Relations | Tagged , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , | 8 Comments

Pragmatic Semiotic Information • Discussion 14

Re: Information = Comprehension × Extension Re: Systems Science • Kent Palmer It may be useful to clear up a couple of technical points about Peirce’s terminology before getting to the main business. Here I’m using extension and intension in … Continue reading →

Posted in Abduction, Aristotle, C.S. Peirce, Comprehension, Deduction, Definition, Determination, Extension, Hypothesis, Induction, Inference, Information, Information = Comprehension × Extension, Inquiry, Intension, Intention, Logic, Logic of Science, Mathematics, Measurement, Observation, Peirce, Perception, Phenomenology, Physics, Pragmatic Semiotic Information, Pragmatism, Probability, Quantum Mechanics, Scientific Method, Semiotics, Sign Relations | Tagged , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , | 8 Comments