Jaakko Hintikka points out the power of Skolem functions to affect both what there is and what we know. There is a tension in his presupposition that these functions actually extend the realm of logic. He claims to have resolved the tension by “reconstructing constructivism” along epistemological lines, instead of by a typical ontological construction; however, after the collapse of the distinction between first and second order, that resolution is not entirely satisfactory. Still, it does throw light on the conceptual (...) analysis Hintikka proposes. (shrink)

A listing is given of the published writings of the logician and philosopher Hao Wang , which includes all items known to the authors, including writings in Chinese and translations into other languages.

In his Tractatus Logico-Philosophicus Ludwig Wittgenstein (1889–1951) presents the concept of order in terms of a notational iteration that is completely logical but not part of logic. Logic for him is not the foundation of mathematical concepts but rather a purely formal way of reflecting the world that at the minimum adds absolutely no content. Order for him is not based on the concepts of logic but is instead revealed through an ideal notational series. He states that logic is “transcendental”. (...) As such it requires an ideal that his philosophical method eventually forces him to reject. I argue that Wittgenstein’s philosophy is more dialectical than transcendental. (shrink)

The topic of this paper is the debate between two accounts of the continuum. On one account the continuum has discrete elements. On the other it has no discrete elements. Each account has its own strengths and weaknesses. The paper introduces several different explications of continuity before stating and discussing an antinomy and some options to resolve it. An assessment follows in which certain astute philosophical views are vetted. If the dispute concerns the reality of the continuum, there seems to (...) be nothing that could further decide the matter. If the dispute concerns our access to the continuum, there are many adequate options. But, in either case, the dispute is not merely verbal. (shrink)

A listing is given of the published writings of the logician and philosopher Hao Wang (1921—1995), which includes all items known to the authors, including writings in Chinese and translations into other languages.