Combining Philosophers

All the ideas for Herodotus, Martin Kusch and David Hilbert

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


58 ideas

3. Truth / C. Correspondence Truth / 1. Correspondence Truth
Correspondence could be with other beliefs, rather than external facts [Kusch]
     Full Idea: The correspondence theory of truth does not commit one to the view the reality is mind-independent. There is no reason why the 'facts' that correspond to true beliefs might not themselves be beliefs or ideas.
     From: Martin Kusch (Knowledge by Agreement [2002], Ch.17)
     A reaction: This seems important, as it is very easy to assume that espousal of correspondence necessarily goes with realism about the external world. It is surprising to think that a full-blown Idealist might espouse the correspondence theory.
3. Truth / F. Semantic Truth / 1. Tarski's Truth / a. Tarski's truth definition
Tarskians distinguish truth from falsehood by relations between members of sets [Kusch]
     Full Idea: According to the Tarskians we separate out truths from falsehoods by tracing the relations between members of different sets.
     From: Martin Kusch (Knowledge by Agreement [2002], Ch.16)
3. Truth / G. Axiomatic Truth / 1. Axiomatic Truth
If axioms and their implications have no contradictions, they pass my criterion of truth and existence [Hilbert]
     Full Idea: If the arbitrarily given axioms do not contradict each other with all their consequences, then they are true and the things defined by the axioms exist. For me this is the criterion of truth and existence.
     From: David Hilbert (Letter to Frege 29.12.1899 [1899]), quoted by R Kaplan / E Kaplan - The Art of the Infinite 2 'Mind'
     A reaction: If an axiom says something equivalent to 'fairies exist, but they are totally undetectable', this would seem to avoid contradiction with anything, and hence be true. Hilbert's idea sounds crazy to me. He developed full Formalism later.
5. Theory of Logic / D. Assumptions for Logic / 2. Excluded Middle
You would cripple mathematics if you denied Excluded Middle [Hilbert]
     Full Idea: Taking the principle of Excluded Middle away from the mathematician would be the same, say, as prohibiting the astronomer from using the telescope or the boxer from using his fists.
     From: David Hilbert (The Foundations of Mathematics [1927], p.476), quoted by Ian Rumfitt - The Boundary Stones of Thought 9.4
     A reaction: [p.476 in Van Heijenoort]
5. Theory of Logic / K. Features of Logics / 1. Axiomatisation
The facts of geometry, arithmetic or statics order themselves into theories [Hilbert]
     Full Idea: The facts of geometry order themselves into a geometry, the facts of arithmetic into a theory of numbers, the facts of statics, electrodynamics into a theory of statics, electrodynamics, or the facts of the physics of gases into a theory of gases.
     From: David Hilbert (Axiomatic Thought [1918], [03])
     A reaction: This is the confident (I would say 'essentialist') view of axioms, which received a bit of a setback with Gödel's Theorems. I certainly agree that the world proposes an order to us - we don't just randomly invent one that suits us.
Axioms must reveal their dependence (or not), and must be consistent [Hilbert]
     Full Idea: If a theory is to serve its purpose of orienting and ordering, it must first give us an overview of the independence and dependence of its propositions, and second give a guarantee of the consistency of all of the propositions.
     From: David Hilbert (Axiomatic Thought [1918], [09])
     A reaction: Gödel's Second theorem showed that the theory can never prove its own consistency, which made the second Hilbert requirement more difficult. It is generally assumed that each of the axioms must be independent of the others.
