What does Wittgenstein mean when he says the propositions of logic are tautologies? What view of Frege's and Russell's is he arguing against?
Wittgenstein defines a tautology as a proposition that is true regardless of what is and what is not the case. Such a proposition, he says, has no sense and says nothing. In claiming that the propositions of logic are tautologies, he is claiming that they are empty propositions that tell us nothing about the world, but only show us something about the logical form of the world. This view of logic contradicts Frege and Russell, both of whom saw logic as a set of propositions deduced from fundamental axioms and laws of inference. According to these two philosophers, the propositions of logic describe the laws of thought: they are the most general laws there are that prescribe the form that more specific laws and thoughts must take. If logic consists of tautologies, Frege and Russell are wrong on two main points. First, logical propositions could not be laws, because laws have content and tautologies are empty. Second, the propositions of logic cannot be derived from axioms that are more fundamental than they are, since all propositions of logic (axioms included) say the same thing (i.e. nothing) and so they are all of equal value.
What is Wittgenstein's reasoning behind his claim that the world consists of fundamentally simple objects?
Wittgenstein states his reasoning most clearly at 2.0211: "If the world had no substance [if there were no objects], then whether a proposition had sense would depend on whether another proposition was true." Objects define the logical form of the world: we can use "purple" in sentences dealing with color and "two" in sentences dealing with numbers because of the logical form of these words. If it were simply a contingent fact that "purple" is a color-word, then the sentence "purple is a color" would have to be established as true before we could even know if "my car is purple" makes sense. Wittgenstein insists that the formal properties of objects cannot be contingent, since it would then be impossible to know if what we were saying makes any sense.
Why does Wittgenstein think that all propositions adhere to one general form?
Wittgenstein observes that there is one fundamental logical connective from which all propositions can be derived. This connective is called the "Sheffer stroke" and is defined as follows: "p|q" means "not p and not q." By successively applying the Sheffer stroke to propositions, we can derive any combination of truth-values we like. Wittgenstein interprets the Sheffer stroke as an operation ("N(p,q)"), and argues that the general form of the proposition is a repeated application of this operation to elementary propositions.
What sort of thing is an object? Why does Wittgenstein never give us a clear account of what an object is?
At 4.0312, Wittgenstein says that his "fundamental idea" is that logical objects are not representative. What does this mean? How does it serve as a criticism of Frege and Russell?
What is Wittgenstein's philosophy of mathematics? How does it differ from the views of Frege and Russell?
What does Wittgenstein mean when he claims that a proposition of the form "A says that p" ought to be understood as "'p' says that p"? What can this position teach us about Wittgenstein's view of the self?
Explain Wittgenstein's distinction between the self of psychology and the metaphysical self. What bearing does this distinction have on the problem of solipsism?
Why does Wittgenstein claim we cannot put ethics into words? Is there any evidence for ascribing one or another ethical position to him?
Evaluate Wittgenstein's claim at the end of the Tractatus that the propositions contained therein are nonsense. What tensions in his work lead him to this conclusion? How can we make sense of this claim without diminishing the philosophical significance of his work?