Combining Texts

All the ideas for 'Intensional Logic', 'Identity and Existence in Logic' and 'The Intelligence of Evil'

unexpand these ideas     |    start again     |     specify just one area for these texts


31 ideas

1. Philosophy / D. Nature of Philosophy / 1. Philosophy
There is no longer anything on which there is nothing to say [Baudrillard]
     Full Idea: There is no longer anything on which there is nothing to say.
     From: Jean Baudrillard (The Intelligence of Evil [2004], p. 17)
     A reaction: Compare Ideas 2937 and 6870. I'm not sure whether Baudrillard is referring to the limits of philosophy, or merely to social taboos. I like Ansell Pearson's view: we should attempt to discuss what appears to be undiscussable.
2. Reason / A. Nature of Reason / 5. Objectivity
The task of philosophy is to unmask the illusion of objective reality [Baudrillard]
     Full Idea: The task of philosophy is to unmask the illusion of objective reality - a trap that is, in a sense, laid for us by nature.
     From: Jean Baudrillard (The Intelligence of Evil [2004], p. 40)
     A reaction: There is a vast gap between this and the Lockean view (Idea 7653) that philosophers are there to help reveal reality, probably via science. I retain the Enlightenment faith that there is a reality to be found. Baudrillard must be taken seriously, though.
2. Reason / A. Nature of Reason / 9. Limits of Reason
Drunken boat pilots are less likely to collide than clearly focused ones [Baudrillard]
     Full Idea: Two boats on Lake Constance in dense fog are in less danger of colliding if their pilots are drunk than if they are attempting to master the situation.
     From: Jean Baudrillard (The Intelligence of Evil [2004], p.196)
     A reaction: Charming, but I think empirical research would prove it false. At least rational pilots know to keep to the right (?) when a shape looms through the fog. I prefer rational pilots, but then I am one of those sad people who admires the Enlightenment.
2. Reason / C. Styles of Reason / 1. Dialectic
Instead of thesis and antithesis leading to synthesis, they now cancel out, and the conflict is levelled [Baudrillard]
     Full Idea: Gone is the dialectic, the play of thesis and antithesis resolving itself in synthesis. The opposing terms now cancel each other out in a levelling of all conflict.
     From: Jean Baudrillard (The Intelligence of Evil [2004], p.129)
     A reaction: This is from someone who approved of 9/11 (p.137 of this text), and seemed to welcome conflict. His idea, which has plausibility, is that the modern media have become a great warm bath that calmly absorbs every abrasive thrown into it.
4. Formal Logic / E. Nonclassical Logics / 6. Free Logic
Free logics has terms that do not designate real things, and even empty domains [Anderson,CA]
     Full Idea: Free logics say 1) singular terms are allowed that do not designate anything that exists; sometimes 2) is added: the domain of discourse is allowed to be empty. Logics with both conditions are called 'universally free logics'.
     From: C. Anthony Anderson (Identity and Existence in Logic [2014], 2.3)
     A reaction: I really like the sound of this, and aim to investigate it. Karel Lambert's writings are the starting point. Maybe the domain of logic is our concepts, rather than things in the world, in which case free logic sounds fine.
4. Formal Logic / E. Nonclassical Logics / 8. Intensional Logic
If terms change their designations in different states, they are functions from states to objects [Fitting]
     Full Idea: The common feature of every designating term is that designation may change from state to state - thus it can be formalized by a function from states to objects.
     From: Melvin Fitting (Intensional Logic [2007], 3)
     A reaction: Specifying the objects sounds OK, but specifying states sounds rather tough.
Intensional logic adds a second type of quantification, over intensional objects, or individual concepts [Fitting]
     Full Idea: To first order modal logic (with quantification over objects) we can add a second kind of quantification, over intensions. An intensional object, or individual concept, will be modelled by a function from states to objects.
     From: Melvin Fitting (Intensional Logic [2007], 3.3)
4. Formal Logic / E. Nonclassical Logics / 9. Awareness Logic
Awareness logic adds the restriction of an awareness function to epistemic logic [Fitting]
     Full Idea: Awareness logic enriched Hintikka's epistemic models with an awareness function, mapping each state to the set of formulas we are aware of at that state. This reflects some bound on the resources we can bring to bear.
     From: Melvin Fitting (Intensional Logic [2007], 3.6.1)
     A reaction: [He cites Fagin and Halpern 1988 for this]
