In this paper, we describe a model that learns semantic representations from the distributional statistics of language. This model, however, goes beyond the common bag‐of‐words paradigm, and infers semantic representations by taking into account the inherent sequential nature of linguistic data. The model we describe, which we refer to as a Hidden Markov Topics model, is a natural extension of the current state of the art in Bayesian bag‐of‐words models, that is, the Topics model of Griffiths, Steyvers, and (...) Tenenbaum (2007), preserving its strengths while extending its scope to incorporate more fine‐grained linguistic information. (shrink)

Standard semantic theories predict that non-deictic readings for complex demonstratives should be much more widely available than they in fact are. If such readings are the result of a lexical ambiguity, as Kaplan (1977) and others suggest, we should expect them to be available wherever a definite description can be used. The same prediction follows from ‘hidden argument’ theories like the ones described by King (2001) and Elbourne (2005). Wolter (2006), however, has shown that complex demonstratives admit non-deictic interpretations (...) only when a precise set of structural constrains are met. In this paper, I argue that Wolter’s results, properly understood, upend the philosophical status quo. They fatally undermine the ambiguity theory and demand a fundamental rethinking of the hidden argument approach. (shrink)

Standard semantic theories predict that non-deictic readings for complex demonstratives should be much more widely available than they in fact are. If such readings are the result of a lexical ambiguity, as Kaplan (in: Almog, Perry, Wettstein (eds) Themes from Kaplan, Oxford University Press, Oxford, 1977) and others suggest, we should expect them to be available wherever a definite description can be used. The same prediction follows from ‘hidden argument’ theories like the ones described by King (Complex Demonstratives: a (...) Quantificational Account, MIT Press, Cambridge, 2001) and Elbourne (Situations and Individuals, MIT Press, Cambridge, 2005). Wolter (That’s That; the Semantics and Pragmatics of Demonstrative Noun Phrases. Ph.D. thesis, University of California at Santa Cruz, 2006), however, has shown that complex demonstratives admit non-deictic interpretations only when a precise set of structural constrains are met. In this paper, I argue that Wolter’s results, properly understood, upend the philosophical status quo. They fatally undermine the ambiguity theory and demand a fundamental rethinking of the hidden argument approach. (shrink)

Scientific networks are often investigated by means of citation analyses. Yet, interpretation of such networks in terms of semantic (and often disciplinary) content heavily depends on supplementary knowledge, notably about author research specialties. Similar situations arise more generally in many types of social networks whose semantic interpretation relies on supplementary information. Here, author community net-works are inferred from a topic model which provides direct insights into the semantic specificity of the identified “hidden communities of interest” (HCoI). Using (...) a philosophy of science corpus of full-text articles (N=16,917), we investigate its underlying communities by measuring topic profile correlations be-tween authors. A diachronic perspective is built by modeling the research networks over different time-periods and mapping genealogical relationships be-tween communities. The results show a marked in-crease in philosophy of science communities over time and trace the progressive appearance of the specialization areas that structure the field today. (shrink)

o (2000), 243). In particular, the idea is that binding interactions between the relevant expressions and natural lan- guage quantifiers are best explained by the hypothesis that those expressions harbor hidden but bindable variables. Recently, however, Herman Cappelen and Ernie Lepore have rejected such binding arguments for the presence of hid- den variables on the grounds that they overgeneralize — that, if sound, such arguments would establish the presence of hidden variables in all sorts of ex- pressions where it is (...) implausible that they exist (Cappelen and Lepore (2005), Cappelen and Lepore (2002)).1 In what follows we respond to Cappelen’s and Lepore’s attempted reductio by bringing out crucial disanalogies between cases where the binding argument is successful and cases where it is not. But we have a deeper purpose than merely to respond to Cappelen and Lepore: we think the attempted reductio goes wrong by not taking sufficiently seriously the nature of the binding relation that holds between quantifiers and arguments/variables, and that our criticism will serve to highlight the nature and importance of this relation. (shrink)

Features of semantic prosody -- The evaluative and the hidden -- The diachronic and the synchronic -- Semantic prosody and lexical environment -- Semantic prosody and corpus data -- Semantic prosody and the concordance -- Intuition, introspection, and corpus data -- Semantic prosody and lexical priming.

Prepositions name spatial relationships. But they are also used to convey abstract, non-spatial relationships —raising the question of how the abstract uses relate to the concrete spatial uses. Despite considerable success in delineating these relationships, no general account exists for the two most frequently extended prepositions: in and on. We test the proposal that what is preserved in abstract uses of these prepositions is the relative degree of control between the located object and the reference object. Across four experiments, we (...) find a continuum of greater figure control for on and greater ground control for in. These findings bear on accounts of semantic structure and language change, as well as on second language instruction. (shrink)

