In lieu of an abstract, here is a brief excerpt of the content:Feminist Studies 45, no. 1. © 2019 by Feminist Studies, Inc. 129 Miriam Kienle Dear Data: Feminist Information Design’s Resistance to Self-Quantification Every Sunday for one year, information designers Giorgia Lupi and Stefanie Posavec sent each other a hand-drawn postcard that featured a data visualization of their week as it pertained to a single aspect of their daily lives: doors opened, clocks checks, sounds heard, smells (...) perceived, and so on (figs. 1–4). With this series of postcards exchanged between Brooklyn and London, Lupi and Posavec gained intimate knowledge of one another through their small/slow data, and at the same time, they produced a critical examination of the capture, interpretation, and visualization of their daily data from a uniquely feminist perspective. Although the field of information design prizes clear, efficient, and seamless presentations of quantified activity, Lupi and Posavec’s Dear Data (2015) is comprised of visualizations that underscore complexity over clarity, present questions rather simply display information, and expose the instability of data itself.1 Against the quantification of embodied experience into seemingly objective and all-encompassing datasets, Dear Data instead looks at data from a feminist perspective, as tied to concrete bodies, localities, and temporalities and visualized in a manner 1. The approach to infographics that prioritizes efficiency, accuracy, and elegance, and thus suppresses the constructed and interpretative nature of both data and its visualization, is perhaps most attributed to Edward Tufte. For Tufte’s aims and methods, see Edward R. Tufte, The Visual Display of Quantitative Information (Cheshire, CT: Graphics Press, 2001). 130 Miriam Kienle that is incomplete, contingent, and constructed.2 This paper will analyze Lupi and Posavec’s designs as providing a model for a feminist approach to data visualization—a model imperative in an age in which the quantitative information (much like a binary understanding of gender) is too often treated as a self-evident fact rather than what feminist philosopher Donna Haraway famously called “situated knowledges.”3 Recently acquired by MoMA’s architecture and design collection, the Dear Data project not only stands out in the collection as the product of two female designers working in the male-dominated fields of technology and design, but also as a project that stresses feminist knowledge production by underscoring how data voids shape datasets and debunking the myth that the world is data that can be captured and visualized with neutral, distanced, and all-encompassing technologies of vision. As Catherine D’Ignazio and Lauren Klein describe in Data Feminism, data visualization from a feminist perspective understands that “bar charts might seem neutral and objective, but are in fact the result of very human and necessarily imperfect design processes.”4 Such a perspective is evident across Dear Data. Take, for example, “Week 42: A week of laughter” (fig. 5). On the key in Posavec’s visualization, she notes: “I tried to capture my laughs which was really hard + got in the way of the enjoying life, hence the data voids. / For a card about laughter I am sad about how this card turned out.”5 This willingness to show the gaps in her data, the complexities of her process, and the imperfections of her visualizations contrasts with the seamless and straightforward displays of information 2. For a feminist approach to data visualization, see Catherine D’Ignazio and Lauren Klein, Data Feminism (Cambridge, MA: MIT Press, 2019), ebook; Catherine D’Ignazio, “What Would Feminist Data Visualization Look Like?” Center for Civic Media. Massachusetts Institute of Technology (blog), December 20, 2015, https://civic.mit.edu/feminist-data-visualization; and Johanna Drucker, Graphesis: Visual Forms of Knowledge Production (Cambridge, MA: Harvard University Press, 2014). 3. Donna Haraway, “Situated Knowledges: The Science Question in Feminism and the Privilege of Partial Perspective,” Feminist Studies 14, no. 3 (1988): 575–99. 4. D’Ignazio and Klein, introduction to their Data Feminism. 5. Giorgia Lupi and Stefanie Posavec, Dear Data (New York: Princeton Architectural Press, 2016), 231. Miriam Kienle 131 or what infographic guru Edward Tufte describes as “Designs so good that they are invisible.”6 Counter to the invisible and seemingly objective visualizations of our personal data to which we have become accustomed (on calorie counters, credit card statements, etc... (shrink)

The purpose of this paper is to look at some existing methods of semantic information quantification and suggest some alternatives. It begins with an outline of Bar-Hillel and Carnap’s theory of semantic information before going on to look at Floridi’s theory of strongly semantic information. The latter then serves to initiate an in-depth investigation into the idea of utilising the notion of truthlikeness to quantify semantic information. Firstly, a couple of approaches to measure truthlikeness are (...) drawn from the literature and explored, with a focus on their applicability to semantic information quantification. Secondly, a similar but new approach to measure truthlikeness/information is presented and some supplementary points are made. (shrink)

We develop a variant of Least Fixed Point logic based on First Orderlogic with a relaxed version of guarded quantification. We develop aGame Theoretic Semantics of this logic, and find that under reasonableconditions, guarding quantification does not reduce the expressibilityof Least Fixed Point logic. But we also find that the guarded version ofa least fixed point algorithm may have a greater time complexity thanthe unguarded version, by a linear factor.

