Monthly Archives: December 2013

Precursors of Category Theory : 2

Thanks to art, instead of seeing one world only, our own, we see that world multiply itself and we have at our disposal as many worlds as there are original artists … ☙ Marcel Proust Precursors of Category Theory When … Continue reading

Posted in Ackermann, Aristotle, C.S. Peirce, Carnap, Category Theory, Hilbert, Kant, Logic, Mathematics, Peirce, Peirce List, Proust, Relation Theory, Saunders Mac Lane, Semiotics, Type Theory | Tagged , , , , , , , , , , , , , , , | 1 Comment

Precursors of Category Theory : 1

A few years back I began a sketch on the Precursors of Category Theory, aiming to trace the continuities of the category concept from Aristotle, thorough Kant and Peirce, Hilbert and Ackermann, to contemporary mathematical use.  Perhaps a few will … Continue reading

Posted in Ackermann, Aristotle, C.S. Peirce, Carnap, Category Theory, Hilbert, Kant, Logic, Mathematics, Peirce, Peirce List, Relation Theory, Saunders Mac Lane, Semiotics, Type Theory | Tagged , , , , , , , , , , , , , , | 5 Comments

Alpha Now, Omega Later : 7

Re: Alpha Now, Omega Later • Theorems From Physics? In a way, the relation between “physics space” and “information space” is one of the topics I address in my work on inquiry driven systems. Here is a pertinent place in … Continue reading

Posted in Artificial Intelligence, Boolean Functions, Cactus Graphs, Computational Complexity, Differential Logic, Inquiry, Inquiry Driven Systems, Laws of Form, Logic, Logical Graphs, Minimal Negation Operators, Peirce, Peirce List, Physics, Propositional Calculus, Semiotics, Sign Relations, Spencer Brown, Systems Theory | Tagged , , , , , , , , , , , , , , , , , , | 1 Comment

Icon, Likeness, Likely Story, Likelihood, Probability : 3

Re: Peirce List Discussion • Phyllis Chiasson A more complete excerpt and the translator’s notes are very helpful here. A probability (εικος) is not the same as a sign (σηµειον).  The former is a generally accepted premiss ;  for that which … Continue reading

Posted in Aristotle, C.S. Peirce, Enthymeme, Icon Index Symbol, Logic, Peirce, Peirce List, Probability, Probable Reasoning, Semiotics, Sign Relations | Tagged , , , , , , , , , , | Leave a comment

Icon, Likeness, Likely Story, Likelihood, Probability : 2

Re: Peirce List Discussion • Phyllis Chiasson I’m still a bit fuzzy on how Aristotle’s account relates to Peirce’s usage, though I’m pretty sure Peirce must have taken Aristotle’s usage into account, but it does seem that Aristotle drew some … Continue reading

Posted in Aristotle, C.S. Peirce, Icon Index Symbol, Logic, Peirce, Peirce List, Probability, Probable Reasoning, Semiotics, Sign Relations | Tagged , , , , , , , , , | Leave a comment

Icon, Likeness, Likely Story, Likelihood, Probability : 1

Re: Peirce List Discussion • Benjamin Udell • Michael Shapiro Here’s a likely locus classicus for “icon” in its logical sense: A probability (εικος) is not the same as a sign (σηµειον).  The former is a generally accepted premiss;  for … Continue reading

Posted in Aristotle, C.S. Peirce, Icon Index Symbol, Logic, Peirce, Peirce List, Probability, Probable Reasoning, Semiotics, Sign Relations | Tagged , , , , , , , , , | 1 Comment

Alpha Now, Omega Later : 6

Re: Alpha Now, Omega Later • Theorems From Physics? • Isomorphism Is Where It’s At In the late 1970s a number of problems in combinatorics and graph theory that I really wanted to know the answers to had driven me … Continue reading

Posted in Boolean Functions, C.S. Peirce, Cactus Graphs, Computational Complexity, Differential Logic, Inquiry, Inquiry Driven Systems, Isomorphism, Laws of Form, Logic, Logical Graphs, Minimal Negation Operators, Peirce, Propositional Calculus, Semiotics, Sign Relations, Spencer Brown, Systems Theory | Tagged , , , , , , , , , , , , , , , , , | 1 Comment