Howdy, Stranger!
It looks like you're new here. If you want to get involved, click one of these buttons!
Categories
- 33.4K All Categories
- 28.1K LSAT
- 17.1K General
- 5.2K Logical Reasoning
- 1.4K Reading Comprehension
- 1.7K Logic Games
- 70 Podcasts
- 193 Webinars
- 12 Scholarships
- 194 Test Center Reviews
- 2.2K Study Groups
- 111 Study Guides/Cheat Sheets
- 2.5K Specific LSAT Dates
- 31 November 2024 LSAT
- 18 October 2024 LSAT
- 9 September 2024 LSAT
- 38 August 2024 LSAT
- 28 June 2024 LSAT
- 4 April 2024 LSAT
- 11 February 2024 LSAT
- 22 January 2024 LSAT
- 38 November 2023 LSAT
- 43 October 2023 LSAT
- 14 September 2023 LSAT
- 38 August 2023 LSAT
- 27 June 2023 LSAT
- 30 Sage Advice
- 5K Not LSAT
- 4K Law School Admissions
- 13 Law School Explained
- 10 Forum Rules
- 636 Technical Problems
- 286 Off-topic
Related Discussions
Embedded Conditionals
![[Deleted User]](https://secure.gravatar.com/avatar/c096b0dd23609f08435e1bfe49f3d864?default=identicon&s=144)
[Deleted User]
Free Trial
The user and all related content has been deleted.
Comments
When I see a conditional phrase in a statement on the LSAT, I translate each statement within each section of the conditional phrase and then apply the conditional phrase indicators (for the larger sentence) to those phrases.
The contrapositive of your schema:
(~M & ~B) -> ~P
But your vernacular feels more like a biconditional to me:
P->(M<->~B)
'Reason being it seems to assert that, indeed, Mike WILL be there in the abscence of the birds, in addition to the birds guaranteeing Mike's abscence, so the abscence of one is necessary and sufficient for the abscence of the other.
In that case, the contrapositive:
[(M &
- which has a long form of the negated biconditional:
(M<->B) -> ~P
Finally, just want to remark on the potential for scope ambiguity in the vernacular. You could read it to mean:
(P->M) <-> ~B
In that case, the birds being at the park would guarantee your own presence there (without seeing Mike). 'Very influential birds, at any rate.
But that comma really clears it up by placing the "unless" grammatically within the consequent of the leading conditional.
Why did I get that? I think the best way to start is to first simplify the statement P --->(~M--->B) before figuring out the contrapositive. To do that, take the embedded phrase (the one in the parenthesis) and move it outside of the parenthesis by changing the first arrow to an "and" and keeping the other terms the same. So it changes from P---> (~M--->B) to P and ~M --->B (or P and ~B ---> M). Which means: if I go to the park and do not see Mike, then the birds are there.
How/why did we do that? What's happening here is we now have two sufficient terms that should occur to give us the necessary condition (which is going to the park and not seeing mike) being sufficient to the birds being there. Below I provided the logistic proof for why/how, using the negate sufficient "or" rule with the arrows you can arrive at the simplified answer that I did. Use the "or" arrow rule (which is negating the sufficient term that you remove the arrow for along each step in the proof starting with the original statement) the following is just the proof and a step by step application of the arrow to or translation rule.
P --->(~M--->B)
~P or (~M--->B)
~P or (M or
[~P or M] or B
not[~P or M] --->B *apply De Morgan's law (basically two negations cancel each other out)
P and ~M ---->B
The contrapositive of the last logical statement (our simplified statement) is ~B---> M or ~P
(don't forget that you switch "and" with "or" when getting the contrapositive).
Hmm @Q.E.D Doesn't P--->(~M-->B) mean going to the park is sufficient for not seeing Mike, while not seeing Mike is sufficient for birds being there? Or stated another way P--->(~B--->M) : going to the park is sufficient for the birds not being there, which is sufficient for seeing Mike? The relationship of the two terms B and M are such that they must exist in an oppositely negated relationship to each other. B and M are both not going to be positive or both be negative in the same statement because the term "unless" in the provided sentence requires that we negate one of those terms and make it a sufficient condition for the other.
Cool stuff you're putting out there. I wish more people had interests like yours.
'Just gonna go ahead and hit these prompts. First, I couldn't agree more with your thoughts on the biconditional: And in response to these comments... I read (1) to mean P is sufficient for the sufficiency of ~M for B. P guarantees you can't have ~M without B, though possibly M is true - in which case (on this schema), either B or ~B. Here's where the familiar LG-type chains, though fantastic, don't capture critical scope ambiguities in cases like this. In the games, you often see things like P->~M->B, where every item is sufficient for the next individual item down the line, as in the quoted interpretation. In sentence logic, however, you often have to explicitly set the scope of each conditional to apply to a connective (e.g. ->) rather than a propositional atom, as in (1), where the necessary condition doesn't itself guarantee the truth of anything.
Here is some scope syntax totally lost on the straight chain:
P--->(~M-->B)
(P--->~M)-->B
In that vein, I would add about the proof above that the endpoint has a scope ambiguity.
'P and ~M ---->B'
could be
(2) (P and ~M) ---->B or
(3) P and (~M ---->B),
...where I'd advocate for (2).
Awesome proof, btw.
Best,
QED
I think a lot of the confusion here stems from the fact that it's unclear whether "unless" expresses a conditional or a biconditional. For LSAT purposes, these are treated as straightforward conditionals, but in ordinary language, they can behave like biconditionals. This isn't a settled issue among logicians, but I think the trend is towards interpreting "unless" as a conditional and explaining instances that appear to be biconditionals as implicatures.
@nessa.k13.0
Remember that '(A ->
It also makes sense to remember that a conditional is only false when the antecedent is true and the consequent is false, as in '(A and ~B)' above. Incidentally, you'll never see a bald negation of a conditional connective on the LSAT, e.g. one that translates as '~(A ->
(1) It's not true that if Jones is arrested then he'll confess.
You would schematize it as '~(A ->
Excuse me. I get excited about logic. On that note, I need to know how quinnxzhang knows that Do you follow the literature on symbolic logic, @quinnxzhang? Your awareness of correct use-mention notation, as in has analytic philosophy written all over it.
Anyway, good luck on the LSAT to all. 'Fun thread.
http://fitelson.org/probability/macfarlane.pdf
It looks solid, man. I haven't seen a lot of literature on the demarcation problem in logic. I think I'll dig into this.
Looks like it covers 2nd order logic. I'm aware that Quine considered it "set theory is sheep's clothing" and bumped it across that demarcation line out of logic, but I never researched the controversy.
Nice crossing paths.
Remember the definition
of the material conditional (A --> C):
True when A is false and C is true;
True when A is false and C is false;
True when A is true and C is true;
False when A is true and C is false.
So plug in '~M' and 'B' for A and C in the definition. To negate
'(~M ->
A bit painstaking but very clear, I hope.
As you said, '~(~M)' is just 'M', but notice the scope of the negation only encompasses '~M'. In the example you cited, '~(~M ->