4. Formal Logic / E. Nonclassical Logics / 10. Justification Logics
Justication logics make explicit the reasons for mathematical truth in proofs [Fitting]
     Full Idea: In justification logics, the logics of knowledge are extended by making reasons explicit. A logic of proof terms was created, with a semantics. In this, mathematical truths are known for explicit reasons, and these provide a measure of complexity.
     From: Melvin Fitting (Intensional Logic [2007], 3.6.1)
5. Theory of Logic / A. Overview of Logic / 8. Logic of Mathematics
Classical logic is deliberately extensional, in order to model mathematics [Fitting]
     Full Idea: Mathematics is typically extensional throughout (we write 3+2=2+3 despite the two terms having different meanings). ..Classical first-order logic is extensional by design since it primarily evolved to model the reasoning of mathematics.
     From: Melvin Fitting (Intensional Logic [2007], §1)
5. Theory of Logic / F. Referring in Logic / 3. Property (λ-) Abstraction
λ-abstraction disambiguates the scope of modal operators [Fitting]
     Full Idea: λ-abstraction can be used to abstract and disambiguate a predicate. De re is [λx◊P(x)](f) - f has the possible-P property - and de dicto is ◊[λxP(x)](f) - possibly f has the P-property. Also applies to □.
     From: Melvin Fitting (Intensional Logic [2007], §3.3)
     A reaction: Compare the Barcan formula. Originated with Church in the 1930s, and Carnap 1947, but revived by Stalnaker and Thomason 1968. Because it refers to the predicate, it has a role in intensional versions of logic, especially modal logic.
5. Theory of Logic / G. Quantification / 5. Second-Order Quantification
Basic variables in second-order logic are taken to range over subsets of the individuals [Anderson,CA]
     Full Idea: Under its now standard principal interpretation, the monadic predicate variables in second-order logic range over subsets of the domain on individuals.
     From: C. Anthony Anderson (Identity and Existence in Logic [2014], 1.5)
     A reaction: This is an interpretation in which properties are just sets of things, which is fine if you are a logician, but not if you want to talk about anything important. Still, we must play the game. Boolos introduced plural quantification at this point.
5. Theory of Logic / G. Quantification / 7. Unorthodox Quantification
Stop calling ∃ the 'existential' quantifier, read it as 'there is...', and range over all entities [Anderson,CA]
     Full Idea: Ontological quantifiers might just as well range over all the entities needed for the semantics. ...The minimal way would be to just stop calling '∃' an 'existential quantifier', and always read it as 'there is...' rather than 'there exists...'.
     From: C. Anthony Anderson (Identity and Existence in Logic [2014], 2.6)
     A reaction: There is no right answer here, but it seems to be the strategy adopted by most logicians, and the majority of modern metaphysicians. They just allow abstracta, and even fictions, to 'exist', while not being fussy what it means. Big mistake!
7. Existence / A. Nature of Existence / 2. Types of Existence
Do mathematicians use 'existence' differently when they say some entity exists? [Anderson,CA]
     Full Idea: A cursory examination shows that mathematicians have no aversion to saying that this-or-that mathematical entity exists. But is this a different sense of 'existence'?
     From: C. Anthony Anderson (Identity and Existence in Logic [2014], 2.6)
     A reaction: For those of us like me and my pal Quine who say that 'exist' is univocal (i.e. only one meaning), this is a nice challenge. Quine solves it by saying maths concerns sets of objects. I, who don't like sets, am puzzled (so I turn to fictionalism...).
7. Existence / D. Theories of Reality / 3. Reality
Without God we faced reality: what do we face without reality? [Baudrillard]
     Full Idea: The eclipse of God left us up against reality. Where will the eclipse of reality leave us?
     From: Jean Baudrillard (The Intelligence of Evil [2004])
     A reaction: Baudrillard's distinctive view is that modern culture is thwarting all our attempts to grasp reality, which itself becomes a fiction. The answer is that you are left in the position of the ancient sceptics. Sextus Empiricus (see) is the saviour.
7. Existence / D. Theories of Reality / 10. Vagueness / b. Vagueness of reality
Nothing is true, but everything is exact [Baudrillard]
     Full Idea: Someone said: everything is true, nothing is exact. I would say the opposite: nothing is true, everything is exact.
     From: Jean Baudrillard (The Intelligence of Evil [2004], p.210)
     A reaction: In analytical terminology, this appears to say that vagueness is ontological, not epistemological, agreeing with Williamson and others. To say that 'nothing is true', though, just strikes me as silly. What does Baudrillard mean by 'true'?
