Practical Reasoning Arguments: A Modular Approach

This paper compares current ways of modeling the inferential structure of practical (goal-based) reasoning arguments, and proposes a new approach in which it is regarded in a modular way. Practical reasoning is not simply seen as reasoning from a goal and a means to an action using the basic argumentation scheme. Instead, it is conceived as a complex structure of classificatory, evaluative, and practical inferences, which is formalized as a cluster of three types of distinct and interlocked argumentation schemes. Using two real examples, we show how applying the three types of schemes to a cluster of practical argumentation allows an argument analyst to reconstruct the tacit premises presupposed and evaluate the argumentative reasoning steps involved. This approach will be shown to overcome the limitations of the existing models of practical reasoning arguments within the BDI and commitment theoretical frameworks, providing a useful tool for discourse analysis and other disciplines. In particular, applying this method brings to light the crucial role of classification in practical argumentation, showing how the ordering of values and preferences is only one of the possible areas of deep disagreement.     

An encompassing framework for Paraconsistent Logic Programs

We propose a framework which extends Antitonic Logic Programs [Damásio and Pereira, in: Proc. 6th Int. Conf. on Logic Programming and Nonmonotonic Reasoning, Springer, 2001, p. 748] to an arbitrary complete bilattice of truth-values, where belief and doubt are explicitly represented. Inspired by Ginsberg and Fitting's bilattice approaches, this framework allows a precise definition of important operators found in logic programming, such as explicit and default negation. In particular, it leads to a natural semantical integration of explicit and default negation through the Coherence Principle [Pereira and Alferes, in: European Conference on Artificial Intelligence, 1992, p. 102], according to which explicit negation entails default negation. We then define Coherent Answer Sets, and the Paraconsistent Well-founded Model semantics, generalizing many paraconsistent semantics for logic programs. In particular, Paraconsistent Well-Founded Semantics with eXplicit negation (WFSX_p) [Alferes et al., J. Automated Reas. 14 (1) (1995) 93–147; Damásio, PhD thesis, 1996]. The framework is an extension of Antitonic Logic Programs for most cases, and is general enough to capture Probabilistic Deductive Databases, Possibilistic Logic Programming, Hybrid Probabilistic Logic Programs, and Fuzzy Logic Programming. Thus, we have a powerful mathematical formalism for dealing simultaneously with default, paraconsistency, and uncertainty reasoning. Results are provided about how our semantical framework deals with inconsistent information and with its propagation by the rules of the program.     

Theories and Theorizers: A Contextual Approach to Theories of Cognition

An undisputable characteristic of cognitive science is its enormous diversity of theories. Not surprisingly, these often belong to different paradigms that focus on different processes and levels of analysis. A related problem is that researchers of cognition frequently seem to ascribe to incompatible approaches to research, creating a Tower of Babel of cognitive knowledge. This text presents a pragmatic model of meta-theoretical analysis, a theory conceived of to examine other theories, which allows cognitive theories to be described, integrated and compared. After a brief introduction to meta-theoretical analysis in cognitive science, the dynamic and structural components of a theory are described. The analysis of conceptual mappings between components and explanation strategies is also described, as well as the processes of intra-theory generalization and inter-theory comparison. The various components of the meta-theoretical model are presented with examples of different cognitive theories, mainly focusing on two current approaches to research: The dynamical approach to cognition and the computer metaphor of mind. Finally, two potential counter arguments to the model are presented and discussed.     

Occasioned Semantics: A Systematic Approach to Meaning in Talk

This paper puts forward an argument for a systematic, technical approach to formulation in verbal interaction. I see this as a kind of expansion of Sacks’ membership categorization analysis, and as something that is not offered (at least not in a fully developed form) by sequential analysis, the currently dominant form of conversation analysis. In particular, I suggest a technique for the study of “occasioned semantics,” that is, the study of structures of meaningful expressions in actual occasions of conversation. I propose that meaning and rhetoric be approached through consideration of various dimensions or operations or properties, including, but not limited to, contrast and co-categorization, generalization and specification, scaling, and marking. As illustration, I consider a variety of cases, focused on generalization and specification. The paper can be seen as a return to some classical concerns with meaning, as illuminated by more recent insights into indexicality, social action, and interaction in recorded talk.     

Teaching Creation: A Modular Approach

Abstract. The present article describes a modular approach to teaching Genesis 1–3 that values depth over breadth even in an introductory class. The module allows students to learn about the text and its original context by orienting discussion around contemporary issues of practical concern. Specifically, the creation‐evolution debates provide an opportunity for students to learn about contemporary political, social, and legal implications of interpreting Genesis 1–3. The conflict of traditional and modern values emerges also in issues surrounding gender and autonomy in Genesis 2–3. This pedagogical approach challenges various student worldviews to promote discussion and greater intellectual sophistication. The correlation of the text with ongoing contemporary issues engages student interest and motivates learning. It also allows the class to explore both the ancient text and its interpretation in diverse communities. Finally, the module allows considerable flexibility for student and teacher interest and the needs of a given class. Several additional resources related to this article appear online at: http://www.wabashcenter.wabash.edu/journal/article.aspx?id=11063 . These include (1) a schedule of possible readings, assignments, and lesson plans, (2) selections from ancient commentary on Genesis 2–3 from scattered sources, and (3) a bibliographic essay noting the usefulness of selected resources related to the module.     

