Monthly Archives: July 2023

Survey of Relation Theory • 7

Posted on July 26, 2023 by Jon Awbrey

In the present Survey of blog and wiki resources for Relation Theory, relations are viewed from the perspective of combinatorics, in other words, as a topic in discrete mathematics, with special attention to finite structures and concrete set‑theoretic constructions, many … Continue reading →

Posted in Algebra, Algebra of Logic, C.S. Peirce, Category Theory, Combinatorics, Discrete Mathematics, Duality, Dyadic Relations, Foundations of Mathematics, Graph Theory, Logic, Logic of Relatives, Mathematics, Peirce, Relation Theory, Semiotics, Set Theory, Sign Relational Manifolds, Sign Relations, Surveys, Triadic Relations, Triadicity, Type Theory | Tagged , , , , , , , , , , , , , , , , , , , , , , | Leave a comment

Survey of Pragmatic Semiotic Information • 7

Posted on July 23, 2023 by Jon Awbrey

This is a Survey of blog and wiki posts on a theory of information which grows out of pragmatic semiotic ideas.  All my projects are exploratory in character but this line of inquiry is more open‑ended than most.  The question … Continue reading →

Posted in Abduction, C.S. Peirce, Communication, Control, Cybernetics, Deduction, Determination, Discovery, Doubt, Epistemology, Fixation of Belief, Induction, Information, Information = Comprehension × Extension, Information Theory, Inquiry, Inquiry Driven Systems, Inquiry Into Inquiry, Interpretation, Invention, Knowledge, Learning Theory, Logic, Logic of Relatives, Logic of Science, Mathematics, Peirce, Philosophy, Philosophy of Science, Pragmatic Information, Probable Reasoning, Process Thinking, Relation Theory, Scientific Inquiry, Scientific Method, Semeiosis, Semiosis, Semiotic Information, Semiotics, Sign Relational Manifolds, Sign Relations, Surveys, Triadic Relations, Uncertainty | Tagged , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , | 3 Comments

Pragmatic Semiotic Information • Ψ

Posted on July 22, 2023 by Jon Awbrey

I remember it was back in ’76 when I began to notice a subtle shift of focus in the computer science journals I was reading, from discussing X to discussing Information About X, a transformation I noted mentally as whenever … Continue reading →

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

Functional Logic • Inquiry and Analogy • 21

Posted on July 19, 2023 by Jon Awbrey

Inquiry and Analogy • Generalized Umpire Operators To get a better handle on the space of higher order propositions and continue developing our functional approach to quantification theory, we’ll need a number of specialized tools.  To begin, we define a … Continue reading →

Posted in Abduction, Analogy, Argument, Aristotle, C.S. Peirce, Constraint, Deduction, Determination, Diagrammatic Reasoning, Diagrams, Differential Logic, Functional Logic, Hypothesis, Indication, Induction, Inference, Information, Inquiry, Logic, Logic of Science, Mathematics, Pragmatic Semiotic Information, Probable Reasoning, Propositional Calculus, Propositions, Reasoning, Retroduction, Semiotics, Sign Relations, Syllogism, Triadic Relations, Visualization | Tagged , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , | 2 Comments

Functional Logic • Inquiry and Analogy • 20

Posted on July 18, 2023 by Jon Awbrey

Inquiry and Analogy • Application of Higher Order Propositions to Quantification Theory Table 21 provides a thumbnail sketch of the relationships discussed in this section. Resources Logic Syllabus Boolean Function Boolean-Valued Function Logical Conjunction Minimal Negation Operator Introduction to Inquiry … Continue reading →

Posted in Abduction, Analogy, Argument, Aristotle, C.S. Peirce, Constraint, Deduction, Determination, Diagrammatic Reasoning, Diagrams, Differential Logic, Functional Logic, Hypothesis, Indication, Induction, Inference, Information, Inquiry, Logic, Logic of Science, Mathematics, Pragmatic Semiotic Information, Probable Reasoning, Propositional Calculus, Propositions, Reasoning, Retroduction, Semiotics, Sign Relations, Syllogism, Triadic Relations, Visualization | Tagged , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , | 2 Comments

Functional Logic • Inquiry and Analogy • 19

Posted on July 17, 2023 by Jon Awbrey

