Recent content by MLP

I realize this is an older OP but since some of the postings contain misinformation, perhaps this reply is relevant. The second statement DOES NOT mean there is at least one one comedian who is funny. The translation for 'There is at least one comedian that is funny' is ∃x[C(x) & F(x)]...

This is a day late and a dollar short since your question is from November but ... I think the axiom scheme should be ∀vP→P(t/v) so we are given the following as premises: ∀vP ∀vP→P(t/v) notice that this has the form 1. A 2. A→B Modus ponens is the rule that says that given 1 and 2 we may...

A set of well-formed formulas can have a model and not be complete. The set propositional tautologies has a model but is incomplete with respect to the deductive system that has only one axiom scheme p > (q > p) and modus ponens as its only rule.

Implication and Equivalence Quine has called this an unfortunate choice of terminology dating back at least to Russell of calling the statement connective '\supset' or '→' "implication". This invites confusion with the notion of "logical implication" which is the relationship between...

2+2 I would question what exactly is meant by saying that "set theory isn't entirely consistent".

I think so. I was assuming that there was some way of deriving q→p from {p} without really saying what it was because systems can differ. I think what you did was show how you could get there in the system you are using.

Did you mean to include that Ʃ was maximally consistent? If not then let Ʃ be the unit set that contains only the sentence letter p. If it is granted that we can then derive q→p, we have a situation where (1) Either q→p is derivable from Ʃ or ~(q→p) is derivable from Ʃ (because q→p is...

If you are familiar with how to determine a formula is logically true, then you can use the fact that formulas are logically equivalent just in case their biconditional is logically true. If there is an interpretation that makes the biconditional of (1) and (2) false, then they are not logically...

The fact that the same word "implies" is sometimes used for the statement connective often written with an arrow (→) and sometimes used for "logical implication", i.e., the relationship one sentence has to another when it is not possible for the first to be true and the second false adds to the...

I am not saying that the use of the different quantifiers makes a difference, it does not. I am saying that Existential Elimination does not allow you to assume that the x referred to in the first existential claim is one and the same x as the x referred to in the second existential claim. It...

This argument is fallacious. You cannot infer that one and the same x is referred to by the two existential quantifers. If you could, it would be easy to prove that something is a Dodge and something is a Toyota implies that some one thing is both a Dodge and a Toyota. Maybe it would help to see...

Count the number of distinct sentence letters, say this number is n. Then the total number of rows will be 2n. For your first sentence letter divide 2n in half. Say the result is m. So make m T's and m F's under the first letter. Then take m and divide it in half coming up with, say, p, and make...

Hello, I just downloaded the Java Development Kit (J2EE) and during the install I was asked to configure something called Glassfish. I don't understand what Glassfish is for. Is it only for Web development? What does it do for me?

Let 'S' be 'x smokes two packs of cigarettes over an extended period' Let 'L' be 'x has lung problems' Let 'a' be 'Jones' Then the argument (\forallx)( Sx \rightarrow Lx) Sa Therefore, La is deductively valid. So if it turned out that \negLa, I would say we must give up one of the...

Hi RabbitWho, I am okay with your amendment. We could even go further and require that the conclusion be "Jones has a 95% chance of contracting lung disease". I am appealing to our pre-analytic notion of what a valid inductive argument is since I know of no precise definition of inductive...