Consider this picture of the skeptical dilemma: Descartes sits in his armchair, wondering what the world is like, and worried whether it is as it seems to be. He realizes that there are many ways the world could be — many possible ways for the world to be — that he lacks the resources to choose between. Since all the possibilities he’s considering include his having experiences like the ones he...

In this paper we develop a bimodal perspective on possibility semantics, a framework allowing partiality of states that provides an alternative modeling for classical propositional and modal logics [Humberstone, 1981, Holliday, 2015a]. In particular, we define a full and faithful translation of the basic modal logic K over possibility models into a bimodal logic of partial functions over partia...

This investigation examines the economics of producing electricity from proton-exchange membrane (PEM) fuel cell systems under various conditions, including the possibility of using fuel cell vehicles (FCVs) to produce power when they are parked at office buildings and residences. The analysis shows that the economics of both stationary fuel cell and FCV-based power vary significantly with vari...

David Chalmers’ conceivability argument against physicalism relies on the entailment from a priori conceivability to metaphysical possibility. The a posteriori physicalist rejects this premise, but is consequently committed to psychophysical strong necessities. These don’t fit into the Kripkean model of the necessary a posteriori, and they are therefore, according to Chalmers, problematic. But ...

In this paper, we consider several types of in­ formation and methods of combination asso­ ciated with incomplete probabilistic systems. \Ve discriminate between 'a priori' and evi­ dential information. The former one is a de­ scription of the whole population, the latest is a restriction based on observations for a particular case. Then, we proposse different combination methods for each one o...

I demonstrate that a consistent interpretation of Reichenbach’s (1947) primitives and their configurations enables the construction of an intuitive and elegant semantic space for all logically possible tense meanings, independent of their mode of expression. I argue that the property which defines the perfect in absolute tense systems is the dissociation of the temporal location of the situatio...

In Conceptual Spaces (Gärdenfors 2000), dimensions and their relations provide a topological representation of a concept’s constituents and their mode of combination. Consequently, as concepts are ndimensional geometrical structures, conceptual change denotes the dynamic development of these structures. Following this basic assumption, we apply conceptual spaces to the dynamics of empirical the...

and the management of linguistically expressed uncertainty. Int.

It is suggested by Yagerr5] that default knowledge can be represented in the framework of possibility theory. In this note, we show a potential application of the proposal. That is, the priorities of defaults can be encoded into the formalism naturally and the results produced by such encoded default theories reeect the strength of the conclusions.

Possibilistic networks are important tools for modelling and reasoning, especially in the presence of imprecise and/or uncertain information. These graphical models have been successfully used in several real applications. Since their construction by experts is complex and time consuming, several researchers have tried to learn them from data. In this paper, we try to present and discuss releva...