Tag Archives: Sign Relations

The Difference That Makes A Difference That Peirce Makes • 19

Re: Peirce List • John Sowa Peirce uses the word “formal” in a sense that gives it normative force.  It is this sense in which he defines logic as formal semiotic. But taking “formal” in a normative sense weighs against John … Continue reading

Posted in C.S. Peirce, Descriptive Science, Fixation of Belief, Formal Systems, Information, Inquiry, Logic, Logic of Relatives, Logic of Science, Logical Graphs, Mathematics, Normative Science, Pragmatic Maxim, Relation Theory, Semiotics, Sign Relations, Triadic Relations, Visualization | Tagged , , , , , , , , , , , , , , , , , | 1 Comment

Ask Meno Questions • Discussion 4

Re: FB | Foundations of Mathematics • Oguzhan Kosar The questions raised under the heading of “Foundations of Mathematics” are generally considered to fall under the “Philosophy of Mathematics”, in particular, critical reflection on the possibility of mathematical knowledge and … Continue reading

Posted in Anamnesis, Arete, C.S. Peirce, Descartes, Education, Epistemology, Eternal Return, Foundations of Mathematics, Infinity, Innate Idea, Inquiry, Inquiry Driven Systems, Inquiry Into Inquiry, Knowledge, Learning, Locke, Logic, Mathematics, Medium = Message, Meno, Peirce, Philosophy of Mathematics, Plato, Pragmata, Pragmatism, Pythagoras, Recollection, Semiotics, Sign Relations, Socrates, Tabula Rasa, Teaching, Triadic Relations, Turing Test, Virtue | Tagged , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , | Leave a comment

Sign Relational Manifolds • Discussion 1

Semiotic Orbits, Manifolds, Arcs The arc of the semiotic universe is long but it bends towards universal harmony. Re: FB | Semiotics, Books, Links, News • What’s at the End of a Chain of Interpretants? Semiotic manifolds, like physical and … Continue reading

Posted in C.S. Peirce, Cybernetics, Differential Geometry, Differential Logic, Geometry, Interoperability, Logic, Manifolds, Mathematics, Riemann, Semiotics, Sign Relational Manifolds, Sign Relations, Triadic Relations, Visualization | Tagged , , , , , , , , , , , , , , | Leave a comment

Charles Sanders Peirce, George Spencer Brown, and Me • 10

With any formal system it is easy to spend a long time roughing out primitives and reviewing first principles before getting on to practical applications, and logical graphs are no different in that respect.  But the promise of clearer and more … Continue reading

Posted in Abstraction, Amphecks, Analogy, Animata, Boolean Algebra, Boolean Functions, C.S. Peirce, Cactus Graphs, Cybernetics, Deduction, Differential Analytic Turing Automata, Differential Logic, Duality, Form, Graph Theory, Inquiry, Inquiry Driven Systems, Laws of Form, Logic, Logical Graphs, Mathematics, Minimal Negation Operators, Model Theory, Proof Theory, Propositional Calculus, Semiotics, Sign Relational Manifolds, Sign Relations, Spencer Brown, Theorem Proving, Time, Topology | Tagged , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , | 6 Comments

Charles Sanders Peirce, George Spencer Brown, and Me • 9

Re: Boundary Logic A wider field of investigation opens up at this point, spanning the diversity of interactions among languages we use, and systems of signs in general, to the thoughts ever streaming through our heads, to the universes we … Continue reading

Posted in Abstraction, Amphecks, Analogy, Animata, Boolean Algebra, Boolean Functions, C.S. Peirce, Cactus Graphs, Cybernetics, Deduction, Differential Logic, Duality, Form, Graph Theory, Inquiry, Inquiry Driven Systems, Laws of Form, Logic, Logical Graphs, Mathematics, Minimal Negation Operators, Model Theory, Peirce, Proof Theory, Propositional Calculus, Semiotics, Sign Relational Manifolds, Sign Relations, Spencer Brown, Theorem Proving, Time, Topology | Tagged , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , | 6 Comments

Charles Sanders Peirce, George Spencer Brown, and Me • 8

Re: Boundary Logic For me, the heart of the matter is “what is the purpose of logic and what is the purpose of mathematics and what is their relationship?” There are semiotic situations which appear to violate the initial conditions … Continue reading