When multiple individuals interact in a conversation or as part of a large crowd, emergent structures and dynamics arise that are behavioral properties of the interacting group rather than of any individual member of that group. Recent work using traditional signal processing techniques and machine learning has demonstrated that global acoustic data recorded from a crowd at a basketball game can be used to classify emergent crowd behavior in terms of the crowd's purported emotional state. We propose that the description (...) of crowd behavior from such global acoustic data could benefit from nonlinear analysis methods derived from dynamical systems theory. Such methods have been used in recent research applying nonlinear methods to audio data extracted from music and group musical interactions. In this work, we used nonlinear analyses to extract features that are relevant to the behavioral interactions that underlie acoustic signals produced by a crowd attending a sporting event. We propose that recurrence dynamics measured from these audio signals via recurrence quantification analysis (RQA) reflect information about the behavioral dynamics of the crowd itself. We analyze these dynamics from acoustic signals recorded from crowds attending basketball games, and that were manually labeled according to the crowds' emotional state across six categories: angry noise, applause, cheer, distraction noise, positive chant, and negative chant. We show that RQA measures are useful to differentiate the emergent acoustic behavioral dynamics between these categories, and can provide insight into the recurrence patterns that underlie crowd interactions. (shrink)

Connectionist attention to variables has been too restricted in two ways. First, it has not exploited certain ways of doing without variables in the symbolic arena. One variable-avoidance method, that of logical combinators, is particularly well established there. Secondly, the attention has been largely restricted to variables in long-term rules embodied in connection weight patterns. However, short-lived bodies of information, such as sentence interpretations or inference products, may involve quantification. Therefore short-lived activation patterns may need to achieve the (...) effect of variables. The paper is mainly a theoretical analysis of some benefits and drawbacks of using logical combinators to avoid variables in short-lived connectionist encodings without loss of expressive power. The paper also includes a brief survey of some possible methods for avoiding variables other than by using combinators. (shrink)

Web search engines usually keep users’ profiles for multiple purposes, such as result ranking and relevancy, market research, and targeted advertisements. However, user web search history may contain sensitive and private information about the user, such as health condition, personal interests, and affiliations that may infringe users’ privacy since a user’s identity may be exposed and misused by third parties. Numerous techniques are available to address privacy infringement, including Private Information Retrieval protocols that use peer nodes to preserve (...) privacy. Previously, we have proved that PIR protocols are vulnerable to the QuPiD Attack. In this research, we proposed NN-QuPiD Attack, an improved version of QuPiD Attack that uses an Artificial Neural Network based model to associate queries with their original users. The results show that the NN-QuPiD Attack gave 0.512 Recall with the Precision of 0.923, whereas simple QuPiD Attack gave 0.49 Recall with the Precision of 0.934 with the same data. (shrink)

Increasing societal concerns regarding the potential deleterious effects of future climate change have galvanized efforts to manage the problem both through reduction of greenhouse gases and through development of plans to reduce the impacts of climate change that cannot be avoided. These critical activities require making decisions under conditions of considerable uncertainty regarding future conditions in physical and human systems. As the focus on providing information about future climate for taking actions to cope with climate change, the science of (...) uncertainty of climate change will develop more and more with the needs of decision makers in mind. (shrink)

According to the interpretational theory of logical validity (IR), logical validity is preservation of truth in all interpretations compatible with the intended meaning of logical expressions. IR suffers from a seemingly defeating objection, the so-called cardinality problem: any instance of the statement ‘There are n things’ is true under all interpretations, since it can be written down using only logical expressions that are not to be reinterpreted; yet ‘There are n things’ is not logically true. I argue that the cardinality (...) problem is indeed a serious problem for IR, when understood in terms of ‘asymmetry of information’. I then argue that IR can be rehabilitated by making quantifiers context-sensitive: what we do not reinterpret is the Kaplanian character of a quantifier, rather than its content. ‘There are n things’ is false in a context where fewer than n things are relevant, so it is not logically true in IR. I finally discuss some objections and ramifications of my account: I discuss how to make space for the possibility of an explicitly absolutely general quantifier in my framework, how terms can be logical even though context-sensitive, and how to recapture classical logic within my framework. (shrink)

Thomas Hofweber has written a very rich book. In line with the conviction that ontology should be informed by linguistic considerations, he develops a systematic approach to central ontological questions as they arise in different regions of discourse. More generally, the book seeks to cast light upon the nature of ontology and its proper place in enquiry. His preferred methodology is not without consequence: it promises, for example, to solve what otherwise look like intractable philosophical puzzles raised by arithmetical practice (...) and numerical discourse, and, likewise, his treatment of propositional discourse has ramifications for larger questions to do with the prospects of metaphysical enquiry generally. (shrink)

The genetic communication system includes the following components: the parent, which represents the information source and which emits messages; the gametes, which are the messenger carriers; and the offspring, which results from the decoding of two of these messages and can, in turn, become an information source.In a diploid species, a pair of heterozygous homologous loci may emit two equally probable messages, the quantity of genetic information (Q) produced being equivalent to: Q=log2 2=1 bit. For n independent (...) pairs of heterozygous homologous loci, Q=n.log2 2=n bits. The evolution of Q is examined whenever the parent is used in inbreeding or crossbreeding. In the case of inbreeding, the initial Q is depleted as the loci become homozygous; for hybridization the evolution of Q is unpredictable. (shrink)

