For fun, as you won't ever set out a counter position when making your scoffing noises about mine, let's take this profile statement you make.
Statements are combinations of nouns and verbs and such like; Some statements are either true or false, and we can call these propositions. So, "The present king of France is bald" is a statement, but not a proposition.
Beliefs range over propositions. (arguably, they might be made to range over statements: Fred believes the present king of France is bald.)
Beliefs set out a relation of a particular sort between an agent and a proposition.
This relation is such that if the agent acts in some way then there is a belief and a desire that together are sufficient to explain the agent's action. Banno wants water; he believes he can pour a glass from the tap; so he goes to the tap to pour a glass of water.
The logical problem here, the philosophical interesting side issue, is that beliefs overdetermine our actions. There are other beliefs and desires that could explain my going to the tap.
______________
We know some statement when at the least we believe it, it fits in with our other beliefs, and when it is true.
The "fits in with other beliefs" is a first approximation for a justification. Something stronger is needed, but material implication will not do.
Discard Gettier. The definition is not hard-and-fast.
It does not make sense to ask if we know X to be true; that's exactly the same as asking if we know X. The "we only know it if it is true" bit is only there because we can't know things that are false.
If you cannot provide a justification, that is, if you cannot provide other beliefs with which a given statement coheres, then you cannot be said to know it.
A belief that is not subject to doubt is a certainty.
Now let's analyse and see how different it really is from what I would say.
Statements are combinations of nouns and verbs and such like; Some statements are either true or false, and we can call these propositions. So, "The present king of France is bald" is a statement, but not a proposition.
As I understand the distinction you want to make, it seems to be that only a statement that is both crisply definite and an actual possibility is a truth-apt proposition. The semantics have to have a real world basis. There must be here an actual present king of France, and baldness must be an actual state a head could have.
I guess my question is then whether you are making this distinction simply in the spirit of "good practice", or whether you think it is a black and white distinction with no pragmatic wiggle room.
For instance, I would claim that there is always irreducible ambiguity or vagueness in any such proposition. How do we define "bald". That in itself is a standard Sorites paradox example.
And how do you handle fictional or modal possibilities. There are books or logical worlds where there are French kings that are variously bald or hirsute in ways that give propositional meaning to the statement.
So I can go along with this distinction as a target if what you are stressing is that a well-formed logical assertion is about some actually possible state of the world - because "truth" only really applies to the relation that we pragmatically have with a world. It becomes silly to even talk about truth or falsity except in a context where there is a world to determine that truth or falsity to the propositioner floating the proposition.
Beliefs range over propositions. (arguably, they might be made to range over statements: Fred believes the present king of France is bald.)
Beliefs set out a relation of a particular sort between an agent and a proposition.
This relation is such that if the agent acts in some way then there is a belief and a desire that together are sufficient to explain the agent's action. Banno wants water; he believes he can pour a glass from the tap; so he goes to the tap to pour a glass of water.
OK. The idea of beliefs now brings that pragmatic relation between a self and its world into focus. It highlights that there is the larger thing of a relation. There has to be a causal coupling such that beliefs drive actions, and then those actions feed back to impact the beliefs.
This stresses the embedded and ecological nature of the reasoning relation we have with the world against other possible approaches to truth. Understood this way, it just is pragmatism. Where it might fall short is that it doesn't seem to continue on to the semiotic consequences of a modelling relations view of the mind and what it can know of the world.
The semiotic view of course adds that the "mind" in fact only deals in signs of the world. The psychological goal is construct a self separate from the world. And so the world - as some set of physical energies - must be filtered in a way that transforms it into an Umwelt. It must be experienced in terms of a set of signs that are readable at the level of automatic habit. We don't have to think about an apple being red - even though redness is already a qualitative interpretation by the brain. We just "see" the apple as red. That is the Umwelt we experience - our map by which we navigate the territory.
Of course, this triadic semiotic view of our relation to the world is more complex. The usual way to frame things is dyadic and representational. There is just us (with our experiences) and the world that our sense-data are representing. However - for a theory of truth that aims to be realistic in terms of the actual psychological structure of human conception - we do need to follow through from simply asserting a practical embeddedness in the world to an understanding of the relation that is fully (bio)semiotic.
But in general, I take this to state that - contra to idealist theories which might want to found themselves on impractical doubts about the world even being there - you are asserting that theories of truth start with the world already being in play. So hard dualism is out. Some kind of physicalism is the case. A psychological machinery of some kind is assumed to be involved in the whole affair.
I of course agree with that basic pragmatic stance. In the end, it is silly to doubt there is the world out there - in some sense. And so epistemology's job is to understand the more fundamental thing of the "modelling relation" that connects "minds" and "worlds".
However, the semiotic view says it would then be dangerously like naive realism to take the "agent" for granted in some fashion as a "real thing" - a fundamental and unanalysable bit of ontological furniture. The semiotic view is that the self emerges from the modelling as well - as the necessary distinction that is producing the counter-concept of "the world".
So Banno might want his drink of water. And his actions might achieve that as the drink is really there to be had. But a truly rigorous semiotic analysis would have a lot of questions about this reified "Banno". As well as about the "world" that this Banno reifies as some set of interpretable signage.
The logical problem here, the philosophical interesting side issue, is that beliefs overdetermine our actions. There are other beliefs and desires that could explain my going to the tap.
Hmm. Do you mean we put a narrative spin on the actions we find ourselves involved with? We can concoct any number of "reasonable" stories for why A led to B?
I think this again is just getting into the real world mechanics of cognition. The self that concocts such explanations is just that part of "us" that has the learnt and cultural skill of inductively framing hypotheses that are concrete in ways that make them testable. And then the actual holistic nature of forming intentions and making decisions defies complete capture by simple reductionist causal statements.
We want to say that A led to B as that is the "proper form" for analytic thinking. But the brain operates in a fashion that is more like Bayseian induction - holistically constraints-based processing. It doesn't have to do the one right thing. It just has to eliminate as many of the things that might go wrong as possible. So I can want to hit the tennis ball cleanly out of the centre of the racket to hit a spot two inches from the line. But all I can really do is limit the amount of miss-hit to an acceptable degree so that the ball winds up near enough to an aiming point to do the damage.
The shot is overdetermined in the sense that there is some general envelope of miss-hits that still do the job. And it is not a logical problem as a constraints-based logic says all you can aspire to do is limit the uncertainty of our actions in the world. Pragmatically, we show we already believe that to be the case by building in an error margin by aiming just inside the line rather than right at it.
And the same ought to be the case with any theory of propositional truths. A statement can't point straight at the facts. It can only constrain matters so that we minimise our uncertainty that "the truth" lies within the bounds we have picked out by our assertion. And it is not a problem as we can always tighten up the constraints if the accuracy seems an issue. We can measure things more closely and report on the results of that.
We know some statement when at the least we believe it, it fits in with our other beliefs, and when it is true.
The "fits in with other beliefs" is a first approximation for a justification. Something stronger is needed, but material implication will not do.
Right. So now we want a version of JTB. And the justification bit ought to involve generalised conceptual coherence, not just a representational correspondence based on particulars matched to particulars.
That is certainly my view, if so. That is holism at work. That is how a self or agent would emerge to be the stable centre of things. As Peirce said, you can doubt anything, but not everything at once. There is that backdrop ground of belief - those "propositional hinges" we've been talking about - which is necessary to the whole business.
But again, justified beliefs seem enough for a theory of truth. Truth - as some absolute transcendent reality - drops out of the picture because there is only, in the end, the relativity of a modelling relation. Absolute truth is replaced by minimal reason to be uncertain.
And semiotics would make an even stronger statement. Our experience of the world couldn't even be noumenal as that runs counter to the very logic of a modelling relation. A map mustn't be the territory - as how the hell are we going to fold up a landscape of mountains and rivers so that it fits neatly into our back pocket? We want to reduce our knowledge of the actual world to a system of easily navigated signs. And this crucially changes the very notion of what "truth" aspires to be about.
It does not make sense to ask if we know X to be true; that's exactly the same as asking if we know X. The "we only know it if it is true" bit is only there because we can't know things that are false.
This is where you are guilty of sleight of tongue I would say. You use "to know" in a naive realist sense that presumes the world to be some "state of affairs". The facts are just the facts. But they can never be that as to be meaningful, they must become interpreted signs. They are only facts in the sense of being already part of an ongoing habit of interpretance.
So yes, when we assert we know, we mean that our belief is really justified. The true bit does drop out as what we are speaking about is our confident certainty.
And your own earlier stab at coherence or holism seems to argue against you here. That says we can't "know things that are false" - but on the grounds of conceivability. Your over-determinism accepts we could have understood the world in many lights - depending on our intentions, even if those intentions were constrained by the "facts of the world" to which they then were exposed by acts of inquiry.
You can't have it both ways. If all we ever know is the result of pragmatic inquiry, then falsehood and truth both drop out due to generalised coherence - until there is some reason that we find our backgrounding state of belief to be inadequate for some reason and set about inquiring further.
There is no point talking about the truth of the thing-in-itself as truth, as a property, is a property of the modelling relation and not of the "world" - the world being just that aspect of the relation which we know in a background interpretive way, just as we also know about the "we" that is meant to be the agent, the self, that is the stable centre of all this knowledge business.
Externalism doesn't fly. Epistemology has to find its rigour in developing an internalist discourse that does the best possible job.
A belief that is not subject to doubt is a certainty.
Or near enough.
Well, summing up, I see a lot of pragmatism in your counter to idealism. Truth-telling doesn't even make sense without some world out there anchoring things.
Yet then this fails to continue on. Recognising that there is a modelling relation brings up the reality of the self that anchors the other side of the equation. And also, if there is a real world out there, it is not even in our interests to see it nakedly for what it is. We need to be able to look and see a world that has us in it. We need a world that is already transformed into a system of signs, an umwelt. Our perceiving of the world has to include the division that produces us as the "self" doing the perceiving. And that degree of meaning has to be built into the "simple facts" - like that the apple is "red".
So in my approach, a theory of truth has to fit with the facts of psychology. And if the psychological story is pretty complex, new and unfamilar, that's just how it is. It is still the foundation.
But your approach does still seem mired in a naive realism. It starts to make the pragmatic case against idealism. But then reverts to a naive realism framing just as soon as it has put a little distance from the foe. The world is some set of actual and definite facts. The mind just reflects that facticity in direct fashion - re-presenting the external in some internal theatre of private experience.
And then some kind of behaviourist epistemology becomes the "rigorous" way to deal with private experiences at a communal or philosophy of language level. We can speak objectively about how people act. We can assert propositions and use behaviour as evidence that there is generalised coherent agreement among a community about the way the world truly is. Or at least the degree to which a belief is not being doubted.
So yeah, I'm still feeling your account falls way short because it targets a level of objectivity that is not just functionally impossible, but not even in fact functional. It is an account that by-passes the central psychological realisation that we don't even want to see the world as it really is, but the world that has us in it, and so the world that is already transformed into a "private"* set of meanings.
* The meanings aren't literally private of course as they are going to be biologically shared across a species with a common neuro-evolutionary heritage, as well as being shared across humans by a culture of linguistically structured conception. So we don't wind up back in solipsistic territory. As said, the "self" is also recognised as part of the "truth-producing" business here.