Does Science Progress Towards Ever Higher Solvability Through Feedbacks Between Insights and Routines?
Journal Title: Studia Semiotyczne - Year 2018, Vol 0, Issue 2
Abstract
The affirmative answer to the title question is justified in two ways: logical and empirical. (1) The logical justification is due to Gödel’s discovery (1931) that in any axiomatic formalized theory, having at least the expressive power of PA (Peano Arithmetic), at any stage of development there must appear unsolvable problems. However, some of them become solvable in a further development of the theory in question, owing to subsequent investigations. These lead to new concepts, expressed with additional axioms or rules. Owing to the so-amplified axiomatic basis, new routine procedures like algorithms, can be reached. Those, in turn, help to gain new insights which lead to still more powerful axioms, and consequently again to ampler algorithmic resources. Thus scientific progress proceeds to an ever higher scope of solvability. (2) The existence of such feedback cycles – in a formal way rendered with Turing’s systems of logic based on ordinal (1939) – gets empirically supported by the history of mathematics and other exact sciences. An instructive instance of such a process is found in the history of the number zero. Without that insight due to some ancient Hindu mathematicians there could not arise such an axiomatic theory as PA. It defines the algorithms of arithmetical operations, which in turn help intuitions; those, in turn, give rise to algorithmic routines, not available in any of the previous phases of the process in question. While the logical substantiation of the point of this essay is a well-established result of logico-semantic inquiries, its empirical claim, based on historical evidences, remains open for discussion. Hence the author’s intention to address philosophers and historians of science, and to encourage their critical responses.
Authors and Affiliations
Witold Marciszewski
Keywords
Related Articles
- EP ID EP487964
- DOI 10.26333/sts.xxxii2.09
- Views 39
- Downloads 0
Linguistic Relativity and Its Relation to Analytic Philosophy
The history of so-called ‘linguistic relativity’ is an odd and multifaceted one. After knowing alternate fortunes and being treated by different academic branches, today there are some new ways of investigating the langu...
Directival Theory of Meaning Resurrected
The first aim of this paper is to remind the reader of a very original theory of meaning which in many aspects has not been surpassed by subsequent theories. The theory in question is Kazimierz Ajdukiewicz’s Directival T...
To, co powiedziane. Konferencja na Uniwersytecie Humboldtów w Berlinie
-
Liczby nieobliczalne a granice kodowania w informatyce
Opis danych i programów komputerowych za pomocą liczb jest epistemologicznie użyteczny, ponieważ pozwala określać granice różnego typu obliczeń. Dotyczy to w szczególności obliczeń dyskretnych (cyfrowych), opisywalnych z...
Znaki dyskursywne jako źródło i manifestacja inferencyjnych procesów poznawczych
-