The Power of Belnap: Sequent Systems for <Emphasis Type="BoldItalic">SIXTEEN</Emphasis><Subscript><Emphasis Type="Bold">3</Emphasis></Subscript>

The trilattice SIXTEEN₃\textit{SIXTEEN}_3 is a natural generalization of the well-known bilattice FOUR₂\textit{FOUR}_2. Cut-free, sound and complete sequent calculi for truth entailment and falsity entailment in SIXTEEN₃\textit{SIXTEEN}_3 are presented.     

Three-Valued Temporal Logic <Emphasis Type="Italic">Q</Emphasis><Subscript><Emphasis Type="Italic">t</Emphasis></Subscript> and Future Contingents

Prior’s three-valued modal logic Q was developed as a philosophically interesting modal logic. Thus, we should be able to modify Q as a temporal logic. Although a temporal version of Q was suggested by Prior, the subject has not been fully explored in the literature. In this paper, we develop a three-valued temporal logic Q _t and give its axiomatization and semantics. We also argue that Q _t provides a smooth solution to the problem of future contingents. Presented by Daniele Mundici     

Analytic Tableaux for all of <Emphasis Type="Italic">SIXTEEN</Emphasis><Subscript>3</Subscript>

In this paper we give an analytic tableau calculus P L _{1 6} for a functionally complete extension of Shramko and Wansing’s logic. The calculus is based on signed formulas and a single set of tableau rules is involved in axiomatising each of the four entailment relations ? _t , ? _f , ? _i , and ? under consideration—the differences only residing in initial assignments of signs to formulas. Proving that two sets of formulas are in one of the first three entailment relations will in general require developing four tableaux, while proving that they are in the ? relation may require six.     

Sharing <Emphasis Type="Italic">GJB2</Emphasis>/<Emphasis Type="Italic">GJB6</Emphasis> Genetic Test Information with Family Members

Although GJB2/GJB6 genetic testing for non-syndromic hearing loss is available, there is no information regarding sharing of test results with family members. A qualitative study was conducted to elucidate if, how, and why parents of a child with hearing loss share GJB2/GJB6 test results with relatives. Parents whose child had testing (n = 7 positive, n = 4 negative, n = 1 inconclusive results) participated in a semi-structured interview and responses were analyzed using qualitative methods. All participants shared the test result with at least one relative, but selective non-disclosure also was observed. Reasons for, and reactions to, sharing were diverse and differed as a function of test result. In comparing the results from this study to published literature, similarities and differences were identified with regards to disclosure of genetic test results for hearing loss versus other conditions. Differences suggest that hearing loss may have unique attributes that influence responses to genetic test information. Further research is needed to replicate these findings.     

A Few More Useful 8-valued Logics for Reasoning with Tetralattice <Emphasis Type="Italic">EIGHT</Emphasis><Subscript>4</Subscript>

In their useful logic for a computer network Shramko and Wansing generalize initial values of Belnap’s 4-valued logic to the set 16 to be the power-set of Belnap’s 4. This generalization results in a very specific algebraic structure — the trilattice SIXTEEN ₃ with three orderings: information, truth and falsity. In this paper, a slightly different way of generalization is presented. As a base for further generalization a set 3 is chosen, where initial values are a — incoming data is asserted, d — incoming data is denied, and u — incoming data is neither asserted nor denied, that corresponds to the answer “don’t know”. In so doing, the power-set of 3, that is the set 8 is considered. It turns out that there are not three but four orderings naturally defined on the set 8 that form the tetralattice EIGHT ₄. Besides three ordering relations mentioned above it is an extra uncertainty ordering. Quite predictably, the logics generated by a–order (truth order) and d–order (falsity order) coincide with first-degree entailment. Finally logic with two kinds of operations (a–connectives and d–connectives) and consequence relation defined via a–ordering is considered. An adequate axiomatization for this logic is proposed.     

Women with <Emphasis Type="Italic">BRCA1</Emphasis> or <Emphasis Type="Italic">BRCA2</Emphasis> Mutations Renegotiating a Post-Prophylactic Mastectomy Identity: Self-Image and Self-Disclosure.

