What were the earliest reactions to Gödel's incompleteness theorems? After a brief summary of previous work in this area I analyse, by means of unpublished archival material, the first reactions in Vienna and Berlin to Gödel's groundbreaking results. In particular, I look at how Carnap, Hempel, von Neumann, Kaufmann, and Chwistek, among others, dealt with the new results.

In this paper, elementary but hitherto overlooked connections are established between Wittgenstein's remarks on mathematics, written during his transitional period, and free-variable finitism. After giving a brief description of theTractatus Logico-Philosophicus on quantifiers and generality, I present in the first section Wittgenstein's rejection of quantification theory and his account of general arithmetical propositions, to use modern jargon, as claims (as opposed to statements). As in Skolem's primitive recursive arithmetic and Goodstein's equational calculus, Wittgenstein represented generality by the use of free (...) variables. This has the effect that negation of unbounded universal and existential propositions cannot be expressed. This is claimed in the second section to be the basis for Wittgenstein's criticism of the universal validity of the law of excluded middle. In the last section, there is a brief discussion of Wittgenstein's remarks on real numbers. These show a preference, in line with finitism, for a recursive version of the continuum. (shrink)

The main thrust of the argument of this thesis is to show the possibility of articulating a method of construction or of synthesis--as against the most common method of analysis or division--which has always been (so we shall argue) a necessary component of scientific theorization. This method will be shown to be based on a fundamental synthetic logical relation of thought, that we shall call inversion--to be understood as a species of logical opposition, and as one of the basic monadic (...) logical operators. Thus the major objective of this thesis is to This thesis can be viewed as a response to Larry Laudan's challenge, which is based on the claim that ``the case has yet to be made that the rules governing the techniques whereby theories are invented (if any such rules there be) are the sorts of things that philosophers should claim any interest in or competence at.'' The challenge itself would be to show that the logic of discovery (if at all formulatable) performs the epistemological role of the justification of scientific theories. We propose to meet this challenge head on: a) by suggesting precisely how such a logic would be formulated; b) by demonstrating its epistemological relevance (in the context of justification) and c) by showing that a) and b) can be carried out without sacrificing the fallibilist view of scientific knowledge. OBJECTIVES: We have set three successive objectives: one general, one specific, and one sub-specific, each one related to the other in that very order. (A) The general objective is to indicate the clear possibility of renovating the traditional analytico-synthetic epistemology. By realizing this objective, we attempt to widen the scope of scientific reason or rationality, which for some time now has perniciously been dominated by pure analytic reason alone. In order to achieve this end we need to show specifically that there exists the possibility of articulating a synthetic (constructive) logic/reason, which has been considered by most mainstream thinkers either as not articulatable, or simply non-existent. (B) The second (specific) task is to respond to the challenge of Larry Laudan by demonstrating the possibility of an epistemologically significant generativism. In this context we will argue that this generativism, which is our suggested alternative, and the simplified structuralist and semantic view of scientific theories, mutually reinforce each other to form a single coherent foundation for the renovated analytico-synthetic methodological framework. (C) The third (sub-specific) objective, accordingly, is to show the possibility of articulating a synthetic logic that could guide us in understanding the process of theorization. This is realized by proposing the foundations for developing a logic of inversion, which represents the pattern of synthetic reason in the process of constructing scientific definitions. (shrink)

Le parole “metafisica” e “ontologia” si dicono in molti modi diversi nella filosofia del XX secolo, tanto all’interno della filosofia analitica quanto altrove. Sono spesso usate per parlare della teoria o dell’analisi di ciò che c’è, delle specie principali di ciò che c’è e dei loro rapporti. Ma i positivisti viennesi, per esempio, chiamavano “metafisiche” le filosofie che non amavano (Carnap, 1985; Campbell, 1976, cap. 2); e se Quine parla dell’impegno ontologico o ontico di una teoria, non intende con ciò (...) un qualsivoglia impegno metafisico o esistenziale. (shrink)

Les mots « métaphysique » et « ontologie » se disent de façons multiples à l’intérieur de la philosophie analytique et ailleurs dans la philosophie du vingtième siècle. Ils sont souvent employés pour parler de la théorie ou l’analyse de ce qu’il y a, des espèces principales de ce qu’il y a et de leurs rapports. Mais les positivistes viennois, par exemple, appelaient « métaphysiques » les philosophies qu’ils n’aimaient pas (Carnap 1985, Campbell 1976 ch. 2)1. Et si Quine parle (...) de l’engagement ontologique ou ontique d’une théorie, celui-ci ne se confond nullement avec un engagement métaphysique ou existentiel quelconque. (shrink)