Monthly Archives: October 2024

Differential Logic • 2

Cactus Language for Propositional Logic The development of differential logic is facilitated by having a moderately efficient calculus in place at the level of boolean-valued functions and elementary logical propositions.  One very efficient calculus on both conceptual and computational grounds … Continue reading

Posted in Amphecks, Animata, Boolean Algebra, Boolean Functions, C.S. Peirce, Cactus Graphs, Change, Cybernetics, Differential Calculus, Differential Logic, Discrete Dynamics, Equational Inference, Functional Logic, Gradient Descent, Graph Theory, Inquiry Driven Systems, Logic, Logical Graphs, Mathematics, Minimal Negation Operators, Propositional Calculus, Time, Zeroth Order Logic | Tagged , , , , , , , , , , , , , , , , , , , , , , | 4 Comments

Differential Logic • 1

Introduction Differential logic is the component of logic whose object is the description of variation — focusing on the aspects of change, difference, distribution, and diversity — in universes of discourse subject to logical description.  A definition that broad naturally … Continue reading

Posted in Amphecks, Animata, Boolean Algebra, Boolean Functions, C.S. Peirce, Cactus Graphs, Change, Cybernetics, Differential Calculus, Differential Logic, Discrete Dynamics, Equational Inference, Functional Logic, Gradient Descent, Graph Theory, Inquiry Driven Systems, Logic, Logical Graphs, Mathematics, Minimal Negation Operators, Propositional Calculus, Time, Zeroth Order Logic | Tagged , , , , , , , , , , , , , , , , , , , , , , | 4 Comments

Information = Comprehension × Extension • Comment 7

Let’s stay with Peirce’s example of inductive inference a little longer and try to clear up the more troublesome confusions tending to arise. Figure 2 shows the implication ordering of logical terms in the form of a lattice diagram. Figure … Continue reading

Posted in Abduction, C.S. Peirce, Comprehension, Deduction, Extension, Hypothesis, Icon Index Symbol, Induction, Inference, Information = Comprehension × Extension, Inquiry, Intension, Logic, Peirce's Categories, Pragmatic Semiotic Information, Pragmatism, Scientific Method, Semiotics, Sign Relations | Tagged , , , , , , , , , , , , , , , , , , | 3 Comments

Information = Comprehension × Extension • Comment 6

Re: Information = Comprehension × Extension • Comment 2 Returning to Peirce’s example of inductive inference, let’s try to get a clearer picture of why he connects it with disjunctive terms and indicial signs.  At this point in time I … Continue reading

Posted in Abduction, C.S. Peirce, Comprehension, Deduction, Extension, Hypothesis, Icon Index Symbol, Induction, Inference, Information = Comprehension × Extension, Inquiry, Intension, Logic, Peirce's Categories, Pragmatic Semiotic Information, Pragmatism, Scientific Method, Semiotics, Sign Relations | Tagged , , , , , , , , , , , , , , , , , , | 4 Comments

Information = Comprehension × Extension • Comment 5

Let’s stay with Peirce’s example of abductive inference a little longer and try to clear up the more troublesome confusions tending to arise. Figure 1 shows the implication ordering of logical terms in the form of a lattice diagram. Figure … Continue reading

Posted in Abduction, C.S. Peirce, Comprehension, Deduction, Extension, Hypothesis, Icon Index Symbol, Induction, Inference, Information = Comprehension × Extension, Inquiry, Intension, Logic, Peirce's Categories, Pragmatic Semiotic Information, Pragmatism, Scientific Method, Semiotics, Sign Relations | Tagged , , , , , , , , , , , , , , , , , , | 4 Comments

Information = Comprehension × Extension • Comment 4

Re: Information = Comprehension × Extension • Comment 3 Many things still puzzle me about Peirce’s account at this point.  The question marks I added to the Figures of the previous post indicate the node labels I have remaining doubts … Continue reading

Posted in Abduction, C.S. Peirce, Comprehension, Deduction, Extension, Hypothesis, Icon Index Symbol, Induction, Inference, Information = Comprehension × Extension, Inquiry, Intension, Logic, Peirce's Categories, Pragmatic Semiotic Information, Pragmatism, Scientific Method, Semiotics, Sign Relations | Tagged , , , , , , , , , , , , , , , , , , | 4 Comments

Information = Comprehension × Extension • Comment 3

Peirce identifies inference with a process he describes as symbolization.  Let us consider what that might imply. I am going, next, to show that inference is symbolization and that the puzzle of the validity of scientific inference lies merely in … Continue reading

Posted in Abduction, C.S. Peirce, Comprehension, Deduction, Extension, Hypothesis, Icon Index Symbol, Induction, Inference, Information = Comprehension × Extension, Inquiry, Intension, Logic, Peirce's Categories, Pragmatic Semiotic Information, Pragmatism, Scientific Method, Semiotics, Sign Relations | Tagged , , , , , , , , , , , , , , , , , , | 5 Comments

Information = Comprehension × Extension • Comment 2

Let’s examine Peirce’s second example of a disjunctive term — neat, swine, sheep, deer — within the style of lattice framework we used before. Hence if we find out that neat are herbivorous, swine are herbivorous, sheep are herbivorous, and … Continue reading

Posted in Abduction, C.S. Peirce, Comprehension, Deduction, Extension, Hypothesis, Icon Index Symbol, Induction, Inference, Information = Comprehension × Extension, Inquiry, Intension, Logic, Peirce's Categories, Pragmatic Semiotic Information, Pragmatism, Scientific Method, Semiotics, Sign Relations | Tagged , , , , , , , , , , , , , , , , , , | 5 Comments

Information = Comprehension × Extension • Comment 1

Selection 1 ends with Peirce drawing the following conclusion about the links between information, comprehension, inference, and symbolization. Thus information measures the superfluous comprehension.  And, hence, whenever we make a symbol to express any thing or any attribute we cannot … Continue reading

Posted in Abduction, C.S. Peirce, Comprehension, Deduction, Extension, Hypothesis, Icon Index Symbol, Induction, Inference, Information = Comprehension × Extension, Inquiry, Intension, Logic, Peirce's Categories, Pragmatic Semiotic Information, Pragmatism, Scientific Method, Semiotics, Sign Relations | Tagged , , , , , , , , , , , , , , , , , , | 4 Comments

Information = Comprehension × Extension • Selection 6

Selection 1 opens with Peirce proposing, “The information of a term is the measure of its superfluous comprehension”, and it closes with his offering the following promise. I am going, next, to show that inference is symbolization and that the … Continue reading

Posted in Abduction, C.S. Peirce, Comprehension, Deduction, Extension, Hypothesis, Icon Index Symbol, Induction, Inference, Information = Comprehension × Extension, Inquiry, Intension, Logic, Peirce's Categories, Pragmatic Semiotic Information, Pragmatism, Scientific Method, Semiotics, Sign Relations | Tagged , , , , , , , , , , , , , , , , , , | 3 Comments