Navigation

The Rational Response Squad is a group of atheist activists who impact society by changing the way we view god belief. This site is a haven for those who are pushing back against the norm, and a place for believers of gods to have their beliefs exposed as false should they want to try their hand at confronting us.

Buy any item on AMAZON, and we'll use the small commission to help end theism, dogma, violence, hatred, and other irrationality. Buy an Xbox 360 -- PS3 -- Laptop -- Apple

I would say that axioms are not accepted on faith but chosen in order to produce a mathematical or logical system which has practical value. For example, we accept that -(-x)=x for all reals not because we have faith that it is true but because we want to define "-x" in a non-contradictory manner which makes addition possible.

1a) Assumptions required for a system do not suppose any more than is required for the specified system

2) He or she is expressing a fundamental ignorance of what axioms are, or are intended be...

However, to proceed, I would need you to specify what you mean, specifically, by axioms.... I'd also suggest that anyone who brings up 'faith' in such a discussion ought to be avoided like a schizophrenic with a switchblade...

I've been wondering this: Do axioms need faith to be accepted? Or is faith the wrong word here?

There are basically three meanings and axiom can take: An axiom as used by logicians, an axiom used by metaphysicians, and an axiom used by the general public.

An axiom, as used by logicians, are simply propositions which do not get derived from something else, but for which other propositions are derived from. So, what justifys a good axiom? Its highly intuitive plausibility. The Law of Non-Contradiction, is highly intuititve. Except for a few logicians, everyone accepts this. Can a proof be given for it, in a non-circular way? nope. The goal of a good axiom, is to state some proposition SO obvious that it is hard to doubt. For example, in number theory, there is a mathematical axiom which states that 0 is not the successor or any other number.

Metaphysical axioms are those which lie at the very bedrock of metaphysics. Take Descartes favorate "cogito." This is a metaphysical axiom.

an axiom, as used by people uneducated in philosophy or mathematics, is simply what one takes as a given. Theists, often times, take the existence of God as their "axiom."

In the first two cases, these axioms are not taken on faith. in the latter, it is.

"In the high school halls, in the shopping malls, conform or be cast out" ~ Rush, from Subdivisions

I would say that axioms are not accepted on faith but chosen in order to produce a mathematical or logical system which has practical value. For example, we accept that -(-x)=x for all reals not because we have faith that it is true but because we want to define "-x" in a non-contradictory manner which makes addition possible.

Just a pedantic nit-pick. -(-x)=x for real numbers is not taken to be an axiom. The real numbers form a field, and from the field axioms, -(-x)=x is proven.

Mathematical axioms are much different from axioms in other fields, as was pointed out. There are some axioms that are not very intuitive (like the axiom of choice) but are used mainly because it makes proving theorems so much easier.