Many people think that truth somehow depends upon the way things are. Yet, it has proven difficult to precisely explain the nature of this dependence. The most common view is that truth depends upon the way things are by corresponding to things. But this account relocates the difficulty: one now wonders what correspondence is. It is worth emphasizing that the question of how truth relates to reality is not only a question for correspondence theorists; theorists of all stripes may wonder (...) how truth and reality connect. There are many reasons one might care to have an analysis of how truth relates to reality. Here are two. First, an analysis would help philosophers better understand how truth could depend upon the way things are. Why is it that when Joe shoves his cat off his pillow, the proposition that Joe's cat is on his pillow switches from true to false? It may seem puzzling that an abstract thing, such as a proposition, should be affected by physical changes to concrete particulars. How does that happen? The difficulty of seeing just how true propositions are able to systematically relate to reality will be called "the Problem of Matching." A thorough analysis of the relationship between truth and reality would effectively solve the Problem of Matching. (shrink)

What is Estonian Philosophy? What is Estonian Philosophy?

In the present paper I wish to regard constructivelogic as a self-contained system for the treatment ofepistemological issues; the explanations of theconstructivist logical notions are cast in anepistemological mold already from the outset. Thediscussion offered here intends to make explicit thisimplicit epistemic character of constructivism.Particular attention will be given to the intendedinterpretation laid down by Heyting. This interpretation, especially as refined in the type-theoretical work of Per Martin-Löf, puts thesystem on par with the early efforts of Frege andWhitehead-Russell. This quite (...) recent work, however,has proved valuable not only in the philosophy andfoundations of mathematics, but has also foundpractical application in computer science, where thelanguage of constructivism serves as an implementableprogramming language, and within the philosophy oflanguage.\footnote{Nordstr\"{o}m et al. give an overview of the work in computerscience, whereas Ranta provides an impressiveconstructivist alternative to Montague Grammar usingthe richer type structure of Martin-L\"{o}f in placeof the simple classical type theory of Church.} Mypresentation will be carried out through a contrastwith standard metamathematical work.\footnote{Troelstra and van Dalen give an encyclopedictreatment of the metamathematics of constructivism.}In the course of the development I have occasion tooffer some novel considerations on thenature of proof and inference. (shrink)

I argue that the numbering system of the Tractatus lets us see how it was constructed, in two closely related senses of that term. First, it tells us a great deal about the genesis of the book, for the numbering system was used to assemble and rearrange a series of drafts, as recorded in MS 104. Second, it helps us understand the structure of the published book, as cryptically summarized in the opening footnote. I also discuss an unpublished letter from (...) Anscombe to von Wright from 1948 which contains the very first sketch of a tree-structured reading, and what I believe is Stenius’s response to Anscombe’s proposal. The paper critically evaluates previous work on tree-structured readings and contends that we need to read the Tractatus in both the number order used in the published book and the tree order that Wittgenstein used to draft it. It also considers some of the main ways of turning this complex branching structure into a linear, printed text, and so serves as an introduction to the three tree-structured editions of the Tractatus that accompany this paper (the German text, and the translations by Ogden/Ramsey and Pears & McGuinness). (shrink)

Formulating my comments I have had difficulties of three kinds. First, I am not at all sure that I have understood Davidson correctly at every point. Secondly, not being aware of how far I may take for granted that Davidson and I share what may be called the same background ...

Proposition 5.122 of Wittgenstein’s Tractatus has been the source of much puzzlement among interpreters, so much so that no fully satisfactory account is yet available. This is unfortunate, if only because the containment account of logical consequence has a venerable tradition behind it. Pasquale Frascolla’s interpretation of proposition 5.122 is based on a valid argument and one true premise. However, the argument explains sense containment only in an indirect way, leaving some crucial questions unanswered. Besides, Frascolla does not address the (...) issue of how to make sense containment notationally perspicuous, an essential theme in Wittgenstein’s reflections. In this paper, we elaborate on Frascolla’s account by looking at the issue through the Tractarian notion of logical space. Our analysis shows that, for containment to be fully appreciated, one should adopt a negative perspective on the notion of sense, in line with the exclusionary theory of conceptual content, as labelled by Ian Rumfitt. Besides this, we introduce and discuss two methods—one envisaged by Wittgenstein himself—for making sense containment notationally perspicuous. (shrink)

This talk surveys a range of positions on the fundamental metaphysical and epistemological questions about elementary logic, for example, as a starting point: what is the subject matter of logic—what makes its truths true? how do we come to know the truths of logic? A taxonomy is approached by beginning from well-known schools of thought in the philosophy of mathematics—Logicism, Intuitionism, Formalism, Realism—and sketching roughly corresponding views in the philosophy of logic. Kant, Mill, Frege, Wittgenstein, Carnap, Ayer, Quine, and Putnam (...) are among the philosophers considered along the way. (shrink)

Lecture notes from Husserl's logic lectures published during the last 20 years offer a much better insight into his doctrine of the forms of meaning than does the fourth Logical Investigation or any other work published during Husserl's lifetime. This paper provides a detailed reconstruction, based on all the sources now available, of Husserl's system of logical grammar. After having explained the notion of meaning that Husserl assumes in his later logic lectures as well as the notion of form of (...) meaning as it features in ‘doctrine of the forms of meaning’, I present a system of rules that describes all the various forms of meaning that Husserl singles out in his lectures. (shrink)

It has been much debated whether Tractarian objects are what Russell would have called particulars or whether they include also properties and relations. This paper claims that the debate is misguided: there is no logical category such that Wittgenstein intended the reader of the Tractatus to understand his objects either as providing examples of or as not providing examples of that category. This is not to say that Wittgenstein set himself against the very idea of a logical category: quite the (...) contrary. However, where Russell presents his logical variety of particulars and the various types of universal, and Frege presents his of objects and the various types of function, Wittgenstein denies the propriety of such a priori expositions. Wittgenstein envisages a variety of logical types of entity but insists that the nature of these types is something to be discovered only through analysis. (shrink)

The demand for 'criteria of correctness' to identify recurring particulars in Wittgenstein's private language argument favors an idealist interpretation of quantum phenomena.The indeterminacy principle in quantum physics and the logic of the private language argument share a common concern with the limitations by which microphysical or sensation particulars can be reidentified. Wittgenstein's criteria for reidentifying particular recurrent private sensations are so general as to apply with equal force to quantum particulars, and to support the idealist thesis that quantum phenomena are (...) themselves essentially mental or dependent on mental occurrences. (shrink)

Proceedings of the 2016 "one word" colloquium of the The Philosophical Society of Finland. The word was "Possibility".

One of the unconventional features of Wittgenstein’s _Tractatus Logico-Philosophicus_ is its use of an elaborated and detailed numbering system. Recently, Bazzocchi, Hacker und Kuusela have argued that the numbering system means that the _Tractatus_ must be read and interpreted not as a sequentially ordered book, but as a text with a two-dimensional, tree-like structure. Apart from being able to explain how the _Tractatus_ was composed, the tree reading allegedly solves exegetical issues both on the local and the global level. This (...) paper defends the sequential reading against the tree reading. After presenting the challenges generated by the numbering system and the two accounts as attempts to solve them, it is argued that Wittgenstein’s own explanation of the numbering system, anaphoric references within the _Tractatus_ and the exegetical issues mentioned above do not favour the tree reading, but a version of the sequential reading. This reading maintains that the remarks of the _Tractatus_ form a sequential chain: The role of the numbers is to indicate how remarks on different levels are interconnected to form a concise, surveyable and unified whole. (shrink)

During the realist revival in the early years of this century, philosophers of various persuasions were concerned to investigate the ontology of truth. That is, whether or not they viewed truth as a correspondence, they were interested in the extent to which one needed to assume the existence of entities serving some role in accounting for the truth of sentences. Certain of these entities, such as the Sätze an sich of Bolzano, the Gedanken of Frege, or the propositions of Russell (...) and Moore, were conceived as the bearers of the properties of truth and falsehood. Some thinkers however, such as Russell, Wittgenstein in the Tractatus, and Husserl in the Logische Untersuchungen, argued that instead of, or in addition to, truth-bearers, one must assume the existence of certain entities in virtue of which sentences and/or propositions are true. Various names were used for these entities, notably 'fact', 'Sachverhalt', and 'state of affairs'. (1) In order not to prejudge the suitability of these words we shall initially employ a more neutral terminology, calling any entities which are candidates for this role truth-makers. (shrink)