I am aware that deduction is used to get a logical answer. Consider a historical theory being the result of deductive reasoning. Would deductive reasoning be used to get a simple answer? After all, it is 'difficult' to know if a premise was true or not.

Also if deductive reasoning is not used in history, could someone please tell which is used, if it used at all? I am assuming it is - is it not how we reach conclusions about causality?

I hope I am making sense...

  • Welcome to Phil.SE! Are you intending by the word 'history ' to mean history as studied and argued over by historians? Mar 1, 2016 at 1:59
  • Yes, that's what I mean Mar 1, 2016 at 18:46
  • There's a lot going on in the question or rather questions. First, you're asking about "simple answers" which is a somewhat undefined category. Second, you're wondering whether "deductive reasoning" (which is a method) somehow leads to "simple answers". Third, you're connecting this to history. Fourth, you're asking about causality. If this is arising based on something you're reading, it'd help us immensely to know what prompts this mixture of features.
    – virmaior
    Apr 5, 2016 at 2:03

1 Answer 1


I think you are indeed a bit confused. Deductive reasoning is equivalent to Natural Deduction, where starting from an axiom or a theorem you can deduce, via rules of inference, another theorem. Now, this is on a purely syntactical level, that is, we are not concerned with the truth of the theorems. An argument is said to be 'sound' whenever the premises are true. Notice that here we are claiming something about the semantic conditions of the premises.

Now, I don't really think that history is concerned at all by deductive reasoning but it is definitely studied on its own. Actually is at the core of the study of formal logic.

Consider the following argument:


All human are mortal, I am human.

Therefore, I am a mortal.



All human can fly, You are a human.

Therefore, you can fly.

Now these are both instantiation of the rule of Modus Ponens:

A implies B A Therefore B

The argument I) is sound, while II) is unsound. But the conclusions logically follow from the premises in both, that is to say, whenever all the premises are true the conclusion must be true. This is the semantic definition of Logical Consequence, the semantic and the syntactic notion of 'follows from' are equivalent only in those Logics that are complete, that is, those in which all and only the theorems are true. Arithmetics is incomplete, this was discovered by Goedel, hence it has more truths than the ones that are provable.

Hope this helped!

You must log in to answer this question.

Not the answer you're looking for? Browse other questions tagged .