In S4 or S5, or a derivative therefrom, can an individual exist in every possible world without contradiction? — Banno
Wikipedia and it's application in articles. — Gregory
this is not using the word as it is used in traditional philosophy — Gregory
I was explaining how necessity and contingency are used in traditional philosophy and model logic in totally different ways — Gregory
You don't like philosophy any — Gregory
Modal logic is not a philosophically traditional way of thinking. — Gregory
What do you know of Hegel's logic — Gregory
I searched "what had model logic proved" and there was nothing — Gregory
Well, I was looking for a second opinion. And further I don't see where my actual question was addressed. — Banno
In predict calculus we might cheat and represent that an individual exists as ∃(x)(a=x); is there some way to pars this into modal logic, such that the individual (a) is in every possible world? — Banno
Get involved in philosophical discussions about knowledge, truth, language, consciousness, science, politics, religion, logic and mathematics, art, history, and lots more. No ads, no clutter, and very little agreement — just fascinating conversations.