When agents know a protocol, this leads them to have expectations about future observations. Agents can update their knowledge by matching their actual observations with the expected ones. They eliminate states where they do not match. In this paper, we study how agents perceive protocols that are not commonly known, and propose a semantics-driven logical framework to reason about knowledge in such scenarios. In particular, we introduce the notion of epistemic expectation models and a propositional dynamic logic-style epistemic logic for (...) reasoning about knowledge via matching agentsÊ expectations to their observations. It is shown how epistemic expectation models can be obtained from epistemic protocols. Furthermore, a characterization is presented of the effective equivalence of epistemic protocols. We introduce a new logic that incorporates updates of protocols and that can model reasoning about knowledge and observations. Finally, the framework is extended to incorporate fact-changing actions, and a worked-out example is given. © 2013 Elsevier B.V. (shrink)

Abstract: A current debate in semantics and pragmatics is whether all contextual effects on truth-conditional content can be traced to logical form, or 'unarticulated constituents' can be supplied by the pragmatic process of free enrichment. In this paper, I defend the latter position. The main objection to this view is that free enrichment appears to overgenerate, not predicting where context cannot affect truth conditions, so that a systematic account is unlikely (Stanley, 2002a). I first examine the semantic alternative proposed (...) by Stanley and others, which assumes extensive hidden structure acting as a linguistic trigger for pragmatic processes, so that all truth-conditional effects of context turn out to be instances of saturation. I show that there are cases of optional pragmatic contributions to the proposition expressed that cannot plausibly be accounted for in this way, and that advocates of this approach will therefore also have to appeal to free enrichment. The final section starts to address the question of how free enrichment is constrained: I argue that it involves only local development or adjustment of parts of logical form, any global developments being excluded by the requirement for the proposition expressed to provide an inferential warrant for the intended implications of the utterance. (shrink)

The argument from incremental differences among objects with indefinite property-Complement demarcations arranged along a continuum is known classically as the sorites or slippery slope fallacy. The inferences are typically unsound, And may contain structural logical defects, Though the precise source of error is the subject of wide-Ranging philosophical dispute. In this treatment, Slippery slopes are reduced to a single category of logically valid (but sometimes unsound) conditional chains of hypothetical syllogism. The analysis provides a framework for distinguishing between unsound slippery (...) slope sophisms, And logically valid semantically sound slippery slope arguments. (shrink)

A defining assumption in the debate on contextual influences on truth-conditional content is that such content is often incompletely determined by what is specified in linguistic form. The debate then turns on whether this is evidence for positing a more richly articulated logical form or else a pragmatic process of free enrichment that posits truly unarticulated constituents that are unspecified in linguistic form. Questioning this focus on semantics and pragmatics, this article focuses on the independent grammatical dimensions of the problem. (...) Against the background of a principled account of the different ways in which the lexicon and the grammar, respectively, determine aspects of propositional meaning, and an uncontentious notion of content, nothing turns out to be ‘missing’ in grammatical expressions in order for them to encode complete propositional thoughts. As this predicts, when putatively hidden constituents are made overt or are otherwise added, propositions result that are systematically different from the thoughts originally expressed. Context, while potentially affecting lexically specified aspects of meaning, never affects grammar-determined ones, suggesting a specific role for grammar in the normal cognitive mode. (shrink)

Jason Stanley has argued that in order to obtain the desired readings of certain sentences, such as “In most of John’s classes, he fails exactly three Frenchmen”, we must suppose that each common noun is associated with a hidden indexical that may be either bound by a higher quantifier phrase or interpreted by the context. This paper shows that the desired readings can be obtained as well by interpreting nouns as expressing relations and without supposing that nouns are associated with (...) hidden indexicals. Stanley’s theory and the present alternative are not equivalent, however. They differ over the status of sentences such as “Every student is happy and some student is not happy”. On Stanley’s theory, this sentence will be true in some contexts, while on the present alternative it will be true in no context. Considerations in favor of the present theory’s verdict on such sentences are presented. The broader question at issue is the correct way to incorporate context-relativity into formal semantics. (shrink)

In Attitude Problems, I gave an account of opacity in the complement of intensional transitive verbs that combined neo-Davidsonian event-semantics with a hidden-indexical account of substitution failure. In this paper, I extend the account to clausal verbs.

Any theory of semantic cognition is also a theory of concepts. There are two ways to construe the models presented by Rogers & McClelland (R&M) in Semantic Cognition. If we construe the input and output representations as concepts, then the models capture knowledge acquisition within a stable set of concepts. If we construe the hidden-layer representations as concepts, the models provide a simulation of conceptual change.

J. L. Schellenberg's hiddenness argument is one of the key contemporary justifications for atheism and has prompted numerous responses from those defending the plausibility of belief in God. I will outline a recent counterargument from Michael C. Rea, who claims that relationships with God are far more widely available than Schellenberg assumes. However, I will suggest that it invites a response from proponents of the hiddenness argument because it leaves some nonbelievers unaccounted for. I will rectify this by (...) suggesting that a model of panentheism in which God is embodied in the cosmos allows all, including all nonbelievers, to have a relationship with God. I will then claim that semantic externalism and externalism about beliefs can enable nonbelievers to get to know this God. I will then challenge the hiddenness argument by suggesting that these relationships can accommodate the key motivations behind Schellenberg's insistence on personal relationships without requiring subjects to recognize that they are in a relationship with God. (shrink)

