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 66
- Downloads 0
Słownik a plastyczność świata. Studium społeczno-humanistyczne
W niniejszym studium rozważam świat jako zbiór zdarzeń, w tym ludzkich działań. Owe zdarzenia znajdują się w sprzężeniu zwrotnym z mnogością układów postaw propozycjonalnych, które nazywam kulturami. Jednocześnie to popr...
Teoria sytuacji Marka Tokarza
In 2006, Marek Tokarz proposed a uniform pattern for the analysis of any language message. Such a message was named by him a situation. This allows the structure of statements in the form of the so-called situational for...
Odniesienie nazw własnych, intuicje semantyczne i filozofia eksperymentalna
Tekst stanowi głos w dyskusji dotyczącej filozoficznych wniosków, jakie można (bądź jakich nie można) wysnuć z systematycznych badań empirycznych nad intuicjami w kwestii odniesienia nazw własnych. Artykuł nawiązuje do s...
Is Meaning Holism Compatible with Semantic Minimalism?
Meaning Holism and Contextualism are standardly acknowledged to be similar relativistic theories that often lead to similar troubles, in particular to issues concerning instability. On the other hand, the main rival of C...
Gottlob Frege o prawdzie w okresie wydawania dwóch tomów Grundgesetze der Arithmethik (1893-1903)
W latach 1893 i 1903 ukazały się dwa tomy najważniejszego dzieła Fregego Grundegezte der Arithmetik. Ten okres można nazwać „szczytem logicyzmu” Fregego. Chociaż temat prawdy w logiczno-filozoficznej twórczości Fregego b...