A principal goal of this book is to develop and apply the Situation Semantics framework. Jean Mark Gawron and Stanley Peters adopt a version of the theory in which meanings are built up via syntactically driven semantic composition rules. They provide a substantial treatment of English incorporating treatments of pronomial anaphora, quantification, donkey anaphora, and tense. The book focuses on the semantics of pronomial anaphora and quantification. The authors argue that the ambiguities of sentences with pronouns cannot be (...) adequately accounted for with a theory that represents anaphoric relations only syntactically; their relational framework uniformly deals with anaphoric relations as relations between utterances in context. They argue that there is no need for a syntactic representation of anaphoric relations, or for a theory that accounts for anaphoric ambiguities by resorting to two or more kinds of anaphora. Quantifier scope ambiguities are handled analogously to anaphoric ambiguities. This treatment integrates the Cooper Store mechanism with a theory of meaning that provides both a natural setting for it and a convincing account of what, semantically, is going on. Jean Mark Gawron is a researcher for Hewlett Packard Laboratories, Palo Alto. Stanley Peters is professor of linguistics and symbolic systems at Stanford University and is director of the Center for the Study of Language and Information. (shrink)

Online medical reference websites are utilized by health care providers to enhance their education and decision making. However, these resources may not adequately reveal pharmaceutical-author interactions and their potential conflicts of interest. This investigation: evaluates the correspondence of two well-utilized CoI databases: the Centers for Medicare and Medicaid Services Open Payments and ProPublica’s Dollars for Docs and quantifies CoIs among authors of a publicly available point of care clinical support website which is used to inform evidence-based medicine decisions. Two data (...) sources were used: the hundred most common drugs and the top fifty causes of death. These topics were entered into a freely available database. The authors were then input into CMSOP and PDD and compensation and number of payments were determined for 2013–2015. The subset of highly compensated authors that also reported “Nothing to disclose” were further examined. There was a high degree of similarity between CMSOP and PDD for compensation and payment number. The amount received was 1.4% higher in CMSOP than in PDD. The articles where the authors had received the greatest compensation were in neurology, oncology, and endocrinology. Two authors reporting “Nothing to disclose” received appreciable and potentially relevant compensation. CMSOP and PDD produced almost identical results. CoIs were common among authors but self-reporting may be an inadequate reporting mechanism. Recommendations are offered for improving the CoI transparency of pharmaceutical-author interactions in point-of-care electronic resources. (shrink)

Online medical reference websites are utilized by health care providers to enhance their education and decision making. However, these resources may not adequately reveal pharmaceutical-author interactions and their potential conflicts of interest. This investigation: evaluates the correspondence of two well-utilized CoI databases: the Centers for Medicare and Medicaid Services Open Payments and ProPublica’s Dollars for Docs and quantifies CoIs among authors of a publicly available point of care clinical support website which is used to inform evidence-based medicine decisions. Two data (...) sources were used: the hundred most common drugs and the top fifty causes of death. These topics were entered into a freely available database. The authors were then input into CMSOP and PDD and compensation and number of payments were determined for 2013–2015. The subset of highly compensated authors that also reported “Nothing to disclose” were further examined. There was a high degree of similarity between CMSOP and PDD for compensation and payment number. The amount received was 1.4% higher in CMSOP than in PDD. The articles where the authors had received the greatest compensation were in neurology, oncology, and endocrinology. Two authors reporting “Nothing to disclose” received appreciable and potentially relevant compensation. CMSOP and PDD produced almost identical results. CoIs were common among authors but self-reporting may be an inadequate reporting mechanism. Recommendations are offered for improving the CoI transparency of pharmaceutical-author interactions in point-of-care electronic resources. (shrink)

Online medical reference websites are utilized by health care providers to enhance their education and decision making. However, these resources may not adequately reveal pharmaceutical-author interactions and their potential conflicts of interest. This investigation: evaluates the correspondence of two well-utilized CoI databases: the Centers for Medicare and Medicaid Services Open Payments and ProPublica’s Dollars for Docs and quantifies CoIs among authors of a publicly available point of care clinical support website which is used to inform evidence-based medicine decisions. Two data (...) sources were used: the hundred most common drugs and the top fifty causes of death. These topics were entered into a freely available database. The authors were then input into CMSOP and PDD and compensation and number of payments were determined for 2013–2015. The subset of highly compensated authors that also reported “Nothing to disclose” were further examined. There was a high degree of similarity between CMSOP and PDD for compensation and payment number. The amount received was 1.4% higher in CMSOP than in PDD. The articles where the authors had received the greatest compensation were in neurology, oncology, and endocrinology. Two authors reporting “Nothing to disclose” received appreciable and potentially relevant compensation. CMSOP and PDD produced almost identical results. CoIs were common among authors but self-reporting may be an inadequate reporting mechanism. Recommendations are offered for improving the CoI transparency of pharmaceutical-author interactions in point-of-care electronic resources. (shrink)

We consider collective quantification in natural language. For many years the common strategy in formalizing collective quantification has been to define the meanings of collective determiners, quantifying over collections, using certain type-shifting operations. These type-shifting operations, i.e., lifts, define the collective interpretations of determiners systematically from the standard meanings of quantifiers. All the lifts considered in the literature turn out to be definable in second-order logic. We argue that second-order definable quantifiers are probably not expressive enough to formalize (...) all collective quantification in natural language. (shrink)

