Thursday, March 29, 2012

I made a start here on an account of medieval 'supposition theory', although there is a lot more to do. I was getting irritated with the Wikipedia article, although it is not bad by Wikipedia standards, having been written in 2006 by someone who is actually a professor of philosophy. Brian is not an expert though (few people are in this arcane branch of logic) and the article has a few problems. It's sad too that he could not continue his work on Wikipedia because work for inaccessible peer-reviewed journals was more important, according to his Dean of studies. (I know him from the days I was naively trying to recruit academics to Wikipedia).

Anyway, one of the problems with the article is the way it compares supposition theory to modern theories of reference. That's actually not a problem for Wikipedia – most standard reference works say exactly the same. But Catarina Dutilh Novaes has objected, in a number of published works including her Ph.D. thesis, that this is an anachronism. She doesn't think the concepts of supposition and reference are comparable at all, and part of the problem, she says, is that modern philosophical logicians do not understand medieval theories of supposition, and medieval scholars do not understand the concepts of modern philosophical logic such as reference. Each is comparing something they do understand to something they don't understand, and it's all wrong.

I used to think she was right about this, but now I don't. The problem is that modern philosophical logicians don't really agree on what 'reference' is, and the definitions they give are extremely vague. Consider the definition from the much-better-than-Wikipedia SEP:

Reference is a relation that obtains between expressions and what speakers use expressions to talk about. When I assert ‘George W. Bush is a Republican’, I use the proper name ‘George W. Bush’ to refer to a particular individual, an individual about whom I go on to speak. [...] More picturesquely, we are able to use language to talk about the world because words, at least certain types of words, somehow ‘hook on to’ things in the world — things like George W. Bush. Proper names — expressions like ‘George W. Bush’ — are widely regarded as paradigmatic referring expressions.

What does all that mean? One of Catarina's objections to comparing supposition to reference is that in classical supposition theory, common terms as well as proper names have supposition. 'Man' supposits for all men, 'Socrates' supposits for just Socrates. But according to the SEP definition above, it seems like common terms can refer. If reference is 'talking about', then we can use the expression 'every man' to talk about every man, and when we assert 'every man is an animal' we use the quantified expression 'every man' to talk about a particular group of individuals, individuals about whom we go on to speak.

Now Frege had an objection to this (and Frege is the source of all our modern ideas about reference).

If I utter a sentence with the grammatical subject 'all men', I do not wish to say something about some Central African chief wholly unknown to me. It is thus utterly false that I am in any way designating [my emphasis] this chief when I use the word 'man', or that this chief belongs in any way to what the word 'man' means.

Which is not correct at all. When you use the expression 'every man' or 'all men', you certainly are saying something about this individual, even though he is unknown to you. And why is it false that you are designating him? It depends what mean by designation, but then you are back to the problem of defining 'reference'. And the chief does belong in some way to what the name means. If it meant something different, e.g. if the English word 'man' meant only European men, then the sentence wouldn't be about this chief, would it?

In summary, there is nothing about the definition of reference as given by at least two authoritative sources (the SEP and Frege) that distinguishes it from the medieval concept of supposition. More later.

Wednesday, March 28, 2012

Nice to know these medieval problems are still a difficulty. Anthony argues that 'every man's parent is male' is false because (if I am understanding him) every man has two parents. OK, then if Aristotelian theory is correct, and if that sentence really does have the logical form 'every A is B', it follows that its contradictory 'some man's parent is not male' is true. But what makes that true? Well, take any man you like, say John. Jean is a parent of his, and she is not male, so 'some man's parent is not male' is true because of John and Jean. But John was any man you like. It therefore follows that 'every man's parent is not male' is true.

But that causes a problem. Assuming that every parent is either male or female, 'every man's parent is not male' implies 'every man's parent is female'. But the whole argument began with the assumption that 'every man's parent is male' is false because every man has two parents. Why, by equal reasoning, isn't 'every man's parent is female' false also?

Monday, March 26, 2012

I found the Wittgenstein quotation I was thinking of, which is in the Logic Museum here.

"Mathematical logic" has completely deformed the thinking of mathematicians and of philosophers, by setting up a superficial interpretation of the forms of our everyday language as an analysis of the structures of facts. Of course in this it has only continued to build on the Aristotelian logic.

