内隐记忆的证明逻辑与加工分离说（PDP）的修正模型

讨论了内隐记忆的证明逻辑和内隐与外显测验中的意识和无意识影响问题。间接证明内隐记忆的逻辑应用在功能分离实验中。它的前提假设是记忆测验都是＂纯净＂的。直接证明逻辑应用在匹配比较实验中。它认为测验中的意识和无意识影响是并存的,Ｊａｃｏｂｙ等人近期提出的加工分离说（ＰＤＰ）在匹配比较法的基础上,将测验中的意识和无意识影响进行了分离,并借用经典测验理论的公式计算这两种影响。作者认为,按照概率论关于两个随机独立事件之和与积的运算法则,必须把包含测验（ｉｎｃｌｕｓｉｏｎｔｅｓｔ）的公式修正为Ｉｎｃｌｕｓｉｏｎ＝Ｒ（１－ａ）＋Ａ（１－Ｒ）。修正过的ＰＤＰ由四个方程组成。它不仅考虑了原ＰＤＰ忽视的外显条件下的无意识缺失（１－ａ）,而且可以更加确切地估计回忆概率（Ｒ）。这在数学理论上已找到了证据。     

DISCIPLINING RELATIVISM AND TRUTH

Abstract. Imre Lakatos's philosophy of science can provide helpful leads for theological methodology, but only when mediated by the disciplines that lie between the natural sciences and theology. The questions of relativism and truth are used as indices for comparing disciplines, and Lakatos's theory of natural science is taken as the starting point. Major modifications of Lakatos's work are demanded as one moves from the natural sciences, through economics, the interpretive social sciences, literary theory, and into theology. Although theology may consist of Lakatosian research programs, it also includes programs of interpretation and programs for living. This conclusion must influence our definition of theological truth and our assessment of theological relativism.     

TRUTH TELLING AS REPARATIONS

Abstract: International instruments now defend a “right to the truth” for victims of political repression and violence and include truth telling about human rights violations as a kind of reparation as well as a form of redress. While truth telling about violations is obviously a condition of redress or repair for violations, it may not be clear how truth telling itself is a kind of reparations. By showing that concerted truth telling can satisfy four features of suitable reparations vehicles, I defend the idea that politically implemented modes of truth telling to, for, and by those who are victims of gross violation and injustice may with good reason be counted as a kind of reparations. Understanding the doubly symbolic character of reparations, however, makes clearer why truth telling is unlikely to be sufficient reparation for serious wrongs and is likely to be sensitive to the larger context of reparative activity and its social, political, and historical background.     

TRUTH, RELATIVISM, AND CROSSWORD PUZZLES

Abstract. Neither the correspondence nor the coherence theory of truth does justice to the truth claims made in science and theology. I propose a new definition that relates truth to solving puzzles. I claim that this definition is more adequate than either of the traditional theories and that it offers two additional benefits: first, it provides grounds for a theory regarding the relations between theology and science that may stand up better to philosophical scrutiny than does critical realism; and second, it blocks the move to relativism based on recognition of the plurality of perspectives and the historical and social conditioning of knowledge.     

TRUTH AS AN EPISTEMIC IDEAL

Several philosophers—including C. S. Peirce, William James, Hilary Putnam and Crispin Wright—have proposed various versions of the notion that truth is an epistemic ideal. More specifically, they have held that a proposition is true if and only if it can be fixedly warranted by human inquirers, given certain ideal epistemic conditions. This paper offers a general critique of that idea, modeling conceptions of ideality and fixed warrant within the semantics that Kripke developed for intuitionistic logic. It is shown that each of the two plausible notions of fixed warrant faces difficulties and that, moreover, “truth” defined in terms of either of them is distressingly dependent upon one’s conception of idealized inquiry and perhaps also upon one’s standards of warrant.     

On Vagueness,Truth Values and Fuzzy Logics

Some aspects of vagueness as presented in Shapiro’s book Vagueness in Context [23] are analyzed from the point of fuzzy logic. Presented are some generalizations of Shapiro’s formal apparatus. Presented by Daniele Mundici     