Background Analysis of aphasic narratives can be a challenge for clinicians. Previous studies have mainly employed measures that categorized speech samples at the word level. They included quantification of the use and misuse of different word classes, presence and absence of narrative contents and errors, paraphasias, and perseverations, as well as morphological structures and errors within a narrative. In other words, a great amount of research has been conducted in the aphasiology literature focusing on micro-linguistic structures of oral narratives. (...) Aspects of macro- linguistic structures, such as the analysis of content information by a speaker, consistency of using cohesive devices to present information within a narrative, and order of presenting information necessary to form a coherent discourse, have not been extensively investigated. The current investigation proposes a clinical analytic system to target three aspects of macro-linguistic structures in narratives among speakers with aphasia. Specifically, (1) the presence of search events (i.e., the mentioning of key events that allow the listener to understand; Capilouto, Wright, &Wagovich, 2006) within a narrative, (2) the sequence of the mentioned events, and (3) the informativeness (i.e., the fulfillment of lexical items that allow the user to understand what the event is detailing) of the event contents, were focused in the proposed framework. Method Ten controls transcripts from were selected from the AphasiaBank (MacWhinney, Fromm, Forbes, & Holland, 2011). Three narrative tasks, including sequential picture description of ‘Refused Umbrella’, procedural narrative of making a ‘Peanut Butter and Jelly Sandwich’, and telling of ‘Cinderella’ story, were used to establish normative data for the basis of analysis. Specifically, the Search Events (e) and Informative Words (i) used by at least 70% of the speakers were listed for each genre. The sequential order of mentioning the Search Events, i.e., common order of events in 90% of the speakers, (s.total) was determined. Twelve speakers with aphasia (nine fluent and three non-fluent) were recruited and administered the Western Aphasia Battery and Object and Action Naming Battery. Their performance in the above three discourse tasks were orthographically transcribed and analyzed using the following measures: e.total, e.matched with norm, e.missed, e.irrlevant, e.extra, s.total, i.pb&j, i.umbr, i.cind, and i.total. Three samples were randomly chosen to be re-analyzed for inter- and intra-rater reliability. Results Results of an independent t-test suggested significant differences between the fluent and non-fluent subjects in sequential order of Search Events for all genres (s.total) and i.total, suggesting sensitivity of this framework to differentiate between the two fluency groups. Results of Pearson product-moment correlations revealed significant relation between Informative Words and WAB spontaneous speech scores, AQ, as well as OAB scores, for both aphasic groups. The mean value of coefficients for intra-rater reliability (0.992), with significant correlations on e.match, e.miss, and e.extra, was higher than that of inter-rater reliability (0.897). Discussion Based on our preliminary results, this objective framework allowed clinical evaluation of impairment in macro-linguistic structures present in aphasic discourse. Further extension should involve more subjects encompassing a wider range of severity with different types of aphasia. (shrink)

Epistemic modal predicate logic raises conceptual problems not faced in the case of alethic modal predicate logic : Frege’s “Hesperus-Phosphorus” problem—how to make sense of ascribing to agents ignorance of necessarily true identity statements—and the related “Hintikka-Kripke” problem—how to set up a logical system combining epistemic and alethic modalities, as well as others problems, such as Quine’s “Double Vision” problem and problems of self-knowledge. In this paper, we lay out a philosophical approach to epistemic predicate logic, implemented formally in Melvin (...) Fitting’s First-Order Intensional Logic, that we argue solves these and other conceptual problems. Topics covered include: Quine on the “collapse” of modal distinctions; the rigidity of names; belief reports and unarticulated constituents; epistemic roles; counterfactual attitudes; representational vs. interpretational semantics; ignorance of co-reference vs. ignorance of identity; two-dimensional epistemic models; quantification into epistemic contexts; and an approach to multi-agent epistemic logic based on centered worlds and hybrid logic. (shrink)

This volume recasts the influential work of Barbara H. Partee in light of new studies surrounding the semantics of quantification and reference in natural language. The papers examine cutting-edge issues in formal semantics and pragmatics. With topics ranging from the fundamental issues of compositionality and information structure to the analysis of tense and aspect, Reference and Quantification is both an excellent discussion of Partee's work and a thorough overview of developments in current semantics research.

This article studies the monotonicity behavior of plural determinersthat quantify over collections. Following previous work, we describe thecollective interpretation of determiners such as all, some andmost using generalized quantifiers of a higher type that areobtained systematically by applying a type shifting operator to thestandard meanings of determiners in Generalized Quantifier Theory. Twoprocesses of counting and existential quantification thatappear with plural quantifiers are unified into a single determinerfitting operator, which, unlike previous proposals, both capturesexistential quantification with plural determiners and (...) respects theirmonotonicity properties. However, some previously unnoticed factsindicate that monotonicity of plural determiners is not always preservedwhen they apply to collective predicates. We show that the proposedoperator describes this behavior correctly, and characterize themonotonicity of the collective determiners it derives. It is proved thatdeterminer fitting always preserves monotonicity properties ofdeterminers in their second argument, but monotonicity in the firstargument of a determiner is preserved if and only if it is monotonic inthe same direction in the second argument. We argue that this asymmetryfollows from the conservativity of generalized quantifiers innatural language. (shrink)

