51 ideas
| 13395 | If an analysis shows the features of a concept, it doesn't seem to 'reduce' the concept [Jubien] |
| Full Idea: An analysis of a concept tells us what the concept is by telling us what its constituents are and how they are combined. ..The features of the concept are present in the analysis, making it surprising the 'reductive' analyses are sought. | |
| From: Michael Jubien (Possibility [2009], 4.5) | |
| A reaction: He says that there are nevertheless reductive analyses, such as David Lewis's analysis of modality. We must disentangle conceptual analysis from causal analysis (e.g. in his example of the physicalist reduction of mind). |
| 10170 | While true-in-a-model seems relative, true-in-all-models seems not to be [Reck/Price] |
| Full Idea: While truth can be defined in a relative way, as truth in one particular model, a non-relative notion of truth is implied, as truth in all models. | |
| From: E Reck / M Price (Structures and Structuralism in Phil of Maths [2000], §4) | |
| A reaction: [The article is actually discussing arithmetic] This idea strikes me as extremely important. True-in-all-models is usually taken to be tautological, but it does seem to give a more universal notion of truth. See semantic truth, Tarski, Davidson etc etc. |
| 10166 | ZFC set theory has only 'pure' sets, without 'urelements' [Reck/Price] |
| Full Idea: In standard ZFC ('Zermelo-Fraenkel with Choice') set theory we deal merely with pure sets, not with additional urelements. | |
| From: E Reck / M Price (Structures and Structuralism in Phil of Maths [2000], §2) | |
| A reaction: The 'urelements' would the actual objects that are members of the sets, be they physical or abstract. This idea is crucial to understanding philosophy of mathematics, and especially logicism. Must the sets exist, just as the urelements do? |
| 13378 | It is a mistake to think that the logic developed for mathematics can clarify language and philosophy [Jubien] |
| Full Idea: It has often been uncritically assumed that logic that was initially a tool for clarifying mathematics could be seamlessly and uniformly applied in the effort to clarify ordinary language and philosophy, but this has been a real mistake. | |
| From: Michael Jubien (Possibility [2009], Intro) | |
| A reaction: I'm not saying he's right (since you need stupendous expertise to make that call) but my intuitions are that he has a good point, and he is at least addressing a crucial question which most analytical philosophers avert their eyes from. |
| 13402 | We only grasp a name if we know whether to apply it when the bearer changes [Jubien] |
| Full Idea: We cannot be said to have a full grasp of a name unless we have a definite disposition to apply it or to withhold it under whatever conceivable changes the bearer of the name might come to undergo. | |
| From: Michael Jubien (Possibility [2009], 5.3) | |
| A reaction: This is right, and an excellent counterproposal to the logicians' notion that names have to rigidly designate. As a bare minimum, you are not supposed to deny the identity of your parents because they have grown a bit older, or a damaged painting. |
| 13405 | The baptiser picks the bearer of a name, but social use decides the category [Jubien] |
| Full Idea: The person who introduces a proper name gets to pick its bearer, but its category - and consequently the meaning of the name - is determined by social use. | |
| From: Michael Jubien (Possibility [2009], 7) | |
| A reaction: New 'division of labour'. The idea that a name has some sort of meaning seems right and important. If babies were switched after baptism, social use might fix the name to the new baby. The namer could stipulate the category at the baptism. Too neat. |
| 13399 | Examples show that ordinary proper names are not rigid designators [Jubien] |
| Full Idea: There are plenty of examples to show that ordinary proper names simply are not rigid designators. | |
| From: Michael Jubien (Possibility [2009], 5.1) | |
| A reaction: His examples are the planet Venus and the dust of which it is formed, and a statue made of clay. In other words, for some objects, perhaps under certain descriptions (e.g. functional ones), the baptised matter can change. Rigidity is an extra topping. |
| 13398 | We could make a contingent description into a rigid and necessary one by adding 'actual' to it [Jubien] |
| Full Idea: 'The winner of the Derby' satisfies some horse, but only accidentally. But we could 'rigidify' the description by inserting 'actual' into it, giving 'the actual winner of the Derby'. Winning is a contingent property, but actually winning is necessary. | |
| From: Michael Jubien (Possibility [2009], 5.1) | |
| A reaction: I like this unusual proposal because instead of switching into formal logic in order to capture the ideas we are after, he is drawing on the resources of ordinary language, offering philosophers a way of speaking plain English more precisely. |
| 13392 | Philosophers reduce complex English kind-quantifiers to the simplistic first-order quantifier [Jubien] |
| Full Idea: There is a readiness of philosophers to 'translate' English, with its seeming multitude of kind-driven quantifiers, into first-order logic, with its single wide-open quantifier. | |
| From: Michael Jubien (Possibility [2009], 4.1) | |
| A reaction: As in example he says that reference to a statue involves a 'statue-quantifier'. Thus we say things about the statue that we would not say about the clay, which would involve a 'clay-quantifier'. |
| 10175 | Three types of variable in second-order logic, for objects, functions, and predicates/sets [Reck/Price] |
| Full Idea: In second-order logic there are three kinds of variables, for objects, for functions, and for predicates or sets. | |
| From: E Reck / M Price (Structures and Structuralism in Phil of Maths [2000], §5) | |
| A reaction: It is interesting that a predicate seems to be the same as a set, which begs rather a lot of questions. For those who dislike second-order logic, there seems nothing instrinsically wicked in having variables ranging over innumerable multi-order types. |
| 10165 | 'Analysis' is the theory of the real numbers [Reck/Price] |
| Full Idea: 'Analysis' is the theory of the real numbers. | |
| From: E Reck / M Price (Structures and Structuralism in Phil of Maths [2000], §2) | |
| A reaction: 'Analysis' began with the infinitesimal calculus, which later built on the concept of 'limit'. A continuum of numbers seems to be required to make that work. |
| 10174 | Mereological arithmetic needs infinite objects, and function definitions [Reck/Price] |
| Full Idea: The difficulties for a nominalistic mereological approach to arithmetic is that an infinity of physical objects are needed (space-time points? strokes?), and it must define functions, such as 'successor'. | |
| From: E Reck / M Price (Structures and Structuralism in Phil of Maths [2000], §4) | |
| A reaction: Many ontologically austere accounts of arithmetic are faced with the problem of infinity. The obvious non-platonist response seems to be a modal or if-then approach. To postulate infinite abstract or physical entities so that we can add 3 and 2 is mad. |
| 10164 | Peano Arithmetic can have three second-order axioms, plus '1' and 'successor' [Reck/Price] |
| Full Idea: A common formulation of Peano Arithmetic uses 2nd-order logic, the constant '1', and a one-place function 's' ('successor'). Three axioms then give '1 is not a successor', 'different numbers have different successors', and induction. | |
| From: E Reck / M Price (Structures and Structuralism in Phil of Maths [2000], §2) | |
| A reaction: This is 'second-order' Peano Arithmetic, though it is at least as common to formulate in first-order terms (only quantifying over objects, not over properties - as is done here in the induction axiom). I like the use of '1' as basic instead of '0'! |
| 10172 | Set-theory gives a unified and an explicit basis for mathematics [Reck/Price] |
| Full Idea: The merits of basing an account of mathematics on set theory are that it allows for a comprehensive unified treatment of many otherwise separate branches of mathematics, and that all assumption, including existence, are explicit in the axioms. | |
| From: E Reck / M Price (Structures and Structuralism in Phil of Maths [2000], §4) | |
| A reaction: I am forming the impression that set-theory provides one rather good model (maybe the best available) for mathematics, but that doesn't mean that mathematics is set-theory. The best map of a landscape isn't a landscape. |
| 10167 | Structuralism emerged from abstract algebra, axioms, and set theory and its structures [Reck/Price] |
| Full Idea: Structuralism has emerged from the development of abstract algebra (such as group theory), the creation of axiom systems, the introduction of set theory, and Bourbaki's encyclopaedic survey of set theoretic structures. | |
| From: E Reck / M Price (Structures and Structuralism in Phil of Maths [2000], §2) | |
| A reaction: In other words, mathematics has gradually risen from one level of abstraction to the next, so that mathematical entities like points and numbers receive less and less attention, with relationships becoming more prominent. |
| 10169 | Relativist Structuralism just stipulates one successful model as its arithmetic [Reck/Price] |
| Full Idea: Relativist Structuralism simply picks one particular model of axiomatised arithmetic (i.e. one particular interpretation that satisfies the axioms), and then stipulates what the elements, functions and quantifiers refer to. | |
| From: E Reck / M Price (Structures and Structuralism in Phil of Maths [2000], §4) | |
| A reaction: The point is that a successful model can be offered, and it doesn't matter which one, like having any sort of aeroplane, as long as it flies. I don't find this approach congenial, though having a model is good. What is the essence of flight? |
| 10179 | There are 'particular' structures, and 'universal' structures (what the former have in common) [Reck/Price] |
| Full Idea: The term 'structure' has two uses in the literature, what can be called 'particular structures' (which are particular relational systems), but also what can be called 'universal structures' - what particular systems share, or what they instantiate. | |
| From: E Reck / M Price (Structures and Structuralism in Phil of Maths [2000], §6) | |
| A reaction: This is a very helpful distinction, because it clarifies why (rather to my surprise) some structuralists turn out to be platonists in a new guise. Personal my interest in structuralism has been anti-platonist from the start. |
| 10181 | Pattern Structuralism studies what isomorphic arithmetic models have in common [Reck/Price] |
| Full Idea: According to 'pattern' structuralism, what we study are not the various particular isomorphic models of arithmetic, but something in addition to them: a corresponding pattern. | |
| From: E Reck / M Price (Structures and Structuralism in Phil of Maths [2000], §7) | |
| A reaction: Put like that, we have to feel a temptation to wield Ockham's Razor. It's bad enough trying to give the structure of all the isomorphic models, without seeking an even more abstract account of underlying patterns. But patterns connect to minds.. |
| 10182 | There are Formalist, Relativist, Universalist and Pattern structuralism [Reck/Price] |
| Full Idea: There are four main variants of structuralism in the philosophy of mathematics - formalist structuralism, relativist structuralism, universalist structuralism (with modal variants), and pattern structuralism. | |
| From: E Reck / M Price (Structures and Structuralism in Phil of Maths [2000], §9) | |
| A reaction: I'm not sure where Chihara's later book fits into this, though it is at the nominalist end of the spectrum. Shapiro and Resnik do patterns (the latter more loosely); Hellman does modal universalism; Quine does the relativist version. Dedekind? |
| 10168 | Formalist Structuralism says the ontology is vacuous, or formal, or inference relations [Reck/Price] |
| Full Idea: Formalist Structuralism endorses structural methodology in mathematics, but rejects semantic and metaphysical problems as either meaningless, or purely formal, or as inference relations. | |
| From: E Reck / M Price (Structures and Structuralism in Phil of Maths [2000], §3) | |
| A reaction: [very compressed] I find the third option fairly congenial, certainly in preference to rather platonist accounts of structuralism. One still needs to distinguish the mathematical from the non-mathematical in the inference relations. |
| 10178 | Maybe we should talk of an infinity of 'possible' objects, to avoid arithmetic being vacuous [Reck/Price] |
| Full Idea: It is tempting to take a modal turn, and quantify over all possible objects, because if there are only a finite number of actual objects, then there are no models (of the right sort) for Peano Arithmetic, and arithmetic is vacuously true. | |
| From: E Reck / M Price (Structures and Structuralism in Phil of Maths [2000], §5) | |
| A reaction: [compressed; Geoffrey Hellman is the chief champion of this view] The article asks whether we are not still left with the puzzle of whether infinitely many objects are possible, instead of existent. |
| 10176 | Universalist Structuralism is based on generalised if-then claims, not one particular model [Reck/Price] |
| Full Idea: Universalist Structuralism is a semantic thesis, that an arithmetical statement asserts a universal if-then statement. We build an if-then statement (using quantifiers) into the structure, and we generalise away from any one particular model. | |
| From: E Reck / M Price (Structures and Structuralism in Phil of Maths [2000], §5) | |
| A reaction: There remains the question of what is distinctively mathematical about the highly generalised network of inferences that is being described. Presumable the axioms capture that, but why those particular axioms? Russell is cited as an originator. |
| 10177 | Universalist Structuralism eliminates the base element, as a variable, which is then quantified out [Reck/Price] |
| Full Idea: Universalist Structuralism is eliminativist about abstract objects, in a distinctive form. Instead of treating the base element (say '1') as an ambiguous referring expression (the Relativist approach), it is a variable which is quantified out. | |
| From: E Reck / M Price (Structures and Structuralism in Phil of Maths [2000], §5) | |
| A reaction: I am a temperamental eliminativist on this front (and most others) so this is tempting. I am also in love with the concept of a 'variable', which I take to be utterly fundamental to all conceptual thought, even in animals, and not just a trick of algebra. |
| 10171 | The existence of an infinite set is assumed by Relativist Structuralism [Reck/Price] |
| Full Idea: Relativist Structuralism must first assume the existence of an infinite set, otherwise there would be no model to pick, and arithmetical terms would have no reference. | |
| From: E Reck / M Price (Structures and Structuralism in Phil of Maths [2000], §4) | |
| A reaction: See Idea 10169 for Relativist Structuralism. They point out that ZFC has an Axiom of Infinity. |
| 13404 | To exist necessarily is to have an essence whose own essence must be instantiated [Jubien] |
| Full Idea: For a thing to exist necessarily is for it to have an entity-essence whose own entity-essence entails being instantiated. | |
| From: Michael Jubien (Possibility [2009], 6.4) | |
| A reaction: This is the culmination of a lengthy discussion, and is not immediately persuasive. For Jubien the analysis rests on a platonist view of properties, which doesn't help. |
| 13386 | If objects are just conventional, there is no ontological distinction between stuff and things [Jubien] |
| Full Idea: Under the Quinean (conventional) view of objects, there is no ontological distinction between stuff and things. | |
| From: Michael Jubien (Possibility [2009], 1.5) | |
| A reaction: This is the bold nihilistic account of physical objects, which seems to push all of our ontology into language (English?). We could devise divisions into things that were just crazy, and likely to lead to the rapid extinction of creatures who did it. |
| 13403 | The category of Venus is not 'object', or even 'planet', but a particular class of good-sized object [Jubien] |
| Full Idea: The category of Venus is not 'physical object' or 'mereological sum', but narrower. Surprisingly, it is not 'planet', since it might cease to be a planet and still merit the name 'Venus'. It is something like 'well-integrated, good-sized physical object'. | |
| From: Michael Jubien (Possibility [2009], 5.3) | |
| A reaction: Jubien is illustrating Idea 13402. This is a nice demonstration of how one might go about the task of constructing categories - by showing the modal profiles of things to which names have been assigned. Categories are file names. |
| 10173 | A nominalist might avoid abstract objects by just appealing to mereological sums [Reck/Price] |
| Full Idea: One way for a nominalist to reject appeal to all abstract objects, including sets, is to only appeal to nominalistically acceptable objects, including mereological sums. | |
| From: E Reck / M Price (Structures and Structuralism in Phil of Maths [2000], §4) | |
| A reaction: I'm suddenly thinking that this looks very interesting and might be the way to go. The issue seems to be whether mereological sums should be seen as constrained by nature, or whether they are unrestricted. See Mereology in Ontology...|Intrinsic Identity. |
| 13375 | The idea that every entity must have identity conditions is an unfortunate misunderstanding [Jubien] |
| Full Idea: The pervasiveness, throughout philosophy, of the assumption that entities of various kinds need identity conditions is one unfortunate aspect of Quine's important philosophical legacy. | |
| From: Michael Jubien (Possibility [2009], Intro) | |
| A reaction: Lowe seems to be an example of a philosopher who habitually demands individuation conditions for everything that is referred to. Presumably the alternative is to take lots of things as primitive, but this seems to be second best. |
| 13393 | Any entity has the unique property of being that specific entity [Jubien] |
| Full Idea: For any entity of any sort, abstract or concrete, I assume there is a property of being that specific entity. For want of a better term, I will call such properties entity-essences. They are 'singulary' - not instantiable by more than one thing at a time. | |
| From: Michael Jubien (Possibility [2009], 4.2) | |
| A reaction: Baffling. Why would someone who has mocked all sorts of bogus philosophical claims based on logic then go on to assert the existence of such weird things as these? I can't make sense of this property being added to a thing's other properties. |
| 13388 | It is incoherent to think that a given entity depends on its kind for its existence [Jubien] |
| Full Idea: It is simply far-fetched - even incoherent - to think that, given an entity, of whatever kind, its being a single entity somehow consists in its satisfying some condition involving the kind to which it belongs (or concepts related to that kind). | |
| From: Michael Jubien (Possibility [2009], 2.3) | |
| A reaction: Well said. I can't see how philosophers have allowed themselves to drift into such a daft view. Kinds blatantly depend on the individuals that constitute them, so how could the identity of the individuals depend on their kind? |
| 13384 | Objects need conventions for their matter, their temporal possibility, and their spatial possibility [Jubien] |
| Full Idea: We need a first convention to determine what matter constitutes objects, then a second to determine whether there are different temporal possibilities for a given object, then a third for different spatial possibilities. | |
| From: Michael Jubien (Possibility [2009], 1.5) | |
| A reaction: This is building up a Quinean account of objects, as mere matter in regions of spacetime, which are then precisely determined by a set of social conventions. |
| 13385 | Basically, the world doesn't have ready-made 'objects'; we carve objects any way we like [Jubien] |
| Full Idea: There is a certain - very mild - sense in which I don't think the physical world comes with ready-made objects. I think instead that we (conventionally) carve it up into objects, and this can be done any way we like. | |
| From: Michael Jubien (Possibility [2009], 1.5) | |
| A reaction: I have no idea how one could begin to refute such a view. Obviously there are divisions (even if only of physical density) in the world, but nothing obliges us to make divisions at those points. We happily accept objects with gaps in them. |
| 13383 | If the statue is loved and the clay hated, that is about the object first qua statue, then qua clay [Jubien] |
| Full Idea: If a sculptor says 'I love the statue but I really hate that piece of clay - it is way too hard to work with' ...the statement is partly is partly about that object qua statue and partly about that object qua piece of clay. | |
| From: Michael Jubien (Possibility [2009], 1.4) | |
| A reaction: His point is that identity is partly determined by the concept or category under which the thing falls. Plausible. Lots of identity muddles seem to come from our conceptual scheme not being quite up to the job when things change. |
| 13400 | If one entity is an object, a statue, and some clay, these come apart in at least three ways [Jubien] |
| Full Idea: A single entity is a physical object, a piece of clay and a statue. We seem to have that the object could be scattered, but not the other two; the object and the clay could be spherical, but not the statue; and only the object could have different matter. | |
| From: Michael Jubien (Possibility [2009], 5.2) | |
| A reaction: His proposal, roughly, is to reduce object-talk to property-talk, and then see the three views of this object as referring to different sets of properties, rather than to a single thing. Promising, except that he goes platonist about properties. |
| 13401 | The idea of coincident objects is a last resort, as it is opposed to commonsense naturalism [Jubien] |
| Full Idea: I find it surprising that some philosophers accept 'coincident objects'. This notion clearly offends against commonsense 'naturalism' about the world, so it should be viewed as a last resort. | |
| From: Michael Jubien (Possibility [2009], 5.2 n9) | |
| A reaction: I'm not quite clear why he invokes 'naturalism', but I pass on his intuition because it seems right to me. |
| 13380 | Parts seem to matter when it is just an object, but not matter when it is a kind of object [Jubien] |
| Full Idea: When thought of just as an object, the parts of a thing seem definitive and their arrangement seems inconsequential. But when thought of as an object of a familiar kind it is reversed: the arrangement is important and the parts are inessential. | |
| From: Michael Jubien (Possibility [2009], 1.4) | |
| A reaction: This is analogous to the Ship of Theseus, where we say that the tour operator and the museum keeper give different accounts of whether it is the same ship. The 'kind' Jubien refers to is most likely to be a functional kind. |
| 13376 | We should not regard essentialism as just nontrivial de re necessity [Jubien] |
| Full Idea: I argue against the widely accepted characterization of the doctrine of 'essentialism' as the acceptance of nontrivial de re necessity | |
| From: Michael Jubien (Possibility [2009], Intro) | |
| A reaction: I agree entirely. The notion of an essence is powerful if clearly distinguished. The test is: can everything being said about essences be just as easily said by referring to necessities? If so, you are talking about the wrong thing. |
| 13381 | Thinking of them as 'ships' the repaired ship is the original, but as 'objects' the reassembly is the original [Jubien] |
| Full Idea: Thinking about the original ship as a ship, we think we continue to have the 'same ship' as each part is replaced; ...but when we think of them as physical objects, we think the original ship and the outcome of the reassembly are one and the same. | |
| From: Michael Jubien (Possibility [2009], 1.4) | |
| A reaction: It seems to me that you cannot eliminate how we are thinking of the ship as influencing how we should read it. My suggestion is to think of Theseus himself valuing either the repaired or the reassembled version. That's bad for Jubien's account. |
| 13382 | Rearranging the planks as a ship is confusing; we'd say it was the same 'object' with a different arrangement [Jubien] |
| Full Idea: That the planks are rearranged as a ship elevates the sense of mystery, because arrangements matter for ships, but if they had been arranged differently we would have the same intuition - that it still counts as the same object. | |
| From: Michael Jubien (Possibility [2009], 1.4) | |
| A reaction: Implausible. Classic case: can I have my pen back? - smashes it to pieces and hands it over with 'there you are' - that's not my pen! - Jubien says it's the same object! - it isn't my pen, and it isn't the same object either! Where is Shelley's skylark? |
| 13379 | If two objects are indiscernible across spacetime, how could we decide whether or not they are the same? [Jubien] |
| Full Idea: If a bit of matter has a qualitatively indistinguishable object located at a later time, with a path of spacetime connecting them, how could we determine they are identical? Neither identity nor diversity follows from qualitative indiscernibility. | |
| From: Michael Jubien (Possibility [2009], 1.3) | |
| A reaction: All these principles expounded by Leibniz were assumed to be timeless, but for identity over time the whole notion of things retaining identity despite changing has to be rethought. Essentialism to the rescue. |
| 13394 | Entailment does not result from mutual necessity; mutual necessity ensures entailment [Jubien] |
| Full Idea: Typically philosophers say that for P to entail Q is for the proposition that all P's are Q's to be necessary. I think this analysis is backwards, and that necessity rests on entailment, not vice versa. | |
| From: Michael Jubien (Possibility [2009], 4.4) | |
| A reaction: His example is that being a horse and being an animal are such that one entails the other. In other words, necessities arise out of property relations (which for Jubien are necessary because the properties are platonically timeless). Wrong. |
| 13391 | Modality concerns relations among platonic properties [Jubien] |
| Full Idea: I think modality has to do with relations involving the abstract part of the world, specifically with relations among (Platonic) properties. | |
| From: Michael Jubien (Possibility [2009], 3.2) | |
| A reaction: [Sider calls Jubien's the 'governance' view, since abstract relations govern the concrete] I take Jubien here (having done a beautiful demolition job on the possible worlds account of modality) to go spectacularly wrong. Modality starts in the concrete. |
| 13374 | To analyse modality, we must give accounts of objects, properties and relations [Jubien] |
| Full Idea: The ultimate analysis of possibility and necessity depends on two important ontological decisions: the choice of an analysis of the intuitive concept of a physical object, and the other is the positing of properties and relations. | |
| From: Michael Jubien (Possibility [2009], Intro) | |
| A reaction: In the same passage he adopts Quine's view of objects, leading to mereological essentialism, and a Platonic view of properties, based on Lewis's argument for taking some things at face value. One might start with processes and events instead. |
| 13389 | The love of possible worlds is part of the dream that technical logic solves philosophical problems [Jubien] |
| Full Idea: I believe the contemporary infatuation with possible worlds in philosophy stems in part from a tendency to think that technical logic offers silver-bullet solutions to philosophical problems. | |
| From: Michael Jubien (Possibility [2009], 3.2) | |
| A reaction: I would say that the main reason for the infatuation is just novelty. As a technical device it was only invented in the 1960s, so we are in a honeymoon period, as we would be with any new gadget. I can't imagine possible worlds figuring much in 100 years. |
| 13390 | Possible worlds don't explain necessity, because they are a bunch of parallel contingencies [Jubien] |
| Full Idea: The fundamental problem is that in world theory, what passes for necessity is in effect just a bunch of parallel 'contingencies'. | |
| From: Michael Jubien (Possibility [2009], 3.2) | |
| A reaction: Jubien's general complaint is that there is no connection between the possible worlds and the actual world, so they are irrelevant, but this is a nicely different point - that lots of contingent worlds can't add up to necessity. Nice. |
| 13396 | Analysing mental concepts points to 'inclusionism' - that mental phenomena are part of the physical [Jubien] |
| Full Idea: We have (physicalist) 'inclusionism' when the mental is included in the physical, and mental phenomena are to be found among physical phenomena. Only inclusionism is compatible with a genuine physicalist analysis of mental concepts. | |
| From: Michael Jubien (Possibility [2009], 4.5) | |
| A reaction: This isn't the thesis of conceptual dualism (which I like), but an interesting accompaniment for it. Jubien is offering this as an alternative to 'reductive' analysis, translating all the mental concepts into physical language. He extends 'physical'. |
| 13377 | First-order logic tilts in favour of the direct reference theory, in its use of constants for objects [Jubien] |
| Full Idea: First-order logic tilts in favor of the direct reference account of proper names by using individual constants to play the intuitive role of names, and by 'interpreting' the constants simply as the individuals that are assigned to them for truth-values. | |
| From: Michael Jubien (Possibility [2009], Intro) | |
| A reaction: This is the kind of challenge to orthodoxy that is much needed at the moment. We have an orthodoxy which is almost a new 'scholasticism', that logic will clarify our metaphysics. Trying to enhance the logic for the job may be a dead end. |
| 23829 | National leaders want to preserve necessary order - but always the existing order [Weil] |
| Full Idea: Those in command see their duty as defending order, without which no social life can survive; and the only order they conceive is the existing one. | |
| From: Simone Weil (The Power of Words [1934], p.249) | |
| A reaction: She sympathises with them, because a new order is such an unknown. But it always struck me as weird that traditions are preserved because they are traditions, and not because they are good. (My old school, for example!). |
| 23828 | National prestige consists of behaving as if you could beat the others in a war [Weil] |
| Full Idea: What is called national prestige consists in behaving always in such a way as to demoralise other nations by giving them the impression that, if it comes to war, one would certainly defeat them. | |
| From: Simone Weil (The Power of Words [1934], p.244) | |
| A reaction: It's true. No nation gains prestige because of the happy lives of its citizens, or the creativity of its culture. |
| 23827 | Modern wars are fought in the name of empty words which are given capital letters [Weil] |
| Full Idea: For our contemporaries the role of Helen in the Trojan War is is played by words with capital letters. …When empty words are given capital letters, then, on the slightest pretext, men will begin shedding blood for them and piling up ruin in their name. | |
| From: Simone Weil (The Power of Words [1934], p.241) | |
| A reaction: This seems particularly true of the 1930s, where specific dogmatic ideologies seemed to grip and divide people. Simple aggressive nationalism seems to be the cause of current wars, now the fear of Communism has diminished. |