Suggestions
Use up and down arrows to review and enter to select.Please wait while we process your payment
If you don't see it, please check your spam folder. Sometimes it can end up there.
If you don't see it, please check your spam folder. Sometimes it can end up there.
Please wait while we process your payment
By signing up you agree to our terms and privacy policy.
Don’t have an account? Subscribe now
Create Your Account
Sign up for your FREE 7-day trial
Already have an account? Log in
Your Email
Choose Your Plan
Save over 50% with a SparkNotes PLUS Annual Plan!
Purchasing SparkNotes PLUS for a group?
Get Annual Plans at a discount when you buy 2 or more!
Price
$24.99 $18.74 /subscription + tax
Subtotal $37.48 + tax
Save 25% on 2-49 accounts
Save 30% on 50-99 accounts
Want 100 or more? Contact us for a customized plan.
Your Plan
Payment Details
Payment Summary
SparkNotes Plus
You'll be billed after your free trial ends.
7-Day Free Trial
Not Applicable
Renews June 6, 2023 May 30, 2023
Discounts (applied to next billing)
DUE NOW
US $0.00
SNPLUSROCKS20 | 20% Discount
This is not a valid promo code.
Discount Code (one code per order)
SparkNotes Plus subscription is $4.99/month or $24.99/year as selected above. The free trial period is the first 7 days of your subscription. TO CANCEL YOUR SUBSCRIPTION AND AVOID BEING CHARGED, YOU MUST CANCEL BEFORE THE END OF THE FREE TRIAL PERIOD. You may cancel your subscription on your Subscription and Billing page or contact Customer Support at custserv@bn.com. Your subscription will continue automatically once the free trial period is over. Free trial is available to new customers only.
Choose Your Plan
For the next 7 days, you'll have access to awesome PLUS stuff like AP English test prep, No Fear Shakespeare translations and audio, a note-taking tool, personalized dashboard, & much more!
You’ve successfully purchased a group discount. Your group members can use the joining link below to redeem their group membership. You'll also receive an email with the link.
Members will be prompted to log in or create an account to redeem their group membership.
Thanks for creating a SparkNotes account! Continue to start your free trial.
Please wait while we process your payment
Your PLUS subscription has expired
Please wait while we process your payment
Please wait while we process your payment
All the "laws of logic" must be given in advance, and all at once, not, as in Frege and Russell, as a hierarchical axiomatic system. For instance, "p and q" means the same thing as "not (not p or not q,)" and "fa" means the same thing as "there exists an x such that fx and x is a" (5.47). If these propositions are equivalent, the meaning of one must be contained in the meaning of the other. That is, the meaning of "not" and "or" must be contained in "p and q" and the meaning of "there exists," "such that," and the sign for identity must be contained in "fa." In effect, all the "logical constants" must be given all at once if they are to be given at all.
All propositions share in common a general propositional form, which Wittgenstein calls "the essence of a proposition" (5.471). This general form should function as "the sole logical constant," rendering all other constants superfluous.
Wittgenstein says that "logic must look after itself" (5.473): we don't need external "laws" or "rules" to tell us how logic works. Logic is the realm of everything that is possible and conceivable. Whatever is ruled out by logic is ruled out because it is impossible and inconceivable: we do not need laws to tell us what falls outside the bounds of logic. Any proposition that lacks sense does so because we have not given a meaning to the signs in the proposition. For instance, "Socrates is identical" says nothing because we have not given meaning to the word "identical" when used as an adjective (5.4733).
Wittgenstein observes that all propositions can be derived by means of successive applications of the operation (——T)(ξ, .), that is by means of negating all the terms in the right hand pair of brackets. For instance, "p" would become "~p," "p" and "q" would be combined to form "~p.~q," and so on. Wittgenstein abbreviates this terminology to N(‾ξ), where the "N" stands for negation and the "‾ξ" stands collectively for all the propositions in the right hand pair of brackets (5.502).
It is now clear that, for instance, the various permutations of ~p are are not different propositions (5.512). They are all different ways of expressing the same proposition, which suggests that the signs for "not" and "and" are not the signs for objects.
Wittgenstein attempts to rid logical notation of the signs for generality and identity. Whenever a variable is given, that variable expresses all objects that can take that variable place, so generality is already given when a variable is given (5.524). We don't need an additional sign to denote generality. As for identity, "to say of two things that they are identical is nonsense, and to say of one thing that it is identical with itself is to say nothing at all" (5.5303). We do not need an "=" sign to say two signs are identical: we need only use the same sign twice. Often, the inclination to use the "=" sign comes from a temptation to say something general about the nature of propositions themselves (5.5351).
Please wait while we process your payment