7. Existence / D. Theories of Reality / 11. Ontological Commitment / a. Ontological commitment
We can distinguish 'ontological' from 'existential' commitment, for different kinds of being [Anderson,CA]
     Full Idea: There are sensible ways to maike a distinction between different kinds of being. ..One need not fear that this leads to a 'bloated ontology'. ...We need only distinguish 'ontological commitment' from 'existential commitment'
     From: C. Anthony Anderson (Identity and Existence in Logic [2014], 2.6)
     A reaction: He speaks of giving fictional and abstract entities a 'lower score' in existence. I think he means the 'ontological' commitment to be the stronger of the two.
9. Objects / A. Existence of Objects / 4. Impossible objects
's is non-existent' cannot be said if 's' does not designate [Anderson,CA]
     Full Idea: The paradox of negative existentials says that if 's' does not designate something, then the sentence 's is non-existent' is untrue.
     From: C. Anthony Anderson (Identity and Existence in Logic [2014], 2.1)
     A reaction: This only seems be a problem for logicians. Everyone else can happily say 'my coffee is non-existent'.
We cannot pick out a thing and deny its existence, but we can say a concept doesn't correspond [Anderson,CA]
     Full Idea: Parmenides was correct - one cannot speak of that which is not, even to say that it is not. But one can speak of concepts and say of them that they do not correspond to anything real.
     From: C. Anthony Anderson (Identity and Existence in Logic [2014], 2.5)
     A reaction: [This summarises Alonso Church, who was developing Frege] This sounds like the right thing to say about non-existence, but then the same principle must apply to assertions of existence, which will also be about concepts and not things.
9. Objects / A. Existence of Objects / 5. Individuation / a. Individuation
Individuation was a problem for medievals, then Leibniz, then Frege, then Wittgenstein (somewhat) [Anderson,CA]
     Full Idea: The medieval philosophers and then Leibniz were keen on finding 'principles of individuation', and the idea appears again in Frege, to be taken up in some respects by Wittgenstein.
     From: C. Anthony Anderson (Identity and Existence in Logic [2014], 1.6)
     A reaction: I take a rather empirical approach to this supposed problem, and suggest we break 'individuation' down into its component parts, and then just drop the word. Discussions of principles of individuations strike me as muddled. Wiggins and Lowe today.
9. Objects / F. Identity among Objects / 7. Indiscernible Objects
The notion of 'property' is unclear for a logical version of the Identity of Indiscernibles [Anderson,CA]
     Full Idea: In the Identity of Indiscernibles, one speaks about properties, and the notion of a property is by no means clearly fixed and formalized in modern symbolic logic.
     From: C. Anthony Anderson (Identity and Existence in Logic [2014], 1.5)
     A reaction: The unclarity of 'property' is a bee in my philosophical bonnet, in speech, and in metaphysics, as well as in logic. It may well be the central problem in our attempts to understand the world in general terms. He cites intensional logic as promising.
10. Modality / E. Possible worlds / 3. Transworld Objects / a. Transworld identity
Definite descriptions pick out different objects in different possible worlds [Fitting]
     Full Idea: Definite descriptions pick out different objects in different possible worlds quite naturally.
     From: Melvin Fitting (Intensional Logic [2007], 3.4)
     A reaction: A definite description can pick out the same object in another possible world, or a very similar one, or an object which has almost nothing in common with the others.
16. Persons / F. Free Will / 5. Against Free Will
There is no need to involve the idea of free will to make choices about one's life [Baudrillard]
     Full Idea: There is no need to involve the idea of free will to make choices about one's life.
     From: Jean Baudrillard (The Intelligence of Evil [2004], p. 57)
     A reaction: Someone who believed that free will was metaphysically possible, but that they themselves lacked it, might feel paralysed, defeated or fatalistic about their decision-making. But that would be like falsely believing you were fatally ill.
