Relevansi Ilmu Pengetahuan, Filsafat, Logika dan Bahasa dalam Membentuk Peradaban

God grant to the great potential of human reason as an instrument for thinking. And the reason humans can develop a philosophical exploration. The philosophical exploration can build by creating dialogue and collaborations between science, philosophy, logic and language. Civilization as composite from spirit and attitude and ways of social life cant separate from philosophy in forming of good societys behavior. In the other hand, language, science and technology are also having important roles in civilization. The results of science are impossible to understand with societies if never communicate by language. Therefore, with the achievement of those aspects and discoveries of human philosophy can build a civilization throughout historical from time to time. Thus, in the history of human civilization, science, philosophy, logic and language have their respective roles that sometimes require the dialogue and or cooperation between the fourth in a valuable form of civilization in the history of life

Sofia A. Yanovskaya: The Marxist Pioneer of Mathematical Logic in the Soviet Union

K. Marx’s 200th jubilee coincides with the celebration of the 85 years from the first publication of his “Mathematical Manuscripts” in 1933. Its editor, Sofia Alexandrovna Yanovskaya (1896–1966), was a renowned Soviet mathematician, whose significant studies on the foundations of mathematics and mathematical logic, as well as on the history and philosophy of mathematics are unduly neglected nowadays. Yanovskaya, as a militant Marxist, was actively engaged in the ideological confrontation with idealism and its influence on modern mathematics and their interpretation. Concomitantly, she was one of the pioneers of mathematical logic in the Soviet Union, in an era of fierce disputes on its compatibility with Marxist philosophy. Yanovskaya managed to embrace in an originally Marxist spirit the contemporary level of logico-philosophical research of her time. Due to her highly esteemed status within Soviet academia, she became one of the most significant pillars for the culmination of modern mathematics in the Soviet Union. In this paper, I attempt to trace the influence of the complex socio-cultural context of the first decades of the Soviet Union on Yanovskaya’s work. Among the several issues I discuss, her encounter with L. Wittgenstein is striking

Religion and Science unification

Speaking for God has been part of religion for many years. However, science has come in the past few years to question that role or even our very ability to speak about God in general. My goal is to show that dogmatism, under any form, is wrong. And even though dogmatism had for a long time been associated with ill-intentioned religion, nowadays science has replaced religion in the throne of doctrinaire thinking. The point of the paper is to illustrate that one-way thinking is never correct – most of the times a combination of science and religion, measurements and theoretical thinking, logic and intuition, is required to draw a conclusion about the most important philosophical questions. The paper establishes that exact sciences can be very useful, but they also have limits. The Religion-vs-Science problem is a pseudo-problem; logic and evidence can easily be used to defend theistic views. Both science and religion use common tools and methods and can be unified in a new way of thinking. This paper sets the foundations on how this can be achieved. The conclusion is that science and religion both complete our knowledge for the world, our understanding of humans and our purpose in life. Speaking about God is part of science as well as of religion. Only when we think of God as theologians and as scientists at the same time can we fully reach Him

Loops and Knots as Topoi of Substance. Spinoza Revisited

The relationship between modern philosophy and physics is discussed. It is shown that the latter develops some need for a modernized metaphysics which shows up as an ultima philosophia of considerable heuristic value, rather than as the prima philosophia in the Aristotelian sense as it had been intended, in the first place. It is shown then, that it is the philosophy of Spinoza in fact, that can still serve as a paradigm for such an approach. In particular, Spinoza's concept of infinite substance is compared with the philosophical implications of the foundational aspects of modern physical theory. Various connotations of sub-stance are discussed within pre-geometric theories, especially with a view to the role of spin networks within quantum gravity. It is found to be useful to intro-duce a separation into physics then, so as to differ between foundational and empirical theories, respectively. This leads to a straightforward connection bet-ween foundational theories and speculative philosophy on the one hand, and between empirical theories and sceptical philosophy on the other. This might help in the end, to clarify some recent problems, such as the absence of time and causality at a fundamental level. It is implied that recent results relating to topos theory might open the way towards eventually deriving logic from physics, and also towards a possible transition from logic to hermeneutic.Comment: 42 page

Combinatory logic: from philosophy and mathematics to computer science

In 1920, Moses Schönfinkel provided the first rough details of what later became known as combinatory logic. This endeavour was part of Hilbert’s program to formulate mathematics as a consistent logic system based on a finite set of axioms and inference rules. This program’s importance to the foundations and philosophical aspects of mathematics is still celebrated today. In the 1930s, Haskell Curry furthered Schönfinkel’s work on combinatory logic, attempting – and failing – to show that it can be used as a foundation for mathematics. However, in 1947, he described a high-level functional programming language based on combinatory logic. Research on functional programming languages continued, reaching a high point in the eighties. However, by this time, object-oriented programming languages began taking over and functional languages started to lose their appeal. Lately, however, a resurgence of functional languages is being noted. Indeed, many of the commonly-used programming languages nowadays incorporate functional programming elements in them, while functional languages such as Haskell, OCaml and Erlang are gaining in popularity. Thanks to this revival, it is appropriate to breathe new life into combinatory logic by presenting its main ideas and techniques in this paper.peer-reviewe