[SystemSafety] Logic

[Michael Jackson]

Perhaps the discussion about scalability needs to be tightened up a little.

1.  Questioning 'scalability' assumes, I think that work 'on a larger 
scale' is in some respects different from work 'on a smaller scale'. 
Are there such differences, and, if so, what are they?

2.  Are we discussing the applicability of particular formal methods 
such as X, Y and Z, as described in their respective books and 
papers? Or the applicability of disciplined formal logic and 
mathematics generally?

3.  Is the question whether the putatively applicable method or 
discipline is locally and partially applicable (as, for example, 
arithmetic is locally and partially applicable to architecture), or 
is globally applicable (as, for example, COBOL was at one time 
claimed to be globally applicable to the whole of a data processing system)?

4.  Self-evidently we expect logic to save us from logic errors in 
development. Are there other kinds of error? If so, what saves us 
from them, and how is it related to the use of logic?

5.  Is it true that formal expression of any requirement, design or 
other development artifact is superior to informal expression? If 
not, how are informal and formal expression related in a development?

-- Michael Jackson


At 16:48 18/02/2014, Martyn Thomas wrote:
>On 18/02/2014 16:10, Derek M Jones wrote:
>>Some of the points in this article on QuackWatch provide good advice
>>to anybody who wants to evaluate the claims of formal methods
>>proponents:
>><http://www.quackwatch.com/01QuackeryRelatedTopics/pseudo.html>http://www.quackwatch.com/01QuackeryRelatedTopics/pseudo.html 
>>
>
>Derek
>
>That feels to me like abuse. If you want to discuss the merits of 
>formal methods, let's do it professionally.
>
>I see this table in the article that you reference. I think that the 
>work on formal methods by computer scientists meets the definition 
>of Science in the table (except that we are not discussing physical 
>processes, so mutatis mutandis), whereas the criticisms of formal 
>methods seem more closely to correspond with Pseudoscience.  I can 
>give you examples to match most of the boxes in the left-hand 
>column. Can you do the same for your claim that formal methods do 
>not scale to more than the simplest problem?
>
>Martyn
>
>
>Science Pseudoscience
>Their findings are expressed primarily through scientific journals 
>that are peer-reviewed and maintain rigorous standards for honesty 
>and accuracy. The literature is aimed at the general public. There 
>is no review, no standards, no pre-publication verification, no 
>demand for accuracy and precision.
>Reproducible results are demanded; experiments must be precisely 
>described so that they can be duplicated exactly or improved upon. 
>Results cannot be reproduced or verified. Studies, if any, are 
>always so vaguely described that one can't figure out what was done 
>or how it was done.
>Failures are searched for and studied closely, because incorrect 
>theories can often make correct predictions by accident, but no 
>correct theory will make incorrect predictions.  Failures are 
>ignored, excused, hidden, lied about, discounted, explained away, 
>rationalized, forgotten, avoided at all costs.
>As time goes on, more and more is learned about the physical 
>processes under study. No physical phenomena or processes are ever 
>found or studied. No progress is made; nothing concrete is learned.
>Convinces by appeal to the evidence, by arguments based upon logical 
>and/or mathematical reasoning, by making the best case the data 
>permit. When new evidence contradicts old ideas, they are abandoned. 
>Convinces by appeal to faith and belief. Pseudoscience has a strong 
>quasi-religious element: it tries to convert, not to convince. You 
>are to believe in spite of the facts, not because of them. The 
>original idea is never abandoned, whatever the evidence.
>Does not advocate or market unproven practices or products. 
>Generally earns some or all of his living by selling questionable 
>products (such as books, courses, and dietary supplements) and/or 
>pseudoscientific services (such as horoscopes, character readings, 
>spirit messages, and predictions).
>_______________________________________________
>The System Safety Mailing List
>systemsafety at TechFak.Uni-Bielefeld.DE