Dyadic semantics is a sort of non-truth-functional bivalued semantics introduced in Caleiro et al. Logica Universalis, Birkhäuser, Basel, pp 169–189, 2005). Here we introduce an algorithmic procedure for constructing conservative translations of logics characterised by dyadic semantics into classical propositional logic. The procedure uses fresh propositional variables, which we call hidden variables, to represent the indeterminism of dyadic semantics. An alternative algorithmic procedure for constructing conservative translations of any finite-valued logic into classical logic is also introduced. In this alternative procedure (...) hidden variables are also used, but in this case to represent the degree of true or falsehood of propositions. (shrink)

According to Peirce, iconic interpretation is an associative inference on the basis of similarity. In that sense, nearly all Chinese characters are icons. The more obvious support for this claim comes from the pictorial nature of Chinese characters, which are either ‘pictographic’ or ‘indicative’. A better adjective for both is ‘ideographic’ because they share the same interpretive movement from ‘graphs’ to ‘ideas’ that are similar. There is another direction in which a graph can be turned into an icon. Apart from (...) the semantic connection to the referent, a graph is also related through convention to a particular sequence of sounds which constitute its pronunciation. This has resulted in characters that are ‘picto-phonetic’ in nature. (shrink)

Objects of consideration are various non-classical connectives “hidden” in the classical logic in the form of G˛s with ˛ —a classical connective, and s—a propositional variable. One of them is negation, which is defined as G ⇒ s; another is necessity, which is defined as G ∧ s. The new operations are axiomatized and it is shown that they belong to the 4-valued logic of Lukasiewicz. A 2-point Kripke semantics is built leading directly to the 4-valued logical tables.

When in 1980, on the Third Amsterdam Colloquium, Johan van Benthem read a paper with the title ‘Why is Semantics What?’ (cf. [1]), I was puzzled: Wasn’t it obvious what semantics is? Why did our concept of it stand in need of justification? Later, much later, I came to appreciate what Van Benthem was doing in this paper (and in some others). Questioning the ‘standard model’, the assumptions on which the working semanticists silently agree, Van Benthem opened up a space (...) of issues to be discussed, questions to be asked, routes to be explored, that had been hidden from view by the unreflective endorsement of just one possible, albeit fruitful way of doing semantics. History, by the way, has proven him right on many points: the monolithic approach that dominated formal semantics of natural language in the seventies, and which relied heavily on Montague’s seminal papers, has given way to a multitude of different ways of tackling semantic issues, using different formal techniques. Some limitations, in particular the almost exclusive focus on sentences as the primary units of analysis, have been overcome. In another respect, however, I feel that the message of Van Benthem’s paper has not caught on sufficiently. He urges semanticists to take more interest in the properties of their tools, arguing that such questions are important if we are to come to a real, deep understanding of what semantics is. Such ‘meta-level’ considerations, although certainly less scarce than they used to be, are still not an everyday concern of the working semanticist. (shrink)

According to a number of authors it is possible to give tenseless (B-series) truth conditions for tensed sentences by utilizing token indexicals in something like the following fashion. (1a) An utterance u of 'Past S' is true iff at some time earlier than u, S is true (1b) An utterance u of 'Pres S' is true iff at some time overlapping u, S is true This strategy has been challenged on the grounds that it will break down in cases like (...) (2). (2) There was no spoken language A number of strategies have been attempted to circumvent this difficult, including the introduction of possible utterances, etc. In this paper I argue that such moves are unnecessary — that the problem turns on scope interactions with hidden modals in the theorems of the T-theory. (shrink)

In this paper, we provide a semantic analysis of the well-known knowability paradox stemming from the Church–Fitch observation that the meaningful knowability principle /all truths are knowable/, when expressed as a bi-modal principle F --> K♢F, yields an unacceptable omniscience property /all truths are known/. We offer an alternative semantic proof of this fact independent of the Church–Fitch argument. This shows that the knowability paradox is not intrinsically related to the Church–Fitch proof, nor to the Moore sentence upon (...) which it relies, but rather to the knowability principle itself. Further, we show that, from a verifiability perspective, the knowability principle fails in the classical logic setting because it is missing the explicit incorporation of a hidden assumption of /stability/: ‘the proposition in question does not change from true to false in the process of discovery.’ Once stability is taken into account, the resulting /stable knowability principle/ and its nuanced versions more accurately represent verification-based knowability and do not yield omniscience. (shrink)