6. Mathematics / A. Nature of Mathematics / 1. Mathematics
Hilbert wanted to prove the consistency of all of mathematics (which realists take for granted) [Hilbert, by Friend]
     Full Idea: Hilbert wanted to derive ideal mathematics from the secure, paradox-free, finite mathematics (known as 'Hilbert's Programme'). ...Note that for the realist consistency is not something we need to prove; it is a precondition of thought.
     From: report of David Hilbert (works [1900], 6.7) by Michèle Friend - Introducing the Philosophy of Mathematics
     A reaction: I am an intuitive realist, though I am not so sure about that on cautious reflection. Compare the claims that there are reasons or causes for everything. Reality cannot contain contradicitions (can it?). Contradictions would be our fault.
I aim to establish certainty for mathematical methods [Hilbert]
     Full Idea: The goal of my theory is to establish once and for all the certitude of mathematical methods.
     From: David Hilbert (On the Infinite [1925], p.184)
     A reaction: This is the clearest statement of the famous Hilbert Programme, which is said to have been brought to an abrupt end by Gödel's Incompleteness Theorems.
We believe all mathematical problems are solvable [Hilbert]
     Full Idea: The thesis that every mathematical problem is solvable - we are all convinced that it really is so.
     From: David Hilbert (On the Infinite [1925], p.200)
     A reaction: This will include, for example, Goldbach's Conjecture (every even is the sum of two primes), which is utterly simple but with no proof anywhere in sight.
6. Mathematics / A. Nature of Mathematics / 2. Geometry
Hilbert aimed to eliminate number from geometry [Hilbert, by Hart,WD]
     Full Idea: One of Hilbert's aims in 'The Foundations of Geometry' was to eliminate number [as measure of lengths and angles] from geometry.
     From: report of David Hilbert (Foundations of Geometry [1899]) by William D. Hart - The Evolution of Logic 2
     A reaction: Presumably this would particularly have to include the elimination of ratios (rather than actual specific lengths).
6. Mathematics / A. Nature of Mathematics / 5. The Infinite / a. The Infinite
No one shall drive us out of the paradise the Cantor has created for us [Hilbert]
     Full Idea: No one shall drive us out of the paradise the Cantor has created for us.
     From: David Hilbert (On the Infinite [1925], p.191), quoted by James Robert Brown - Philosophy of Mathematics
     A reaction: This is Hilbert's famous refusal to accept any account of mathematics, such as Kant's, which excludes actual infinities. Cantor had laid out a whole glorious hierarchy of different infinities.
We extend finite statements with ideal ones, in order to preserve our logic [Hilbert]
     Full Idea: To preserve the simple formal rules of ordinary Aristotelian logic, we must supplement the finitary statements with ideal statements.
     From: David Hilbert (On the Infinite [1925], p.195)
     A reaction: I find very appealing the picture of mathematics as rooted in the physical world, and then gradually extended by a series of 'idealisations', which should perhaps be thought of as fictions.
Only the finite can bring certainty to the infinite [Hilbert]
     Full Idea: Operating with the infinite can be made certain only by the finitary.
     From: David Hilbert (On the Infinite [1925], p.201)
     A reaction: See 'Compactness' for one aspect of this claim. I think Hilbert was fighting a rearguard action, and his idea now has few followers.
6. Mathematics / A. Nature of Mathematics / 5. The Infinite / d. Actual infinite
The idea of an infinite totality is an illusion [Hilbert]
     Full Idea: Just as in the limit processes of the infinitesimal calculus, the infinitely large and small proved to be a mere figure of speech, so too we must realise that the infinite in the sense of an infinite totality, used in deductive methods, is an illusion.
     From: David Hilbert (On the Infinite [1925], p.184)
     A reaction: This is a very authoritative rearguard action. I no longer think the dispute matters much, it being just a dispute over a proposed new meaning for the word 'number'.
6. Mathematics / A. Nature of Mathematics / 5. The Infinite / j. Infinite divisibility
There is no continuum in reality to realise the infinitely small [Hilbert]
     Full Idea: A homogeneous continuum which admits of the sort of divisibility needed to realise the infinitely small is nowhere to be found in reality.
     From: David Hilbert (On the Infinite [1925], p.186)
     A reaction: He makes this remark as a response to Planck's new quantum theory (the year before the big works of Heisenberg and Schrödinger). Personally I don't see why infinities should depend on the physical world, since they are imaginary.
6. Mathematics / B. Foundations for Mathematics / 2. Proof in Mathematics
To decide some questions, we must study the essence of mathematical proof itself [Hilbert]
     Full Idea: It is necessary to study the essence of mathematical proof itself if one wishes to answer such questions as the one about decidability in a finite number of operations.
     From: David Hilbert (Axiomatic Thought [1918], [53])
6. Mathematics / B. Foundations for Mathematics / 3. Axioms for Geometry
Euclid axioms concerns possibilities of construction, but Hilbert's assert the existence of objects [Hilbert, by Chihara]
     Full Idea: Hilbert's geometrical axioms were existential in character, asserting the existence of certain geometrical objects (points and lines). Euclid's postulates do not assert the existence of anything; they assert the possibility of certain constructions.
     From: report of David Hilbert (Foundations of Geometry [1899]) by Charles Chihara - A Structural Account of Mathematics 01.1
     A reaction: Chihara says geometry was originally understood modally, but came to be understood existentially. It seems extraordinary to me that philosophers of mathematics can have become more platonist over the centuries.
Hilbert's formalisation revealed implicit congruence axioms in Euclid [Hilbert, by Horsten/Pettigrew]
     Full Idea: In his formal investigation of Euclidean geometry, Hilbert uncovered congruence axioms that implicitly played a role in Euclid's proofs but were not explicitly recognised.
     From: report of David Hilbert (Foundations of Geometry [1899]) by Horsten,L/Pettigrew,R - Mathematical Methods in Philosophy 2
     A reaction: The writers are offering this as a good example of the benefits of a precise and formal approach to foundational questions. It's hard to disagree, but dispiriting if you need a PhD in maths before you can start doing philosophy.
Hilbert's geometry is interesting because it captures Euclid without using real numbers [Hilbert, by Field,H]
     Full Idea: Hilbert's formulation of the Euclidean theory is of special interest because (besides being rigorously axiomatised) it does not employ the real numbers in the axioms.
     From: report of David Hilbert (Foundations of Geometry [1899]) by Hartry Field - Science without Numbers 3
     A reaction: Notice that this job was done by Hilbert, and not by the fictionalist Hartry Field.
The whole of Euclidean geometry derives from a basic equation and transformations [Hilbert]
     Full Idea: The linearity of the equation of the plane and of the orthogonal transformation of point-coordinates is completely adequate to produce the whole broad science of spatial Euclidean geometry purely by means of analysis.
     From: David Hilbert (Axiomatic Thought [1918], [05])
     A reaction: This remark comes from the man who succeeded in producing modern axioms for geometry (in 1897), so he knows what he is talking about. We should not be wholly pessimistic about Hilbert's ambitious projects. He had to dig deeper than this idea...
6. Mathematics / B. Foundations for Mathematics / 4. Axioms for Number / a. Axioms for numbers
Number theory just needs calculation laws and rules for integers [Hilbert]
     Full Idea: The laws of calculation and the rules of integers suffice for the construction of number theory.
     From: David Hilbert (Axiomatic Thought [1918], [05])
     A reaction: This is the confident Hilbert view that the whole system can be fully spelled out. Gödel made this optimism more difficult.
6. Mathematics / C. Sources of Mathematics / 4. Mathematical Empiricism / c. Against mathematical empiricism
The existence of an arbitrarily large number refutes the idea that numbers come from experience [Hilbert]
     Full Idea: The standpoint of pure experience seems to me to be refuted by the objection that the existence, possible or actual, of an arbitrarily large number can never be derived through experience, that is, through experiment.
     From: David Hilbert (On the Foundations of Logic and Arithmetic [1904], p.130)
     A reaction: Alternatively, empiricism refutes infinite numbers! No modern mathematician will accept that, but you wonder in what sense the proposed entities qualify as 'numbers'.
6. Mathematics / C. Sources of Mathematics / 6. Logicism / d. Logicism critique
Logic already contains some arithmetic, so the two must be developed together [Hilbert]
     Full Idea: In the traditional exposition of the laws of logic certain fundamental arithmetic notions are already used, for example in the notion of set, and to some extent also of number. Thus we turn in a circle, and a partly simultaneous development is required.
     From: David Hilbert (On the Foundations of Logic and Arithmetic [1904], p.131)
     A reaction: If the Axiom of Infinity is meant, it may be possible to purge the arithmetic from the logic. Then the challenge to derive arithmetic from it becomes rather tougher.
6. Mathematics / C. Sources of Mathematics / 7. Formalism
The grounding of mathematics is 'in the beginning was the sign' [Hilbert]
     Full Idea: The solid philosophical attitude that I think is required for the grounding of pure mathematics is this: In the beginning was the sign.
     From: David Hilbert (works [1900]), quoted by A.George / D.J.Velleman - Philosophies of Mathematics Ch.6
     A reaction: Why did people invent those particular signs? Presumably they were meant to designate something, in the world or in our experience.
Hilbert substituted a syntactic for a semantic account of consistency [Hilbert, by George/Velleman]
     Full Idea: Hilbert replaced a semantic construal of inconsistency (that the theory entails a statement that is necessarily false) by a syntactic one (that the theory formally derives the statement (0 =1 ∧ 0 not-= 1).
     From: report of David Hilbert (works [1900]) by A.George / D.J.Velleman - Philosophies of Mathematics Ch.6
     A reaction: Finding one particular clash will pinpoint the notion of inconsistency, but it doesn't seem to define what it means, since the concept has very wide application.
Hilbert said (to block paradoxes) that mathematical existence is entailed by consistency [Hilbert, by Potter]
     Full Idea: Hilbert proposed to circuvent the paradoxes by means of the doctrine (already proposed by Poincaré) that in mathematics consistency entails existence.
     From: report of David Hilbert (On the Concept of Number [1900], p.183) by Michael Potter - The Rise of Analytic Philosophy 1879-1930 19 'Exist'
     A reaction: Interesting. Hilbert's idea has struck me as weird, but it makes sense if its main motive is to block the paradoxes. Roughly, the idea is 'it exists if it isn't paradoxical'. A low bar for existence (but then it is only in mathematics!).
The subject matter of mathematics is immediate and clear concrete symbols [Hilbert]
     Full Idea: The subject matter of mathematics is the concrete symbols themselves whose structure is immediately clear and recognisable.
     From: David Hilbert (On the Infinite [1925], p.192)
     A reaction: I don't think many people will agree with Hilbert here. Does he mean token-symbols or type-symbols? You can do maths in your head, or with different symbols. If type-symbols, you have to explain what a type is.
6. Mathematics / C. Sources of Mathematics / 8. Finitism
Hilbert aimed to prove the consistency of mathematics finitely, to show infinities won't produce contradictions [Hilbert, by George/Velleman]
     Full Idea: Hilbert's project was to establish the consistency of classical mathematics using just finitary means, to convince all parties that no contradictions will follow from employing the infinitary notions and reasoning.
     From: report of David Hilbert (works [1900]) by A.George / D.J.Velleman - Philosophies of Mathematics Ch.6
     A reaction: This is the project which was badly torpedoed by Gödel's Second Incompleteness Theorem.
Mathematics divides in two: meaningful finitary statements, and empty idealised statements [Hilbert]
     Full Idea: We can conceive mathematics to be a stock of two kinds of formulas: first, those to which the meaningful communications of finitary statements correspond; and secondly, other formulas which signify nothing and which are ideal structures of our theory.
     From: David Hilbert (On the Infinite [1925], p.196), quoted by David Bostock - Philosophy of Mathematics 6.1
11. Knowledge Aims / A. Knowledge / 4. Belief / a. Beliefs
We can have knowledge without belief, if others credit us with knowledge [Kusch]
     Full Idea: We can have knowledge that p without believing that p. It is enough that others credit us with the knowledge.
     From: Martin Kusch (Knowledge by Agreement [2002], Ch. 5)
     A reaction: [He is discussing Welbourne 1993] This is an extreme of the communitarian view.
11. Knowledge Aims / B. Certain Knowledge / 1. Certainty
My theory aims at the certitude of mathematical methods [Hilbert]
     Full Idea: The goal of my theory is to establish once and for all the certitude of mathematical methods.
     From: David Hilbert (On the Infinite [1925], p.184), quoted by James Robert Brown - Philosophy of Mathematics Ch.5
     A reaction: This dream is famous for being shattered by Gödel's Incompleteness Theorem a mere six years later. Neverless there seem to be more limited certainties which are accepted in mathematics. The certainty of the whole of arithmetic is beyond us.
11. Knowledge Aims / C. Knowing Reality / 4. Solipsism
Methodological Solipsism assumes all ideas could be derived from one mind [Kusch]
     Full Idea: 'Methodological solipsism' says merely that everyone can conceive of themselves as the only subject. Everyone can construct all referents of their thought and talk out of complexes of their very own experience.
     From: Martin Kusch (Knowledge by Agreement [2002], Ch.19)
     A reaction: The possibility of this can be denied (e.g. by Putnam 1983, dating back to Wittgenstein). I too would doubt it, though finding a good argument seems a forlorn hope.
13. Knowledge Criteria / B. Internal Justification / 4. Foundationalism / f. Foundationalism critique
Foundations seem utterly private, even from oneself at a later time [Kusch]
     Full Idea: Foundationalists place the foundations of knowledge at a point where they are in principle accessible only to the individual knower. They cannot be 'shared' with another person, or with oneself at a later time.
     From: Martin Kusch (Knowledge by Agreement [2002], Ch. 8)
     A reaction: Kusch is defending an extremely social view of knowledge. Being private to an individual may just he an unfortunate epistemological fact. Being unavailable even to one's later self seems a real problem for foundational certainty.
13. Knowledge Criteria / B. Internal Justification / 5. Coherentism / a. Coherence as justification
Testimony is reliable if it coheres with evidence for a belief, and with other beliefs [Kusch]
     Full Idea: Testimony must be reliable since its deliveries cohere both with input from other information routes in the formation of single beliefs, and with other types of beliefs in the formation of systems of belief.
     From: Martin Kusch (Knowledge by Agreement [2002], Ch. 4)
     A reaction: Kusch criticises this view (credited to C.A.J. Coady 1992) as too individualistic , but it sounds to me dead right. I take a major appeal of the coherence account of justification to be its capacity to extend seamlessly out into external testimony.
The coherentist restricts the space of reasons to the realm of beliefs [Kusch]
     Full Idea: The coherentist restricts the space of reasons to the realm of beliefs.
     From: Martin Kusch (Knowledge by Agreement [2002], Ch. 8)
     A reaction: I endorse this idea, which endorses Davidson's slogan on the subject. The key thought is that a 'pure' sensation is uninterpreted, and so cannot justify anything. It is only once it generates a proposition that it can justify. But McDowell 1994.
13. Knowledge Criteria / B. Internal Justification / 5. Coherentism / c. Coherentism critique
Individualistic coherentism lacks access to all of my beliefs, or critical judgement of my assessment [Kusch]
     Full Idea: Individualistic versions of coherentism assume that a belief is justified if it fits with all, or most, of my contemporaneous beliefs. But who has access to that totality? Who can judge my assessment? From what position could it be judged?
     From: Martin Kusch (Knowledge by Agreement [2002], Ch. 8)
     A reaction: [compressed] Though I agree with Kusch on the social aspect of coherence, I don't think these are major criticisms. Who can access, or critically evaluate a society's body of supposedly coherent beliefs? We just do our best.
Individual coherentism cannot generate the necessary normativity [Kusch]
     Full Idea: Standard forms of coherentism are unable to account for normativity, because of their common individualism. Normativity cannot be generated within the isolated individual, or in the causal interaction between world and individual mind.
     From: Martin Kusch (Knowledge by Agreement [2002], Ch.10)
     A reaction: This thought leads to belief in rationalism and the a priori, not (as Kusch hopes) to the social dimension. How can social normativity get off the ground if there is none of it to be found in individuals? The criteria of coherence seem to be given.
13. Knowledge Criteria / C. External Justification / 2. Causal Justification
Cultures decide causal routes, and they can be critically assessed [Kusch]
     Full Idea: Assessments of causal routes are specific to cultures, and thus not beyond dialectical justification.
     From: Martin Kusch (Knowledge by Agreement [2002], Ch.11)
     A reaction: This is a good defence of the social and communitarian view against those who are trying to be thoroughly naturalistic and physicalist by relying entirely on causal processes for all explanation, even though I sympathise with such naturalism.
13. Knowledge Criteria / C. External Justification / 3. Reliabilism / a. Reliable knowledge
Process reliabilism has been called 'virtue epistemology', resting on perception, memory, reason [Kusch]
     Full Idea: Process reliabilism is sometimes subsumed under the label 'virtue epistemology', so that processes are 'epistemically virtuous' if they lead mostly to true beliefs. The 'intellectual virtues' here are perception, memory or reasoning.
     From: Martin Kusch (Knowledge by Agreement [2002], Ch. 9)
     A reaction: I am shocked that 'intellectual virtue' should be hijacked by reliabilists, suggesting that it even applies to a good clock. I like the Aristotelian idea that sound knowledge rests on qualities of character in the knower - including social qualities.
13. Knowledge Criteria / C. External Justification / 6. Contextual Justification / a. Contextualism
Justification depends on the audience and one's social role [Kusch]
     Full Idea: How a claim (about an X-ray) needs to be justified depends on whether one is confronted by a group of laypersons, or of experts, and is prescribed by one's social role.
     From: Martin Kusch (Knowledge by Agreement [2002], Ch. 8)
     A reaction: I think this is exactly right. I cannot think of any absolute criterion for justification which doesn't play straight into the hands of sceptics. Final and certain justification is an incoherent notion. But I am a little more individualistic than Kusch.
13. Knowledge Criteria / C. External Justification / 7. Testimony
Testimony is an area in which epistemology meets ethics [Kusch]
     Full Idea: Testimony is an area in which epistemology meets ethics.
     From: Martin Kusch (Knowledge by Agreement [2002], Ch. 5)
     A reaction: This is very thought-provoking. A key concept linking the two would be 'respect'. Consider also 'experts'.
Powerless people are assumed to be unreliable, even about their own lives [Kusch]
     Full Idea: The powerless in society are not usually taken to be trustworthy witnesses even when it comes to providing information about their own lives.
     From: Martin Kusch (Knowledge by Agreement [2002], Ch. 5)
     A reaction: This is where epistemology shades off into politics and the writings of Foucault.
Testimony does not just transmit knowledge between individuals - it actually generates knowledge [Kusch]
     Full Idea: Testimony is not just a means of transmission of complete items of knowledge from and to an individual. Testimony is almost always generative of knowledge.
     From: Martin Kusch (Knowledge by Agreement [2002], Intro)
     A reaction: I'm not clear how my testimony could fail to be knowledge for me, but become knowledge just because I pass it to you. I might understand what I say better than you did. When fools pool their testimony, presumably not much knowledge results.
Some want to reduce testimony to foundations of perceptions, memories and inferences [Kusch]
     Full Idea: Reductionalists about testimony are foundationalists by temperament. ...Their project amounts to justifying our testimonial beliefs in terms of perceptions, memories and inferences.
     From: Martin Kusch (Knowledge by Agreement [2002], Ch. 4)
     A reaction: Kusch wants to claim that the sharing of testimony is the means by which knowledge is created. My line is something like knowledge being founded on a social coherence, which is an extension of internal individual coherence.
Testimony won't reduce to perception, if perception depends on social concepts and categories [Kusch]
     Full Idea: How can we hope to reduce testimony to perception if the way we perceive the world is to a considerable extent shaped by concepts and categories that we have learned from others?
     From: Martin Kusch (Knowledge by Agreement [2002], Ch. 4)
     A reaction: To me this sounds like good support for coherentism, the benign circle between my reason, my experience, and the testimony and reason of others. Asking how the circle could get started shows ignorance of biology.
A foundation is what is intelligible, hence from a rational source, and tending towards truth [Kusch]
     Full Idea: It can be argued that testimony is non-reductive because it relies on the fact that whatever is intelligible is likely to come from a rational source, and that rational sources, by their very nature, tend towards the truth.
     From: Martin Kusch (Knowledge by Agreement [2002], Ch. 4 n7)
     A reaction: [He cites Tyler Burge 1993, 1997] If this makes testimony non-reductive, how would one assess whether the testimony is 'intelligible'?
Vindicating testimony is an expression of individualism [Kusch]
     Full Idea: To believe that testimony needs a general vindication is itself an expression of individualism.
     From: Martin Kusch (Knowledge by Agreement [2002], Intro)
     A reaction: Kusch is a spokesman for Communitarian Epistemology. Surely we are allowed to identify the criteria for what makes a good witness? Ask a policeman.
13. Knowledge Criteria / C. External Justification / 8. Social Justification
Myths about lonely genius are based on epistemological individualism [Kusch]
     Full Idea: Many myths about the lonely scientific genius underwrite epistemological individualism.
     From: Martin Kusch (Knowledge by Agreement [2002], Ch. 5)
     A reaction: They all actually say that they 'stood on the shoulders of giants', and they are invariably immersed in the contemporary researches of teams of like-minded people. How surprised were the really expert contemporaries by Newton, Einstein, Gödel?
Communitarian Epistemology says 'knowledge' is a social status granted to groups of people [Kusch]
     Full Idea: I propose 'communitarian epistemology' - claiming first that the term 'knowledge' marks a social status, and is dependent on the existence of communities, and second that this social status is typically granted to groups of people.
     From: Martin Kusch (Knowledge by Agreement [2002], Intro)
     A reaction: I find this very congenial, though Kusch goes a little far when he claims that knowledge is largely created by social groups. He allows that Robinson Crusoe might have knowledge of his island, but can't give a decent account of it.
Private justification is justification to imagined other people [Kusch]
     Full Idea: Coming to convince myself is actually to form a pretend communal belief with pretend others, ..which is clearly parasitic on the case where the others are real.
     From: Martin Kusch (Knowledge by Agreement [2002], Ch.11)
     A reaction: This slightly desperate move is a way for 'communitarian' epistemologists to deal with Robinson Crusoe cases. I think Kusch is right, but it is a bit hard to prove that this is what is 'actually' going on.
16. Persons / E. Rejecting the Self / 2. Self as Social Construct
To be considered 'an individual' is performed by a society [Kusch]
     Full Idea: One cannot even have the social status of 'being an individual' unless it has been conferred on one by a communal performative belief.
     From: Martin Kusch (Knowledge by Agreement [2002], Ch.11)
     A reaction: This sounds crazy until you think of the mentality of a tenth generation slave in a fully slave-owning society.
18. Thought / D. Concepts / 1. Concepts / a. Nature of concepts
Our experience may be conceptual, but surely not the world itself? [Kusch]
     Full Idea: I am unconvinced by McDowell's arguments in favour of treating the world as itself conceptual. Granted that our experience is conceptual in quality; it still does not follow that the world itself is conceptual.
     From: Martin Kusch (Knowledge by Agreement [2002], Ch. 9)
     A reaction: I would take Kusch's point to be a given in any discussion of concepts, and McDowell as a non-starter on this one. I am inclined to believe that we do have non-conceptual experiences, but I take them to be epistemologically useless.
19. Language / F. Communication / 1. Rhetoric
Often socialising people is the only way to persuade them [Kusch]
     Full Idea: Often we can convince members of other cultures only by socializing them into our culture.
     From: Martin Kusch (Knowledge by Agreement [2002], Ch.19)
     A reaction: This looks both true and interesting, and is good support for Kusch's communitarian epistemology. What actually persuades certainly doesn't have to be reasons, and may be almost entirely social.
24. Political Theory / D. Ideologies / 7. Communitarianism / a. Communitarianism
Communitarianism in epistemology sees the community as the primary knower [Kusch]
     Full Idea: Communitarianism in epistemology sees the community as the primary knower.
     From: Martin Kusch (Knowledge by Agreement [2002], Ch. 5)
     A reaction: This thought offers an account of epistemology which could fit in with communitarian political views. See the ideas of Martin Kusch in this database.
26. Natural Theory / B. Natural Kinds / 7. Critique of Kinds
Natural kinds are social institutions [Kusch]
     Full Idea: Natural kinds are social institutions.
     From: Martin Kusch (Knowledge by Agreement [2002], Ch.11)
     A reaction: I can see what he means, but I take this to be deeply wrong. A clarification of what exactly is meant by a 'natural kind' is needed before we can make any progress with this one. Is a village a natural kind? Or a poodle? Or a shoal?
26. Natural Theory / D. Laws of Nature / 8. Scientific Essentialism / d. Knowing essences
By digging deeper into the axioms we approach the essence of sciences, and unity of knowedge [Hilbert]
     Full Idea: By pushing ahead to ever deeper layers of axioms ...we also win ever-deeper insights into the essence of scientific thought itself, and become ever more conscious of the unity of our knowledge.
     From: David Hilbert (Axiomatic Thought [1918], [56])
     A reaction: This is the less fashionable idea that scientific essentialism can also be applicable in the mathematic sciences, centring on the project of axiomatisation for logic, arithmetic, sets etc.
28. God / A. Divine Nature / 4. Divine Contradictions
Omniscience is incoherent, since knowledge is a social concept [Kusch]
     Full Idea: The very idea of omniscience is dubious, at least for the communitarian epistemologist, since knowing is a social state, and knowledge is a social status, needing a position in a social network.
     From: Martin Kusch (Knowledge by Agreement [2002], Ch. 4)
     A reaction: A nice test case. Would an omniscient mind have evidence for its beliefs? Would it continually check for coherence? Is it open to criticism? Does it even entertain the possibility of error? Could another 'omniscient' mind challenge it?
29. Religion / D. Religious Issues / 2. Immortality / a. Immortality
The Egyptians were the first to say the soul is immortal and reincarnated [Herodotus]
     Full Idea: The Egyptians were the first to claim that the soul of a human being is immortal, and that each time the body dies the soul enters another creature just as it is being born.
     From: Herodotus (The Histories [c.435 BCE], 2.123.2)