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     

From psychosocial equilibrium to catastrophic breakdown: Cyprus 1955–1974

The recent history of Cyprus presents an example of a society in which a centuries-long peaceful coexistence of diverse populations gave way to violence and murderous hate, with devastating end results. This paper tries to understand and describe the process by which Cypriot society slid from a position of psychosocial equilibrium and integration towards one of disintegration, fragmentation and catastrophic breakdown. This paper draws from work by social anthropologists, sociologists, historians and others, and from my own personal experience. To these I applied insights afforded by psychoanalysis to identify and explore the psychic processes and states of mind that characterized a psychosocial disintegrative process. I came to see external political events and internal psychological processes as inseparably intertwined and dynamically interdependent, each emanating from and catalysing the other. The factual details of the process described are of course unique in their local specificity, but the psychic phenomena that characterized it are not: at both the individual and group levels they are replicated in other societies undergoing similar processes of self-destruction.     

ONE TRUE LOGIC?

This is a paper about the constituents of arguments. It argues that several different kinds of truth-bearer may be taken to compose arguments, but that none of the obvious candidates—sentences, propositions, sentence/truth-value pairs etc.—make sense of logic as it is actually practiced. The paper goes on to argue that by answering the question in different ways, we can generate different logics, thus ensuring a kind of logical pluralism that is different from that of J. C. Beall and Greg Restall.     

Which should you use,intuition or logic? Cultural differences in injunctive norms about reasoning

Past research has shown that tendencies to engage in holistic and analytical reasoning are differentially encouraged by East Asian and Western cultures. But little is known about cultural differences in the perceived value of analytic versus intuitive reasoning. In Study 1, Koreans and Americans ranked the importance of traits including ‘intuitive’ and ‘logical’ in work and family contexts. In Study 2, Euro‐Canadians and East‐Asian‐Canadians read scenarios of intuitive versus rule‐following business decisions. Relative to Western participants, East Asians rated intuitive reasoning as more important and reasonable than analytic reasoning. Implications for the epistemic status of reasoning modes, culture's effect on values about reasoning, and multiculturalism are discussed.     

A low power fuzzy logic based variable resolution ADC for wireless ECG monitoring systems

Portable low power and high quality monitoring devices play an important role for improving the performance of wireless body sensor networks. Mixed signal processor is required in ECG monitoring unit that comprises of analog front end, analog to digital converter (ADC) and digital signal processor. ADC is a core element in mixed signal processing unit and the proper design of ADC is crucial for data acquisition without losing heart related information and originality. The adaptive sampling has been used in the existing ADCs for choosing the sampling clock adaptively. Adaptive sampling rate ADC performs compression and reduces power consumption to some extent, however low powers ADCs are essential in wireless healthcare monitoring systems. In this paper, fuzzy logic based variable resolution controller is proposed to design the ADC efficiently in terms of circuit complexity and power. To further reduce the power consumption, power gating technique is adopted for static power reduction. Under 90 nm CMOS technology, gate count, core area utilization and power consumption have been determined for existing adaptive sampling ADC and fuzzy logic based adaptive sampling ADC. Cadence design tools have been used for the measurement of power in the designed circuit. The performance has been found to be better in terms of area and power that are very much essential for wireless ECG monitoring systems.     

Randomized controlled trial of an applied behavior analytic intervention for food selectivity in children with autism spectrum disorder

Food selectivity is a common problem for children with autism spectrum disorder (ASD; Schreck, Williams, & Smith, 2004). Behavior‐analytic interventions have the most empirical support for feeding disorders (Sharp, Jaquess, Morton, & Miles, 2011). However, there are no randomized controlled trials that have evaluated its effects with a well‐defined cohort of children with ASD. In the current investigation, we randomly assigned 6 young children with ASD and food selectivity to either an applied behavior analytic intervention or a wait‐list control. We used a crossover randomized controlled trial to evaluate the effects of a multicomponent applied behavior analytic intervention on independent acceptance and mouth clean of 16 novel foods. We subsequently exposed the wait‐list control group to the intervention. We also evaluated the effects of the intervention on individual participants with single‐case designs. The percentage of independent acceptance and mouth clean increased for the applied behavior analytic intervention group, but not for the wait‐list control group until we implemented the intervention.     

论推类逻辑与中国古代医学

推类逻辑就是基于“推类”的中国古代逻辑。易数推类为中医科学提供了一个有效工具,提供了一个有效地认识自然、机体（肌体）、疾病的方法。取象比类是中医思维的核心,推类是中国古代医学辨证论治的基本方法。推类具有很强的具象性,并以比类为基础。     

Logics of public communications

Multi-modal versions of propositional logics S5 or S4—commonly accepted as logics of knowledge—are capable of describing static states of knowledge but they do not reflect how the knowledge changes after communications among agents. In the present paper (part of broader research on logics of knowledge and communications) we define extensions of the logic S5 which can deal with public communications. The logics have natural semantics. We prove some completeness, decidability and interpretability results and formulate a general method that solves certain kind of problems involving public communications—among them well known puzzles of Muddy Children and Mr. Sum & Mr. Product. As the paper gives a formal logical treatment of the operation of restriction of the universe of a Kripke model, it contributes also to investigations of semantics for modal logics. This paper was originally published as Plaza, J. A. (1989). Logics of public communications. In M. L. Emrich, M. S. Pfeifer, M. Hadzikadic, & Z.W. Ras (Eds.), Proceedings of the fourth international symposium on methodologies for intelligent systems: Poster session program (pp. 201–216). Publisher: Oak Ridge National Laboratory, ORNL/DSRD-24. Research partly supported by NSF Grant CCR-8702307 and PSC-CUNY Grant 668283.     

A Note on Binary Inductive Logic

We consider the problem of induction over languages containing binary relations and outline a way of interpreting and constructing a class of probability functions on the sentences of such a language. Some principles of inductive reasoning satisfied by these probability functions are discussed, leading in turn to a representation theorem for a more general class of probability functions satisfying these principles.     

Consistency Defaults

A consistency default is a propositional inference rule that asserts the consistency of a formula in its consequence. Consistency defaults allow for a straightforward encoding of domains in which it is explicitely known when something is possible. The logic of consistency defaults can be seen as a variant of cumulative default logic or as a generalization of justified default logic; it is also able to simulate Reiter default logic in the seminormal case. A semantical characterization of consistency defaults in terms of processes and in terms of a fixpoint equation is given, as well as a normal form. Presented by Melvin Fitting