后现代语境与马克思哲学总体性概念的再思考

随着后现代主义的扩散,总体性的哲学观念受到了根本性的否定,马克思哲学的总体性理论,作为现代性谱系的构成要素,也成为后现代批评的焦点。本文从资本逻辑的历史形态学出发,认为马克思哲学的总体性思想是他批判资本主义及其文化的理论基础,强调差异、非总体化的后现代主义,体现了资本在后组织化(弹性生产)资本主义社会的文化理念,这是不同于组织化资本主义社会总体性的另一种总体性,重思马克思哲学的总体性观念,才能更为真实地透视后组织化资本主义及其文化逻辑,这构成了马克思哲学当代理解的一个重要维度。     

Synonymy and Intra-Theoretical Pluralism

The starting point of this paper is a version of intra-theoretical (logical) pluralism that was recently proposed by Hjortland [2013]. In a first move, I use synonymy-relations to formulate an intuitively compelling objection against Hjortland's claim that, if one uses a single calculus to characterise the consequence relations of the paraconsistent logic LP and the paracomplete logic K3, one immediately obtains multiple consequence relations for a single language and hence a reply to the Quinean charge of meaning variance. In a second move, I explain how a natural generalisation of the notion of synonymy (adapted to the 3-sided sequent-calculus used by Hjortland) can be used to counter this objection, but I also show how the solution can be turned into an equally devastating ‘one logic after all’ type of objection. Finally, I propose the general diagnosis that these problems could only arise in the presence of conceptual distinctions that are too coarse to accommodate coherent pluralist theses. The latter leads to the general methodological recommendation that the conceptual resources used to think and talk about logic should be kept in line with the formal resources that are used to define and describe a logical theory.     

Frege,Boolos, and Logical Objects

In this paper, the authors discuss Frege's theory of logical objects (extensions, numbers, truth-values) and the recent attempts to rehabilitate it. We show that the eta relation George Boolos deployed on Frege's behalf is similar, if not identical, to the encoding mode of predication that underlies the theory of abstract objects. Whereas Boolos accepted unrestricted Comprehension for Properties and used the eta relation to assert the existence of logical objects under certain highly restricted conditions, the theory of abstract objects uses unrestricted Comprehension for Logical Objects and banishes encoding (eta) formulas from Comprehension for Properties. The relative mathematical and philosophical strengths of the two theories are discussed. Along the way, new results in the theory of abstract objects are described, involving: (a) the theory of extensions, (b) the theory of directions and shapes, and (c) the theory of truth values.     

Note on the Scope of Truth-functional Logic

A plausible and popular rule governing the scope of truth-functional logic is shown to be indequate. The argument appeals to the existence of truth-functional paraphrases which are logically independent of their natural language counterparts. A more adequate rule is proposed.     

Ray on Tarski on Logical Consequence

In Logical consequence: A defense of Tarski (Journal of Philosophical Logic, vol. 25, 1996, pp. 617–677), Greg Ray defends Tarski"s account of logical consequence against the criticisms of John Etchemendy. While Ray"s defense of Tarski is largely successful, his attempt to give a general proof that Tarskian consequence preserves truth fails. Analysis of this failure shows that de facto truth preservation is a very weak criterion of adequacy for a theory of logical consequence and should be replaced by a stronger absence-of-counterexamples criterion. It is argued that the latter criterion reflects the modal character of our intuitive concept of logical consequence, and it is shown that Tarskian consequence can be proved to satisfy this criterion for certain choices of logical constants. Finally, an apparent inconsistency in Ray"s interpretation of Tarski"s position on the modal status of the consequence relation is noted.     

Common Law Approaches to the Relationship Between Law and Morality

How are general relations of law and morality typically conceived in an environment of Anglo-saxon common law? This paper considers some classical common law methods and traditions as these have confronted and been overlaid with modern ideas of legal positivism. While classical common law treated a community and its morality as the cultural foundation of law, legal positivism's analytical separation of law and morals, allied with liberal approaches to legal regulation, have made the relationship of legal and moral principles more complex and contested. Using ideas from Durkheim's and Weber's sociology, I argue that the traditional common law emphasis on an inductive, empirical treatment of moral practices has continuing merit, but in contemporary conditions the vague idea of community embedded in classical common law thought must be replaced with a much more precise conceptualisation of coexisting communities, whose moral bonds are diverse and require a corresponding diversity of forms of legal recognition or protection.     

RALPH WENDELL BURHOE IN HISTORICAL PERSPECTIVE

Abstract. Ralph Burhoe has sought to preserve “traditional religious wisdom,” but he emphasizes science as a new revelation. His relation to philosophical positivism and his insistence on including in a scientific theology only views that reflect the scientific worldview constitute major philosophical and theological problems. This essay considers the influence of several historical precursors—Francis Ellingwood Abbot, George Burman Foster, and Shailer Mathews of the “Chicago School” of theology, Douglas Clyde Macintosh, and, especially, Henry Nelson Wieman—which has contributed to a favorable reception of Burhoe's ideas. Social problems such as the youth revolution of the 1960s and indifference to the lack of intellectual credibility of religious beliefs have, however, hindered reception of his ideas. The conclusion notes some tasks that must yet be accomplished in order to continue Burhoe's work, particularly that of increasing the general level of education in the sciences.     

What is <Emphasis Type="Italic">the</Emphasis> Logic of Inference?

The topic of this paper is the question whether there is a logic which could be justly called the logic of inference. It may seem that at least since Prawitz, Dummett and others demonstrated the proof-theoretical prominency of intuitionistic logic, the forthcoming answer is that it is this logic that is the obvious choice for the accolade. Though there is little doubt that this choice is correct (provided that inference is construed as inherently single-conclusion and complying with the Gentzenian structural rules), I do not think that the usual justification of it is satisfactory. Therefore, I will first try to clarify what exactly is meant by the question, and then sketch a conceptual framework in which it can be reasonably handled. I will introduce the concept of ‘inferentially native’ logical operators (those which explicate inferential properties) and I will show that the axiomatization of these operators leads to the axiomatic system of intuitionistic logic. Finally, I will discuss what modifications of this answer enter the picture when more general notions of inference are considered. Presented by Hannes Leitgeb     

科学知识社会学相对主义知识观批判

“The Strong Programme” is put forward as a metaphysical theory of sociology by the Edinburgh School (SSK) to study the social causes of knowledge. Barry Barnes and David Bloor are the proponents of the School. They call their programme “the Relativist View of Knowledge” and argue against rationalism in the philosophy of science. Does their relativist account of knowledge present a serious challenge to rationalism, which has dominated 20th century philosophy of science? I attempt to answer this question by criticizing the main ideas of SSK and defending rationalism theories in modern philosophy of science.