As far as my perception informs me, it was unchanged, which is merely to highlight that to say change is always of things is not to say there is always change in the thing. — Mww

There probably is always change in the thing even though we cannot perceive it. Again, though that is a matter of perspective —the 'for us' vs the 'in itself'.

One Copernican Revolution to rule them all. — Mww

It's odd to call Kant's critique a "Copernican Revolution" though because he put humanity right back at the centre of things.

Yes — Michael

If so, then we can move on. In the SEP article the independent proof mentioned above is presented as having two types of assumptions, epistemic and modal.
The epistemic assumptions are:
$K(p \wedge q) \vdash Kp \wedge Kq$
$Kp \vdash p$
Now in the main these are not seen as problematic, with the few exceptions noted at 3.1.

The modal assumptions are
$If \vdash p, \text{then } \vdash \Box p.$
$\Box \neg p \vdash \neg \Diamond p.$


The intuitionist response excludes double negation and quantified exchange. I have some sympathy for this being a suitable approach to an antirealist mathematics, along constructionist lines. Accepting that no truths are unknown in mathematics might be understood as simply not having assigned a truth value to formulae outside of our deductions, perhaps along the lines of Kripke's theory of truth. Hence no truths are unknown and yet not all truths are known. I think this mostly gets around the objections of 3.3 and 3.4 in the SEP article, but do not consider the issues closed.

But this will not work with medium size small goods - with cats in boxes. If the cat is in the next room, with the box, but unobserved, there is a place for saying that it is either in the box or it is not, and not simply that we have yet to assign a truth value to "the cat is in the box".

Here again is my suggestion that the choice between realism and antirealism is dependent on context.

Thoughts?

It's odd to call Kant's critique a "Copernican Revolution" though because he put humanity right back at the centre of things. — Janus

I think the point was relocation of center. One de-centered Earth in favor of the Sun, the other de-centered various forms of ens realissimum in favor of a certain form of thinking subject.

As for the plate and congruent macro-conditions, as long as my food stays where my fork can get to it, I’m good, as I’m relatively sure the plate-in-itself will be just as good…..whatever it may be.

Perspective, yes indeed.

Yes, that works for me.

Doncha just love it when a plan comes together?

Yes, it is most satisfying!

I already explained it. We can say something is true now about what would be in the future. Can we say it would be true in the future absent us? So if truth or falsity is a property of propositions and it is true that the gold will exist in the non-human future do you say it will also be true in that non-human future that there is gold when there are no propositions? — Janus

Do you want to say that, "X will be true tomorrow," is different from, "Tomorrow, X will be true"? I don't see a proper distinction between the two.

In other words I'm suggesting that truth is propositional and existence is not. — Janus

But is there an existence-claim that is not simultaneously a truth-claim? Can we talk about what exists apart from what is true?

Would God be capable of knowing what is true and what is false? — Janus

Sure, God knows the true from the false. A theist could uncontroversially say that even if all humans died, truth would remain.

Do you want to say that, "X will be true tomorrow," is different from, "Tomorrow, X will be true"? I don't see a proper distinction between the two. — Leontiskos

I'm not saying X will be true tomorrow, but that it is true now that X will be tomorrow. If truth is a property of propositions, then it follows that 'no propositions, no truth'. If existence is not a property of propositions, then it does not follow that ' no propositions no existence'. truth

But is there an existence-claim that is not simultaneously a truth-claim? Can we talk about what exists apart from what is true? — Leontiskos

No we cannot make claims about what exists or will exist without (implicitly at least) proposing that what we say is true. But what will exist or not exist does not depend on what we say.

Sure, God knows the true from the false. A theist could uncontroversially say that even if all humans died, truth would remain. — Leontiskos

That seems right, although I would have used 'consistently' instead of 'uncontroversially'. By the same token an atheist who believes that truth or falsity is a property of propositions, but that existence is not, can consistently say that something will exist, even in the absence of humans. but cannot consistently say that truth can be in the absence of propositions.

By the same token an atheist who believes that truth or falsity is a property of propositions, but that existence is not, can consistently say that something will exist, even in the absence of humans. but cannot consistently say that truth can be in the absence of propositions. — Janus

Except "that something will exist" is a propositional truth. So he hasn't managed to speak about existence apart from propositions and truth.

I have to run, but I will address the rest your post in the future.

Except "that something will exist" is a propositional truth. So he hasn't managed to speak about existence apart from propositions and truth. — Leontiskos

I've already addressed this objection:

No we cannot make claims about what exists or will exist without (implicitly at least) proposing that what we say is true. But what will exist or not exist does not depend on what we say. — Janus

@Michael

The paraconsistent revision (SEP 3.5) is interesting, and again I would not dismiss it offhandedly. It's a reminder that knowledge remains more a family resemblance than a strict category. A "paraconsistent constructive relevant modal logic with strong negation" would be a strange beast indeed. Wansing's article is here, but I've only had a quick look. They present an axiomatisation and proof of completeness.

Now these are the reinterpretations of Fitch that are addressed in the article. I had thought you were offering a different reinterpretation, but in classical logic, and hence was puzzled as to how that might work. But it seems you are offering a semantic restriction? You seem to want to do more than to reject those things that it is logically impossible to know...?

And are either TKP or DKP intuitive to you? Neither are to me. If the debate between Williamson and Tennant is ongoing, then this approach is not all that useful at present.

But KK (SEP 5.3) is for me intuitive. So that it is irreconcilable with SKP is telling.

It does seem to me that antirealism can be consistent by committing to an intuitionistic logic. But otherwise, perhaps not.

Are you happy with that, as is Dummett? This calls back to a discussion from years ago, on Devitt: . I still favour Devitt.

So to the first section, in which Devitt characterises realism as the view that physical entities exist independently of the mental. Devitt notes with considerable glee that there is nothing in this definition about truth. He goes on to point out that truth is independent of the evidence at hand. "Truth is one thing, our means of discovering it, another". Hence, according to Devitt, "no doctrine of truth is constitutive of realism". — Banno

Your argument is presumably something like this, "If three humans exist and there are no other minds, and one person dies, then it is still true that there is gold in Boorara. The second dies, and it is still true. By induction we should hold that if the third dies, it will still be true. If the truth was not affected by the death of the first two people, then surely it will not be affected by the death of the third." — Leontiskos

Looks to be another example of your altering an argument to an unrecognisable degree.

No, the argument is not an induction. It is a deduction. There is gold in Boorara. If nothing changes, then there will be gold in Boorara. If life disappears, and nothing else changes, there will still be gold in Boorara.

Its not hard. If something does not change, then it stays the same. If there is gold, and that does not change, then there is gold.

Now you want to do something a bit more, along the lines that if there are no minds, then there can be no propositions, and hence no true proposition. Quite right. But that again does not change the gold at Boorara. Proposition or not, if nothing else changes, it will still be there.