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 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 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 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.

This paper offers an epistemological reconstruction of the historical development of algebra from al-Khwrizm, Cardano, and Descartes to Euler, Lagrange, and Galois. In the reconstruction it interprets the algebraic formulas as a symbolic language and analyzes the changes of this language in the course of history. It turns out that the most fundamental epistemological changes in the development of algebra can be interpreted as changes of the pictorial form of the symbolic language of algebra. Thus the paper develops further the (...) method of reconstruction which the author introduced for the analysis of the development of geometry. (shrink)

Mathematics is traditionally considered being an apriori discipline consisting of purely analytic propositions. The aim of the present paper is to offer arguments against this entrenched view and to draw attention to the experiential dimension of mathematical knowledge. Following Husserl’s interpretation of physical knowledge as knowledge constituted by the use of instruments, I am trying to interpret mathematical knowledge also as acknowledge based on instrumental experience. This interpretation opens a new view on the role of the logicist program, both in (...) philosophy of mathematics and in philosophy of science. (shrink)

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 the present paper is to offer a new analysis of the multifarious relations between mathematics and reality. We believe that the relation of mathematics to reality is, just like in the case of the natural sciences, mediated by instruments . Therefore the kind of realism we aim to develop for mathematics can be called instrumental realism. It is a kind of realism, because it is based on the thesis, that mathematics describes certain patterns of reality. And it (...) is instrumental realism, because it pays atten-tion to the role of instruments by means of which mathematics identifies these patterns. The article concludes by offering solutions to some famous semantic paradoxes based on the diagonal construction as corroboration for this claim. (shrink)

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 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.

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

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)

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)

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)

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)

Mathematics is often interpreted as an apriori discipline whose propositions are analytic. The aim of the paper is to support a philosophical position which would view mathematics as a discipline studying its own segment of objective reality and thus contributing to our knowledge of the real world. The author tries to articulate in more details such a position which has been proposed recently by Penelope Maddy.

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)