Ugh, you are using the language of programming in an area where it doesn’t fit. Can you explain what are these funny backslashes, % signs etc.? Why did you name a variable fmtstr instead of simply X?
Anyway—statements obviously exist, so if your theory doesn’t allow for them, it’s the problem with your theory and we can just ignore it. In my theory, every sentence that corresponds to a proposition (not all do of course), if that sentence is utterred by John, that proposition is true—that’s what I mean by John being truthful. There is no additional axiom here, this is just premise 2, rephrased.
Just to give you some (very late) clarification: The theory I describe above (a first order theory) can handle statements perfectly well, it just represents them as strings, rather than giving them their own separate type. The problem isn’t inherently with giving them their own separate type though, it’s with expecting to be able to just stick a member of that type in our expression where we’re supposed to expect a truth value.
You can skip past my proof and its messy programming notation, and just look here.
Ugh, you are using the language of programming in an area where it doesn’t fit. Can you explain what are these funny backslashes, % signs etc.? Why did you name a variable fmtstr instead of simply X?
Anyway—statements obviously exist, so if your theory doesn’t allow for them, it’s the problem with your theory and we can just ignore it. In my theory, every sentence that corresponds to a proposition (not all do of course), if that sentence is utterred by John, that proposition is true—that’s what I mean by John being truthful. There is no additional axiom here, this is just premise 2, rephrased.
Just to give you some (very late) clarification: The theory I describe above (a first order theory) can handle statements perfectly well, it just represents them as strings, rather than giving them their own separate type. The problem isn’t inherently with giving them their own separate type though, it’s with expecting to be able to just stick a member of that type in our expression where we’re supposed to expect a truth value.
You can skip past my proof and its messy programming notation, and just look here.