## implications

Philosophical, mathematical and computational logic, linguistics, formal argument, game theory, fallacies, paradoxes, puzzles and other related issues.

### implications

is the claim:

There is only but one kind of implication and its technical name is MATERIAL IMPLICATION

TRUE???
chris12

### Re: implications

Sounds like a homework question.

mtbturtle
Banned User

Posts: 9742
Joined: 16 Dec 2005

### Re: implications

mtbturtle » February 3rd, 2016, 9:52 am wrote:Sounds like a homework question.

I saw that claim in onother forum and i was wondering if it is true ,because i know that there is another implication as well called LOGICAL IMPLICATION.

AM I WRONG ???
chris12

### Re: implications

yes there is something called logical implication (at least I found it mentioned at fallacyfiles)

mtbturtle
Banned User

Posts: 9742
Joined: 16 Dec 2005

### Re: implications

chris12 » February 3rd, 2016, 9:46 am wrote:is the claim:

There is only but one kind of implication and its technical name is MATERIAL IMPLICATION

TRUE???

"Material Implication" refers to what seems like a paradox.

In "Propositional Calculus" [or "Sentential" Logic by some], given P, then (Q -> P) is true. Though this is logical under that system, the 'Q' seems odd to conclude true because it could technically be replaced by ANYTHING arbitrarily. If P = Chicken, let Q = Egg. This shows the historical circular reasoning often used by religion. You could assign P = Egg, then it would also be true that you might let Q = Chicken.

This 'paradox' is called "Material Implication".

In reality, it might be better to simply think of this meaning that for any given thing, something UNSPECIFIED can be conditionally the Q. It is actually the CONDITIONAL, not the 'Q', that the logic is asserting. But this is still controversial by some and why it was given a unique name. The 'material' being implied is that at least some 'Q' exists that implies a 'P'.
Scott Mayers
Member

Posts: 343
Joined: 04 Aug 2015