48 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'. |
| 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. |
| 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. |
| 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. |
| 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. |
| 16728 | Logicians acknowledge too few things, while others acknowledge too many [Fitzralph] |
| Full Idea: Those who have been well trained in logic err in recognising too few things, whereas others who are ignorant of logic ascribe to every statement a new entity, postulating more entities than God has ever established as real. | |
| From: Richard Fitzralph (Sentences [1328], II.1.2), quoted by Robert Pasnau - Metaphysical Themes 1274-1671 22.3 |
| 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? |
| 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. |
| 20547 | We should respect the right of people to live in their own way, even if it is irrational [Swift] |
| Full Idea: Forcing people to do what is rational involves a lack of respect, a failure to respect the value of her living her life in her own (irrational) way. | |
| From: Adam Swift (Political Philosophy (3rd ed) [2014], 2 'Resisting' 6) | |
| A reaction: Up to a point. Irrationally eccentric is one thing, and irrationally self-destructive is another. You can sit back and watch your children embrace a life less happy than the one you wanted for them - but not a life of utter misery. |
| 20564 | Anti-colonial movements usually invoke the right of their 'people' to self-determination [Swift] |
| Full Idea: Nationalist movements seeking to throw off the yoke of colonial rule are often motivated by a sense that their 'people' have the right to self-determination. | |
| From: Adam Swift (Political Philosophy (3rd ed) [2014], 5 'Intrinsic 1') | |
| A reaction: In 2017, Basques, Catalans and Kurds come to mind. The whole of Africa was an example of this c.1950-80, but there was uncertainty about states, tribes and language groups. |
| 20535 | Isn't it more rational to maximise the average position, but with a safety net? [Swift] |
| Full Idea: Wouldn't it be more rational to choose principles that would maximize the average position, perhaps subject to some 'floor' level beneath which they would not want to take the risk of sinking? | |
| From: Adam Swift (Political Philosophy (3rd ed) [2014], 1 'Rawls') | |
| A reaction: The criticism is that Rawls's prediction is over-cautious, and that people will take mild risks in what they choose, as long as there is no danger of disaster. (Just as you should allow small children to risk injury, but not death). |
| 20537 | Hypothetical contracts have no binding force [Swift] |
| Full Idea: A common objection to Rawls is that hypothetical contracts, unlike real ones, have no binding force. | |
| From: Adam Swift (Political Philosophy (3rd ed) [2014], 1 'Rawls') | |
| A reaction: [I think Dworkin made this point] 'Contract' may be metaphorical. Perhaps it is just an 'initial agreement' or a 'working arrangement', |
| 20542 | Cosmopolitans reject the right of different states to distribute resources in different ways [Swift] |
| Full Idea: Cosmopolitans who claim that the same distributive principles should apply to all human beings seem to be denying that different states may make different judgements about how they want to allocate resources among their members. | |
| From: Adam Swift (Political Philosophy (3rd ed) [2014], 1 'Social') | |
| A reaction: If you want to be a citizen of the world, you have to face up to the pluralistic character of cultures. Do you thereby want to be a citizen of both California and Saudi Arabia? Or are you actually just becoming a citizen of nowhere? |
| 20559 | Democracy is bad, but the other systems are worse [Swift] |
| Full Idea: During WW2 Winston Churchill famously said that democracy is the worst form of government, except for all the others that have been tried. | |
| From: Adam Swift (Political Philosophy (3rd ed) [2014], 5 'Procedures') | |
| A reaction: [Actually a speech in 1947, which began 'it has been said that....'] Aristotle thought an intelligent and benevolent dictatorship was the best form, but held little hope of achieving it. Getting rid of bad rulers is the big virtue. |
| 20561 | Since all opinions are treated as equal in democracy, it implies there are no right answers [Swift] |
| Full Idea: If there were moral knowledge about political matters, democracy would be a very strange way of reaching it. Democratic law-making means treating each person's view as equally good, which only makes sense if there is nothing to be right or wrong about. | |
| From: Adam Swift (Political Philosophy (3rd ed) [2014], 5 'Subjectivism') | |
| A reaction: Ah, I suddenly grasp that the modern fad for a rather gormless blanket relativism is rooted in the modern desire to take democracy really seriously. Important to remember Condorcet's point here. |
| 20562 | Design your democracy to treat citizens equally, or to produce better citizens? [Swift] |
| Full Idea: If your main reason for being a democrat is that democratic procedures respect citizens equally, then you may want a different kind of democracy from those who favour it because they think it tends to produce better citizens? | |
| From: Adam Swift (Political Philosophy (3rd ed) [2014], 5 'Values') | |
| A reaction: [Combine this with Idea 20563] |
| 20563 | Design your democracy to yield political stability, or good decisions? [Swift] |
| Full Idea: If you value democracy because it yields political stability, then you will probably worry about different aspects of the procedure from those who care about its producing good decisions. | |
| From: Adam Swift (Political Philosophy (3rd ed) [2014], 5 'Values') | |
| A reaction: [Combine this with Idea 20562] Surely the primary aim must be good decisions? The other three options are the result of pessimism about any method achieving that. Instability, inequality and dud citizens are bars to good decisions. |
| 20560 | Teledemocracy omits debate and deliberation, which are important parts of good decisions [Swift] |
| Full Idea: We are averse to teledemocracy because it misses out some important parts of a good decision-making procedure, such as debate and deliberation. | |
| From: Adam Swift (Political Philosophy (3rd ed) [2014], 5 'Procedures') | |
| A reaction: Perhaps you should be sent a short info pack, and only allowed to vote when you have passed a factual multiple choice test about the topic. Or one pack from each political party. Maybe compulsory online discussion as well. |
| 20554 | Multiculturalism is a barrier to the whole state being a community [Swift] |
| Full Idea: For those wanting to regard the state itself as a community, multiculturalism can be a problem. | |
| From: Adam Swift (Political Philosophy (3rd ed) [2014], 4 'Liberalism') | |
| A reaction: A very important idea. A certain type of aggressive patriot passionately wants the whole country to be a close-bound community, and becomes deeply frustrated by the impossibility of this in a complex and fluid modern world. |
| 20553 | Liberals mistakenly think individuals choose their values, without reference to the community [Swift] |
| Full Idea: The two core liberal mistakes (according to communitarians) are that people choose their values, and that they do so in some way detached from their communities. | |
| From: Adam Swift (Political Philosophy (3rd ed) [2014], 4 'Correcting') | |
| A reaction: I think I might be a communitarian liberal, meaning that extreme individualism is both incorrect and pernicious, but that communities should only exist to promote the varied lives of individuals within them. |
| 20556 | The best way to build a cohesive community is to be involved in a war [Swift] |
| Full Idea: There is nothing like a war to build a sense of common purpose, of being in the same boat, and to generate the kind of interaction between people that breaks down divisive social boundaries. | |
| From: Adam Swift (Political Philosophy (3rd ed) [2014]) | |
| A reaction: A nice warning to those who over-do or simplify communitarianism. Alternatively, the greatest sign of health in a community is that citizens have almost no interest in one another? |
| 20557 | Membership and inclusion in a community implies non-membership and exclusion [Swift] |
| Full Idea: Community is about membership and inclusion. But that means it is also about non-membership and exclusion. | |
| From: Adam Swift (Political Philosophy (3rd ed) [2014], 4 'Conc') | |
| A reaction: I'm a fan of communitarianism (focused on Aristotle's life of individual virtue for each citizen), but I'm beginning to see that it has a poisonous cousin travelling under the same name. The cousin's rallying cries focus on aliens and enemies. |
| 20555 | Liberals are concerned to protect individuals from too much community [Swift] |
| Full Idea: Liberals are concerned to protect individuals from too much community - from practices that stifle the individual's freedom to choose for herself how she lives her life. | |
| From: Adam Swift (Political Philosophy (3rd ed) [2014], 4 'Liberalism') | |
| A reaction: The phrase 'too much community' is an excellent warning to communitarians. I'm happy to be enmeshed in a community, as long as it is composed of highly liberal and easy-going individuals. Avoid too much bad community. |
| 20540 | Redistributing wealth treats some people as means, rather than as ends [Swift] |
| Full Idea: Treating people as means seems like a fairly accurate description of what is involved when the state coercively redistributes resources from some to others. | |
| From: Adam Swift (Political Philosophy (3rd ed) [2014], 1 'Nozick') | |
| A reaction: The objection comes from Nozick, and alludes to Kant's desire to treat everyone as an end in themselves. Personally I don't mind at all being treated as a means, when my wife asks me to make her a cup of tea. Or paying my taxes to help the community. |
| 20551 | Men have had the power to structure all of our social institutions [Swift] |
| Full Idea: The problem for feminists is that men have had the power to structure all our social institutions - family, economy, polity - in ways that suit them. | |
| From: Adam Swift (Political Philosophy (3rd ed) [2014], 3 'Gender') | |
| A reaction: An interesting question is whether masculine domination runs even deeper than that, into our value system, our metaphysics, our science, our epistemology, our language. How do you tell? If women take over half the masculine roles, does that solve it? |
| 20545 | Maybe a freedom is from a restraint, and also in order to do something [Swift] |
| Full Idea: Maybe freedom is a triadic relation, involving an agent, freedom from a contraint, and in order to act towards some goal. | |
| From: Adam Swift (Political Philosophy (3rd ed) [2014], 2 'Two') | |
| A reaction: [He cites Gerald MacCallum for this thought] The point is that this makes freedom both negative and positive, contrary to Isaiah Berlin's claim. But on the first day of the school holidays you are 'free', with nothing in particular in mind. |
| 20550 | Opportunity should ignore extraneous factors, or foster competence, or ignore all disadvantages [Swift] |
| Full Idea: The minimal conception of equality of opportunity is that race or gender or religion should not affect chances of a good job or education. The conventional conception needs equality in acquiring competences. Radical views ignore inborn disadvantages. | |
| From: Adam Swift (Political Philosophy (3rd ed) [2014], 3 'Equality') | |
| A reaction: [my summary of Swift] The strong version only says the less talented should have access to large rewards. The whole idea has strong capitalist assumptions. |
| 20536 | Inequalities are needed, as incentives to do the most important jobs [Swift] |
| Full Idea: Without inequalities, people will have no incentive to do one job rather than another - to do the kind of work which is most useful. | |
| From: Adam Swift (Political Philosophy (3rd ed) [2014], 1 'Rawls') | |
| A reaction: The reality is that the lowest pay goes to the jobs that no one wants to do, and all the really nice jobs are usually well paid. Which is a conspiracy, because all the salaries are set by the people with the nice jobs. |
| 20548 | A person can desire redistibution of wealth, without it being for reasons of equality [Swift] |
| Full Idea: Someone who rejects equality can care passionately that resources should be transferred from the rich to the poor. They are just rejecting a particular reason that might be offered to justify the redistribution. | |
| From: Adam Swift (Political Philosophy (3rd ed) [2014], 3 'Intro') | |
| A reaction: For example, it might be for utilitarian reasons, which usually only seek maximised happiness, not equal happiness. And one may love many forms of equality, without economic equality being one of them. |
| 20541 | You can't necessarily sell your legitimate right to something, even if you produced it [Swift] |
| Full Idea: Ownership is a complicated idea. I have a right to the office photocopier, but I can's sell the right to others. If people have absolute rights over what they produce, why can't parents sell their children into slavery? | |
| From: Adam Swift (Political Philosophy (3rd ed) [2014], 1 'Nozick') | |
| A reaction: If I make a car from stolen parts, does constructing it make it mine? Etc. Do birds own their nests? Swift goes on to ask if we 'own' our bodies. |
| 20546 | Libertarians about property ignore the fact that private property is a denial of freedoms [Swift] |
| Full Idea: Libertarians say that they care about freedom, and argue for private property rights on freedom grounds. But they don't sem to care about, or even notice, the unfreedom implied by the existence of private property rights. | |
| From: Adam Swift (Political Philosophy (3rd ed) [2014], 2 'Freedom') | |
| A reaction: When I pass some vast country estate totally surrounded by a high wall, I certainly don't think how wonderful it is that someone has the right to own this property as private land. On the contrary.... |
| 20533 | Justice can be seen as fairness or entitlement or desert [Swift] |
| Full Idea: The three influential conceptions of justice are as fairness (Rawls), as entitlement (Nozick), and as desert. | |
| From: Adam Swift (Political Philosophy (3rd ed) [2014], 1 'Concept') |