Karl Popper is famous for having proposed that science advances by a process of conjecture and refutation. He is also famous for defending the open society against what he saw as its arch enemies – Plato and Marx. Popper’s contributions to thought are of profound importance, but they are not the last word on the subject. They need to be improved. My concern in this book is to spell out what is of greatest importance in Popper’s work, what its failings (...) are, how it needs to be improved to overcome these failings, and what implications emerge as a result. The book consists of a collection of essays which dramatically develop Karl Popper’s views about natural and social science, and how we should go about trying to solve social problems. Criticism of Popper’s falsificationist philosophy of natural science leads to a conception of science that I call aim-oriented empiricism. This makes explicit metaphysical theses concerning the comprehensibility and knowability of the universe that are an implicit part of scientific knowledge – implicit in the way science excludes all theories that are not explanatory, even those that are more successful empirically than accepted theories. Aim-oriented empiricism has major implications, not just for the academic discipline of philosophy of science, but for science itself. Popper generalized his philosophy of science of falsificationism to arrive at a new conception of rationality – critical rationalism – the key methodological idea of Popper’s profound critical exploration of political and social issues in his The Open Society and Its Enemies, and The Poverty of Historicism. This path of Popper, from scientific method to rationality and social and political issues is followed here, but the starting point is aim-oriented empiricism rather than falsificationism. Aim-oriented empiricism is generalized to form a conception of rationality I call aim-oriented rationalism. This has far-reaching implications for political and social issues, for the nature of social inquiry and the humanities, and indeed for academic inquiry as a whole. The strategies for tackling social problems that arise from aim-oriented rationalism improve on Popper’s recommended strategies of piecemeal social engineering and critical rationalism, associated with Popper’s conception of the open society. This book thus sets out to develop Popper’s philosophy in new and fruitful directions. The theme of the book, in short, is to discover what can be learned from scientific progress about how to achieve social progress towards a better world. (shrink)

In this manuscript, published here for the first time, Tarski explores the concept of logical notion. He draws on Klein's Erlanger Programm to locate the logical notions of ordinary geometry as those invariant under all transformations of space. Generalizing, he explicates the concept of logical notion of an arbitrary discipline.

The concept of indiscernibility in a structure is analysed with the aim of emphasizing that in asserting that two objects are indiscernible, it is useful to consider these objects as members of (the domain of) a structure. A case for this usefulness is presented by examining the consequences of this view to the philosophical discussion on identity and indiscernibility in quantum theory.

I use modal logic and transfinite set-theory to define metaphysical foundations for a general theory of computation. A possible universe is a certain kind of situation; a situation is a set of facts. An algorithm is a certain kind of inductively defined property. A machine is a series of situations that instantiates an algorithm in a certain way. There are finite as well as transfinite algorithms and machines of any degree of complexity (e.g., Turing and super-Turing machines and more). There (...) are physically and metaphysically possible machines. There is an iterative hierarchy of logically possible machines in the iterative hierarchy of sets. Some algorithms are such that machines that instantiate them are minds. So there is an iterative hierarchy of finitely and transfinitely complex minds. (shrink)

Our aim in this paper is to take quite seriously Heinz Post’s claim that the non-individuality and the indiscernibility of quantum objects should be introduced right at the start, and not made a posteriori by introducing symmetry conditions. Using a different mathematical framework, namely, quasi-set theory, we avoid working within a label-tensor-product-vector-space-formalism, to use Redhead and Teller’s words, and get a more intuitive way of dealing with the formalism of quantum mechanics, although the underlying logic should be modified. We build (...) a vector space with inner product, the Q-space, using the non-classical part of quasi-set theory, to deal with indistinguishable elements. Vectors in Q-space refer only to occupation numbers and permutation operators act as the identity operator on them, reflecting in the formalism the fact of unobservability of permutations. Thus, this paper can be regarded as a tentative to follow and enlarge Heinsenberg’s suggestion that new phenomena require the formation of a new “closed” (that is, axiomatic) theory, coping also with the physical theory’s underlying logic and mathematics. (shrink)

Hermann Weyl as a founding father of field theory in relativistic physics and quantum theory always stressed the internal logic of mathematical and physical theories. In line with his stance in the foundations of mathematics, Weyl advocated a constructivist approach in physics and geometry. An attempt is made here to present a unified picture of Weyl's conception of space-time theories from Riemann to Minkowski. The emphasis is on the mathematical foundations of physics and the foundational significance of a constructivist philosophical (...) point of view. I conclude with some remarks on Weyl's broader philosophical views. (shrink)

The discovery that the Universe is accelerating in its expansion has brought the basic concept of cosmic expansion into question. An analysis of the evolution of this concept suggests that the paradigm that was finally settled into prior to that discovery was not the best option, as the observed acceleration lends empirical support to an alternative which could incidentally explain expansion in general. I suggest, then, that incomplete reasoning regarding the nature of cosmic time in the derivation of the standard (...) model is the reason why the theory cannot coincide with this alternative concept. Therefore, through an investigation of the theoretical and empirical facts surrounding the nature of cosmic time, I argue that an enduring three-dimensional cosmic present must necessarily be assumed in relativistic cosmology---and in a stricter sense than it has been. Finally, I point to a related result which could offer a better explanation of the empirically constrained expansion rate. (shrink)

