Recently, Yalcin (2007) put forward a novel account of epistemic modals. It is based on the observation that sentences of the form ‘φ& Might¬φ’ do not embed under ‘suppose’ and ‘if’. Yalcin concludes that such sentences must be contradictory and develops a notion of informational consequence which validates this idea. I will show that informational consequence is inadequate as an account of the...

The pretheoretical notions of logical consequence and of a logical expression are linked in vague and complex ways to modal and pragmatic intuitions. I offer an introduction to the difficulties that these intuitions create when one attempts to give precise characterizations of those notions. Special attention is given to Tarski’s theories of logical consequence and logical constancy. I note tha...

It is shown that if every real has a sharp and every subset of ω1 is constructible from a real, then there is an inner model with a Woodin cardinal. The following theorem was produced at the AIM meeting “Descriptive Inner Model Theory,” June 02–06, 2014, in a working group whose participants were the authors listed above. The authors would like to thank AIM for their generous hospitality. Theor...

In this paper, we define some consequence relations based on supervaluation semantics for partial models, and we investigate their properties. For our main consequence relation, we show that natural versions of the following fail: upwards and downwards Lowenheim–Skolem, axiomatizability, and compactness. We also consider an alternate version for supervaluation semantics, and show both axiomatiz...

A consequence analysis was performed in one of the gas refineries in Iran to investigate the risks andpotential losses resulted from accidents. Specifically, the consequences of an explosion in LPGspherical tanks were modeled using PHAST and MATLAB software. In this paper, three methods ofcalculation of PHAST software TNT, multi-energy, and BST were used. The results showed th...