This is a reply to Timothy Williamson’s paper ‘Tennant’s Troubles’. It defends against Williamson’s objections the anti-realist’s knowability principle based on the author’s ‘local’ restriction strategy involving Cartesian propositions, set out in The Taming of the True. Williamson’s purported Fitchian reductio, involving the unknown number of books on his table, is analyzed in detail and shown...

This paper focuses on three research questions which are connected with combinations of modal logics: (i) Under which conditions can (frame-)completeness (and related properties) be transferred from a propositional modal logic (PML) to its quantificational counterpart (QML)? (ii) Does (frame-) completeness generally transfer from monomodal QMLs to their multimodal combination? (iii) Can complet...

We introduce the notion of L2-rigidity for von Neumann algebras, a generalization of property (T) which can be viewed as an analogue for the vanishing of 1-cohomology into the left regular representation of a group. We show that L2rigidity passes to normalizers and is satisfied by nonamenable II1 factors which are non-prime, have property Γ, or are weakly rigid. As a consequence we obtain that ...

This is an attempt at reviving Kneale's version of the description theory of names, which says that a proper name is synonymous with a definite description of the form 'the individual named so-and-so'. To begin with, I adduce a wide range of observations to show that names and overt definites are alike in all relevant respects. I then turn to Kripke's main objection against Kneale's proposal, a...

o bjective: to describe the clinical characteristics, presentation and management of pardah pin inhalation in female teenagers of single center in northern india. m e thods: this was a prospective cross-sectional study being performed in department of cardiovascular and thoracic surgery of sher-i-kashmir institute of medical sciences located in northern india from january 2009 to december 2012....

This paper aims to provide support for the view that individual concepts are basic to natural language semantics. First, the use of constant individual concepts allows us to maintain Kripke’s view of proper names as nondescriptional rigid designators in the face of problems created by so-called “empty names.” And second, the distinction between constant and variable individual concepts can func...

We give a partial positive answer to a conjecture of Tyurin ([28]). Indeed we prove that on a general quintic hypersurface of P every arithmetically Cohen–Macaulay rank 2 vector bundle is infinitesimally rigid.

We present a method for proving rigid first order theorems by encoding them as propositional satisfiability problems. We encode the existence of a first order connection tableau and the satisfiability of unification constraints. Then the first order theorem is rigidly unsatisfiable if and only if the encoding is propositionally satisfiable. We have implemented this method in our theorem prover ...