It's what he says about Aristotelian logic which is the interesting one. There's a school of thought in the medievalist world according to which Aristotelian (scholastic) logic is somehow more faithful to ordinary language than modern mathematical logic. Wittgenstein would clearly have disagreed. I have also been looking at the donkey sophism in Worcester 13 again. The problem is that 'every man's donkey is running' has the form 'every A is B', where A = man's-donkey and B = running. According to Aristotelian logic 'every A is B' and 'every A is non-B' are contraries, they can't both be true at once. But clearly the ordinary language sentences 'every man's donkey is running' and 'every man's donkey is not running' can both be true at the same time, namely in the case where every man has two donkeys, one of which is running and the other of which isn't. It's not a problem for ordinary language at all. But it is a problem for the Aristotelian formalism of the sentence. In that formalism every sentence has two terms, joined by a copula and a quantifier attached to the subject term. It is a procrustean bed which fits our actual thinking very badly, in some cases.

I also noticed this other comment by Wittgenstein in the same place:

The curse of the invasion of mathematics by mathematical logic is that now any proposition can be represented in a mathematical symbolism, and this makes us feel obliged to understand it. Although of course this method of writing is nothing but the translation of vague ordinary prose.

Friday, March 23, 2012

There is an interesting post from the Maverick today on the being-essence distinction. About this question "you have no idea how much ink, and vitriol too, has flooded the scholastic backwaters". Very true. He mentions Aquinas, but there were many others. Here is a link to my translation of Walter Burley's discussion of the question, with parallel Latin text. Walter provides a nice summary of the origins of the question in Boethius, and Avicenna and Al-Ghazali, as well as the different positions held by the main thirteenth century philosophers (Albertus Magnus, Thomas Aquinas, Giles of Rome, Henry of Ghent and Godfrey of Fontaines). Walter agrees with Godfrey that existence (i.e. being) and essence are the same:

