试论批判性思维与逻辑的关系

“批判性思维”一词已成为当今教育界一个十分时髦的术语。心理学家、教育学家、哲学家都在讨论批判性思维。但是,什么是批判性思维?其逻辑基础是什么呢?我们认为,目前学界对此的认识有待进一步澄清。在逻辑学界,批判性思维已成为当前逻辑学教学改革和发展的一种重要方向。有学者认为,批判性思维与非形式逻辑有着密不可分的联系,甚至有人认为批判性思维与非形式逻辑两者可以不加区别交互使用。该文首先考察了心理学家、教育学家和哲学家们分别给出的批判性思维的定义,然后分析批判性思维与非形式逻辑、形式逻辑之间的相互联系与区别,进而认为形式逻辑和非形式逻辑共同构成了批判性思维的逻辑基础。     

Innovations in computational type theory using Nuprl

For twenty years the Nuprl (“new pearl”) system has been used to develop software systems and formal theories of computational mathematics. It has also been used to explore and implement computational type theory (CTT)—a formal theory of computation closely related to Martin-Löf's intuitionistic type theory (ITT) and to the calculus of inductive constructions (CIC) implemented in the Coq prover.

This article focuses on the theory and practice underpinning our use of Nuprl for much of the last decade. We discuss innovative elements of type theory, including new type constructors such as unions and dependent intersections, our theory of classes, and our theory of event structures.

We also discuss the innovative architecture of Nuprl as a distributed system and as a transactional database of formal mathematics using the notion of abstract object identifiers. The database has led to an independent project called the Formal Digital Library, FDL, now used as a repository for Nuprl results as well as selected results from HOL, MetaPRL, and PVS. We discuss Howe's set theoretic semantics that is used to relate such disparate theories and systems as those represented by these provers.     

The Formal Structure of Kind Representations

Kind representations, concepts like table, triangle, dog, and planet, underlie generic language. Here, we investigate the formal structure of kind representations—the structure that distinguishes kind representations from other types of representations. The present studies confirm that participants distinguish generic-supporting properties of individuals (e.g., this watch is made of steel) and accidental properties (e.g., this watch is on the nightstand). Furthermore, work dating back to Aristotle establishes that only some generic-supporting properties bear a principled connection to the kind, that is, are true of an individual by virtue of its being a member of a specific kind (e.g., telling time for a watch). The present studies tested the hypothesis that principled connections are part of the formal structure of kind representations. Specifically, they tested whether they structure a newly learned kind representation. Experiment 1 found that introducing a property of a newly encountered novel kind in any one of four linguistic frames that provide evidence that a property has a principled connection to a kind (e.g., “It has fur because it is a blick”) led participants to infer a different conceptual consequence of principled connections (i.e., “There is something wrong with this blick, which does not have fur”) for which they had no direct evidence. Two introduction frames that provided no evidence for principled connections (e.g., “Almost all blicks have fur”) did not generate the same consequence. Experiment 2 found that all of the targeted properties were generic licensing, irrespective of the introduction frame. That the distinction between properties that bear principled connections to their kinds, and merely generic-supporting properties structures novel kind representations, provides strong evidence that this distinction is part of the formal structure of kind representations.     

Aging in Grace: The Spiritual Journey of Henri Nouwen

Henri Nouwen (1932–1996), author of The Wounded Healer and dozens of other books, is best known for his religious meditations and his guides to spiritual development. The Dutch-born priest was also a pioneering religious gerontologist. Early on, Nouwen recognized that the joys and vicissitudes of aging were a relatively unexplored pathway to maturity. This article explores Nouwen's increasing sophistication and candor as he probed the dimensions of aging—his own inner torments and hopes, his relationships with others (particularly his father), and his acceptance of life's finitude. The author, who considers Nouwen a mentor, insinuates his own voice into the conversation to highlight the paradoxical extent to which the particular markers of one's journey define a life ultimately give way to an identity grounded in the commonalities of human existence.     

Commutation-Augmented Pregroup Grammars and Mildly Context-Sensitive Languages

The paper presents a generalization of pregroup, by which a freely-generated pregroup is augmented with a finite set of commuting inequations, allowing limited commutativity and cancelability. It is shown that grammars based on the commutation-augmented pregroups generate mildly context-sensitive languages. A version of Lambek’s switching lemma is established for these pregroups. Polynomial parsability and semilinearity are shown for languages generated by these grammars. Special Issue Categorial Grammars and Pregroups Edited by Wojciech Buszkowski and Anne Preller     

Question answering and database querying: Bridging the gap with generalized quantification

Even though Questions Answering and Database Querying have very different goals and frameworks, collaboration between the two fields could be mutually beneficial. However, the different assumptions in each field makes such collaboration difficult. In this paper, we introduce a query language with generalized quantifiers (QLGQ) and show how it could be used to help bridge the gap between the two fields.     