More and more research on left ventricle quantification skips segmentation due to its requirement of large amounts of pixel-by-pixel labels. In this study, a framework is developed to directly quantify left ventricle multiple indices without the process of segmentation. At first, DenseNet is utilized to extract spatial features for each cardiac frame. Then, in order to take advantage of the time sequence information, the temporal feature for consecutive frames is encoded using gated recurrent unit. After that, the attention (...) mechanism is integrated into the decoder to effectively establish the mappings between the input sequence and corresponding output sequence. Simultaneously, a regression layer with the same decoder output is used to predict multi-indices of the left ventricle. Different weights are set for different types of indices based on experience, and l2-norm is used to avoid model overfitting. Compared with the state-of-the-art, our method can not only produce more competitive results but also be more flexible. This is because the prediction results in our study can be obtained for each frame online while the SOTA only can output results after all frames are analyzed. (shrink)

Logical inferentialists contend that the meanings of the logical constants are given by their inference rules. Not just any rules are acceptable, however: inferentialists should demand that inference rules must reflect reasoning in natural language. By this standard, I argue, the inferentialist treatment of quantification fails. In particular, the inference rules for the universal quantifier contain free variables, which find no answer in natural language. I consider the most plausible natural language correlate to free variables—the use of variables in (...) the language of informal mathematics—and argue that it lends inferentialism no support. (shrink)

Biological sciences have strived to adopt the conceptual framework of physics and have become increasingly quantitatively oriented, aiming to refute the assertion that biology appears unquantifiable, unpredictable, and messy. But despite all effort, biology is characterized by a paucity of quantitative statements with universal applications. Nonetheless, many biological disciplines—most notably molecular biology—have experienced an ascendancy over the last 50 years. The underlying core concepts and ideas permeate and inform many neighboring disciplines. This surprising success is probably not so much attributable (...) to mathematical and statistical approaches in molecular biology, but rather to the preponderance of qualitative approaches, especially visualization. Visualizations can be afforded by quantitative research, but usually they rely on both, quantitative and qualitative research. I claim the following three features to be responsible for the unceasing zeal for using visualizations: visual representations facilitate reasoning, images can be cognitively processed in a “fast” manner, and abstractions of visual representations prompt conceptual advances. In summary, visualizations have largely contributed to the success of molecular biology by conveying its concepts to other disciplines, and at the same time, eclipsing mere quantitative approaches. However, visualizations also bear the risk of misinterpretation when traversing neighboring disciplines and even more so when pervading nonscientific domains. (shrink)

Mauricio Suárez and Agnes Bolinska apply the tools of communication theory to scientific modeling in order to characterize the informational content of a scientific model. They argue that when represented as a communication channel, a model source conveys information about its target, and that such representations are therefore appropriate whenever modeling is employed for informational gain. They then extract two consequences. First, the introduction of idealizations is akin in informational terms to the introduction of noise in a signal; for (...) in an idealization we introduce ‘extraneous’ elements into the model that have no correlate in the target. Second, abstraction in a model is informationally equivalent to equivocation in the signal; for in an abstraction we “neglect” in the model certain features that obtain in the target. They conclude that it becomes possible in principle to quantify idealization and abstraction in informative models, although precise absolute quantification will be difficult to achieve in practice. (shrink)

In a survey of information theory and some of its implications, Warren Weaver has proposed a distinction between engineering noise and semantic noise. Ordinary Spanish usage reflects this distinction quite neatly. If A speaks to B and B responds with no entiendo, it means ‘I have not heard your words, because of interfering sound or lack of attention; please transmit the same message again’; if he responds with no comprendo, it means ‘I heard you all right, but what I (...) heard doesn't make sense; please paraphrase or explain.’ Channel noise, thus, is the responsible factor when that which leaves a transmitter is not that which reaches the receiver; semantic noise is a discrepancy between the codes used by transmitter and receiver. (shrink)

Featured course on "Dynamic Semantics" at NASSLLI 2016. Day 5: Quantification. Abstract: In discourse, quantifiers can function as antecedents or anaphors. We analyze a sample discourse in Dynamic Plural Logic (DPlL, van den Berg 1993, 1994), which represents not only current discourse referents, but also current relations by means of plural information states. This makes it possible to analyze quantification as structured discourse reference. Finally, the DPlL analysis is transposed into Update with Centering, to simplify the formalism (...) and relate quantification to earlier discussion in the course. (shrink)

Logicians have often suggested that the use of Euler-type diagrams has influenced the idea of the quantification of the predicate. This is mainly due to the fact that Euler-type diagrams display more information than is required in traditional syllogistics. The paper supports this argument and extends it by a further step: Euler-type diagrams not only illustrate the quantification of the predicate, but also solve problems of traditional proof theory, which prevented an overall quantification of the predicate. (...) Thus, Euler-type diagrams can be called the natural basis of syllogistic reasoning and can even go beyond. In the paper, these arguments are presented in connection with the book Nucleus Logicae Weisaniae by Johann Christian Lange from 1712. (shrink)