Concerning this [Godfrey's] position, it should be understood that nothing is actually in a real genus unless it actually exists. Which is clear from this: the Philosopher (Metaphysics VI at the end), divides being into true being outside the soul, and diminished being that only has being in the soul, and that being he excludes from his consideration. Next, he divides true being outside the soul into the ten categories, and thus every category is true being outside the soul, and nothing is actually in a category unless it actually exists outside the soul.

Maverick's discussion has more in common with the question of individuation, however, over which much ink was also spilled.

[Edit] I am right. The question of whether it is existence that determines numerical distinction is discussed by Scotus in Question 3 of the third distinction of Book II of his Ordinatio. The third distinction is all about the problem of numerical individuation. Angels are immaterial, they have no matter in which their form is embedded. But angels are numerically distinct, and if so, the distinction cannot be grounded in different material of which they are made, for they aren't made of material at all. In the six questions of this distinction, Scotus considers different answers to the problem, before settling on his own answer: numerical distinction and hence individuation must be grounded in some positive feature, some intrinsic 'thisness' or haecceity (from the Latin haec meaning 'this'). I never got round to working on questions 4-6 because they are so difficult, and not on account of the Latin. Scotus is one of those writers - Sartre is another - whose prose becomes more obscure and more difficult in proportion to the difficulty of the question. Why not the other way round?

At least one commenter has spotted the problem about the application of Hayek's paper and Wikipedia. Hayek's central argument is that organisation is best made by people who are familiar with local circumstances, who know directly of the relevant change in circumstances and have the resources immediately available to meet them. No central planner can have this knowledge of circumstance. Thus organisation is best performed – and is being performed in many cases – by a decentralised price system.

Now if there were an analogy between price-based decentralisation and Wikipedia's decentralisation, there would have to be a way for consumers to signal demand for knowledge by paying for it, and a way for the 'miners' of that knowledge to be compensated by digging deep into the earth of information, trying to find veins of wisdom running through the slag of trivia, or by refining the crude ore containing knowledge thinly spread, into the pure metal of subtle and profound wisdom.

There is no such mechanism in Wikipedia. It is paid for by an annual fundraiser which appeals for donations to collect 'the sum of human knowledge', without any mechanism for donors to sponsor chosen articles containing parts of that sum. Even if such targeting were possible, there is no way of directing donations to individual 'knowledge miners'. All editors of Wikipedia are unpaid volunteers*. This fact has already been noted by Harvard researcher Andreea D. Gorbatai in 2011, who questioned whether collective production such as in Wikipedia creates social utility.

Now there is a sort of reward system on Wikipedia whereby editors can achieve non-financial status similar to kindergarten 'stars'. But follow-ups on Wikipedia to Gorbatai's study concluded that this reward system was perverse, with greater recognition being given to editors producing large numbers of low importance articles than to editors producing small numbers of high importance articles. An article in the Wikipedia signpost concluded -

- It is interesting to compare the most prominent author of high importance articles at low production rates, Garrondo, with the most prominent author of low importance articles at high production rates, Ucucha. Garrondo has written one FA, Parkinson’s disease in 2011. Ucucha has produced 14 FAs on rare, Latin-named, mammal species. Garrondo has a lousy strategy for climbing up the WBFAN. However, when we look at the impact of the two editors' articles for the readers, there is little question. Because the single Parkinson’s disease article has 180 times the views as Ucucha’s average article, Garrondo achieved 13 times the total contribution to reader-viewed FA content. The problem is all our systems of rewards, all our tracking systems, all our unconscious assumptions, talk page remarks, and so on simply talk about number of stars…instead of the importance of them. We are incentivising the high production of low importance articles and discouraging the opposite. Yet the latter strategy is the more efficient way to serve the readers. [My emphasis]

This provoked fury from Wikipedia's established editors. The discussion is here - beware the heated and often incoherent ranting.

There is another, more subtle, question here. The 'market mechanism' assumes that what consumers want is what they actually need (or rather, it makes no distinction but wanting and needing). There is an older tradition, dating from at least Plato, that the ordinary mass of human beings don't really know what they need, or what is really good for them. The most recent proponent of this view was Lord Reith of the BBC, who believed that broadcasting should be 'an authoritarian system with a conscience', carrying to the greatest number of people everything that is 'best' in every department of human knowledge, endeavour and achievement, and to avoid whatever is 'harmful'. He was criticised for not giving the public what it wanted but he replied that few people know what they want, and fewer still know what they need. I discuss that in an old post here.

*Except for paid editors, of course, who are employed by public relations agencies or rich individuals to embellish articles about their clients, or themselves. But that's another problem.

Thursday, March 22, 2012

The Maverick asks whether Meinongian objects are 'incomplete'? According to his definition, these are objects which have all and only the properties specified in their descriptions. For example, The Yellow Brick Road is described (in the story) as being yellow, but is not described as being coloured. So The Yellow Brick Road is yellow, because the property of being yellow is ascribed to it, but does have the property of being coloured. So Meinongian objects are 'incomplete'.

Which makes no sense to me. Every yellow object is coloured. Therefore there are no yellow objects which are not coloured. Therefore there is no 'incomplete object' such as Maverick has described. You object: Bill has described such an object, therefore there is such an object as Bill has described. I reply, the verb 'described' is logically intransitive. It takes a grammatical object, i.e. an accusative, but no logical object. 'S describes A' does not entail 'for some x, S describes x'. I can describe a yellow brick road, and perhaps I can even describe a road that is yellow but not coloured. But it does not follow that there is some yellow non-coloured object described by me, for no object is yellow but not coloured.

As I argued before, Ockham's nominalism is not simply about whether universals exist or not. It is more radical than that: problems in philosophy and theology arise from misunderstandings and disagreements about logic. This is not an idea that originated with him, as the following quote* from the mid thirteenth-century theologian Robert Kilwardby shows.

The origin of this science [i.e. logic] ... was as follows. Since in connection with philosophical matters there were many contrary opinions and thus many errors (because contraries are not true at the same time regarding the same thing), thoughtful people saw that this stemmed from a lack of training in reasoning, and that there could be no certainty in knowledge without training in reasoning. And so they studied the process of reasoning in order to reduce it to an art, and they established this science by means of which they completed and organised both this [science] itself and all others; and it is the science of the method of reasoning on all [subject] matters.

Note that 'logic' in the medieval period covered more than formal logic, and covered metaphysics, semantics, informal and demonstrative reasoning as well. Nor did symbolic logic exist. Medieval logic is the logic of natural language, as ordinary people use it in argumentation.

Wednesday, March 21, 2012

As it's budget day here in London I will make a rare concession to things that are happening now, rather than the late thirteenth century. Philosopher Stephen Law, whose debate with William Lane Craig I discussed in a few posts last year, has an excellent and entertaining rant about taxation and the rich on his blog here. The comments section is especially funny. Law's premiss is that the Conservative government has a lot of rich mates and that their entire policy is designed to make them richer, and the poor poorer.

This is presumably why today's budget will include a rise in the 'personal allowance', namely the bit you substract from your taxable income, and which therefore isn't taxed at all. The rise will take some people out of the tax net entirely. And presumably why the London Times today has a headline saying 'Super rich to pay for Osborne's tax cuts'.

I could make a whole post and more about the logic of taxation, but not today. Perhaps later. (Actually our friend Anthony who occasionally posts here knows something about this, but he has been a bit quiet lately. Where are you, Anthony?)

Tuesday, March 20, 2012

'Belette' comments here that "there is no marketplace on wiki". Well perhaps there isn't, but its founders certainly thought there is. Hayek's paper about market mechanisms "The Use of Knowledge in Society" is supposed by some, not least by Jimmy Wales himself, to be the model for Wikipedia. You can read the paper for yourself, but Hayek's central argument is that there are two types of knowledge, namely knowledge of the eternally true, scientific sort of stuff that you read about in books, and knowledge of "circumstance", i.e. of little facts peculiar to a time or place, knowledge of which "never exists in concentrated or integrated form but solely as the dispersed bits of incomplete and frequently contradictory knowledge which all the separate individuals possess." Hayek argues that all economic activity is planning, but all planning must be based on knowledge which is not initially available to the planner but to somebody else, which somehow will have to be conveyed to the planner. Which is the best way of utilising this knowledge: central planning or the use of a price mechanism?

Assume that somewhere in the world a new opportunity for the use of some raw material, say, tin, has arisen, or that one of the sources of supply of tin has been eliminated. It does not matter for our purpose—and it is very significant that it does not matter—which of these two causes has made tin more scarce. All that the users of tin need to know is that some of the tin they used to consume is now more profitably employed elsewhere and that, in consequence, they must economize tin. There is no need for the great majority of them even to know where the more urgent need has arisen, or in favor of what other needs they ought to husband the supply.

Wales claims (in an email to me) that this idea underpins his whole thinking about Wikipedia. Larry Sanger also had some similar ideas which he expressed in a mini-essay here in 2001.

Academia is sometimes compared to the marketplace of ideas. That's also an apt description of Wikipedia at present: it's unregulated (except for some basic ground rules), and anyone can come in and "set up shop" (write an article), but other "business owners" (contributors) can "compete" (improve the article) according to their understanding of what the facts are, what the best way to express them is, etc. Competition improves articles. Regulation tends to stifle free competition."

Sunday, March 18, 2012

I'm still working on the Wikipedia book, looking today at the history of the 'three revert rule', introduced in November 2004. This says that “An editor must not perform more than three reverts on a single page within a 24-hour period”, theoretically puts an end to the endless edit/revert cycle between warring editors. In theory, it is a numbers game which gives the edge to subject matter experts. As I understand the rule (I'm sure Belette will correct me if I am wrong) it applies per player, not per group of players. Two players working together can revert a single opponent up to six times a day, but the opponent, if on their own, can revert only three times. Thus whoever has the largest number on their side, wins the edit war.

