Banno

There is no such equivocation. The problem is your inability to differentiate between a model-theoretic object and a metaphysical one.

Indeed. An example of Modal realism, David Lewis' ideas were quite sophisticated, and far from Meta's misunderstandings. In brief, Lewis held that sin...

Good. Following your analogy, one of the books in your encyclopaedia is about the actual world. You might take it out and read it. In another possible...

Yep. The consequent is a tautology, hence always true, so the implication as a whole is always true. Might be more of a surprise that ?p?(p?¬p) is als...

the individuals are the domain. So it’s whatever you would include. In our case, Domain: D = { John, Algol, BASIC } But potentially anything.

Yep. The U and the ? quantify within a world, the ? and the ? across worlds. That's the next step.

Playing with MathJax... The equivalences between my last post and the section on Tarski's semantics. Your Example | Tarski Semantics Symbol ----------...

I'm not overly happy with that. I might try a different approach. We have a language - roughly, first order calculus.We give it the following interpre...

Repeating the same errors over and over dosn't much help your case. That's a start. Good.

Tarskian Semantics The next section looks pretty fearsome. Its formality belies a fairly simple and direct way to deal with truth, which was developed...

In modal logic, “the actual world” is a designated element of a model, usually called w?. It is not the metaphysical world, not the planet, not the te...

Not really. The usage comes from "The world is all that is the case", the first lines of the Tractatus Logico-Philosophicus. It's still a pretty good ...

It’s the same. That’s the definition of extensionality used in logic and maths.

So better not to mention Deadly.

The "counterpoint"? You mean your attempted restrictive use of "privilege"? It's an obvious dead cat: Get back on the topic.

What remains is that the response I've given undermines the OP, so that you now feel the need to change the topic to some feeble argument about the es...

You privilege one meaning over others. If you are not doing that, then you cannot maintain that "trans women are women" is false. Pretty simple stuff.

Your "resolved difference" is based on an equivocation. There is no logical contradiction in saying that the actual world is a possible world inside t...

:rofl: Heaven forbid we talk about the definition of "extension" in modal logic.

:rofl:

See the Open Logic text, Appendix A1. Make up your own definition is counterproductive here.

:grin: :up: It doesn't matter if it happened or not. Stories that good become myths.

Are you intent on playing Dictionaries for the remainder of this discussion? ...as, for example, you give the advantage to 'sex of the person' over 'g...

Exactly here: You try to privilege one interpretation over all others.

Here, it's only Sky News, and maybe some of it's audience, who are angry. Otherwise the somewhat archaic notion of "a fair go" prevails, and folk just...

You can't maintain that while simultaneously maintaining that the One True Meaning is the biological one. All that stuff about phrases and words is a ...

Step by step, Meta. Step by step. The aim here is to see what standard modal theory says before critiquing it.

Not really. Although this topic is not of any particular interest to me, beyond the misuse of philosphy of language I've been pointing out. A word is ...

Again, Meta, what I have been espousing here is not "mine" in the way that what you have been saying belongs so specifically to you. The account I hav...

you did say: And that's specifically what I addressed. Again, And I pointed out that it is polysemous rather than ambiguous. You conflate the two.

What do you think? Not at all. We went through this. There is no "context of 'woman/man' unmodified", no "true" meaning for such terms, beyond your pr...

But "woman" is a polysemous term; one established meaning is biological, and another established meaning is gender-social. Contrary to the OP, in the ...

cheers. Very pleasing.

Good questions. There is a use of "intension" that is the same as "meaning" or "sense" or "the concept of...". And there is a use of extension that am...

Sure. Acknowledged. The social model of disability started in the seventies, as a change in perspective that involved listening to the voices of the d...

That exactly what the social model suggests: that disability is "a practice put in place" as much as it is a feature of a body. Is disability a proper...

Simplifying a bit, we have that all John's pets are dogs. His pets are the same as his dogs. We can substitute in some sentences; so that since all jo...

:wink:

One strategy in that culture war has been the denigration of the term "liberal". It's odd, since if we scratch most folk, outside of religious traditi...

A quick note that model and modal are not the same, but that we are using both. Modal is to do with necessity and possibility. A model is an assignmen...

Simply, substitution fails. Here's an example fo the sort of thing that threw Quine: Necessarily, eight is greater than seven The number of planets =e...

Roughly, yes. But it's freer than that. It's fine in a formal system to say things like "a" stands for a, perhaps in explaining what the " does in sep...

Somewhere in between we have Popper's ad hoc social engineering, piecemeal improvement. Small, testable reforms, improving society step by step while ...

:wink: So we have the supposed paradox of tolerance; that the left, in advocating "tolerance", is hypocritical in not tolerating the right - in not to...

I think Kant was muddle din his talk of such things, his confidence misplaced. But that's a side issue here. ...is much better.

Always with the Kant. Oh, well. Being consistent is all very well, but it doesn't tell us what to do in every case. The central problem with rules is ...

Don't lose sleep over it. Yep. It's not only the result of obeying a series of rules, although rules may have their place; it's not algorithmic. It's ...

Hu? I could go in to a analysis of the terms involved, but I don't think that will help. You are pleased to play with words, and I won't stand in your...

All you have done here is restate your thesis. Tedious in the extreme. That a model of gravity talks about the Earth does not entail that the Earth is...

But I don't think I do disagree... It's just the way you said it. If night is the period before sunrise, then yes, you can. Look to the East. I'd allo...