Security of multi-agent systems: A case study on comparison shopping

The multi-agent-systems paradigm is becoming more and more popular as a basis for realizing net-based solutions. This development is accompanied by an increasing relevance of security issues. For instance, the potential loss of privacy and other assets is a major concern for, both merchants and customers, in Internet-based commerce and, without being properly addressed, such very legitimate concerns hamper the growth of e-commerce.This article uses a comparison-shopping scenario to introduce a general methodology for formally verifying the security of multi-agent systems. Following the approach of possibilistic information flow security, the flow of information between and within agents is restricted in order to ensure that secrets will not be disclosed to unauthorized meddlers. The security requirements for the overall system are then decomposed into requirements for the individual agents that can be verified independently from each other. Exploiting the modular structure of a multi-agent system considerably reduces the complexity of the overall security analysis. The techniques for decomposing security requirements, for verifying individual agents, and for deriving global security guarantees for the entire system from locally verified properties are all generic in the sense that they apply also to many other systems and security requirements than the ones that appear in the example scenario.     

Representation of principled connections: a window onto the formal aspect of common sense conception

Nominal concepts represent things as tokens of types. Recent research suggests that we represent principled connections between the type of thing something is (e.g., DOG) and some of its properties (k-properties; e.g., having four legs for dogs) but not other properties (t-properties; e.g., being brown for dogs). Principled connections differ from logical, statistical, and causal connections. Principled connections license (i) the expectation that tokens of the type will generally possess their k-properties, (ii) formal explanations (i.e., explanation of the presence of k-properties in tokens of a type by reference to the type of thing it is), and (iii) normative expectations concerning the presence of k-properties in tokens of the type. The present paper investigates the hypothesis that representing principled connections requires representing properties as aspects of being the relevant kind of thing (Aspect Hypothesis). Experiment 1 provides a direct test of the Aspect Hypothesis. Experiments 2 and 3 provide indirect tests of the Aspect Hypothesis. All three experiments provide support for the Aspect Hypothesis. Experiment 4 investigates a prediction of the Aspect Hypothesis concerning the manner in which formal explanations are licensed by principled connections. Finally, Experiment 5 investigates a prediction of the Aspect Hypothesis concerning the nature of the normative expectations licensed by principled connections. Together these results provide strong evidence for the idea that representing principled connections involves representing a property as being an aspect of being a given kind of thing. The results also help clarify the manner in which formal explanation differs from other modes of explanation. Finally, the results of the experiments are used to motivate a proposal concerning the formal structure of the conceptual representations implicated by principled connections. This structure provides a domain-general way of structuring our concepts and embodies the perspective we take when we think and talk of things as being instances of a kind.     

Development of computational models of emotions: A software engineering perspective

Computational Models of Emotions (CMEs) are software systems designed to explain the phenomenon of emotions. The mechanisms implemented in this type of computational models are based on human emotion theories reported in the literature and designed to provide intelligent agents with affective capabilities and improve human-computer interaction. However, despite the growing interest in this type of models, the development process of CMEs does not seem to follow formal software methodologies. In this paper, we present an analysis of CMEs from a software engineering perspective. We aim to identify what elements of software engineering are used in the development process of CMEs and to demonstrate how some software engineering techniques may support and improve their development process. We discuss a series of challenges to be addressed in order to take advantage of software engineering techniques: (1) definition of guidelines to help decide which emotion theories should be implemented computationally, (2) homogenization of terms about human emotions, their components, phases, and cycles implemented in CMEs, (3) design of CMEs whose components can be reusable, (4) definition of standard criteria for comparative analysis between CMEs, (5) identification of software engineering principles, concepts, and design practices useful in the construction of CMEs, and (6) definition of standard frameworks to validate CMEs.     

Memoirs of a Mentor: Using Creativity for Counselors in Coping With the Loss of a Mentor

This article was inspired by my (S.S.) own personal loss. My mentor passed away during spring break of my 2nd year postgraduate school after a short battle with systemic lupus. I remember the deep sadness that I felt when it became apparent that she was coming home from the hospital for the last time. No words can describe the emotions; she had helped me through the toughest times in my academic life. How would I ever get the type of mentorship she provided again? She was there when I almost quit as a young student, back when my anger still got the best of me. She talked me down from the edge so many times; I never expected to be on this journey without her.

I dedicate this article to her and mentors like her. Equally, I dedicate this article to mentees who have lost their mentors. I offer my story (in italicized font) in the hopes that it will help others who are dealing with a similar loss. In this article, we attempt to illuminate the true power of mentorship, honor the significance of the relationship between mentor and mentee, and provide a tool useful to anyone who has lost their guide. I share my story in gratitude for my own mentor; I am so thankful that she was a part of my journey and that I can pass on to others the patience she had with me.