Influenced by the Wittgensteinian slogan “Don’t look for the meaning, look for the use,” ordinary language philosophers aimed to defuse various philosophical problems by analyzing key words in terms of what they are used to do or the conditions for appropriately using them. Although Moore, Grice and Searle exposed this error – mixing pragmatics with semantics – it still gets committed, now to a different end. Nowadays the aim is to reckon with the fact that the meanings of a great (...) many sentences underdetermine what we would normally mean in using them – even if the sentence is free of indexicality, ambiguity, and vagueness. This can be so because the sentence expresses a “minimal” proposition or even because it doesn’t fully express any proposition. Many theorists are led to defend “truth-conditional pragmatics” (or linguistic “contextualism”), to find a hidden indexical in every syntactic nook or semantic cranny, or otherwise to pay undue respect to seemingly semantic intuitions and intentions. This paper identifies various such moves and explains what’s regressive about them. (shrink)

In a recent comment on H.L.A. Hart’s ‘Postscript’ to The Concept of Law, Ronald Dworkin claims that the meaning of legal and political concepts may be understood by analogy to the meaning of natural kind concepts like ‘tiger’, ‘gold’ and ‘water’. This article questions the efficacy of Dworkin’s claims by challenging the use of natural kinds as the basis for a semantic theory of legal and political concepts. Additionally, in matters of value there is no methodological equivalent to the (...) scientific method. Thus, there is little hope of finding hidden essences to explain the meaning of legal and political concepts. Finally, even if there are natural kinds, Dworkin’s arguments for their efficacy in jurisprudence are problematic and unpersuasive. The problem for Dworkin is that his embrace of natural kinds undermines the ‘fit’ side of the fit/justification model of adjudication that lies at the heart of his theory of law. (shrink)

It is clear that Tarski's T‐scheme, ‘T”p” if and only if p’, does not hold universally. It is not expected to hold, for instance, with ambiguous sentences, or with indexical sentences. Making explicit the circumstances where it does hold, however, is not just logical housekeeping: it turns out to have more radical consequences for the whole approach to Semantics associated with Tarski than has previously been envisaged.

The final portion of the thesis surveys proposals for the introduction of hidden variables into quantum mechanics, proofs of the impossibility of such hidden-variable proposals, and criticisms of these impossibility proofs. And arguments in favour of the partial-Boolean algebra, rather than the orthomodular lattice, formalization of the quantum propositional structures are reviewed. ;As for , each quantum state-induced expectation-function on a P truth-functionally assigns 1 and 0 values to the elements in a ultrafilter and dual ultraideal of P, where in (...) general the union of an ultrafilter and its dual ultraideal is smaller than the entire structure. Thus it is argued that each expectation-function is the quantum analog of a classical semantic mapping, even though the domain where each expectation-function is bivalent and truth-functional is usually a non-Boolean substructure of P. ;In classical propositional logic, propositions form a Boolean algebra, and each semantic mapping assigns the value 1 to the members of a certain subset of the algebra, namely, an ultrafilter, and assigns 0 to the members of the dual ultraideal, where the union of these two subsets is the entire algebra. The propositional structures of classical mechanics are likewise Boolean algebras, so one can straightforwardly provide a classical semantics, which also satisfies . However, quantum propositional structures are non-Boolean, so it is an open question whether a semantics satisfying , and can be provided. ;Von Neumann first proposed that the algebraic structures of the subspaces of Hilbert space be regarded as the propositional structures P of quantum mechanics. These structures have been formalized in two ways: as orthomodular lattices which have the binary operations "and", "or", defined among all elements, compatible and incompatible ; and as partial-Boolean algebras which have the binary operations defined among only compatible elements. In the thesis, two basic senses in which these structures are non-Boolean are discriminated. And two notions of truth-functionality are distinguished: truth-functionality ,) applicable to the Plattices; and truth-functionality ) applicable to both the Plattices and partial-Boolean algebras. Then it is shown how the lattice definitions of "and", "or", among incompatibles rule out a bivalent, truth-functional ,) semantics for any PQM lattice containing incompatible elements. In contrast, the Gleason and Kochen-Specker proofs of the impossibility of hidden-variables for quantum mechanics show the impossibility of a bivalent, truth-functional ) semantics for three-or-higher dimensional Hilbert space PQM structures; and the presence of incompatible elements is necessary but is not sufficient to rule out such a semantics. ;The thesis investigates the possibility of a classical semantics for quantum propositional structures. A classical semantics is defined as a set of mappings each of which is bivalent, i.e., the value 1 or 0 is assigned to each proposition, and truth-functional, i.e., the logical operations are preserved. In addition, this set must be "full", i.e., any pair of distinct propositions is assigned different values by some mapping in the set. When the propositions make assertions about the properties of classical or of quantum systems, the mappings should also be "state-induced", i.e., values assigned by the semantics should accord with values assigned by classical or by quantum mechanics. (shrink)

