Lukasz, On 7/11/08, Lukasz Kaiser <[EMAIL PROTECTED]> wrote: > > > 1. I (and my family) seem to be the only ones working on new systems of > > logic. This field has been nearly dormant for the last half-century, > since ... > > Sorry Steve, but I recently defended a PhD thesis just in this > field - analysis and development of logical systems.
WOW, could you send me a copy? Please ;-) This is > one of the main topics in logic in computer science, there are > many international conferences about it, Could you give me enough to find them with Google? I would think that if there is a lot out there, that they would have one at WORLDCOMP, but I haven't seen any such thing there. and yes - many people > study the connections to game theory as well. I list game theory as an advanced form of logic, but few real-world situations (outside of American football and some quick-reacting war strategy situations) are structured as Game Theory presumes. Sorry to hear that > you did not know anyone is doing it - it is a major research topic > with many interesting results in the last 5 (and 50 as well) years. > > P.S. For example, you can start with the recent book by > Jouko Vaananen on Depencence Logic - this is a good > example for the study of new logics connected to games. My interest is more in new forms of logic that are applicable to complex repair situations and real-world intractable disputes. Game theory might tell you how to fight, but seldom does it point the way to a peaceful resolution. Reverse Reductio ad Absurdum may point the way to a peaceful resolution, but it seems to be unusable unless the parties first understand it. Figure 6 cause-and-effect chain analysis is great for stable situations, but is often clueless in dynamic situations. I wonder what ELSE is in this arena? Hyperlinks? Thanks a LOT for your thoughts here. Steve Richfield ------------------------------------------- agi Archives: https://www.listbox.com/member/archive/303/=now RSS Feed: https://www.listbox.com/member/archive/rss/303/ Modify Your Subscription: https://www.listbox.com/member/?member_id=8660244&id_secret=106510220-47b225 Powered by Listbox: http://www.listbox.com