Philosophy Stack Exchange is a question and answer site for those interested in logical reasoning. It's 100% free, no registration required.

Sign up
Here's how it works:
  1. Anybody can ask a question
  2. Anybody can answer
  3. The best answers are voted up and rise to the top

I find it difficult to differentiate between premises and propositions.

given these statements:

"If men evolved from apes then there wouldn't be any ape nowadays" "There are apes nowadays"

are those two sentences created from two premises or two propositions?

I personally think there are two premises which construct those sentences,

P1: men evolved from apes P2: There wouldn't be any ape nowadays

Sentence 1: P1 => P2 sentence 2: ¬P2 conclusion: ¬P1

(even though this is valid in formal logic, I know it contains fallacy in informal logic)

share|improve this question
Also see – Pacerier Jul 6 '14 at 4:46
up vote 4 down vote accepted

Ok, there seems to be some confusion here.

A premise is a step in an argument put forward toward establishing some conclusion.

A proposition is the meaning of a given sentence.

Since what you have given is a conditional sentence and not clearly an argument, I'd be inclined to say that what you have is a single proposition.

Now, depending on your view on propositions you might think that this conditional proposition has parts like the antecedent and the consequent. Likely these would also both be propositions.


So, to reflect your update, I'll update my answer. The argument that you give is, as you note, valid. It is an instance of modus tollens. The problem, however, is that it (plausibly) isn't a sound argument. The premise "If men evolved from apes then there wouldn't be any ape nowadays" seems very open to doubt. In fact, it seems to actually be false. Our best theory is that we evolved from apes. But there are, obviously, still apes.

I'm not sure what informal fallacy this argument contains, perhaps a hasty generalization or something? But the most damaging point is that I don't think the argument is sound since I think the conditional is false.

share|improve this answer
would you mind to check the edited part? thank you very much dennis :) – Coderama Feb 16 '13 at 8:47
yes, I've been trying to find which is the most suitable category of informal fallacies to put that conditional statement. I was considering it falls either under suppressed evidence (under the fallacy of presumption), argumentum ad ignorantiam, or from argument from uncertainty? – Coderama Feb 16 '13 at 9:14
So to sum my original question, I'm allowed to treat the antecedent and the consequent from the conditional sentence as two premises. Is it right? – Coderama Feb 16 '13 at 9:16
ah, I've just read the part of soundness and validity of an argument. a valid argument doesn't necessarily mean sound argument. Indeed just like what you've written @dennis :) thank you :D – Coderama Feb 16 '13 at 9:19

Before we can differentiate between  premise  and  proposition , we first need to define what they are. There exists many existing definitions (cf.), but this post will use Aristotle's definition:

  • A proposition is-equal any message that has a "truth value" —true xor false—. (We can say that a proposition is a claim.)

    Valid propositions:

    • "Socrates is a man." (This is either true xor false.)

    • "Socrates is a frog." (ditto)

    Invalid propositions:

    • "Give him some tips." (This is neither true nor false)
  • An  argument   is-belong a group of 3 or more propositions, of which, there is one conclusion —the deduced proposition— and at least 2 assumptions —the base propositions—. (Within a domain of discourse, if all of the explicit assumptions and implicit assumptions are true, then the conclusion must be true.)

  • A premise is-equal a base proposition used in an  argument  .

    Examples —assume we are in a domain of discourse where Socrates is a short but strong man, all men are mortal, no man is a frog, a frog is an amphibian, and all amphibians are mortal—:

    • "Socrates is a man." (true premise)

      "All men are mortal." (true premise)

      "Socrates is mortal." (true, valid conclusion)

    • "Socrates is a man." (true premise)

      "All men are mortal." (true premise)

      "Socrates is strong." (true, invalid conclusion)

    • "Socrates is a man." (true premise)

      "All men are tall." (false premise)

      "Socrates is tall." (false, valid conclusion)

    • "Socrates is a frog." (false premise)

      "All frogs are mortal." (true premise)

      "Socrates is mortal." (true, valid conclusion)

So, per Aristotle's definitions, the difference between "premise" and "proposition" is that the former is a strict subset of the latter —all premises are propositions, while not all propositions are premises—:

enter image description here

"premise" contains only members of "proposition" that are base propositions in the context of an argument.


Now, consider your 1st sentence:

If men evolved from apes then there wouldn't be any ape nowadays.

It must be either true or false, thus it's a proposition.

Consider your 2nd sentence:

There are apes nowadays.

It must be either true or false, thus it's also a proposition.

Therefore, we have a total of 2 explicit propositions in your quote:

"If men evolved from apes then there wouldn't be any ape nowadays" "There are apes nowadays"

With only 2 propositions, an argument cannot exist; without an argument, a premise cannot exist.

However, the reader may personally imply an argument from your quote:

  1. All apes evolve at the same rate. (premise)

  2. There are apes nowadays. (premise)

  3. Therefore, men did not evolve from apes. (conclusion)

And he will be quick to point out that since the first premise is dubious, the conclusion will also be dubious despite being logically valid.

share|improve this answer

Your Answer


By posting your answer, you agree to the privacy policy and terms of service.

Not the answer you're looking for? Browse other questions tagged or ask your own question.