Hi AnssiH, I hope that nothing I say upsets you. I appreciate your responses immensely; you are quite clear and quite thoughtful, the only problem here is that what I am saying is quite far from the common approach and few people can even begin to comprehend what I am doing.
AnssiH said:
Well it's certainly true that I am diving headlong into epistemology with that assertion, just that it appears unavoidable to me.
It appears unavoidable to everyone; that is why no one ever attempts to avoid it.
AnssiH said:
Understanding something as a set is something we need to do in order to be able to discuss it (like you said) and also in order to understand it in our own mind. It seems like this is already more than an ontology, even when we don't define what the set might be.
What I believe you are doing is confusing the ontology of logic (something we need to communicate) with the subject of ontology itself. That is to say,
Doctordick said:
The ontology of mathematics is as intuitively (i.e.,from experience) generated as is any other field. What makes it “pure” is the fact that it is without contradiction (at least as best as the mathematicians can manage to achieve).
the speculative edifice constructed upon that limited and concise ontology provides us with the only dependable means of communication (dependable meaning we can be fairly confident that we both understand the relationships being expressed in a mathematical expression). Of course, there is a very serious disadvantage of using an exact language and that is the fact that only a small range of relationships can be expressed. Now that is a real problem; however, the value of clarity certainly supersedes that limitation.
I would like to point out that the "speculative edifices" associated with mathematics and logic are what one might call abstract constructs having utterly nothing to do with reality. Their value resides entirely in the issue of self consistency. Self consistency is a quality one desires in any explanation as it is the only guarantee that answers will not be a function of the particular path taken through analysis of a problem. Consistency is a quality required of an acceptable explanation. That is why mathematics and logic play such a big roll in the exact sciences.
The problem we are trying to deal with here is the fact that we must do our best to avoid the presumption that the "valid ontology" we wish to talk about is defined as that is the very source of Kant's complaint. That constraint does not disallow speculative edifices such as language or the ontological elements used to establish language, it merely makes it imperative that we be very careful in expressing the relationships connected to this "valid ontology" under examination. A point Rade cannot seem to comprehend.
Doctordick said:
It is indeed a very common fate of human reason first of all to finish its speculative edifice as soon as possible, and then only inquire whether the foundations be sure.
We owe it to ourselves not to confuse the two issues.
AnssiH said:
That there is something (even just a single thing) with ontological/metaphysical identity even when there is no semantical mind defining it that way.
And it is exactly that set of "things" which is to be the subject of this discussion. The problem is that we need a method of referring to that set without defining it. This is why I refer to it as a set and give no further constraint.
AnssiH said:
I see you clarified that by "null set" you meant it'd be fair to call it a set even when it doesn't refer to anything at all (not even to a single thing). I am little bit confused about how the first assertion has got any meaning to it anymore (i.e. why make the assertion), but perhaps I'll understand it later.
It is possible that you missed the essence of the assertion (probably because you found little meaning in it). The assertion is simply that I can refer to reality (another name for this "valid ontology") as a set and nothing else is to be inferred.
AnssiH said:
We need to talk about semantical entities in order to discuss or understand anything at all. That, I reckon, is always invalid ontology. Yet it's all we can do :(
The only problem with that particular assertion I have is that "semantical entities" already requires presumption of an ontology. I think that you understand that in some subtle way, but I don't think you have entirely faced the problem.
AnssiH said:
I am assuming there is a reality out there without my subjective experience, ...
That reality is exactly what I am referring to as my "valid ontology" and your "subjective experience" is the intuitive speculative edifice you have constructed to explain that ontology. In the absence of a speculative edifice, that ontology is absolutely "undefined".
AnssiH said:
I keep failing to see how it's possible to think about anything at all without epistemological methods, but let's just advance to next step, maybe that'll clear things up.
Perhaps it will.
I read your reference to see what you had in mind and have only one comment to make:
AnssiH said:
So I am assuming conscious thoughts are caused by certain arrangement of physical stuff, and that for this reason I can never REALLY know how.
You may not know "how" but you could understand the limits rationally imposed upon your metal model by the simple issue of internal consistency. They are far more specific than imagined by most everyone.
AnssiH said:
But regardless of our particular views, let's get to the next step in your assertions about ontology?
I have already made all the assertions about that "valid ontology" which I had to make.
Doctordick said:
I am saying three very simple things: first, any ontology can be referred to as a set; second, an acceptable epistemology must be based on reality in some way and third, there are truths (valid ontological elements) of which we are ignorant.
The next step is to understand the problem of "explaining" that ontology in the absence of definition. In order to simplify the examination of the problem, I will first examine a somewhat simpler problem. But before I go into that problem, let me first point a very usefull abstract "tool".
There are some simple logical conclusions which may be deduced from those three assertions above. The first one is that any mental model (any solution to the problem of explaining that valid ontology) can not depend upon those "valid ontological elements" of which we are ignorant. Since a correct solution to the problem must include any collection of "valid ontological elements", the correct solution must include the existence of "valid ontological elements" of which we are ignorant. This means that the set of possible rational mental models must be a collection; each of which depends upon the particular subset of those "valid ontological elements" which underly the model. I will propose a method of handling this fundamental problem. Note that this proposition is not an assertion, it is no more than a mechanical method of handling this quite subtle circumstance. What one might call a "mental tool".
For the sake of analysis, I will call the collection of "valid ontological elements" underlying any specific solution, "the past"[/color]. Likewise, I will call the collection of "valid ontological elements" omitted from that specific solution, "the future"[/color]. I give these sets these names because I happen to know what the logical consequences will be (it should be clear to everyone that such a categorization will allow the correct solution to accommodate differences in the collection of "valid ontological elements" underlying a specific solution). Clearly the next significant definition is the difference between a given collection of "valid ontological elements" and a second collection of "valid ontological elements". I will call this set (the difference set) "the present"[/color].
Since "the present" consists of the difference between two specific collections of "valid ontological elements", "the past" (any collection of "valid ontological elements") can always be seen as a collection of "presents". I always thought it funny that, although the concept "gift" was not intended there, the idea that the past was a collection of presents (seen as gifts) seemed quite an appropriate relationship

. But that's getting into other issues

.
I will let the presentation pause this point because I think I need to know your reaction so that I can be sure the step is clearly understood before I go on. What you should begin to comprehend here is that what I am defining is tool of analysis which is valid even if reality (that valid ontology we are trying to think about) does not include the concept "time". It is no more than a mechanism designed to handle ignorance of the valid ontology. I might comment that this is, in fact, the answer to the issue questioned by this thread, "Is time just an illusion?": that is, there is utterly no need for time to be a valid ontological element (which, in a way, makes time little more than a valuable illusion); but proof of that fact will require some further work.
Think about it -- Dick