I generally do.You go a bit far... — Jamal
The claim that "I get wet and do not get wet" violates the law of noncontradiction misunderstands how modal logic works. These are not simultaneous truths in a single world, but distinct evaluations across possible worlds, which is actually the reason modal logic exists. The law of noncontradiction applies within worlds, not between them. — Hanover
Additionally, the entirety of the "different worlds" enterprise must be jettisoned and the resultant collapse of modal logic as well if we follow out your logic. The term "different" as applied here by you includes any dissimilarity whatsoever, even the simple fact they are in different locations. That is, it is impossible under your reasoning to have any metaphysically related universes because everything within each one would be relevantly different. — Hanover
To make my point clearer: Suppose you had Universe #1, and within it you get wet and in Universe #2, you also get wet. In fact, every single thing within #1 and #2 are the "same," they would still not bear any metaphysical relationship to each other because they are all necessarily different since they occupy different time and space. That is, #1 and #2 do not collapse into being the same thing because they are not identical under your view. They are just curiously similar. — Hanover
When we chart out all possible worlds, under your reasoning, an infinite number could be the same in every apparent regard because you deny the concept of rigid designation in theory.
This is to say that if you deny a rigid designation for "I," you must do it for all things. That means that not only does the fact that you're not the same you in #1 and #2, the rain isn't the same in #1 and #2. They must be different. You can't have a different you in #1 and #2 and share the same rain. When we say it will rain in #1, while that sounds like any old generic rain will do, if we were being more precise, we'd describe the exact identity of the rain that would strike you in #1 versus #2.
This I suggest is the logical consequence of demanding cross universe consistency. — Hanover
But back to the classic versus modal logic discussion:
If in classic logic I say:
All glurgs are glogs
I am a glurg
Therefore I am a glog
That is true, despite the fact there is no referent for any of this gibberish. That is why we can use symbols to represent these entities because their existence is irrelevant for the analysis. — Hanover
The issue then becomes providing a definition of "possible," as you allow for pure meaningless formality under classic logic but not under modal logic. Since "possible" is the only new thing inserted, that must be the reason you treat these two systems different. What you then do is require metaphysical grounding in order for the possible to occur, but that I challenge. You no more need semantical validity for modal logic to work than classic. It's good to have semantically meaningful statements, but not required. — Hanover
So my my view, but that agreed to by the body of people who have looked into such issues. — Banno
I, and others, have. — Banno
In Kant and Hegel, philosophy shrinks to a finite, complete set of principles or axioms that is supposed to encapsulate the infinite, everything that exists — Jamal
Mortals must think mortal thoughts, and not immortal ones: if philosophy possesses anything at all, then it can only be finite, and not infinite — Jamal
So we need an open philosophy, not a systematic one — Jamal
Intellectual experience: — Jamal
The motor of an experience of this sort, of what drives a person
to seek this sort of intellectual experience – and this is what counts
above all in philosophy – is the admittedly unwarranted, vague,
obscure expectation that every singular and particular that it encounters
ultimately represents the totality that constantly eludes it — p83
Comparison with art, which does something similar — Jamal
The semantics of possible worlds just says that we understand "it is possible that it will rain tomorrow" as stipulating for our consideration two possible worlds, W₀ in which it is true that it rains tomorrow, and W₁ in which it is true that it doesn't rain tomorrow. There is no contradiction. — Banno
Added: "It is possible that it will rain tomorrow" just says that there is a possible world in which it rains tomorrow. And this is true, and therefor "It is possible that it will rain tomorrow" has a truth value. — Banno
"It is possible that it will rain and not rain tomorrow" is false, since there is no possible world in which it both rains and does not rain. — Banno
And this adds to your idea, Hanover, in that such things only ever happen in impossible worlds, and so "It is possible that it will rain and not rain tomorrow" is false in all the possible worlds, but perhaps true in some impossible world... — Banno
Well, then, best you stop posting about logic, don't you think? — Banno
Alright, I'll set out the basics and tell me where we disagree:
The fatalism issue arises in classic logic and is cured by modal logic. — Hanover
1. It is necessary that if it rains tomorrow, I will get wet
2. It is possible that it will rain tomorrow
It is possible I will get wet.
There is no fatalism because #2 is possible, not necessary. — Hanover
The trouble here is that modal logic subsumes propositional logic. They are not inconsistent. — Banno
It really would help if you were to read about and try to understand logic rather than just dispensing your wisdom. — Banno
When Hegel writes about the indeterminate, he is not talking about beings, as in individual objects, but about what is indeterminate. In using the adjective indeterminate one grammatically points to a substantive, a logical something awaiting determination—but this is lost when he moves to indeterminateness, because the latter is a free-standing abstract quality, a universal. It's a subtle shift from a realist grammar to an idealist grammar, even though the whole time he's just talking about being. It's more a linguistic point than one about identity. — Jamal
Just reflect for a moment on the difference between ‘the indeterminate’ and
‘indeterminateness’. The language is right to make a distinction here.
‘The indeterminate’ is in the nature of a substratum. To be sure, the
concept of the indeterminate does not distinguish between concept
and thing, but precisely because there has been no determination the
distinction between the determinant, namely the category, and the
thing does not emerge as such in this term. But in this absence of
differentiation appropriate to it, it does possess both: both the concept
and the thing that is undetermined. — p61
Trouble is that modal logic includes propositional logic and predicate logic. Every valid proposition in propositional logic and in predicate logic is valid in modal logic. And for every valid syllogism in classical logic there is an equivalent valid formulation in propositional or predicate logic. — Banno
If you insist that modal logic fails because of its failure to adhere to classical logic standards related to ontological status, then you will be de facto rejecting modal logic. — Hanover
Modal logic admits to the incompatibility noted by Aristotle and responds to it, so I don't know how to respond other than to say if you want modal logic to act like classic logic you can't have model logic. — Hanover
In any event, give me a syllogism in modal logic you feel fails by giving an illogical result due to its adherence to modal logic standards and not classical so I can see concretely why you object. — Hanover
That is classic logic, not modal logic, though, correct? I understand that if we're referrring to what might be we can't set it out in terms of what it currently is. The antecedent is conditional, and it is useful to logically determine an outcome on a possible world because we require that sort of logic to make our decisions. — Hanover
Your objection is that the hypothetical possibility is not ontological in existence and so you therefore cannot logically consider it? This I don't follow. Why can't we logically assess possible worlds that aren't actual worlds? This is the point of modal logic. — Hanover
You say this, but your objections are directed straight at it. — Hanover
It is not a rejection of modal logic, it is a rejection of the way that modal logic is often applied. To apply logic correctly requires ontological principles. Demanding ontological clarity of the meaning of propositions before performing logical functions is not a matter of rejecting the logic. It is a matter of requesting an adequate explanation of the premises, similar to asking for definitions. If an important term like "possible" is left with ambiguity between two very distinct senses, this is cause for concern, because it allows for the possibility of misuse.You demand ontological reality upon your propositions prior to performing logical functions on them, which is an outright rejection of modal logic. — Hanover
That's fine, but it's not an objection about anything inconsistent with modal logic. It's just a refusal to accept it as a mode of reasoning. — Hanover
This is just to say that if you insist upon actual worlds for the conditions to exist in to perform logic upon them, then you're refusing to consider possible worlds, which is what distinguishes classical and modal logic from one another. — Hanover
Instead I think there are a multitude of possible worlds, but that there is one possible world amongst them that is actual. I take this to be the most common view, almost to the point of a consensus. — Banno
And the question or the problem facing philosophy is simply about
how it can have both content and rigour at the same time. And that
indeed can only become possible if the philosophers succeed in escaping
from the equation of universal concepts with the substantive
contents about which they have agreed to this day.
So Hegel starts with the something but drops it in favour of the concept. And this is how Hegel manages to equate being with nothing. — Jamal
When he says that "the forces of production, in other words human energies and their extension in technology, have a tendency of their own to overcome the limits that have been set by society," and that we must not think of this as a natural law, he seems to be unambiguously equating such an overcoming with revolutionary emancipation. — Jamal
Hegel goes from indeterminate to indeterminateness. — Jamal
Martin Heidegger says that the initial interpretation of the word <ousia> was lost in its translation to the Latin. As a consequence it was also lost in its translations to modern languages. He says that <ousia> precisely means ‘being’ - not ‘substance’, that is not some ‘thing’ or some ‘being’ that “stands” (-stance) “under” (sub-).” — Wayfarer
If it rains, I'll get my umbrella is modal logic, and it may or may not be raining at the moment or ever again in the future. Why do these temporal issues of what is happening now or later interfere with our ability to logically assess? That is, can I not logically reason based upon the antecedent without the antecedent being true in this world? That seems what modal logic is. — Hanover
But surely ↪Metaphysician Undercover, there is a way to do counterfactual reasoning, right? So, "if this plant was not watered, it would not have grown." But the plant in question has to be, at least in some sense, the same plant, or else we would just be saying that if the plant was a different plant it might not have grown. — Count Timothy von Icarus
Likewise, in counterfactual reasoning, we speak to the potencies that some thing possessed in the past, and then discuss what would be true if they were actualized differently. — Count Timothy von Icarus
The past is, in some sense, necessary, having already become actual. But when we speak to "possible worlds" with a different past, we are simply talking about different potentialities becoming actualized. — Count Timothy von Icarus
That's the point. You allow indexation for time, but not for possible worlds. Why? — Banno
I hope it is clear, and as the Roman example given above exemplifies, possible worlds can be about the past as well as the future. If we accept rigid designation, the possible Caesar who did not cross the Rubicon is the very same as the actual Caesar who did. That that is, "what might have happened if Caesar had not crossed the Rubicon" is a question about Caesar, and not about some other person in some other possible world who happens to have the same name. — Banno
In trying to throw out the bath water of fatalism, you have wholly thrown out the babe of modality. And needlessly, since accessibility allows us to make choices. — Banno
It handles a wider range of modalities, cleanly avoids category mistakes, and is rigorous enough for computation. — Banno
Odd, that it's apparently OK to index a proposition in time: "Joe was asleep at 4 am but awake at 4 PM"; but to refuse to index a proposition in reference to possible worlds: "Joe was asleep in w₀ but awake in w₁" — Banno
This is modal collapse. There are no possible worlds. It imposes metaphysical essentialism on the system. Meta’s view amounts to a denial of genuine modality. — Banno
So how are we to understand modal sentences? That "the table could have been red instead of blue" is an impossibility, since then it would not have been that table. Even taking it that "the table could have been red instead of blue" amounts to "there might have been some other table that was blue" fails, because that other table would not be this table. Any variation in property means we are talking about a different object. — Banno
Not that I agree with Meta's other thoughts on hyper-strictnesss of identity, but I don't know a consequence of it is the inability to assess hypotheticals entirely. — Hanover
It leads to implausible claims. Joe has the property of being awake at T1, and the property of being asleep at T2. These are certainly not trivial properties, yet does anyone claim that Joe is not the same person? — J
At the risk of being a nag, could I suggest again that you actually read one of Kripke's lectures? — J
It’s true that Aristotle uses being (to on) in a broad sense to include many kinds of things. But in Physics and Metaphysics, he also clearly distinguishes between natural beings—which have internal principles of movement and life—and artifacts or inert things, which do not. — Wayfarer
The distinction is not supposed to be merely natural versus artificial. — Count Timothy von Icarus
Of things that exist, some exist by nature, some from other causes.
'By nature' the animals and their parts exist, and the plants and the simple bodies (earth, fire, air, water)-for we say that these and the like exist 'by nature'. — 192b, 8-9
All the things mentioned present a feature in which they differ from things which are not constituted by nature. Each of them has within itself a principle of motion and of stationariness (in respect of place, or of growth and decrease, or by way of alteration). On the other hand, a bed and a coat and anything else of that sort, qua receiving these designations i.e. in so far as they are products of art-have no innate impulse to change. But in so far as they happen to be composed of stone or of earth or of a mixture of the two, they do have such an impulse, and just to that extent which seems to indicate that nature is a source or cause of being moved and of being at rest in that to which it belongs primarily, in virtue of itself and not in virtue of a concomitant attribute. — 192b,13-23
What to do depends on an assessment of the situation. — Jamal
Moreover, it is not enough
for us to live in hope that the history of mankind will move towards
theory and practice a satisfactory state of affairs of its own accord and that all that will
be required from us is a bit of a push from time to time to ensure
that everything works out. Even though – and here too I would rather
err on the side of caution – we should bear in mind, and in this respect
Marx was undoubtedly right to maintain that the forces of production,
in other words human energies and their extension in technology,
have a tendency of their own to overcome the limits that have
been set by society. To regard this overcoming as a kind of natural
law, however, and to imagine that it has to happen in this way, and
that it has to happen immediately, that would render the entire situation
harmless, since it would undermine every kind of practice that
placed its reliance on it. And, finally, in taking the link between
theory and practice seriously, one of our most vital tasks is to realize
that thought is not a priori impotent in the face of a possible practice.
This was in fact the point of Marx’s criticism of an abstract utopia. — p48-49
Do you really call other persons and animals objects? That’s precisely my point—the term object is misleading in this context. — Wayfarer
You say I’m applying unwarranted restrictions to Aristotle’s hylomorphism. Fair enough. But I’d suggest that you may be reading Aristotle through a modern, objectively-oriented lens, one that did not obtain in his milieu, and does not do justice to the ontological depth conveyed by his original terminology. — Wayfarer
It's a bit confusing because Aristotle seems to say different things in different places, and because "ousia" might get translated as "substance," "being," or "essence" in different places. — Count Timothy von Icarus
This is in contrast to things that "exist according to causes," like a rock, which is largely just a heap of external causes with no (strong) principle of unity (e.g. if you break a rock in half you get two rocks, if you break a dog in half you don't have a dog anymore). — Count Timothy von Icarus
And if we fail to follow up this idea that the
forces of production could satisfy human needs and enable mankind
to enter into a condition worthy of human beings – if we fail to give
voice to this thought, then we certainly will be in danger of giving
ideology a helping hand. Such an outcome is prevented only by the
relations of production and by the extension of the forces of production
into the machinery of physical and intellectual power. — p48
For to take a dogmatic view of that book of Lenin’s, or indeed all
books by Lenin or even all the books ever produced by Marxism, is
the precise equivalent of the procedures adopted by administrations
that have set themselves up in the name of Marxism, that have
absolved themselves of the need for any further thought and that have
done nothing but base their own acts of violence on these theories
without thinking them through and developing them critically. — p50
Engels also understood very clearly: that science is not only a force
of production but that it is implicated in the social power relations
and command structures of its age. It follows from this that we
cannot simply transfer to science the authority purloined from
philosophy or the authority denied to philosophy by criticism. — p52
For thinking itself is always a form of behaviour;18 it is, whether it likes it or not,
a kind of practice, even in its purest logical operations. Every
synthesis it creates brings about change. Every judgement that links two
ideas together that were separate previously is, as such, work; I would
be tempted to say it always brings about a minute change in the
world. And once thinking sets out in its purest form to bring about
change in even the smallest thing, no power on earth can separate
theory from practice in an absolute way. The separation of theory
and practice is itself an expression of reified consciousness. And it is
the task of philosophy to dismantle the rigidity, the dogmatic and
irreconcilable character of this separation. — p53
I appreciate the clarification about particularity, but I think this risks reading Aristotle through the modern, objective point of view to which we are encultured. In the Categories and Metaphysics, Aristotle’s paradigm examples of 'substance' are not objects like stones or marbles, but beings—plants, animals, and humans. They are beings that possess their own internal principles of organization, growth, and change—what Aristotle calls form and actuality. Hence again the fact that the original term was 'ouisia'. He's asking about what beings are - not what objects are. — Wayfarer
This framing presents substance as nothing more than individual objects, like particular dogs - or even stones or marbles, we would be entitled to think —whic is an oversimplification that loses sight of the deeper point that 'substance' is not mere particularity, but what something is in virtue of its form and actuality. Again, it is nearer to think of it as what of being it is, than what kind of object. And there's a difference! — Wayfarer
Do you conceive of possible worlds as sharing an actual, existential timeline? Such that event A in world W literally happens at the same time as event B in world Y? — J
The two events, being distinct, can't share the same space, so why would we imagine they could share the same time? — J
Not as Kripke understands "same object" -- and I would argue that this is the common-sense understanding as well. You've read Naming and Necessity, I suppose? In his example, "Richard Nixon" is a rigid designator; thus, Nixon remains Nixon -- the "same object" -- regardless of whether he wins or loses the 1968 election. For this to violate some law of non-contradiction, you'd have to maintain that every single property, action, and attribute of a given object is essential to its being what it is. Do you really want to do that? — J
I think you've hit the nail on the head. — Jamal
Now, you'll notice that Adorno will refer to objects, using concepts, while also implying that the concept doesn't quite fit, which in your terms implies that the object is imposed and means that he cannot legitimately use that concept to refer to the real, or that the purported object is entirely ideal. But he has no choice. He will say things like "objects exceed the grasp of their concepts," and applying this to one object, say the working-class, this is a way of showing that we must refer to it as an object but must also remember that its very object-hood is partly a product of thought and does not precisely capture what it's trying to capture (and what's more, no object concept can capture it). — Jamal
But for Adorno the identity of being and thought is the result of the idealist prioritization of the subject. — Jamal
Partly for my own benefit I'd like to work out exactly what is lost, what is misleading, in this over-simple formulation. — Jamal
Now you are misrepresenting what I have said. — Banno
What it comes down to is (a) I am nevertheless ready to move on and don't think this is the right time to tackle the issue (though I intend now to keep it in mind), and (b) there is a real antagonism in Adorno's thinking, which goes right down to the bottom of idealism vs realism, which I hope will become, maybe not clearer, but more explicit as the reading goes on into ND. — Jamal
Good stuff, but here is the thing: the bolded conclusion isn't justified. It begs the question. From the fact that we impose artificial boundaries on hurricanes it doesn't follow that hurricanes don't exist apart from those boundaries. — Jamal
I think he states it openly in the first lecture:
We are concerned here with a philosophical project that does not presuppose the identity of being and thought, nor does it culminate in that identity. — Jamal
You keep repeating this absurdity. PWS logic is consistent with a=a. End of story. The rest is in your imaginings .
Further discourse is only encouraging your confabulations. Cheers. — Banno
Are you familiar with Taylor's work on this, and DF Wallace's response? — J
Could you say what you have in mind by something being in a different world "at the same time"? The same time as what? It's a different world, isn't it? — J
Or, more charitably, you're a hardcore idealist who cannot accept Adorno's materialism. — Jamal
But what you're saying does go to the heart of the subject-object relation, which is a central part of his thinking; and there is in fact a dialectical antagonism in his thinking between objects as non-conceptual and objects as ineluctably mediated—so I'll try responding. — Jamal
The thing produced being a philosophical system such as Kant's transcendental idealism or Fichte's Science of Knowledge, yes? Well, why not both? They're part of the same deal. I don't think Adorno makes an important distinction between the activity of making a system and the resulting philosophical system itself, or if he does it's along the lines of the systematization/system distinction. — Jamal
Well, which interconnectedness are we talking about? Adorno is saying there is an interconnectedness beyond thought, not only beyond philosophical systems but obscured by philosophical systems. — Jamal
We should be careful. Adorno has an interesting theory of bodily experience, and tends to use "somatic" when he is talking about sensation, because he believes the concept of "sensation" is implicated in the subjectivization characteristic of idealism, i.e., the concept of sensation takes something physical and relational and unjustifiably turns it into something mental and private. This idealist pressure of thought is demonstrated by your own way of wording things here, I think. — Jamal
identity is world-bound; talk of “Socrates in another world” means “someone like Socrates.” — Banno
That's just a misunderstanding of what it is to be an individual. — Banno
In rigid designation (Kripke), names refer to the same individual in every world where that individual exists. Identity is preserved; variation in properties does not threaten self-identity, so long as essential properties remain fixed. — Banno
Still, 10% tariffs and the 30% tariffs on Chinese goods do have some effect... not of an embargo, but still something. — ssu
