: wondering about sequence dissection.
(2007-08-08 17:14) [#3755]
Peronally, I hate using a japanese Go term, and avoid using it if possible.
So, I will use a term "sequence dissection" (very literal translation of the orginal term) instead of 'tewari' from now.
Anyway, I'm wondering what kind of argument sequence dissection is...
Let's see a very very specific and clean example of an argument with sequence dissection which I made right now after reading BMQ375.
See the 2 hypothetical openings below.
And now, a typical argument with sequence dissection would follow something like this.
1) In the first diagram, (Hypothetical opening 1), Every move from to is reasonble(good move). In other words, it means that the game pos would be kept even for both, assuming both black and white will play a correct follow up.
2) But white's actual follow up, is a stupid move, and is a proper move to punish white's joseki mistake.
3) So, black is leading now.
4) Now, see the second diagram(hypothetical opening 2). Its end result is identical with the first diagram with just different move orders.
5) Since its end result is excatly the same with the previous diagram, Opening positin in the second diagram also must favor black.
Conclusion : So, it must be that white did something wrong in the second diagram.
My questions are as follows.
1) In this specific argument,
Assuming that all premises (from 1) to 5)) are true, the conclusion (white did something wrong in the second diagram) is logically deduced? (just as conclusion is logically deduced in Aritotle's syllogism)
"In my impression", yes.
But, Im not totally sure.
(Talking about side issue, all of 1)~5) premises are of course really true)
2) And, if conclusion can be deduced logically in the above specific hypothetical argument with sequence dissection of opening sequence, then does it mean(or imply) that argument with sequence dissection can be a sound dedecutive inference "in general"?
My understanding of logics is quite elementary, so I can not find answers to these questions on my own.
So, I hope someone with specialized (or professional) knowldge of logics would help me.