The aim of this paper is to introduce Wittgenstein’s concept of the form of a language into geometry and to show how it can be used to achieve a better understanding of the development of geometry, from Desargues, Lobachevsky and Beltrami to Cayley, Klein and Poincaré. Thus this essay can be seen as an attempt to rehabilitate the Picture Theory of Meaning, from the Tractatus. Its basic idea is to use Picture Theory to understand the pictures of geometry. I will (...) try to show, that the historical evolution of geometry can be interpreted as the development of the form of its language. This confrontation of the Picture Theory with history of geometry sheds new light also on the ideas of Wittgenstein. (shrink)

The question whether Kuhn's theory of scientific revolutions could be applied to mathematics caused many interesting problems to arise. The aim of this paper is to discuss whether there are different kinds of scientific revolution, and if so, how many. The basic idea of the paper is to discriminate between the formal and the social aspects of the development of science and to compare them. The paper has four parts. In the first introductory part we discuss some of the questions (...) which arose during the debate of the historians of mathematics. In the second part, we introduce the concept of the epistemic framework of a theory. We propose to discriminate three parts of this framework, from which the one called formal frame will be of considerable importance for our approach, as its development is conservative and gradual. In the third part of the paper we define the concept of epistemic rupture as a discontinuity in the formal frame. The conservative and gradual nature of the changes of the formal frame open the possibility to compare different epistemic ruptures. We try to show that there are four different kinds of epistemic rupture, which we call idealisation, re-presentation, objectivisation and re-formulation. In the last part of the paper we derive from the classification of the epistemic ruptures a classification of scientific revolutions. As only the first three kinds of rupture are revolutionary (the re-formulations are rather cumulative), we obtain three kinds of scientific revolution: idealisation, re-presentation, and objectivisation. We discuss the relation of our classification of scientific revolutions to the views of Kuhn, Lakatos, Crowe, and Dauben. (shrink)

The nature of changes in mathematics was discussed recently in Revolutions in Mathematics. The discussion was dominated by historical and sociological arguments. An obstacle to a philosophical analysis of this question lies in a discrepancy between our approach to formulas and to pictures. While formulas are understood as constituents of mathematical theories, pictures are viewed only as heuristic tools. Our idea is to consider the pictures contained in mathematical text, as expressions of a specific language. Thus we get formulas and (...) pictures into one linguistic framework, and so we are able to analyse their interplay in the course of history. (shrink)

The volume also publishes for the first time a part of his Debrecen Ph.D. thesis and it is concluded by a bibliography of his Hungarian writings.

Coming from a mathematical background, I was always puzzled by Popper’s view, according to which, after the falsification of a scientific theory its degree of corroboration becomes zero. Most of the scientific theories taught in the physics departments have already been falsified, and what is the point of teaching theories, whose degree of corroboration is zero? The first important observation to make is that not all cases of falsification are the same. In some cases, as for instance in the case (...) of the theory of phlogiston, the falsification happened in agreement with the Popperian picture. Scientists discarded the falsified theory and opted for its alternative. Therefore, nowadays nobody tries to make a scientific contribution to the theory of phlogiston. Nevertheless, there are cases, and Newtonian mechanics is surely the most important among them, when the behaviour of the scientists after the falsification of the theory is from the Popperian point of view incomprehensible. Many scientists were not ready to discard the falsified theory, and not for irrational reasons. Some of the deepest discoveries in Newtonian mechanics as for instance the famous Kolmogorov, Arnold, Moser theorem were made many years after this theory was falsified. I think that Andrej Kolmogorov, Vladimir Arnold or Jürgen Moser cannot be compared to an Aristotelian philosopher, who adheres to his pet theory after its falsification. What these three mathematicians did was a fundamental contribution to modern science. (shrink)

The paper attempts to summarize the debate on Kant’s philosophy of geometry and to offer a restricted area of mathematical practice for which Kant’s philosophy would be a reasonable account. Geometrical theories can be characterized using Wittgenstein’s notion of pictorial form . Kant’s philosophy of geometry can be interpreted as a reconstruction of geometry based on one of these forms — the projective form . If this is correct, Kant’s philosophy is a reasonable reconstruction of such theories as projective geometry; (...) and not only as they were practiced in Kant’s time, but also as architects use them today. (shrink)