条件性推理测验：人格测验的新思路

条件性推理测验关注人们如何解决表面上看上去类似于传统归纳推理测验的问题,其真实目的是根据反应者是否将基于某种内隐偏差的解决方案视为合理的,进而评估反应者的人格倾向.有证据表明该方法可以有效防止自陈问卷的有意扭曲等相关问题,获得更可靠的结果.这种测评思路在成就动机和攻击性两个领域的研究中已经获得初步成效,测验的信度和效度都较为理想.然而也需指出,这一新思路尚处在发展中,还有一些问题如施测方法、测验构建和思路拓展等需作进一步探讨.     

Towards a Functional Approach to Modular Ontologies Using Institutions

We propose a functional view of ontologies that emphasises their role in determining answers to queries, irrespective of the formalism in which they are written. A notion of framework is introduced that captures the situation of a global language into which both an ontology language and a query language can be translated, in an abstract way. We then generalise existing notions of robustness from the literature, and relate these to interpolation properties that support modularisation of ontologies.     

Evaluating Reasoning in Natural Arguments: A Procedural Approach

Argumentation - In this paper, we formulate a procedure for assessing reasoning as it is expressed in natural arguments. The procedure is a specification of one of the three aspects of...     

Parent and Child Effects on Cognitive Performance: An Experimental Approach to the Etiological and Responsive Theories of Schizophrenia

While many theorists have assumed that the family has an etiological part in the development of schizophrenia, most findings, since they come predominantly from observations after the illness has occurred, could plausibly be interpreted as family responses to the illness. In this experimental study, we constructed artificial families in order to measure independently of each other the effects of parents of schizophrenics on children and the effects of schizophrenic children on parents. Findings from a cognitive task requiring abilities to attend and abstract show that the presence of a schizophrenic child has only minor disruptive effects upon the performance of normal parents; parents of schizophrenics also have little effect upon normal children. Instead, the most consistent effects are those of normal parents on the schizophrenic child. Adolescent schizophrenic patients whose cognitive performance deficit is apparent prior to the experiment show significant improvement after having worked on the cognitive task with normal parents; their cognitive deficit disappears, and their performance is not different from matched normal children. Further investigation will center on the quality of the normal parents' “normalizing” effects.     

The Conditional Reasoning Measurement System for Aggression: An Overview

The Conditional Reasoning Measurement System is described. This procedure focuses on how people solve what on the surface appear to be inductive reasoning problems. The true intent of the problems is to determine if solutions based on implicit biases are logically attractive to a respondent. In this article, we focus on the types of implicit biases that underlie aggressive individuals' attempts to justify aggressive behavior. People who consistently select solutions based on these types of biases are scored as being potentially aggressive because they are cognitively prepared to rationalize aggression. Scores on the Conditional Reasoning Test for Aggression (CRT-A) have been shown to have acceptable psychometric properties and an average, uncorrected validity of .44 against behavorial criteria (in 10 studies).     

An Admissible Semantics for Propositionally Quantified Relevant Logics

The Routley-Meyer relational semantics for relevant logics is extended to give a sound and complete model theory for many propositionally quantified relevant logics (and some non-relevant ones). This involves a restriction on which sets of worlds are admissible as propositions, and an interpretation of propositional quantification that makes ∀ pA true when there is some true admissible proposition that entails all p-instantiations of A. It is also shown that without the admissibility qualification many of the systems considered are semantically incomplete, including all those that are sub-logics of the quantified version of Anderson and Belnap’s system E of entailment, extended by the mingle axiom and the Ackermann constant t. The incompleteness proof involves an algebraic semantics based on atomless complete Boolean algebras.     

Learning for Life: An Ecological Approach to Pedagogical Research

ABSTRACT— The trend to convert laboratory findings on the conditions associated with optimal memory into recommendations for teaching strategies and learning aids will harm students if findings fail to generalize to students' usual learning environments. Moreover, it is likely that pedagogies function differently for students with different degrees of background knowledge, time, and interest in the subject matter; that some support activities will prevent students from honing their ability learn from narrative material without guided learning; and that an overuse of learning aids will tax students' ability to use them effectively. We contrast two approaches to developing pedagogy—memory first and pedagogical ecology—and explain how the human factors approach of pedagogical ecology could be a more satisfying model for the scholarship of teaching and learning.