Category Archives: Propositional Calculus

The Present Is Big With The Future • Comment 2

Re: Facebook Discussion • John Barclay-Morton My interest in this theme of Leibniz goes back to a time when I began exploring generalized measures of determination and qualitative analogues of differential calculus — doctrines of absolute determinism or predestination had … Continue reading

Posted in C.S. Peirce, Determination, Determinism, Differential Calculus, Differential Logic, Hologrammautomaton, Infinitesimals, Leibniz, Logic, Logical Graphs, Mathematics, Peirce, Propositional Calculus, Universal Harmony | Tagged , , , , , , , , , , , , , | Leave a comment

The Present Is Big With The Future • Comment 1

Re: Peirce List Discussion • John Sowa Here is a passage from Leibniz where he half encrypts half decrypts the big idea sparking his discovery of the differential calculus. Now that I have proved sufficiently that everything comes to pass … Continue reading

Posted in C.S. Peirce, Determination, Determinism, Differential Calculus, Differential Logic, Hologrammautomaton, Infinitesimals, Leibniz, Logic, Logical Graphs, Mathematics, Peirce, Propositional Calculus, Universal Harmony | Tagged , , , , , , , , , , , , , | 1 Comment

Animated Logical Graphs : 10

Re: Peirce List Discussion • Charles Pyle Let’s consider Peirce’s logical graphs at the alpha level, the abstract forms of which can be interpreted for propositional logic.  I say “can be interpreted” advisedly because the system of logical graphs itself … Continue reading

Posted in Abstraction, Amphecks, Animata, Automated Research Tools, Boolean Algebra, Boolean Functions, C.S. Peirce, Cactus Graphs, Complementarity, Computational Complexity, Constraint Satisfaction Problems, Diagrammatic Reasoning, Duality, Graph Theory, Interpretation, Laws of Form, Logic, Logical Graphs, Mathematics, Minimal Negation Operators, Model Theory, Painted Cacti, Peirce, Proof Theory, Propositional Calculus, Propositional Equation Reasoning Systems, Semiotics, Spencer Brown, Theorem Proving, Visualization, Zeroth Order Logic | Tagged , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , | 1 Comment

Time, Topology, Differential Logic • 6

Re: Peirce List Discussion • ET • JFS • JA • JBD Let me see if I can get back in the saddle on this topic, the dormitive virtues of tryptophan and a few pounds added notwithstanding. I was addressing … Continue reading

Posted in C.S. Peirce, Change, Differential Logic, Dynamical Systems, Inquiry, Inquiry Driven Systems, Logic, Logical Graphs, Mathematics, Peirce, Propositional Calculus, Semiotics, Systems Theory, Time, Topology | Tagged , , , , , , , , , , , , , , | 2 Comments

Time, Topology, Differential Logic • 5

And the founder, having shod a plough with a brazen ploughshare, and having yoked to it a bull and a cow, himself drove a deep furrow round the boundary lines, while those who followed after him had to turn the … Continue reading

Posted in C.S. Peirce, Change, Differential Logic, Dynamical Systems, Inquiry, Inquiry Driven Systems, Logic, Logical Graphs, Mathematics, Peirce, Propositional Calculus, Semiotics, Systems Theory, Time, Topology | Tagged , , , , , , , , , , , , , , | 2 Comments

Time, Topology, Differential Logic • 4

Re: Peirce List Discussion • JFS • JA JA: Trying to understand inquiry and semiosis in general as temporal processes is one of the things that forced me to develop differential logic as an extension of propositional logic, for which … Continue reading

Posted in C.S. Peirce, Change, Differential Logic, Dynamical Systems, Inquiry, Inquiry Driven Systems, Logic, Logical Graphs, Mathematics, Peirce, Propositional Calculus, Semiotics, Systems Theory, Time, Topology | Tagged , , , , , , , , , , , , , , | 1 Comment

Time, Topology, Differential Logic • 3

Re: Peirce List Discussion • JA Worldly events are interfering with my concentration quite a bit this week, perhaps for days to come, but it does help to immerse myself in work.  I am starting a blog series to follow … Continue reading

Posted in C.S. Peirce, Change, Differential Logic, Dynamical Systems, Inquiry, Inquiry Driven Systems, Logic, Logical Graphs, Mathematics, Peirce, Propositional Calculus, Semiotics, Systems Theory, Time, Topology | Tagged , , , , , , , , , , , , , , | 1 Comment