This seems to give the edge to subject matter experts because generally (though not always) they tend to agree, at least on the kind of slightly out of date knowledge that is appropriate for reference works. Cranks, by contrast, have their own theory of everything which is peculiar to itself and inconsistent with every other crank theory of everything. The theory that the earth is flat and the theory that it is a cube are both opposed to the mainstream theory that it is roughly spherical, but they contradict each other too. Likewise for the theories that the moon is made of cheese, and that it is made of candy floss. Thus 3 experts can beat any number of cranks, so long as the cranks don't agree on anything.

However, neurologist Steven Novella makes an insightful observation here that brings this idea into question.

... cranks around the world have been able to form their own “alternative” community, publish their own journals, and have their own meetings. There is just one requirement in this alternative community – acceptance. All ideas are accepted (there is no chaff, all is wheat), that is except for one. Whatever is accepted by mainstream science is wrong [my emphasis]. That is “the one ring” of crank mythology, that brings all crank theories together and in the darkness of their community binds them together. Otherwise they are largely mutually incompatible. Each crank’s “theory of everything” is a notion unto itself, and is mutually exclusive to every other crank’s own theory of everything (unless there is some incidental overlap). So they get together, present their theories without criticism, and all agree that the evil conspiracy of mainstream science must be taken down. Of course, if any of them got their way and their ideas became accepted, they would instantly become rejected by the rest of the crank community as mainstream physics.

Correct. My enemy's enemy is my friend, whatever my enemy believes. I have seen this effect in Wikipedia a number of times. Cranks unite to defeat the mainstream, orthodox view. Orthodox editors get blocked or banned. Cranks then war with each other, and get banned themselves. The orthodox editors mount appeals to the powers that be - the arbitration committee, none of whom have any expert credentials as far as I can see, and get unbanned. Or they just open 'sockpuppet' accounts and start editing again under a different name. So do the cranks, and the whole nightmare begins again. Another difficulty that Novella omits is 'mainstream' crankery. That is, bad science or quackery that unites its practitioners by financial interest. Homeopathy and 'Neurolinguistic programming' are good examples of this.

This would not matter at all, if Wikipedia were not increasingly used as a 'reliable source' by students, and even some medical researchers, as I noted in an earlier post.

