Different similarity relations on sets are introduced, and their logical properties are investigated. Close relationships are shown to hold between similarity relations that are based on symmetrical difference and operators of belief contraction that are based on relational selection functions. Two new rationality criteria for minimal belief contraction, the maximizing property and the reducing property, are proposed.

Based on a crowdsourced truth value judgment experiment, we provide empirical evidence challenging two classical views in semantics, and we develop a novel account of counterfactuals that combines ideas from inquisitive semantics and causal reasoning. First, we show that two truth-conditionally equivalent clauses can make different semantic contributions when embedded in a counterfactual antecedent. Assuming compositionality, this means that the meaning of these clauses is not fully determined by their truth conditions. This finding has a clear explanation in (...) inquisitive semantics: truth-conditionally equivalent clauses may be associated with different propositional alternatives, each of which counts as a separate counterfactual assumption. Second, we show that our results contradict the common idea that the interpretation of a counterfactual involves minimizing change with respect to the actual state of affairs. We propose to replace the idea of minimal change by a distinction between foreground and background for a given counterfactual assumption: the background is held fixed in the counterfactual situation, while the foreground can be varied without any minimality constraint. (shrink)

The ability to combine words into novel sentences has been used to argue that humans have symbolic language production abilities. Critiques of connectionist models of language often center on the inability of these models to generalize symbolically (Fodor & Pylyshyn, 1988; Marcus, 1998). To address these issues, a connectionist model of sentence production was developed. The model had variables (role‐concept bindings) that were inspired by spatial representations (Landau & Jackendoff, 1993). In order to take advantage of these variables, a novel (...) dual‐pathway architecture with event semantics is proposed and shown to be better at symbolic generalization than several variants. This architecture has one pathway for mapping message content to words and a separate pathway that enforces sequencing constraints. Analysis of the model's hidden units demonstrated that the model learned different types of information in each pathway, and that the model's compositional behavior arose from the combination of these two pathways. The model's ability to balance symbolic and statistical behavior in syntax acquisition and to model aphasic double dissociations provided independent support for the dual‐pathway architecture. (shrink)

This research examines wearable, fashionable interaction design to mediate the narrative and semiotic concepts found in technology and fashion. We discuss the principles of design anthropology using Taiwan proverbs to transmit the “people-situation-reason-object” method and analyze five case studies that provide new approaches for designers engaged in future industry. Design anthropology attempts to engage physiological and psychological design through technological function, meaning formation, and fashion aesthetics to achieve cognition between people and the environment. The wearable, fashionable interaction displays characteristics of (...) narrative and semantics transmitted through craft culture as well as collective, cheerful, and creative performance. It is a confident and innovative attempt, which bears a joyful and fundamental interface. This study takes two directions, with cultural thinking serving as the basis to establish a set of traditional craft designs and interactive objects that assist designers in using the senses to inform and initiate new lifestyle values. (shrink)

Through a detailed examination of the basis of the idea of communication - with its semantic core of "commonality" or the transcendence of difference - Chang argues against the tendency of theorists to value understanding over misunderstanding, clarity over ambiguity, order over disorder. To this end the author revisits the thought of Derrida and considers deconstruction in general. Specifically, he uses the critique of the phenomenological tradition emerging from poststructuralism to clarify the commitments and assumptions inherent in models of communication. (...) A seminal work, Deconstructing Communication will serve as the guiding framework for a constructive debate about the future direction of communication theory. Situated at the intersection of current debates regarding meaning and representation, Deconstructing Communication casts doubt on the seeming innocence of the activity of communication. Using poststructuralist literary theory and philosophy, Briankle G. Chang argues that modern theories fail to provide an adequate explanation for how communication is possible. (shrink)

