Combining Texts

All the ideas for 'Theaetetus', 'The Theory of Logical Types' and 'The Nature of Mathematical Knowledge'

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


70 ideas

1. Philosophy / D. Nature of Philosophy / 7. Despair over Philosophy
Philosophers are always switching direction to something more interesting [Plato]
1. Philosophy / F. Analytic Philosophy / 2. Analysis by Division
Understanding mainly involves knowing the elements, not their combinations [Plato]
Either a syllable is its letters (making parts as knowable as whole) or it isn't (meaning it has no parts) [Plato]
2. Reason / A. Nature of Reason / 6. Coherence
A rational account is essentially a weaving together of things with names [Plato]
2. Reason / C. Styles of Reason / 3. Eristic
Eristic discussion is aggressive, but dialectic aims to help one's companions in discussion [Plato]
2. Reason / D. Definition / 4. Real Definition
A primary element has only a name, and no logos, but complexes have an account, by weaving the names [Plato]
4. Formal Logic / E. Nonclassical Logics / 2. Intuitionist Logic
Intuitionists rely on assertability instead of truth, but assertability relies on truth [Kitcher]
5. Theory of Logic / E. Structures of Logic / 5. Functions in Logic
'Propositional functions' are ambiguous until the variable is given a value [Russell]
5. Theory of Logic / L. Paradox / 6. Paradoxes in Language / a. The Liar paradox
'All judgements made by Epimenedes are true' needs the judgements to be of the same type [Russell]
6. Mathematics / A. Nature of Mathematics / 1. Mathematics
Kitcher says maths is an idealisation of the world, and our operations in dealing with it [Kitcher, by Resnik]
Mathematical a priorism is conceptualist, constructivist or realist [Kitcher]
The interest or beauty of mathematics is when it uses current knowledge to advance undestanding [Kitcher]
The 'beauty' or 'interest' of mathematics is just explanatory power [Kitcher]
6. Mathematics / A. Nature of Mathematics / 3. Nature of Numbers / g. Real numbers
Real numbers stand to measurement as natural numbers stand to counting [Kitcher]
6. Mathematics / A. Nature of Mathematics / 3. Nature of Numbers / j. Complex numbers
Complex numbers were only accepted when a geometrical model for them was found [Kitcher]
6. Mathematics / A. Nature of Mathematics / 4. Using Numbers / a. Units
A one-operation is the segregation of a single object [Kitcher]
6. Mathematics / A. Nature of Mathematics / 4. Using Numbers / g. Applying mathematics
The old view is that mathematics is useful in the world because it describes the world [Kitcher]
6. Mathematics / A. Nature of Mathematics / 5. The Infinite / k. Infinitesimals
With infinitesimals, you divide by the time, then set the time to zero [Kitcher]
6. Mathematics / C. Sources of Mathematics / 1. Mathematical Platonism / a. For mathematical platonism
We master arithmetic by knowing all the numbers in our soul [Plato]
6. Mathematics / C. Sources of Mathematics / 2. Intuition of Mathematics
Mathematical intuition is not the type platonism needs [Kitcher]
If mathematics comes through intuition, that is either inexplicable, or too subjective [Kitcher]
Intuition is no basis for securing a priori knowledge, because it is fallible [Kitcher]
6. Mathematics / C. Sources of Mathematics / 4. Mathematical Empiricism / a. Mathematical empiricism
Mathematical knowledge arises from basic perception [Kitcher]
My constructivism is mathematics as an idealization of collecting and ordering objects [Kitcher]
We derive limited mathematics from ordinary things, and erect powerful theories on their basis [Kitcher]
The defenders of complex numbers had to show that they could be expressed in physical terms [Kitcher]
6. Mathematics / C. Sources of Mathematics / 6. Logicism / b. Type theory
Type theory cannot identify features across levels (because such predicates break the rules) [Morris,M on Russell]
Classes are defined by propositional functions, and functions are typed, with an axiom of reducibility [Russell, by Lackey]
6. Mathematics / C. Sources of Mathematics / 6. Logicism / d. Logicism critique
Analyticity avoids abstract entities, but can there be truth without reference? [Kitcher]
6. Mathematics / C. Sources of Mathematics / 10. Constructivism / a. Constructivism
Arithmetic is made true by the world, but is also made true by our constructions [Kitcher]
Arithmetic is an idealizing theory [Kitcher]
We develop a language for correlations, and use it to perform higher level operations [Kitcher]
Constructivism is ontological (that it is the work of an agent) and epistemological (knowable a priori) [Kitcher]
6. Mathematics / C. Sources of Mathematics / 10. Constructivism / c. Conceptualism
Conceptualists say we know mathematics a priori by possessing mathematical concepts [Kitcher]
If meaning makes mathematics true, you still need to say what the meanings refer to [Kitcher]
6. Mathematics / C. Sources of Mathematics / 10. Constructivism / d. Predicativism
A one-variable function is only 'predicative' if it is one order above its arguments [Russell]
7. Existence / B. Change in Existence / 1. Nature of Change
There seem to be two sorts of change: alteration and motion [Plato]
9. Objects / A. Existence of Objects / 2. Abstract Objects / b. Need for abstracta
Abstract objects were a bad way of explaining the structure in mathematics [Kitcher]
9. Objects / C. Structure of Objects / 8. Parts of Objects / a. Parts of objects
If a word has no parts and has a single identity, it turns out to be the same kind of thing as a letter [Plato]
9. Objects / C. Structure of Objects / 8. Parts of Objects / c. Wholes from parts
A sum is that from which nothing is lacking, which is a whole [Plato]
The whole can't be the parts, because it would be all of the parts, which is the whole [Plato]
11. Knowledge Aims / A. Knowledge / 1. Knowledge
Things are only knowable if a rational account (logos) is possible [Plato]
11. Knowledge Aims / A. Knowledge / 2. Understanding
Expertise is knowledge of the whole by means of the parts [Plato]
11. Knowledge Aims / A. Knowledge / 4. Belief / c. Aim of beliefs
It is impossible to believe something which is held to be false [Plato]
11. Knowledge Aims / A. Knowledge / 4. Belief / d. Cause of beliefs
How can a belief exist if its object doesn't exist? [Plato]
12. Knowledge Sources / A. A Priori Knowledge / 1. Nature of the A Priori
A priori knowledge comes from available a priori warrants that produce truth [Kitcher]
12. Knowledge Sources / A. A Priori Knowledge / 6. A Priori from Reason
In long mathematical proofs we can't remember the original a priori basis [Kitcher]
12. Knowledge Sources / A. A Priori Knowledge / 9. A Priori from Concepts
Knowledge is a priori if the experience giving you the concepts thus gives you the knowledge [Kitcher]
12. Knowledge Sources / A. A Priori Knowledge / 10. A Priori as Subjective
We have some self-knowledge a priori, such as knowledge of our own existence [Kitcher]
12. Knowledge Sources / B. Perception / 1. Perception
Perception is infallible, suggesting that it is knowledge [Plato]
Our senses could have been separate, but they converge on one mind [Plato]
12. Knowledge Sources / C. Rationalism / 1. Rationalism
With what physical faculty do we perceive pairs of opposed abstract qualities? [Plato]
Thought must grasp being itself before truth becomes possible [Plato]
You might mistake eleven for twelve in your senses, but not in your mind [Plato]
13. Knowledge Criteria / A. Justification Problems / 1. Justification / a. Justification issues
A 'warrant' is a process which ensures that a true belief is knowledge [Kitcher]
13. Knowledge Criteria / A. Justification Problems / 1. Justification / b. Need for justification
An inadequate rational account would still not justify knowledge [Plato]
13. Knowledge Criteria / A. Justification Problems / 1. Justification / c. Defeasibility
If experiential can defeat a belief, then its justification depends on the defeater's absence [Kitcher, by Casullo]
13. Knowledge Criteria / A. Justification Problems / 2. Justification Challenges / a. Agrippa's trilemma
Parts and wholes are either equally knowable or equally unknowable [Plato]
Without distinguishing marks, how do I know what my beliefs are about? [Plato]
13. Knowledge Criteria / A. Justification Problems / 3. Internal or External / a. Pro-internalism
A rational account might be seeing an image of one's belief, like a reflection in a mirror [Plato]
A rational account involves giving an image, or analysis, or giving a differentiating mark [Plato]
13. Knowledge Criteria / B. Internal Justification / 4. Foundationalism / a. Foundationalism
Maybe primary elements can be named, but not receive a rational account [Plato]
13. Knowledge Criteria / B. Internal Justification / 5. Coherentism / b. Pro-coherentism
A rational account of a wagon would mean knowledge of its hundred parts [Plato]
13. Knowledge Criteria / D. Scepticism / 5. Dream Scepticism
What evidence can be brought to show whether we are dreaming or not? [Plato]
13. Knowledge Criteria / E. Relativism / 6. Relativism Critique
If you claim that all beliefs are true, that includes beliefs opposed to your own [Plato]
Clearly some people are superior to others when it comes to medicine [Plato]
How can a relativist form opinions about what will happen in the future? [Plato]
15. Nature of Minds / C. Capacities of Minds / 6. Idealisation
Idealisation trades off accuracy for simplicity, in varying degrees [Kitcher]
28. God / A. Divine Nature / 6. Divine Morality / c. God is the good
God must be the epitome of goodness, and we can only approach a divine state by being as good as possible [Plato]
29. Religion / D. Religious Issues / 3. Problem of Evil / a. Problem of Evil
There must always be some force of evil ranged against good [Plato]