Yep. Of corse we can. "Nixon was not elected president" attributes a predicate to Nixon - in sme other possible world. Now you have moved on to exclud...
Didn't you just refer to Frosty? We can refer to Superman or Sherlock Holmes. Set the domain to Middle Earth, and we can make inferences such as "Frod...
Ok. Good reasoning. Perhaps look again at the capabilities of the individual - how are they to be maximised? Seems to be by participating as much as p...
If you like. The definition is pretty straight forward. We us "=" for identity, and Yep. a=a if and only if, for every formula in which we user a, we ...
How does this prevent reference? The reasoning is unclear here. We can consider what the world might have been like if Nixon were unelected, and that ...
It would be. A most adorable critter, with a facial expression that would often match my own. A native of the extreme south of South Africa. Lives und...
A counterpoint to consider. I met a gentleman who was deaf from birth, now in his middle years. His parent refused to provide any remediation, includi...
This is excellent: In syntax, modal operators (?, ?) block substitution and fail to behave like extensional connectives. But semantically, if we treat...
It's worth looking at the difference between the definitions of truth (satisfaction) for atomic sentences, negation, material conditional and universa...
Yep. What if they instead claim morality is just an opinion and proceed to rely on their own opinion? When we evaluate whether an opinion is “valid,” ...
Banno doesn't agree. What twaddle. The specific sense of "adult male of the human race" (distinguished from a woman or boy) is by late Old English (c....
Well, no. Rather, And sure, But to carry Philosophim's point what is needed is that one ought not talk about apple devices being sweet. What is salien...
Yep. Rigid designation isn't mentioned in the article, but it 'drops out' of the explanation of domains. Very roughly there is a domain for each world...
The claim that individuals in possible worlds might lose identity is false in standard semantics. The formal system already handles non-existence clea...
Surprisingly good. Most of what you have said about first order logic is correct. A few things. While it's true that historically, set theory proceeds...
Yes - the ? quantifies over multiple worlds, including those in which John has other pets and the interpretation of "All john's pets" includes non-mam...
Yep. Modal logic uses the extensional definition of truth as satisfaction within a world. Strictly, it is the interpretation that varies form world to...
No, Meta. Let's go through it step by step. 1. What “extensional” means here A logic is extensional when: To know whether a sentence is true, you only...
Yep. w?, the actual world, is the one in which Nixon satisfies "Won the election". In some other world, w?, he does not satisfy "won the election". An...
You haven't followed the argument, missing the main point about privileging a sense. I addressed the reasons he gave, you fumbled around. I don't see ...
Yep. I can do that. The same term is used for two different things. That's not equivocation. It's your error to conflate metaphysics with modality. Th...
Thanks for getting us back on track. The digression with Meta has gone on too long. But it did spawn another thread, thanks to @"Frank", which I'm enj...
I think we can guarantee that "there a possibility that there is an aspect of reality beyond our known reality". It seems to me that wha this says is ...
Links to my posts rather than your own would be preferred, when you are trying to demonstrate a problem with something I said. The bit where I pointed...
At the risk of being overly formal, have a think about the difference between what is true and what is known to be true. To explain the idea, lets' su...
The trouble with Tarski's system is that there is but one domain, and one interpretation. Kripke's move was to notice that if we consider multiple dom...
That's pretty much in agreement with my view, I think. Where you talk of welcoming, I used acceptance. So we both differentiate mere toleration, in wh...
Has he? He claimed that one interpretation was more rational. His reasoning was questionable, and questioned. He claimed Woman/man unmodified is most ...
Comments