For context, consider the following notation proposed by user ryang in their answers 1, 2, 3, 4, 5, 6, from which I quote below.

  • material conditional $\left(\to\right)$
  • implication$\left(\Rightarrow\right):$
    $\quad\to$ is true (perhaps in an axiom system) in the current interpretation
  • logical implication / (semantic) logical entailment $\left(\models\right):$
    $\quad\to$ is true regardless of interpretation
  • derivability / syntactic logical entailment $\left(\vdash\right):$
    $\quad\to$ can be proven true regardless of interpretation

(⊢, ⊨, ⇒ are metalanguage symbols, while → is in the object language.)

P.S. Symbolic logic is an area rife with conflicting notation, terminology and even notions;

P.P.S. To be clear: although I distinguish analytical and synthetic implication ⇒ from logical entailment ⊨, in practice I do frequently use ⇒ (which is better recognised) even when I specifically mean the latter.

In the given formulation $$|x-c|<\delta\;\; \textbf{implies} \;\;|f(x)-f(c)|<\varepsilon,$$implies” is not the material conditional $\large\rightarrow\normalsize$ per se, but rather mathematical implication $\large\Rightarrow\normalsize;$ it analytically (from mathematical axioms and a given context) asserts that its right side can be derived from its left.

I believe that the above notation is being used in the following way.

We can apply it to propositional logic. For example, letting $P$ be "Alice is in Europe" and $Q$ be "Bob is in the USA", $$P \to Q$$ is a compound proposition. Now, one could assert $(P \to Q)$ to be True, which in symbols is $$P \Rightarrow Q.$$ This means that for the truth table of $(P \to Q),$ we can discard the row where $P$ is True and $Q$ is False.

If we now move to predicate logic in the context of mathematics (in $\mathbb{R}$), we can for example let $P(x)$ and $Q(x)$ be $x=x$ and $x^2 \geq x$ respectively, and write $$\forall x \ P(x) \to \forall x \ Q(x).$$ This compound sentence is a material conditional of two sentences that have truth values depending on the interpretation of the symbols. Following the same idea as before it is possible make the assertion $$\forall x \ P(x) \Rightarrow \forall x \ Q(x),$$ where we read ($\Rightarrow$) as mathematical implication by considering the standard interpretation of the symbols "$=, ^2, \geq$" and axioms of mathematics. A more common sentence in mathematics is the universal conditional statement. For example, letting $P(x)$ and $Q(x)$ be "$x \geq 2$" and "$x^2 \geq 4$" respectively, we can write $$ \forall x (P(x) \to Q(x)). $$ In mathematics it is common to make use of implicit quantification, so the above sentence is often abbreviated to $$P(x) \to Q(x).$$ Like before we can assert that this universal conditional statement is True, and write $$P(x) \Rightarrow Q(x),$$ where we read ($\Rightarrow$) as universal mathematical implication by considering the standard interpretation of the symbols "$2, 4, ^2, \geq$" and axioms of mathematics, meaning that if $P(x)$ is true for some value of $x$, then $Q(x)$ is true for the same value of $x$. This last example gives me trouble, because it seems that we are mixing meta-logical symbols and logic ones. If we think of the universal quantifier as infinitely many ($\land$), I would parse it as
 "$P(x_1) \to Q(x_1)$" is True $\land$ "$P(x_2) \to Q(x_2)$" is True $\land$ $\dots.$

Finally, here's my question: how can we read/interpret

$$\forall\epsilon{>}0 \; \exists\delta{>}0 \; \forall x{\in}D \;\big(0<|x - c| < \delta \implies |f(x) - L| < \epsilon \big),$$

