We develop and defend a new approach to counterlogicals. Non-vacuous counterlogicals, we argue, fall within a broader class of counterfactuals known as counterconventionals. Existing semantics for counterconventionals, 459–482 ) and, 1–27 ) allow counterfactuals to shift the interpretation of predicates and relations. We extend these theories to counterlogicals by allowing counterfactuals to shift the interpretation of logical vocabulary. This yields an elegant semantics for counterlogicals that avoids problems with the usual impossible worlds semantics. We conclude by showing how this approach (...) can be extended to counterpossibles more generally. (shrink)

The notion of ontology originates in philosophy. It has been recently employed in computer science and information technology for representing knowledge. In the first part of the paper, I argue that there is a significant overlap in these notions of ontology. Utilizing this overlap, I show in the second part that ontologies can be used for developing a new powerful heuristic method for resolving verbal disputes in philosophy. Verbal disputes can be defined in terms of ontologies: A dispute over two (...) texts P and S is verbal if and only if both of them can be mapped into the same ontology. In the appendix, I analyze the dispute over logical pluralism and indicate how my method of resolving verbal disputes can be employed. (shrink)