Wittgenstein/Foundations of Mathematics - Revision history

Unknown user: /* Lectures XXI-XXXI */

2025-05-01T22:15:27Z

Lectures XXI-XXXI

← Older revision		Revision as of 22:15, 1 May 2025
Line 38:		Line 38:
	* Lecture XXIV: This lecture focuses on logical laws as "laws of thought," proposing they represent our established practices and techniques for using language and making transformations, rather than describing external facts or psychological processes. Wittgenstein compares logical laws like the law of contradiction to synthetic a priori statements like "a patch cannot be both red and green," arguing both reflect our inclination to continue using concepts in certain "natural" ways and to exclude combinations that upset our system or seem pointless. He critiques the idea of two types of proof (one merely convincing, one truly grounding), suggesting mathematical proof persuades by making connections within a system, and accepting a proof means adopting that technique or rule, not confirming an external truth.		* Lecture XXIV: This lecture focuses on logical laws as "laws of thought," proposing they represent our established practices and techniques for using language and making transformations, rather than describing external facts or psychological processes. Wittgenstein compares logical laws like the law of contradiction to synthetic a priori statements like "a patch cannot be both red and green," arguing both reflect our inclination to continue using concepts in certain "natural" ways and to exclude combinations that upset our system or seem pointless. He critiques the idea of two types of proof (one merely convincing, one truly grounding), suggesting mathematical proof persuades by making connections within a system, and accepting a proof means adopting that technique or rule, not confirming an external truth.
	* Lecture XXV: Wittgenstein further analyzes the idea that mathematical propositions correspond to a "reality," arguing this comparison to physics is misleading. He distinguishes between a reality corresponding to a true sentence (affirming the sentence) and a reality corresponding to words (explaining their meaning/use via grammar), suggesting mathematical propositions are more like the latter – they function as rules or grammatical preparations for language use. He emphasizes that mathematical propositions are not "about" numbers in the same way experiential propositions are about objects; rather, they develop the calculus that gives number words their meaning for application outside mathematics.		* Lecture XXV: Wittgenstein further analyzes the idea that mathematical propositions correspond to a "reality," arguing this comparison to physics is misleading. He distinguishes between a reality corresponding to a true sentence (affirming the sentence) and a reality corresponding to words (explaining their meaning/use via grammar), suggesting mathematical propositions are more like the latter – they function as rules or grammatical preparations for language use. He emphasizes that mathematical propositions are not "about" numbers in the same way experiential propositions are about objects; rather, they develop the calculus that gives number words their meaning for application outside mathematics.
	* Lecture XXVI: Wittgenstein continues exploring the relationship between mathematics, logic, and reality, reiterating that mathematical propositions primarily establish rules and prepare symbols like number words for their application, rather than describing mathematical entities. He critiques misleading imagery associated with mathematical concepts like infinity		* Lecture XXVI: Wittgenstein continues exploring the relationship between mathematics, logic, and reality, reiterating that mathematical propositions primarily establish rules and prepare symbols like number words for their application, rather than describing mathematical entities. He critiques misleading imagery associated with mathematical concepts like infinity or higher dimensions, arguing that their meaning comes from their specific, often pedestrian, use within a calculus, not from analogies suggesting vastness or mystery. The lecture cautions against interpreting the "depth" or "beauty" of mathematics as residing in some profound meaning beyond the calculations themselves, attributing such feelings to potentially misleading pictures and analogies.
	* or higher dimensions, arguing that their meaning comes from their specific, often pedestrian, use within a calculus, not from analogies suggesting vastness or mystery. The lecture cautions against interpreting the "depth" or "beauty" of mathematics as residing in some profound meaning beyond the calculations themselves, attributing such feelings to potentially misleading pictures and analogies.
	* Lecture XXVII: Wittgenstein examines the relationship between logic and arithmetic, arguing that arithmetic does not rest on logic (like Russell's) because determining the validity of logical transformations (like tautologies involving large numbers of variables) itself presupposes arithmetic abilities like counting and comparing numbers. He suggests that Russell's logic is just one possible calculus or method, comparable to other ways of counting or calculating, and we trust our established arithmetic practices over it in case of conflict. The lecture highlights that Russell's definitions connect arithmetic concepts to logical ones (like addition to disjunction), which clarifies some aspects but doesn't provide a unique foundation or dictate the specific rules of calculation we must adopt.		* Lecture XXVII: Wittgenstein examines the relationship between logic and arithmetic, arguing that arithmetic does not rest on logic (like Russell's) because determining the validity of logical transformations (like tautologies involving large numbers of variables) itself presupposes arithmetic abilities like counting and comparing numbers. He suggests that Russell's logic is just one possible calculus or method, comparable to other ways of counting or calculating, and we trust our established arithmetic practices over it in case of conflict. The lecture highlights that Russell's definitions connect arithmetic concepts to logical ones (like addition to disjunction), which clarifies some aspects but doesn't provide a unique foundation or dictate the specific rules of calculation we must adopt.
	* Lecture XXVIII: Wittgenstein reiterates that logic isn't a foundation for arithmetic in the sense that arithmetic uniquely follows from it; different arithmetics could be developed alongside the same logic. He critiques the Russell/Frege use of logical notation like (∃x).φx or (x).φx as potentially confusing because it treats concepts like "man" or "circle" as simple predicates of bare individuals ("x"), obscuring the varied grammar and criteria involved in applying these terms in ordinary language. The lecture emphasizes that mathematical methods evolve like methods of measurement, introducing new techniques and meanings (e.g., for large numbers or complex logical formulae) rather than relying on a single, fixed logical base.		* Lecture XXVIII: Wittgenstein reiterates that logic isn't a foundation for arithmetic in the sense that arithmetic uniquely follows from it; different arithmetics could be developed alongside the same logic. He critiques the Russell/Frege use of logical notation like (∃x).φx or (x).φx as potentially confusing because it treats concepts like "man" or "circle" as simple predicates of bare individuals ("x"), obscuring the varied grammar and criteria involved in applying these terms in ordinary language. The lecture emphasizes that mathematical methods evolve like methods of measurement, introducing new techniques and meanings (e.g., for large numbers or complex logical formulae) rather than relying on a single, fixed logical base.
	* Lecture XXIX: This lecture explores what logical propositions (tautologies like p . p⊃q .⊃ .q) "say," concluding they "say nothing" in the sense of not providing empirical information; their point lies in demonstrating rules of inference or the structure of our language use. Wittgenstein argues that asserting a tautology is akin to stating a rule for transforming sentences, showing how certain combinations cancel out information. He suggests logic could even be done by proving non-tautologies (showing certain inferences cannot be made), highlighting that the form of logical propositions is less important than their use in structuring reasoning and calculation.		* Lecture XXIX: This lecture explores what logical propositions (tautologies like p . p⊃q .⊃ .q) "say," concluding they "say nothing" in the sense of not providing empirical information; their point lies in demonstrating rules of inference or the structure of our language use. Wittgenstein argues that asserting a tautology is akin to stating a rule for transforming sentences, showing how certain combinations cancel out information. He suggests logic could even be done by proving non-tautologies (showing certain inferences cannot be made), highlighting that the form of logical propositions is less important than their use in structuring reasoning and calculation.
	Lecture XXX: Wittgenstein discusses the equivalence (n)φ . (m)ψ . Ind . ⊃ . (n+m)φ∨ψ as a potential logical definition of addition, arguing it fails because it doesn't inherently yield arithmetic. He points out that verifying this as a tautology for large numbers requires a pre-existing method of calculation (like arithmetic addition) to compare the number of terms, meaning arithmetic isn't based on this logical form but vice-versa. The lecture stresses that we trust our established arithmetic calculations over alternative methods like Russell's logic or direct correlation, using calculation as the standard to check other methods, not the other way around.		* Lecture XXX: Wittgenstein discusses the equivalence (n)φ . (m)ψ . Ind . ⊃ . (n+m)φ∨ψ as a potential logical definition of addition, arguing it fails because it doesn't inherently yield arithmetic. He points out that verifying this as a tautology for large numbers requires a pre-existing method of calculation (like arithmetic addition) to compare the number of terms, meaning arithmetic isn't based on this logical form but vice-versa. The lecture stresses that we trust our established arithmetic calculations over alternative methods like Russell's logic or direct correlation, using calculation as the standard to check other methods, not the other way around.
	* Lecture XXXI: Wittgenstein examines proof by mathematical induction, questioning the certainty derived from proving a base case @(1) and the inductive step (n):@(n).⊃.@(n+1) to conclude (n).@(n) without performing every step. He argues this "shortcut" is not about magically covering infinite steps but about adopting the inductive proof itself as a new rule or criterion for the result (e.g., @(3000) = ψ(3000)). This rule is justified by empirical facts like general agreement in calculations, and it becomes the standard against which deviations (like getting a different result from 3000 steps) are judged as mistakes.		* Lecture XXXI: Wittgenstein examines proof by mathematical induction, questioning the certainty derived from proving a base case @(1) and the inductive step (n):@(n).⊃.@(n+1) to conclude (n).@(n) without performing every step. He argues this "shortcut" is not about magically covering infinite steps but about adopting the inductive proof itself as a new rule or criterion for the result (e.g., @(3000) = ψ(3000)). This rule is justified by empirical facts like general agreement in calculations, and it becomes the standard against which deviations (like getting a different result from 3000 steps) are judged as mistakes.

Unknown user: /* Lectures XXI-XXXI */

2025-05-01T22:14:55Z

Lectures XXI-XXXI

← Older revision		Revision as of 22:14, 1 May 2025
Line 44:		Line 44:
	* Lecture XXIX: This lecture explores what logical propositions (tautologies like p . p⊃q .⊃ .q) "say," concluding they "say nothing" in the sense of not providing empirical information; their point lies in demonstrating rules of inference or the structure of our language use. Wittgenstein argues that asserting a tautology is akin to stating a rule for transforming sentences, showing how certain combinations cancel out information. He suggests logic could even be done by proving non-tautologies (showing certain inferences cannot be made), highlighting that the form of logical propositions is less important than their use in structuring reasoning and calculation.		* Lecture XXIX: This lecture explores what logical propositions (tautologies like p . p⊃q .⊃ .q) "say," concluding they "say nothing" in the sense of not providing empirical information; their point lies in demonstrating rules of inference or the structure of our language use. Wittgenstein argues that asserting a tautology is akin to stating a rule for transforming sentences, showing how certain combinations cancel out information. He suggests logic could even be done by proving non-tautologies (showing certain inferences cannot be made), highlighting that the form of logical propositions is less important than their use in structuring reasoning and calculation.
	Lecture XXX: Wittgenstein discusses the equivalence (n)φ . (m)ψ . Ind . ⊃ . (n+m)φ∨ψ as a potential logical definition of addition, arguing it fails because it doesn't inherently yield arithmetic. He points out that verifying this as a tautology for large numbers requires a pre-existing method of calculation (like arithmetic addition) to compare the number of terms, meaning arithmetic isn't based on this logical form but vice-versa. The lecture stresses that we trust our established arithmetic calculations over alternative methods like Russell's logic or direct correlation, using calculation as the standard to check other methods, not the other way around.		Lecture XXX: Wittgenstein discusses the equivalence (n)φ . (m)ψ . Ind . ⊃ . (n+m)φ∨ψ as a potential logical definition of addition, arguing it fails because it doesn't inherently yield arithmetic. He points out that verifying this as a tautology for large numbers requires a pre-existing method of calculation (like arithmetic addition) to compare the number of terms, meaning arithmetic isn't based on this logical form but vice-versa. The lecture stresses that we trust our established arithmetic calculations over alternative methods like Russell's logic or direct correlation, using calculation as the standard to check other methods, not the other way around.
	Lecture XXXI: Wittgenstein examines proof by mathematical induction, questioning the certainty derived from proving a base case @(1) and the inductive step (n):@(n).⊃.@(n+1) to conclude (n).@(n) without performing every step. He argues this "shortcut" is not about magically covering infinite steps but about adopting the inductive proof itself as a new rule or criterion for the result (e.g., @(3000) = ψ(3000)). This rule is justified by empirical facts like general agreement in calculations, and it becomes the standard against which deviations (like getting a different result from 3000 steps) are judged as mistakes.		* Lecture XXXI: Wittgenstein examines proof by mathematical induction, questioning the certainty derived from proving a base case @(1) and the inductive step (n):@(n).⊃.@(n+1) to conclude (n).@(n) without performing every step. He argues this "shortcut" is not about magically covering infinite steps but about adopting the inductive proof itself as a new rule or criterion for the result (e.g., @(3000) = ψ(3000)). This rule is justified by empirical facts like general agreement in calculations, and it becomes the standard against which deviations (like getting a different result from 3000 steps) are judged as mistakes.

	=Quotes=		=Quotes=

Unknown user: /* Lectures XXI-XXXI= */

2025-05-01T22:14:43Z

Lectures XXI-XXXI=

← Older revision		Revision as of 22:14, 1 May 2025
Line 31:		Line 31:
	* Lecture XX: Wittgenstein challenges the idea of a "super-rigidity" in logic, comparing it to the misleading notion of a kinematic rod being perfectly rigid (whereas it simply has no property corresponding to expansion/contraction in the calculus) or a law being "super-inexorable" (arising from linguistic parallels, not experience). He argues that the perceived inexorability of logic stems from confusing the rules of the calculus (which are fixed by us) with descriptions of reality; logic's "hardness" comes from our decision to adhere to its rules as a standard. The lecture concludes by stating that denying the existence of a "logical mechanism" or "super-rigidity" means showing these ideas arise from misleading pictures and analogies, not from the same source as ordinary rigidity.		* Lecture XX: Wittgenstein challenges the idea of a "super-rigidity" in logic, comparing it to the misleading notion of a kinematic rod being perfectly rigid (whereas it simply has no property corresponding to expansion/contraction in the calculus) or a law being "super-inexorable" (arising from linguistic parallels, not experience). He argues that the perceived inexorability of logic stems from confusing the rules of the calculus (which are fixed by us) with descriptions of reality; logic's "hardness" comes from our decision to adhere to its rules as a standard. The lecture concludes by stating that denying the existence of a "logical mechanism" or "super-rigidity" means showing these ideas arise from misleading pictures and analogies, not from the same source as ordinary rigidity.

	==Lectures XXI-XXXI===		==Lectures XXI-XXXI==

	* Lecture XXI: Wittgenstein questions how we become convinced of logical laws, rejecting the idea that they are corroborated by experience (like the law of contradiction or 2+2=4). He suggests recognizing logical laws amounts to adopting and following certain linguistic practices and techniques because they align with our natural inclinations and avoid pointlessness or confusion, comparing this to the rejection of "reddish-green". He analyzes the Liar Paradox ("I am lying"), arguing its puzzling nature stems from treating it like a meaningful proposition within a useful system, whereas it's simply a useless language-game arising from grammatical analogy, and the resulting contradiction doesn't invalidate logic itself.		* Lecture XXI: Wittgenstein questions how we become convinced of logical laws, rejecting the idea that they are corroborated by experience (like the law of contradiction or 2+2=4). He suggests recognizing logical laws amounts to adopting and following certain linguistic practices and techniques because they align with our natural inclinations and avoid pointlessness or confusion, comparing this to the rejection of "reddish-green". He analyzes the Liar Paradox ("I am lying"), arguing its puzzling nature stems from treating it like a meaningful proposition within a useful system, whereas it's simply a useless language-game arising from grammatical analogy, and the resulting contradiction doesn't invalidate logic itself.

Unknown user: /* Summary */

2025-05-01T22:14:32Z

Summary

← Older revision		Revision as of 22:14, 1 May 2025
Line 4:		Line 4:

	=Summary=		=Summary=

			==Lectures I-X==

	* Lecture I: Wittgenstein introduces his approach to the foundations of mathematics, clarifying that he will not interfere with mathematicians' work or offer new interpretations, but rather address philosophical puzzles arising from everyday language used in mathematics, like "proof" and "number". He emphasizes the importance of understanding the use of mathematical expressions, not just the pictures they conjure, warning against misunderstandings that arise from assimilating expressions with different functions. The goal is not to make mathematical discoveries but to reframe them as inventions, highlighting differences rather than similarities to resolve linguistic confusion.		* Lecture I: Wittgenstein introduces his approach to the foundations of mathematics, clarifying that he will not interfere with mathematicians' work or offer new interpretations, but rather address philosophical puzzles arising from everyday language used in mathematics, like "proof" and "number". He emphasizes the importance of understanding the use of mathematical expressions, not just the pictures they conjure, warning against misunderstandings that arise from assimilating expressions with different functions. The goal is not to make mathematical discoveries but to reframe them as inventions, highlighting differences rather than similarities to resolve linguistic confusion.
Line 15:		Line 17:
	* Lecture IX: Wittgenstein examines proofs of impossibility, like constructing a 100-gon using only bisection from a square, suggesting such proofs function primarily to dissuade attempts by changing our idea of what the construction involves. He argues that mathematical problems like trisecting an angle arise from analogies in language ("bisect", "trisect"), and the proof of impossibility clarifies the limits of a specific technique, effectively excluding certain phrases (like "trisection with ruler and compass") from the notation. The lecture touches on the nature of mathematical belief and hypothesis, questioning how one can "believe" a theorem before it's proven, setting up the next discussion.		* Lecture IX: Wittgenstein examines proofs of impossibility, like constructing a 100-gon using only bisection from a square, suggesting such proofs function primarily to dissuade attempts by changing our idea of what the construction involves. He argues that mathematical problems like trisecting an angle arise from analogies in language ("bisect", "trisect"), and the proof of impossibility clarifies the limits of a specific technique, effectively excluding certain phrases (like "trisection with ruler and compass") from the notation. The lecture touches on the nature of mathematical belief and hypothesis, questioning how one can "believe" a theorem before it's proven, setting up the next discussion.
	* Lecture X: This lecture scrutinizes the idea that mathematical calculation is a form of experiment, questioning what the "result" of such an experiment would be and how right/wrong applies. Wittgenstein argues that if a calculation is treated as an experiment to see what result rules lead to, it only works until the rules determine the result, after which it becomes a test of whether rules are followed. He concludes that calculation becomes a standard or norm (a "picture" deposited in archives), independent of any single experiment, based on widespread agreement in practice, not on discovering an objective result.		* Lecture X: This lecture scrutinizes the idea that mathematical calculation is a form of experiment, questioning what the "result" of such an experiment would be and how right/wrong applies. Wittgenstein argues that if a calculation is treated as an experiment to see what result rules lead to, it only works until the rules determine the result, after which it becomes a test of whether rules are followed. He concludes that calculation becomes a standard or norm (a "picture" deposited in archives), independent of any single experiment, based on widespread agreement in practice, not on discovering an objective result.

			==Lectures XI-XX==

	* Lecture XI: Wittgenstein continues discussing calculation versus experiment, emphasizing that mathematical rules (like 2×2=4) are adopted and become standards, independent of empirical outcomes, unlike scientific hypotheses. He addresses the issue of infinite possibilities (like infinite multiplications), arguing that rules and paradigms, not an exhaustive list of instances, are what's archived or learned, and the concept of infinity pertains to the technique learned, not a huge quantity. The lecture concludes by reiterating that mathematical propositions function like definitions or grammatical rules, preparing symbols for use rather than describing an external reality.		* Lecture XI: Wittgenstein continues discussing calculation versus experiment, emphasizing that mathematical rules (like 2×2=4) are adopted and become standards, independent of empirical outcomes, unlike scientific hypotheses. He addresses the issue of infinite possibilities (like infinite multiplications), arguing that rules and paradigms, not an exhaustive list of instances, are what's archived or learned, and the concept of infinity pertains to the technique learned, not a huge quantity. The lecture concludes by reiterating that mathematical propositions function like definitions or grammatical rules, preparing symbols for use rather than describing an external reality.
	* Lecture XII: (The provided text skips from Lecture XI page 113 to Lecture XIII page 123. There is no content available for Lecture XII in the provided text.)		* Lecture XII: (The provided text skips from Lecture XI page 113 to Lecture XIII page 123. There is no content available for Lecture XII in the provided text.)
Line 25:		Line 30:
	* Lecture XIX: This lecture elaborates on the relationship between the meaning of a word (like "not" or "all") and its use, arguing that while mental pictures or initial explanations often guide usage, the meaning is ultimately defined by the ongoing, shared practice or technique. Wittgenstein contends that logical laws like '(x).fx entails fa' are not based on discovering inherent meanings but represent the natural, conventional continuation of the techniques we learn for using words like "all"; violating these laws means using the words differently. He critiques the idea of a "logical machinery" behind symbols, arguing it's a misleading metaphor based on using physical mechanisms as symbols for behavior, whereas in logic, the rules and our adherence to them are the "mechanism".		* Lecture XIX: This lecture elaborates on the relationship between the meaning of a word (like "not" or "all") and its use, arguing that while mental pictures or initial explanations often guide usage, the meaning is ultimately defined by the ongoing, shared practice or technique. Wittgenstein contends that logical laws like '(x).fx entails fa' are not based on discovering inherent meanings but represent the natural, conventional continuation of the techniques we learn for using words like "all"; violating these laws means using the words differently. He critiques the idea of a "logical machinery" behind symbols, arguing it's a misleading metaphor based on using physical mechanisms as symbols for behavior, whereas in logic, the rules and our adherence to them are the "mechanism".
	* Lecture XX: Wittgenstein challenges the idea of a "super-rigidity" in logic, comparing it to the misleading notion of a kinematic rod being perfectly rigid (whereas it simply has no property corresponding to expansion/contraction in the calculus) or a law being "super-inexorable" (arising from linguistic parallels, not experience). He argues that the perceived inexorability of logic stems from confusing the rules of the calculus (which are fixed by us) with descriptions of reality; logic's "hardness" comes from our decision to adhere to its rules as a standard. The lecture concludes by stating that denying the existence of a "logical mechanism" or "super-rigidity" means showing these ideas arise from misleading pictures and analogies, not from the same source as ordinary rigidity.		* Lecture XX: Wittgenstein challenges the idea of a "super-rigidity" in logic, comparing it to the misleading notion of a kinematic rod being perfectly rigid (whereas it simply has no property corresponding to expansion/contraction in the calculus) or a law being "super-inexorable" (arising from linguistic parallels, not experience). He argues that the perceived inexorability of logic stems from confusing the rules of the calculus (which are fixed by us) with descriptions of reality; logic's "hardness" comes from our decision to adhere to its rules as a standard. The lecture concludes by stating that denying the existence of a "logical mechanism" or "super-rigidity" means showing these ideas arise from misleading pictures and analogies, not from the same source as ordinary rigidity.

			==Lectures XXI-XXXI===

	* Lecture XXI: Wittgenstein questions how we become convinced of logical laws, rejecting the idea that they are corroborated by experience (like the law of contradiction or 2+2=4). He suggests recognizing logical laws amounts to adopting and following certain linguistic practices and techniques because they align with our natural inclinations and avoid pointlessness or confusion, comparing this to the rejection of "reddish-green". He analyzes the Liar Paradox ("I am lying"), arguing its puzzling nature stems from treating it like a meaningful proposition within a useful system, whereas it's simply a useless language-game arising from grammatical analogy, and the resulting contradiction doesn't invalidate logic itself.		* Lecture XXI: Wittgenstein questions how we become convinced of logical laws, rejecting the idea that they are corroborated by experience (like the law of contradiction or 2+2=4). He suggests recognizing logical laws amounts to adopting and following certain linguistic practices and techniques because they align with our natural inclinations and avoid pointlessness or confusion, comparing this to the rejection of "reddish-green". He analyzes the Liar Paradox ("I am lying"), arguing its puzzling nature stems from treating it like a meaningful proposition within a useful system, whereas it's simply a useless language-game arising from grammatical analogy, and the resulting contradiction doesn't invalidate logic itself.
	* Lecture XXII: The lecture directly addresses Turing's concern that contradictions in a logical system used for applications (like building bridges) could cause failures. Wittgenstein argues that bridge failures stem from incorrect physics (wrong natural laws) or mistakes in calculation (applying the calculus wrongly), not from contradictions inherent in the mathematical/logical calculus itself. He contends that discovering a contradiction means we might need to refine the rules or avoid using that specific part of the calculus, but it doesn't necessarily invalidate prior correct applications or mean the system is inherently flawed or dangerous as long as the contradiction isn't actively used.		* Lecture XXII: The lecture directly addresses Turing's concern that contradictions in a logical system used for applications (like building bridges) could cause failures. Wittgenstein argues that bridge failures stem from incorrect physics (wrong natural laws) or mistakes in calculation (applying the calculus wrongly), not from contradictions inherent in the mathematical/logical calculus itself. He contends that discovering a contradiction means we might need to refine the rules or avoid using that specific part of the calculus, but it doesn't necessarily invalidate prior correct applications or mean the system is inherently flawed or dangerous as long as the contradiction isn't actively used.

Unknown user: /* Summary */

2025-05-01T22:13:29Z

Summary

← Older revision		Revision as of 22:13, 1 May 2025
Line 15:		Line 15:
	* Lecture IX: Wittgenstein examines proofs of impossibility, like constructing a 100-gon using only bisection from a square, suggesting such proofs function primarily to dissuade attempts by changing our idea of what the construction involves. He argues that mathematical problems like trisecting an angle arise from analogies in language ("bisect", "trisect"), and the proof of impossibility clarifies the limits of a specific technique, effectively excluding certain phrases (like "trisection with ruler and compass") from the notation. The lecture touches on the nature of mathematical belief and hypothesis, questioning how one can "believe" a theorem before it's proven, setting up the next discussion.		* Lecture IX: Wittgenstein examines proofs of impossibility, like constructing a 100-gon using only bisection from a square, suggesting such proofs function primarily to dissuade attempts by changing our idea of what the construction involves. He argues that mathematical problems like trisecting an angle arise from analogies in language ("bisect", "trisect"), and the proof of impossibility clarifies the limits of a specific technique, effectively excluding certain phrases (like "trisection with ruler and compass") from the notation. The lecture touches on the nature of mathematical belief and hypothesis, questioning how one can "believe" a theorem before it's proven, setting up the next discussion.
	* Lecture X: This lecture scrutinizes the idea that mathematical calculation is a form of experiment, questioning what the "result" of such an experiment would be and how right/wrong applies. Wittgenstein argues that if a calculation is treated as an experiment to see what result rules lead to, it only works until the rules determine the result, after which it becomes a test of whether rules are followed. He concludes that calculation becomes a standard or norm (a "picture" deposited in archives), independent of any single experiment, based on widespread agreement in practice, not on discovering an objective result.		* Lecture X: This lecture scrutinizes the idea that mathematical calculation is a form of experiment, questioning what the "result" of such an experiment would be and how right/wrong applies. Wittgenstein argues that if a calculation is treated as an experiment to see what result rules lead to, it only works until the rules determine the result, after which it becomes a test of whether rules are followed. He concludes that calculation becomes a standard or norm (a "picture" deposited in archives), independent of any single experiment, based on widespread agreement in practice, not on discovering an objective result.
	* Lecture XI: Wittgenstein continues discussing calculation versus experiment, emphasizing that mathematical rules (like 2×2=4) are adopted and become standards, independent of empirical outcomes, unlike scientific hypotheses. He addresses the issue of infinite possibilities (like infinite multiplications), arguing that rules and paradigms, not an exhaustive list of instances, are what's archived or learned, and the concept of infinity (ℵ		* Lecture XI: Wittgenstein continues discussing calculation versus experiment, emphasizing that mathematical rules (like 2×2=4) are adopted and become standards, independent of empirical outcomes, unlike scientific hypotheses. He addresses the issue of infinite possibilities (like infinite multiplications), arguing that rules and paradigms, not an exhaustive list of instances, are what's archived or learned, and the concept of infinity pertains to the technique learned, not a huge quantity. The lecture concludes by reiterating that mathematical propositions function like definitions or grammatical rules, preparing symbols for use rather than describing an external reality.
	* 0
	*
	* ) pertains to the technique learned, not a huge quantity. The lecture concludes by reiterating that mathematical propositions function like definitions or grammatical rules, preparing symbols for use rather than describing an external reality.
	* Lecture XII: (The provided text skips from Lecture XI page 113 to Lecture XIII page 123. There is no content available for Lecture XII in the provided text.)		* Lecture XII: (The provided text skips from Lecture XI page 113 to Lecture XIII page 123. There is no content available for Lecture XII in the provided text.)
	* Lecture XIII: Wittgenstein examines the nature of mathematical belief and proof, particularly regarding the recurrence of digits in division (like 1÷7). He questions what it means to "believe" a mathematical result before proof, suggesting it might mean believing a certain continuation is the most "natural" or that a particular rule will be adopted, rather than believing an objective fact. The lecture explores the idea of mathematical proof as shortening a process, arguing that accepting a shortcut (like using period recurrence instead of continuing division) involves adopting a new technique or criterion for correctness, influenced by consistency and practicality rather than discovering a pre-existing necessity.		* Lecture XIII: Wittgenstein examines the nature of mathematical belief and proof, particularly regarding the recurrence of digits in division (like 1÷7). He questions what it means to "believe" a mathematical result before proof, suggesting it might mean believing a certain continuation is the most "natural" or that a particular rule will be adopted, rather than believing an objective fact. The lecture explores the idea of mathematical proof as shortening a process, arguing that accepting a shortcut (like using period recurrence instead of continuing division) involves adopting a new technique or criterion for correctness, influenced by consistency and practicality rather than discovering a pre-existing necessity.

Unknown user: /* Summary */

2025-05-01T22:13:05Z

Summary

@@ Line 5: / Line 5: @@
 =Summary=
 * Lecture I: Wittgenstein introduces his approach to the foundations of mathematics, clarifying that he will not interfere with mathematicians' work or offer new interpretations, but rather address philosophical puzzles arising from everyday language used in mathematics, like "proof" and "number". He emphasizes the importance of understanding the use of mathematical expressions, not just the pictures they conjure, warning against misunderstandings that arise from assimilating expressions with different functions. The goal is not to make mathematical discoveries but to reframe them as inventions, highlighting differences rather than similarities to resolve linguistic confusion.
+* Lecture II: This lecture explores the concept of "understanding" a mathematical symbol or rule, questioning whether it's a mental state or defined by correct application over time. Wittgenstein examines the 'flash of understanding' and the intention to follow rules (like in chess), arguing that understanding isn't guaranteed by a mental picture or formula but is demonstrated through consistent, correct use, which itself relies on shared techniques and agreement. He discusses the ambiguity of "doing the same thing" when applying a rule like y=x^2 to different numbers, suggesting that following a rule involves decisions based on established practice rather than just intuition.
+* Lecture III: Wittgenstein distinguishes between mathematical propositions (timeless rules for symbol use, like 2+2=4) and non-mathematical propositions (statements about the world using those symbols, which are temporal). He questions what constitutes a mathematical proof, like the standard multiplication algorithm, arguing its status as a proof depends on its reliable application and connection to ordinary language concepts like "proof" or "equals". The lecture concludes that calling a pattern a 'proof' depends on its application, and there isn't a single, absolute mathematical fact separate from the physical applications or the specific proof pattern used.
+* Lecture IV: The lecture explores the relationship between mathematical calculi and physical reality, questioning whether a calculation used solely for prediction (like predicting weights or decorating walls) constitutes mathematics or physics. Wittgenstein argues that mathematical propositions like 25×25=625 function as rules, made independent of experience (unlike predictions), which structure how we describe experiences. He further discusses the impossibility of constructing a heptagon, suggesting this mathematical "impossibility" is a decision to exclude the phrase "construction of the heptagon" from our notation based on the proof, rather than an empirical fact.
+* Lecture V: Wittgenstein delves deeper into the meaning of mathematical possibility, using the construction of the pentagon versus the heptagon as examples. He questions what Euclidean geometry states when it speaks of equal lengths without defining a method of measurement, suggesting it provides a groundwork or model for description rather than describing objects in the ordinary sense. The lecture proposes that a mathematical proof (like demonstrating how puzzle pieces fit or constructing a pentagon) doesn't show an empirical possibility but rather provides a paradigm or model, establishing a new criterion for what counts as "possible" within that mathematical system.
+* Lecture VI: The lecture examines the nature of mathematical axioms and proofs, questioning the meaning of "can" in axioms like "a straight line can be drawn between any two points". Wittgenstein explores the concept of following a rule "analogously" or "in the same way", arguing that our judgment of what constitutes the "same" way is based on shared training and practice, not an inherent property of the steps themselves. He concludes that mathematical proofs often establish or clarify the use of terms like "analogous", essentially teaching a technique or classifying things rather than discovering pre-existing relationships, comparing mathematical "discovery" to invention.
 =Quotes=

Unknown user at 22:10, 1 May 2025

2025-05-01T22:10:21Z

← Older revision		Revision as of 22:10, 1 May 2025
Line 2:		Line 2:

	Cornell University Press		Cornell University Press

			=Summary=

			* Lecture I: Wittgenstein introduces his approach to the foundations of mathematics, clarifying that he will not interfere with mathematicians' work or offer new interpretations, but rather address philosophical puzzles arising from everyday language used in mathematics, like "proof" and "number". He emphasizes the importance of understanding the use of mathematical expressions, not just the pictures they conjure, warning against misunderstandings that arise from assimilating expressions with different functions. The goal is not to make mathematical discoveries but to reframe them as inventions, highlighting differences rather than similarities to resolve linguistic confusion.






			=Quotes=

	==Lecture 1==		==Lecture 1==
Line 117:		Line 128:
	}}		}}

	==Flags==		=Flags=

	{{ReadingFlag}}		{{ReadingFlag}}