Saturday, March 17, 2012

A piece here by William Connolley gives me a chance to write about something today. He says that 'with the success of science' the idea of 'abstracting problems', i.e. abstraction, isn't difficult. He considers the example of a ball moving on a surface, which requires the idea of a perfect sphere on a perfectly flat surface, 'ignoring friction'. This takes us straight away to Newton's laws of motion, such as the law that the ball moves in a straight line unless deflected or stopped by some force, and so on.

He claims that the ancients, such as Aristotle, were unable to make that abstraction. "They were still trying to understand the whole world as it was".

...It was "obvious" to them that the first and most obvious property of moving objects was that they stopped moving once you stopped pushing them. An ox-cart rumbling down some rutted muddy path stopped when the oxen stopped pulling it; that was obvious, and the study of such was so mired in the nitty-gritty reality of the world that precious little progress was made until Galileo abstracted (I know, I know, I simplify: Oresme etc worked on the problem too and got some of the way there; but again, only by picking on simpler examples).

Sorry, but that's quite horrible. The ancients such as Aristotle were well used to abstraction. Aristotle, as is well known, was profoundly influenced by Euclid and the abstract world of geometry, you know, perfect circles, spheres, lines, planes and so on. As was Plato before him, of course, who was so impressed with abstraction that he constructed a quasi-religious theory about it.

To get Newton's laws abstraction may be necessary, but not sufficient. The crucial part of Connolley's example is the 'friction' bit. We have to 'ignore friction'. Yes, but what is friction? Well, as we observe it with our own eyes in the natural world, it simply is the tendency of bodies in the sublunary world to slow down and stop. An ancient philosopher could easily have abstracted away friction, after all, that's exactly what Euclid did. There is no friction in Euclid's geometry, nor is there gravitation. But there's nothing in that abstraction that tells you what friction really is. The ancients thought that bodies slow down because that's what they naturally do, just as we think that bodies are naturally attracted to each other by gravitational force (which we still don't understand, except as some Aristotelian essential characteristic of matter).

The capacity to abstract is nothing to do with ancient science. In fact, the problem was too much abstraction. By contrast, a little more observation and attention to the actual world would have done the trick. As I observed here and elsewhere, it was Buridan's observation of milwheels and ships, plus a spell in an armchair, that led him to reject Aristotle's theory of impetus. Forget abstraction.

Friday, March 16, 2012

Remove all that stuff about qualifications, Oxbridge, classics education and all that fuddy duddy old world elitist nonsense. The first thing is that everyone should have an equal say in the way that the health service, the financial system, tax collection and so on are run. And why stop at the people who work there? Why not open the doors of government completely, on the lines of an 'open source' software collective? Remove those turnstiles, guards, doors, just let anyone walk in off the street and work at anyone's desk. Give them access to any kind of file they want. The only requirement is that they get a numbered ticket at the front door, which they must use to get in again. (Don't worry if they lose their tickets, they can simply ask for a new one).

Obviously this may result in the destruction or loss of confidential or important information. But that doesn't matter. Wikipedia managed with an elite corps of patrollers who can check instantly whether information, whatever it is, has been changed or destroyed. They will back up all the information and as soon as some common vandal comes in from the street and messes something up, they will restore things to the way they were before, and take away the entrance ticket of the vandal. (Of course, the vandal can easily get another ticket, but don't worry about that).

Angry disputes about how the country should be run are inevitable, so there should be a 'civility code' against shouting, politically incorrect insults and so forth. This is so important that it should be enforced by an elite hierarchy of administrators. In fact, the only role to promotion in the new Civil Service should be through this hierarchy. Again, forget that nasty old elitist thing about Oxbridge and education. The only thing that matters is the ability to break up fights and to punish those who seem to have started the fight. This does not require any knowledge or understanding of what the fight was about. You could go round asking the people who work at the doors of pubs or clubs, in case they are interested in a permanent job.

Thursday, March 15, 2012

Suppose that every man has two donkeys, one running and one not running. Then every man's donkey is running, for the donkey of this man runs, the donkey of that man runs, and so on for each individual man. But on the other hand, a donkey of this man does not run, (namely the other one of his which is not running), a donkey of that man does not run, and so on for each individual man. Therefore every man's donkey is not running. Therefore it is not the case that every man's donkey is running.

This is one of those puzzles which caused medieval logicians all sorts of mental strain, but which is completely resolved by translation to modern predicate logic. It can easily be shown that the scenario of each man having two donkeys, one running and one not running, implies the following two propositions of predicate logic

(1) (x) Ey x owns y and y runs
(2) (x) Ey x owns y and not (y runs)

