So "Some" statements can go both ways as in: P<some>A - some A are P and some P are A?
Absolutely they do. If I tell you that some students wear green shirts. Then some people who wear green shirts are students.
What if it said P some ~A would that mean ~A some P?
Absolutely.
I also know All L -> ~P and All R -> ~P as well as the contrapositive All P -> ~L and ~R.
But what if it was All L -> P and All R -> P? Would that mean
All ~P -> ~L and ~R?
I will first say that there is no need to say all L ---> ~P
Simply saying L ---> ~P is fine. That implies that all L are in fact ~P. We denote all statements with conditional relationships.
And you are correct on your contrapositive statement. If we know that L ---> P and R ---P.....then not having P will lead us to not having L and to not having P.
I seem to remember someone saying "all" statements are reversible but they only equal "some" in reverse not "all". Im all over the place here lol.
That is also true. If I know that every A is a B, I know that A ---> B
I also know that if some B's in the world are A's. We have to know that A's do exist in the world.
When you do know that you do have the sufficient condition being met in an A ---> B relationship, you do know that some B's are A's, which is to say that some A's are B's (some statements are reversible).
UPDATE: We can reverse all, some, and most statements into some statements as long as there is no negative right?
The negative is not a factor in terms of accompanying a variable in logic. For instance:
If I know that....~X ---> Y
And I know that I have a case of ~X, I know that I have a case of Y some ~X, which is to say that I have ~X some Y, as you can reverse some statements.
As in All A are B, Most A are B, and Some A are B = Some B are A for all three counts?
Yes. The only concern is in the first statement of All A are B. We have to know that at least one A exists in the world. We can then derive the inference of A some B, which is just like B some A.
However, All A are not B, Most A are not B, and Some A are not B can only be reveresed into Some ~B are A and I can't take the contrapositive of the Most or Some statements, only the All statement?
That is correct that you cannot take contrapositives of quantifying statements such as some and most. The contrapositive is simply the idea of showing that a necessary component not being met will ensure the absence of the sufficient variable. This idea of sufficient and necessary is not being addressed by quantifying statements. We do not know what is sufficient and what is necessary with these kinds of statements.
Can anyone just post the concrete rules for All, Most, and Some in regards when we have A->B, A->~B,~A->~B?
All of those conditional relationships you have posted work in the same manner. The fact that a certain variable is negative does not impact in the way we make inferences.
Here are my need-to-know ideas for dealing with logical inference question stems:
A some BCan be reversed as B some A with no problem.
This also does not rule out the possibility of all A's being B's, we simply cannot tell from this statement.
A most BCan be reversed as B some A. We know that if most A's are B's, we must have some B's be A's in the world. We do not have to worry, like we do in the conditional relationship, about whether or not A exists, as we know that A exists by the very fact that we know something about most A's, which means they necessarily are existing in the world. (Same holds true with the prior paragraph concerning a some statement. We know that A is existing in the world since we know something about some A's.
Conditional relationship of A --->BIf we do know that A exists in the world, we know that we will have some B's that are A's, which we can state as a simple B some A, which can be reversed as A some B.
This conditional relationship is the same regardless of the positive/negative status of the variables.