Posted in Abstraction, Amphecks, Analogy, Animata, Boolean Algebra, Boolean Functions, C.S. Peirce, Cactus Graphs, Cybernetics, Deduction, Differential Logic, Duality, Form, Graph Theory, Inquiry, Inquiry Driven Systems, Laws of Form, Logic, Logical Graphs, Mathematics, Minimal Negation Operators, Model Theory, Peirce, Proof Theory, Propositional Calculus, Semiotics, Sign Relational Manifolds, Sign Relations, Spencer Brown, Theorem Proving, Time, Topology | Tagged , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , | 7 Comments

Charles Sanders Peirce, George Spencer Brown, and Me • 7

A statement that implies both and is called a false statement, and anyone can prove anything at all from a false statement, as we all too frequently observe on the political front these days. There is however a reasonable way … Continue reading

Posted in Abstraction, Amphecks, Analogy, Animata, Boolean Algebra, Boolean Functions, C.S. Peirce, Cactus Graphs, Cybernetics, Deduction, Differential Logic, Duality, Form, Graph Theory, Inquiry, Inquiry Driven Systems, Laws of Form, Logic, Logical Graphs, Mathematics, Minimal Negation Operators, Model Theory, Peirce, Proof Theory, Propositional Calculus, Semiotics, Sign Relational Manifolds, Sign Relations, Spencer Brown, Theorem Proving, Time, Topology | Tagged , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , | 6 Comments

Charles Sanders Peirce, George Spencer Brown, and Me • 6

The formal system of logical graphs is defined by a foursome of formal equations, called initials when regarded purely formally, in abstraction from potential interpretations, and called axioms when interpreted as logical equivalences.  There are two arithmetic initials and two … Continue reading

Posted in Abstraction, Amphecks, Analogy, Animata, Boolean Algebra, Boolean Functions, C.S. Peirce, Cactus Graphs, Cybernetics, Deduction, Differential Logic, Duality, Form, Graph Theory, Inquiry, Inquiry Driven Systems, Laws of Form, Logic, Logical Graphs, Mathematics, Minimal Negation Operators, Model Theory, Peirce, Proof Theory, Propositional Calculus, Semiotics, Sign Relational Manifolds, Sign Relations, Spencer Brown, Theorem Proving, Time, Topology | Tagged , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , | 6 Comments

Charles Sanders Peirce, George Spencer Brown, and Me • 5

Here are blog and wiki versions of an article I wrote on Peirce’s Law, an axiom or theorem (depending on your choice of logical basis) which distinguishes classical from intuitionistic propositional calculus.  Aside from its pivotal logical status it affords … Continue reading

Posted in Abstraction, Amphecks, Analogy, Animata, Boolean Algebra, Boolean Functions, C.S. Peirce, Cactus Graphs, Cybernetics, Deduction, Differential Logic, Duality, Form, Graph Theory, Inquiry, Inquiry Driven Systems, Laws of Form, Logic, Logical Graphs, Mathematics, Minimal Negation Operators, Model Theory, Peirce, Proof Theory, Propositional Calculus, Semiotics, Sign Relational Manifolds, Sign Relations, Spencer Brown, Theorem Proving, Time, Topology | Tagged , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , | 6 Comments

Charles Sanders Peirce, George Spencer Brown, and Me • 4

Two things impacting my studies of Peirce and Spencer Brown over the years were my parallel studies in mathematics and computer science.  In the overlap between those areas came courses in logic, mathematical linguistics, and the theory of formal languages, … Continue reading

Posted in Abstraction, Amphecks, Analogy, Animata, Boolean Algebra, Boolean Functions, C.S. Peirce, Cactus Graphs, Cybernetics, Deduction, Differential Logic, Duality, Form, Graph Theory, Inquiry, Inquiry Driven Systems, Laws of Form, Logic, Logical Graphs, Mathematics, Minimal Negation Operators, Model Theory, Peirce, Proof Theory, Propositional Calculus, Semiotics, Sign Relational Manifolds, Sign Relations, Spencer Brown, Theorem Proving, Time, Topology | Tagged , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , | 6 Comments