Equally surprisingly, Descartes’s paranoid belief was shared by several contemporary mathematicians, among them Isaac Barrow, John Wallis and Edmund Halley. (Huxley 1959, pp. 354-355.) In the light of our fuller knowledge of history it is easy to smile at Descartes. It has even been argued by Netz that analysis was in fact for ancient Greek geometers a method of presenting their results (see Netz 2000). But in a deeper sense Descartes perceived something interesting in the historical record. We are looking (...) in vain in the writings of Greek mathematicians for a full explanation of what this famous method was. And I will argue for an answer to the question why this lacuna is there: Not because Greek geometers wanted to hide this method, but because they did not fully understand it. It is instructive to note the ambivalent attitude of the most rigorous mathematician of the period, Isaac Newton, to the method of analysis. He used it himself in his own mathematical work and in the expositions of that work. Yet when the mathematical push came to physical and cosmological shove, he formulated his Principia entirely in.. (shrink)
Jaakko Hintikka 1. How to Study Set Theory The continuum hypothesis (CH) is crucial in the core area of set theory, viz. in the theory of the hierarchies of infinite cardinal and infinite ordinal numbers. It is crucial in that it would, if true, help to relate the two hierarchies to each other. It says that the second infinite cardinal number, which is known to be the cardinality of the first uncountable ordinal, equals the cardinality 2 o of the continuum. (...) (Here o is the smallest infinite cardinal.). (shrink)
particular alternative logic could be relevant to another one? The most important part of a response to this question is to remind the reader of the fact that independence friendly (IF) logic is not an alternative or “nonclassical” logic. (See here especially Hintikka, “There is only one logic”, forthcoming.) It is not calculated to capture some particular kind of reasoning that cannot be handled in the “classical” logic that should rather be called the received or conventional logic. No particular epithet (...) should be applied to it. IF logic is not an alternative to our generally used basic logic, the received first-order logic, aka quantification theory or predicate calculus. It replaces this basic logic in that it is identical with this “classical” first-order logic except that certain important flaws of the received first-order logic have been corrected. But what are those flaws and how can they be corrected? To answer these questions is to explain the basic ideas of IF logic. Since this logic is not as well known as it should be, such explanation is needed in any case. I will provide three different but not unrelated motivations for IF logic. (shrink)
What one can say about the past, present and future of set theory depends on what one expects or at least hopes set theory will accomplish. In order to gauge the early expectations, I begin with a quote from the inaugural lecture in 1903 of my mathematical grandfather, the internationally known Finnish mathematician Ernst Lindelöf. The subject of his lecture was – guess what – Cantor’s set theory. In his conclusion, Lindelöf says of Cantor’s results: For mathematics they have lent (...) new tools and opened up new fields of research, they have thrown entirely new light on the foundations of analysis and brought clarity and order where there was only disorder and contradictions. Thus they have greatly contributed to the harmony that is the essence of mathematics, a harmony a grasp of which is the reward of mathematical research. (Quoted in Olli Lehto, Tieteen aatelia, Otava, Helsinki, 2008, p. 263) We can all agree with the compliments Lindelöf pays to set theory as an impressive specimen of mathematical research, including the theory of infinite cardinals and ordinals. But as far as the foundational role of set theory is concerned, in the perspective of the subsequent century his words read as an example of supreme historical irony. Far from bringing harmony into the foundations of mathematics, problems arising from set theory led to a schism between different schools of thought. Few mathematicians think of set theory as a tool for reaching new results outside set theory.. On the contrary, an interesting rich tradition called reverse mathematics takes significant mathematical results and asks what set-theoretical assumptions are needed to prove them. Set-theoretical paradoxes have greatly increased mathematicians’ concerns about contradictions instead of assuaging them. Many foundationalists would blandly deny that we have even now, more than a hundred years later, reached “clarity and order” about the foundations of analysis. What Lindelöf took to be the results of set theory thus were in reality so many hopes that set theory was expected to fulfill.. (shrink)
The world of philosophy can perhaps be seen as a microcosm of the world at large. In the course of the last few decades, the world has seen the collapse of the communist system of Russia, a major crisis of the free market economy in the USA, Europe and Japan, and massive economic changes in China. One perspective on contemporary philosophical research is reached by asking what crises the major philosophical traditions, if not literally “systems”, are likewise undergoing and what (...) can be done to find a road ahead. What might a “stimulus package” for philosophy be like (except for inevitably being controversial)? (shrink)
By speaking of the bald man, I am of course referring to the most clear-cut of the paradoxes of vagueness, the sorites paradox. Or, strictly speaking, I am referring to one of the dramatizations of this paradox. This case is nevertheless fully representative of the general issues involved. (For the sorites paradox in general, see e.g. Keefe and Smith 1987 or Sainsbury 1995, ch.2.) The allegedly paradoxical argument is well known. It might be formulated as follows.
In a definition (∀ x )(( x є r )↔D[ x ]) of the set r, the definiens D[ x ] must not depend on the definiendum r . This implies that all quantifiers in D[ x ] are independent of r and of (∀ x ). This cannot be implemented in the traditional first-order logic, but can be expressed in IF logic. Violations of such independence requirements are what created the typical paradoxes of set theory. Poincaré’s Vicious Circle Principle (...) was intended to bar such violations. Russell nevertheless misunderstood the principle; for him a set a can depend on another set b only if ( b є a ) or ( b ⊆ a ). Likewise, the truth of an ordinary first-order sentence with the Gödel number of r is undefinable in Tarki’s sense because the quantifiers of the definiens depend unavoidably on r. (shrink)
The main tool of the arithmetization and logization of analysis in the history of nineteenth century mathematics was an informal logic of quantifiers in the guise of the “epsilon–delta” technique. Mathematicians slowly worked out the problems encountered in using it, but logicians from Frege on did not understand it let alone formalize it, and instead used an unnecessarily poor logic of quantifiers, viz. the traditional, first-order logic. This logic does not e.g. allow the definition and study of mathematicians’ uniformity concepts (...) important in analysis. Mathematicians’ stronger logic was rediscovered around 1990 as the form of independence-friendly logic which hence is not a new logic nor a further development of ordinary first-order logic but a richer version of it. (shrink)
The ancient Greek method of analysis has a rational reconstruction in the form of the tableau method of logical proof. This reconstruction shows that the format of analysis was largely determined by the requirement that proofs could be formulated by reference to geometrical figures. In problematic analysis, it has to be assumed not only that the theorem to be proved is true, but also that it is known. This means using epistemic logic, where instantiations of variables are typically allowed only (...) with respect to known objects. This requirement explains the preoccupation of Greek geometers with questions as to which geometrical objects are ?given?, that is, known or ?data?, as in the title of Euclid's eponymous book. In problematic analysis, constructions had to rely on objects that are known only hypothetically. This seems strange unless one relies on a robust idea of ?unknown? objects in the same sense as the unknowns of algebra. The Greeks did not have such a concept, which made their grasp of the analytic method shaky. (shrink)
The modern notion of the axiomatic method developed as a part of the conceptualization of mathematics starting in the nineteenth century. The basic idea of the method is the capture of a class of structures as the models of an axiomatic system. The mathematical study of such classes of structures is not exhausted by the derivation of theorems from the axioms but includes normally the metatheory of the axiom system. This conception of axiomatization satisfies the crucial requirement that the derivation (...) of theorems from axioms does not produce new information in the usual sense of the term called depth information. It can produce new information in a different sense of information called surface information. It is argued in this paper that the derivation should be based on a model-theoretical relation of logical consequence rather than derivability by means of mechanical (recursive) rules. Likewise completeness must be understood by reference to a model-theoretical consequence relation. A correctly understood notion of axiomatization does not apply to purely logical theories. In the latter the only relevant kind of axiomatization amounts to recursive enumeration of logical truths. First-order “axiomatic” set theories are not genuine axiomatizations. The main reason is that their models are structures of particulars, not of sets. Axiomatization cannot usually be motivated epistemologically, but it is related to the idea of explanation. (shrink)
Most current work in epistemology deals with the evaluation and justification of information already acquired. In this book, Jaakko Hintikka instead discusses the more important problem of how knowledge is acquired in the first place. His model of information-seeking is the old Socratic method of questioning, which has been generalized and brought up-to-date through the logical theory of questions and answers that he has developed.
One of the characteristic features of contemporary logic is that it incorporates the Frege-Russell thesis according to which verbs for being are multiply ambiguous. This thesis was not accepted before the nineteenth century. In Aristotle existence could not serve alone as a predicate term. However, it could be a part of the force of the predicate term, depending on the context. For Kant existence could not even be a part of the force of the predicate term. Hence, after Kant, existence (...) was left homeless. It found a home in the algebra of logic in which the operators corresponding to universal and particular judgments were treated as duals, and universal judgments were taken to be relative to some universe of discourse. Because of the duality, existential quantifier expressions came to express existence. The orphaned notion of existence thus found a new home in the existential quantifier. (shrink)
Omitting experimental data is often considered a violation of scientific integrity. If we consider experimental inquiry as a questioning process, omitting data is seen to be merely an example of tentatively rejecting (‘bracketing’) some of nature’s answers. Such bracketing is not only occasionally permissible; sometimes it is mandated by optimal interrogative strategies. When to omit data is therefore a strategic rather than ethical question. These points are illustrated by reference to Millikan’s oil drop experiment.
Finland is internationally known as one of the leading centers of twentieth century analytic philosophy. This volume offers for the first time an overall survey of the Finnish analytic school. The rise of this trend is illustrated by original articles of Edward Westermarck, Eino Kaila, Georg Henrik von Wright, and Jaakko Hintikka. Contributions of Finnish philosophers are then systematically discussed in the fields of logic, philosophy of language, philosophy of science, history of philosophy, ethics and social philosophy. Metaphilosophical reflections on (...) the nature of philosophy are highlighted by the Finnish dialogue between analytic philosophy, phenomenology, pragmatism, and critical theory. (shrink)
My propositions are elucidatory in this way: he who understands them eventually recognizes them as senseless [unsinnig], when he has climbed out through them, on them, over them… He must surmount these propositions; then he sees the world rightly. (Tractatus 6.54) These statements must be taken seriously and therefore must be interpreted as literally possible. They have nevertheless been experienced by some philosophers as posing a major interpretational problem. For if Wittgenstein’s words are taken literally, we seem to have a (...) major problem in our hands. If what Wittgenstein had said before proposition 6.54 is literally nonsense, we apparently cannot understand his book at its face value. And, as was pointed out, this face value is that of a treatise in logical semantics. Hence.. (shrink)
The following analysis shows how developments in epistemic logic can play a nontrivial role in cognitive neuroscience. We argue that the striking correspondence between two modes of identification, as distinguished in the epistemic context, and two cognitive systems distinguished by neuroscientific investigation of the visual system (the "where" and "what" systems) is not coincidental, and that it can play a clarificatory role at the most fundamental levels of neuroscientific theory.
In game-theoretical semantics, perfectlyclassical rules yield a strong negation thatviolates tertium non datur when informationalindependence is allowed. Contradictorynegation can be introduced only by a metalogicalstipulation, not by game rules. Accordingly, it mayoccur (without further stipulations) onlysentence-initially. The resulting logic (extendedindependence-friendly logic) explains several regularitiesin natural languages, e.g., why contradictory negation is abarrier to anaphase. In natural language, contradictory negationsometimes occurs nevertheless witin the scope of aquantifier. Such sentences require a secondary interpretationresembling the so-called substitutionalinterpretation of quantifiers.This interpretation is sometimes impossible,and (...) it means a step beyond thenormal first-order semantics, not an alternative to it. (shrink)
The working assumption of this paper is that noncommuting variables are irreducibly interdependent. The logic of such dependence relations is the author's independence-friendly (IF) logic, extended by adding to it sentence-initial contradictory negation ¬ over and above the dual (strong) negation . Then in a Hilbert space turns out to express orthocomplementation. This can be extended to any logical space, which makes it possible to define the dimension of a logical space. The received Birkhoff and von Neumann quantum logic can (...) be interpreted by taking their disjunction to be ¬(A & B). Their logic can thus be mapped into a Boolean structure to which an additional operator has been added. (shrink)
We introduce several senses of the principle ofcompositionality. We illustrate the difference between them with thehelp of some recent results obtained by Cameron and Hodges oncompositional semantics for languages of imperfect information.
How does language represent ("mirror") the world it can be used to talk about? Or does it? A negative answer is maintained by one of the main traditions in language theory that includes Frege, Wittgenstein, Heidegger, Quine and Rorty. A test case is offered by the question whether the critical ''mirroring'' relations, especially the notion of truth, are themselves expressible in language. Tarski's negative thesis seemed to close the issue, but dramatic recent developments have decided the issue in favour of (...) the expressibility of truth. At the same time, the "mirroring" relations are not natural ones, but constituted by rule-governed human activities a la Wittgenstein's language games. These relations are nevertheless objective, because they depend only on the rules of these "games", not on the idiosyncrasies of the players. It also turns out that the "truth games" for a language are the same as the language games that give it its meaning in the first place. Thus truth and meaning are intrinsically intertwined. (shrink)
Pretheoretically, truth is a correspondence between a sentence and facts. Other so-called theories of truth have typically been resorted to because such a correspondence is thought of as being inexpressible or as being incapable of yielding a definition of truth which expresses what we actually mean. It can be shown that truth is indefinable in the paradigm case of ordinary first-order languages only because they cannot express informational independence. As soon as this is corrected, as in independence-friendly first-order logic, truth (...) predicates are readily definable, Tarski notwithstanding. Hence, there is no reason to think that truth cannot also be defined for our actual working language—Tarski’s “colloquial language.”. (shrink)
A (normalized) interpolant I in Craig's theorem is a kind of explanation why the consequence relation (from F to G) holds. This is because I is a summary of the interaction of the configurations specified by F and G, respectively, that shows how G follows from F. If explaining E means deriving it from a background theory T plus situational information A and if among the concepts of E we can separate those occurring only in T or only in A, (...) then the interpolation theorem applies in two different ways yielding two different explanations and two different covering laws. (shrink)
This book, written by one of philosophy's pre-eminent logicians, argues that many of the basic assumptions common to logic, philosophy of mathematics and metaphysics are in need of change. It is therefore a book of critical importance to logical theory. Jaakko Hintikka proposes a new basic first-order logic and uses it to explore the foundations of mathematics. This new logic enables logicians to express on the first-order level such concepts as equicardinality, infinity, and truth in the same language. The famous (...) impossibility results by Gödel and Tarski that have dominated the field for the last sixty years turn out to be much less significant than has been thought. All of ordinary mathematics can in principle be done on this first-order level, thus dispensing with the existence of sets and other higher-order entities. (shrink)
Meinong's thought is considered in relation to several major conceptual problems, including the Frege-Russell thesis that words like is are multiply ambiguos and Aristotle's treatment of existence. This treatment leads to a problem of how to interpret quantifiers. The three main possible interpretations are: (i) quantifiers as ranging over actual individuals (or individuals existing in some one world); (ii) quantifiers as ranging over a set of possible individuals; (iii) quantifiers merely as a way of specifying the interdependencies of the concepts (...) (forms) specified by syllogistic terms. The subsequent history of philosophers' and logicians' treatments of existence is characterized by a tension between (i)-(iii). Meinong's position is in the main (iii) whereas Russell in his On Denoting defended (i). The contrast between (i) and (iii) has a counterpart in nineteenth-century discussions about foundations of mathematics. (shrink)
The so-called New Theory of Reference (Marcus, Kripke etc.) is inspired by the insight that in modal and intensional contexts quantifiers presuppose nondescriptive unanalyzable identity criteria which do not reduce to any descriptive conditions. From this valid insight the New Theorists fallaciously move to the idea that free singular terms can exhibit a built-in direct reference and that there is even a special class of singular terms (proper names) necessarily exhibiting direct reference. This fallacious move has been encouraged by a (...) mistaken belief in the substitutional interpretation of quantifiers, by the myth of thede re reference, and a mistaken assimilation of direct reference to ostensive (perspectival) identification. Thede dicto vs.de re contrast does not involve direct reference, being merely a matter of rule-ordering (scope).The New Theorists' thesis of the necessity of identities of directly referred-to individuals is a consequence of an unmotivated and arbitrary restriction they tacitly impose on the identification of individuals. (shrink)
Kuhn's contribution should be viewed as posing a number of important problems, not as a full-fledged theory of the structure of science. Kuhn's alleged theory-ladenness of observations is examined as a test case in the light of Hintikka's interrogative model of inquiry. A certain superficial theory-ladenness is built into that model. Moreover, the model provides a deeper analysis of theory-ladenness via the two-levelled character of experimental science. A higher-level and a lower-level inquiry rely on different kinds of initial (...) premises and operate with different kinds of "answers" by nature. The model also throws light on the alleged theory-ladenness of meaning. (shrink)
The commensurability of two theories can be defined (relative to a given set of questions) as the ratio of the total information of their shared answers to the total information of the answers yielded by the two theories combined. Answers should be understood here as model consequences (in the sense of the author's earlier papers), not deductive consequences. This definition is relative to a given model of the joint language of the theories, but can be generalized to sets of models. (...) It turns out to capture also the idea of incommensurability as conceptual alienation. Incommensurability so defined does not imply incomparability. (shrink)
In Jaakko Hintikka's interrogative model of inquiry, the strategic principles governing empirical inquiry (interrogatively construed) turn out to be closely related to those governing deductive reasoning. Hence it is important to study the precise analogies which obtain between deductive logic and interrogative inquiry. The basic concept of the interrogative model is the relation of model consequence $\text{M}\colon \text{T}\vdash \text{C}$ . It is said to obtain iff C can be derived from T by means of an interrogative process in the model (...) M (in the logicians' sense of model). We prove here a counterpart of Craig's interpolation theorem for the concept of model consequence. The interrogative analogue to definability is a logical generalization of methodologists' concept of identifiability. For this concept, we prove an analogue to Beth's theorem. Some further philosophical consequences of these results are mentioned. For instance, identifiability is a good rational reconstruction of the idea of observability (measurability). (shrink)
What are here called extremality conditions limit the models of a first-order language to those that are minimal (in a certain sense), maximal (in a certain sense) or both (in different respects). It is indicated how the requisite senses of maximality and minimality can be defined. By restricting models to those that satisfy these extremality conditions, complete axiomatizations can be given to elementary number theory and to the theory of the continuum. The same extremality conditions can also be used to (...) limit the models of axiomatic set theory to certain "standard" ones. (shrink)
Several different kinds of measures of information are distinguished from each other. The differences between them show that our pretheoretical concept of information is multiply ambiguous. Attempts to think of the scientific enterprise in terms of information maximization lead to several legitimately different rules of scientific decision-making, depending on which kind of information one is interested in. The contrast between high information and high probability postulated by some philosophers is spurious for the same reason. It is even possible to define (...) interesting measures of information such that nontrivial deductive reasoning can increase information so defined. (shrink)
Philosophers at least since Kant, with Larry Laudan being a recent example, have suggested that scientific inquiry be thought of as a problem-solving or question-answering activity. The logic of such a conception of scientific inquiry has not been studied systematically, however. This paper presents some of the main aspects of the logic on which such a conception of science is based. That logic is called in this paper model-oriented logic, and it is suggested that one can systematically study optimal questioning (...) strategies with it. (shrink)