Admin: /* Lecture 4 */

2019-03-31T19:25:38Z

Lecture 4

← Older revision		Revision as of 19:25, 31 March 2019
Line 110:		Line 110:

	{{Quote\|		{{Quote\|
	Suppose someone knew logic but not mathematics. Could we teach him to multiply simply by definitions? Can the decimal system be taught by definitions? If Russell can do all mathematics in Principia Mathematica, he ought to be able to work out 25 squared equals 625. But can he? How could decimal numbers be introduced into Principia Mathematica? Russel and Frege said that by introducing some more definitions into their systems they could prove such things as 25 squared equals 625. But we cannot teach anybody to multiply by definitions.		Suppose someone knew logic but not mathematics. Could we teach him to multiply simply by definitions? Can the decimal system be taught by definitions? If Russell can do all mathematics in ''Principia Mathematica'', he ought to be able to work out 25 squared equals 625. But can he? How could decimal numbers be introduced into ''Principia Mathematica''? Russel and Frege said that by introducing some more definitions into their systems they could prove such things as 25 squared equals 625. But we cannot teach anybody to multiply by definitions.

	Mathematics and logic are two different techniques. The definitions are not mere abbreviations; they are transitions from one technique to another.		Mathematics and logic are two different techniques. The definitions are not mere abbreviations; they are transitions from one technique to another.

Admin: /* Lecture 3 */

2019-03-31T19:21:08Z

Lecture 3

← Older revision		Revision as of 19:21, 31 March 2019
Line 80:		Line 80:

	{{Quote\|		{{Quote\|
	There is no "general proof." The word "proof" changes its meaning, just as the word "chess" changes its meaning. By the word "chess" one can mean the game which is defined yb the present rules of chess or the game as it has been played for centuries past with varying rules.		There is no "general proof." The word "proof" changes its meaning, just as the word "chess" changes its meaning. By the word "chess" one can mean the game which is defined by the present rules of chess or the game as it has been played for centuries past with varying rules.

	''We'' fix whether there is to be only one proof of a certain proposition, or two proofs, or many proofs. For everything depends on what we call a proof.		''We'' fix whether there is to be only one proof of a certain proposition, or two proofs, or many proofs. For everything depends on what we call a proof.

Admin: /* Lecture 2 */

2019-03-31T19:17:18Z

Lecture 2

← Older revision		Revision as of 19:17, 31 March 2019
Line 34:		Line 34:
	Suppose I teach Lewy to square numbers by giving him a rule and working out examples. And suppose these examples are taken from the series of numbers from 1 to 1,000,000. We are then tempted to say, "We can never really know that he will not differ from us when squaring numbers over, say, 1,000,000,000. And that shows that you never know for sure that another person understands."		Suppose I teach Lewy to square numbers by giving him a rule and working out examples. And suppose these examples are taken from the series of numbers from 1 to 1,000,000. We are then tempted to say, "We can never really know that he will not differ from us when squaring numbers over, say, 1,000,000,000. And that shows that you never know for sure that another person understands."

	But the real difficulty is, how do you know that you yourself understand a symbol? Can you really know that you know how to square numbers? Can you prophesy how you'll square tomorrow? - I know about myself just what i know about him, namely, that I have certain rules, that I have worked certain examples, that I have certain mental images, etc etc. But if so, can I ever know if I have understood? Can I ever really know what I mean by the square of a number? Because I don't know what I'll do tomorrow.		But the real difficulty is, how do you know that you yourself understand a symbol? Can you really know that you know how to square numbers? Can you prophesy how you'll square tomorrow? - I know about myself just what I know about him, namely, that I have certain rules, that I have worked certain examples, that I have certain mental images, etc etc. But if so, can I ever know if I have understood? Can I ever really know what I mean by the square of a number? Because I don't know what I'll do tomorrow.

	- p. 27		- p. 27