The paper argues that pain is not a good counter-example to the privation theory of evil. Objectors to the privation thesis see pain as too real to be accounted for in privative terms. However, the properties for which pain is intuitively thought of as real, i.e. its localised nature, intensity, and quality are features of the senso-somatic aspect of pain. This is a problem for the objectors because, as findings of modern science clearly demonstrate, the senso-somatic aspect of pain is (...) neurologically and clinically separate from the emotional-psychological aspect of suffering. The intuition that what seems so real in pain is also the source of pain’s negative value thus falls apart. As far as the affective aspect of pain, i.e. ”painfulness’ is concerned, it cannot refute the privation thesis either. For even if this is indeed the source of pain’s badness, the affective aspect is best accounted for in privative terms of loss and negation. The same holds for the effect of pain on the aching person. (shrink)

Ibn Djuljul from Andalusia who wrote in the Western Islamic World and Nadīm from Baghdād who wrote in the Eastern Islamic World, give information about lots of physicians and translators in their books that contributed significantly to history of science. Both authors write their books at same time or very close time. Sometimes they offer similar information, but sometimes they provide different information. -/- One of the physicians whom Ibn Djuljul mentioned in his book, Māsarjawayh lived at the times of (...) Umayyads. Nadīm gives information about Māsarjīs who lived at the times of Abbāsids. However, in the course of centuries, some authors combined the knowledge about these two people by giving reference to Ibn Djuljul’s and Nadīm’s work and represented as the same person. Accordingly, most of the modern scholars mentioned the two authors as a substitute. -/- This paper wants to keep track of this confusion and wants to clarify whether Māsarjawayh who was mentioned by Ibn Djuljul and Māsarjīs who was told by Nadīm are the same person or not. (shrink)

Revised and reprinted in Handbook of Philosophical Logic, volume 10, Dov Gabbay and Frans Guenthner (eds.), Dordrecht: Kluwer, (2003). -- Two sorts of property theory are distinguished, those dealing with intensional contexts property abstracts (infinitive and gerundive phrases) and proposition abstracts (‘that’-clauses) and those dealing with predication (or instantiation) relations. The first is deemed to be epistemologically more primary, for “the argument from intensional logic” is perhaps the best argument for the existence of properties. This argument is presented in the (...) course of discussing generality, quantifying-in, learnability, referential semantics, nominalism, conceptualism, realism, type-freedom, the first-order/higher-order controversy, names, indexicals, descriptions, Mates’ puzzle, and the paradox of analysis. Two first-order intensional logics are then formulated. Finally, fixed-point type-free theories of predication are discussed, especially their relation to the question whether properties may be identified with propositional functions. (shrink)

Revised and reprinted; originally in Dov Gabbay & Franz Guenthner (eds.), Handbook of Philosophical Logic, Volume IV. Kluwer 133-251. -- Two sorts of property theory are distinguished, those dealing with intensional contexts property abstracts (infinitive and gerundive phrases) and proposition abstracts (‘that’-clauses) and those dealing with predication (or instantiation) relations. The first is deemed to be epistemologically more primary, for “the argument from intensional logic” is perhaps the best argument for the existence of properties. This argument is presented in the (...) course of discussing generality, quantifying-in, learnability, referential semantics, nominalism, conceptualism, realism, type-freedom, the first-order/higher-order controversy, names, indexicals, descriptions, Mates’ puzzle, and the paradox of analysis. Two first-order intensional logics are then formulated. Finally, fixed-point type-free theories of predication are discussed, especially their relation to the question whether properties may be identified with propositional functions. (shrink)