[Fis] THE ROOTS OF MODERN CIVILISATION--Some More Old Roots
Dr. Plamen L. Simeonov
plamen.l.simeonov at gmail.com
Wed Feb 1 03:39:31 CET 2023
Dear Ted and FIS colleagues,
thank you very much for your valuable and insightful contributions to this
not easy to embrace topic. Its goal was to stimulate our exchange and
out-of-the-box thinking through the mirror of historic recapitulation. The
original focus was expanded to involve other fields of interest which
enriched the discussion. The responses went far beyond my expectations (and
hopefully yours too). This discussion is not over yet. I hope you enjoyed
it. We have collected sufficient material to reflect upon during the months
to come. Perhaps some of you will be able to use these opinions in their
research.
Thank you for your attention.
With my best wishes.
Plamen
On Tue, Jan 31, 2023 at 1:09 PM Ted Goranson <tedgoranson at mac.com> wrote:
> On Jan 27, 2023, at 10:49 AM, Dr. Plamen L. Simeonov <
> plamen.l.simeonov at gmail.com> wrote:
>
> In this context, I wish we had some sort of safety and liveness boundary
> conditions of such logical systems; we have them in TL (Pnueli) and TLA
> (Lamport), and also in bivalent and multivalent (quantum) logic. I think
> that Ted has his thoughts on this regarding the consensus regarding the LHS
> and RHS of the equations. There might also be non-standard solutions, not
> necessarily such that are based on the balance and integrity of the LHS and
> RHS, or both.
>
>
> Plamen —
>
> It is hard for me to follow the connection that is being made among twists
> of history, axiomatic systems, the nature of information, and complaints
> about current events. This could be because it is quite literally my job to
> understand the first three to help improve the latter, so I have my own
> views that could be occluding an open vision over what has been written
> here.. ..
>
> I do believe that the world is poorly understood so we navigate it unwell.
> Also that our reliance on reductionist logic is the main barrier. I agree
> with most here that some new paradigm based on poiesistic flow of
> information will give us better ‘logics’. A few here support intuitionistic
> types.
>
> So FIS is of central interest, but as with your biological systems
> modelling project I am interested more in things that work than those that
> are philosophically attractive.
>
> Our team uses the term ‘influence’ for information flow and is taking some
> risks with some formal approaches to two-sorts and now actual code. If we
> think we have something that actually works, we’ll come back and report it.
>
> Best, Ted
> _________
> Ted Goranson
> Senior Scientist
> Sirius-beta
> Queensland Australia
>
> We acknowledge the Traditional Custodians, recognise their
> continuing connection to land, waters and community, and pay our respects
> to them, their culture and their Elders past and present.
>
>
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://listas.unizar.es/pipermail/fis/attachments/20230201/158bc201/attachment.html>
More information about the Fis
mailing list