Combining Texts

All the ideas for 'Lectures 1930-32 (student notes)', 'Structuralism Reconsidered' and 'Philosophical Logic'

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


65 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 / 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]
4. Formal Logic / D. Modal Logic ML / 6. Temporal Logic
With four tense operators, all complex tenses reduce to fourteen basic cases [Burgess]
4. Formal Logic / D. Modal Logic ML / 7. Barcan Formula
The temporal Barcan formulas fix what exists, which seems absurd [Burgess]
4. Formal Logic / E. Nonclassical Logics / 2. Intuitionist Logic
Is classical logic a part of intuitionist logic, or vice versa? [Burgess]
It is still unsettled whether standard intuitionist logic is complete [Burgess]
4. Formal Logic / E. Nonclassical Logics / 5. Relevant Logic
Relevance logic's → is perhaps expressible by 'if A, then B, for that reason' [Burgess]
5. Theory of Logic / A. Overview of Logic / 1. Overview of Logic
In logic nothing is hidden [Wittgenstein]
5. Theory of Logic / A. Overview of Logic / 4. Pure Logic
Technical people see logic as any formal system that can be studied, not a study of argument validity [Burgess]
5. Theory of Logic / A. Overview of Logic / 6. Classical Logic
Classical logic neglects the non-mathematical, such as temporality or modality [Burgess]
The Cut Rule expresses the classical idea that entailment is transitive [Burgess]
Classical logic neglects counterfactuals, temporality and modality, because maths doesn't use them [Burgess]
5. Theory of Logic / A. Overview of Logic / 9. Philosophical Logic
Philosophical logic is a branch of logic, and is now centred in computer science [Burgess]
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
Contradiction is between two rules, not between rule and reality [Wittgenstein]
5. Theory of Logic / E. Structures of Logic / 2. Logical Connectives / a. Logical connectives
Formalising arguments favours lots of connectives; proving things favours having very few [Burgess]
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 / E. Structures of Logic / 2. Logical Connectives / e. or
Asserting a disjunction from one disjunct seems odd, but can be sensible, and needed in maths [Burgess]
5. Theory of Logic / E. Structures of Logic / 4. Variables in Logic
All occurrences of variables in atomic formulas are free [Burgess]
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]
5. Theory of Logic / F. Referring in Logic / 2. Descriptions / b. Definite descriptions
The denotation of a definite description is flexible, rather than rigid [Burgess]
5. Theory of Logic / H. Proof Systems / 1. Proof Systems
'Induction' and 'recursion' on complexity prove by connecting a formula to its atomic components [Burgess]
5. Theory of Logic / H. Proof Systems / 6. Sequent Calculi
The sequent calculus makes it possible to have proof without transitivity of entailment [Burgess]
We can build one expanding sequence, instead of a chain of deductions [Burgess]
5. Theory of Logic / I. Semantics of Logic / 3. Logical Truth
'Tautologies' are valid formulas of classical sentential logic - or substitution instances in other logics [Burgess]
5. Theory of Logic / I. Semantics of Logic / 4. Satisfaction
Validity (for truth) and demonstrability (for proof) have correlates in satisfiability and consistency [Burgess]
5. Theory of Logic / J. Model Theory in Logic / 1. Logical Models
Models leave out meaning, and just focus on truth values [Burgess]
We only need to study mathematical models, since all other models are isomorphic to these [Burgess]
We aim to get the technical notion of truth in all models matching intuitive truth in all instances [Burgess]
5. Theory of Logic / L. Paradox / 6. Paradoxes in Language / a. The Liar paradox
The Liar seems like a truth-value 'gap', but dialethists see it as a 'glut' [Burgess]
6. Mathematics / A. Nature of Mathematics / 3. Nature of Numbers / d. Natural numbers
Numbers are identified by their main properties and relations, involving the successor function [MacBride]
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]
6. Mathematics / B. Foundations for Mathematics / 7. Mathematical Structuralism / e. Structuralism critique
For mathematical objects to be positions, positions themselves must exist first [MacBride]
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]
10. Modality / A. Necessity / 4. De re / De dicto modality
De re modality seems to apply to objects a concept intended for sentences [Burgess]
10. Modality / A. Necessity / 6. Logical Necessity
General consensus is S5 for logical modality of validity, and S4 for proof [Burgess]
Logical necessity has two sides - validity and demonstrability - which coincide in classical logic [Burgess]
10. Modality / B. Possibility / 8. Conditionals / a. Conditionals
Three conditionals theories: Materialism (material conditional), Idealism (true=assertable), Nihilism (no truth) [Burgess]
It is doubtful whether the negation of a conditional has any clear meaning [Burgess]
10. Modality / C. Sources of Modality / 3. Necessity by Convention
For each necessity in the world there is an arbitrary rule of language [Wittgenstein]
11. Knowledge Aims / A. Knowledge / 2. Understanding
Understanding is translation, into action or into other symbols [Wittgenstein]
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 / 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]
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 / 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]