The past decade has witnessed the emergence of a novel stance on semantic representation, and its relationship to context sensitivity. Connectionist-minded philosophers, including Clark and van Gelder, have espoused the merits of viewing hidden-layer, context-sensitive representations as possessing semantic content, where this content is partially revealed via the representations'' position in vector space. In recent work, Bodén and Niklasson have incorporated a variant of this view of semantics within their conception of semantic systematicity. Moreover, Bodén and Niklasson (...) contend that they have produced experimental results which not only satisfy a kind of context-based, semantic systematicity, but which, to the degree that reality permits, effectively deals with challenges posed by Fodor and Pylyshyn (1988), and Hadley (1994a). The latter challenge involved well-defined criteria for strong semantic systematicity. This paper examines the relevant claims and experiments of Bodén and Niklasson. It is argued that their case fatally involves two fallacies of equivocation; one concerning ''semantic content'' and the other concerning ''novel test sentences''. In addition, it is argued that their ultimate construal of context sensitive semantics contains serious confusions. These confusions are also found in certain publications dealing with "latent semantic analysis". Thus, criticisms presented here have relevance beyond the work of Bodén and Niklasson. (shrink)

In his late philosophy, Quine generalized the structuralist view in the philosophy of mathematics that mathematical theories are indifferent to the ontology we choose for them. According to his ‘global structuralism’, the choice of objects does not matter to any scientific theory. In the literature, this doctrine is mainly understood as an epistemological thesis claiming that the empirical evidence for a theory does not depend on the choice of its objects. The present paper proposes a new interpretation suggested by Quine’s (...) recently published Kant Lectures from 1980 according to which his global structuralism is a semantic thesis that belongs to his theory of ontological reduction. It claims that a theory can always be reformulated in such a way that its truth does not presuppose the existence of the original objects, but only of some objects that can be considered as their proxies. Quine derives this claim from the principle of the semantic primacy of sentences, which is supposed to license the ontological reductions he uses to establish his global structuralism. It is argued that these reductions do not actually work because they do not account for some hidden ontological commitments that are not detected by his criterion of ontological commitment. (shrink)

Proponents of the projection strategy take an epistemic rule for the evaluation of English conditionals, the Ramsey test, as clue to the truth-conditional semantics of conditionals. They also construe English conditionals as stronger than the material conditional. Given plausible assumptions, however, the Ramsey test induces the semantics of the material conditional. The alleged link between Ramsey test and truth conditions stronger than those of the material conditional can be saved by construing conditionals as ternary, rather than binary, propositional functions with (...) a hidden contextual parameter. But such a ternary construal raises problems of its own. (shrink)

Epistemic contextualism was devised mainly to provide a solution to the problem of skepticism based on a thesis about the truth conditions of knowledge attributing sentences. In this paper, I’ll examine two possible semantic bases of epistemic contextualism i.e., the epistemic standard is an unarticulated constituent, the epistemic standard is a hidden variable. After showing that the unarticulated constituent thesis is incompatible with epistemic contextualism, I’ll argue that the hidden variable account remains unconvincing. My aim in this paper is (...) to show that questions remain that must be answered before epistemic contextualism can claim success in the project of resolving skepticism. (shrink)

The general fact of the impossibility of a bivalent, truth-functional semantics for the propositional structures determined by quantum mechanics should be more subtly demarcated according to whether the structures are taken to be orthomodular latticesP L or partial-Boolean algebrasP A; according to whether the semantic mappings are required to be truth-functional or truth-functional ; and according to whether two-or-higher dimensional Hilbert spaceP structures or three-or-higher dimensional Hilbert spaceP structures are being considered. If the quantumP structures are taken to be (...) orthomodular latticesP L, then bivalent mappings which preserve the operations and relations of aP L must be truth-functional . Then as suggested by von Neumann and Jauch-Piron and as proven in this paper, the mere presence of incompatible elements in aP L is sufficient to rule out any semantical or hidden-variable proposal which imposes this strong condition, for anytwo-or-higher dimensional Hilbert spaceP L structure. Thus from the orthomodular lattice perspective, the peculiarly non-classical feature of quantum mechanics and the peculiarly non-Boolean feature of the quantum propositional structures is the existence of incompatible magnitudes and propositions. However, the weaker truth-functionality condition can instead be imposed upon the semantic or hidden-variable mappings on theP L structures, although such mappings ignore the lattice meets and joins of incompatibles and preserve only the partial-Boolean algebra structural features of theP L structures. Or alternatively, the quantum propositional structures can be taken to be partial-Boolean algebrasP A, where bivalent mappings which preserve the operations and relations of aP A need only be truth-functional (c). In either case, the Gleason, Kochen-Specker proofs show that any semantical or hidden variable proposal which imposes this truth-functionality (c) condition is impossible for anythree-or-higher dimensional Hilbert spaceP A orP L structures. But such semantical or hidden-variable proposals are possible for any two dimensional Hilbert spaceP A orP L structures, in spite of the presence of incompatibles in these structures, in spite of the fact that Heisenberg's Uncertainty Principle applies to the incompatible elements in these structures, and in spite of the fact that these structures are non-Boolean in the Piron sense. (shrink)