Henkin Quantifiers and the Definability of Truth

Henkin quantifiers have been introduced in Henkin (1961). Walkoe (1970) studied basic model-theoretical properties of an extension L _* ¹(H) of ordinary first-order languages in which every sentence is a first-order sentence prefixed with a Henkin quantifier. In this paper we consider a generalization of Walkoe's languages: we close L _* ¹(H) with respect to Boolean operations, and obtain the language L ¹(H). At the next level, we consider an extension L _* ²(H) of L ¹(H) in which every sentence is an L ¹(H)-sentence prefixed with a Henkin quantifier. We repeat this construction to infinity. Using the (un)-definability of truth – in – N for these languages, we show that this hierarchy does not collapse. In addition, we compare some of the present results to the ones obtained by Kripke (1975), McGee (1991), and Hintikka (1996).     

INTUITING THE TRUTH OF WHAT'S HAPPENING: ON BION'S “NOTES ON MEMORY AND DESIRE”

Bion's “Notes on Memory and Desire” (1967a) is an impossible paper that this article's author has struggled with for decades. He views the paper, only two and a half pages in length, as a landmark contribution. Despite its title—and its infamous dictates to resist the impulse to remember past sessions and desire for “results”—the paper is not, most importantly, about memory and desire. It proposes a new analytic methodology that supplants awareness from its central role in the analytic process and, in its place, instates the analyst's (largely unconscious) work of intuiting the (unconscious) psychic reality of the present moment by becoming at one with it. This article's clinical examples, provided from the author's own work, illustrate something of his ways of talking with his patients.     

RELIGION VERSUS SCIENCE: THE CONFLICT IN REFERENCE TO TRUTH VALUE,NOT CASH VALUE

Abstract. The rift between science and religion needs to be assessed not merely on pragmatic grounds, on the basis of the effect of scientific versus religious beliefs on people's behavior, as John Caiazza's essay does, but also and above all in regard to the cogency of the respective beliefs in reference to what we can reasonably assume is the true face of reality. About such truth value, the conflict is not irremediable; there are elements of belief regarding the nature of reality that are strikingly similar regardless of whether one arrived at them on the basis of faith in revealed knowledge or on the basis of knowledge acquired by reasoning from or in reference to experience. Two such items are selected here by way of example: belief that in certain states of mind and consciousness individuals can experience union with something larger or deeper than themselves, and belief that the universe we inhabit is the result of an original creative act.     

Admissibility of Cut in <Emphasis Type="Italic">LC</Emphasis> with Fixed Point Combinator

The fixed point combinator (Y) is an important non-proper combinator, which is defhable from a combinatorially complete base. This combinator guarantees that recursive equations have a solution. Structurally free logics (LC) turn combinators into formulas and replace structural rules by combinatory ones. This paper introduces the fixed point and the dual fixed point combinator into structurally free logics. The admissibility of (multiple) cut in the resulting calculus is not provable by a simple adaptation of the similar proof for LC with proper combinators. The novelty of our proof—beyond proving the cut for a newly extended calculus–is that we add a fourth induction to the by-and-large Gentzen-style proof. Presented by Robert Goldblatt     

Why Combine Logics?

Combining logics has become a rapidly expanding entreprise that is inspired mainly by concerns about modularity and the wish to join together tailor made logical tools into more powerful but still manageable ones. A natural question is whether it offers anything new over and above existing standard languages.By analysing a number of applications where combined logics arise, we argue that combined logics are a potentially valuable tool in applied logic, and that endorsements of standard languages often miss the point. Using the history of quantified modal logic as our main example, we also show that the use of combined structures and logics is a recurring theme in the analysis of existing logical systems.     

Taking Degrees of Truth Seriously

