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     

A Grim Semantics For Logics of Belief

Patrick Grim has presented arguments supporting the intuition that any notion of a totality of truths is incoherent. We suggest a natural semantics for various logics of belief which reflect Grim’s intuition. The semantics is a topological semantics, and we suggest that the condition can be interpreted to reflect Grim’s intuition. Beyond this, we present a natural canonical topological model for K4 and KD4.     

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.     

科学心理学的观念与人文科学的逻辑奠基

科学心理学观念的普遍兴起,是19世纪中叶错综复杂的思想史背景的产物。只有在人类思想及其历史作为整体的关系背景中,才能澄清这个观念的内在本性。也只有在系统地接受这个背景的制约关系中,这个观念才能获得其真理的实现。能否在人类思想作为整体中胜任并执行其理论职能,成为我们检验一种心理学体系之真理性的途径之一:科学心理学观念只有实现为现象学心理学,才能执行其为人文科学奠基的逻辑职能; 反之亦然。这个关系还从否定方面暗示着,一切以异化的形式实现的心理学,都不可能真正承担起为人文科学奠基的逻辑职能,并因而违背了我们的常识。     

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

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

An Early Buddhist Text on Logic: Fang Bian Xin Lun

The Fang Bian Xin Lun is a text on Buddhist logic which is thought to be the earliest one still to be extant. It appears in Chinese only (T1632). The great Italian indologist Giuseppe Tucci, believing that the text was originally a Sanskrit text, translated it into Sanskrit and gave it the title Upāyahṛdaya. The paper provides the historical background of the development of logic in Classical India up to the time of this text, summarizes its content and translates its first section.

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.