Traditionally, consistency is the only criterion for the quality of a theory in logic-based approaches to reasoning about actions. This work goes beyond that and contributes to the metatheory of actions by investigating what other properties a good domain description should have. We state some metatheoretical postulates concerning this sore spot. When all postulates are satisfied we call the action theory modular. Besides being easier to understand and more elaboration tolerant in McCarthy’s sense, modular theories have interesting properties. We point (...) out the problems that arise when the postulates about modularity are violated, and propose algorithmic checks that can help the designer of an action theory to overcome them. (shrink)

Commas can splice our sentences, and shift their connotations. Our mixed modes for hyphens compound our words as well as confuse them—even dash them to pieces. In written language, how can we know we are asking a question unless we use the proper punctuation? Punctuation is vital to how we communicate. Whether in speech or prose, we punctuate our thoughts. In this sense, we may classify punctuation among what John Wesley calls “God’s many providences” in the sermon “The One Thing (...) Needful” (1733): “designed either to wean us from what is not, or to unite us to what is worthy of our affection. Are they pleasing? Then they are designed to lift up our hearts to the Parent of all good. Are they painful?” Wesley again answers rhetorically, “Then they are means of rooting out those passions that forcibly withhold us from [God]” (§II.4). Indeed, punctuation espouses varied ‘pleasing’ and/or ‘pleasant’ responses. Rather than merely forcing the point that our punctuation carries meaning—either in addition to or against that which we otherwise intend—I want to suggest that the poetry, prose, and other linguistic media/mediums within our liturgies innately possess meaning(s) which we have the opportunity to punctuate (i.e., ‘consecrate’ or ‘sanctify’) as faith communities or else surrender to the individualisms of our so-called (post)modern preferential interpretations: our proverbial run-on sentence protracting philosophical discussions amid this (in)definite period of change we acutely sense but struggle to describe. We are not God’s grammar police. For our part, however, faith communities and their leaders can and must more dutifully approach the task of shaping the nature, meaning, and purpose of our liturgies as truly corporate worship, not as mere collections of thoughts, words, and actions expressed by individuals more or less simultaneously. (shrink)

In this work we propose an encoding of Reiter’s Situation Calculus solution to the frame problem into the framework of a simple multimodal logic of actions. In particular we present the modal counterpart of the regression technique. This gives us a theorem proving method for a relevant fragment of our modal logic.

Lilly was one of the greatest scientists and pioneers on the limits of human possibility but after his death a collective amnesia has descended and he is now almost forgotten. His Wiki is good but inevitably incomplete so here are a few missing details and viewpoints. Lilly was a generation (or more) ahead of his time. He is almost single-handedly responsible for the great interest in dolphins (which led to the Marine Mammal Protection Act in the USA and helped to (...) found the animal rights movement). In 1958 he noted that the brains of elephants and cetaceans were larger than ours, that we should not abuse them and that it was one our most important projects to communicate with them. He invented sensory isolation tanks (at NIMH in 1954) and used them extensively with and without powerful psychoactive drugs at a time when it was thought that either the brain would shut down or one would go insane if external stimuli were eliminated. He created methods for implanting electrodes in mammal brains and was planning to do it to himself. He was one of the first to make serious use of computers in bioscience research and created the hardware and software to make the first attempts to communicate with dolphins. He self experimented with dangerous physiological investigations in high altitude medicine for the military during WW2, took LSD with dolphins and movie stars, submitted himself to the rigors of various forms of yoga and of Arica training, and taught classes at Esalen. He was a computer pioneer who forsaw the rapid advances in A.I. and it's inevitable clash with humans. He was the first one to investigate the bizarre psychedelic ketamine (" vitamin K "), and his results (published in the two last chapters of his book `The Scientist`) are still the best data on the dose/effect relation of any psychedelic on one person. It cured his lifelong daily migraine headaches (see http://www.conspiracyarchive.com/UFOs/Gorightly.htm). And all this happened before most of us were born! He had courage, honesty and integrity that is rare anywhere and almost nonexistent in science. His goal was to find the ultimate truth about everything and he went about as far as anyone ever has. He had little patience with the stupid and hypocritical games one has to play to fit into monkey society. Of course the reaction of the establishment was predictable. He left the NIMH and was never given any government or academic support for the last 35 years of his life. His paper and comments at a conference on sensory deprivation were removed from the published version. He was not invited to government sponsored symposia on dolphins (he had refused to help develop them as weapons), though he clearly knew more about them than anyone in the world. He liked to live and work on the edge and few could keep up with him, as his books make clear. If you have read some of his other books it will be much easier going. He was a pioneer in consciousness research and pushed the boundaries of our understanding of who we are and what we might become. Among other things he catalogs the various states reached by drugs, meditation, and isolation, tries to determine their significance, and suggests how to use them. I very briefly review and comment on his life and work. -/- Those interested in all my writings in their most recent versions may download from this site my e-book ‘Philosophy, Human Nature and the Collapse of Civilization Michael Starks (2016)- Articles and Reviews 2006-2016’ by Michael Starks First Ed. 662p (2016). -/- All of my papers and books have now been published in revised versions both in ebooks and in printed books. -/- Talking Monkeys: Philosophy, Psychology, Science, Religion and Politics on a Doomed Planet - Articles and Reviews 2006-2017 (2017) https://www.amazon.com/dp/B071HVC7YP. -/- The Logical Structure of Philosophy, Psychology, Mind and Language in Ludwig Wittgenstein and John Searle--Articles and Reviews 2006-2016 (2017) https://www.amazon.com/dp/B071P1RP1B. -/- Suicidal Utopian Delusions in the 21st century: Philosophy, Human Nature and the Collapse of Civilization - Articles and Reviews 2006-2017 (2017) https://www.amazon.com/dp/B0711R5LGX -/- . (shrink)

This paper is a reply to Lilly-Marlene Russow's paper "What do animals care about?" It articulates several skeptical concerns about how even someone with over a decade of experience closely observing the behavior of cats can ascertain with confidence what specific cats in specific circumstances care about and desire.