Philosophy of Mathematics, Misc

The article is devoted to the nature of science. To what extent are science and mathematics affected by the society in which they are developed? Philosophy of science has accepted the social influence on science, but limits it only to the context of discovery (a "locational" approach). An opposite "attributive" approach states that any part of science may be so influenced. L. Graham is sure that even the mathematical equations at the core of fundamental physical theories may display social attributes. (...) He has used the investigations of the famous Soviet physicist V. Fock on the General Theory of Relativity which were under the influence of Marxism. The Goal of the article is to demonstrate: 1) Why Soviet science is not an appropriate subject-matter for testing the thesis of social constructivism, 2) That differnt levels of science and different stages in the development of science undergo social influences in different degrees ranging from very significant and unavoidable to absolutely trivial and easy eliminated. (shrink)

International Studies in the Philosophy of Science, Volume 26, Issue 3, Page 345-348, September 2012.

This book constitutes the refereed proceedings of the 8th International Conference on Theory and Applications of Satisfiability Testing, SAT 2005, held in St Andrews, Scotland in June 2005. The 26 revised full papers presented together with 16 revised short papers presented as posters during the technical programme were carefully selected from 73 submissions. The whole spectrum of research in propositional and quantified Boolean formula satisfiability testing is covered including proof systems, search techniques, probabilistic analysis of algorithms and their properties, problem (...) encodings, industrial applications, specific tools, case studies, and empirical results. (shrink)

The rise of the field of “ experimental mathematics” poses an apparent challenge to traditional philosophical accounts of mathematics as an a priori, non-empirical endeavor. This paper surveys different attempts to characterize experimental mathematics. One suggestion is that experimental mathematics makes essential use of electronic computers. A second suggestion is that experimental mathematics involves support being gathered for an hypothesis which is inductive rather than deductive. Each of these options turns out to be inadequate, and instead a third suggestion is (...) considered according to which experimental mathematics involves calculating instances of some general hypothesis. The paper concludes with the examination of some philosophical implications of this characterization. (shrink)

At their extremes, the modernization of ancient mathematical texts (absolute presentism) leaves nothing of the source and the refusal to modernize (absolute antiquarism) changes nothing. The extremes exist only as tendencies. This paper attempts to justify the admissibility of broad modernization of mathematical sources (presentism) in the context of a socio-cultural (non-fundamentalist) philosophy of mathematics.

The main thesis of this paper is that, Contrary to general belief, George berkeley did in fact express a coherent philosophy of mathematics in his major published works. He treated arithmetic and geometry separately and differently, And this paper focuses on his philosophy of arithmetic, Which is shown to be strikingly similar to the 19th and 20th century philosophies of mathematics known as 'formalism' and 'instrumentalism'. A major portion of the paper is devoted to showing how this philosophy of mathematics (...) follows directly from berkeley 's theory of signs and his philosophy of language, And from his discovery of an alternative to the correspondence theory of truth used by most of his predecessors. (shrink)

The initial goal of the present paper is to reveal a mistake committed by Hintikka in a recent paper on the foundations of mathematics. His claim that independence-friendly logic is the real logic of mathematics is supported in that article by an argument relying on uniformity concepts taken from real analysis. I show that the central point of his argument is a simple logical mistake. Second and more generally, I conclude, based on the previous remarks and on another standard fact (...) of IFL, that first-order logic can adequately express uniformity concepts in real analysis, whereas IFL cannot. This not only radically contradicts Hintikka’s particular claim in that article, but also undermines his whole enterprise of founding mathematics on his logic system. (shrink)

This paper briefly traces the evolution of the function concept until its modern set theoretic definition, and then investigates its relationship to the pre-formal notion of variable dependence. I shall argue that the common association of pre-formal dependence with the modern function concept is misconceived, and that two different notions of dependence are actually involved in the classic and the modern viewpoints, namely effective and functional dependence. The former contains the latter, and seems to conform more to our pre-formal conception (...) of dependence. The idea of effective dependence is further investigated in connection with the notions of function content and intensionality. Finally, the relevance of the distinction between the two kinds of dependence to mathematical practice is considered. (shrink)

V. Hendricks and H. Leitgeb, eds., Automatic Press, 2007.

This volume collects nine essays that investigate the work of Gottlob Frege. The contributors address Frege’s work in relation to literature and fiction (Dichtung), the humanities (Geisteswissenschaften), and science (Wissenschaft). Overall, the essays consider internal connections between different aspects of Frege’s work while acknowledging the importance of its philosophical context. -/- There are also further common strands between the papers, such as the relation between Frege’s and Wittgenstein’s approaches to philosophical investigations, the relation between Frege and Kant, and the place (...) of Frege’s work in the philosophical landscape more generally. The volume is therefore of direct relevance to several current debates in philosophy in general, in addition to Frege and Wittgenstein research in particular. -/- Even though Frege’s great significance for contemporary philosophy is not disputed, the question of how we are to understand the character and aims of his project is debated. The debate has a starting point in Frege’s specific conception of logic. The volume elucidates this conception as well as the relation between natural language and the Begriffsschrift. It will help philosophers, researchers, and students better understand the nuances of this great thinker. By extension, it will also help readers seeking to understand Wittgenstein’s approach to philosophical difficulties and his struggle to find an apt form of presentation for his philosophical investigations. (shrink)

An interpretation of Wittgenstein’s much criticized remarks on Gödel’s First Incompleteness Theorem is provided in the light of paraconsistent arithmetic: in taking Gödel’s proof as a paradoxical derivation, Wittgenstein was drawing the consequences of his deliberate rejection of the standard distinction between theory and metatheory. The reasoning behind the proof of the truth of the Gödel sentence is then performed within the formal system itself, which turns out to be inconsistent. It is shown that the features of paraconsistent arithmetics match (...) with some intuitions underlying Wittgenstein’s philosophy of mathematics, such as its strict finitism and the insistence on the decidability of any mathematical question. (shrink)

Universal Logic is not a new logic, but a general theory of logics, considered as mathematical structures. The name was introduced about ten years ago, but the subject is as old as the beginning of modern logic: Alfred Tarski and other Polish logicians such as Adolf Lindenbaum developed a general theory of logics at the end of the 1920s based on consequence operations and logical matrices. The subject was revived after the flowering of thousands of new logics during the last (...) thirty years: there was a need for a systematic theory of logics to put some order in this chaotic multiplicity. This book contains recent works on universal logic by first-class researchers from all around the world. The book is full of new and challenging ideas that will guide the future of this exciting subject. It will be of interest for people who want to better understand what logic is. Tools and concepts are provided here for those who want to study classes of already existing logics or want to design and build new ones. (shrink)