0

these are the contexts:

1):

If the number 0 has a certain property, and any natural number a has the property implies that a +1 also has the property, then every natural number has the property

2):

If a theory implies some phenomena and if observation shows that these phenomena do not happen, then we have no recourse but to conclude that the theory is false. Theory ⇒ false phenomena

3):

particles do not have free will ⇒ human beings do not have free will. From a scientific perspective this is not strange at all. After all, human beings are made out of particles. Abiding by the usual dictum of reductionism, scientists would have to say that the tendency of particles to follow the habitual laws of physics implies that humans must follow the habitual laws of physics.

4):

One of the main tools of logic is the law called modus ponens. This law says that if a statement P is true and the statement “P implies Q” is true, we can then derive that the statement Q is true. In symbols, we write this as enter image description here

5):

Inside every computer there are literally billions of logical switches that perform the logical operations AND, OR, NOT, and IMPLY.

6):

It is not clear how an experimenter’s free will is impeded by the fact that a photon has knowledge of what freewill choice the experimenter will make. Even if the experimenter had knowledge of future choices, does that imply a lack of free will to choose?

7):

By Pythagoras’s famous theorem for a right triangle we have x2 + y2 = z2 or enter image description here. both x and y have length 1. That implies that the diagonal, z, has length √2.

8):

Consider the predicate F(x) ≡ |x| → M. F(x) is true only if the logical sentence that corresponds to the number x implies M.

9):

A mathematical statement is a mathematical fact that can be put into symbols. We saw above that arithmetization is a correspondence between mathematical statements and the natural numbers. This implies that there are countably infinite mathematical statements.

I have to determine each one of these implies are materially implied or logically implied. As I know, material implication is when there are a conditional statement and means: if p is true, then q is also true. and there is not a causal relationship between them. but for logical implication, is a concept which describes the relationship between statements that hold true when one statement logically follows from one or more statements and A logically implies B if and only if any assignment that makes A true also will make B true. so, I am not an expert and still learning this stuff, so I will explain my guesses in a not formal way:

1) M. because I think this "implies" is written in this way:

∀P((P(0) ∧ ∀n(P(n) → P(s(n)))) → ∀nP(n))

2) L. because It has a causal relationship.

3) L. because It has a causal relationship.

4) M. because as I remember, this is the case in Modus ponens.

5) M. in this case I am really just guessing.

6) L. because It has a causal relationship.

7) L. because It has a causal relationship.

8) M. I am a little confused about this one. but since in the formalization it uses → and not a ⇒ , I'm going with Materially implies.

9) L. because It has a causal relationship

Can you say if my guesses are right or wrong?

  • 1
    Use the definitions : "material implication" must refer to the conditional connective : it must be used in the formal language to build compelx formulas with simpler ones. – Mauro ALLEGRANZA Jun 20 at 5:59
  • 1
    "Logical implication" is a relation between a set of sentences/formulas (premises) and a single sentence (conclusion) and is the formalization of the concept of valid deductive argument. – Mauro ALLEGRANZA Jun 20 at 6:00
  • 1
    In both cases, no "causal relationship ". – Mauro ALLEGRANZA Jun 20 at 6:00
  • 1
    So, in a nutshell, if you are "modelling" a single sentence, you need the connective, while if you are modelling an argument, you need the relation of consequence. – Mauro ALLEGRANZA Jun 20 at 6:04
  • 1
    But there is a "trick" : if Γ is a finite set of formulas, say { a,b,c }, we prove that : Γ ⊨ φ iff (a ∧ b ∧ c) → φ. – Mauro ALLEGRANZA Jun 20 at 6:14
3

Firstly, it would help to pin down what you mean by logical implication. It could mean syntactically that the antecedent proves the consequent, or semantically that all models of the antecedent are models of the consequent, or perhaps you have in mind some more informal notion that the conditional is necessarily true. Logical implication does not mean a causal relationship, so the edited version of your question rather confuses things.

Some of your examples are mathematical in nature, so they will depend on your preferred understanding of the philosophy of mathematics. If you consider mathematics to be reducible to logic, or at least that mathematical theorems are logical truths, or are necessarily true in the relevant sense, then I would say that 7 is a logical implication, provided we are assuming euclidean geometry. Number 9 also would come out as a logical implication provided we fill in the gaps about how mathematical formulas are defined recursively and how the arithmetization works. Number 1 is of course a statement of the rule of induction, and is usually taken to be an axiom schema, though it need not be assumed, and some arithmetics such as Robinson arithmetic do not include it, so it probably should not qualify as a logical implication. Number 8 is not entirely clear to me, though it appears to be saying something like the Gödel number of a sentence satisfies a predicate F iff the sentence whose Gödel number it is implies M. If this is the intended interpretation, then I don't see why the conditional need be stronger than a material implication: all one needs to claim about this sentence is that it holds true for all values of x.

The others all appear to be material implications. Number 3 is at best a claim about physical or natural necessity, and is likely just straightforwardly false. Particles do not fall in love, read books, make moral judgements, or die, but human beings do. All kinds of properties are emergent, or are properties of complex systems, or are supervenient upon fundamental physical properties. Number 6 is not clear: photons are not the kind of thing that can have knowledge, and it is debatable as to whether it is possible for a person to have knowledge of future choices, or whether knowledge precludes freedom of choice.

  • thank you very much. I just have a question: why everyone just uses the "implies" instead of "materially implies" or "logically implies"? doesn't that make it clearer, especially when we are using just English and not the formal form? or it's not necessary? – Daruis soli Jun 20 at 15:19
  • 1
    @daruis soli, IMPLIES means different things depending on which alleged LOGIC subject you are learning from. Mathematical logic uses some of the same words other logic subjects use but its CONTEXT is DIFFERENT. You seem to think all logic is logic & all of the terms are universal. This is NOT true. In philosophy implication is a type of propositions operation that is NOT what you defined. Implications are any if . . .then propositions. For example, if I am the Pope, Trumps is President. There is no connection necessary between terms as you believe. Math & reality can be different. – Logikal Jun 20 at 17:02
  • Personally, I do say "materially implies" to avoid just this kind of confusion. In particular, I would advise against reading a material implication as "if...then", since most uses of "if...then" in English are not material implications. – Bumble Jun 20 at 17:33

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service, privacy policy and cookie policy

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