Combining Texts

All the ideas for 'Theaetetus', 'Semantic Relationism' and 'Nominalism and Substitutional Quantifiers'

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


64 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]
5. Theory of Logic / A. Overview of Logic / 7. Second-Order Logic
The nominalist is tied by standard semantics to first-order, denying higher-order abstracta [Marcus (Barcan)]
5. Theory of Logic / E. Structures of Logic / 4. Variables in Logic
The usual Tarskian interpretation of variables is to specify their range of values [Fine,K]
Variables can be viewed as special terms - functions taking assignments into individuals [Fine,K]
It seemed that Frege gave the syntax for variables, and Tarski the semantics, and that was that [Fine,K]
In separate expressions variables seem identical in role, but in the same expression they aren't [Fine,K]
The 'algebraic' account of variables reduces quantification to the algebra of its component parts [Fine,K]
'Instantial' accounts of variables say we grasp arbitrary instances from their use in quantification [Fine,K]
5. Theory of Logic / F. Referring in Logic / 1. Naming / a. Names
Anything which refers tends to be called a 'name', even if it isn't a noun [Marcus (Barcan)]
Nominalists see proper names as a main vehicle of reference [Marcus (Barcan)]
5. Theory of Logic / F. Referring in Logic / 1. Naming / b. Names as descriptive
Cicero/Cicero and Cicero/Tully may differ in relationship, despite being semantically the same [Fine,K]
5. Theory of Logic / G. Quantification / 1. Quantification
Nominalists should quantify existentially at first-order, and substitutionally when higher [Marcus (Barcan)]
5. Theory of Logic / G. Quantification / 2. Domain of Quantification
Quantifiers are needed to refer to infinitely many objects [Marcus (Barcan)]
Substitutional semantics has no domain of objects, but place-markers for substitutions [Marcus (Barcan)]
5. Theory of Logic / G. Quantification / 4. Substitutional Quantification
Maybe a substitutional semantics for quantification lends itself to nominalism [Marcus (Barcan)]
Substitutional language has no ontology, and is just a way of speaking [Marcus (Barcan)]
A true universal sentence might be substitutionally refuted, by an unnamed denumerable object [Marcus (Barcan)]
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]
7. Existence / A. Nature of Existence / 3. Being / i. Deflating being
Is being just referent of the verb 'to be'? [Marcus (Barcan)]
7. Existence / B. Change in Existence / 1. Nature of Change
There seem to be two sorts of change: alteration and motion [Plato]
8. Modes of Existence / E. Nominalism / 3. Predicate Nominalism
Nominalists say predication is relations between individuals, or deny that it refers [Marcus (Barcan)]
9. Objects / A. Existence of Objects / 3. Objects in Thought
If objects are thoughts, aren't we back to psychologism? [Marcus (Barcan)]
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]
9. Objects / F. Identity among Objects / 1. Concept of Identity
I can only represent individuals as the same if I do not already represent them as the same [Fine,K]
9. Objects / F. Identity among Objects / 2. Defining Identity
Substitutivity won't fix identity, because expressions may be substitutable, but not refer at all [Marcus (Barcan)]
9. Objects / F. Identity among Objects / 5. Self-Identity
If Cicero=Tully refers to the man twice, then surely Cicero=Cicero does as well? [Fine,K]
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 / 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]
You might mistake eleven for twelve in your senses, but not in your mind [Plato]
Thought must grasp being itself before truth becomes possible [Plato]
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 / 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]
How can a relativist form opinions about what will happen in the future? [Plato]
Clearly some people are superior to others when it comes to medicine [Plato]
18. Thought / B. Mechanics of Thought / 5. Mental Files
Mental files are devices for keeping track of basic coordination of objects [Fine,K]
18. Thought / C. Content / 1. Content
You cannot determine the full content from a thought's intrinsic character, as relations are involved [Fine,K]
19. Language / C. Assigning Meanings / 2. Semantics
The standard aim of semantics is to assign a semantic value to each expression [Fine,K]
That two utterances say the same thing may not be intrinsic to them, but involve their relationships [Fine,K]
The two main theories are Holism (which is inferential), and Representational (which is atomistic) [Fine,K]
We should pursue semantic facts as stated by truths in theories (and not put the theories first!) [Fine,K]
Referentialist semantics has objects for names, properties for predicates, and propositions for connectives [Fine,K]
Fregeans approach the world through sense, Referentialists through reference [Fine,K]
19. Language / C. Assigning Meanings / 9. Indexical Semantics
I take indexicals such as 'this' and 'that' to be linked to some associated demonstration [Fine,K]
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]