home | alphabetical index | |||||

## Analytic propositionLoosely defined, ananalytic proposition is a proposition the negation of which is self-contradictory, or a proposition that is true in every conceivable world, or a proposition that is true by definition. (See also synthetic proposition.) For example, "All white cats are white" is not only true, but also necessarily true – since a negation of it – "Not all white cats are white" is self-contradictory.
There is no single, generally accepted, precise definition for The term was first defined by Immanuel Kant (1724–1804): - Either the predicate B belongs to subject A, as something which is contained (though covertly) in the conception of A; or the predicate B lies entirely out of the conception of A, although it stands in connection with it. In the first instance, I term the judgement
*analytical*, in the second,*synthetical*.*Analytical*judgements (affirmative) are therefore those in which the connection of the predicate with the subject is cogitated through identity; those in which this connection is cogitated without identity, are called synthetical judgments. --(From the Introduction to*The Critique of Pure Reason*.)
Later philosophers pointed out that if Kant’s definition is accepted, some propositions that are true by definition are not analytic. For example, 'A is A' is analytic by Kant’s definition. But an equally obvious 'If A, then A' is not analytic since it is not framed in the subject-predicate form. As a result, the definition of analytic proposition was expanded to include statements that are not in subject-predicate form. Two principle definitions for 'analytic proposition' have since been advanced:
- An analytic proposition is one the negation of which is self-contradictory. If you deny a true analytic proposition, you always get a self-contradictory proposition.
- An analytic proposition is a proposition the truth of which can be determined solely through the analysis of the meaning of its words. Nothing in the world apart from language needs to be examined.
- For example, "All bachelors are unmarried" is true if we take "bachelor" to mean "unmarried man" – and its negation is self-contradictory – so it is an analytic proposition. Its truth is apparent through the definition of its words.
- But if by "bachelors" we mean "individuals who have received a certain kind of academic degree" then we have a statement that may or may not be true, but certainly one that can be negated with no contradiction. In other words, in this case we no longer have an analytic proposition, but a synthetic one.
analytic propositions, since a denial of such theorems leads to a contradiction. However, in the case of mathematical and geometric theorems, the statement that analytic propositions are true in any conceivable world breaks down.For example, the theorems of Euclidean geometry are analytic – but only if the axioms of Euclidean geometry are assumed. In other words, these theorems are analytic within a specific deductive system rather than "any conceivable world".
| |||||

copyright © 2004 FactsAbout.com |