Inquiry and Analogy • Application of Higher Order Propositions to Quantification Theory Reflection is turning a topic over in various aspects and in various lights so that nothing significant about it shall be overlooked — almost as one might turn … Continue reading →

Posted in Abduction, Analogy, Argument, Aristotle, C.S. Peirce, Constraint, Deduction, Determination, Diagrammatic Reasoning, Diagrams, Differential Logic, Functional Logic, Hypothesis, Indication, Induction, Inference, Information, Inquiry, Logic, Logic of Science, Mathematics, Pragmatic Semiotic Information, Probable Reasoning, Propositional Calculus, Propositions, Reasoning, Retroduction, Semiotics, Sign Relations, Syllogism, Triadic Relations, Visualization | Tagged , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , | 2 Comments

Functional Logic • Inquiry and Analogy • 18

Posted on July 16, 2023 by Jon Awbrey

Inquiry and Analogy • Application of Higher Order Propositions to Quantification Theory Last time we took up a fourfold scheme of quantified propositional forms traditionally known as a “Square of Opposition”, relating it to a quartet of higher order propositions … Continue reading →

Posted in Abduction, Analogy, Argument, Aristotle, C.S. Peirce, Constraint, Deduction, Determination, Diagrammatic Reasoning, Diagrams, Differential Logic, Functional Logic, Hypothesis, Indication, Induction, Inference, Information, Inquiry, Logic, Logic of Science, Mathematics, Pragmatic Semiotic Information, Probable Reasoning, Propositional Calculus, Propositions, Reasoning, Retroduction, Semiotics, Sign Relations, Syllogism, Triadic Relations, Visualization | Tagged , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , | 2 Comments

Functional Logic • Inquiry and Analogy • 17

Posted on July 15, 2023 by Jon Awbrey

Inquiry and Analogy • Application of Higher Order Propositions to Quantification Theory Our excursion into the expanding landscape of higher order propositions has come round to the point where we can begin to open up new perspectives on quantificational logic. … Continue reading →

Posted in Abduction, Analogy, Argument, Aristotle, C.S. Peirce, Constraint, Deduction, Determination, Diagrammatic Reasoning, Diagrams, Differential Logic, Functional Logic, Hypothesis, Indication, Induction, Inference, Information, Inquiry, Logic, Logic of Science, Mathematics, Pragmatic Semiotic Information, Probable Reasoning, Propositional Calculus, Propositions, Reasoning, Retroduction, Semiotics, Sign Relations, Syllogism, Triadic Relations, Visualization | Tagged , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , | 2 Comments

Functional Logic • Inquiry and Analogy • 16

Posted on July 13, 2023 by Jon Awbrey

Inquiry and Analogy • Extending the Existential Interpretation to Quantificational Logic One of the resources we have for this work is a formal calculus based on C.S. Peirce’s logical graphs.  For now we’ll adopt the existential interpretation of that calculus, fixing … Continue reading →

Posted in Abduction, Analogy, Argument, Aristotle, C.S. Peirce, Constraint, Deduction, Determination, Diagrammatic Reasoning, Diagrams, Differential Logic, Functional Logic, Hypothesis, Indication, Induction, Inference, Information, Inquiry, Logic, Logic of Science, Mathematics, Pragmatic Semiotic Information, Probable Reasoning, Propositional Calculus, Propositions, Reasoning, Retroduction, Semiotics, Sign Relations, Syllogism, Triadic Relations, Visualization | Tagged , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , | 2 Comments

Functional Logic • Inquiry and Analogy • 15

Posted on July 12, 2023 by Jon Awbrey

Inquiry and Analogy • Measure for Measure Let us define two families of measures, by means of the following equations: Table 14 shows the value of each on each of the 16 boolean functions   In terms of the implication … Continue reading →

Posted in Abduction, Analogy, Argument, Aristotle, C.S. Peirce, Constraint, Deduction, Determination, Diagrammatic Reasoning, Diagrams, Differential Logic, Functional Logic, Hypothesis, Indication, Induction, Inference, Information, Inquiry, Logic, Logic of Science, Mathematics, Pragmatic Semiotic Information, Probable Reasoning, Propositional Calculus, Propositions, Reasoning, Retroduction, Semiotics, Sign Relations, Syllogism, Triadic Relations, Visualization | Tagged , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , | 2 Comments