Empiricism,probability, and knowledge of arithmetic: A preliminary defense

The topic of this paper is our knowledge of the natural numbers, and in particular, our knowledge of the basic axioms for the natural numbers, namely the Peano axioms. The thesis defended in this paper is that knowledge of these axioms may be gained by recourse to judgments of probability. While considerations of probability have come to the forefront in recent epistemology, it seems safe to say that the thesis defended here is heterodox from the vantage point of traditional philosophy of mathematics. So this paper focuses on providing a preliminary defense of this thesis, in that it focuses on responding to several objections. Some of these objections are from the classical literature, such as Frege's concern about indiscernibility and circularity (Section 2.1), while other are more recent, such as Baker's concern about the unreliability of small samplings in the setting of arithmetic (Section 2.2). Another family of objections suggests that we simply do not have access to probability assignments in the setting of arithmetic, either due to issues related to the ω-rule (Section 3.1) or to the non-computability and non-continuity of probability assignments (Section 3.2). Articulating these objections and the responses to them involves developing some non-trivial results on probability assignments (Appendix A–Appendix C), such as a forcing argument to establish the existence of continuous probability assignments that may be computably approximated (Theorem 4 Appendix B). In the concluding section, two problems for future work are discussed: developing the source of arithmetical confirmation and responding to the probabilistic liar.     

Natural language semantics in biproduct dagger categories

Biproduct dagger categories serve as models for natural language. In particular, the biproduct dagger category of finite dimensional vector spaces over the field of real numbers accommodates both the extensional models of predicate calculus and the intensional models of quantum logic. The morphisms representing the extensional meanings of a grammatical string are translated to morphisms representing the intensional meanings such that truth is preserved. Pregroup grammars serve as the tool that transforms a grammatical string into a morphism. The chosen linguistic examples concern negation, relative noun phrases, comprehension and quantifiers.     

A contemporary interpretation of Marx’s thoughts on modernity

Unlike some western scholars who limit their interpretation of modernity and its source to conceptual, cultural, value, and psychological dimensions, Marx pointed out that modernity came mainly from modern production system. Starting from the historical context of his time, Marx explored various aspects of modernity and pointed out that modernity was inherent in the logic of capital, resided in the process of historical evolution, arose in social conflicts and segmentation, and presented itself in a global horizon. The logic of capital, the historical viewpoint, the theory of contradiction and a global perspective are fundamental in Marx’s analysis of the problems of modernity. Marx’s ideas of modernity are methodologically significant to the construction of modernity in contemporary Chinese society. __________ Translated from Zhongguo Shehui Kexue 中国社会科学 (China Social Sciences), 2005 (4) by Xing Lijun     

Kant on Complete Determination and Infinite Judgement

In the Transcendental Ideal Kant discusses the principle of complete determination: for every object and every predicate A, the object is either determinately A or not-A. He claims this principle is synthetic, but it appears to follow from the principle of excluded middle, which is analytic. He also makes a puzzling claim in support of its syntheticity: that it represents individual objects as deriving their possibility from the whole of possibility. This raises a puzzle about why Kant regarded it as synthetic, and what his explanatory claim means. I argue that the principle of complete determination does not follow from the principle of excluded middle because the externally negated or ‘negative’ judgement ‘Not (S is P)’ does not entail the internally negated or ‘infinite’ judgement ‘S is not-P.’ Kant's puzzling explanatory claim means that empirical objects are determined by the content of the totality of experience. This entails that empirical objects are completely determinate if and only if the totality of experience has a completely determinate content. I argue that it is not a priori whether experience has such a completely determinate content and thus not analytic that objects obey the principle of complete determination.     

Varieties of Reflection in Kant's Logic

For Kant, ‘reflection’ (Überlegung, Reflexion) is a technical term with a range of senses. I focus here on the senses of reflection that come to light in Kant's account of logic, and then bring the results to bear on the distinction between ‘logical’ and ‘transcendental’ reflection that surfaces in the Amphiboly chapter of the Critique of Pure Reason. Although recent commentary has followed similar cues, I suggest that it labours under a blind spot, as it neglects Kant's distinction between ‘pure’ and ‘applied’ general logic. The foundational text of existing interpretations is a passage in Logik Jäsche that appears to attribute to Kant the view that reflection is a mental operation involved in the generation of concepts from non-conceptual materials. I argue against the received view by attending to Kant's division between ‘pure’ and ‘applied’ general logic, identifying senses of reflection proper to each, and showing that none accords well with the received view. Finally, to take account of Kant's notion of transcendental reflection I show that we need to be attentive to the concerns of applied logic and how they inform the domain-relative transcendental logic that Kant presents in the first Critique.     

Louis Couturat,modern logic,and the international auxiliary language

ABSTRACT

To some extent, the early twentieth century revival of universal languages was the work of logicians and mathematicians. Pioneers of modern logic such as Frege, Russell and Peano wanted to overcome the diversity and deficiencies of natural languages. Through the rigour of formal logic, they aimed at providing scientific thinking with a reliable medium free from the ambiguity and inconsistencies of ordinary language. This article shows some interconnections between modern logic and the search for a common tongue that would unite scientists and people of all nations. The French mathematician and philosopher Louis Couturat is a key figure in understanding the interplay between these two movements. Through his work in composing the Ido language as an alternative to Esperanto, Couturat gave a new life to the Leibnizian idea of a universal characteristics. In addition, his multifaceted work provides a valuable insight into some political implications of early analytic philosophy.     

Constructive Empiricism and the Vices of Voluntarism

Abstract

Constructive empiricism – as formulated by Bas van Fraassen – makes no epistemological claims about the nature of science. Rather, it is a view about the aim of science, to be situated within van Fraassen’s broader voluntarist epistemology. Yet while this epistemically minimalist framework may have various advantages in defending the epistemic relevance of constructive empiricism, I show how it also has various disadvantages in maintaining its internal coherence.