There's no possible way to justify this, you only have access to your perceptions. — MindForged
Perceptions aren't simply physical states, they're intentional states. While physical states have no intrinsic significance, intentional states do. Perceptions are invariably perceptions of something. (Think of Brentano and aboutness.) Whatever you may think of that something, it's what we mean by "the object of perception." So, to say that we do not perceive what we are perceiving is an oxymoron and an abuse of language.
Consider this in a different Aristotelian way: In coming to know, we are informed. Whatever informs us must have the capacity to inform us (intelligibility), or it couldn't inform us. Further, in coming to know, a single act actualizes both our capacity to be informed and the intelligibility of the object. Since the identical act makes both the object's intelligibility actually known and informs us, there is no epistic gap between knower and known.
Locke was wrong in saying we only know our ideas. Rather, our ideas are means or instrumentalities
by which we know. It is only in retrospect that we realize that some means, which we call "ideas," must have been employed. So, ideas are not the primary object of our knowledge, but only inferred retrospectively as means.
The world of perception is not identical to the world itself. — MindForged
On the Kantian interpretation, this is meaningless. Meanings need to be cashed out in terms of human experience. What possible experience could cash out "the world itself," when, by hypothesis it is inaccessible to experience?
By "reality" we mean what's revealed in reliable experience. So, to say that what we experience is not "real" is an oxymoron. It's a sign of deep confusion and wanton disregard of parsimony to posit something intrinsically unknowable -- all the more if one thinks the posit is more "real" than reality.
On a different interpretation, perception is not identical with, nor does it exhaust, reality. Still, it is a
projection of reality in two senses: (1) It is reality dynamically projecting itself into us. (2) It provides a projection (a dimensionally diminished map) of reality. Perception presents only part of reality. Full identity would be an absurd claim. Still, the world informing us
is identically us being informed by the world..
Lack of full identity is not an epistic gap. Thinking knowledge can't be true unless it is exhaustive is the Omniscience Fallacy -- making divine omniscience the paradigm of human knowing. We're not omniscient, but that doesn't mean we're
out of touch with reality -- as "gap" implies.
Possible world's really just a tool to explain set of concepts. — MindForged
Yes, most of which are modal concepts, hinging on possibility and its correlative, necessity. So, yes, possible worlds talk is circular. I have seen "necessary" defined as true in all possible worlds. Since "necessary" means the contrary is not possible, this is circular.
I do not define "possible" in terms of worlds. P is possible if P does not contradict the set of propositions which it is possible with respect to.
That isn't an explanatory definition at all. You just defined possibility and used possibility within the definition. — MindForged
Yes, I used "possible" -- not essentially, but to avoid circumlocution. So, here's the same definition restated: "P is possible with respect to a set of facts, S, if P does not contradict the propositions expressing S." Again, there is no need to violate parsimony with the possible worlds construct.
It means the same thing if I define that way. — MindForged
No, a circular definition is no definition, whereas my proposal is an actual definition.
The issue is you getting hung up on the word possible appearing in the name of the concept. — MindForged
No, what I'm "hung up" on is the construct of unknown and unknowable worlds when all actual knowledge is based on the one real world. The more "moving parts" in your philosophy, the more there is to go wrong. Still, one can't know if a world is possible unless you know what possible means.
The criterion of consistency doesn't favor your definition at all because it was a circular definition. — MindForged
Really? My definition uses no modal concepts. So it reduces modality to more fundamental, non-modal concepts. It does not assume, as possible worlds definitions do, that one already knows what "possible" means.
Lack of parsimony as compared to what? — MindForged
Compared to not positing an indefinite number of "possible worlds" when we don't
know that even one beyond the actual world is possible.
Not only are the usual definitions of the various modalities almost exactly as you defined them in your post — MindForged
Doesn't this contradict your earlier claim: "no one uses that understanding of modality in philosophy"?
No intelligible property? Seriously? So taking a particular path in the sky, being the second planet from the Sun, having a particular level of brightness, having a certain atmospheric composition (etc) are unintelligible properties? The whole point is that we are talking about worlds in which Venus (and the solar system) exists and that the identity statement "Hesperus is Phosphorus" is therefore necessarily true because they pick out the same object *in worlds where the relevant objects exist*. So when you say things like this: — MindForged
I stand by what I said. "Rigid designator" is supposed to be a property of a
term. The properties you mention are properties neither of "Hesperus" and "Phosphorus," nor of the concepts, <Hesperus> and <Phosphorus>, they express. They are properties of reality (which you inconsistently claim is not knowable). Further, they are not metaphysical properties (as would be required by Kripke's claim of metaphysical necessity), but contingent physical properties.
Neither the concept <Hesperus> nor the concept <Phosphorus> necessarily includes notes such as <taking a particular path in the sky> or <being the second planet from the Sun>. These are empirical discoveries.
While "Hesperus," "Phosphorus," and "Venus" all name the same planet, they don't all express the same concept. Concepts are elicited by specific kinds of experiences. <Hesperus> and <Phosphorus> are elicited by the experience of seeing a light in the evening and morning skies respectively. So, "Hesperus is Phosphorus," literally means "The experience of seeing a light in the evening sky is the experience of seeing a light in the morning sky" -- a claim that is not only false, but nonsensical.
What Kirpke did, then, is ignore a conceptual analysis in favor of a theory of meaning based on logical atomism. In it, "Hesperus," "Phosphorus," and "Venus" all have the same meaning because they all name the same planet. He sees meaning as no more than naming objects. Venus seen in the morning
is not Venus seen in the evening, even though both are seeing Venus.
As I pointed out in my critique, your analysis does not consider all possible worlds, only those consistent with certain contingent facts. As you are constraining possibility with contingent facts, the result is only necessary contingently, not metaphysically necessary. For there are possible worlds in which the light in the morning sky has a different source than the light in the evening sky -- even though they both exist, along with a second planet from the sun.
Propositions are only metaphysically necessary if they are true independently of contingent facts.
I can only conclude you don't know what a rigid designator is beyond reading the introductory sentence on the SEP — MindForged
No, I used the SEP quote to define "rigid designator." Let's look at the argument you go on to quote.
Hesperus = Phosphorus’ is necessarily true if true at all because ‘Hesperus’ and ‘Phosphorus’ are proper names for the same object. Like other names, Kripke maintains, they are rigid: each designates just the object it actually designates in all possible worlds in which that object exists, and it designates nothing else in any possible world. — SEP
This is a baseless assertion by Kripke.
First, proper names name one, not multiple, individuals. So, to say it's nonsense to say that "Venus" names the same object in every possible world because Venus does not exist in every possible world. We might find a planet corresponding to Venus in various possible worlds (if there are any), but they would be different individuals (because things are individuated by their relational context and the worlds would not be different unless they provided different contexts). Calling them all "Venus" means that "Venus" ceases to be a proper name and becomes a universal term.
Second, as I argued above, "Hesperus" and "Phosphorus" express different concepts and so they are never identical.
Third, how does Kripke know what "Hesperus" and "Phosphorus" mean in any possible world? As their meaning is conventional, the denizens of each possible world might use them to designate other objects or not use them at all. Kripke has no way of knowing. So, when Kripke says they designate the same object in every possible world in which the object exists, he means he has decided to use the terms in this universal way. So,
there is no fact of the matter beyond Kripke choice of naming conventions. Thus, all Kripke has done is define his conclusion into existence: the claim "'Hesperus is Phosphorus' is metaphysically necessary" has no factual basis beyond Kripke's choice of naming conventions.
There's is no world where the planet Venus and our solar system exists like ours and in which "Hesperus is Phosphorus" is false. — MindForged
And there is none in which it is true, because merely possible worlds do not exist.