The aim of this paper is a philosophical generalisation of the results, which we obtained through the analysis of the development of synthetic geometry. I our papers Náčrt analytickej teórie subjektu and Topológia versus teória množín we proposed a method of analysis of the development of geometry based on Wittgensteinś Picture theory of meaning from the Tractatus. It turned out, that the concept of the form of language can be effectively used to characterise the changes, which occured in the course (...) of development of geometry. In the present paper we would like to generalize our approach and outline a universal approach to epistemology, which we call formal epistemology. (shrink)

[Cartesian physics in the light of Husserl’s phenomenology].

[Galileo's Physics in the Light of the Husserl's Phenomenology].

Cieľom predkladanej state je pokus o upresnenie Kuhnovej teórie vedeckých revolúcií. Navrhujem rozlíšiť pojem vedeckej revolúcie, ktorý označuje sociologický fakt zmeny postoja vedeckého spoločenstva vo vzťahu k určitej teórii a pojem epistemickej ruptúry, ktorý označuje lingvistický fakt diskontinuity jazykového rámca, v ktorom je táto teória formulovaná. Analýzou zmien jazykového rámca možno získať klasifikáciu epistemických ruptúr na štyri typy, nazvané ideácia, re-prezentácia, objektácia a re-formulácia. V stati je každý z týchto typov epistemických ruptúr ilustrovaný na sérii príkladov z dejín fyziky. Uvedené (...) typy epistemických ruptúr úzko súvisia s vedeckými revolúciami. Klasifikácia epistemických ruptúr sa tak dá použiť ako východisko pri klasifikácii vedeckých revolúcií. Jednotlivé revolúcie možno klasifikovať podľa toho, akého druhu je epistemická ruptúra, ktorá príslušnú revolúciu sprevádza. (shrink)

Cieľom článku je upozorniť na niektoré možnosti použitia metód formálnej epistemológie v oblasti sociálnych vied. Ide predovšetkým o teóriu objektácií a teóriu re-prezentácií a s nimi spojené metódy rekonštrukcie potencialít a formálnych aspektov jazyka. V článku sa ďalej snažíme zodpovedať niektoré kritické námietky Markéty Patákovej, ktoré sformulovala na adresu formálnej epistemológie vo svojom texte Predikce v Kvaszově formální epistemologii ve světle historické metody Michela Foucaulta.

The aim of the paper is to clarify Kuhn’s theory of scientific revolutions. We propose to discriminate between a scientific revolution, which is a sociological event of a change of attitude of the scientific community with respect to a particular theory, and an epistemic rupture, which is a linguistic fact consisting of a discontinuity in the linguistic framework in which this theory is formulated. We propose a classification of epistemic ruptures into four types. In the paper, each of these types (...) of epistemic ruptures is illustrated by examples from physics. The classification of epistemic ruptures can be used as a basis for a classification of scientific revolutions and thus for a refinement of our view of the progress of science. (shrink)

[Newton's physics in the light of Husserl's phenomenology].

The invention of symbolic algebra in the sixteenth and seventeenth centuries fundamentally changed the way we do mathematics. If we want to understand this change and appreciate its importance, we must analyze it on two levels. One concerns the compositional function of algebraic symbols as tools for representing complexity; the other concerns the referential function of algebraic symbols, which enables their use as tools for describing objects (such as polynomials), properties (such as irreducibility), relations (such as divisibility), and operations (such (...) as factorization). The reconstruction of both the compositional function and the referential function of algebraic symbols requires the use of different analytic tools and the taking of different temporal perspectives. In this chapter, we offer both: a reconstruction of the compositional function of algebraic symbols, and a reconstruction of their referential function. (shrink)

