I have had similar thougths too, and hereby announce slight willingness to cooperate.
The main deviation from the mockup seems to be that I think that prouse is going to be dead weight to computers. And anything that requires participants first to to read and figure out lots of prose will also miss out on the computability. Thus I think that the free prose should be reduced nearly to the level of simple tags. Paragraphs surely won’t do. The units should be language independent but be rendered (or approximated) to participants in their language. Some “basic” relationships such as belief, impication, conjucation are a given but I think it would be vital for flexibility to add new notions. Ideally the basic relationsships would not be “built in” but could in principle be inputted from scratch by users. It’s a little “make a big database and hope for the best”. The critical part would make it semi legible particable to someone not versed in it.
The core of the notions would be various rules of inference. For example the notion of modus ponens can be summed up as a rule regarding truths and implications. A rule of the same level would be appeal to authority. You could choose which notion princples you belief in (and they would be processed as beliefs as good as any). If many people do this (and set their beliefs as public) you could have distribution on why people belief what they belief. You could also point new users to take into consideration arguments that have gone throught for previous users that have believed like them (or maybe only those belief transitions that people have found positive). If an argument doesn’t go throught with you you could point out why, which would allow further discussion. Actually one argument could branch into several depending on who has issue with which side and counterpoint of it.
The a big part of the cognitive work when using the system would be to express the thought with such clarity it can be explictly marked up. However it could be controlled by what kind of scope you allow for atomic notions. Say one says he believes in some “-ism”. That could be accepted as a simple belief->”-ism”. Then if big conflicts arise because of the ambiguity people could offer more elaborate explicit expressions of it. Some fo the “definitions” could be rejected or just fall out of fashion or focus. Explicications could be a move in the game.
By taking a record of what notion princples people believe in you could play a game where you extract a set of principles foreign to your own and try to apply them to get to a particular conclusion. This could be done without direct live interaction. Another level of game goal could be that when a user of with that set of princples logs in they could entertain the argument and the system could check whether the argument is successful (with the user being the judge). One game could be that a persons asks for checking their beliefs for possibilties to derive “a” and “not a”.
The tricky part is how to make the notion princples easy enough to express comprehensively. Or coming up with the core or seed notion princples that meaningfull activity can be carried out.
The a big part of the cognitive work when using the system would be to express the thought with such clarity it can be explictly marked up.
I think that that’s too big an obstacle. And for that reason, I think it needs to be more lightweight. You could get a lot of the benefits of structure with it being lightweight, without pushing people away from using it.
I have had similar thougths too, and hereby announce slight willingness to cooperate.
The main deviation from the mockup seems to be that I think that prouse is going to be dead weight to computers. And anything that requires participants first to to read and figure out lots of prose will also miss out on the computability. Thus I think that the free prose should be reduced nearly to the level of simple tags. Paragraphs surely won’t do. The units should be language independent but be rendered (or approximated) to participants in their language. Some “basic” relationships such as belief, impication, conjucation are a given but I think it would be vital for flexibility to add new notions. Ideally the basic relationsships would not be “built in” but could in principle be inputted from scratch by users. It’s a little “make a big database and hope for the best”. The critical part would make it semi legible particable to someone not versed in it.
The core of the notions would be various rules of inference. For example the notion of modus ponens can be summed up as a rule regarding truths and implications. A rule of the same level would be appeal to authority. You could choose which notion princples you belief in (and they would be processed as beliefs as good as any). If many people do this (and set their beliefs as public) you could have distribution on why people belief what they belief. You could also point new users to take into consideration arguments that have gone throught for previous users that have believed like them (or maybe only those belief transitions that people have found positive). If an argument doesn’t go throught with you you could point out why, which would allow further discussion. Actually one argument could branch into several depending on who has issue with which side and counterpoint of it.
The a big part of the cognitive work when using the system would be to express the thought with such clarity it can be explictly marked up. However it could be controlled by what kind of scope you allow for atomic notions. Say one says he believes in some “-ism”. That could be accepted as a simple belief->”-ism”. Then if big conflicts arise because of the ambiguity people could offer more elaborate explicit expressions of it. Some fo the “definitions” could be rejected or just fall out of fashion or focus. Explicications could be a move in the game.
By taking a record of what notion princples people believe in you could play a game where you extract a set of principles foreign to your own and try to apply them to get to a particular conclusion. This could be done without direct live interaction. Another level of game goal could be that when a user of with that set of princples logs in they could entertain the argument and the system could check whether the argument is successful (with the user being the judge). One game could be that a persons asks for checking their beliefs for possibilties to derive “a” and “not a”.
The tricky part is how to make the notion princples easy enough to express comprehensively. Or coming up with the core or seed notion princples that meaningfull activity can be carried out.
I think that that’s too big an obstacle. And for that reason, I think it needs to be more lightweight. You could get a lot of the benefits of structure with it being lightweight, without pushing people away from using it.