It is well known that in any nonstandard model of $\mathsf{PA}$ (Peano arithmetic) neither addition nor multiplication is recursive. In this paper we focus on the recursiveness of unary functions and find several pairs of unary functions which cannot be both recursive in the same nonstandard model of $\mathsf{PA}$ (e.g., $\{2x,2x+1\}$, $\{x^2,2x^2\}$, and $\{2^x,3^x\}$). Furthermore, we prove that for any computable injection $f(x)$, there is a nonstandard model of $\mathsf{PA}$ in which $f(x)$ is recursive.

This paper discusses empty quotation (‘’ is an empty string) and lexical quotation (his praise was, quote, fulsome, unquote), it challenges the minimal theory of quotation (‘ “x” ’ quotes ‘x’) and it defends the identity theory of quotation. In the process it illuminates disciplinary differences between the science of language and the philosophy of language. First, most philosophers assume, without argument, that language includes writing, whereas linguists have reason to identify language with speech (plus sign language). Second, philosophers tend (...) to think of languages as abstract objects whereas linguists tend to think of them as natural objects. These foundational differences help to explain disagreements in grammaticality judgments and consequent disagreements in semantic theory. (shrink)

According to truth-conditional semantics, to explain the meaning of a statement is to specify the conditions necessary and sufficient for its truth. This book develops a more radical mentalist semantics by shifting the object of semantic inquiry. Classical semantics analyzes an abstract sentence or utterance such as "Grass is green"; in attitudinal semantics the object of inquiry is a propositional attitude such as "Speaker so-and-so thinks grass is green".

Quote marks, I claim, serve to select from the multiple ostensions that are produced whenever any expression is uttered; they act to constrain pragmatic ambiguity or indeterminacy. My argument proceeds by showing that the proffered account fares better than its rivals-the Name, Description, Demonstrative, and Identity Theories. Along the way I shall need to explain and emphasize that quoting is not simply the same thing as mentioning. Quoting, but not mentioning, relies on the use of conventional devices.

This article shows how, in recent works of cultural analysis, the concept of ‘assemblage’ has been been derived from key sources of theory and put to work to provide a structure-like surrogate to express certain prominent values of a modernist sensibility in the discourse of description and analysis. Assemblage is a sort of anti-structural concept that permits the researcher to speak of emergence, heterogeneity, the decentred and the ephemeral in nonetheless ordered social life. There are other related concepts, like collage, (...) which have been used to give these values substance in research, but currently assemblage is enjoying a popularity perhaps because of the continuing fascination of the work of Deleuze and Guattari. (shrink)

Moral philosophers widely believe that it is a part of the MEANING of 'ought' statements that they imply 'can' statements. To this thesis I offer three challenges, and then I conclude on a broader methodological note. (1) Epistemological Modal Argument: for all we know, determinism is true; determinism contradicts “ought implies can”; therefore we don’t know that 'ought' implies 'can'. (2) Metaphysical Modal Argument: determinism is conceptually possible; determinism contradicts “ought implies can”; therefore “ought implies can” is not an analytic (...) truth. (3) Semantic Argument: “You ought to X” is equivalent to “Do X!”; but “Do X!” does not entail that you can X, according to leading analyses of the imperative. (4) My two modal arguments are epistemologically significant, for they illustrate a general method for refuting a whole class of argument. (shrink)

We study combinatorial principles known as stick and club. Several variants of these principles and cardinal invariants connected to them are also considered. We introduce a new kind of side by-side product of partial orderings which we call pseudo-product. Using such products, we give several generic extensions where some of these principles hold together with ¬CH and Martin's axiom for countable p.o.-sets. An iterative version of the pseudo-product is used under an inaccessible cardinal to show the consistency of the club (...) principle for every stationary subset of limits of ω1 together with ¬CH and Martin's axiom for countable p.o.-sets. (shrink)

This note concerns the model theoretic properties of logics extending the first-order logic with monadic second-order variables equipped with the stationarity quantifier. The eight variations of the strong downward Löwenheim–Skolem Theorem down to <ℵ2\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$<\aleph _2$$\end{document} for this logic with the interpretation of second-order variables as countable subsets of the structures are classified into four principles. The strongest of these four is shown to be equivalent to the conjunction of CH and the (...) Diagonal Reflection Principle for internally clubness of S. Cox. We show that a further strengthening of this SDLS and its variations follow from the Game Reflection Principle of B. König and its generalizations. (shrink)

We study L∞κ-freeness in the variety of Boolean algebras. It is shown that some of the theorems on L∞κ-free algebras which are known to hold in varieties such as groups, abelian groups etc. are also true for Boolean algebras. But we also investigate properties such as the ccc of L∞κ-free Boolean algebras which have no counterpart in the varieties above.

The Demonstrative Theory holds that quoted matter is logically external to the quoting sentence, that quotation marks are (demonstratively) referential, and that quotation marks are grammatically required for autonomous mentioning. In contrast, the Identity Theory holds that quoted matter is integral to its quoting sentence, that quotation marks serve merely as disambiguating punctuation, and that mentionings need not be quotation-marked. I support the Identity Theory by pointing out fallacies in the arguments for demonstrative theories and by considering empty quotation, ordinary (...) language as found in casual use and in novels and plays, and historical and developmental facts about quotation. (shrink)