I think an ad-hoc logic would be something like the logic of all computer programs. No question that a computer program has something to do with logic, but a generalization of the logic of all programs would involve something more of an informal logic. You can begin to develop a systems-analysis approach that might hope to attain the logic of any possible computer program but to actually try to make it applicable to any possible computer program would make it an unwieldy and impossible task. So in the sense that you have to use ad-hoc methods to begin to understand all the possible logical variations and special cases of a single program, it seems to me that the term "ad-hoc logic" makes some sense. It is like the paradigm of all paradigms. It is possible to conceive that as an unattainable ideal, but it would only be possible to make some rough sketches of what a paradigm of all paradigms might look like. This means these ideas cannot be thoroughly formalized; they would have to be developed on an ad-hoc basis knowing that definition might prove insufficient in some ways and that they would have to be modified for some 'special' cases that might become apparent at some time in the future. Jim Bromer
On Sun, Feb 17, 2019 at 8:01 AM Stefan Reich via AGI <agi@agi.topicbox.com> wrote: > Well then let's just up the volume of the non-troll posts :) > > On Sun, 17 Feb 2019 at 12:34, justcamel <justca...@gmail.com> wrote: > >> Taking 30 seconds to look at the file should be enough ... and I said >> implement regex/filters that block postings containing certain strings >> ... I am the last person to ban anybody from anywhere. It's just insane >> to have 75% of the list's postings to be about the "work" of a >> passionate troll. >> >> On 17/02/2019 11:53, Joshua Maurice wrote: >> > Probably most people here haven't had time to look at 15k lines of >> > code and form an evaluation of it. Probably most people here share >> > your serious concerns, we're just not sure that banning someone from a >> > mailing list > > > -- > Stefan Reich > BotCompany.de // Java-based operating systems > *Artificial General Intelligence List <https://agi.topicbox.com/latest>* > / AGI / see discussions <https://agi.topicbox.com/groups/agi> + > participants <https://agi.topicbox.com/groups/agi/members> + delivery > options <https://agi.topicbox.com/groups/agi/subscription> Permalink > <https://agi.topicbox.com/groups/agi/Tc360a468d4050822-M13edf38797d45cf905429f0c> > ------------------------------------------ Artificial General Intelligence List: AGI Permalink: https://agi.topicbox.com/groups/agi/Tc360a468d4050822-Mf897dc99e0605cf2a9aabbc8 Delivery options: https://agi.topicbox.com/groups/agi/subscription