In this paper, I argue that Heisenberg's mature philosophy of quantum mechanics must be understood in the context of his epistemological project to reinterpret and redefine Kant's notion of the a priori. After discussions with Weizsäcker and Hermann in Leipzig in the 1930s, Heisenberg attempted to ground his interpretation of quantum mechanics on what might be termed a 'practical' transformation of Kantian philosophy. Taking as his starting point, Bohr's doctrine of the indispensability of classical concepts, Heisenberg argued that concepts such (...) as space, time and causality can be regarded as 'practically a priori', in so far as they remain the conditions for the possibility of experience and even of 'objective reality', though they are not universal and necessary in a strictly Kantian sense. We cannot avoid using classical concepts in the description of experiments in quantum theory, despite the fact that there are limits to their applicability. Such concepts are, for Heisenberg, historically contingent, yet indispensable in our time, because we have no other language through which we can describe and conceive of the interaction between 'object' and 'measuring device'. (shrink)

In his attempt to put forward an empiricist version of structuralism, van Fraassen develops an approach to scientific representation and models which has been the object of several critiques. Here we cover the “Loss of Reality Objection”, namely, that reality itself would play no role in science if science could only refer to mathematical models. We examine and dismiss the solution offered by van Fraassen. Finally, we offer an alternative solution path.

This article deals with empty spacetime and the question of its physical reality. By “empty spacetime” we mean a collection of bare spacetime points, the remains of ridding spacetime of all matter and fields. We ask whether these geometric objects—themselves intrinsic to the concept of field—might be observable through some physical test. By taking quantum-mechanical notions into account, we challenge the negative conclusion drawn from the diffeomorphism invariance postulate of general relativity, and we propose new foundational ideas regarding the possible (...) observation—as well as conceptual overthrow—of this geometric ether. (shrink)

En el presente trabajo analizamos críticamente el modo en que el Estructuralismo Empirista de van Fraassen caracteriza la relación de representación entre las teorías y los fenómenos. Nuestro objetivo es ofrecer argumentos que destaquen el papel del objeto en la construcción de modelos de datos. Asimismo, nos proponemos mostrar que la opción metodológica sugerida en su obra reciente resulta insuficiente para recuperar un vínculo plausible entre los modelos de datos y los fenómenos.

Les variations de Gilles Châtelet Sur une petite phrase de Riemann, montrent que loin de constituer une variante de la « philosophie baroque » telle que la définit Deleuze, son maniérisme épistémologique le rapproche étonnamment de l’attention aux « modes de données » et aux « modes de visée » caractéristique de la phénoménologie transcendantale. Comme Hermann Weyl, il voit à l’œuvre dans la phénoménologie husser-lienne un approfondissement de l’esthétique transcendantale kantienne, en la tenant pour une approche philosophique pertinente et (...) ajustée à la science de son temps.Châtelet’s variation on a note by Riemann, shows that, far from constituting a variant of the “Baroque philosophy” such as Deleuze defines it, his epistemological mannerism pays attention to “modes of givenness” and “modes of constitution”, which is characteristic of transcendental phe-nomenology. This explains why he considers, like Hermann Weyl, phe-nomenology as a deepening of Kant’s transcendental aesthetics and as a philosophical approach, relevant and adapted to the science of his time. It is in this perspective that we should hear their joint statements that transcendental phenomenology is epistemologically contemporary to special and general relativity. Châtelets Variation auf einer kleinen Phrase von Rie-mann zeigt, daß sein erkenntnistheoretischer Manierismus, eine Variante der nach Definition „barocken Philosophie“ von Deleuze weit entfernt zu sein, im Gegenteil in der Nähe von transzendentale Phänomenologie und seine Aufmerksamkeit auf die „Gegebenheitsmodi“ und „Konstitution-sweise“ steht. Überdies betrachtet er, wie Hermann Weyl, die Phänomenol-ogie und die Vertiefung der transzendentalen Ästhetik als philosophischen Ansatz für die Wissenschaft seiner Zeit. Es ist in dieser Perspektive, dass wir ihre gemeinsamen Aussagen hören, dass die Kantische Ästhetik in Husserls vertieft wird, und dass die transzendentale Phänomenologie epistemologisch zeitgenössisch ist für speziell und allgemeine Relativität.This article is in French. (shrink)

We analyze the notion of indiscernibility in the light of the Galois theory of field extensions and the generalization to K-algebras proposed by Grothendieck. Grothendieck's reformulation of Galois theory permits to recast the Galois correspondence between symmetry groups and invariants as a duality between G-spaces and the minimal observable algebras that separate theirs points. In order to address the Galoisian notion of indiscernibility, we propose what we call an epistemic reading of the Galois-Grothendieck theory. According to this viewpoint, the Galoisian (...) notion of indiscernibility results from the limitations of the `resolving power' of the observable algebras used to discern the corresponding `coarse-grained' states. The resulting Galois-Grothendieck duality is rephrased in the form of what we call a Galois indiscernibility principle. According to this principle, there exists an inverse correlation between the coarsegrainedness of the states and the size of the minimal observable algebra that discern these states. (shrink)