SubThread:
JA:http://permalink.gmane.org/gmane.science.philosophy.peirce/15318
HR:http://permalink.gmane.org/gmane.science.philosophy.peirce/15323
JA:http://permalink.gmane.org/gmane.science.philosophy.peirce/15490
Helmut, List,
Although it's fair to say that most of my university coursework leaned to
the theoretical side of things, I did cobble together a respectable enough
background in computing, statistics, and industrial-organizational styles of
systems and simulation research that most of the work I actually got paid for
later on, aside from teaching, involved getting down and dirty with real world
empirical data, most of it from a wide variety of bio-sciences, health sciences,
and social sciences. These experiences kept practical applications to real
world
scientific inquiry in the forefront of my mind all through the time I developed
my
series of learning and reasoning programs.
As far as concrete examples go, I have a few. The more complex ones tend to
come
from this or that highly specialized research study, and it's been my experience
over the years that applications like that tend to bore everyone to tears but
the very specialists who love that precise sort of data.
So exposition is forced to begin with simple examples, very often falling into
the
class of "toy worlds" problems that AI researchers of old were wont to bandy
about.
You may find a series of examples like that, proceeding from the very simplest
to
the moderately complex, in the User Guide that I wrote up for my Theme One
Program
toward the end of the 1980s.
Theme One Program • User Guide
☞ https://www.academia.edu/5211369/Theme_One_Program_User_Guide
Applications of my program to "Constraint Satisfaction Problems" (CSPs)
are briefly detailed in the following project report from the mid 1990s.
Applications of a Propositional Calculator : Constraint Satisfaction Problems
☞
https://www.academia.edu/4727842/Applications_of_a_Propositional_Calculator_Constraint_Satisfaction_Problems
Regards,
Jon
On 1/25/2015 3:00 PM, Jon Awbrey wrote:
Helmut, List,
I have a little more leisure now to begin the process of climbing back
into the saddle, so let me see where we left off ...
Helmut,
Try looking into that article that I linked:
☞ https://oeis.org/wiki/Logical_Graphs
or
☞ http://intersci.ss.uci.edu/wiki/index.php/Logical_graph
or my first couple of blog posts on Logical Graphs:
☞ http://inquiryintoinquiry.com/2008/07/29/logical-graphs-1/
☞ http://inquiryintoinquiry.com/2008/09/19/logical-graphs-2/
There are literally decades of thought and work that went into those,
and if they do not engage the reader in the excitement of possible
future developments then I would sorely appreciate any feedback
on where and why they fail to do so.
George Spencer Brown is one of the few writers I've run across in the time
since my first encounter with Peirce's logical graphs who truly grasped the
full depth of Peirce's insight into logic, a vision that pierced the veil of
logical interpretations, entitative and existential, to the deep formal unity
between them. That is one of the reasons I've made an effort to treat the two
interpretations in parallel as far as I was able. It is an extremely enticing
research question to me whether that symmetry is necessarily broken as we pass
from propositional to quantificational logic, or whether there is some way it
may or need be maintained.
But that is a question for the future ...
Regards,
Jon
On 1/10/2015 12:19 PM, Helmut Raulien wrote:
Dear Jon, List,
understanding mathematics is very hard for me. I remember, that for
understanding integral and differential calculation, i had to calculate many
exemplaric problems, before I understood, what it is good for, and how it works.
Same with thermodynamics: How does a carnot process work. I mentally have to be
the helium or the air, being compressed or expanded, have to get into it by
examples. Now with this graphs-thing, I am again standing there like an ox
before a mountain. Is there any literature with examples how these graphs can be
applied for one or the other job? I have tried to read the book by Spencer Brown
"Laws of Form". There is very soon a point from which on I cannot follow. He
just does not give enough examples for silly minded people like me. We need
examples. Same with the ten classes of signs. I am still wondering, do these ten
classes only apply to reflection, or also to action- but that would be another
topic. But the discussions in this lists to me seem to show that there is some
deficiency of how to apply theory to practice or to examples. I remember the
example with the wolf smelling a rabbit.
Best, Helmut
*Von:* "Jon Awbrey" <jawb...@att.net>
Peircers,
FYM (For Your Musement) ...
Here are some animations I made up to illustrate several different styles of
proof
in an extended topological variant of Peirce's Alpha Graphs for propositional
logic.
☞ https://oeis.org/wiki/User:Jon_Awbrey/ANIMATION#Proof_Animations
See the following article for a full discussion of this type of logical graph:
☞ https://oeis.org/wiki/Logical_Graphs
Regards,
Jon
--
academia: http://independent.academia.edu/JonAwbrey
my word press blog: http://inquiryintoinquiry.com/
inquiry list: http://stderr.org/pipermail/inquiry/
isw: http://intersci.ss.uci.edu/wiki/index.php/JLA
oeiswiki: http://www.oeis.org/wiki/User:Jon_Awbrey
facebook page: https://www.facebook.com/JonnyCache
-----------------------------
PEIRCE-L subscribers: Click on "Reply List" or "Reply All" to REPLY ON PEIRCE-L
to this message. PEIRCE-L posts should go to peirce-L@list.iupui.edu . To
UNSUBSCRIBE, send a message not to PEIRCE-L but to l...@list.iupui.edu with the
line "UNSubscribe PEIRCE-L" in the BODY of the message. More at
http://www.cspeirce.com/peirce-l/peirce-l.htm .