There are many interpretations of the birth of modern science. Most of them are, nevertheless, confined to the analysis of certain historical episodes or technical details, while leaving the very notion of mathematization unanalyzed. In my opinion this is due to a lack of a proper philosophical framework which would show the process of mathematization as something radically new. Most historians assume that the world is just like it is depicted by science. Thus they are not aware of the radical (...) novelty of the mathematization of nature and focus their attention on the details of this process. Phenomenology by its radical questioning of the traditional interpretations of reality provides an ideal means for the reconstruction of the process of mathematization of nature and the birth of mathematical natural science. In a series of papers I tried to show the power of Husserl 's concept of mathematization by filling in the historical details into his interpretation. In the present article I want to compare Husserl 's approach with the approach of Heidegger. I believe that by comparing these two phenomenological theories of mathematization the advantages of Husserl 's approach will come to the fore. _German_ Es gibt mehrere Interpretationen der Entstehung der modernen Wissenschaft. Die meisten von ihnen beschränken sich allerdings auf die Analyse bestimmter historischer Episoden oder technischer Details, während der Begriff der Mathematisierung unanalysiert bleibt. Meiner Meinung nach ist dies auf das Fehlen eines richtigen philosophischen Rahmens zurückzuführen, der den Prozess der Mathematisierung als etwas radikal Neues zeigen würde. Die meisten Historiker gehen davon aus, dass die Welt so ist, wie sie von der Wissenschaft dargestellt wird. So verkennen sie die Radikalität der Mathematisierung der Natur und konzentrieren ihre Aufmerksamkeit auf die Details dieses Prozesses. Die Phänomenologie bietet dank ihrer radikalen Kritik der traditionellen Interpretationen der Realität ein ideales Mittel für die Rekonstruktion des Prozesses der Mathematisierung der Natur und der Geburt der mathematischen Naturwissenschaft. In einer Reihe von Arbeiten habe ich versucht, die Stärke der Husserlschen Interpretation der Mathematisierung zu zeigen, indem ich die historischen Details in seine Interpretation einfügte. Im vorliegenden Artikel möchte ich Husserls Ansatz mit dem Ansatz von Heidegger vergleichen. Durch diesen Vergleich der beiden phänomenologischen Theorien der Mathematisierung der Natur werden die Vorteile von Husserls Ansatz in den Vordergrund treten. (shrink)

The aim of the paper is to answer some arguments raised against mathematical structuralism developed by Michael Resnik. These arguments stress the abstractness of mathematical objects, especially their causal inertness, and conclude that mathematical objects, the structures posited by Resnik included, are inaccessible to human cognition. In the paper I introduce a distinction between abstract and ideal objects and argue that mathematical objects are primarily ideal. I reconstruct some aspects of the instrumental practice of mathematics, such as symbolic manipulations or (...) ruler-and-compass constructions, and argue that instrumental practice can secure epistemic access to ideal objects of mathematics. (shrink)

The aim of the paper is to argue for the cognitive unity of the mathematical results ascribed by ancient authors to Thales. These results are late ascriptions and so it is difficult to say anything certain about them on philological grounds. I will seek characteristic features of the cognitive unity of the mathematical results ascribed to Thales by comparing them with Galilean physics. This might seem at a first sight a rather unusual move. Nevertheless, I suggest viewing the process of (...) turning geometry into an axiomatic-deductive science as a process of idealization in mathematics that is parallel to the process of idealization in physics. In Kvasz I offered an epistemological reconstruction of the process of idealization in physics during the scientific revolution of the seventeenth century. In the present paper I try to employ these epistemological insights in the process of idealization in physics and propose a reconstruction of the cognitive unity of the mathematical results ascribed to Thales, who can, on the basis of these ascriptions, be seen as one of the initiators of idealization in mathematics. (shrink)

