In article <email@example.com>, Lester Zick <DontBother@nowhere.net> wrote:
> On Sun, 23 Jul 2006 00:06:25 GMT, Patricia Shanahan <firstname.lastname@example.org> > wrote: > > >Lester Zick wrote: > >... > >> The demonstration of theorems through syllogistic inference is not > >> faith based but the choice of axiomatic assumptions is because the > >> only choice is whether one believes them or not. Notice once more the > >> title of this thread. > >... > > > >Do you really think belief or not is the only choice one can make about > >axioms? > > No I don't but those who use syllogistic inference to establish the > truth of theorems with respect to axioms have no other choice.
On the contrary. One need no more "believe" in the axioms of a system to work in that system successfully than one needs to "believe" in the rules of chess in order to play the game. > > >Personally, I prefer "Should I use this set of axioms for purpose X?" > >but I'm sure other people have other choices they make about axioms. > > None of which rest on the demonstrated truth of axioms. Consequently > they rest on belief and assumptions of truth.
Assumptions only for purposes of finding what derives from them, just as one "assumes" the rules of a game in order to play it.