Introduction The "relevance" logicians of North America and the "relevant" logicians of the Antipodes have long claimed that their logical systems are in better agreement with common sense than is classical logic. The present paper is a critical examination of such claims. Though it is part of an on-going debate between classical and relevantistic logicians, I have tried to keep my discussion o...

Based on the Canon of Medicine by Avicenna (980-1037), fever is defined as an abnormal heat ignited in the heart and spreads throughout the body via the arteries (1). Following the Galen theory about fevers (2), Avicenna describes three main types of fevers in relation with the three types of material structures in the body (2). According to the theory of "Natural bodily af-fairs" mentioned in ...

The Hippocratic Corpus was attributed to all branches of healing including internal medicine, surgery, and obstetrics. The Hippocratic collection of treatises (or corpus) was mostly written between 430 and 330 B.C. and some are later works. Some 600 years after Hippocrates, the Corpus were further systematized by Galen and later still by the Persian Islamic physician Avicenna and others. The Co...

Iran has a longstanding history and a rich heritage of medicine. Two reputable Persian medical scholars of the Middle Ages are Razi (Rhazes) and Ibn-Sina (Avicenna). Their most important otorhinolaryngologic contributions based on the relevant data from two major medical books i.e., al-Hawi (Liber Continens) and Qanun fi-Tebb (Canon of Medicine) are discussed. *** he “Golden Age of Medicine” in...

We survey some classical and some recent results in the theory of forcing axioms, aiming to present recent breakthroughs and interest the reader in further developing the theory. The article is written for an audience of logicians and mathematicians not necessarily familiar with set theory.

There is a long tradition of the interest of logicians in computer science and of computer scientists in logic. On the one hand, many problems raised and investigated by logicians before the emergence of computer science turned out to be relevant for the new science. We may quote here the notion of algorithm, model theory or relational systems. On the other hand, some problems stemming from com...