This article explores how `social harmony' as cultural performance, is conducted by Chinese in their conversation at the surface level, with turbulence and manipulation concealed beneath superficial politeness. Although their more collective cultural orientation may lead them to greater cooperation and less confrontation, Chinese also develop artfully crafted messages to communicate competition and frustration. Selected discourse samples collected in Taiwan were analyzed in depth to show how social harmony may become a matter of external display, constructed, enacted and negotiated through (...) participants' verbal exchanges in their moment-to-moment interaction. It is concluded that superficial harmony allows the extensive web of interpersonal connections and hierarchical positioning to be maintained with minimal discord, while at the same time concealing underlying aggressiveness and ulterior motives. (shrink)

This research examines wearable, fashionable interaction design to mediate the narrative and semiotic concepts found in technology and fashion. We discuss the principles of design anthropology using Taiwan proverbs to transmit the “people-situation-reason-object” method and analyze five case studies that provide new approaches for designers engaged in future industry. Design anthropology attempts to engage physiological and psychological design through technological function, meaning formation, and fashion aesthetics to achieve cognition between people and the environment. The wearable, fashionable interaction displays characteristics of (...) narrative and semantics transmitted through craft culture as well as collective, cheerful, and creative performance. It is a confident and innovative attempt, which bears a joyful and fundamental interface. This study takes two directions, with cultural thinking serving as the basis to establish a set of traditional craft designs and interactive objects that assist designers in using the senses to inform and initiate new lifestyle values. (shrink)

Most theories of slurs fall into one of two families: those which understand slurring terms to involve special descriptive/informational content (however conveyed), and those which understand them to encode special emotive/expressive content. Our view is that both offer essential insights, but that part of what sets slurs apart is use-theoretic content. In particular, we urge that slurring words belong at the intersection of a number of categories in a sociolinguistic register taxonomy, one that usually includes [+slang] and [+vulgar] and always (...) includes [-polite] and [+derogatory]. Thus, e.g., what distinguishes ‘Chinese’ from ‘chink’ is neither a peculiar sort of descriptive nor emotional content, but rather the fact that ‘chink’ is lexically marked as belonging to different registers than ‘Chinese’. It is, moreover, partly such facts which makes slurring ethically unacceptable. (shrink)

Children show a remarkable degree of consistency in learning some words earlier than others. What patterns of word usage predict variations among words in age of acquisition? We use distributional analysis of a naturalistic corpus of child‐directed speech to create quantitative features representing natural variability in word contexts. We evaluate two sets of features: One set is generated from the distribution of words into frames defined by the two adjacent words. These features primarily encode syntactic aspects of word usage. The (...) other set is generated from non‐adjacent co‐occurrences between words. These features encode complementary thematic aspects of word usage. Regression models using these distributional features to predict age of acquisition of 656 early‐acquired English words indicate that both types of features improve predictions over simpler models based on frequency and appearance in salient or simple utterance contexts. Syntactic features were stronger predictors of children's production than comprehension, whereas thematic features were stronger predictors of comprehension. Overall, earlier acquisition was predicted by features representing frames that select for nouns and verbs, and by thematic content related to food and face‐to‐face play topics; later acquisition was predicted by features representing frames that select for pronouns and question words, and by content related to narratives and object play. (shrink)

While the genre-based approach has assumed increasing prominence in discussions of writing pedagogy for diverse classrooms, little is known about how secondary school student-teachers understand and adopt genre pedagogies in the English as a foreign language writing class. Based on the data from semi-structured interviews and teaching materials, this study examined Chinese EFL student-teachers’ knowledge and use of genre-based writing instruction during the teaching practicum and explored the challenges they encountered in enacting it. The findings demonstrated that teacher informants showed (...) some familiarity with genre pedagogies, especially in terms of scaffolding the linguistic features and semantic patterns in the focused genres. However, they were generally confused over the connection between language, content, and context, and their GBWI practice scarcely involved the explicit teaching of the linguistic and semantic choices for a specific audience and context, which gave rise to some perceived tensions in the teaching reality. Further probing has revealed the complex interplay between Chinese EFL student-teachers’ professional knowledge, perceived difficulties, and genre instructional practice in the secondary school writing class. The study concludes with practical implications for the student-teachers’ professional development of effective GBA. (shrink)

The natural interpretation of counterfactuals with disjunctive antecedents involves selecting from each of the disjuncts the worlds that come closest to the world of evaluation. It has been long noticed that capturing this interpretation poses a problem for a minimal change semantics for counterfactuals, because selecting the closest worlds from each disjunct requires accessing the denotation of the disjuncts from the denotation of the disjunctive antecedent, which the standard boolean analysis of or does not allow (Creary and (...) Hill, Philosophy of Science 43:341–344, 1975; Nute, Journal of Philosophy 72:773–778, 1975; Fine, Mind 84(335):451–458, 1975; Ellis et al. Journal of Philosophical Logic 6:335–357, 1977). This paper argues that the failure to capture the natural interpretation of disjunctive counterfactuals provides no reason to abandon a minimal change semantics. It shows that the natural interpretation of disjunctive counterfactuals is expected once we refine our assumptions about the semantics of or and the logical form of conditionals, and (i) we assume that disjunctions introduce propositional alternatives in the semantic derivation, in line with independently motivated proposals about the semantics of or (Aloni, 2003a; Simons, Natural Language Semantics 13:271–316, 2005; Alonso-Ovalle, Disjunction in Alternative Semantics. PhD thesis, 2006); and (ii) we treat conditionals as correlative constructions, as advocated in von Fintel (1994), Izvorski (Proceedings of NELS 26, 1996), Bhatt and Pancheva (2006), and Schlenker (2004). (shrink)

In this paper I formalize the notion of minimal disturbance, as this seems to be required by usual interpretations of the theory of quantum mechanics, and construct a quantum logical (lattice) model of the type of situation that seems to be at the root of the problem of the interpretation of Luders’ projection rule as a criterion of minimal disturbance for individual state transformations. What is particularly interesting in the situation to be depicted here is that, on the (...) basis of a simple model, which depends only on some very general features of the lattice structure of the theory (and its semantical interpretation), usual interpretive assumptions on minimal disturbance appear to be wanting.If we restrict our attention to the statistics of measurement results, Luders’ rule can, easily be interpreted as a formula describing ‘minimal change’ for statistical states. (shrink)

This study employs a knowledge graph approach to realize the representation and association of information resources, promote the research, teaching, and dissemination of Dunhuang cultural heritage (CH). The Dunhuang Mogao Grottoes is a UNESCO world CH site, and digitization of Dunhuang CH has produced a large amount of information resources. However, these digitized resources continue to lack the systematic granular semantic representation required to correlate Dunhuang cultural heritage information (CHI) in order to facilitate efficient research and appreciation. To respond to (...) this need, new approaches for representing CHI are being developed. This study identifies five facets and their semantic relationship to Dunhuang CH, constructs an ontology model to regulate the entities, attributes, and relationships of Dunhuang CH knowledge, and subsequently processes the resulting data using various techniques (such as semantic annotation and entity association) to facilitate rendering the data in a knowledge graph construction. Finally, we constructed a DH-oriented knowledge graph service platform in order to provide a user friendly visual display and semantic retrieval service. (shrink)

Recent studies have revealed that the temporal lobe, a cortical region thought to be in charge of episodic and semantic memory, is involved in creative insight. This work examines the contributions of discrete temporal regions to insight. Activity in the medial temporal regions is indicative of novelty recognition and detection, which is necessary for the formation of novel associations and the “Aha!” experience. The fusiform gyrus mainly affects the formation of gestalt-like representation and perspective taking. The anterior and posterior middle (...) temporal gyri are individually associated with extensive semantic processing and inhibiting salient or routine word associations, which are necessary to form non-salient, novel and remote associations. The anterior and posterior superior temporal gyri are individually responsible for integrating/binding and accessing various types of available conceptual representations. Based on the current knowledge, an integrated model of the temporal lobe's role in insight and some future directions are proposed. (shrink)

Urban streetscapes are outdoor areas in which the general public can appreciate green landscapes and engage in outdoor activities along the street. This study tested the extent to which the degree of awareness of urban street trees impacts attention restoration and perceived restorativeness. We manipulated the degree of awareness of street trees. Participants were placed into four groups and shown different images: (a) streetscapes with absolutely no trees; (b) streetscapes with flashes of trees in which participants had minimal awareness (...) of the content; (c) streetscapes with trees; and (d) streetscapes with trees to which participants were told to pay attention. We compared the performance of 138 individuals on measures of attention and their evaluations of perceived restorativeness. Two main findings emerged. First, streetscapes with trees improved the performance of participants on attentional tests even without their awareness of the trees. Second, participants who had raised awareness of street trees performed best on the attentional test and rated the streetscapes as being more restorative. These findings enhance our knowledge about the role of an individual's awareness of restorative elements and have implications for designers and individuals who are at risk of attentional fatigue. (shrink)

Computational visual perception, also known as computer vision, is a field of artificial intelligence that enables computers to process digital images and videos in a similar way as biological vision does. It involves methods to be developed to replicate the capabilities of biological vision. The computer vision’s goal is to surpass the capabilities of biological vision in extracting useful information from visual data. The massive data generated today is one of the driving factors for the tremendous growth of computer vision. (...) This survey incorporates an overview of existing applications of deep learning in computational visual perception. The survey explores various deep learning techniques adapted to solve computer vision problems using deep convolutional neural networks and deep generative adversarial networks. The pitfalls of deep learning and their solutions are briefly discussed. The solutions discussed were dropout and augmentation. The results show that there is a significant improvement in the accuracy using dropout and data augmentation. Deep convolutional neural networks’ applications, namely, image classification, localization and detection, document analysis, and speech recognition, are discussed in detail. In-depth analysis of deep generative adversarial network applications, namely, image-to-image translation, image denoising, face aging, and facial attribute editing, is done. The deep generative adversarial network is unsupervised learning, but adding a certain number of labels in practical applications can improve its generating ability. However, it is challenging to acquire many data labels, but a small number of data labels can be acquired. Therefore, combining semisupervised learning and generative adversarial networks is one of the future directions. This article surveys the recent developments in this direction and provides a critical review of the related significant aspects, investigates the current opportunities and future challenges in all the emerging domains, and discusses the current opportunities in many emerging fields such as handwriting recognition, semantic mapping, webcam-based eye trackers, lumen center detection, query-by-string word, intermittently closed and open lakes and lagoons, and landslides. (shrink)

The main goal of this paper is to investigate the relation between the meaning of a sentence and its truth conditions. We report on a comprehension experiment on counterfactual conditionals, based on a context in which a light is controlled by two switches. Our main finding is that the truth-conditionally equivalent clauses (i) "switch A or switch B is down" and (ii) "switch A and switch B are not both up" make different semantic contributions when embedded in a conditional antecedent. (...) Assuming compositionality, this means that (i) and (ii) differ in meaning, which implies that the meaning of a sentential clause cannot be identified with its truth conditions. We show that our data have a clear explanation in inquisitive semantics: in a conditional antecedent, (i) introduces two distinct assumptions, while (ii) introduces only one. Independently of the complications stemming from disjunctive antecedents, our results also challenge analyses of counterfactuals in terms of minimal change from the actual state of affairs: we show that such analyses cannot account for our findings, regardless of what changes are considered minimal. (shrink)

Proof theory and semantics of an adaptive logic that deals adequately with change in individuals with or without a name are presented. New logical constants are introduced, viz. indicators. Within a given context they function as names, predicates and quantifiers at the same time. The thus extended language (of classical logic) has a big expressive power and solvespartly — the (classical) non-logical presuppositions with respect to ‘the existence of individuals’. Nevertheless, from a purely logical point of view, the (...) here pre - sented logic requires nothing but a very intuitive selection of classical models of the premises, viz. the minimally abnormal ones. (shrink)

We describe a strategy for integration of data that is based on the idea of semantic enhancement. The strategy promises a number of benefits: it can be applied incrementally; it creates minimal barriers to the incorporation of new data into the semantically enhanced system; it preserves the existing data (including any existing data-semantics) in their original form (thus all provenance information is retained, and no heavy preprocessing is required); and it embraces the full spectrum of data sources, types, (...) models, and modalities (including text, images, audio, and signals). The result of applying this strategy to a given body of data is an evolving Dataspace that allows the application of a variety of integration and analytic processes to diverse data contents. We conceive semantic enhancement (SE) as a lightweight and flexible process that leverages the richness of the structured contents of the Dataspace without adding storage and processing burdens to what, in the intelligence domain, will be an already storage- and processing-heavy starting point. SE works not by changing the data to which it is applied, but rather by adding an extra semantic layer to this data. We sketch how the semantic enhancement approach can be applied consistently and in cumulative fashion to new data and data-models that enter the Dataspace. (shrink)

The use of list-learning paradigms to explore false memory has revealed several critical findings about the contributions of similarity and relatedness in memory phenomena more broadly. Characterizing the nature of “similarity and relatedness” can inform researchers about factors contributing to memory distortions and about the underlying associative and semantic networks that support veridical memory. Similarity can be defined in terms of semantic properties, lexical/associative properties, or structural properties. By manipulating the type of list and its relationship to a non-studied critical (...) item, we review the effects of these types of similarity on veridical and false memory. All forms of similarity reviewed here result in reliable error rates and the effects on veridical memory are variable. The results across a variety of paradigms and tests provide partial support for a number of theoretical explanations of false memory phenomena, but none of the theories readily account for all results. (shrink)

According to the Ramsey Test, conditionals reflect changes of beliefs: α > β is accepted in a belief state iff β is accepted in the minimal revision of it that is necessary to accommodate α. Since Gärdenfors’s seminal paper of 1986, a series of impossibility theorems (“triviality theorems”) has seemed to show that the Ramsey test is not a viable analysis of conditionals if it is combined with AGM-type belief revision models. I argue that it is possible to endorse (...) that Ramsey test for conditionals while staying true to the spirit of AGM. A main focus lies on AGM’s condition of Preservation according to which the original belief set should be fully retained after a revision by information that is consistent with it. I use concrete representations of belief states and (iterated) revisions of belief states as semantic models for (nested) conditionals. Among the four most natural qualitative models for iterated belief change, two are identified that indeed allow us to combine the Ramsey test with Preservation in the language containing only flat conditionals of the form α > β. It is shown, however, that Preservation for this simple language enforces a violation of Preservation for nested conditionals of the form α > (β > γ). In such languages, no two belief sets are ordered by strict subset inclusion. I argue that it has been wrong right from the start to expect that Preservation holds in languages containing nested conditionals. (shrink)

We describe a model of iterated belief revision that extends the AGM theory of revision to account for the effect of a revision on the conditional beliefs of an agent. In particular, this model ensures that an agent makes as few changes as possible to the conditional component of its belief set. Adopting the Ramsey test, minimal conditional revision provides acceptance conditions for arbitrary right-nested conditionals. We show that problem of determining acceptance of any such nested conditional can be (...) reduced to acceptance tests for unnested conditionals. Thus, iterated revision can be accomplished in a "virtual" manner, using uniterated revision. (shrink)

Since their introduction by Partee and Rooth (1983) into linguistic theory, type shifting principles have been extensively employed in various linguistic domains, including nominal predicates (Partee 1987), kind denoting NPs (Chierchia 1998), interrogatives (Groenendijk and Stokhof 1989), scrambled definites (De Hoop and Van der Does 1998) and plurals (Winter 2001,2002). Most of the accounts that use type shifting principles employ them as ``last resort'' mechanisms, which apply only when other compositional mechanisms fail. This failure is often sloppily referred to as (...) type mismatch . The motivation for introducing type mismatch into the compositional mechanism is twofold: on the one hand it allows lexical items to be assigned the minimal types that are needed for describing their denotation; on the other hand, it has been argued that the ``last resort'' strategy of type shifting prevents derivation of undesired meanings. The first goal of this paper is to define a simple notion of type mismatch, which will rather closely follow Partee and Rooth's original proposal but will be expressed within more familiar terms of categorial semantics. After introducing this implementation of traditional type mismatch, it will be argued that in fact, it covers only one possible kind of trigger for type shifting principles. Partee and Rooth's notion of mismatch is ``external'' in that the type of an expression is changed only when it combines with another type to which it cannot compose using the ``normal'' compositional mechanism. It will be argued that, within an appropriate type system, another notion of mismatch is also useful. This is the kind of mismatch in which the semantic type of an expression does not match its syntactic category. Two such cases will be explored: mismatch between morpho-syntactic number (singular or plural) and semantic number (a denotation ranging over atoms or sets), and mismatch between syntactic category (noun, DP, adjective etc.) and semantic role (predicate, quantifier, predicate modifier etc.).. (shrink)

Minimal Semantics asks what a theory of literal linguistic meaning is for - if you were to be given a working theory of meaning for a language right now, what would you be able to do with it? Emma Borg sets out to defend a formal approach to semantic theorising from a relatively new type of opponent - advocates of what she call 'dual pragmatics'. According to dual pragmatists, rich pragmatic processes play two distinct roles in linguistic comprehension: (...) as well as operating in a post-semantic capacity to determine the implicatures of an utterance, they also operate prior to the determination of truth-conditional content for a sentence. That is to say, they have an integral role to play within what is usually thought of as the semantic realm. Borg believes dual pragmatic accounts constitute the strongest contemporary challenge to standard formal approaches to semantics since they challenge the formal theorist to show not merely that there is some role for formal processes on route to determination of semantic content, but that such processes are sufficient for determining content. Minimal Semantics provides a detailed examination of this school of thought, introducing readers who are unfamiliar with the topic to key ideas like relevance theory and contextualism, and looking in detail at where these accounts diverge from the formal approach. Borg's defence of formal semantics has two main parts: first, she argues that the formal approach is most naturally compatible with an important and well-grounded psychological theory, namely the Fodorian modular picture of the mind. Then she argues that the main arguments adduced by dual pragmatists against formal semantics - concerning apparent contextual intrusions into semantic content - can in fact be countered by a formal theory. The defence holds, however, only if we are sensitive to the proper conditions of success for a semantic theory. Specifically, we should reject a range of onerous constraints on semantic theorizing (e.g., that it answer epistemic or metaphysical questions, or that it explain our communicative skills) and instead adopt a quite minimal picture of semantics. (shrink)

We develop a new theory of the cognitive changes around 4 years of age by trying to explain why understanding of false belief and of alternative naming emerge at this age. We make use of the notion of discourse referents as it is used in File Change Semantics, one of the early forms of the more widely known Discourse Representation Theory. The assumed cognitive change exists in how children can link DRs in their mind to external referents. (...) The younger children check whether the conditions for a DR match the conditions of an external entity. The older children, in addition, have an explicit understanding of reference in virtue of making explicit identity assertions. This involves the metarepresentational ability of representing that different DRs represent the same external referent, which — we argue — is required for alternative naming and for the false belief task. (shrink)

When an event occurs which involves a change from a state ϕ\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$\phi $$\end{document} to a state not-ϕ\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$\phi $$\end{document}, when does the change occur? This is known in the philosophical literature as the problem of the moment of change. I discuss a puzzle based on this problem raised by Sextus Empiricus in Against the Physicists. I compare two lines (...) of solution, one provided by Hans Kamp’s work on the logic of change and the other inspired by Aristotle’s claim that change cannot happen at an instant. I end with a discussion of these solutions vis-à-vis the account of cessation implicatures proposed by Altshuler and Schwarzschild. (shrink)

Ontologically minimal truth law semantics are provided for various branches of formal logic (classical propositional logic, S5 modal propositional logic, intuitionistic propositional logic, classical elementary predicate logic, free logic, and elementary arithmetic). For all of them logical validity/truth is defined in an ontologically minimal way, that is, not via truth value assignments or interpretations. Semantical soundness and completeness are proved (in an ontologically minimal way) for a calculus of classical elementary predicate logic.

I propose an account of indicative conditionals that combines features of minimal change semantics and information semantics. As in information semantics, conditionals are interpreted relative to an information state in accordance with the Ramsey test idea: “if p then q” is supported at a state s iff q is supported at the hypothetical state s[p] obtained by restricting s to the p-worlds. However, information states are not modeled as simple sets of worlds, but by means (...) of a Lewisian system of spheres. Worlds in the inner sphere are considered possible; worlds outside of it are ruled out, but to different degrees. In this way, even when a state supports “not p”, it is still possible to suppose p consistently. I argue that this account does better than its predecessors with respect to a set of desiderata concerning inferences with conditionals. In particular, it captures three important facts: that a conditional is logically independent from its antecedent; that a sequence of antecedents behaves like a single conjunctive antecedent ; and that conditionals restrict the quantification domain of epistemic modals. I also discuss two ways to construe the role of a premise, and propose a generalized notion of entailment that keeps the two apart. (shrink)

We present a decision-theoretically motivated notion of contraction which, we claim, encodes the principles of minimal change and entrenchment. Contraction is seen as an operation whose goal is to minimize loses of informational value. The operation is also compatible with the principle that in contracting A one should preserve the sentences better entrenched than A (when the belief set contains A). Even when the principle of minimal change and the latter motivation for entrenchment figure prominently among (...) the basic intuitions in the works of, among others, Quine and Ullian (1978), Levi (1980, 1991), Harman (1988) and Gärdenfors (1988), formal accounts of belief change (AGM, KM – see Gärdenfors (1988); Katsuno and Mendelzon (1991)) have abandoned both principles (see Rott (2000)). We argue for the principles and we show how to construct a contraction operation, which obeys both. An axiom system is proposed. We also prove that the decision-theoretic notion of contraction can be completely characterized in terms of the given axioms. Proving this type of completeness result is a well-known open problem in the field, whose solution requires employing both decision-theoretical techniques and logical methods recently used in belief change. (shrink)

When a group of agents attempts to reach an agreement on certain issues, it is usually desirable that the resulting consensus be as close as possible to the original judgments of the individuals. However, when these judgments are logically connected to further beliefs, the notion of closeness should also take into account to what extent the individuals would have to revise their entire belief set to reach an agreement. In this work, we present a model for generation of agreement with (...) respect to a given agenda which allows individual epistemic entrenchment to influence the value of the consensus. While the postulates for the transformation function and their construction resemble those of AGM belief revision, the notion of an agenda is adapted from the theory of judgment aggregation. This allows our model to connect both frameworks. (shrink)

The accessibility relation between possible worlds can be defined in the metalanguage of counterfactual semantics. As a result, counterfactuals can ground the whole of standard modal logic.

This work contrasts conservative or minimally mutilating revisions of empirical theories as they are identified in the presently dominant AGM model of formal belief revision and the structuralist program for the reconstruction of empirical theories. The aim is to make understandable why both approaches only partly succeed in substantially informing and formally restraining the issue. With respect to the rationality of minimal change, the overall result is negative. Readers with an interest in formal epistemology are provided with application (...) cases (mercury anomaly, revision of early thermo-dynamics, introduction of the neutrino), the historically inclined reader is offered a systematic perspective. The discussion can largely be followed without a background in formal logic. (shrink)

Minimal Negation is defined within the basic positive relevance logic in the relational ternary semantics: B+. Thus, by defining a number of subminimal negations in the B+ context, principles of weak negation are shown to be isolable. Complete ternary semantics are offered for minimal negation in B+. Certain forms of reductio are conjectured to be undefinable (in ternary frames) without extending the positive logic. Complete semantics for such kinds of reductio in a properly extended positive (...) logic are offered. (shrink)

The process of revising the beliefs of the actors involved in receiving new information in the form of a representation‐occurrence, i.e. new and contradictory to their current beliefs, can lead to a radical transformation of the latter. This chapter describes two cases such as weak transformation of beliefs and the radical transformation of beliefs. The possible worlds semantics sets out several principles, two of which are of particular interest to us: the rational actor follows a principle of minimal (...) change and seeks to preserve his most “rooted” beliefs. On the contrary, actors who would perform a level 3 Batesonian learning would ipso facto interpret given events in a different way than before, so that they would now interpret the same one in a context that has become different. Such learning would introduce a temporal disruption in individual actors' flow of thoughts, and consequently in the evolution of their network. (shrink)

In the history of formal semantics, the successful joining of linguistic and philosophical work brought with it some difficult foundational questions concerning the nature of meaning and the nature of knowledge of language in the domain of semantics: questions in part about “what’s in the head” of a competent language-user. This paper, part of a project on the history of formal semantics, revisits the central issues of (Partee, 1979) in a historical context, as a clash between two (...) traditions, Fregean and Chomskyan, a clash that accompanied early work combining Montague’s semantics with Chomskyan syntax. Recent advances in philosophy of mind (from, e.g., Stalnaker and Burge) go a long way towards changing the framework of arguments about “psychological reality” and “competence”, challenging the suppositions on which the original dichotomy rested, thus largely defusing the tension. (shrink)

This new and important study of semantic change examines how new meanings arise through language use, especially the various ways in which speakers and writers experiment with uses of words and constructions in the flow of strategic interaction with addressees. In the last few decades there has been growing interest in exploring systemicities in semantic change from a number of perspectives including theories of metaphor, pragmatic inferencing, and grammaticalization. Like earlier studies, these have for the most part been (...) based on data taken out of context. This book is the first detailed examination of semantic change from the perspective of historical pragmatics and discourse analysis. Drawing on extensive corpus data from over a thousand years of English and Japanese textual history, Traugott and Dasher show that most changes in meaning originate in and are motivated by the associative flow of speech and conceptual metonymy. (shrink)

Chomsky’s (1995, 2000a) Minimalist Program (MP) invites a perspective on semantics that is distinctive and attractive. In section one, I discuss a general idea that many theorists should find congenial: the spoken or signed languages that human children naturally acquire and use— henceforth, human languages—are biologically implemented procedures that generate expressions, whose meanings are recursively combinable instructions to build concepts that reflect a minimal interface between the Human Faculty of Language (HFL) and other cognitive systems. In sections two (...) and three, I develop this picture in the spirit of MP, in part by asking how much of the standard Frege-Tarski apparatus is needed in order to provide adequate and illuminating descriptions of the “concept assembly instructions” that human languages can generate. I’ll suggest that we can make do with relatively little, by treating all phrasal meanings as instructions to assemble number-neutral concepts that are monadic and conjunctive. But the goal is not to legislate what counts as minimal in semantics. Rather, by pursuing one line of Minimalist thought, I hope to show how such thinking can be fruitful. (shrink)