The present event‐related potential (ERP) study used picture–sentence verification to investigate the neurolinguistic correlates of the online processing of compositional‐semantic information. To this end, we examined context effects on sentences involving temporal adverbial quantification likeJana war jeden Morgen schwimmen an den Arbeitstagen (“Jana went for a swim every morning during the working week”). We tested whether the conceptual complexity associated with quantifying over time intervals leads to delayed predictions regarding the upcoming words in a sentence. The present study (...) replicated previous results relating to quantification over individuals, which are conceptually less complex than time intervals. Analogous to previous studies, false vs. true sentences elicited an N400 whenever contextual cues did not permit a potential revision of a locally assigned truth value. The present results are compatible with an approach under which contextual cues are immediately considered for predicting how a sentence continues. The fact that the contextual complexity did not lead to processing delays indicates that the processing system quickly abstracts away from the conceptual complexity associated with the linguistic input if such an abstraction is possible. (shrink)

The paper proposes an account of the contrast (noticed in Karttunen 1976) between the interpretations of the following two discourses: Harvey courts a girl at every convention. {She is very pretty. vs. She always comes to the banquet with him.}. The initial sentence is ambiguous between two quantifier scopings, but the first discourse as a whole allows only for the wide-scope indefinite reading, while the second allows for both. This cross-sentential interaction between quantifier scope and anaphora is captured by means (...) of a new dynamic system couched in classical type logic, which extends Compositional DRT (Muskens 1996) with plural information states (modeled, following van den Berg 1996, as sets of variable assignments). Given the underlying type logic, compositionality at sub-clausal level follows automatically and standard techniques from Montague semantics become available. The paper also shows that modal subordination (A wolf might come in. It would eat Harvey first) can be analyzed in a parallel way, i.e. the system captures the anaphoric and quantificational parallels between the individual and modal domains argued for in Stone (1999) (among others). In the process, we see that modal / individual-level quantifiers enter anaphoric connections as a matter of course, usually functioning simultaneously as both indefinites and pronouns. (shrink)

This book is the result of a collective research effort performed during many years in both Sweden and Spain. It is the result of attempting to develop a new field of research that could we denominate «human act informatics.» The goal has been to use the technologies of information to the study of the human act in general, including embodied acts and disembodied acts. The book presents a theory of the quantification of the informational value of human acts (...) as order, opposing the living order against entropy. We present acting as a set of decisions and choices aimed to create order and to impose Modernity. Karl Popper’s frequency theory of probability is applied to characterize human acts regarding their degree of freedom and to set up a scale of order in human decisions. The traditional theory of economics and social science characterize the human act as rational, utilitarian and ethical. Our results emphasize that the unique significance of an act lies in its capacity to generate order. An adequate methodology is then presented to defend such hypothesis according to which, the rationality respective irrationality of acting, is in fact only a function of the act’s organizational capacity. From this perspective, it has been necessary to define «order» respective «disorder» as operative concepts that allowed the comparison of the organizational differences generated by each kind of act. According to the presented conclusions, the spontaneity of living, as unconscious thinking, dreaming, loving, etc. and the mainstream of the human acts, are utilitarian, but in an irrational way; they are rooted in unconscious drifts and therefore must be considered irrational-utility acts. (shrink)

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)

The paper argues that two distinct and independent notions of plurality are involved in natural language anaphora and quantification: plural reference (the usual non-atomic individuals) and plural discourse reference, i.e., reference to a quantificational dependency between sets of objects (e.g., atomic/non-atomic individuals) that is established and subsequently elaborated upon in discourse. Following van den Berg (PhD dissertation, University of Amsterdam, 1996), plural discourse reference is modeled as plural information states (i.e., as sets of variable assignments) in a new (...) dynamic system couched in classical type logic that extends Compositional DRT (Muskens, Linguistics and Philosophy, 19, 143-186, 1996). Given the underlying type logic, compositionality at sub-clausal level follows automatically and standard techniques from Montague semantics become available. The idea that plural info states are semantically necessary (in addition to non-atomic individuals) is motivated by relative-clause donkey sentences with multiple instances of singular donkey anaphora that have mixed (weak and strong) readings. At the same time, allowing for non-atomic individuals in addition to plural info states enables us to capture the intuitive parallels between singular and plural (donkey) anaphora, while deriving the incompatibility between singular (donkey) anaphora and collective predicates. The system also accounts for empirically unrelated phenomena, e.g., the uniqueness effects associated with singular (donkey) anaphora discussed in Kadmon (Linguistics and Philosophy, 13, 273-324, 1990) and Heim (Linguistics and Philosophy, 13, 131-177, 1990) among others. (shrink)

This paper sheds further light on the role of quantification in corporate environmental disclosures. Quantification is an inherently social practice, which has attracted a fair amount of academic interest in recent years. At the same time, in the field of social and environmental accounting there is a paucity of research on quantification or the role it plays for organisations, for organisational communication and in societies more broadly. Accordingly, in this paper, we will draw on a qualitative case (...) study to discuss the potential implications that might arise from the use of quantified information in corporate environmental disclosures. Our case study illustrates the diverse effects of quantification suggested in the prior literature by placing them in the context of corporate environmental disclosures. We discuss how quantification implies fake precisionism and promotes commensuration of incomparables, thereby limiting the discussion to themes and questions preferred by company management. We maintain that quantification, while appearing to produce neutral and value-free information, has a substantive ethical dimension through how it implicates accountability relationships as well as the respective power relations between diverse stakeholders in societies. (shrink)