This book argues that Descartes’ physics was a milestone on the road to modern mathematical physics. After Newton introduced a completely different approach to mathematical description of motion, Descartes’ physics became obsolete and even difficult to comprehend. This text follows the language of Descartes and the means of which motion can be described. It argues that Descartes achieved almost everything that later Newton was able to do—to describe the motion of interacting bodies- by different (i.e. algebraic) means. This volume completely (...) refutes the received view according to which Descartes’ physics was merely a kind of discursive natural philosophy. To make this interpretation more plausible the book follows Descartes’ ideas from his early work in mathematics, through his invention of the analytic method towards his mature physics. It shows that Descartes followed a similar heuristic pattern. The volume appeals to students and researchers; it invites the reader equippedwith minimal understanding of college mathematics to follow Descartes on his intellectual journey through the Scientific Revolution. The reader will gain a deeper understanding of the role of mathematical language in the creation of modern physics and a glimpse into the fascinating world of Descartes’ scientific thought. Several of Descartes’ philosophical ideas can be traced back to his scientific interests and thus the book elucidates the motivation behind some of Descartes’ key positions in the area of epistemology and method. In the penultimate chapter the book presents four arguments in favor of seeing Descartes as a physicist on par with Galileo and Newton. (shrink)

The aim of the paper is to examine the changes, which occurred in the epistemological structure of classical mechanics during its development from Newton to Poincaré. The analysis is based on the reconstruction of the language form. Attention is paid to such aspects of the language of classical mechanics as the notion of pace or the description of action . Even though these notions do not have direct denotation, they, nevertheless, constitute the general framework, on which the relation between the (...) denotative descriptions of the language of classical mechanics and the reality is based. (shrink)

The aim of the paper is to analyse the geometrical aspects of a series of modern paintings and to show the parallel between them and the development of modern geometry. It starts with El Greco, offering a geometrical explanation of his painting the figures in a prolonged manner. Further the analogy between the impressionist way of creating space and the geometrical idea of Cayley to use projective space as a basis for non-Euclidean geometry is reconstructed. Next the paper describes the (...) parallel between the creation of space in the paintings of Cézanne and Picasso and the concept of space in algebraic topology. In conclusion the paper deals with the analogy between Kandinski's abstract paintings and the set-theoretical foundations of geometry. (shrink)

The aim of the paper is to describe the main epistemolo­gi­cal ruptures in the history of modern physics. Our ap­proach is based on the re­construction of the formal language of physical theories. We examine how particular aspects of the formal language, such as its analytical, expressive, or explanatory power, as well as its analytical and expressive boundaries, have changed in the course of the historical development of physics. In the closing part of the paper we discuss the results of our (...) historical reconstruc­tion from several viewpoints. (shrink)

Cieľom článku je osvetliť niektoré historické okolnosti vzniku analytickej filozofie. Prvou z nich je zrod novovekej fyziky, ktorý viedol k rozšíreniu nového, empirického prístupu ku skutočnosti. Snažíme sa ukázať úlohu, ktorú v procese vzniku novovekej fyziky zohrala scholastická filozofia spolu s kartezianizmom. Ďalšia časť state objasňuje niektoré aspekty subjektivizmu, ktorý zohral významnú úlohu v novovekej filozofii. V jadre subjektivizmu leží podľa nášho názoru dezinterpretácia Descartovej filozofie. Prekonanie subjektivizmu analytickou filozofiou možno potom interpretovať ako návrat na miesto, na ktorom Descartes pôvodne (...) stál. (shrink)

Mathematics was considered by the members of the Vienna Circle an a priori discipline consisting of analytic propositions. The aim of the present paper is to draw attention to the experiential dimension of mathematical knowledge. Following the interpretation of physical knowledge as knowledge constituted by the use of instruments, I am trying to interpret also mathematical knowledge as knowledge based on instrumental experience. This interpretation opens a new perspective on the place of the logicist program in philosophy of mathematics. The (...) aim of the present paper is to argue that mathematics is based on experience and that mathematical experience is instrumental. The difference between mathematics and physics is that in the case of mathematics the instruments are not measuring devices but tools of symbolic representation. In order to distinguish the mathematical experience from the physical one , I will call the instrumental experience in mathematics as symbolic experience. In analogy with the measuring devices of physics I will interpret the tools of symbolic representation as tools constituting symbolic experience. (shrink)