Listed buildings, even if they are not top landmarks, are increasingly attracting visitors. People express interest in hidden gems in their neighborhood or along their travel itinerary, and in the history of the building they live in. All required data has been meticulously collected by the offices for historical monuments but is not flexibly accessible. In Bremen, the database of buildings (with location, map of the estate, construction history, architect, photos) is searchable and browsable online3, but that only helps users (...) who know how to use a rigidly structured database search form. Our beginning BauDenkMalNetz effort (“listed building web”) aims at a wider purpose: modeling the semantic structure of these data, starting in Bremen but open for other data, and exposing them via a semantic web interface with enhanced querying and presentation capabilities. Requirements beyond interactive browsing comprise auto-generation of customized printed guides (e. g. “Bauhaus villas in my neighborhood”), on-demand presentation on mobile devices (e. g. “medieval churches along my travel itinerary”), and serving linked data for usage by other services. (shrink)

Attempts to clarify some issues about the use of hidden arguments to predicates of personal taste, and motivate an analysis which does not make use of such arguments.

"Some sentences contain no overt quantifier, yet are interpreted quantificationally, e.g., Plumbers are available (entailing that some plumbers are available), or Plumbers are intelligent (whose entailment is less clear, but seems to be saying that a large number of plumbers are intelligent). Where does the quantifier come from? In this book, Ariel Cohen makes the novel proposal that the quantifier is not simply an empty category, but is generated by reinterpretations mechanisms, which are governed by well specified principles. He demonstrates (...) how the puzzling and sometimes mysterious properties of such sentences can be naturally derived from the reinterpretation mechanisms that generate them. The resulting picture has substantial implications that language contains hidden elements, underlying its surface structure"--. (shrink)