where x ranges over men and y over donkeys. Obviously the two propositions are not contraries: they can both be true at the same time. Yet the English sentences which they translate ('every man's donkey runs'and 'every man's donkey does not run') do appear contraries. This is clearly a problem for English, not for logic.

The program of modern analytic philosophy was to resolve all philosophical puzzles by means of the same kind of translation into modern predicate logic. I think this has failed, but that does not imply there can't be some way of formalising paradoxical or aporetic sets of English sentences in a way that dissolves the aporia.

Tuesday, March 13, 2012

Anthony asks about abstract particulars here. In reply, I am not sure what an abstract particular is, so I am not entirely sure I can answer the question. I don't think Ockham ever discusses such things, and in any case, beginning with distinctions in reality rather than distinctions in language is foreign to his whole project. When he begins to talk about 'concrete' and 'abstract' in Chapter 5 of Part I of the Summa, he is talking about types of term. He says that ‘concrete’ and ‘abstract’ are names that have a similar beginning verbally, but not similar endings. Thus 'human' and 'humanity', 'just', 'justice', 'wise', 'wisdom'and so on. This is a linguistic distinction, and Ockham's whole argument is that we confuse distinction in language with a distinction in reality. If Socrates is wise, then 'wise' denotes him, but so also does 'wisdom'. 'Wisdom' does not denote any common substance or nature, a singular thing common to all wise things. Rather, like 'wise', it denotes all wise things.

What about the distinction between particulars that exist in space and time (trees, chairs, people) and particulars which do not (triangles, numbers, etc)? Ockham does have something to say about this, but it takes up all of chapters 40-62 of the Summa, in his discussion of Aristotle's categories. So, more later.

And he claims that the first premise [Pegasus exists], though false, is needed for the argument to be valid. Do I agree? Certainly not. On my view, which is not a standard view, 'Pegasus is a flying horse' has two meanings, a literal and a non-literal. The literal meaning is such that its truth implies that something is a flying horse. I also hold the Brentano-Quine view that 'something' is always 'existing something'. Thus the argument is valid with the second premise alone. "Pegasus is a flying horse" is equivalent (literally understood) to "Something is Pegasus and it is a flying horse" which implies "something is a flying horse" without the help of the first existential premise. Literally understood, "A is B" is always existential.

The second meaning, the non-literal one, is 'In Greek mythology, Pegasus is a flying horse', which means the same as 'Greek mythology says that Pegasus is a flying horse'. This is not existential, at least in respect of the that-clause. It can be true that I say that some horses fly, even though it is false that any horse flies (as far as I know). Thus, on this non-literal interpretation, Bill's argument is not valid, for it really reads:

Sunday, March 11, 2012

I found this website a bit troublesome. It's a website, apparently used mostly by women. It is mostly about cooking, clothes and children. Why? Is there some fundamental biological distinction between men and women? Or is it that patriarchal domination, or the black magic of false consciousness forces women into such things?

Or do they like them at all? Most women I know don't really like cooking. My wife doesn't, nor does a friend of mine who goes home and lies on the sofa with a glass of wine while her husband operates in the kitchen. Clothes are for people under 30, of both sexes. As for children, these are a biological necessity.

Saturday, March 10, 2012

Maverick has a great post here. If 'some horse exists' says that the concept horse is instantiated, what concept does 'something exists' instantiate? (I have simplified his argument somewhat, without missing its force, I hope).

I first went to the States in 1971, when inside absolutely every lift and in every shopping mall they played music like Holiday for Strings. To the teenager I was then, Jimi Hendrix represented all that was true, and shopping mall music everything that was horrible. I don't know if they are playing Hendrix in shopping malls, but music has moved on since then, in some sense of 'moved on'. For example, here is Bring Me The Horizon playing something completely horrid at the Reading Festival last year. The singer has so many tattoos it seems he is infected by gangrene.

Following on from my earlier discussion of Maverick's posts. Assume that a universal is either one thing or many things (an assumption which may be false). If it is many things, then we have an infinite regress. If Socrates' wisdom is numerically different from Plato's wisdom, and if all the wisdoms of many philosophers are many different things, just as the philosophers themselves are many different things, how do we explain the underlying common nature of all these wisdoms? Don't we need another universal to explain this common factor? And then I ask whether this common factor is one or many. If one, then eadem ratione standum fuit in primo: by the same logic we should have stopped with the original case and gone no further. If many, procedetur in infinitum, there is an infinite regress.

