The non-uniformity of wh-indeterminates with polarity and free choice in Chinese

Theoretical and Experimental Linguistic

(In)definiteness, polarity, and the role of wh-morphology in free choice

Generatieve Syntaxi

Formally Specifying and Proving Operational Aspects of Forensic Lucid in Isabelle

A Forensic Lucid intensional programming language has been proposed for intensional cyberforensic analysis. In large part, the language is based on various predecessor and codecessor Lucid dialects bound by the higher-order intensional logic (HOIL) that is behind them. This work formally specifies the operational aspects of the Forensic Lucid language and compiles a theory of its constructs using Isabelle, a proof assistant system.Comment: 23 pages, 3 listings, 3 figures, 1 table, 1 Appendix with theorems, pp. 76--98. TPHOLs 2008 Emerging Trends Proceedings, August 18-21, Montreal, Canada. Editors: Otmane Ait Mohamed and Cesar Munoz and Sofiene Tahar. The individual paper's PDF is at http://users.encs.concordia.ca/~tphols08/TPHOLs2008/ET/76-98.pd

Two type-theoretical approaches to privative modification

In this paper we apply two kinds of procedural semantics to the problem of privative modification. We do this for three reasons. The first reason is to launch a tough test case to gauge the degree of substantial agreement between a constructivist and a realist interpretation of a procedural semantics; the second is to extend Martin-Lof's Type Theory to privative modification, which is characteristic of natural language; the third reason is to sketch a positive characterization of privation

Two kinds of procedural semantics for privative modification

In this paper we present two kinds of procedural semantics for privative modification. We do this for three reasons. The first reason is to launch a tough test case to gauge the degree of substantial agreement between a constructivist and a realist interpretation of procedural semantics; the second is to extend Martin-L ̈f’s Constructive Type Theory to privative modification, which is characteristic of natural language; the third reason is to sketch a positive characterization of privation

About a Mature Theory of Fregean Sense

Marie Duží, Bjørn Jespersen, and Pavel Materna: Procedural Semantics for Hyperintensional Logic. Foundations and Applications of Transparent Intentional Logic, vol. 17 of series “Logic, Epistemology, and the Unity of Science”, Springer, Dordrecht, Heidelberg, London, New York, 2010; xiii+552 pages, ISBN 978-90-481-8811-6, e-ISBN 978-90-481-8812-3. DOI: 10.1007/978-90-481-8812-

A Constructive Approach to Intensional Contexts : Remarks on the Metaphysics of Model Theory

The basic distinction between extensional and intensional contexts is one of different denotation conditions (truth conditions). This difference in denotation conditions has been related to a fundamental question of semantic theory, namely: what do expressions of natural 'language denote? Most authors assume that in ex tensional contexts expressions denote 'real objects.' Since the rules of substitutivity of identicals and existential generalization do not hold in intensional contexts (cf. section 1), they are thus forced to postulate that in intensional contexts expressions denote something else. Frege, for example, assumes a de notational ambiguity between 'Bedeutung' and 'Sinn', Russell between 'primary occurrences' and 'secondary occurrences', Quine between 'proper occurrences' and 'accidental occurrences', and Montague between 'extensions' and 'intensions

Ty2 revisited

International audienceWe provide a translation of Hybrid Logic into Gallin's Ty2