in this answer, considering that it is neither an implication between closed formulas (the quantifiers are outside), nor an implicit universal implication (the quantifiers are explicitly there)?

  • $\begingroup$ @ryang - what os "mathematical implication"? We have the propositional connective $\to$ and we have logical consequence. Both are often read as "if..., then...". $\endgroup$ Commented Jun 19, 2023 at 18:04
  • 1
    $\begingroup$ @MauroALLEGRANZA "Mathematical implication" is just an informal label for a conditional that is true under some mathematical interpretation and the assumption of some mathematical axioms. Honestly, in such a context, it makes no real difference whether (material conditional) or (but to mean mathematical implication rather than logical implication) is used. $\endgroup$
    – ryang
    Commented Jun 19, 2023 at 18:13
  • $\begingroup$ @fire-bee I don't see much connection between your long preamble (its summary is fine) and your question (in the final paragraph), which can be distilled to this: $\quad$ “if symbolises mathematical implication, then: $\quad$ 1. how do we understand a formula such as ∀x (x>2 ⟹ x>1), and is it even technically correct (or at least meaningful)? $\quad$ 2. is the open formula x>3 ∧ x<7 ⟹ x<7 ∧ x>3 technically correct?” $\quad$ This comment from today may be pertinent. $\endgroup$
    – ryang
    Commented Jun 19, 2023 at 18:38
  • 1
    $\begingroup$ Re the final question: it reads "quantifiers... if blah less then delta, then bleh less then epsilon". Nothing mysterious there. $\endgroup$ Commented Jun 19, 2023 at 18:46
  • $\begingroup$ @ryang I decided to write to preamble because: 1. your notation is not standard (people don't use the term mathematical implication), but I find it interesting want want to understand it better. So it is a summary for me and for people that are out of the loop; 2. I'm was not really sure if I have just one question or more, so by writing more maybe people could distill the text and help me get a clearer view. $\endgroup$
    – fire-bee
    Commented Jun 19, 2023 at 19:37

1 Answer 1

  1. Your summary is mostly fine. However, in the object language, implicit quantification is not a thing, and ∀x (Px→Qx) is never shortened as Px→Qx; only informally—for example, in Mathematics—is Px⟹Qx understood to mean ∀x (Px⟹Qx). Also, most first-order logics have = (equality/identity) as a logic symbol, in which case it is not considered an arithmetical symbol.

  2. Your question actually has only a tenuous connection to its long preamble, and can be distilled to this:

    • if is understood as mathematical implication, then how to read the statement $$∀x \;(x>2 ⟹ x>1);$$ in particular, is the unquantified string x>2 ⟹ x>1 technically meaningful?

    Firstly, observe that your question is not really about mathematical implication, as it equally applies to the the non-mathematical statement $$∀x \;(\text{$x$ is in June ⟹ $x$ is not Christmas Day}).$$

    In any case, these two statements are parsed in the same manner: under the relevant interpretation and axioms (for example, Christmas is in December), the open formulae $$x>2 → x>1$$ and $$\text{$x$ is in June → $x$ is not Christmas Day}$$ are true whichever the object x; in particular, notice that the string x>2 ⟹ x>1 is not being offered in isolation and its truth in the context of the entire statement is always with respect to some object $x$ as the quantification is being considered.

In practice, and are interchangeble (in fact, they are also merely different choices of symbols to mean material implication), and it is always clear anyway that statements like the above are assertions of truth in a given context, rather than any sort of language-independent logical entailment.

  • $\begingroup$ So you read both $\forall x \ (P(x) \Rightarrow Q(x))$ and $P(x) \Rightarrow Q(x)$ as: "$\forall x \ (P(x) \to Q(x))$" is True? $\endgroup$
    – fire-bee
    Commented Jun 20, 2023 at 9:46
  • 1
    $\begingroup$ @fire-bee Don't read selectively; consider the context, check with the author. $\endgroup$
    – ryang
    Commented Jun 20, 2023 at 10:05
  • $\begingroup$ Sorry, let me rephrase it: So both ∀x (Px⟹Qx) and (Px⟹Qx) can be read as "∀x Px→Qx" is True? $\endgroup$
    – fire-bee
    Commented Jun 20, 2023 at 10:18
  • $\begingroup$ In your answer to my mentioned question, do you read $\forall\epsilon{>}0 \; \exists\delta{>}0 \; \forall x{\in}D \;\big(0<|x - c| < \delta \implies |f(x) - L| < \epsilon \big)$ as "$\forall\epsilon{>}0 \; \exists\delta{>}0 \; \forall x{\in}D \;\big(0<|x - c| < \delta \to |f(x) - L| < \epsilon \big)$" is True? $\endgroup$
    – fire-bee
    Commented Jun 20, 2023 at 15:05

You must log in to answer this question.

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