21. Aesthetics / C. Artistic Issues / 6. Value of Art
In modern times, being useless is the essential aesthetic ingredient for an object [Baudrillard]
     Full Idea: Since the nineteenth century it has been art's claim that it is useless...so it is enough to elevate any object to uselessness to turn it into a work of art...and obsolete useless objects automatically acquire an aesthetic aura.
     From: Jean Baudrillard (The Intelligence of Evil [2004], p.111)
     A reaction: Art is 'purposive without purpose' (Kant). An nice summary of the situation, and this seems to explain the role of Duchamp's famous urinal, up on the wall and rendered useless. The obvious rebellion, though, is Arts and Crafts.
22. Metaethics / C. The Good / 2. Happiness / c. Value of happiness
Good versus evil has been banefully reduced to happiness versus misfortune [Baudrillard]
     Full Idea: The ideal opposition between good and evil has been reduced to the idealogical oppositions between happiness and misfortune. The reduction of good to happiness is as baneful as that of evil to misfortune.
     From: Jean Baudrillard (The Intelligence of Evil [2004], p.139)
     A reaction: A nice example is the use in the media of the word 'tragic' for every misfortune. See the debate over the translation of the Greek 'eudaimonia'. 'Happiness' seems the wrong translation, if it leads to comments like Baudrillard's.
24. Political Theory / C. Ruling a State / 2. Leaders / c. Despotism
Whole populations are terrorist threats to authorities, who unite against them [Baudrillard]
     Full Idea: One way or another, populations themselves are a terrorist threat to the authorities...and by extension, we can hypothesize a coalition of all governments against all populations.
     From: Jean Baudrillard (The Intelligence of Evil [2004], p.120)
     A reaction: This may count as left-wing paranoia, but it is a striking thought, which plants an uneasy notion in the mind whenever we see two world leaders disappear behind closed doors for a chat.
24. Political Theory / D. Ideologies / 5. Democracy / d. Representative democracy
People like democracy because it means they can avoid power [Baudrillard]
     Full Idea: If the people puts itself into the hands of the political class, it does so more to be rid of power than out of any desire for representation.
     From: Jean Baudrillard (The Intelligence of Evil [2004], p. 54)
     A reaction: Very nice. If we are all in the grips of some biological 'will to power', that needn't be power over huge numbers of other people, merely power over our immediate lives. It can be expressed by building a wall.
24. Political Theory / D. Ideologies / 6. Liberalism / b. Liberal individualism
Only in the last 200 years have people demanded the democratic privilege of being individuals [Baudrillard]
     Full Idea: Individuality is a recent phenomenon. It is only over the last two centuries that the populations of the civilized countries have demanded the democratic privilege of being individuals.
     From: Jean Baudrillard (The Intelligence of Evil [2004], p. 55)
     A reaction: I think Aristotle's ethics and politics imply individuality, given that the only purpose of civic society seems to be to enable individuals to flourish and lead virtuous lives. Society is justified, for example, because it makes friendship possible.
25. Social Practice / E. Policies / 5. Education / d. Study of history
The arrival of the news media brought history to an end [Baudrillard]
     Full Idea: The course of history came to an end with the entry on the scene of the news media.
     From: Jean Baudrillard (The Intelligence of Evil [2004], p. 83)
     A reaction: The sort of remark for which Baudrillard became famous. It strikes me as nonsense. The view the British people got of the Battle of Trafalgar was even more distorted than their picture of the Battle of El Alamein. We know what he means, though.
25. Social Practice / F. Life Issues / 4. Suicide
Suicide is ascribed to depression, with the originality of the act of will ignored [Baudrillard]
     Full Idea: Suicide is always ascribed to depressive motivations with no account taken of an originality of, an original will to commit, the act itself.
     From: Jean Baudrillard (The Intelligence of Evil [2004], p.153)
     A reaction: Apparently research suggests that most suicides are clinically depressed, but even within the depression there is a startling act of will that goes beyond merely feeling bad.
28. God / B. Proving God / 2. Proofs of Reason / d. Pascal's Wager
Pascal says secular life is acceptable, but more fun with the hypothesis of God [Baudrillard]
     Full Idea: What Pascal says, more or less, is that you can more or less content yourself with a secular existence and its advantages, but it's much more fun with the hypothesis of God.
     From: Jean Baudrillard (The Intelligence of Evil [2004], p.155)
     A reaction: Pascal will be a bit startled when he reads this, but it is a lovely way to present his idea. It suddenly sounds much more attractive. Life would be much more fun if we lived according to all sorts of startling beliefs. Relating your life to God is one.