Alexandru Dragomir – „At world u, Quine is a distinguished philosopher”

Let M = (W;R;π) be a Kripke model. Suppose φ denotes the sentence: Quine is a distinguished philosopher, and φ is true at u from W. A question of Adrian Miroiu is: how can we decide at world w from W the truth of At world u, Quine is a distinguished philosopher? A. Miroiu creates a modal logic to represent and reason with world indexed sentences. I will argue that using the Public Announcement Logic language we can express the sentence At u, Quine is a distinguished philosopher and
using its logical apparatus we can decide its truth value.

Alexandru Dragomir – At world u Quine is a distinguished philosopher

Reclame

Comentarii închise la Alexandru Dragomir – „At world u, Quine is a distinguished philosopher”

Din categoria logica

Comentariile nu sunt permise.