The Facing Our Risk of Cancer Empowered (FORCE) website is devoted to women at risk for hereditary breast and ovarian cancers. One of the most frequently discussed topics on the archived messaged board has been prophylactic mastectomy (PM) for women with a BRCA1/2 mutation. We reviewed the messages, over a 4 year period, of 21 high risk women and their “conversational” partners who originally posted on a thread about genetic testing, genetic counseling and family history. We used a qualitative research inductive process involving close reading, coding and identification of recurrent patterns, relationships and processes in the data. The women sought emotional support, specific experiential knowledge and information from each other. They frequently found revealing their post PM status problematic because of possible negative reactions and adopted self-protective strategies of evasion and concealment outside of their web-based community. The FORCE message board was considered to be a safe place in which the women could be truthful about their choices and feelings. Results are discussed in terms of Goffman’s concepts “stigma” and “disclosure” and Charmaz’s concepts “interruptions,” “intrusions” and a “dreaded future.”     

Combinations of <Emphasis Type="Italic">Stit</Emphasis> with <Emphasis Type="Italic">Ought</Emphasis> and <Emphasis Type="Italic">Know</Emphasis>

This paper presents a short survey of recent developments in stit theories, with an emphasis on combinations of stit and deontic logic, and those of stit and epistemic logic.     

Efficient <Emphasis Type="Italic">n</Emphasis>-gram analysis in R with <Literal>cmscu</Literal>

We present a new R package, cmscu, which implements a Count-Min-Sketch with conservative updating (Cormode and Muthukrishnan Journal of Algorithms, 55(1), 58–75, 2005), and its application to n-gram analyses (Goyal et al. 2012). By writing the core implementation in C++ and exposing it to R via Rcpp, we are able to provide a memory-efficient, high-throughput, and easy-to-use library. As a proof of concept, we implemented the computationally challenging (Heafield et al. 2013) modified Kneser–Ney n-gram smoothing algorithm using cmscu as the querying engine. We then explore information density measures (Jaeger Cognitive Psychology, 61(1), 23–62, 2010) from n-gram frequencies (for n=2,3) derived from a corpus of over 2.2 million reviews provided by a Yelp, Inc. dataset. We demonstrate that these text data are at a scale beyond the reach of other more common, more general-purpose libraries available through CRAN. Using the cmscu library and the smoothing implementation, we find a positive relationship between review information density and reader review ratings. We end by highlighting the important use of new efficient tools to explore behavioral phenomena in large, relatively noisy data sets.     

<Emphasis Type="Italic">Special Topic:</Emphasis> Creativity in Christianity and Confucianism

By focusing on the Confucian ideal of forming one body with Heaven, Earth, and myriad things, I argue that the distinctive feature of Chinese cosmology is not the absence of cosmogonist concerns, but faith in the interconnectedness of all modalities of being as the result of the continuous creativity of the cosmic process.     

<Emphasis Type="BoldItalic">Special Topic:</Emphasis> Creativity in Christianity and Confucianism

In order respectfully and adequately to compare Confucian and Christian conceptions of creativity, it is necessary to have proper comparative categories. Put roughly, we need to know what creativity is in order to see how Confucianism and Christianity have various versions of it. In respect of what do they agree or differ? So the first order of business is to put forward, however briefly, a theory of creativity in light of which comparisons can be made. Creativity, of course, is a very complicated notion in the West and in East Asia. Two philosophical topics can reveal something of its complication: the problem of the one and the many, and the nature of change.     

<Emphasis Type="Italic">Special Topic:</Emphasis> Confucian and Christian Conceptions of Creativity

In this article the concept of God as creativity (rather than as “the Creator”) is explored. Though creativity is a profound mystery to us humans, it is a plausible concept today because of its interconnectedness with the belief that our cosmos is evolutionary: new orders of reality come into being in the course of time. Three modalities of creativity are explored here: the initial coming into being of the universe (the Big Bang); the creativity manifest in evolutionary processes; the human creation of culture. It is suggested that this creativity itself should be thought of as God: God is creativity. Thus God-talk is given a referent that is specifiable in terms of today’s understandings of the world and the human. God remains a profound mystery here, but one with a significant place in our modern understanding of the world and human life. This article includes text and ideas taken from my book, In the beginning…Creativity (Kaufman 2004).