Not me, Kripke. Again, that it is the same individual in some way is inherent in the definition of possibility and necessity: fa is necessarily true i...
Yeah, but technically very clever. It explains the modal operators, rather than taking them as fundamental. They are just a broader quantification acr...
The second is closer to my way of thinking, for the reasons I gave - "Banno might not have answered your post" is a sentence about me, not a sentence ...
A rigid designator refers to the very same individual in every world in which it exists. This, pretty much regardless of the properties of that indivi...
The Rite of AshkEnte requires large circles, specific chants, and other elaborate, smelly components. Mudcat might not be death, but I'm sure they wou...
Filling out that last point, Kripke and Lewis give different ontological readings of the same formal machinery. Their logic is the same, but the metap...
I wonder if you follow this thread from the start. The word "truly" should fill a philosopher with dread. The whole of the logic set out here is exact...
I don't see that haecceity is needed at all to explain transworld identity. Indeed, i have trouble seeing that there is an issue here. We ask "What if...
~~ "The problem of transworld identity" is a result of your misunderstanding. Try to follow this. Kripke and I would say that "What if Nixon didn't wi...
That bit has me intrigued. A world is a unit such that none of its parts are not "spatiotemporally related to anything that is not also one of its par...
Well, for England, over a long and sometimes bloody history, from Magna Carta (1215) through the Civil War (1642–51) and the Glorious Revolution (1688...
And presumably then you will requirer definitions for the terms used to define "Local" and "true"; and then for those terms, in turn. Do you not see t...
So three basic approaches. Concretism, or modal realism, looks at the logic and wants to say that all possible worlds are metaphysically on the same f...
So, what's Haecceity? It's what a thing has that makes it what it is. So, what is it that a thing has that makes it what it is? Well, Haecceity, obvio...
Off topic, but in S5 "it is possible that there exists a necessarily existing God. Therefore God exists" leads to modal collapse. And if one wants to ...
I've met that dog, too. My salutations. To make my view explicit, I think the parents are correct in seeking to maximise the opportunities of their ch...
:up: The apparent problem for and determinism can to a large extent be handled by accessibility. There are possible worlds that are logically accessib...
, I think 's account is correct - the term "neurodivergent" is broader. I've some sympathy for such a view, although I would phrase it quite different...
Kripke uses rigid designation in transworld identity. Lewis uses counterparts and does not need rigid designation. For my part, and as I've presented ...
Stumpies on bikes: https://cdn.shopify.com/s/files/1/0824/6797/files/amputee-bicycling--how-to-get-started-a_grande.jpg?v=1591233004 "How to get start...
Yes, if one is happy with "an unanalysable non-qualitative property that is necessary and sufficient for its being the individual that it is". On thes...
, . So on to the distinction between transworld identity and counterpart theory. These are alternate ways of treating individuals in the logic so far ...
Of course. But beneficentia is not quite the same as the Christian virtue, perhaps. "Caritas"remained rooted in reciprocity, desert, and social order....
Seems about right - that charity is the main, and perhaps the only, significant contribution of Christianity to Ethics. The other stuff is derivative....
The De Re / De Dicto Distinction. Pretty straightforward. It's a distinction that caused much confusion historically. It dissipates in modal logic, wi...
You think you have. You are mistaken. In standard set theory (ZF, ZFC), the Axiom of Extensionality is that Here, “=” is identity. There is no weaker ...
Yes, but there's a bit more. It's also intensional as it sets out the conditions under which something is a swan, not a list of the swans. I guess pro...
Yep. they are generally clearer because they do not involve necessary or possible properties, but propositions. If the predicate is an empty set in so...
This is the confusion that underpins Meta previously not accepting that 0.9? = 1, and rejecting instantaneous velocity; indeed, in his not understandi...
I'll move my response here, since it fits in better with the discussion of disability than of "normal". That's a good first approximation. And disabil...
Yep. Truth tables for propositions and logical operators. Tarski also added satisfaction - f(a) is true IFF a satisfies f... There's nothing arbitrary...
I taught ChatGPT to do analysis in the style of J L Austin. I'd forgotten until you mentioned it. It gave me the following: ______________________ 1. ...
Comments