If by contrast it is one thing, we must suppose some relation between individual objects which are instances of the universal, and the universal itself. Socrates, who is wise, bears this relation to the universal wisdom. So does Plato. But Joe Stupid, who is not wise, does not. And so we can construct a predicate, e.g. '- has wisdom' which is satisfied by all wise people, and only wise people. But what is the common feature that explains why some individuals bear this relation to the universal, and some do not? Is this one or many? And so we have an infinite regress again.

I conclude that, if there are universals, they are neither one nor many. More later, and this may involve bringing Avicenna into it.

Friday, March 09, 2012

I was amused by this post from the Maverick which attempts to classify the various forms of nominalism. I particularly liked the idea of 'mad dog nominalism' – a form of the genre that collapses into linguistic idealism.

I pointed out in the comments box that there is a further ingredient in Ockham's nominalism, namely the thesis that by ignorance of logic we are led astray into certain false and fantastical beliefs. This is not a million miles from Wittgenstein.

[Philosophical problems] are, of course, not empirical problems; they are solved, rather, by looking into the workings of our language, and that in such a way as to make us recognise those workings: in despite of an urge to misunderstand them. The problems are solved, not by giving new information, but by arranging what we have always known. Philosophy is a battle against the bewitchment of our intelligence by means of language. [Philosophical Investigations ~109]

Wednesday, March 07, 2012

There's an fascinating new documentary in the making. The website is here with some promotional clips here.

"Wikipedia is a massive online free encyclopedia. It's one of the most visited sites on the web, with two billion hits every month. With the stated goal of compiling the sum of all human knowledge, it's the most used reference source in the world. Yet, at any given moment, it may contain information that is completely untrue and misleading. How can this be?

"The world of Wikipedia, which many assume to be a collegial community of experts collaborating to write an encyclopedia, often more closely resembles an arena in which personal conflict and gang warfare are standard operating procedures. Wikipedians are collaborating to write the world’s largest and most used encyclopedia, but their behaviors often more closely resemble those of a large group of anonymous characters playing a vast and intricate online game in which “writing an encyclopedia” merely provides the basic scenario and context within which the game is played".

That seems about right. I have identified the accounts in question, plus quite a few more that the site doesn't mention, and this is probably the most skilled 'sockmaster' I have ever seen. But to understand what a 'sockmaster' is I will have to explain one of the fundamental design flaws of Wikipedia.

Wikipedia was set up in 2001 by free culture types, who believe that knowledge should be both free and open. Free means, well, free, and I can deal with that, and open means user-generated, which is more problematic. Having anyone edit means that anyone can open an account without restriction. Indeed, the same person can open as many accounts as they like without restriction. This is a fundamental principle of Wikipedia, and is unlikely ever to change, given the politics and ideology of the people who run the site. Add to this the premise that people generally edit for selfish reasons, as I argued here, and you have two nicely toxic ingredients. If you have some passionate belief in some piece of nonsense – it doesn't matter what the nonsense is – then you want the nonsense in Wikipedia. Given that other people may oppose the nonsense, then you will want to stack the argument with as many multiple accounts or 'sockpuppets' as you can create, defending the nonsense against all comers.

This takes some skill. Using sockpuppets to stack the vote is a (theoretically) a banning offence on Wikipedia, unless you are a highly influential member of the administration. So ideally at least one of your socks is an administrator, which this guy was*. In addition, the rest of the sockpuppets should not be 'single purpose'. If they all start to edit just the one article, you will normally be caught out pretty quickly. So you edit in many different and non-overlapping subject areas, occasionally editing the subject in dispute. At crucial moments you bring the socks together, usually to gain consensus, or stack a vote, or to bypass the '3RR'** rule. This all takes time and effort, but young people with an agenda and time on their hands can manage that. The achievement of Cognition was to add significant content in various contentious areas without being caught out. I haven't yet checked to see how much of the nonsense is still there, but it is likely to be significant. The main point, as the character says, is that Wikipedia is not an encyclopedia, and the skill required to participate in it are more aligned to John le Carre, than Diderot.

And he is still editing.

* I can imagine Belette's dorsal fins flapping here. No, not with the Cognition account.
** 3RR = three revert. If you revert someone's edit more than three times, you can be blocked. So you get your socks to do some of the reverting. Of course your opponent will be using socks too. It is not uncommon to see what looks like a whole crowd of people arguing with each other, when in reality there are just two. Sometimes there is only one! Really skilled sockmasters will create good/bad hand accounts to increase the appearance of reality, often putting silly arguments in the mouths of the bad hand account in order to refute them more surely, and to make the opposition look foolish.

Monday, March 05, 2012

