Tag Archives: Logic

Differential Propositional Calculus • 2

Cactus Calculus Table 6 outlines a syntax for propositional calculus based on two types of logical connectives, both of variable -ary scope. A bracketed list of propositional expressions in the form indicates exactly one of the propositions is false. A … Continue reading

Posted in Amphecks, Boolean Functions, C.S. Peirce, Cactus Graphs, Category Theory, Change, Computational Complexity, Cybernetics, Differential Analytic Turing Automata, Differential Calculus, Differential Logic, Discrete Dynamics, Dynamical Systems, Equational Inference, Functional Logic, Gradient Descent, Graph Theory, Group Theory, Hologrammautomaton, Indicator Functions, Logic, Logical Graphs, Mathematical Models, Mathematics, Minimal Negation Operators, Painted Cacti, Peirce, Propositional Calculus, Propositional Equation Reasoning Systems, Time, Visualization | Tagged , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , | Leave a comment

Differential Propositional Calculus • 1

A differential propositional calculus is a propositional calculus extended by a set of terms for describing aspects of change and difference, for example, processes taking place in a universe of discourse or transformations mapping a source universe to a target … Continue reading

Posted in Amphecks, Boolean Functions, C.S. Peirce, Cactus Graphs, Category Theory, Change, Computational Complexity, Cybernetics, Differential Analytic Turing Automata, Differential Calculus, Differential Logic, Discrete Dynamics, Dynamical Systems, Equational Inference, Functional Logic, Gradient Descent, Graph Theory, Group Theory, Hologrammautomaton, Indicator Functions, Logic, Logical Graphs, Mathematical Models, Mathematics, Minimal Negation Operators, Painted Cacti, Peirce, Propositional Calculus, Propositional Equation Reasoning Systems, Time, Visualization | Tagged , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , | Leave a comment

Differential Propositional Calculus • Overview

The most fundamental concept in cybernetics is that of “difference”, either that two things are recognisably different or that one thing has changed with time. W. Ross Ashby • An Introduction to Cybernetics Here’s the outline of a sketch I … Continue reading

Posted in Amphecks, Boolean Functions, C.S. Peirce, Cactus Graphs, Category Theory, Change, Computational Complexity, Cybernetics, Differential Analytic Turing Automata, Differential Calculus, Differential Logic, Discrete Dynamics, Dynamical Systems, Equational Inference, Functional Logic, Gradient Descent, Graph Theory, Group Theory, Hologrammautomaton, Indicator Functions, Logic, Logical Graphs, Mathematical Models, Mathematics, Minimal Negation Operators, Painted Cacti, Peirce, Propositional Calculus, Propositional Equation Reasoning Systems, Time, Visualization | Tagged , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , | Leave a comment

Survey of Differential Logic • 2

This is a Survey of previous blog and wiki posts on Differential Logic, material I plan to develop toward a more compact and systematic account. Elements Differential Propositional Calculus Differential Logic • Part 1 • Part 2 • Part 3 … Continue reading

Posted in Amphecks, Animata, Boolean Algebra, Boolean Functions, C.S. Peirce, Cactus Graphs, Category Theory, Change, Cybernetics, Differential Analytic Turing Automata, Differential Calculus, Differential Logic, Discrete Dynamics, Equational Inference, Frankl Conjecture, Functional Logic, Gradient Descent, Graph Theory, Hologrammautomaton, Indicator Functions, Inquiry Driven Systems, Leibniz, Logic, Logical Graphs, Mathematics, Minimal Negation Operators, Painted Cacti, Peirce, Propositional Calculus, Surveys, Time, Topology, Visualization, Zeroth Order Logic | Tagged , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , | Leave a comment

Pragmatic Semiotic Information • Discussion 19

Re: Differential Logic and Dynamic Systems Re: FB | Systems Sciences • Kenneth Lloyd An exchange on Facebook took me back to recent discussions of pragmatic truth and long-running discussions of pragmatic semiotic information.  Just by way of a note … 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 , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , | Leave a comment

Cybernetics • Requisite Variety • Selection 13

Our venture into cybernetics, the study of systems whose time evolution signifies an object, brings us to the point of seeing how pragmatic, semiotic, and systems thinking all have triadic relations at their core. Recall the game between and determined by … Continue reading

Posted in Adaptive Systems, Ashby, C.S. Peirce, Communication, Control, Cybernetics, Evolution, Information, Inquiry Driven Systems, Learning, Logic, Mathematics, Peirce, Purpose, Regulation, Survival, Truth Theory, W. Ross Ashby | Tagged , , , , , , , , , , , , , , , , , | Leave a comment

Cybernetics • Requisite Variety • Selection 12

Ashby now invites us to consider a series of games, beginning as follows. Requisite Variety 11/3.   Play and outcome.  Let us therefore forget all about regulation and simply suppose that we are watching two players, and who are engaged … Continue reading

Posted in Adaptive Systems, Ashby, C.S. Peirce, Communication, Control, Cybernetics, Evolution, Information, Inquiry Driven Systems, Learning, Logic, Mathematics, Peirce, Purpose, Regulation, Survival, Truth Theory, W. Ross Ashby | Tagged , , , , , , , , , , , , , , , , , | Leave a comment