Situations serving as worlds as well as events in linguistic semantics are formulated as strings recording observations over discrete time. This formulation is applied to a linear temporal logic, in line with L. Schubert’s distinction between described and characterized situations. The distinction is developed topologically and computationally, and linked to the opposition between truth-conditional and proof-conditional semantics. For a finitary handle on quantification, strings are associated with situations not only on the basis of observation but also through derivation and (...) constraint satisfaction. The constraints specified lead to an implementation simpler than the derivations given. © 2009 Elsevier Inc. All rights reserved. (shrink)

Building on Peres’ idea of “Delayed-choice for entanglement swapping” we show that even the degree to which quantum systems were entangled can be defined after they have been registered and may even not exist any more. This does not arise as a paradox if the quantum state is viewed as just a representative of information. Moreover such a view gives a natural quantification of the complementarity between the measure of information about the input state for teleportation and (...) the amount of entanglement of the resulting swapped entangled state. (shrink)

This monograph offers a new foundation for information theory that is based on the notion of information-as-distinctions, being directly measured by logical entropy, and on the re-quantification as Shannon entropy, which is the fundamental concept for the theory of coding and communications. Information is based on distinctions, differences, distinguishability, and diversity. Information sets are defined that express the distinctions made by a partition, e.g., the inverse-image of a random variable so they represent the pre-probability notion (...) of information. Then logical entropy is a probability measure on the information sets, the probability that on two independent trials, a distinction or “dit” of the partition will be obtained. The formula for logical entropy is a new derivation of an old formula that goes back to the early twentieth century and has been re-derived many times in different contexts. As a probability measure, all the compound notions of joint, conditional, and mutual logical entropy are immediate. The Shannon entropy and its compound notions are then derived from a non-linear dit-to-bit transform that re-quantifies the distinctions of a random variable in terms of bits—so the Shannon entropy is the average number of binary distinctions or bits necessary to make all the distinctions of the random variable. And, using a linearization method, all the set concepts in this logical information theory naturally extend to vector spaces in general—and to Hilbert spaces in particular—for quantum logical information theory which provides the natural measure of the distinctions made in quantum measurement. Relatively short but dense in content, this work can be a reference to researchers and graduate students doing investigations in information theory, maximum entropy methods in physics, engineering, and statistics, and to all those with a special interest in a new approach to quantum information theory. (shrink)

We extend the concept that life is an informational phenomenon, at every level of organisation, from molecules to the global ecological system. According to this thesis: living is information processing, in which memory is maintained by both molecular states and ecological states as well as the more obvious nucleic acid coding; this information processing has one overall function—to perpetuate itself; and the processing method is filtration of, and synthesis of, information at lower levels to appear at higher (...) levels in complex systems . We show how information patterns, are united by the creation of mutual context, generating persistent consequences, to result in ‘functional information’. This constructive process forms arbitrarily large complexes of information, the combined effects of which include the functions of life. Molecules and simple organisms have already been measured in terms of functional information content; we show how quantification may be extended to each level of organisation up to the ecological. In terms of a computer analogy, life is both the data and the program and its biochemical structure is the way the information is embodied. This idea supports the seamless integration of life at all scales with the physical universe. The innovation reported here is essentially to integrate these ideas, basing information on the ‘general definition’ of information, rather than simply the statistics of information, thereby explaining how functional information operates throughout life. (shrink)

The dialogical games introduced in Jaakko Hintikka, Information-Seeking Dialogues: A Model, (Erkenntnis, vol. 14, 1979) are studied here to answer the question as to what the natural logic or the logic of natural language is. In a natural language certain epistemic elements are not explicitly indicated, but they determine which inference rules are valid. By means of dialogical games, the question is answered: all classical first-order rules have to be modified in the same way in which some of them (...) are modified in the transition to intuitionistic logic. (Furthermore, in some cases quantificational rules have to be modified further.) The rules that are left unmodified by intuitionists are applicable only to the output of certain game rules, but not to others. In. this sense, neither classical nor yet intuitionistic logic is the logic of natural language. We need a new type of nonclassical logic, justified by our information-seeking dialogues. (shrink)

Human reasoning involving quantified statements is one area in which findings from cognitive psychology and linguistic pragmatics complement each other. I will show how mental models theory provides a promising account of the mechanisms underlying peoples' performance in three types of reasoning tasks involving quantified premises and conclusions. I will further suggest that relevance theory can help to explain the way in which mental models are employed in the reasoning processes. Conversely, mental models theory suggests that human reasoning typically does (...) not involve deductive rules, which in turn entails a modification to the nature of the deductive processes proposed by relevance theory. The mechanism proposed by mental models theory also helps to clarify the nature of the relevance theory distinction between conceptual and procedural information. (shrink)

Human reasoning involving quantified statements is one area in which findings from cognitive psychology and linguistic pragmatics complement each other. I will show how mental models theory provides a promising account of the mechanisms underlying peoples’ performance in three types of reasoning tasks involving quantified premises and conclusions. I will further suggest that relevance theory can help to explain the way in which mental models are employed in the reasoning processes. Conversely, mental models theory suggests that human reasoning typically does (...) not involve deductive rules, which in turn entails a modification to the nature of the deductive processes proposed by relevance theory. The mechanism proposed by mental models theory also helps to clarify the nature of the relevance theory distinction between conceptual and procedural information. (shrink)

