Content-Type: text/plain; charset=ISO-8859-1
>What is most important for safety cases is not "how people actually
>argue", but whether the arguments given in them for the conclusions,
>that the system is adequately safe, are correct.
Exactly, but this is not a formal logic problem, it is an engineering
I can make a perfectly logical argument that is completely wrong from an
This whole discussion is puzzling me. I don't find in practice that the
of engineers justifying the safety of their designs are illogical in most
but that they are incorrect from an engineering standpoint (e.g., assume
some probability that is not correct).
As someone else tried to point out, the problem is designing and building a
system that is safe, not arguing after the fact that it is safe. If
design is used, then the argument at the end is simple (and the least
part of the process if one has to prioritize them).
On Thu, Nov 19, 2009 at 1:08 AM, Prof. Dr. Peter Bernard Ladkin <
> Content-Type: multipart/mixed;
> Subject: Re: [sc] Aristotle and Russell
> Mime-Version: 1.0 (Apple Message framework v936)
> Date: Thu, 19 Nov 2009 07:08:15 +0100
> References: <
> X-Mailer: Apple Mail (2.936)
> X-YCS-Spam-Score: 0.0 (/)
> Content-Type: text/plain;
> Content-Transfer-Encoding: 7bit
> On Nov 19, 2009, at 2:52 AM, Mauricio Peixoto wrote:
> > It seems to me there is a gulf between those concerned with how
> > people, dumb as
> > they are, actually argue, and those concerned with "correct"
> > argumentation. A new
> > perspective is needed that does some justice at least to both of
> > these points.
> If you look at the Walton paper I cited, you will find that there is a
> fairly sizeable
> academic industry concerned with "how people actually argue". I don't
> find his
> paper particularly enlightening, but maybe some will.
> What is most important for safety cases is not "how people actually
> argue", but whether
> the arguments given in them for the conclusions, that the system is
> adequately safe, are
> Peter Bernard Ladkin, Professor for Computer Networks and Distributed
> University of Bielefeld, 33594 Bielefeld, Germany
> www.rvs.uni-bielefeld.de +49 521 880 73 19
> Content-Type: text/plain
> X-Original-Content-Type: text/html;
> [The content of this part has been removed by the mailing list software]
X-Original-Content-Type: text/html; charset=ISO-8859-1
[The content of this part has been removed by the mailing list software]
Received on Thu 19 Nov 2009 - 10:13:47 GMT