This is a contribution to the discussion on the role of truth degrees in manyvalued logics from the perspective of abstract algebraic logic. It starts with some thoughts on the so-called Suszko’s Thesis (that every logic is two-valued) and on the conception of semantics that underlies it, which includes the truth-preserving notion of consequence. The alternative usage of truth values in order to define logics that preserve degrees of truth is presented and discussed. Some recent works studying these in the particular cases of Łukasiewicz’s many-valued logics and of logics associated with varieties of residuated lattices are also presented. Finally the extension of this paradigm to other, more general situations is discussed, highlighting the need for philosophical or applied motivations in the selection of the truth degrees, due both to the interpretation of the idea of truth degree and to some mathematical difficulties.     

Truth as Translation – Part B

This is the second part of a paper dealing with truth and translation. In Part A a revised version of Tarski's Convention T has been presented, which explicitly refers to a translation mapping from the object language to the metalanguage; the vague notion of a translation has been replaced by a precise definition. At the end of Part A it has been shown that interpreted languages exist, which allow for vicious self-reference but which nevertheless contain their own truth predicate – this is possible if truth is based on a nonstandard translation mapping. However, this result has only been proved for languages without quantifiers. In Part B we now extend the result to first-order languages, and we show that this can be done in three different ways. In each case, the addition of a truth predicate to an interpreted language with a high degree of expressiveness leads to changes in the ontology of the language.     

Note on Some Fixed Point Constructions in Provability Logic

We present a quite simple proof of the fixed point theorem for GL. We also use this proof to show that Sambin's algorithm yields a fixed point.     

Theories of Truth Which Have No Standard Models

This papers deals with the class of axiomatic theories of truth for semantically closed languages, where the theories do not allow for standard models; i.e., those theories cannot be interpreted as referring to the natural number codes of sentences only (for an overview of axiomatic theories of truth in general, see Halbach[6]). We are going to give new proofs for two well-known results in this area, and we also prove a new theorem on the nonstandardness of a certain theory of truth. The results indicate that the proof strategies for all the theorems on the nonstandardness of such theories are "essentially" of the same kind of structure.     

REALISM WITHOUT TRUTH: A REVIEW OF GIERE'S SCIENCE WITHOUT LAWS AND SCIENTIFIC PERSPECTIVISM

An increasingly popular view among philosophers of science is that of science as action—as the collective activity of scientists working in socially‐coordinated communities. Scientists are seen not as dispassionate pursuers of Truth, but as active participants in a social enterprise, and science is viewed on a continuum with other human activities. When taken to an extreme, the science‐as‐social‐process view can be taken to imply that science is no different from any other human activity, and therefore can make no privileged claims about its knowledge of the world. Such extreme views are normally contrasted with equally extreme views of classical science, as uncovering Universal Truth. In Science Without Laws and Scientific Perspectivism, Giere outlines an approach to understanding science that finds a middle ground between these extremes. He acknowledges that science occurs in a social and historical context, and that scientific models are constructions designed and created to serve human ends. At the same time, however, scientific models correspond to parts of the world in ways that can legitimately be termed objective. Giere's position, perspectival realism, shares important common ground with Skinner's writings on science, some of which are explored in this review. Perhaps most fundamentally, Giere shares with Skinner the view that science itself is amenable to scientific inquiry: scientific principles can and should be brought to bear on the process of science. The two approaches offer different but complementary perspectives on the nature of science, both of which are needed in a comprehensive understanding of science.     

Truth as Translation – Part A

According to Tarski's Convention T, the adequacy of a truth definition is (implicitly) defined relatively to a translation mapping from the object language to the metalanguage; the translation mapping itself is left unspecified. This paper restates Convention T in a form in which the relativity to translation is made explicit. The notion of an interpreted language is introduced, and a corresponding notion of a translation between interpreted languages is defined. The latter definition is stated both in an algebraic version, and in an equivalent possible worlds version. It is a consequence of our definition that translation is indeterminate in certain cases. Finally, we give an application of our revised version of Convention T and show that interpreted languages exist, which allow for vicious self-reference but which nevertheless contain their own truth predicate. This is possible if only truth is based on a nonstandard translation mapping by which, e.g., the Liar sentence is translated to its own negation. In this part of the paper this existence result is proved only for languages without quantifiers; in Part B the result will be extended to first-order languages.