46 ideas
| 13252 | Some truths have true negations [Beall/Restall] |
| Full Idea: Dialetheism is the view that some truths have true negations. | |
| From: JC Beall / G Restall (Logical Pluralism [2006], 7.4) | |
| A reaction: The important thing to remember is that they are truths. Thus 'Are you feeling happy?' might be answered 'Yes and no'. |
| 23853 | Truth is not a object we love - it is the radiant manifestation of reality [Weil] |
| Full Idea: Love of truth is not a correct form of expression. Truth is not an object of love. It is not an object at all. …Truth is the radiant manifestation of reality. | |
| From: Simone Weil (The Need for Roots [1943], III 'Growing') | |
| A reaction: Wow! Love that one! |
| 13247 | A truthmaker is an object which entails a sentence [Beall/Restall] |
| Full Idea: The truthmaker thesis is that an object is a truthmaker for a sentence if and only if its existence entails the sentence. | |
| From: JC Beall / G Restall (Logical Pluralism [2006], 5.5.3) | |
| A reaction: The use of the word 'object' here is even odder than usual, and invites many questions. And the 'only if' seems peculiar, since all sorts of things can make a sentence true. 'There is someone in the house' for example. |
| 13249 | (∀x)(A v B) |- (∀x)A v (∃x)B) is valid in classical logic but invalid intuitionistically [Beall/Restall] |
| Full Idea: The inference of 'distribution' (∀x)(A v B) |- (∀x)A v (∃x)B) is valid in classical logic but invalid intuitionistically. It is straightforward to construct a 'stage' at which the LHS is true but the RHS is not. | |
| From: JC Beall / G Restall (Logical Pluralism [2006], 6.1.2) | |
| A reaction: This seems to parallel the iterative notion in set theory, that you must construct your hierarchy. All part of the general 'constructivist' approach to things. Is some kind of mad platonism the only alternative? |
| 13243 | Excluded middle must be true for some situation, not for all situations [Beall/Restall] |
| Full Idea: Relevant logic endorses excluded middle, ..but says instances of the law may fail. Bv¬B is true in every situation that settles the matter of B. It is necessary that there is some such situation. | |
| From: JC Beall / G Restall (Logical Pluralism [2006], 5.2) | |
| A reaction: See next idea for the unusual view of necessity on which this rests. It seems easier to assert something about all situations than just about 'some' situation. |
| 13242 | It's 'relevantly' valid if all those situations make it true [Beall/Restall] |
| Full Idea: The argument from P to A is 'relevantly' valid if and only if, for every situation in which each premise in P is true, so is A. | |
| From: JC Beall / G Restall (Logical Pluralism [2006], 5.2) | |
| A reaction: I like the idea that proper inference should have an element of relevance to it. A falsehood may allow all sorts of things, without actually implying them. 'Situations' sound promising here. |
| 13245 | Relevant consequence says invalidity is the conclusion not being 'in' the premises [Beall/Restall] |
| Full Idea: Relevant consequence says the conclusion of a relevantly invalid argument is not 'carried in' the premises - it does not follow from the premises. | |
| From: JC Beall / G Restall (Logical Pluralism [2006], 5.3.3) | |
| A reaction: I find this appealing. It need not invalidate classical logic. It is just a tougher criterion which is introduced when you want to do 'proper' reasoning, instead of just playing games with formal systems. |
| 13246 | Relevant logic does not abandon classical logic [Beall/Restall] |
| Full Idea: We have not abandoned classical logic in our acceptance of relevant logic. | |
| From: JC Beall / G Restall (Logical Pluralism [2006], 5.4) | |
| A reaction: It appears that classical logic is straightforwardly accepted, but there is a difference of opinion over when it is applicable. |
| 13254 | A doesn't imply A - that would be circular [Beall/Restall] |
| Full Idea: We could reject the inference from A to itself (on grounds of circularity). | |
| From: JC Beall / G Restall (Logical Pluralism [2006], 8) | |
| A reaction: [Martin-Meyer System] 'It's raining today'. 'Are you implying that it is raining today?' 'No, I'm SAYING it's raining today'. Logicians don't seem to understand the word 'implication'. Logic should capture how we reason. Nice proposal. |
| 13255 | Relevant logic may reject transitivity [Beall/Restall] |
| Full Idea: Some relevant logics reject transitivity, but we defend the classical view. | |
| From: JC Beall / G Restall (Logical Pluralism [2006], 8) | |
| A reaction: [they cite Neil Tennant for this view] To reject transitivity (A?B ? B?C ? A?C) certainly seems a long way from classical logic. But in everyday inference Tennant's idea seems good. The first premise may be irrelevant to the final conclusion. |
| 13250 | Free logic terms aren't existential; classical is non-empty, with referring names [Beall/Restall] |
| Full Idea: A logic is 'free' to the degree it refrains from existential import of its singular and general terms. Classical logic must have non-empty domain, and each name must denote in the domain. | |
| From: JC Beall / G Restall (Logical Pluralism [2006], 7.1) | |
| A reaction: My intuition is that logic should have no ontology at all, so I like the sound of 'free' logic. We can't say 'Pegasus does not exist', and then reason about Pegasus just like any other horse. |
| 13235 | Logic studies consequence; logical truths are consequences of everything, or nothing [Beall/Restall] |
| Full Idea: Nowadays we think of the consequence relation itself as the primary subject of logic, and view logical truths as degenerate instances of this relation. Logical truths follow from any set of assumptions, or from no assumptions at all. | |
| From: JC Beall / G Restall (Logical Pluralism [2006], 2.2) | |
| A reaction: This seems exactly right; the alternative is the study of necessities, but that may not involve logic. |
| 13238 | Syllogisms are only logic when they use variables, and not concrete terms [Beall/Restall] |
| Full Idea: According to the Peripatetics (Aristotelians), only syllogistic laws stated in variables belong to logic, and not their applications to concrete terms. | |
| From: JC Beall / G Restall (Logical Pluralism [2006], 2.5) | |
| A reaction: [from Lukasiewicz] Seems wrong. I take it there are logical relations between concrete things, and the variables are merely used to describe these relations. Variables lack the internal powers to drive logical necessities. Variables lack essence! |
| 13234 | The view of logic as knowing a body of truths looks out-of-date [Beall/Restall] |
| Full Idea: Through much of the 20th century the conception of logic was inherited from Frege and Russell, as knowledge of a body of logical truths, as arithmetic or geometry was a knowledge of truths. This is odd, and a historical anomaly. | |
| From: JC Beall / G Restall (Logical Pluralism [2006], 2.2) | |
| A reaction: Interesting. I have always taken this idea to be false. I presume logic has minimal subject matter and truths, and preferably none at all. |
| 13232 | Logic studies arguments, not formal languages; this involves interpretations [Beall/Restall] |
| Full Idea: Logic does not study formal languages for their own sake, which is formal grammar. Logic evaluates arguments, and primarily considers formal languages as interpreted. | |
| From: JC Beall / G Restall (Logical Pluralism [2006], 2.1) | |
| A reaction: Hodges seems to think logic just studies formal languages. The current idea strikes me as a much more sensible view. |
| 13241 | The model theory of classical predicate logic is mathematics [Beall/Restall] |
| Full Idea: The model theory of classical predicate logic is mathematics if anything is. | |
| From: JC Beall / G Restall (Logical Pluralism [2006], 4.2.1) | |
| A reaction: This is an interesting contrast to the claim of logicism, that mathematics reduces to logic. This idea explains why students of logic are surprised to find themselves involved in mathematics. |
| 13253 | There are several different consequence relations [Beall/Restall] |
| Full Idea: We are pluralists about logical consequence because we take there to be a number of different consequence relations, each reflecting different precisifications of the pre-theoretic notion of deductive logical consequence. | |
| From: JC Beall / G Restall (Logical Pluralism [2006], 8) | |
| A reaction: I don't see how you avoid the slippery slope that leads to daft logical rules like Prior's 'tonk' (from which you can infer anything you like). I say that nature imposes logical conquence on us - but don't ask me to prove it. |
| 13240 | A sentence follows from others if they always model it [Beall/Restall] |
| Full Idea: The sentence X follows logically from the sentences of the class K if and only if every model of the class K is also a model of the sentence X. | |
| From: JC Beall / G Restall (Logical Pluralism [2006], 3.2) | |
| A reaction: This why the symbol |= is often referred to as 'models'. |
| 13236 | Logical truth is much more important if mathematics rests on it, as logicism claims [Beall/Restall] |
| Full Idea: If mathematical truth reduces to logical truth then it is important what counts as logically true, …but if logicism is not a going concern, then the body of purely logical truths will be less interesting. | |
| From: JC Beall / G Restall (Logical Pluralism [2006], 2.2) | |
| A reaction: Logicism would only be one motivation for pursuing logical truths. Maybe my new 'Necessitism' will derive the Peano Axioms from broad necessary truths, rather than from logic. |
| 13237 | Preface Paradox affirms and denies the conjunction of propositions in the book [Beall/Restall] |
| Full Idea: The Paradox of the Preface is an apology, that you are committed to each proposition in the book, but admit that collectively they probably contain a mistake. There is a contradiction, of affirming and denying the conjunction of propositions. | |
| From: JC Beall / G Restall (Logical Pluralism [2006], 2.4) | |
| A reaction: This seems similar to the Lottery Paradox - its inverse perhaps. Affirm all and then deny one, or deny all and then affirm one? |
| 23855 | Creation produced a network or web of determinations [Weil] |
| Full Idea: What is sovereign in this world is determinateness, limit. Eternal Wisdom imprisons this universe in a network, a web of determinations. | |
| From: Simone Weil (The Need for Roots [1943], III 'Growth') | |
| A reaction: Love this, because I take 'determination' to be the defining relationship in ontology. It covers both physical causation and abstract necessities. |
| 13244 | Relevant necessity is always true for some situation (not all situations) [Beall/Restall] |
| Full Idea: In relevant logic, the necessary truths are not those which are true in every situation; rather, they are those for which it is necessary that there is a situation making them true. | |
| From: JC Beall / G Restall (Logical Pluralism [2006], 5.2) | |
| A reaction: This seems to rest on the truthmaker view of such things, which I find quite attractive (despite Merricks's assault). Always ask what is making some truth necessary. This leads you to essences. |
| 13239 | Judgement is always predicating a property of a subject [Beall/Restall] |
| Full Idea: All judgement, for Kant, is essentially the predication of some property to some subject. | |
| From: JC Beall / G Restall (Logical Pluralism [2006], 2.5) | |
| A reaction: Presumably the denial of a predicate could be a judgement, or the affirmation of ambiguous predicates? |
| 13248 | We can rest truth-conditions on situations, rather than on possible worlds [Beall/Restall] |
| Full Idea: Situation semantics is a variation of the truth-conditional approach, taking the salient unit of analysis not to be the possible world, or some complete consistent index, but rather the more modest 'situation'. | |
| From: JC Beall / G Restall (Logical Pluralism [2006], 5.5.4) | |
| A reaction: When I read Davidson (and implicitly Frege) this is what I always assumed was meant. The idea that worlds are meant has crept in to give truth conditions for modal statements. Hence situation semantics must cover modality. |
| 13233 | Propositions commit to content, and not to any way of spelling it out [Beall/Restall] |
| Full Idea: Our talk of propositions expresses commitment to the general notion of content, without a commitment to any particular way of spelling this out. | |
| From: JC Beall / G Restall (Logical Pluralism [2006], 2.1) | |
| A reaction: As a fan of propositions I like this. It leaves open the question of whether the content belongs to the mind or the language. Animals entertain propositions, say I. |
| 7861 | Libet says the processes initiated in the cortex can still be consciously changed [Libet, by Papineau] |
| Full Idea: Libet himself points out that the conscious decisions still have the power to 'endorse' or 'cancel', so to speak, the processes initiated by the earlier cortical activity: no action will result if the action's execution is consciously countermanded. | |
| From: report of Benjamin Libet (Unconscious Cerebral Initiative [1985]) by David Papineau - Thinking about Consciousness 1.4 | |
| A reaction: This is why Libet's findings do not imply 'epiphenomenalism'. It seems that part of a decisive action is non-conscious, undermining the all-or-nothing view of consciousness. Searle tries to smuggle in free will at this point (Idea 3817). |
| 6660 | Libet found conscious choice 0.2 secs before movement, well after unconscious 'readiness potential' [Libet, by Lowe] |
| Full Idea: Libet found that a subject's conscious choice to move was about a fifth of a second before movement, and thus later than the onset of the brain's so-called 'readiness potential', which seems to imply that unconscious processes initiates action. | |
| From: report of Benjamin Libet (Unconscious Cerebral Initiative [1985]) by E.J. Lowe - Introduction to the Philosophy of Mind Ch.9 | |
| A reaction: Of great interest to philosophers! It seems to make conscious choices epiphenomenal. The key move, I think, is to give up the idea of consciousness as being all-or-nothing. My actions are still initiated by 'me', but 'me' shades off into unconsciousness. |
| 23848 | The aesthete's treatment of beauty as amusement is sacreligious; beauty should nourish [Weil] |
| Full Idea: The aesthete's point of view is sacreligious, not only in matters of religion but even in those of art. It consists in amusing oneself with beauty by handling it and looking at it. Beauty is something to be eaten: it is a food. | |
| From: Simone Weil (The Need for Roots [1943], II 'Country') | |
| A reaction: She is endorsing the 'food' view against the 'handling' view. Beauty should nourish, she says. |
| 23854 | Beauty is the proof of what is good [Weil] |
| Full Idea: When the subject in question is the good, beauty is a rigorous and positive proof. | |
| From: Simone Weil (The Need for Roots [1943], III 'Growing') | |
| A reaction: Purest platonism! It is incomprehensible to say 'this thing is evil, but it is beautiful'. But there are plenty of things which strike me as beautiful, without connecting that in any way to moral goodness. |
| 23837 | Respect is our only obligation, which can only be expressed through deeds, not words [Weil] |
| Full Idea: Humans have only one obligation: respect. The obligation is only performed if the respect is effectively expressed in a real, not a fictitious, way; and this can only be done through the medium of Man's earthly needs. | |
| From: Simone Weil (The Need for Roots [1943], I 'Needs') | |
| A reaction: She says man's 'eternal destiny' imposes this obligation. I read this as saying that you should not imagine that you treat people respectfully if you are merely polite to them. Col. Pickering and Eliza Doolittle! Respect is the supreme virtue. |
| 23844 | The most important human need is to have multiple roots [Weil] |
| Full Idea: To be rooted is perhaps the most important and least recognised need of the human soul. …Every human being needs to have multiple roots. | |
| From: Simone Weil (The Need for Roots [1943], II 'Uprootedness') | |
| A reaction: Agree. I think we are just like trees, in that we need roots to grow well, and plenty of space to fully flourish. Identifying those roots is the main task of parents and teachers. |
| 23838 | The need for order stands above all others, and is understood via the other needs [Weil] |
| Full Idea: Order is the first need of all; it evens stands above all needs properly so-called. To be able to conceive it we must know what the other needs are. | |
| From: Simone Weil (The Need for Roots [1943], I 'Order') | |
| A reaction: This may be music to conservative ears, but you should examine Weil's other ideas to see what she has in mind. |
| 23836 | Obligations only bind individuals, not collectives [Weil] |
| Full Idea: Obligations are only binding on human beings. There are no obligations for collectivities, as such. | |
| From: Simone Weil (The Need for Roots [1943], I 'Needs') | |
| A reaction: I take it that 'as such' excludes the institutions created by collectivities, such as parliaments and courts. A nomadic tribe seems to have no duties, as a tribe, apart from mutual obligations among its members. Does this excuse crimes by the tribe? |
| 23840 | A citizen should be able to understand the whole of society [Weil] |
| Full Idea: A man needs to be able to encompass in thought the entire range of activity of the social organism to which he belongs. | |
| From: Simone Weil (The Need for Roots [1943], I 'Responsibility') | |
| A reaction: She is urging the active involvement of citizens in decision making - for which they need appropriate knowledge. |
| 23843 | Even the poorest should feel collective ownership, and participation in grand display [Weil] |
| Full Idea: Participation in collective possessions is important. Where real civic life exists, each feels he has a personal ownership in the public monuments, gardens, ceremonial pomp and circumstances; sumptuousness is thus place within the reach of the poorest. | |
| From: Simone Weil (The Need for Roots [1943], I 'Collective') | |
| A reaction: OK with gardens. Dubious about fobbing the poor off with pomp. Monuments are a modern controversy, when they turn out to commemorate slavery and colonial conquest. I agree with her basic thought. |
| 23846 | Culture is an instrument for creating an ongoing succession of teachers [Weil] |
| Full Idea: Culture - as we know it - is an instrument manipulated by teachers for manufacturing more teachers, who, in their turn, will manufacture still more teachers. | |
| From: Simone Weil (The Need for Roots [1943], II 'Towns') | |
| A reaction: Lot of truth in this. We tend to view our greatest successes in students who become academics and teachers. Culture is very much seen as something which must be 'transmitted' to each new generation. |
| 23839 | A lifelong head of society should only be a symbol, not a ruler [Weil] |
| Full Idea: Wherever a man is placed for life at the head of a social organism, he ought to be a symbol and not a ruler, as is the case with the King of England. | |
| From: Simone Weil (The Need for Roots [1943], I 'Obedience') | |
| A reaction: Nice to hear a radical French thinker endorsing an ancient British tradition! She may not be endorsing a lifelong head of state. Lifelong rulers are the main agents of totalitarianism. |
| 23842 | Party politics in a democracy can't avoid an anti-democratic party [Weil] |
| Full Idea: A democracy where public life is made up of strife between political parties is incapable of preventing the formation of a party whose avowed aim is the overthrow of that democracy. | |
| From: Simone Weil (The Need for Roots [1943], I 'Opinion') | |
| A reaction: We have seen this around 2020 in the USA and the UK. Freedom is compulsory? Weil hates political parties (as did Rousseau). |
| 23847 | Socialism tends to make a proletariat of the whole population [Weil] |
| Full Idea: What is called Socialism tends to force everybody without distinction into the proletarian condition. | |
| From: Simone Weil (The Need for Roots [1943], II 'Towns') | |
| A reaction: For example, Weil favours maximising private house ownership, rather than communally owned housing. She is describing wholesale nationalisation. I would incline towards nationalisation only of all basic central services. |
| 23845 | The capitalists neglect the people and the nation, and even their own interests [Weil] |
| Full Idea: The capitalists have betrayed their calling by criminally neglecting not only the interests of the people, not only those of the nation, but even their own. | |
| From: Simone Weil (The Need for Roots [1943], II 'Towns') | |
| A reaction: It is certainly true that the dedicated capitalist has little loyalty either to the people or to the nation. She doesn't spell out their failure of self-interest. I guess it produces a way of life they don't really want, deep down. |
| 23841 | By making money the sole human measure, inequality has become universal [Weil] |
| Full Idea: By making money the sole, or almost the sole, motive of all actions, the sole, or almost the sole, measure of all things, the poison of inequality has been introduced everywhere. | |
| From: Simone Weil (The Need for Roots [1943], I 'Equality') | |
| A reaction: Presumably this dates right back to the invention of money, and then increases with the endless rise of capitalism. |
| 23835 | People have duties, and only have rights because of the obligations of others to them [Weil] |
| Full Idea: A right is effectual only in relation to its corresponding obligation, springing not from the individual who possesses it, but from others who consider themselves under an obligation to him. In isolation a man only has duties, and only others have rights. | |
| From: Simone Weil (The Need for Roots [1943], I 'Needs') | |
| A reaction: This seems correct, and obviously refutes the idea that people have intrinsic natural rights. However, it may be our sense of what nature requires which gives rise to the obligations we feel towards others. |
| 23852 | To punish people we must ourselves be innocent - but that undermines the desire to punish [Weil] |
| Full Idea: In order to have the right to punish the guilty, we ought first of all to purify ourselves of their crimes. …But once this is accomplished we shall no longer feel the least desire to punish, or as little as possible and with extreme sorrow. | |
| From: Simone Weil (The Need for Roots [1943], III 'Growing') | |
| A reaction: Elsewhere she endorses punishment, as a social necessity, and a redemption for the wicked. This idea looks like a bit of a change of heart. She may be thinking of Jesus on the mote in someone's eye. |
| 23850 | The soldier-civilian distinction should be abolished; every citizen is committed to a war [Weil] |
| Full Idea: The distinction between soldiers and civilians, which the pressure of circumstances has already almost obliterated, should be entirely abolished. Every individual in the population owes his country the whole of his strength, resources and life itself. | |
| From: Simone Weil (The Need for Roots [1943], II 'Nation') | |
| A reaction: Written in London in 1943. The year carpet bombing seriously escalated. The facts of warfare can change the ethics. |
| 23851 | Education is essentially motivation [Weil] |
| Full Idea: Education - whether its object be children or adults, individuals or an entire people, or even oneself - consists in creating motives. | |
| From: Simone Weil (The Need for Roots [1943], III 'Growing') | |
| A reaction: I can't disagree. Intellectual motivation is simply what we find interesting, and there is no formula for that. A teacher can teach a good session, and only 5% of the pupils find it interesting. A bad session could be life-changing for one student. |
| 23849 | Religion should quietly suffuse all human life with its light [Weil] |
| Full Idea: The proper function of religion is to suffuse with its light all secular life, public or private, without in any way dominating it. | |
| From: Simone Weil (The Need for Roots [1943], II 'Nation') | |
| A reaction: Even for the non-religious there is something attractive about some view of the world which 'suffuses our lives with light'. It probably describes medieval Christendom, but that contained an awful lot of darkness. |