Plurality, Conjunction and Events presents a novel theory of plural and conjoined phrases, in an event-based semantic framework. It begins by reviewing options for treating the alternation between `collective' and `distributive' readings of sentences containing plural or conjoined noun phrases, including analyses from both the modern and the premodern literature. It is argued that plural and conjoined noun phrases are unambiguously group-denoting, and that the collective/distributive distinction therefore must be located in the predicates with which these noun phrases combine. (...) More specifically, predicates must have a hidden argument place for events; the collective/distributive distinction may then be represented in the part/whole structure of these events. This allows a natural treatment of `collectivizing' adverbial expressions, and of `pluractional' affixes; it also allows a unified semantics for conjunction, in which conjoined sentences and predicates denote groups of events, much like conjoined noun phrases denote groups of individuals. (shrink)

I argue that code words like “inner city” do not semantically encode hidden or implicit meanings, and offer an account of how they nonetheless manage to bring about the surprising effects discussed in Mendelberg 2001, White 2007, and Stanley 2015 (among others).

This dissertation investigates the ways in which natural language restricts the domains of quantifiers. Adverbs of quantification are analyzed as quantifying over situations. The domain of quantifiers is pragmatically constrained: apparent processes of "semantic partition" are treated as pragmatic epiphenomena. The introductory Chapter 1 sketches some of the background of work on natural language quantification and begins the analysis of adverbial quantification over situations. Chapter 2 develops the central picture of "semantic partition" as a side-effect of pragmatic processes (...) of anaphora resolution. I argue that the apparent effects of topic/focus articulation and presuppositional information on the interpretation of quantifiers are not the result of a direct and local mechanism of sentence grammar. Instead, I develop an analysis where the link is established via the anaphoric dependence of quantifier domains on the discourse context. Chapter 3 discusses the analysis of conditional clauses as quantifier restrictors, concentrating on the question whether conditional clauses restrict quantifiers directly or indirectly. A treatment is explored which has if-clauses constrain the value of the hidden domain variable of the restricted quantifier. Chapter 4, on unless-clauses, and Chapter 5, on only if- and even if-clauses, present some issues in the compositional analysis of complex conditional clauses. These chapters significantly expand the data coverage of the theory of A-quantification. Building on previous work of mine on exceptives, I analyze unless-clauses as exceptive operators on A-quantifiers. The analysis of only if-clauses, treated as conditional clauses that combine if with the focus adverb only, unearthes some interesting new properties. Chapter 6, finally, examines the phenomenon of donkey-anaphora in the light of the results of the previous chapters. I show that a solution to the proportion problem may become possible once we combine the situation-semantic approach to adverbial quantification with the pragmatic theory developed in Chapter 2 and further elaborated in the analysis of donkey anaphora in complex conditionals. (shrink)

This paper reviews the claim that certain predicates, including what are called predicates of personal taste, have a sometimes-hidden element for a judge or experiencer. This claim was advanced in my own earlier work, as well as a number of other papers. My main goal here is to review some of the arguments in favor of this claim, and along the way, to present some of my earlier unpublished work on the matter. In much of the earlier literature, this claim (...) was part of a debate between relativists, contextualists, and others about the semantics of ‘subjective’ or ‘perspectival’ predicates. I shall argue here that these issues are independent. Whether we opt for experiencer or judge parameters is independent of whether we prefer relativist semantics to any other kind. (shrink)

Syntactic approaches in the philosophy of science, which are based on formalizations in predicate logic, are often considered in principle inferior to semantic approaches, which are based on formalizations with the help of structures. To compare the two kinds of approach, I identify some ambiguities in common semantic accounts and explicate the concept of a structure in a way that avoids hidden references to a specific vocabulary. From there, I argue that contrary to common opinion (i) unintended models (...) do not pose a significant problem for syntactic approaches to scientific theories, (ii) syntactic approaches can be at least as language-independent as semantic ones, and (iii) in syntactic approaches, scientific theories can be as well connected to the world as in semantic ones. Based on these results, I argue that syntactic and semantic approaches fare equally well when it comes to (iv) ease of application, (v) accommodating the use of models in the sciences, and (vi) capturing the theory-observation relation. (shrink)

Moore supposedly discovered that there are sentences of a certain form that, though they can be true, no rational human being can sincerely and truly utter any of them. MC and MO are particular instances:MC: “It is raining and I believe that it is not raining”MO: “It is raining and I don’t believe that it is raining”In this paper, I show that there are sentences of the same form as MC and MO that can be sincerely and truly uttered by (...) rational agents. We call sentences of the same form as MC and MO “Moorean Sentences”. In Part II, we go over a standard argument for why sentences of the same form as MC and MO cannot be sincerely and truly uttered, and we explain why this argument is unsound. In explaining why this argument is unsound, we rely on the context-sensitivity of belief-reports and show that the premises of the argument are not all true in the same context. We then employ a general theory of belief reports that incorporates guises to explain why our examples are sincerely utterable while Moore’s sentences are typically not sincerely utterable. The answer will turn on the suggestion that belief reports carry a hidden quantifier over guises, where the domain of quantification is determined by context. We conclude with general lessons about Moore’s Paradox and the supposed limits of first-person belief reports. (shrink)

Recent arguments for relativist semantic theories have centered on the phenomenon of “faultless disagreement.” This paper offers independent motivation for such theories, based on the interpretation of predicates of personal taste in certain attitude contexts and presuppositional constructions. It is argued that the correct interpretation falls out naturally from a relativist theory, but requires special stipulation in a theory which appeals instead to the use of hidden indexicals; and that a hidden indexical analysis presents problems for contemporary syntactic theory.

This chapter contains sections titled: The Syntax and Semantics of Complex Sortal Terms On the Identity of Sorts.

An SR model is presented that shows how an objective (noncontextual and local) interpretation of quantum mechanics can be constructed, which contradicts some well-established beliefs following from the standard interpretation of the theory and from known no-go theorems. The SR model is not a hidden variables theory in the standard sense, but it can be considered a hidden parameters theory which satisfies constraints that are weaker than those usually imposed on standard hidden variables theories. The SR model is also extended (...) in a natural way that shows how a broader theory embodying quantum mechanics can be envisaged which is realistic in a semantic sense, hence compatible with various “realistic” perspectives. (shrink)

Huw Price has argued that on an interventionist account of cause the distinction is perspectival, and the claim prompted some interesting responses from interventionists and in particular an exchange with Woodward that raises questions about what it means to say that one or another structure is perspectival. I’ll introduce his reasons for claiming that the distinction between cause and effect on an interventionist account is perspectival. Then I’ll introduce a distinction between different ways in which a class of concepts can (...) be said to depend on facts about their users. Three importantly different forms of dependence will emerge from the discussion: Pragmatic dependence on us: truth conditions for x-beliefs can be given by a function f \ of more fundamental physical structures making no explicit reference to human agents. But there are any other number of functions ) ontologically on a par with x and what explains the distinguished role f plays in our practical and epistemic lives are facts about us. Implicit relativization: truth conditions for x-beliefs are relative to agent or context; the context supplies the value of a hidden parameter that determines the truth of x-beliefs. Indexicals: like implicit relativization except that the surface syntax contains a term whose semantic value is context-dependent. I suggest that Price’s insights are best understood in the first way. This will draw a crucial disanalogy with his central examples of perspectival concepts, but it will refine the thesis in a way that is more faithful to what his arguments show. The refined thesis will also support generalization to other concepts, and clarify the foundations of the quite distinctive research program that Price has been developing for a number of years. (shrink)

This book deals with an old conundrum: if God knows what we will choose tomorrow, how can we be free to choose otherwise? If all our choices are already written, is our freedom simply an illusion? This book provides a precise analysis of this dilemma using the tools of modern ontology and the logic of time. With a focus on three intertwined concepts - God's nature, the formal structure of time, and the metaphysics of time, including the relationship between temporal (...) entities and a timeless God - the chapters analyse various solutions to the problem of foreknowledge and freedom, revealing the advantages and drawbacks of each. Building on this analysis, the authors advance constructive solutions, showing under what conditions an entity can be omniscient in the presence of free agents, and whether an eternal entity can know the tensed futures of the world. The metaphysics of time, its topology and the semantics of future tensed sentences are shown to be invaluable topics in dealing with this issue. Combining investigations into the metaphysics of time with the discipline of temporal Logic this monograph brings about important advancements in the philosophical understanding of an ancient and fascinating problem. The answer, if any, is hidden in the folds of time, in the elusive nature of this feature of reality and in the infinite branching of our lives. (shrink)

This volume provides a detailed account of the syntax of expressive language, that is, utterances that express, rather than describe, the emotions and attitudes of the speaker... Daniel Gutzmann demonstrates that expressivity has strong syntactic reflexes that interact with the semantic and pragmatic interpretation of these utterances, and argues that expressivity is in fact a syntactic feature on a par with other established features such as tense and gender. Evidence for this claim is drawn from three detailed case studies (...) of expressive adjectives, intensifiers, and vocatives; their puzzling properties are accounted for through a minimalist approach to syntactic features and agreement, which shows that expressivity can partake in agreement operations, trigger movement, and be selected for syntactically. The analysis not only supports the hypothesis of expressive syntax, but also highlights the hidden role that grammar may play in phenomena that are traditionally considered to be solely semantic in nature" -- Publisher. (shrink)

Time underlies many interesting human behaviors. Thus, the question of how to represent time in connectionist models is very important. One approach is to represent time implicitly by its effects on processing rather than explicitly (as in a spatial representation). The current report develops a proposal along these lines first described by Jordan (1986) which involves the use of recurrent links in order to provide networks with a dynamic memory. In this approach, hidden unit patterns are fed back to themselves: (...) the internal representations which develop thus reflect task demands in the context of prior internal states. A set of simulations is reported which range from relatively simple problems (temporal version of XOR) to discovering syntactic/semantic features for words. The networks are able to learn interesting internal representations which incorporate task demands with memory demands: indeed, in this approach the notion of memory is inextricably bound up with task processing. These representations reveal a rich structure, which allows them to be highly context‐dependent, while also expressing generalizations across classes of items. These representations suggest a method for representing lexical categories and the type/token distinction. (shrink)

Is knowledge-how a hidden knowledge-that, and therefore also a relation between an epistemic subject and a proposition? What is the connection between knowledge-how and knowledge-that? I will deal with both questions in the course of my paper. In the first part, I argue that the term ‘knowledge-how’ is an ambiguous term in a semantic pragmatic sense, blending two distinct meanings: ‘knowledge-how’ in the sense of knowledge-that, and ‘knowledge-how’ in the sense of an ability. In the second part of my (...) paper, I construe five alternative ways of correlating knowledge-that and knowledge-how in the sense of an ability. I will argue in favour of one of them. I will show that knowledge-how is not a species of knowledge-that but rather that knowledge-that is a species of knowledge-how. More specifically, dispositional knowledge-how is at the core of propositional knowledge-that and accordingly should be understood to be at the center of epistemology. -- In Spanish: ¿Es el saber-cómo un saber-que disfrazado y, por lo tanto, también una relación entre un sujeto epistémico y una proposición? ¿Cuál es la relación entre el saber-cómo y el saber-que? Trataré ambas preguntas a lo largo de mi escrito. En la primera parte, argumento que el término 'saber-cómo' es ambiguo en un sentido semántico-pragmático, combinando dos significados distintos: 'saber-cómo' en el sentido de saber-que, y 'saber-cómo' en el sentido de una habilidad. En la segunda parte de mi escrito, considero cinco formas alternativas de correlacionar saber-que y saber-cómo en el sentido de una habilidad. Argumentaré a favor de una de ellas. Mostraré que el saber-cómo no es una especie de saber-que; más bien, argumentaré que el saber-que es una especie de saber-cómo. Específicamente, que el saber-cómo disposicional está en el núcleo del saber-que proposicional y, por consiguiente, debe entenderse que está en el centro de la epistemología. (shrink)

This paper investigates the question of characterizing first-order LFIs (logics of formal inconsistency) by means of two-valued semantics. LFIs are powerful paraconsistent logics that encode classical logic and permit a finer distinction between contradictions and inconsistencies, with a deep involvement in philosophical and foundational questions. Although focused on just one particular case, namely, the quantified logic QmbC, the method proposed here is completely general for this kind of logics, and can be easily extended to a large family of quantified paraconsistent (...) logics, supplying a sound and complete semantical interpretation for such logics. However, certain subtleties involving term substitution and replacement, that are hidden in classical structures, have to be taken into account when one ventures into the realm of nonclassical reasoning. This paper shows how such difficulties can be overcome, and offers detailed proofs showing that a smooth treatment of semantical characterization can be given to all such logics. Although the paper is well-endowed in technical details and results, it has a significant philosophical aside: it shows how slight extensions of classical methods can be used to construct the basic model theory of logics that are weaker than traditional logic due to the absence of certain rules present in classical logic. Several such logics, however, as in the case of the LFIs treated here, are notorious for their wealth of models precisely because they do not make indiscriminate use of certain rules; these models thus require new methods. In the case of this paper, by just appealing to a refined version of the Principle of Explosion, or Pseudo-Scotus, some new constructions and crafty solutions to certain non-obvious subtleties are proposed. The result is that a richer extension of model theory can be inaugurated, with interest not only for paraconsistency, but hopefully to other enlargements of traditional logic. (shrink)