大学生的认知风格与逻辑推理的关系

以大学生为被试,探讨认知风格与逻辑推理的关系。结果表明：（1）在三段论推理中,场依存型学生和场独立型学生推理成绩不存在显著差异,学过和未学过逻辑学的学生推理成绩也不存在显著差异,但男生和女生推理成绩差异显著,女生比男生更易受“气氛”的影响。（2）在命题推理中,对抽象材料构成的命题,场独立型学生和场依存型学生的推理存在显著差异,场独立型学生表现出更强的证伪倾向,场依存型学生表现出更强的换位倾向;对具体材料构成的命题,场独立型学生和场依存型学生的推理不存在显著差异。     

An Infinitary Extension of Jankov’s Theorem

It is known that for any subdirectly irreducible finite Heyting algebra A and any Heyting algebra B, A is embeddable into a quotient algebra of B, if and only if Jankov’s formula χ _A for A is refuted in B. In this paper, we present an infinitary extension of the above theorem given by Jankov. More precisely, for any cardinal number κ, we present Jankov’s theorem for homomorphisms preserving infinite meets and joins, a class of subdirectly irreducible complete κ-Heyting algebras and κ-infinitary logic, where a κ-Heyting algebra is a Heyting algebra A with # ≥  κ and κ-infinitary logic is the infinitary logic such that for any set Θ of formulas with # Θ ≥  κ, ∨Θ and ∧Θ are well defined formulas.     

Categorical Abstract Algebraic Logic: Prealgebraicity and Protoalgebraicity

Two classes of π are studied whose properties are similar to those of the protoalgebraic deductive systems of Blok and Pigozzi. The first is the class of N-protoalgebraic π-institutions and the second is the wider class of N-prealgebraic π-institutions. Several characterizations are provided. For instance, N-prealgebraic π-institutions are exactly those π-institutions that satisfy monotonicity of the N-Leibniz operator on theory systems and N-protoalgebraic π-institutions those that satisfy monotonicity of the N-Leibniz operator on theory families. Analogs of the correspondence property of Blok and Pigozzi for π-institutions are also introduced and their connections with preand protoalgebraicity are explored. Finally, relations of these two classes with the (, N)-algebraic systems, introduced previously by the author as an analog of the -algebras of Font and Jansana, and with an analog of the Suszko operator of Czelakowski for π-institutions are also investigated. Presented by Josep Maria Font     

证候存在的逻辑回答

认为存在的就是客观的,包含了自然客观、思维客观和理性客观;把疾病现象和疾病本质划等号,在症状层面规范证候标准,抛弃中医辨证思维,就等于否定中医。物质不能等于客观,不能取代存在。证候属于理性客观,发生于中医学,是中医“阴阳神气”观念临床实在化(还原)的必然。     

On maximal intermediate predicate constructive logics

We extend to the predicate frame a previous characterization of the maximal intermediate propositional constructive logics. This provides a technique to get maximal intermediate predicate constructive logics starting from suitable sets of classically valid predicate formulae we call maximal nonstandard predicate constructive logics. As an example of this technique, we exhibit two maximal intermediate predicate constructive logics, yet leaving open the problem of stating whether the two logics are distinct. Further properties of these logics will be also investigated.Presented by H. Ono     

Labeled Calculi and Finite-Valued Logics

A general class of labeled sequent calculi is investigated, and necessary and sufficient conditions are given for when such a calculus is sound and complete for a finite-valued logic if the labels are interpreted as sets of truth values (sets-as-signs). Furthermore, it is shown that any finite-valued logic can be given an axiomatization by such a labeled calculus using arbitrary "systems of signs," i.e., of sets of truth values, as labels. The number of labels needed is logarithmic in the number of truth values, and it is shown that this bound is tight.     

Embedding Logics into Product Logic

We construct a faithful interpretation of ukasiewicz's logic in product logic (both propositional and predicate). Using known facts it follows that the product predicate logic is not recursively axiomatizable.We prove a completeness theorem for product logic extended by a unary connective of Baaz [1]. We show that Gödel's logic is a sublogic of this extended product logic.We also prove NP-completeness of the set of propositional formulas satisfiable in product logic (resp. in Gödel's logic).     

The place of human values in the language of science: Kuhn,Saussure, and structuralism

The current paradigm in medicine generally distinguishes between genetic and environmental causes of disease. Although the word paradigm has become a commonplace, the theories of Thomas Kuhn have not received much attention in the journals of medicine. Kuhn's structuralist method differs radically from the daily activities of the scientific method itself. Using linguistic theory, this essay offers a structuralist reading of Thomas Kuhn's The Structure of Scientific Revolutions. Our purpose is to highlight the similarities between these structuralist models of science and language. In part, we focus on the logic that enables Kuhn to assert the priority of perception over interpretation in the history of science. To illustrate some of these issues, we refer to the distinction between environmental and genetic causes of disease. While the activity of scientific research results in the revision of concepts in science, the production of significant differences that shape our knowledge is in part a social and linguistic process.     

Critical thinking in North America: A new theory of knowledge,learning, and literacy

The pace of change in the world is accelerating, yet educational institutions have not kept pace. Indeed, schools have historically been the most static of social institutions, uncritically passing down from generation to generation outmoded didactic, lecture-and-drill-based, models of instruction. Predictable results follow. Students, on the whole, do not learn how to work by, or think for, themselves. They do not learn how to gather, analyze, synthesize and assess information. They do not learn how to analyze the diverse logic of the questions and problems they face and hence how to adjust their thinking to those problems. They do not learn how to enter sympathetically into the thinking of others, nor how to deal rationally with conflicting points of view. They do not learn to become critical readers, writers, speakers and listeners. They do not learn how to use their native languages clearly, precisely, or persuasively. They do not, therefore, become literate, in the proper sense of the word. Neither do they gain much in the way of genuine knowledge since, for the most part, they could not explain the basis for what they believe. They would be hard pressed to explain, for example, which of their beliefs were based on rational assent and which on simple conformity to what they have been told. They have little sense as to how they might critically analyze their own experience, or identify national or group bias in their own thinking. They are much more apt to learn on the basis of irrational than rational modes of thought. They lack the traits of mind of a genuinely educated person: intellectual humility, courage, integrity, perseverance, and faith in reason.Happily, there is a movement in education today striving to address these problems in a global way, with strategies and materials for the modification of instruction at all levels of education. At its foundation is an emerging new theory of knowledge, learning, and literacy, one which recognizes the centrality of independent critical thinking to all substantial learning, one which recognizes that higher-order, multilogical thinking is as important to childhood as to adult learning, and as important to foundational learning in monological as in multilogical disciplines. This educational reform movement is not proposing an educational miracle cure, for its leading proponents recognize that many social and historical forces must come together before the ideals of the critical thinking movement will become a full academic reality. Schools do not exist in a social vacuum. To the extent that the broader society is uncritical so, on the whole, will be society's schools. Nevertheless, the social conditions necessary for fundamental changes in schooling are increasingly apparent. The pressure for fundamental change is growing. Whether and to what extent these needed basic changes will be delayed or side-tracked, thus requiring new periodic resurgences of this movement, with new, more elaborate articulations of its ideals, goals, and methods — only time will tell.