The concept of biological information, and information in general, usually presupposes a purely quantitative view of reality. Even though actualist quantification has an important place in the description of the world, a nominalistic stance that tries to simplify reality in purely actualist terms inevitably runs into inconsistencies; these inconsistencies have been pointed out by the critical assessments of the notion of biological information. Rather than calling for an abandonment of the informational terminology, we try to rethink (...) information as a part of an event, the description of which cannot be exhausted by a physicalist, mechanistic, temporally static view of reality. Reconceptualizing the notion of biological information in terms of a process of interpretation rather than as an informational object allows us to transcend the limitations imposed by an analysis of reality that depends on a fixed, finite structure of outcome. Thus, we argue that measuring biological information is intrinsically problematic. (shrink)

We report two experiments which tested whether cognitive capacities are limited to those functions that are computationally tractable (PTIME-Cognition Hypothesis). In particular, we investigated the semantic processing of reciprocal sentences with generalized quantifiers, i.e., sentences of the form Q dots are directly connected to each other, where Q stands for a generalized quantifier, e.g. all or most. Sentences of this type are notoriously ambiguous and it has been claimed in the semantic literature that the logically strongest reading is preferred (Strongest (...) Meaning Hypothesis). Depending on the quantifier, the verification of their strongest interpretations is computationally intractable whereas the verification of the weaker readings is tractable. We conducted a picture completion experiment and a picture verification experiment to investigate whether comprehenders shift from an intractable reading to a tractable reading which should be dispreferred according to the Strongest Meaning Hypothesis. The results from the picture completion experiment suggest that intractable readings occur in language comprehension. Their verification, however, rapidly exceeds cognitive capacities in case the verification problem cannot be solved using simple heuristics. In particular, we argue that during verification, guessing strategies are used to reduce computational complexity. (shrink)

Cognition is context-sensitive, as the same sensory information is processed differently depending on its context (e.g., on its probabilistic association with goal-directed actions and their outcomes). Despite this, the concept of context in studies of higher-order cognitive processes, like cognitive control, is often simplified to nominal stimulus categories (like a target vs. distractor). Here we propose that quantifying contextual information to model cognitive demands is (1) fruitful as it can provide novel insight into the nature of cognitive control, (...) (2) accessible as simple probability models offer a tool for quantifying context and (3) analytically useful as a fine-grained quantification of context can be entered into more complex models as regressors that allow a direct way of appropriately exploring many of the defining tenants of cognitive control (e.g., rapidly changing trial-by-trial neural dynamics). Here, we briefly describe the logic of using context-sensitive measures of cognitive control and highlight recent studies from this approach using simple information theory metrics. (shrink)

ADVANGEBOOKS - UNDERSTANDING ARGUMENTS: AN INTRODUCTION TO INFORMAL LOGIC, 9E shows readers how to construct arguments in everyday life, using everyday language. In addition, this easy-to-read textbook also devotes three chapters to the formal aspects of logic including forms of argument, as well as propositional, categorical, and quantificational logic. Plus, this edition helps readers apply informal logic to legal, moral, scientific, religious, and philosophical scenarios, too. Important Notice: Media content referenced within the product description or the product text may not (...) be available in the ebook version. (shrink)

This book provides linguists with a clear, critical, and comprehensive overview of theoretical and experimental work on information structure. Leading researchers survey the main theories of information structure in syntax, phonology, and semantics as well as perspectives from psycholinguistics and other relevant fields. Following the editors' introduction the book is divided into four parts. The first, on theories of and theoretical perspectives on information structure, includes chapters on topic, prosody, and implicature. Part 2 covers a range of (...) current issues in the field, including focus, quantification, and sign languages, while Part 3 is concerned with experimental approaches to information structure, including processes involved in its acquisition and comprehension. The final part contains a series of linguistic case studies drawn from a wide variety of the world's language families. This volume will be the standard guide to current work in information structure and a major point of departure for future research. (shrink)

Based on the concept of Informational Cities, which are the highly developed prototypical cities of the 21st century, we conducted a regional comparison of four Japanese cities in terms of their “cityness” and “informativeness”. The purpose of our articles is to specify the theoretical framework for measuring the informativeness and cityness level of any desired city, to quantify the chosen indicators in order to compare the investigated cities, and finally, to conclude what is their advancement level in terms of a (...) modern city of the knowledge society. Our methodology is based on a new approach to measure the position of a city in a national or a global scale, originating from information science and its indicators of the knowledge society. It includes such procedures as desktop research and bibliometrics, ethnographic field study, or grounded theory method. The investigated aspects under the notion of the informativeness level are the distinct labour market and mix of companies located in the city, as well as the progressive e-governance and advanced e-government. The notion of cityness level oscillates around the concept of space of flows in the city, including the flow of money, power, information, and human capital. In order to make our model practical and grounded on available evidence, we have chosen four Japanese cities to undergo the process. Tokyo, Yokohama, Osaka and Kyoto are big and economically significant Japanese metropolises. However, our results show that they differ from each other regarding many important aspects. We were able to quantify their performances and create a ranking. The limitation of our approach appears to be the strict quantification method that makes the cityness and informativeness levels of the cities dependent on other cities’ performances, and that does not precisely reflect the actual dimension of the differences between them. Hence, in the future work we will develop a more flexible and independent approach, enabling us to make more accurate statements on cities’ advancement unregarded the advancement level of the other metropolises. (shrink)