Combining Philosophers

All the ideas for Hesiod, Kit Fine and Willard Quine

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


556 ideas

1. Philosophy / A. Wisdom / 3. Wisdom Deflated
Inspiration and social improvement need wisdom, but not professional philosophy [Quine]
1. Philosophy / D. Nature of Philosophy / 5. Aims of Philosophy / c. Philosophy as generalisation
We understand things through their dependency relations [Fine,K]
1. Philosophy / D. Nature of Philosophy / 6. Hopes for Philosophy
For a good theory of the world, we must focus on our flabby foundational vocabulary [Quine]
1. Philosophy / D. Nature of Philosophy / 7. Despair over Philosophy
Philosophers with a new concept are like children with a new toy [Fine,K]
1. Philosophy / E. Nature of Metaphysics / 1. Nature of Metaphysics
Quinean metaphysics just lists the beings, which is a domain with no internal structure [Schaffer,J on Quine]
Metaphysics deals with the existence of things and with the nature of things [Fine,K]
1. Philosophy / E. Nature of Metaphysics / 2. Possibility of Metaphysics
If metaphysics can't be settled, it hardly matters whether it makes sense [Fine,K]
1. Philosophy / E. Nature of Metaphysics / 3. Metaphysical Systems
Any statement can be held true if we make enough adjustment to the rest of the system [Quine]
1. Philosophy / E. Nature of Metaphysics / 4. Metaphysics as Science
Quine rejects Carnap's view that science and philosophy are distinct [Quine, by Boulter]
Philosophy is largely concerned with finding the minimum that science could get by with [Quine]
Quine's naturalistic and empirical view is based entirely on first-order logic and set theory [Quine, by Mautner]
1. Philosophy / E. Nature of Metaphysics / 5. Metaphysics beyond Science
Realist metaphysics concerns what is real; naive metaphysics concerns natures of things [Fine,K]
1. Philosophy / E. Nature of Metaphysics / 6. Metaphysics as Conceptual
Enquiry needs a conceptual scheme, so we should retain the best available [Quine]
We aren't stuck with our native conceptual scheme; we can gradually change it [Quine]
1. Philosophy / E. Nature of Metaphysics / 7. Against Metaphysics
'Quietist' says abandon metaphysics because answers are unattainable (as in Kant's noumenon) [Fine,K]
1. Philosophy / F. Analytic Philosophy / 4. Conceptual Analysis
My account shows how the concept works, rather than giving an analysis [Fine,K]
1. Philosophy / F. Analytic Philosophy / 6. Logical Analysis
If if time is money then if time is not money then time is money then if if if time is not money... [Quine]
Logicians don't paraphrase logic into language, because they think in the symbolic language [Quine]
Study vagueness first by its logic, then by its truth-conditions, and then its metaphysics [Fine,K]
1. Philosophy / F. Analytic Philosophy / 7. Limitations of Analysis
Concern for rigour can get in the way of understanding phenomena [Fine,K]
1. Philosophy / G. Scientific Philosophy / 3. Scientism
Philosophy is continuous with science, and has no external vantage point [Quine]
2. Reason / B. Laws of Thought / 3. Non-Contradiction
If you say that a contradiction is true, you change the meaning of 'not', and so change the subject [Quine]
To affirm 'p and not-p' is to have mislearned 'and' or 'not' [Quine]
2. Reason / B. Laws of Thought / 6. Ockham's Razor
Good algorithms and theories need many occurrences of just a few elements [Quine]
The quest for simplicity drove scientists to posit new entities, such as molecules in gases [Quine]
In arithmetic, ratios, negatives, irrationals and imaginaries were created in order to generalise [Quine]
2. Reason / D. Definition / 1. Definitions
Definition rests on synonymy, rather than explaining it [Quine]
2. Reason / D. Definition / 2. Aims of Definition
Definitions concern how we should speak, not how things are [Fine,K]
2. Reason / D. Definition / 3. Types of Definition
'Creative definitions' do not presuppose the existence of the objects defined [Fine,K]
Implicit definitions must be satisfiable, creative definitions introduce things, contextual definitions build on things [Fine,K, by Cook/Ebert]
2. Reason / D. Definition / 4. Real Definition
Definitions formed an abstract hierarchy for Aristotle, as sets do for us [Fine,K]
Modern philosophy has largely abandoned real definitions, apart from sortals [Fine,K]
Maybe two objects might require simultaneous real definitions, as with two simultaneous terms [Fine,K]
2. Reason / D. Definition / 5. Genus and Differentia
Aristotle sees hierarchies in definitions using genus and differentia (as we see them in sets) [Fine,K]
2. Reason / D. Definition / 6. Definition by Essence
Defining a term and giving the essence of an object don't just resemble - they are the same [Fine,K]
The essence or definition of an essence involves either a class of properties or a class of propositions [Fine,K]
2. Reason / D. Definition / 7. Contextual Definition
Contextual definition shifted the emphasis from words to whole sentences [Quine]
Definition by words is determinate but relative; fixing contexts could make it absolute [Quine]
Bentham's contextual definitions preserved terms after their denotation became doubtful [Quine]
2. Reason / D. Definition / 12. Paraphrase
Russell offered a paraphrase of definite description, to avoid the commitment to objects [Quine]
2. Reason / F. Fallacies / 1. Fallacy
The Struthionic Fallacy is that of burying one's head in the sand [Quine]
3. Truth / B. Truthmakers / 3. Truthmaker Maximalism
Truths need not always have their source in what exists [Fine,K]
3. Truth / B. Truthmakers / 5. What Makes Truths / a. What makes truths
Some sentences depend for their truth on worldly circumstances, and others do not [Fine,K]
3. Truth / B. Truthmakers / 7. Making Modal Truths
If the truth-making relation is modal, then modal truths will be grounded in anything [Fine,K]
3. Truth / C. Correspondence Truth / 1. Correspondence Truth
Science is sympathetic to truth as correspondence, since it depends on observation [Quine]
3. Truth / F. Semantic Truth / 2. Semantic Truth
Talk of 'truth' when sentences are mentioned; it reminds us that reality is the point of sentences [Quine]
3. Truth / H. Deflationary Truth / 1. Redundant Truth
Truth is redundant for single sentences; we do better to simply speak the sentence [Quine]
4. Formal Logic / B. Propositional Logic PL / 2. Tools of Propositional Logic / a. Symbols of PL
The logician's '→' does not mean the English if-then [Quine]
4. Formal Logic / B. Propositional Logic PL / 2. Tools of Propositional Logic / e. Axioms of PL
We can eliminate 'or' from our basic theory, by paraphrasing 'p or q' as 'not(not-p and not-q)' [Quine]
4. Formal Logic / D. Modal Logic ML / 1. Modal Logic
Maybe we can quantify modally if the objects are intensional, but it seems unlikely [Quine]
Quine says quantified modal logic creates nonsense, bad ontology, and false essentialism [Melia on Quine]
Quantified modal logic collapses if essence is withdrawn [Quine]
4. Formal Logic / D. Modal Logic ML / 3. Modal Logic Systems / h. System S5
S5 provides the correct logic for necessity in the broadly logical sense [Fine,K]
4. Formal Logic / D. Modal Logic ML / 6. Temporal Logic
It is important that the quantification over temporal entities is timeless [Quine]
4. Formal Logic / E. Nonclassical Logics / 3. Many-Valued Logic
Strong Kleene disjunction just needs one true disjunct; Weak needs the other to have some value [Fine,K]
4. Formal Logic / F. Set Theory ST / 1. Set Theory
Set theory is full of Platonist metaphysics, so Quine aimed to keep it separate from logic [Quine, by Benardete,JA]
4. Formal Logic / F. Set Theory ST / 4. Axioms for Sets / a. Axioms for sets
NF has no models, but just blocks the comprehension axiom, to avoid contradictions [Quine, by Dummett]
4. Formal Logic / F. Set Theory ST / 4. Axioms for Sets / o. Axiom of Constructibility V = L
Quine wants V = L for a cleaner theory, despite the scepticism of most theorists [Quine, by Shapiro]
4. Formal Logic / F. Set Theory ST / 4. Axioms for Sets / p. Axiom of Reducibility
Reducibility undermines type ramification, and is committed to the existence of functions [Quine, by Linsky,B]
The Axiom of Reducibility is self-effacing: if true, it isn't needed [Quine]
4. Formal Logic / F. Set Theory ST / 5. Conceptions of Set / d. Naïve logical sets
The set scheme discredited by paradoxes is actually the most natural one [Quine]
4. Formal Logic / F. Set Theory ST / 5. Conceptions of Set / e. Iterative sets
There is no stage at which we can take all the sets to have been generated [Fine,K]
4. Formal Logic / F. Set Theory ST / 7. Natural Sets
Russell's antinomy challenged the idea that any condition can produce a set [Quine]
4. Formal Logic / F. Set Theory ST / 8. Critique of Set Theory
Two things can never entail three things [Quine, by Benardete,JA]
4. Formal Logic / G. Formal Mereology / 1. Mereology
Part and whole contribute asymmetrically to one another, so must differ [Fine,K]
4. Formal Logic / G. Formal Mereology / 3. Axioms of Mereology
We might combine the axioms of set theory with the axioms of mereology [Fine,K]
5. Theory of Logic / A. Overview of Logic / 1. Overview of Logic
My logical grammar has sentences by predication, then negation, conjunction, and existential quantification [Quine]
In order to select the logic justified by experience, we would need to use a lot of logic [Boghossian on Quine]
5. Theory of Logic / A. Overview of Logic / 3. Value of Logic
Maybe logical truth reflects reality, but in different ways in different languages [Quine]
5. Theory of Logic / A. Overview of Logic / 6. Classical Logic
Elementary logic requires truth-functions, quantifiers (and variables), identity, and also sets of variables [Quine]
Indeterminacy is in conflict with classical logic [Fine,K]
5. Theory of Logic / A. Overview of Logic / 7. Second-Order Logic
Quine says higher-order items are intensional, and lack a clearly defined identity relation [Quine, by Shapiro]
Various strategies try to deal with the ontological commitments of second-order logic [Hale/Wright on Quine]
Quine rejects second-order logic, saying that predicates refer to multiple objects [Quine, by Hodes]
Quantifying over predicates is treating them as names of entities [Quine]
5. Theory of Logic / B. Logical Consequence / 1. Logical Consequence
Logical consequence is marked by being preserved under all nonlogical substitutions [Quine, by Sider]
Logical consequence is verification by a possible world within a truth-set [Fine,K]
5. Theory of Logic / C. Ontology of Logic / 1. Ontology of Logic
Whether a modal claim is true depends on how the object is described [Quine, by Fine,K]
Logical languages are rooted in ordinary language, and that connection must be kept [Quine]
5. Theory of Logic / C. Ontology of Logic / 3. If-Thenism
Quine quickly dismisses If-thenism [Quine, by Musgrave]
5. Theory of Logic / C. Ontology of Logic / 4. Logic by Convention
Logic needs general conventions, but that needs logic to apply them to individual cases [Quine, by Rey]
Claims that logic and mathematics are conventional are either empty, uninteresting, or false [Quine]
Logic isn't conventional, because logic is needed to infer logic from conventions [Quine]
If a convention cannot be communicated until after its adoption, what is its role? [Quine]
5. Theory of Logic / D. Assumptions for Logic / 1. Bivalence
Bivalence applies not just to sentences, but that general terms are true or false of each object [Quine]
5. Theory of Logic / D. Assumptions for Logic / 2. Excluded Middle
Excluded middle has three different definitions [Quine]
Excluded Middle, and classical logic, may fail for vague predicates [Fine,K]
5. Theory of Logic / D. Assumptions for Logic / 4. Identity in Logic
Quantification theory can still be proved complete if we add identity [Quine]
5. Theory of Logic / E. Structures of Logic / 1. Logical Form
Reduction to logical forms first simplifies idioms and grammar, then finds a single reading of it [Quine]
Is it the sentence-token or the sentence-type that has a logical form? [Fine,K]
5. Theory of Logic / E. Structures of Logic / 2. Logical Connectives / a. Logical connectives
If logical truths essentially depend on logical constants, we had better define the latter [Hacking on Quine]
Logical concepts rest on certain inferences, not on facts about implications [Fine,K]
5. Theory of Logic / E. Structures of Logic / 4. Variables in Logic
We study bound variables not to know reality, but to know what reality language asserts [Quine]
'Corner quotes' (quasi-quotation) designate 'whatever these terms designate' [Quine]
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]
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]
I think of variables as objects rather than as signs [Fine,K]
5. Theory of Logic / E. Structures of Logic / 6. Relations in Logic
All relations, apart from ancestrals, can be reduced to simpler logic [Quine]
5. Theory of Logic / E. Structures of Logic / 8. Theories in Logic
Theories in logic are sentences closed under consequence, but in truth discussions theories have axioms [Fine,K]
5. Theory of Logic / F. Referring in Logic / 1. Naming / a. Names
If we had to name objects to make existence claims, we couldn't discuss all the real numbers [Quine]
5. Theory of Logic / F. Referring in Logic / 1. Naming / b. Names as descriptive
Failure of substitutivity shows that a personal name is not purely referential [Quine]
Cicero/Cicero and Cicero/Tully may differ in relationship, despite being semantically the same [Fine,K]
5. Theory of Logic / F. Referring in Logic / 1. Naming / f. Names eliminated
We might do without names, by converting them into predicates [Quine, by Kirkham]
Canonical notation needs quantification, variables and predicates, but not names [Quine, by Orenstein]
Quine extended Russell's defining away of definite descriptions, to also define away names [Quine, by Orenstein]
Quine's arguments fail because he naively conflates names with descriptions [Fine,K on Quine]
Names are not essential, because naming can be turned into predication [Quine]
5. Theory of Logic / F. Referring in Logic / 2. Descriptions / c. Theory of definite descriptions
Names can be converted to descriptions, and Russell showed how to eliminate those [Quine]
5. Theory of Logic / F. Referring in Logic / 3. Property (λ-) Abstraction
The property of Property Abstraction says any suitable condition must imply a property [Fine,K]
5. Theory of Logic / G. Quantification / 1. Quantification
Quantifying into referentially opaque contexts often produces nonsense [Quine]
Objects are the values of variables, so a referentially opaque context cannot be quantified into [Quine]
No sense can be made of quantification into opaque contexts [Quine, by Hale]
Finite quantification can be eliminated in favour of disjunction and conjunction [Quine, by Dummett]
Universal quantification is widespread, but it is definable in terms of existential quantification [Quine]
5. Theory of Logic / G. Quantification / 4. Substitutional Quantification
Quine thought substitutional quantification confused use and mention, but then saw its nominalist appeal [Quine, by Marcus (Barcan)]
Either reference really matters, or we don't need to replace it with substitutions [Quine]
If quantification is all substitutional, there is no ontology [Quine]
You can't base quantification on substituting names for variables, if the irrationals cannot all be named [Quine]
Some quantifications could be false substitutionally and true objectually, because of nameless objects [Quine]
Substitutional quantification is referential quantification over expressions [Fine,K]
5. Theory of Logic / G. Quantification / 5. Second-Order Quantification
Putting a predicate letter in a quantifier is to make it the name of an entity [Quine]
If you ask what F the second-order quantifier quantifies over, you treat it as first-order [Fine,K]
5. Theory of Logic / G. Quantification / 6. Plural Quantification
Plurals can in principle be paraphrased away altogether [Quine]
5. Theory of Logic / I. Semantics of Logic / 1. Semantics of Logic
Assigning an entity to each predicate in semantics is largely a technical convenience [Fine,K]
Classical semantics has referents for names, extensions for predicates, and T or F for sentences [Fine,K]
5. Theory of Logic / I. Semantics of Logic / 3. Logical Truth
A logical truth is true in virtue of the nature of the logical concepts [Fine,K]
Logic holding between indefinite sentences is the core of all language [Fine,K]
A sentence is logically true if all sentences with that grammatical structure are true [Quine]
5. Theory of Logic / L. Paradox / 3. Antinomies
Antinomies contradict accepted ways of reasoning, and demand revisions [Quine]
5. Theory of Logic / L. Paradox / 4. Paradoxes in Logic / a. Achilles paradox
Whenever the pursuer reaches the spot where the pursuer has been, the pursued has moved on [Quine]
5. Theory of Logic / L. Paradox / 5. Paradoxes in Set Theory / a. Set theory paradoxes
Set theory was struggling with higher infinities, when new paradoxes made it baffling [Quine]
5. Theory of Logic / L. Paradox / 5. Paradoxes in Set Theory / d. Russell's paradox
A barber shaves only those who do not shave themselves. So does he shave himself? [Quine]
Membership conditions which involve membership and non-membership are paradoxical [Quine]
5. Theory of Logic / L. Paradox / 6. Paradoxes in Language / a. The Liar paradox
If we write it as '"this sentence is false" is false', there is no paradox [Quine]
6. Mathematics / A. Nature of Mathematics / 2. Geometry
Klein summarised geometry as grouped together by transformations [Quine]
If analytic geometry identifies figures with arithmetical relations, logicism can include geometry [Quine]
6. Mathematics / A. Nature of Mathematics / 3. Nature of Numbers / b. Types of number
Dedekind cuts lead to the bizarre idea that there are many different number 1's [Fine,K]
6. Mathematics / A. Nature of Mathematics / 3. Nature of Numbers / e. Ordinal numbers
Any progression will do nicely for numbers; they can all then be used to measure multiplicity [Quine]
6. Mathematics / A. Nature of Mathematics / 3. Nature of Numbers / i. Reals from cuts
Why should a Dedekind cut correspond to a number? [Fine,K]
6. Mathematics / A. Nature of Mathematics / 3. Nature of Numbers / l. Zero
Unless we know whether 0 is identical with the null set, we create confusions [Fine,K]
6. Mathematics / B. Foundations for Mathematics / 3. Axioms for Geometry
There are four different possible conventional accounts of geometry [Quine]
6. Mathematics / B. Foundations for Mathematics / 5. Definitions of Number / c. Fregean numbers
The existence of numbers is not a matter of identities, but of constituents of the world [Fine,K]
6. Mathematics / B. Foundations for Mathematics / 5. Definitions of Number / d. Hume's Principle
If Hume's Principle can define numbers, we needn't worry about its truth [Fine,K]
Hume's Principle is either adequate for number but fails to define properly, or vice versa [Fine,K]
6. Mathematics / B. Foundations for Mathematics / 6. Mathematics as Set Theory / a. Mathematics is set theory
Maths can be reduced to logic and set theory [Quine]
All the arithmetical entities can be reduced to classes of integers, and hence to sets [Quine]
6. Mathematics / B. Foundations for Mathematics / 6. Mathematics as Set Theory / b. Mathematics is not set theory
Set-theoretic imperialists think sets can represent every mathematical object [Fine,K]
6. Mathematics / B. Foundations for Mathematics / 7. Mathematical Structuralism / a. Structuralism
I apply structuralism to concrete and abstract objects indiscriminately [Quine]
6. Mathematics / C. Sources of Mathematics / 1. Mathematical Platonism / b. Against mathematical platonism
It is plausible that x^2 = -1 had no solutions before complex numbers were 'introduced' [Fine,K]
6. Mathematics / C. Sources of Mathematics / 3. Mathematical Nominalism
Nominalism rejects both attributes and classes (where extensionalism accepts the classes) [Quine]
6. Mathematics / C. Sources of Mathematics / 4. Mathematical Empiricism / a. Mathematical empiricism
Quine blurs the difference between knowledge of arithmetic and of physics [Jenkins on Quine]
The indispensability argument shows that nature is non-numerical, not the denial of numbers [Fine,K]
6. Mathematics / C. Sources of Mathematics / 4. Mathematical Empiricism / b. Indispensability of mathematics
Nearly all of mathematics has to quantify over abstract objects [Quine]
Mathematics is part of science; transfinite mathematics I take as mostly uninterpreted [Quine]
6. Mathematics / C. Sources of Mathematics / 6. Logicism / a. Early logicism
If mathematics follows from definitions, then it is conventional, and part of logic [Quine]
Logicists say mathematics can be derived from definitions, and can be known that way [Fine,K]
6. Mathematics / C. Sources of Mathematics / 6. Logicism / b. Type theory
Russell confused use and mention, and reduced classes to properties, not to language [Quine, by Lackey]
6. Mathematics / C. Sources of Mathematics / 6. Logicism / c. Neo-logicism
Proceduralism offers a version of logicism with no axioms, or objects, or ontological commitment [Fine,K]
6. Mathematics / C. Sources of Mathematics / 6. Logicism / d. Logicism critique
Mathematics reduces to set theory (which is a bit vague and unobvious), but not to logic proper [Quine]
Logicists cheerfully accept reference to bound variables and all sorts of abstract entities [Quine]
If set theory is not actually a branch of logic, then Frege's derivation of arithmetic would not be from logic [Quine]
6. Mathematics / C. Sources of Mathematics / 7. Formalism
Formalism says maths is built of meaningless notations; these build into rules which have meaning [Quine]
6. Mathematics / C. Sources of Mathematics / 10. Constructivism / a. Constructivism
The objects and truths of mathematics are imperative procedures for their construction [Fine,K]
My Proceduralism has one simple rule, and four complex rules [Fine,K]
6. Mathematics / C. Sources of Mathematics / 10. Constructivism / b. Intuitionism
Intuitionism says classes are invented, and abstract entities are constructed from specified ingredients [Quine]
For Quine, intuitionist ontology is inadequate for classical mathematics [Quine, by Orenstein]
Intuitionists only admit numbers properly constructed, but classical maths covers all reals in a 'limit' [Quine, by Orenstein]
6. Mathematics / C. Sources of Mathematics / 10. Constructivism / c. Conceptualism
Conceptualism holds that there are universals but they are mind-made [Quine]
7. Existence / A. Nature of Existence / 1. Nature of Existence
'Exists' is a predicate, not a quantifier; 'electrons exist' is like 'electrons spin' [Fine,K]
7. Existence / A. Nature of Existence / 2. Types of Existence
For Quine, there is only one way to exist [Quine, by Shapiro]
There are levels of existence, as well as reality; objects exist at the lowest level in which they can function [Fine,K]
7. Existence / A. Nature of Existence / 3. Being / b. Being and existence
An object's 'being' isn't existence; there's more to an object than existence, and its nature doesn't include existence [Fine,K]
Philosophers tend to distinguish broad 'being' from narrower 'existence' - but I reject that [Quine]
7. Existence / A. Nature of Existence / 3. Being / g. Particular being
The idea of a thing and the idea of existence are two sides of the same coin [Quine, by Crane]
7. Existence / A. Nature of Existence / 4. Abstract Existence
Abstracts cannot be identified with sets [Fine,K]
Points in Euclidean space are abstract objects, but not introduced by abstraction [Fine,K]
Postulationism says avoid abstract objects by giving procedures that produce truth [Fine,K]
Just as we introduced complex numbers, so we introduced sums and temporal parts [Fine,K]
7. Existence / A. Nature of Existence / 6. Criterion for Existence
Absolute ontological questions are meaningless, because the answers are circular definitions [Quine]
Quine rests existence on bound variables, because he thinks singular terms can be analysed away [Quine, by Hale]
All we have of general existence is what existential quantifiers express [Quine]
Real objects are those which figure in the facts that constitute reality [Fine,K]
Being real and being fundamental are separate; Thales's water might be real and divisible [Fine,K]
7. Existence / B. Change in Existence / 2. Processes
A river is a process, with stages; if we consider it as one thing, we are considering a process [Quine]
7. Existence / B. Change in Existence / 4. Events / c. Reduction of events
Explaining events just by bodies can't explain two events identical in space-time [Quine]
7. Existence / C. Structure of Existence / 1. Grounding / a. Nature of grounding
If you make 'grounding' fundamental, you have to mention some non-fundamental notions [Sider on Fine,K]
Something is grounded when it holds, and is explained, and necessitated by something else [Fine,K, by Sider]
Formal grounding needs transitivity of grounding, no self-grounding, and the existence of both parties [Fine,K]
2+2=4 is necessary if it is snowing, but not true in virtue of the fact that it is snowing [Fine,K]
If you say one thing causes another, that leaves open that the 'other' has its own distinct reality [Fine,K]
An immediate ground is the next lower level, which gives the concept of a hierarchy [Fine,K]
'Strict' ground moves down the explanations, but 'weak' ground can move sideways [Fine,K]
We learn grounding from what is grounded, not what does the grounding [Fine,K]
7. Existence / C. Structure of Existence / 1. Grounding / b. Relata of grounding
Grounding relations are best expressed as relations between sentences [Fine,K]
If grounding is a relation it must be between entities of the same type, preferably between facts [Fine,K]
Ground is best understood as a sentence operator, rather than a relation between predicates [Fine,K]
7. Existence / C. Structure of Existence / 1. Grounding / c. Grounding and explanation
Only metaphysical grounding must be explained by essence [Fine,K]
Maybe bottom-up grounding shows constitution, and top-down grounding shows essence [Fine,K]
Philosophical explanation is largely by ground (just as cause is used in science) [Fine,K]
7. Existence / C. Structure of Existence / 1. Grounding / d. Grounding and reduction
We can only explain how a reduction is possible if we accept the concept of ground [Fine,K]
7. Existence / C. Structure of Existence / 2. Reduction
Reduction might be producing a sentence which gets closer to the logical form [Fine,K]
Reduction might be semantic, where a reduced sentence is understood through its reduction [Fine,K]
Reduction is modal, if the reductions necessarily entail the truth of the target sentence [Fine,K]
The notion of reduction (unlike that of 'ground') implies the unreality of what is reduced [Fine,K]
7. Existence / C. Structure of Existence / 4. Ontological Dependence
There is 'weak' dependence in one definition, and 'strong' dependence in all the definitions [Fine,K]
An object is dependent if its essence prevents it from existing without some other object [Fine,K]
A natural modal account of dependence says x depends on y if y must exist when x does [Fine,K]
An object depends on another if the second cannot be eliminated from the first's definition [Fine,K]
Dependency is the real counterpart of one term defining another [Fine,K]
7. Existence / C. Structure of Existence / 7. Abstract/Concrete / a. Abstract/concrete
We can only see an alien language in terms of our own thought structures (e.g. physical/abstract) [Quine]
We don't say 'red' is abstract, unlike a river, just because it has discontinuous shape [Quine]
Possible objects are abstract; actual concrete objects are possible; so abstract/concrete are compatible [Fine,K]
7. Existence / C. Structure of Existence / 7. Abstract/Concrete / b. Levels of abstraction
A generative conception of abstracts proposes stages, based on concepts of previous objects [Fine,K]
7. Existence / C. Structure of Existence / 8. Stuff / a. Pure stuff
Mass terms just concern spread, but other terms involve both spread and individuation [Quine]
7. Existence / D. Theories of Reality / 1. Ontologies
Quine's ontology is wrong; his question is scientific, and his answer is partly philosophical [Fine,K on Quine]
For ontology we need, not internal or external views, but a view from outside reality [Fine,K]
7. Existence / D. Theories of Reality / 3. Reality
Why should what is explanatorily basic be therefore more real? [Fine,K]
In metaphysics, reality is regarded as either 'factual', or as 'fundamental' [Fine,K]
Bottom level facts are subject to time and world, middle to world but not time, and top to neither [Fine,K]
A non-standard realism, with no privileged standpoint, might challenge its absoluteness or coherence [Fine,K]
What is real can only be settled in terms of 'ground' [Fine,K]
Reality is a primitive metaphysical concept, which cannot be understood in other terms [Fine,K]
7. Existence / D. Theories of Reality / 6. Physicalism
Every worldly event, without exception, is a redistribution of microphysical states [Quine]
My ontology is quarks etc., classes of such things, classes of such classes etc. [Quine]
7. Existence / D. Theories of Reality / 8. Facts / a. Facts
Facts, such as redness and roundness of a ball, can be 'fused' into one fact [Fine,K]
7. Existence / D. Theories of Reality / 8. Facts / b. Types of fact
Tensed and tenseless sentences state two sorts of fact, which belong to two different 'realms' of reality [Fine,K]
7. Existence / D. Theories of Reality / 10. Vagueness / a. Problem of vagueness
Conjoining two indefinites by related sentences seems to produce a contradiction [Fine,K]
Standardly vagueness involves borderline cases, and a higher standpoint from which they can be seen [Fine,K]
Local indeterminacy concerns a single object, and global indeterminacy covers a range [Fine,K]
7. Existence / D. Theories of Reality / 10. Vagueness / c. Vagueness as ignorance
Identifying vagueness with ignorance is the common mistake of confusing symptoms with cause [Fine,K]
7. Existence / D. Theories of Reality / 10. Vagueness / d. Vagueness as linguistic
Terms learned by ostension tend to be vague, because that must be quick and unrefined [Quine]
Vagueness is semantic, a deficiency of meaning [Fine,K]
7. Existence / D. Theories of Reality / 10. Vagueness / e. Higher-order vagueness
A thing might be vaguely vague, giving us higher-order vagueness [Fine,K]
7. Existence / D. Theories of Reality / 10. Vagueness / f. Supervaluation for vagueness
A vague sentence is only true for all ways of making it completely precise [Fine,K]
Logical connectives cease to be truth-functional if vagueness is treated with three values [Fine,K]
Meaning is both actual (determining instances) and potential (possibility of greater precision) [Fine,K]
With the super-truth approach, the classical connectives continue to work [Fine,K]
Borderline cases must be under our control, as capable of greater precision [Fine,K]
Supervaluation can give no answer to 'who is the last bald man' [Fine,K]
7. Existence / D. Theories of Reality / 11. Ontological Commitment / a. Ontological commitment
What actually exists does not, of course, depend on language [Quine]
General terms don't commit us ontologically, but singular terms with substitution do [Quine]
Names have no ontological commitment, because we can deny that they name anything [Quine]
A logically perfect language could express all truths, so all truths must be logically expressible [Quine, by Hossack]
7. Existence / D. Theories of Reality / 11. Ontological Commitment / b. Commitment of quantifiers
To be is to be the value of a variable, which amounts to being in the range of reference of a pronoun [Quine]
We can use quantification for commitment to unnameable things like the real numbers [Quine]
"No entity without identity" - our ontology must contain items with settled identity conditions [Quine, by Melia]
Existence is implied by the quantifiers, not by the constants [Quine]
Ontological claims are often universal, and not a matter of existential quantification [Fine,K]
7. Existence / D. Theories of Reality / 11. Ontological Commitment / c. Commitment of predicates
Quine says we can expand predicates easily (ideology), but not names (ontology) [Quine, by Noonan]
Theories are committed to objects of which some of its predicates must be true [Quine]
7. Existence / D. Theories of Reality / 11. Ontological Commitment / d. Commitment of theories
Fictional quantification has no ontology, so we study ontology through scientific theories [Quine, by Orenstein]
An ontology is like a scientific theory; we accept the simplest scheme that fits disorderly experiences [Quine]
Express a theory in first-order predicate logic; its ontology is the types of bound variable needed for truth [Quine, by Lowe]
Ontological commitment of theories only arise if they are classically quantified [Quine]
Ontology is relative to both a background theory and a translation manual [Quine]
For Quine everything exists theoretically, as reference, predication and quantification [Quine, by Benardete,JA]
7. Existence / D. Theories of Reality / 11. Ontological Commitment / e. Ontological commitment problems
If commitment rests on first-order logic, we obviously lose the ontology concerning predication [Maudlin on Quine]
If to be is to be the value of a variable, we must already know the values available [Jacquette on Quine]
Quine is hopeless circular, deriving ontology from what is literal, and 'literal' from good ontology [Yablo on Quine]
You can be implicitly committed to something without quantifying over it [Thomasson on Quine]
7. Existence / E. Categories / 1. Categories
In formal terms, a category is the range of some style of variables [Quine]
7. Existence / E. Categories / 4. Category Realism
The quest for ultimate categories is the quest for a simple clear pattern of notation [Quine]
7. Existence / E. Categories / 5. Category Anti-Realism
Discourse generally departmentalizes itself to some degree [Quine]
8. Modes of Existence / A. Relations / 1. Nature of Relations
The 'standard' view of relations is that they hold of several objects in a given order [Fine,K]
The 'positionalist' view of relations says the number of places is fixed, but not the order [Fine,K]
A block on top of another contains one relation, not both 'on top of' and 'beneath' [Fine,K]
Language imposes a direction on a road which is not really part of the road [Fine,K]
Explain biased relations as orderings of the unbiased, or the unbiased as permutation classes of the biased? [Fine,K]
8. Modes of Existence / B. Properties / 1. Nature of Properties
The category of objects incorporates the old distinction of substances and their modes [Quine]
8. Modes of Existence / B. Properties / 10. Properties as Predicates
Quine says the predicate of a true statement has no ontological implications [Quine, by Armstrong]
8. Modes of Existence / B. Properties / 12. Denial of Properties
There is no proper identity concept for properties, and it is hard to distinguish one from two [Quine]
Quine suggests that properties can be replaced with extensional entities like sets [Quine, by Shapiro]
Quine says that if second-order logic is to quantify over properties, that can be done in first-order predicate logic [Quine, by Benardete,JA]
Quine brought classes into semantics to get rid of properties [Quine, by McGinn]
Predicates are not names; predicates are the other parties to predication [Quine]
Don't analyse 'red is a colour' as involving properties. Say 'all red things are coloured things' [Quine, by Orenstein]
Because things can share attributes, we cannot individuate attributes clearly [Quine]
8. Modes of Existence / C. Powers and Dispositions / 3. Powers as Derived
Dispositions are physical states of mechanism; when known, these replace the old disposition term [Quine]
8. Modes of Existence / C. Powers and Dispositions / 4. Powers as Essence
The possible Aristotelian view that forms are real and active principles is clearly wrong [Fine,K, by Pasnau]
8. Modes of Existence / C. Powers and Dispositions / 6. Dispositions / a. Dispositions
Either dispositions rest on structures, or we keep saying 'all things being equal' [Quine]
Once we know the mechanism of a disposition, we can eliminate 'similarity' [Quine]
8. Modes of Existence / C. Powers and Dispositions / 6. Dispositions / d. Dispositions as occurrent
Explain unmanifested dispositions as structural similarities to objects which have manifested them [Quine, by Martin,CB]
We judge things to be soluble if they are the same kind as, or similar to, things that do dissolve [Quine]
8. Modes of Existence / D. Universals / 1. Universals
Realism, conceptualism and nominalism in medieval universals reappear in maths as logicism, intuitionism and formalism [Quine]
8. Modes of Existence / D. Universals / 2. Need for Universals
Universals are acceptable if they are needed to make an accepted theory true [Quine, by Jacquette]
8. Modes of Existence / E. Nominalism / 1. Nominalism / b. Nominalism about universals
There is no entity called 'redness', and that some things are red is ultimate and irreducible [Quine]
Commitment to universals is as arbitrary or pragmatic as the adoption of a new system of bookkeeping [Quine]
8. Modes of Existence / E. Nominalism / 3. Predicate Nominalism
Quine has argued that predicates do not have any ontological commitment [Quine, by Armstrong]
8. Modes of Existence / E. Nominalism / 4. Concept Nominalism
Understanding 'is square' is knowing when to apply it, not knowing some object [Quine]
8. Modes of Existence / E. Nominalism / 5. Class Nominalism
Quine aims to deal with properties by the use of eternal open sentences, or classes [Quine, by Devitt]
Quine is committed to sets, but is more a Class Nominalist than a Platonist [Quine, by Macdonald,C]
You only know an attribute if you know what things have it [Quine]
8. Modes of Existence / E. Nominalism / 6. Mereological Nominalism
Red is the largest red thing in the universe [Quine]
'Red' is a single concrete object in space-time; 'red' and 'drop' are parts of a red drop [Quine]
9. Objects / A. Existence of Objects / 1. Physical Objects
The notion of a physical object is by far the most useful one for science [Quine]
If physical objects are a myth, they are useful for making sense of experience [Quine]
Treating scattered sensations as single objects simplifies our understanding of experience [Quine]
Physical objects in space-time are just events or processes, no matter how disconnected [Quine]
A physical object is the four-dimensional material content of a portion of space-time [Quine]
9. Objects / A. Existence of Objects / 2. Abstract Objects / b. Need for abstracta
Our conceptual scheme becomes more powerful when we posit abstract objects [Quine]
9. Objects / A. Existence of Objects / 3. Objects in Thought
Objects, as well as sentences, can have logical form [Fine,K]
9. Objects / A. Existence of Objects / 4. Impossible objects
Definite descriptions can't unambiguously pick out an object which doesn't exist [Lycan on Quine]
9. Objects / A. Existence of Objects / 5. Individuation / a. Individuation
I prefer 'no object without identity' to Quine's 'no entity without identity' [Lowe on Quine]
No entity without identity (which requires a principle of individuation) [Quine]
9. Objects / B. Unity of Objects / 1. Unifying an Object / a. Intrinsic unification
Modal features are not part of entities, because they are accounted for by the entity [Fine,K]
9. Objects / B. Unity of Objects / 1. Unifying an Object / c. Unity as conceptual
We should understand identity in terms of the propositions it renders true [Fine,K]
Hierarchical set membership models objects better than the subset or aggregate relations do [Fine,K]
9. Objects / B. Unity of Objects / 3. Unity Problems / e. Vague objects
Vagueness can be in predicates, names or quantifiers [Fine,K]
We do not have an intelligible concept of a borderline case [Fine,K]
9. Objects / C. Structure of Objects / 3. Matter of an Object
The matter is a relatively unstructured version of the object, like a set without membership structure [Fine,K]
9. Objects / C. Structure of Objects / 6. Constitution of an Object
There is no distinctive idea of constitution, because you can't say constitution begins and ends [Fine,K]
Is there a plausible Aristotelian notion of constitution, applicable to both physical and non-physical? [Fine,K]
9. Objects / C. Structure of Objects / 8. Parts of Objects / a. Parts of objects
A 'temporary' part is a part at one time, but may not be at another, like a carburetor [Fine,K]
A 'timeless' part just is a part, not a part at some time; some atoms are timeless parts of a water molecule [Fine,K]
9. Objects / C. Structure of Objects / 8. Parts of Objects / b. Sums of parts
An 'aggregative' sum is spread in time, and exists whenever a component exists [Fine,K]
An 'compound' sum is not spread in time, and only exists when all the components exists [Fine,K]
9. Objects / C. Structure of Objects / 8. Parts of Objects / c. Wholes from parts
Two sorts of whole have 'rigid embodiment' (timeless parts) or 'variable embodiment' (temporary parts) [Fine,K]
9. Objects / D. Essence of Objects / 1. Essences of Objects
Can the essence of an object circularly involve itself, or involve another object? [Fine,K]
9. Objects / D. Essence of Objects / 2. Types of Essence
How do we distinguish basic from derived esssences? [Fine,K]
Essences are either taken as real definitions, or as necessary properties [Fine,K]
Maybe some things have essential relationships as well as essential properties [Fine,K]
9. Objects / D. Essence of Objects / 3. Individual Essences
Being a man is a consequence of his essence, not constitutive of it [Fine,K]
9. Objects / D. Essence of Objects / 4. Essence as Definition
If there are alternative definitions, then we have three possibilities for essence [Fine,K]
An object only essentially has a property if that property follows from every definition of the object [Fine,K]
9. Objects / D. Essence of Objects / 6. Essence as Unifier
Essentially having a property is naturally expressed as 'the property it must have to be what it is' [Fine,K]
What it is is fixed prior to existence or the object's worldly features [Fine,K]
9. Objects / D. Essence of Objects / 7. Essence and Necessity / a. Essence as necessary properties
Simple modal essentialism refers to necessary properties of an object [Fine,K]
Essentialist claims can be formulated more clearly with quantified modal logic [Fine,K]
9. Objects / D. Essence of Objects / 7. Essence and Necessity / b. Essence not necessities
Metaphysical necessity is a special case of essence, not vice versa [Fine,K]
Essence as necessary properties produces a profusion of essential properties [Fine,K, by Lowe]
The nature of singleton Socrates has him as a member, but not vice versa [Fine,K]
It is not part of the essence of Socrates that a huge array of necessary truths should hold [Fine,K]
We must distinguish between the identity or essence of an object, and its necessary features [Fine,K]
9. Objects / D. Essence of Objects / 8. Essence as Explanatory
An essential property of something must be bound up with what it is to be that thing [Fine,K, by Rami]
9. Objects / D. Essence of Objects / 9. Essence and Properties
Aristotelian essentialism says a thing has some necessary and some non-necessary properties [Quine]
Essential properties are part of an object's 'definition' [Fine,K, by Rami]
Essential features of an object have no relation to how things actually are [Fine,K]
9. Objects / D. Essence of Objects / 15. Against Essentialism
Aristotelian essence of the object has become the modern essence of meaning [Quine]
Quantification into modal contexts requires objects to have an essence [Quine]
Mathematicians must be rational but not two-legged, cyclists the opposite. So a mathematical cyclist? [Quine]
Cyclist are not actually essentially two-legged [Brody on Quine]
Essences can make sense in a particular context or enquiry, as the most basic predicates [Quine]
9. Objects / E. Objects over Time / 3. Three-Dimensionalism
3-D says things are stretched in space but not in time, and entire at a time but not at a location [Fine,K]
Genuine motion, rather than variation of position, requires the 'entire presence' of the object [Fine,K]
9. Objects / E. Objects over Time / 4. Four-Dimensionalism
Four-d objects helps predication of what no longer exists, and quantification over items from different times [Quine]
4-D says things are stretched in space and in time, and not entire at a time or at a location [Fine,K]
You can ask when the wedding was, but not (usually) when the bride was [Fine,K, by Simons]
9. Objects / E. Objects over Time / 5. Temporal Parts
Three-dimensionalist can accept temporal parts, as things enduring only for an instant [Fine,K]
Even a three-dimensionalist might identify temporal parts, in their thinking [Fine,K]
9. Objects / E. Objects over Time / 12. Origin as Essential
If Socrates lacks necessary existence, then his nature cannot require his parents' existence [Fine,K]
9. Objects / F. Identity among Objects / 1. Concept of Identity
To unite a sequence of ostensions to make one object, a prior concept of identity is needed [Quine]
We know what things are by distinguishing them, so identity is part of ontology [Quine]
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
We can paraphrase 'x=y' as a sequence of the form 'if Fx then Fy' [Quine]
9. Objects / F. Identity among Objects / 5. Self-Identity
Self-identity should have two components, its existence, and its neutral identity with itself [Fine,K]
If Cicero=Tully refers to the man twice, then surely Cicero=Cicero does as well? [Fine,K]
9. Objects / F. Identity among Objects / 6. Identity between Objects
We would understand identity between objects, even if their existence was impossible [Fine,K]
Identity of physical objects is just being coextensive [Quine]
9. Objects / F. Identity among Objects / 7. Indiscernible Objects
We should just identify any items which are indiscernible within a given discourse [Quine]
10. Modality / A. Necessity / 2. Nature of Necessity
Necessity can attach to statement-names, to statements, and to open sentences [Quine]
10. Modality / A. Necessity / 3. Types of Necessity
The three basic types of necessity are metaphysical, natural and normative [Fine,K]
10. Modality / A. Necessity / 4. De re / De dicto modality
To be necessarily greater than 7 is not a trait of 7, but depends on how 7 is referred to [Quine]
10. Modality / A. Necessity / 5. Metaphysical Necessity
Metaphysical necessity may be 'whatever the circumstance', or 'regardless of circumstances' [Fine,K]
10. Modality / A. Necessity / 6. Logical Necessity
Contrary to some claims, Quine does not deny logical necessity [Quine, by McFetridge]
Frege moved Kant's question about a priori synthetic to 'how is logical certainty possible?' [Quine]
10. Modality / A. Necessity / 8. Transcendental Necessity
Proper necessary truths hold whatever the circumstances; transcendent truths regardless of circumstances [Fine,K]
10. Modality / A. Necessity / 11. Denial of Necessity
Whether 9 is necessarily greater than 7 depends on how '9' is described [Quine, by Fine,K]
Quine's attack on the analytic-synthetic distinction undermined necessary truths [Quine, by Shoemaker]
Necessity only applies to objects if they are distinctively specified [Quine]
Necessity is in the way in which we say things, and not things themselves [Quine]
There is no necessity higher than natural necessity, and that is just regularity [Quine]
Necessity could be just generalisation over classes, or (maybe) quantifying over possibilia [Quine]
Necessity is relative to context; it is what is assumed in an inquiry [Quine]
Empiricists suspect modal notions: either it happens or it doesn't; it is just regularities. [Fine,K]
10. Modality / B. Possibility / 1. Possibility
Possible states of affairs are not propositions; a proposition can't be a state of affairs! [Fine,K]
Quine wants identity and individuation-conditions for possibilia [Quine, by Lycan]
10. Modality / B. Possibility / 8. Conditionals / b. Types of conditional
Some conditionals can be explained just by negation and conjunction: not(p and not-q) [Quine]
10. Modality / B. Possibility / 8. Conditionals / c. Truth-function conditionals
Normal conditionals have a truth-value gap when the antecedent is false. [Quine]
10. Modality / B. Possibility / 8. Conditionals / e. Supposition conditionals
Conditionals are pointless if the truth value of the antecedent is known [Quine]
Normally conditionals have no truth value; it is the consequent which has a conditional truth value [Quine]
10. Modality / B. Possibility / 9. Counterfactuals
We feign belief in counterfactual antecedents, and assess how convincing the consequent is [Quine]
Counterfactuals are plausible when dispositions are involved, as they imply structures [Quine]
Counterfactuals have no place in a strict account of science [Quine]
What stays the same in assessing a counterfactual antecedent depends on context [Quine]
10. Modality / C. Sources of Modality / 1. Sources of Necessity
The role of semantic necessity in semantics is like metaphysical necessity in metaphysics [Fine,K, by Hale/Hoffmann,A]
Every necessary truth is grounded in the nature of something [Fine,K]
The subject of a proposition need not be the source of its necessity [Fine,K]
Each area of enquiry, and its source, has its own distinctive type of necessity [Fine,K]
Each basic modality has its 'own' explanatory relation [Fine,K]
10. Modality / C. Sources of Modality / 4. Necessity from Concepts
Conceptual necessities rest on the nature of all concepts [Fine,K]
10. Modality / C. Sources of Modality / 6. Necessity from Essence
Socrates is necessarily distinct from the Eiffel Tower, but that is not part of his essence [Fine,K]
Metaphysical necessities are true in virtue of the nature of all objects [Fine,K]
It is the nature of Socrates to be a man, so necessarily he is a man [Fine,K]
10. Modality / D. Knowledge of Modality / 3. A Posteriori Necessary
For Quine the only way to know a necessity is empirically [Quine, by Dancy,J]
Quine's indispensability argument said arguments for abstracta were a posteriori [Quine, by Yablo]
10. Modality / E. Possible worlds / 1. Possible Worlds / e. Against possible worlds
Possible worlds are a way to dramatise essentialism, and yet they presuppose essentialism [Quine]
10. Modality / E. Possible worlds / 2. Nature of Possible Worlds / a. Nature of possible worlds
The actual world is a possible world, so we can't define possible worlds as 'what might have been' [Fine,K]
Possible worlds may be more limited, to how things might actually turn out [Fine,K]
The actual world is a totality of facts, so we also think of possible worlds as totalities [Fine,K]
10. Modality / E. Possible worlds / 3. Transworld Objects / a. Transworld identity
Can an unactualized possible have self-identity, and be distinct from other possibles? [Quine]
We can't quantify in modal contexts, because the modality depends on descriptions, not objects [Quine, by Fine,K]
10. Modality / E. Possible worlds / 3. Transworld Objects / b. Rigid designation
A rigid designator (for all possible worlds) picks out an object by its essential traits [Quine]
11. Knowledge Aims / A. Knowledge / 4. Belief / a. Beliefs
Beliefs can be ascribed to machines [Quine]
11. Knowledge Aims / A. Knowledge / 4. Belief / e. Belief holism
How do you distinguish three beliefs from four beliefs or two beliefs? [Quine]
11. Knowledge Aims / C. Knowing Reality / 2. Phenomenalism
We can never translate our whole language of objects into phenomenalism [Quine]
12. Knowledge Sources / A. A Priori Knowledge / 2. Self-Evidence
A sentence is obvious if it is true, and any speaker of the language will instantly agree to it [Quine]
12. Knowledge Sources / A. A Priori Knowledge / 7. A Priori from Convention
Examination of convention in the a priori begins to blur the distinction with empirical knowledge [Quine]
12. Knowledge Sources / A. A Priori Knowledge / 8. A Priori as Analytic
Metaphysical analyticity (and linguistic necessity) are hopeless, but epistemic analyticity is a priori [Boghossian on Quine]
Quine challenges the claim that analytic truths are knowable a priori [Quine, by Kitcher]
12. Knowledge Sources / A. A Priori Knowledge / 11. Denying the A Priori
Quine's objections to a priori knowledge only work in the domain of science [Horwich on Quine]
Science is empirical, simple and conservative; any belief can hence be abandoned; so no a priori [Quine, by Horwich]
Logic, arithmetic and geometry are revisable and a posteriori; quantum logic could be right [Horwich on Quine]
12. Knowledge Sources / B. Perception / 2. Qualities in Perception / d. Secondary qualities
Although colour depends on us, we can describe the world that way if it picks out fundamentals [Fine,K]
12. Knowledge Sources / B. Perception / 4. Sense Data / d. Sense-data problems
Sense-data are dubious abstractions, with none of the plausibility of tables [Quine]
12. Knowledge Sources / D. Empiricism / 1. Empiricism
Empiricism makes a basic distinction between truths based or not based on facts [Quine]
Quine's empiricism is based on whole theoretical systems, not on single mental events [Quine, by Orenstein]
Empiricism improvements: words for ideas, then sentences, then systems, then no analytic, then naturalism [Quine]
In scientific theories sentences are too brief to be independent vehicles of empirical meaning [Quine]
Our outer beliefs must match experience, and our inner ones must be simple [Quine]
12. Knowledge Sources / D. Empiricism / 4. Pro-Empiricism
Empiricism says evidence rests on the senses, but that insight is derived from science [Quine]
12. Knowledge Sources / D. Empiricism / 5. Empiricism Critique
The second dogma is linking every statement to some determinate observations [Quine, by Yablo]
13. Knowledge Criteria / C. External Justification / 7. Testimony
Unsupported testimony may still be believable [Fine,K]
13. Knowledge Criteria / C. External Justification / 9. Naturalised Epistemology
You can't reduce epistemology to psychology, because that presupposes epistemology [Maund on Quine]
We should abandon a search for justification or foundations, and focus on how knowledge is acquired [Quine, by Davidson]
If we abandon justification and normativity in epistemology, we must also abandon knowledge [Kim on Quine]
Without normativity, naturalized epistemology isn't even about beliefs [Kim on Quine]
Epistemology is a part of psychology, studying how our theories relate to our evidence [Quine]
13. Knowledge Criteria / E. Relativism / 4. Cultural relativism
To proclaim cultural relativism is to thereby rise above it [Quine, by Newton-Smith]
13. Knowledge Criteria / E. Relativism / 5. Language Relativism
Two things are relative - the background theory, and translating the object theory into the background theory [Quine]
14. Science / A. Basis of Science / 3. Experiment
Science is common sense, with a sophisticated method [Quine]
14. Science / B. Scientific Theories / 1. Scientific Theory
Two theories can be internally consistent and match all the facts, yet be inconsistent with one another [Quine, by Baggini /Fosl]
It seems obvious to prefer the simpler of two theories, on grounds of beauty and convenience [Quine]
There are four suspicious reasons why we prefer simpler theories [Quine]
14. Science / B. Scientific Theories / 3. Instrumentalism
For Quine, theories are instruments used to make predictions about observations [Quine, by O'Grady]
14. Science / B. Scientific Theories / 6. Theory Holism
Statements about the external world face the tribunal of sense experience as a corporate body [Quine]
14. Science / C. Induction / 1. Induction
Induction relies on similar effects following from each cause [Quine]
Induction is just more of the same: animal expectations [Quine]
14. Science / C. Induction / 2. Aims of Induction
More careful inductions gradually lead to the hypothetico-deductive method [Quine]
14. Science / C. Induction / 5. Paradoxes of Induction / a. Grue problem
Grue is a puzzle because the notions of similarity and kind are dubious in science [Quine]
14. Science / D. Explanation / 2. Types of Explanation / a. Types of explanation
We explain by identity (what it is), or by truth (how things are) [Fine,K]
Is there metaphysical explanation (as well as causal), involving a constitutive form of determination? [Fine,K]
14. Science / D. Explanation / 2. Types of Explanation / j. Explanations by reduction
Grounding is an explanation of truth, and needs all the virtues of good explanations [Fine,K]
14. Science / D. Explanation / 3. Best Explanation / b. Ultimate explanation
Ultimate explanations are in 'grounds', which account for other truths, which hold in virtue of the grounding [Fine,K]
15. Nature of Minds / C. Capacities of Minds / 5. Generalisation by mind
If green is abstracted from a thing, it is only seen as a type if it is common to many things [Fine,K]
15. Nature of Minds / C. Capacities of Minds / 7. Seeing Resemblance
General terms depend on similarities among things [Quine]
To learn yellow by observation, must we be told to look at the colour? [Quine]
Standards of similarity are innate, and the spacing of qualities such as colours can be mapped [Quine]
Similarity is just interchangeability in the cosmic machine [Quine]
16. Persons / D. Continuity of the Self / 2. Mental Continuity / b. Self as mental continuity
It seems absurd that there is no identity of any kind between two objects which involve survival [Fine,K]
17. Mind and Body / D. Property Dualism / 5. Supervenience of mind
If mind supervenes on the physical, it may also explain the physical (and not vice versa) [Fine,K]
17. Mind and Body / E. Mind as Physical / 3. Eliminativism
Quine expresses the instrumental version of eliminativism [Quine, by Rey]
17. Mind and Body / E. Mind as Physical / 6. Conceptual Dualism
A hallucination can, like an ague, be identified with its host; the ontology is physical, the idiom mental [Quine]
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]
18. Thought / D. Concepts / 5. Concepts and Language / b. Concepts are linguistic
Concepts are language [Quine]
18. Thought / E. Abstraction / 1. Abstract Thought
Apply '-ness' or 'class of' to abstract general terms, to get second-level abstract singular terms [Quine]
Fine's 'procedural postulationism' uses creative definitions, but avoids abstract ontology [Fine,K, by Cook/Ebert]
18. Thought / E. Abstraction / 2. Abstracta by Selection
To obtain the number 2 by abstraction, we only want to abstract the distinctness of a pair of objects [Fine,K]
We should define abstraction in general, with number abstraction taken as a special case [Fine,K]
Many different kinds of mathematical objects can be regarded as forms of abstraction [Fine,K]
18. Thought / E. Abstraction / 7. Abstracta by Equivalence
We can abstract from concepts (e.g. to number) and from objects (e.g. to direction) [Fine,K]
Fine considers abstraction as reconceptualization, to produce new senses by analysing given senses [Fine,K, by Cook/Ebert]
Abstractionism can be regarded as an alternative to set theory [Fine,K]
An object is the abstract of a concept with respect to a relation on concepts [Fine,K]
Abstraction-theoretic imperialists think Fregean abstracts can represent every mathematical object [Fine,K]
We can combine ZF sets with abstracts as urelements [Fine,K]
We can create objects from conditions, rather than from concepts [Fine,K]
An abstraction principle should not 'inflate', producing more abstractions than objects [Fine,K]
18. Thought / E. Abstraction / 8. Abstractionism Critique
After abstraction all numbers seem identical, so only 0 and 1 will exist! [Fine,K]
19. Language / A. Nature of Meaning / 1. Meaning
It is troublesome nonsense to split statements into a linguistic and a factual component [Quine]
Inculcations of meanings of words rests ultimately on sensory evidence [Quine]
19. Language / A. Nature of Meaning / 4. Meaning as Truth-Conditions
If we understand a statement, we know the circumstances of its truth [Quine]
19. Language / A. Nature of Meaning / 7. Meaning Holism / a. Sentence meaning
Taking sentences as the unit of meaning makes useful paraphrasing possible [Quine]
Knowing a word is knowing the meanings of sentences which contain it [Quine]
19. Language / A. Nature of Meaning / 7. Meaning Holism / b. Language holism
There is an attempt to give a verificationist account of meaning, without the error of reducing everything to sensations [Dennett on Quine]
19. Language / A. Nature of Meaning / 8. Synonymy
'Renate' and 'cordate' have identical extensions, but are not synonymous [Quine, by Miller,A]
Single words are strongly synonymous if their interchange preserves truth [Quine]
19. Language / A. Nature of Meaning / 10. Denial of Meanings
Once meaning and reference are separated, meaning ceases to seem important [Quine]
Intensions are creatures of darkness which should be exorcised [Quine]
Meaning is essence divorced from things and wedded to words [Quine]
The word 'meaning' is only useful when talking about significance or about synonymy [Quine]
I do not believe there is some abstract entity called a 'meaning' which we can 'have' [Quine]
19. Language / B. Reference / 1. Reference theories
Quine says there is no matter of fact about reference - it is 'inscrutable' [Quine, by O'Grady]
Reference is inscrutable, because we cannot choose between theories of numbers [Quine, by Orenstein]
19. Language / C. Assigning Meanings / 2. Semantics
Syntax and semantics are indeterminate, and modern 'semantics' is a bogus subject [Quine, by Lycan]
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]
Semantics is either an assignment of semantic values, or a theory of truth [Fine,K]
Semantics is a body of semantic requirements, not semantic truths or assigned values [Fine,K]
19. Language / C. Assigning Meanings / 3. Predicates
Quine relates predicates to their objects, by being 'true of' them [Quine, by Davidson]
Projectible predicates can be universalised about the kind to which they refer [Quine]
19. Language / C. Assigning Meanings / 7. Extensional Semantics
Referential semantics (unlike Fregeanism) allows objects themselves in to semantic requirements [Fine,K]
19. Language / C. Assigning Meanings / 8. Possible Worlds Semantics
If sentence content is all worlds where it is true, all necessary truths have the same content! [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]
19. Language / D. Propositions / 2. Abstract Propositions / a. Propositions as sense
A 'proposition' is said to be the timeless cognitive part of the meaning of a sentence [Quine]
19. Language / D. Propositions / 5. Unity of Propositions
A proposition ingredient is 'essential' if changing it would change the truth-value [Fine,K]
19. Language / D. Propositions / 6. Propositions Critique
The problem with propositions is their individuation. When do two sentences express one proposition? [Quine]
It makes no sense to say that two sentences express the same proposition [Quine]
There is no rule for separating the information from other features of sentences [Quine]
We can abandon propositions, and just talk of sentences and equivalence [Quine]
19. Language / E. Analyticity / 1. Analytic Propositions
Analytic statements are either logical truths (all reinterpretations) or they depend on synonymy [Quine]
19. Language / E. Analyticity / 2. Analytic Truths
Analytic truth may only be true in virtue of the meanings of certain terms [Fine,K]
The meaning of 'bachelor' is irrelevant to the meaning of 'unmarried man' [Fine,K]
19. Language / E. Analyticity / 3. Analytic and Synthetic
Without the analytic/synthetic distinction, Carnap's ontology/empirical distinction collapses [Quine]
19. Language / E. Analyticity / 4. Analytic/Synthetic Critique
Did someone ever actually define 'bachelor' as 'unmarried man'? [Quine]
Quine's attack on analyticity undermined linguistic views of necessity, and analytic views of the a priori [Quine, by Boghossian]
Quine attacks the Fregean idea that we can define analyticity through synonyous substitution [Quine, by Thomasson]
The last two parts of 'Two Dogmas' are much the best [Miller,A on Quine]
Erasing the analytic/synthetic distinction got rid of meanings, and saved philosophy of language [Davidson on Quine]
The analytic needs excessively small units of meaning and empirical confirmation [Quine, by Jenkins]
If we try to define analyticity by synonymy, that leads back to analyticity [Quine]
In observation sentences, we could substitute community acceptance for analyticity [Quine]
The distinction between meaning and further information is as vague as the essence/accident distinction [Quine]
Holism in language blurs empirical synthetic and empty analytic sentences [Quine]
The Quinean doubt: are semantics and facts separate, and do analytic sentences have no factual part? [Fine,K]
I will even consider changing a meaning to save a law; I question the meaning-fact cleavage [Quine]
19. Language / F. Communication / 5. Pragmatics / a. Contextual meaning
A good way of explaining an expression is saying what conditions make its contexts true [Quine]
19. Language / F. Communication / 6. Interpreting Language / a. Translation
Translation is too flimsy a notion to support theories of cultural incommensurability [Quine]
19. Language / F. Communication / 6. Interpreting Language / b. Indeterminate translation
Indeterminacy of translation also implies indeterminacy in interpreting people's mental states [Dennett on Quine]
The firmer the links between sentences and stimuli, the less translations can diverge [Quine]
We can never precisely pin down how to translate the native word 'Gavagai' [Quine]
Stimulus synonymy of 'Gavagai' and 'Rabbit' does not even guarantee they are coextensive [Quine]
Dispositions to speech behaviour, and actual speech, are never enough to fix any one translation [Quine]
You could know the complete behavioural conditions for a foreign language, and still not know their beliefs [Quine]
Translation of our remote past or language could be as problematic as alien languages [Quine]
Indeterminacy translating 'rabbit' depends on translating individuation terms [Quine]
19. Language / F. Communication / 6. Interpreting Language / c. Principle of charity
We should be suspicious of a translation which implies that a people have very strange beliefs [Quine]
Weird translations are always possible, but they improve if we impose our own logic on them [Quine]
The principle of charity only applies to the logical constants [Quine, by Miller,A]
22. Metaethics / B. Value / 1. Nature of Value / a. Nature of value
Altruistic values concern other persons, and ceremonial values concern practices [Quine]
22. Metaethics / B. Value / 2. Values / g. Love
Love seems to diminish with distance from oneself [Quine]
23. Ethics / C. Virtue Theory / 3. Virtues / a. Virtues
Unlike us, the early Greeks thought envy was a good thing, and hope a bad thing [Hesiod, by Nietzsche]
26. Natural Theory / A. Speculations on Nature / 6. Early Matter Theories / a. Greek matter
The components of abstract definitions could play the same role as matter for physical objects [Fine,K]
26. Natural Theory / B. Natural Kinds / 1. Natural Kinds
Quine probably regrets natural kinds now being treated as essences [Quine, by Dennett]
If similarity has no degrees, kinds cannot be contained within one another [Quine]
Comparative similarity allows the kind 'colored' to contain the kind 'red' [Quine]
26. Natural Theory / B. Natural Kinds / 3. Knowing Kinds
You can't base kinds just on resemblance, because chains of resemblance are a muddle [Quine]
26. Natural Theory / C. Causation / 8. Particular Causation / b. Causal relata
Causal relata are individuated by coarse spacetime regions [Quine, by Schaffer,J]
26. Natural Theory / D. Laws of Nature / 4. Regularities / a. Regularity theory
It is hard to see how regularities could be explained [Quine]
We identify laws with regularities because we mistakenly identify causes with their symptoms [Fine,K]
26. Natural Theory / D. Laws of Nature / 8. Scientific Essentialism / a. Scientific essentialism
Causation is easier to disrupt than logic, so metaphysics is part of nature, not vice versa [Fine,K]
26. Natural Theory / D. Laws of Nature / 8. Scientific Essentialism / e. Anti scientific essentialism
Essence gives an illusion of understanding [Quine, by Almog]
We can't say 'necessarily if x is in water then x dissolves' if we can't quantify modally [Quine]
27. Natural Reality / C. Space / 3. Points in Space
The concept of a 'point' makes no sense without the idea of absolute position [Quine]
27. Natural Reality / D. Time / 2. Passage of Time / c. Tenses and time
A-theorists tend to reject the tensed/tenseless distinction [Fine,K]
It is said that in the A-theory, all existents and objects must be tensed, as well as the sentences [Fine,K]
27. Natural Reality / D. Time / 2. Passage of Time / f. Tenseless (B) series
Quine holds time to be 'space-like': past objects are as real as spatially remote ones [Quine, by Sider]
B-theorists say tensed sentences have an unfilled argument-place for a time [Fine,K]