Three additions to the Logic Museum. First, a summary of Ockham's Summa of Logic. The material on part I is pretty much complete, but parts II and III, and particularly part III, need further work. Part III has been little studied - even Boehner only got as far as chapter 2. I wrote the Wikipedia article on the same subject some years ago, but that is a mere stub.

Next, London Greyfriars, one of five proposed articles on London friaries. This is an obvious continuation of the version I wrote in December 2010 for Wikipedia. Unfortunately I was blocked by administrators, halfway through writing this section, which as you can see is still incomplete. One of the administrators actually deleted the article, although it was soon restored. This was all part of an ongoing feud with Wikipedia whose origins have long since been forgotten, as with most feuds. The new article completes the section on the buildings and - very important - has a list of some of the books which John Leland found in the Greyfriars library before it was dispersed by King Henry's henchmen. I am still fascinated by the idea that Ockham stayed at Greyfriars while he wrote Summa Logicae. Many of his biographers think so, but I had a correspondence with William Courtenay who persuaded me that this is still not certain. It is pretty certain that Ockham, Wodeham and Chatton were all together at some time. What we are not certain about is where this was. Note, however, that the Greyfriars library contained quite a few works by the venerable inceptor.

Finally, a stub on the Carmelite friary, which also had an extensive library. The crypt of the friary is still visible under the offices of Freshfields in Whitefriars street, and there is a link to some photos.

Saturday, March 03, 2012

"According to Ockham, everything in external reality is singular". This is not a good way of characterising Ockham's nominalism, for it could equally apply to some of the brands of realism which he criticises and caricatures. For example, a realist who holds that a universal is a singular thing, inhering in some way in many things, also holds that everything (including universals) is singular. But they would clearly not be a nominalist.

A similar observation applies to the so-called Ockham's razor. "Do not multiply entities beyond what is necessary". Sure, but realists agree with that too. The disagreement is over what counts as necessary. Realists would hold that universals are necessary, of course.

Friday, March 02, 2012

Here is the lovely example, possibly the best yet, of what I have called Wikipedia faction. This is where some nonsense information gets added to Wikipedia and stays there long enough for 'reliable sources' to pick it up, so that Wikipedia can then cite the reliable sources for the nonsense.

In 2007 an anonymous IP adds this entry to the Wikipedia article on diabetic neuropathy.

It is important to note that people with diabetes are more likely to develop symptoms relating to peripheral neuropathy as the excess glucose in the blood results in a condition known as Glucojasinogen. This condition is affiliated with erectile dysfunction and epigastric tenderness which in turn results in lack of blood flow to the peripheral intrapectine nerves which govern the movement of the arms and legs.

It would have been more amusing if the sources actually had been added, to complete the circle. But then it's not amusing at all, is it. It's one thing to get most of the key facts about medieval philosophers completely wrong. That just damages learning. It's another to slander someone in public, under the umbrella of a supposedly comprehensive and reliable reference work. That merely damages someone's reputation or even destroys their career. But getting important medical information wrong can damage someone's health or life. That's not amusing. In fact none of it is amusing.

The Wikipedians, by contrast, are having a bit of a laugh about it. Another Wikipedia hoax. The IP editor even got a special 'barnstar'. This is part of the frustration of the place. If something goes desperately wrong, it's a bit of a giggle. Challenge any of this from the outside, however, and you are immediately pointed in the direction of the famous 'Nature' article in 2005. "Wikipedia articles come close to the level of accuracy in Encyclopedia Britannica".

Thursday, March 01, 2012

I have made a start on book III-3 of Ockham's Summa Logicae by translating some of the chapters on induction. The part 3 of the third part is received little attention from philosophers, and as far as I know has never been translated. The chapters I have looked at come across as terribly weak, unlike the powerful and insightful work of the first two parts.

Ockham says that induction "is a progression from singulars to the universal", which is pretty much the modern understanding of the term. He gives the example "this [man] runs, and that one, and so on, therefore every man runs". What does the 'and so on' mean? If it means 'every other man apart from this one and that one', then the argument amounts to 'Man a and man b and every other man apart from a and b run, therefore every man runs', which is trivial, though admittedly valid. Or does he mean that the 'and so on' is a placeholder for a longer proposition which enumerates every man there is, and so does not include the word 'every', but concludes with the word 'every'? But that would not work, because the enumeration would have to conclude 'and there are no more men'. Mathematical induction, of course, is different from any of these. As I understand it, it is an inference from the properties of the successor of every number, to the properties of all numbers of a particular type (the naturals). Thus the antecedent and the consequent of mathematical induction both contain the word 'every'. I may be wrong, I'm sure my mathematically minded commenters will leap in to correct me if so.