32 ideas
| 13827 | Logical consequence isn't a black box (Tarski's approach); we should explain how arguments work [Prawitz] |
| Full Idea: Defining logical consequence in the way Tarski does is a rather meagre result, treating an argument as a black box, observing input and output, while disregarding inner structure. We should define logical consequence on the basis of valid arguments. | |
| From: Dag Prawitz (On the General Idea of Proof Theory [1974], §2) |
| 11115 | 'All horses' either picks out the horses, or the things which are horses [Jubien] |
| Full Idea: Two ways to see 'all horses are animals' are as picking out all the horses (so that it is a 'horse-quantifier'), ..or as ranging over lots of things in addition to horses, with 'horses' then restricting the things to those that satisfy 'is a horse'. | |
| From: Michael Jubien (Analyzing Modality [2007], 2) | |
| A reaction: Jubien says this gives you two different metaphysical views, of a world of horses etc., or a world of things which 'are horses'. I vote for the first one, as the second seems to invoke an implausible categorical property ('being a horse'). Cf Idea 11116. |
| 13826 | Model theory looks at valid sentences and consequence, but not how we know these things [Prawitz] |
| Full Idea: In model theory, which has dominated the last decades, one concentrates on logically valid sentences, and what follows logically from what, but one disregards questions concerning how we know these things. | |
| From: Dag Prawitz (On the General Idea of Proof Theory [1974], §1) |
| 11116 | Being a physical object is our most fundamental category [Jubien] |
| Full Idea: Being a physical object (as opposed to being a horse or a statue) really is our most fundamental category for dealing with the external world. | |
| From: Michael Jubien (Analyzing Modality [2007], 2) | |
| A reaction: This raises the interesting question of why any categories should be considered to be more 'fundamental' than others. I can only think that we perceive something to be an object fractionally before we (usually) manage to identify it. |
| 11117 | Haecceities implausibly have no qualities [Jubien] |
| Full Idea: Properties of 'being such and such specific entity' are often called 'haecceities', but this term carries the connotation of non-qualitativeness which I don't favour. | |
| From: Michael Jubien (Analyzing Modality [2007], 2) | |
| A reaction: The way he defines it makes it sound as if it was a category, but I take it to be more like a bare individual essence. If it has not qualities then it has no causal powers, so there could be no evidence for its existence. |
| 11119 | De re necessity is just de dicto necessity about object-essences [Jubien] |
| Full Idea: I suggest that the de re is to be analyzed in terms of the de dicto. ...We have a case of modality de re when (and only when) the appropriate property in the de dicto formulation is an object-essence. | |
| From: Michael Jubien (Analyzing Modality [2007], 5) |
| 11118 | Modal propositions transcend the concrete, but not the actual [Jubien] |
| Full Idea: Where modal propositions may once have seemed to transcend the actual, they now seem only to transcend the concrete. | |
| From: Michael Jubien (Analyzing Modality [2007], 4) | |
| A reaction: This is because Jubien has defended a form of platonism. Personally I take modal propositions to be perceptible in the concrete world, by recognising the processes involved, not the mere static stuff. |
| 11108 | Your properties, not some other world, decide your possibilities [Jubien] |
| Full Idea: The possibility of your having been a playwright has nothing to do with how people are on other planets, whether in our own or in some other realm. It is only to do with you and the relevant property. | |
| From: Michael Jubien (Analyzing Modality [2007], 1) | |
| A reaction: I'm inclined to think that this simple point is conclusive disproof of possible worlds as an explanation of modality (apart from Jubien's other nice points). What we need to understand are modal properties, not other worlds. |
| 11111 | Modal truths are facts about parts of this world, not about remote maximal entities [Jubien] |
| Full Idea: Typical modal truths are just facts about our world, and generally facts about very small parts of it, not facts about some infinitude of complex, maximal entities. | |
| From: Michael Jubien (Analyzing Modality [2007], 1) | |
| A reaction: I think we should embrace this simple fact immediately, and drop all this nonsense about possible worlds, even if they are useful for the semantics of modal logic. |
| 11105 | We have no idea how many 'possible worlds' there might be [Jubien] |
| Full Idea: As soon as we start talking about 'possible world', we beg the question of their relevance to our prior notion of possibility. For all we know, there are just two such realms, or twenty-seven, or uncountably many, or even set-many. | |
| From: Michael Jubien (Analyzing Modality [2007], 1) |
| 11107 | If there are no other possible worlds, do we then exist necessarily? [Jubien] |
| Full Idea: Suppose there happen to be no other concrete realms. Would we happily accept the consequence that we exist necessarily? | |
| From: Michael Jubien (Analyzing Modality [2007], 1) |
| 11106 | If all possible worlds just happened to include stars, their existence would be necessary [Jubien] |
| Full Idea: If all of the possible worlds happened to include stars, how plausible is it to think that if this is how things really are, then we've just been wrong to regard the existence of stars as contingent? | |
| From: Michael Jubien (Analyzing Modality [2007], 1) |
| 11112 | Possible worlds just give parallel contingencies, with no explanation at all of necessity [Jubien] |
| Full Idea: In the world theory, what passes for 'necessity' is just a bunch of parallel 'contingencies'. The theory provides no basis for understanding why these contingencies repeat unremittingly across the board (while others do not). | |
| From: Michael Jubien (Analyzing Modality [2007], 1) |
| 11109 | If other worlds exist, then they are scattered parts of the actual world [Jubien] |
| Full Idea: Any other realms that happened to exist would just be scattered parts of the actual world, not entire worlds at all. It would just happen that physical reality was fragmented in this remarkable but modally inconsequential way. | |
| From: Michael Jubien (Analyzing Modality [2007], 1) | |
| A reaction: This is aimed explicitly at Lewis's modal realism, and strikes me as correct. Jubien's key point here is that they are irrelevant to modality, just as foreign countries are irrelevant to the modality of this one. |
| 11113 | Worlds don't explain necessity; we use necessity to decide on possible worlds [Jubien] |
| Full Idea: The suspicion is that the necessity doesn't arise from how worlds are, but rather that the worlds are taken to be as they are in order to capture the intuitive necessity. | |
| From: Michael Jubien (Analyzing Modality [2007], 1) | |
| A reaction: It has always seemed to me rather glaring that you need a prior notion of 'possible' before you can start to talk about 'possible worlds', but I have always been too timid to disagree with the combination of Saul Kripke and David Lewis. Thank you, Jubien! |
| 11110 | We mustn't confuse a similar person with the same person [Jubien] |
| Full Idea: If someone similar to Humphrey won the election, that nicely establishes the possibility of someone's winning who is similar to Humphrey. But we mustn't confuse this possibility with the intuitively different possibility of Humphrey himself winning. | |
| From: Michael Jubien (Analyzing Modality [2007], 1) |
| 7337 | In Mosaic legal theory, crimes are sins and sins are crimes [Johnson,P] |
| Full Idea: In Mosaic legal theory, all breaches of the law offend God. All crimes are sins, just as all sins are crimes. | |
| From: Paul Johnson (The History of the Jews [1987], Pt I) | |
| A reaction: This would seem to define Josephus called a 'theocracy'. Not just rule by a priesthood, but also an attempt to make civil law coincide with the teachings of sacred texts. But doing 80 m.p.h. on a motorway at 2 a.m. hardly seems like a sin. |
| 7339 | Because human life is what is sacred, Mosaic law has no death penalty for property violations [Johnson,P] |
| Full Idea: Where other codes provided the death penalty for offences against property, in Mosaic law no property offence is capital; human life is too sacred, where the rights of property alone are violated. | |
| From: Paul Johnson (The History of the Jews [1987], Pt I) | |
| A reaction: We still preserve this idea in our law, and also in our culture, where we are keen to insist that catastrophes like earthquakes or major fires are measured almost entirely by the loss of life, not the loss of property. I approve. |
| 7353 | The Pharisees undermined slavery, by giving slaves responsibility and status in law courts [Johnson,P] |
| Full Idea: It is no accident that slavery among Jews disappeared with the rise of the Pharisees, as they insisted that all were equal before God in a court. Masters were no longer responsible for actions of slaves, so a slave had status, and slavery could not work. | |
| From: Paul Johnson (The History of the Jews [1987], Pt II) | |
| A reaction: As in seventeenth century England, the rise of social freedom comes from religious sources, not social sources. A slave has status in the transcendent world of souls, despite being a nobody in the physical world. |
| 7340 | Mosaic law was the first to embody the rule of law, and equality before the law [Johnson,P] |
| Full Idea: Mosaic law meant that God ruled through his laws, and since all were equally subject to the law, the system was the first to embody the double merits of the rule of law and equality before the law. | |
| From: Paul Johnson (The History of the Jews [1987], Pt I) | |
| A reaction: If this is correct, it seems to be a hugely important step, combined with Idea 1659, that revenge should be the action of a the state, not of the individual. They are the few simple and essential keys to civilization. |
| 7338 | Man's life is sacred, because it is made in God's image [Johnson,P] |
| Full Idea: In Mosaic theology, man is made in God's image, and so his life is not just valuable, it is sacred. | |
| From: Paul Johnson (The History of the Jews [1987], Pt I) | |
| A reaction: The obvious question is what exactly is meant by "in God's image". Physically, spiritually, intellectually, morally? I am guessing that the original idea was intellectual, because we are the only rational animal. The others seem unlikely, or arrogant. |
| 7348 | The Jews sharply distinguish human and divine, but the Greeks pull them closer together [Johnson,P] |
| Full Idea: The Jews drew an absolute distinction between the human and the divine; the Greeks constantly elevated the human - they were Promethean - and lowered the divine. | |
| From: Paul Johnson (The History of the Jews [1987], Pt II) | |
| A reaction: An intriguing observation. The Greek idea runs right through European culture, surfacing (for example) in 'Faust', or 'Frankenstein', or the films of James Cameron. I'm with the Greeks; I want to see how far humanity can be elevated. |
| 7336 | A key moment is the idea of a single moral God, who imposes his morality on humanity [Johnson,P] |
| Full Idea: The discovery of monotheism, and not just of monotheism but of a sole, omnipotent God actuated by ethical principles and seeking methodically to impose them on human beings, is one of the greatest turning-points in history, perhaps the greatest of all. | |
| From: Paul Johnson (The History of the Jews [1987], Pt I) | |
| A reaction: 'Discovery' begs some questions, but when put like this you realise what a remarkable event it was. It is a good candidate for the most influential idea ever, even if large chunks of humanity, especially in the orient, never took to monotheism. |
| 7341 | Sampson illustrates the idea that religious heroes often begin as outlaws and semi-criminals [Johnson,P] |
| Full Idea: Sampson is the outstanding example of the point which the Book of Judges makes again and again, that the Lord and society are often served by semi-criminal types, outlaws and misfits, who become folk-heroes and then religious heroes. | |
| From: Paul Johnson (The History of the Jews [1987], Pt I) | |
| A reaction: This illustrates nicely Nietzsche's claim, that the jews were responsible for his 'inversion of values', in which aristocratic virtues are downgraded, and the virtues of a good slave are elevated (though Sampson may not show that point so well!). |
| 7342 | Isaiah moved Israelite religion away from the local, onto a more universal plane [Johnson,P] |
| Full Idea: The works of Isaiah (740-700 BCE) mark the point at which the Israelite religion began to spiritualize itself, to move from a specific location in space and time on to the universalist plane. | |
| From: Paul Johnson (The History of the Jews [1987], Pt I) | |
| A reaction: This is necessary if any religion is going to make converts outside the local culture. The crucial step would be to disembody God, so that He cannot be represented by a statue. The difficulty is for him to be universal, but retain a 'chosen people'. |
| 7355 | The Torah pre-existed creation, and was its blueprint [Johnson,P] |
| Full Idea: The Torah was not just a book about God. It pre-existed creation, in the same way as God did. In fact, it was the blueprint of creation. | |
| From: Paul Johnson (The History of the Jews [1987], Pt III) | |
| A reaction: You can only become a 'people of the book' (which Moslems resented in Judaism, and then emulated) if you give this stupendously high status to your book. Hence Christian fundamentalism makes sense, with its emphasis on the divinity of the Bible. |
| 7344 | Judaism involves circumcision, Sabbath, Passover, Pentecost, Tabernacles, New Year, and Atonement [Johnson,P] |
| Full Idea: The practices of Judaism developed during their Exile: circumcision, the Sabbath, the Passover (founding of the nation), Pentecost (giving of the laws), the Tabernacles, the New Year, and the Day of Atonement. | |
| From: Paul Johnson (The History of the Jews [1987], Pt II) | |
| A reaction: These were the elements of ritual created to replace the existence of a physically located state. An astonishing achievement, not even remotely achieved by any other state that was driven off its lands. A culture is an idea, not a country. |
| 7345 | In exile the Jews became a nomocracy [Johnson,P] |
| Full Idea: In exile the Jews, deprived of a state, became a nomocracy - voluntarily submitting to rule by a Law which could only be enforced by consent. Nothing like this had occurred before in history. | |
| From: Paul Johnson (The History of the Jews [1987], Pt II) | |
| A reaction: It is the most remarkable case in history of a people united and strengthened by adversity, and it became an important experiment in the building of human cultures. But what is the point of preserving a culture, with no land? Why not just integrate? |
| 7347 | Zoroastrians believed in one eternal beneficent being, Creator through the holy spirit [Johnson,P] |
| Full Idea: Cyrus the Great was a Zoroastrian, believing in one, eternal, beneficent being, 'Creator of all things through the holy spirit'. | |
| From: Paul Johnson (The History of the Jews [1987], Pt II) | |
| A reaction: Is this the actual origin of monotheism, or did they absorb this idea from the Jews? The interesting bit is the fact that the supreme being (called Marduk) is 'beneficent', which one doesn't associate with these remote and supposed pagans. |
| 7349 | Immortality based on judgement of merit was developed by the Egyptians (not the Jews) [Johnson,P] |
| Full Idea: The idea of judgement at death and immortality on the basis of merit were developed in Egypt before 1000 BCE. It is not Jewish because it was not in the Torah, and the Sadducees, who stuck to their texts, seemed to have denied the afterlife completely. | |
| From: Paul Johnson (The History of the Jews [1987], Pt II) | |
| A reaction: This is the idea considered crucial to religion by Immanuel Kant (Idea 1455), who should be declared an honorary Egyptian. To me the idea that only the good go to heaven sounds like sadly wishful thinking - a fictional consolation for an unhappy life. |
| 7354 | The main doctrine of the Pharisees was belief in resurrection and the afterlife [Johnson,P] |
| Full Idea: Belief in resurrection and the afterlife was the main distinguishing mark of Pharisaism, and thus fundamental of rabbinic Judaism. | |
| From: Paul Johnson (The History of the Jews [1987], Pt II) | |
| A reaction: Belief in an afterlife seems to go back to the Egyptians, but this development in Judaism was obviously very influential, even among early Christians, who initially seem to have only believed in resurrection of the body. |
| 7356 | Pious Jews saw heaven as a vast library [Johnson,P] |
| Full Idea: Pious Jews saw heaven as a vast library, with the Archangel Metatron as the librarian: the books in the shelves there pressed themselves together to make room for a newcomer. | |
| From: Paul Johnson (The History of the Jews [1987], Pt III) | |
| A reaction: I'm tempted to convert to Judaism. |