Combining Texts

All the ideas for 'Completeness of Axioms of Logic', 'Monadology' and 'Lectures 1930-32 (student notes)'

expand these ideas     |    start again     |     specify just one area for these texts


55 ideas

1. Philosophy / C. History of Philosophy / 1. History of Philosophy
The history of philosophy only matters if the subject is a choice between rival theories [Wittgenstein]
1. Philosophy / D. Nature of Philosophy / 5. Aims of Philosophy / d. Philosophy as puzzles
Philosophy tries to be rid of certain intellectual puzzles, irrelevant to daily life [Wittgenstein]
1. Philosophy / D. Nature of Philosophy / 7. Despair over Philosophy
Philosophers express puzzlement, but don't clearly state the puzzle [Wittgenstein]
1. Philosophy / F. Analytic Philosophy / 5. Linguistic Analysis
We don't need a theory of truth, because we use the word perfectly well [Wittgenstein]
1. Philosophy / F. Analytic Philosophy / 7. Limitations of Analysis
We already know what we want to know, and analysis gives us no new facts [Wittgenstein]
2. Reason / B. Laws of Thought / 2. Sufficient Reason
No fact can be real and no proposition true unless there is a Sufficient Reason (even if we can't know it) [Leibniz]
2. Reason / F. Fallacies / 8. Category Mistake / a. Category mistakes
Words of the same kind can be substituted in a proposition without producing nonsense [Wittgenstein]
2. Reason / F. Fallacies / 8. Category Mistake / b. Category mistake as syntactic
Talking nonsense is not following the rules [Wittgenstein]
Grammar says that saying 'sound is red' is not false, but nonsense [Wittgenstein]
3. Truth / A. Truth Problems / 2. Defining Truth
There is no theory of truth, because it isn't a concept [Wittgenstein]
3. Truth / C. Correspondence Truth / 1. Correspondence Truth
All thought has the logical form of reality [Wittgenstein]
3. Truth / D. Coherence Truth / 1. Coherence Truth
Everything in the universe is interconnected, so potentially a mind could know everything [Leibniz]
4. Formal Logic / C. Predicate Calculus PC / 3. Completeness of PC
Gödel proved the completeness of first order predicate logic in 1930 [Gödel, by Walicki]
5. Theory of Logic / A. Overview of Logic / 1. Overview of Logic
In logic nothing is hidden [Wittgenstein]
5. Theory of Logic / C. Ontology of Logic / 4. Logic by Convention
Laws of logic are like laws of chess - if you change them, it's just a different game [Wittgenstein]
5. Theory of Logic / D. Assumptions for Logic / 3. Contradiction
Falsehood involves a contradiction, and truth is contradictory of falsehood [Leibniz]
Contradiction is between two rules, not between rule and reality [Wittgenstein]
5. Theory of Logic / E. Structures of Logic / 2. Logical Connectives / c. not
We may correctly use 'not' without making the rule explicit [Wittgenstein]
5. Theory of Logic / E. Structures of Logic / 2. Logical Connectives / d. and
Saying 'and' has meaning is just saying it works in a sentence [Wittgenstein]
5. Theory of Logic / F. Referring in Logic / 1. Naming / a. Names
A person's name doesn't mean their body; bodies don't sit down, and their existence can be denied [Wittgenstein]
6. Mathematics / A. Nature of Mathematics / 3. Nature of Numbers / g. Real numbers
We don't get 'nearer' to something by adding decimals to 1.1412... (root-2) [Wittgenstein]
6. Mathematics / A. Nature of Mathematics / 5. The Infinite / a. The Infinite
Infinity is not a number, so doesn't say how many; it is the property of a law [Wittgenstein]
7. Existence / C. Structure of Existence / 6. Fundamentals / c. Monads
The monad idea incomprehensibly spiritualises matter, instead of materialising soul [La Mettrie on Leibniz]
He replaced Aristotelian continuants with monads [Leibniz, by Wiggins]
Is a drop of urine really an infinity of thinking monads? [Voltaire on Leibniz]
It is unclear in 'Monadology' how extended bodies relate to mind-like monads. [Garber on Leibniz]
Changes in a monad come from an internal principle, and the diversity within its substance [Leibniz]
A 'monad' has basic perception and appetite; a 'soul' has distinct perception and memory [Leibniz]
7. Existence / D. Theories of Reality / 8. Facts / b. Types of fact
There are no positive or negative facts; these are just the forms of propositions [Wittgenstein]
8. Modes of Existence / D. Universals / 5. Universals as Concepts
Using 'green' is a commitment to future usage of 'green' [Wittgenstein]
9. Objects / B. Unity of Objects / 2. Substance / e. Substance critique
If a substance is just a thing that has properties, it seems to be a characterless non-entity [Leibniz, by Macdonald,C]
9. Objects / F. Identity among Objects / 7. Indiscernible Objects
There must be some internal difference between any two beings in nature [Leibniz]
10. Modality / C. Sources of Modality / 3. Necessity by Convention
For each necessity in the world there is an arbitrary rule of language [Wittgenstein]
10. Modality / D. Knowledge of Modality / 1. A Priori Necessary
Truths of reason are known by analysis, and are necessary; facts are contingent, and their opposites possible [Leibniz]
11. Knowledge Aims / A. Knowledge / 2. Understanding
Understanding is translation, into action or into other symbols [Wittgenstein]
12. Knowledge Sources / A. A Priori Knowledge / 4. A Priori as Necessities
Mathematical analysis ends in primitive principles, which cannot be and need not be demonstrated [Leibniz]
12. Knowledge Sources / B. Perception / 4. Sense Data / a. Sense-data theory
We live in sense-data, but talk about physical objects [Wittgenstein]
12. Knowledge Sources / B. Perception / 4. Sense Data / d. Sense-data problems
Part of what we mean by stating the facts is the way we tend to experience them [Wittgenstein]
12. Knowledge Sources / C. Rationalism / 1. Rationalism
We all expect the sun to rise tomorrow by experience, but astronomers expect it by reason [Leibniz]
12. Knowledge Sources / E. Direct Knowledge / 4. Memory
If you remember wrongly, then there must be some other criterion than your remembering [Wittgenstein]
14. Science / D. Explanation / 1. Explanation / b. Aims of explanation
Explanation and understanding are the same [Wittgenstein]
Explanation gives understanding by revealing the full multiplicity of the thing [Wittgenstein]
14. Science / D. Explanation / 2. Types of Explanation / i. Explanations by mechanism
A machine strikes us as being a rule of movement [Wittgenstein]
14. Science / D. Explanation / 3. Best Explanation / a. Best explanation
If an explanation is good, the symbol is used properly in the future [Wittgenstein]
15. Nature of Minds / B. Features of Minds / 3. Privacy
Increase a conscious machine to the size of a mill - you still won't see perceptions in it [Leibniz]
16. Persons / C. Self-Awareness / 2. Knowing the Self
We know the 'I' and its contents by abstraction from awareness of necessary truths [Leibniz]
18. Thought / A. Modes of Thought / 1. Thought
Thought is an activity which we perform by the expression of it [Wittgenstein]
19. Language / A. Nature of Meaning / 4. Meaning as Truth-Conditions
A proposition draws a line around the facts which agree with it [Wittgenstein]
19. Language / A. Nature of Meaning / 5. Meaning as Verification
The meaning of a proposition is the mode of its verification [Wittgenstein]
19. Language / A. Nature of Meaning / 7. Meaning Holism / a. Sentence meaning
Words function only in propositions, like levers in a machine [Wittgenstein]
19. Language / D. Propositions / 1. Propositions
A proposition is any expression which can be significantly negated [Wittgenstein]
26. Natural Theory / A. Speculations on Nature / 6. Early Matter Theories / f. Ancient elements
The true elements are atomic monads [Leibniz]
26. Natural Theory / D. Laws of Nature / 11. Against Laws of Nature
Laws of nature are an aspect of the phenomena, and are just our mode of description [Wittgenstein]
28. God / A. Divine Nature / 3. Divine Perfections
This is the most perfect possible universe, in its combination of variety with order [Leibniz]
28. God / B. Proving God / 2. Proofs of Reason / a. Ontological Proof
God alone (the Necessary Being) has the privilege that He must exist if He is possible [Leibniz]