What role, if any, should emotions play in clinical reasoning and decision making? Traditionally, emotions have been excluded from clinical reasoning and decision making, but with recent advances in cognitive neuropsychology they are now considered an important component of them. Today, cognition is thought to be a set of complex processes relying on multiple types of intelligences. The role of mathematical logic or verbal linguistic intelligence in cognition, for example, is well documented and accepted; however, the role of emotional intelligence (...) has received less attention—especially because its nature and function are not well understood. In this paper, I argue for the inclusion of emotions in clinical reasoning and decision making. To that end, developments in contemporary cognitive neuropsychology are initially examined and analyzed, followed by a review of the medical literature discussing the role of emotions in clinical practice. Next, a published clinical case is reconstructed and used to illustrate the recognition and regulation of emotions played during a series of clinical consultations, which resulted in a positive medical outcome. The paper’s main thesis is that emotions, particularly in terms of emotional intelligence as a practical form of intelligence, afford clinical practitioners a robust cognitive resource for providing quality medical care. (shrink)

We investigate the expressive power of second-order logic over finite structures, when two limitations are imposed. Let SAA ) be the set of second-order formulas such that the arity of the relation variables is bounded by k and the number of alternations of second-order quantification is bounded by n . We show that this imposes a proper hierarchy on second-order logic, i.e. for every k , n there are problems not definable in AA but definable in AA for some c (...) 1 , d 1 . The method to show this is to introduce the set AUTOSAT of formulas in F which satisfy themselves. We study the complexity of this set for various fragments of second-order loeic. For first-order logic FOL with unbounded alternation of quantifiers AUTOSAT is PSpace complete. For first-order logic FOL n with alternation of quantifiers bounded by n , AUTOSAT is definable in AA . AUTOSAT) is definable in AA for some c 1 , d 1. (shrink)

Arnold Geulincx Arnold Geulincx was an early-modern Flemish philosopher who initially taught at Leuven University, but fled the Catholic Low Countries when he was fired there in 1658. He settled at Leiden, in the Protestant North, where he worked under the patronage of the Cartesian Calvinist theologian Abraham Heidanus, and … Continue reading Geulincx, Arnold →.

James Earl Baumgartner (March 23, 1943–December 28, 2011) came of age mathematically during the emergence of forcing as a fundamental technique of set theory, and his seminal research changed the way set theory is done. He made fundamental contributions to the development of forcing, to our understanding of uncountable orders, to the partition calculus, and to large cardinals and their ideals. He promulgated the use of logic such as absoluteness and elementary submodels to solve problems in set theory, he applied (...) his knowledge of set theory to a variety of areas in collaboration with other mathematicians, and he encouraged a community of mathematicians with engaging survey talks, enthusiastic discussions of open problems, and friendly mathematical conversations. (shrink)