David Lewis argues that centered worlds give us a way to capture de se, or self-locating, contents in philosophy of language and philosophy of mind. In recent years, centered worlds have also gained other uses in areas ranging widely from metaphysics to ethics. In this paper, I raise a problem for centered worlds and discuss the costs and benefits of different solutions. My investigation into the nature of centered worlds brings out potentially problematic implicit commitments of the theories that employ (...) them. In addition, my investigation shows that the conception of centered worlds widely attributed to David Lewis is not only problematic, but in fact not his. (shrink)

This dissertation is intended to provide a formalism for those generics that trigger nonmonotonic inferences. The formalism is to reflect intentionality and exception-tolerating features of generics, and has an emphasis on the axiomatization of generic reasoning that encodes nonmonotonicity. ;A modal conditional approach is taken to formalize the nonmonotonic reasoning in general at the level of object language. A serial of logic systems---MN, NID, NCUM, N STCUM---are constructed in an increasing strength of the characterized nonmonotonic inference relation. In these systems, (...) two binary modal operators ⩾ and > are introduced in their syntax, and a ⊛ function lifted from the traditional * function is deployed in their semantics. These systems are shown to be sound and complete with respect to certain classes of frames defined in the semantics. They are decidable as well. The nonmonotonic inference is argued to be a ternary relation "[phi], Gamma |∼ alpha", and is defined in the system NSTCUM. Many widely discussed nonmonotonic inference patterns such as Defeasible Modus Ponens, Defeasible Transitivity, the Penguin Principle etc. are justified. The specificity rule is proved to be a theorem of the system N STCUM. The impact of negated defaults on an inference is also investigated and accounted for. ;A canonical form to read off generics is proposed: All generic sentences with subject-predicate structure can be re-written into their canonical form S . If S is a plural noun phrase, it can be further refined to be . Normal objects are selected based on the "meaning" of the subject and predicate terms. The second parameter provides an aspect with respect to which certain objects of a kind are considered normal. Due to such a way to select normal objects, the drowning problem is solved. ;The inference behaviors of generics are axiomatized in the system G, which is a quantificational extension of the system NSTCUM. It is proved to be sound and complete with respect to the class of L⩾,G -frames. Those benchmark examples of generic inferences are examined in the system G. (shrink)

Seven speeches on sufism. ʻAbd Allāh ibn Muḥammad ʻAyn al-Quḍāh al-Hamadhānī, -1131.

Philosophy, Iranian. ; Mysticism -- Iran. ; Islamic philosophy--Iran. ; Philosophers -- Iran.

In this paper, I revisit W. V. Quine’s thesis of indeterminacy of translation. I think Quine’s arguments for the thesis are marred by his controversial assumptions about language that amount to a kind of linguistic behaviorism. I hope to cast a new light on the thesis by presenting a strong argument for the thesis that does not rest on those assumptions. The argument that I present in the paper results from adapting Benson Mates’s objection to Rudolph Carnap’s analysis ofsynonymy as (...) intensional isomorphism. (shrink)

v. 1. Sijang ŭi t'ansaeng -- v. 2. Chayujuŭi sinhwa.