In the first part of the article, Giuseppe Veronese’s concept of arithmetical constructivism is reconstructed from his dispersed remarks. It is pointed out that although for Veronese time is a necessary condition for the construction of natural numbers by an individual subject and the subject cognizes time in an a priori way, it is not a (proto-)intuition of the subject. This is a fundamental difference between the concept proposed by Veronese and the constructivism of Kant and Brouwer. Veronese’s justification of (...) the subject’s ability to cognize infinity, represented in his text by infinite sequences, is analyzed in the second part of the paper. The only condition for the cognition of the infinite sequence is to have a rule according to which its successive terms “follow one another.” The price of the ability to cognize the infinitive “whole” (sequence) may be the uncognizability of certain “parts” (terms of sequence). Infinite sequences, cognizable according to Veronese, are allowed as objects of mathematical research, although they do not meet the condition of constructability. (shrink)

In 1891, Hilbert came to the conclusion that geometry is not a science of the physical space but is an abstract science. Hilbert’s new position was repeated in the introduction to Grundlagen der Geometrie in 1899. The aim of this paper is to show the sources of change of Hilbert’s position in 1891. We showed that the di-rect source of the change was having heard a lecture by Wiener on projective geome-try. Wiener presented there a project of geometry as a (...) science of abstract objects i.e. objects as sets of minimal number of – only relational – properties. We showed that this idea was derived by Wiener from Dedekind’s arithmetic of natural numbers, pre-sented in 1888 in Was sind und was sollen die Zahlen? Thus – and this is the essential thesis of our paper – the original source of Hilbert’s idea of geometry as a abstract science is included in Dedekind’s concept of arithmetic. (shrink)

Book review: Lukas Benedikt Kraus, Der Begriff des Kontinuums bei Bernard Bolzano, Beiträge zur Bolzano-Forschung, vol. 25, Academia Verlag, Sankt Augustin 2014, pp. 112.

The main purpose of the present paper is to demonstrate that as early as 1904 pre-eminent American mathematician Maxime Bôcher was an adherent to the presently relevant argument of reasonableness, or even necessity of parallel development of two philosophical methods of reflection on mathematics, so that its essence could be more fully comprehended. The goal of the research gives rise to the question: what two types of philosophical deliberation on mathematics were proposed by Bôcher?

The old-fashioned concept of state is shown to be inadequate and misleading. Replacing it by a concept of information and taking advantage of the invariance of the mechanical description under time reversal puts the problems of the interpretation of quantum mechanics in a new light. A more realistic interpretation appears to be possible. Moreover, a new explanation of the Einstein-Podolsky-Rosen paradox is presented, too.

Las jako zespół przyrody o określonych właściwościach pełni szereg wielorakich funkcji gospodar­czych, pośrednio gospodarczych i pozagospodar­czych. Jako przyrodnicza całość jest mało stabilny i ulega wielu czynnikom biotycznym, abiotycznym i antropogenicznym. Z praktyki ochrony lasu w granicach admini­stracyjnych Regionalnej Dyrekcji Lasów Państwo­wych w Olsztynie wynika, że szczególnie niebez­pieczne bywają owady - z grupy szkodników pier­wotnych - żerujące na drzewach żywych i pozornie zdrowych, a osłabionych działaniem jednego lub kil­ku czynników, zwykle abiotycznych. Pojawy nie­których zmuszają do podejmowania zabiegów ratow­niczych. Sposoby sprowadzania liczebności (...) trzech moty­li, tzn. brudnicy mniszki, strzygoni choinówki i zwójki zieloneczki, do poziomu przed laty nazywanego „żelaznym zapasem” przedstawia niniejsze opracowanie. (shrink)

Resumo Este artigo analisa, as recentes versões, da objecção à existência de um fluxo do tempo, com base na pergunta: “Com que velocidade flui o tempo?”. O autor mostra que as soluções existentes para o problema não são plausíveis e, que em vez disso, a resolução deve ser encontrada numa nova concepção de fluxo temporal, que evite tais dificuldades. A teoria metafísica proposta desenvolve as ideias de Broad e Prior sob um novo enquadramento, que invalida a objecção resultante da questão (...) sobre o ritmo da passagem do tempo e das respostas “segundo a segundo”. Neste texto também se procura mostrar, que esta teoria metafísica, aqui proposta, possui outras virtudes que testemunham a seu favor. Palavras-chave : existência dinâmica, fluxo do tempo, presentismo, velocidade de passagem do tempoThe paper analyzes some recent versions of the objection to the existence of the flow of time based on the question: “How fast does time flow?”. It shows that the replies given to the problem are implausible and instead proposes a solution for the issue in the form of a conception of the flow of time which can avoid such a difficulty. The proposed metaphysical theory develops the ideas of Broad and Prior in a radical way and invalidates the objection resulting from the question about the rate of passage and answers “second per second”. The paper also tries to show that this metaphysical theory has other virtues which testify in favor of it. Keywords : flow of time; rate of time’s passage; presentism; dynamic existence. (shrink)

Author: Sawicki Jerzy Title: THELEOGICAL PRINCIPLE IN KANT’S METHODOLOGY (Zasada teleologiczna w metodologii Kanta) Source: Filo-Sofija year: 2005, vol:.5, number: 2005/1, pages: 281-292 Keywords: KANT, THELEOGICAL PRINCIPLE, FINALISM, MECHANICISM Discipline: PHILOSOPHY Language: POLISH Document type: ARTICLE Publication order reference (Primary author’s office address): E-mail: www:The work contains a concise of I. Kant’s views on the problem of the laws of nature and the theleological principle presented in this context, which Kant proposes in the character of a regulative methodological postulate. (...) The analysis of fundamental philosophical notions (the law of nature, necessity, causality, purpose) carried out from the position of an extreme aprioristic rationalism leads Kant to the conclusion about the basic impossibility of educing the conception of purpose (in relation to nature) from aprioristic transcendental laws, ie. such laws which the theoretical reason imposes to the nature by necessity. However, the fact of a total functioning of an organism does not fit, according to Kant, into the frames of a mechanically understood causality. Kant tries to solve this problem choosing the way of conclusion by analogy and finally he suggests to introduce into the living nature a specific causal relation in which the purposes constitute a particular kind of causes and results at the same time. That conception oscillates between mechanicism and theological finalism, and the fitting of a science system into the frames of aprioristic categories does not permit a finally decide about the supremacy of one or the other way of seeing the world. However, nevertheless, the perceiving and stressing of the peculiarity of organic symptoms, the formulation of the postulate about their unreductability to the law of a mechanical type constitute unquestionable and great merit of the author of the Criticism of the Judgment Authority. The idea of the totality of organism, though involved in subjective idealistic non consequences of Kant’s conceptions has in the given historical period all features of a deep and progressive thought, outpacing and inspiring several later research ideas, both in philosophy and in natural science. (shrink)

Journal Name: Philologus Issue: Ahead of print.

In this paper we introduce a new technique of proving undecidability results. This technique is based on the notion of a Thue tree. We also give examples of applications of this method to term rewriting, Horn implication problem and database dependencies.

Charles Darwin’s theory of evolution by means of natural selection finds application far outside biology, for which it was originally invented. Its consequences for science proved far-going, influencing practically every field from thermodynamics to the humanities. While acting on biological systems, the Darwinian mechanism is a source of progress and the local-scale abandonment of the universe’s general tendency towards chaos. However, observations of changes taking place in selection-exposed organisms show that evolutionary success requires some essential limitations. The application of this (...) reasoning to social evolution may appear thought-provoking: stable evolution requires not only intense selection but also a conservative approach to ideas. (shrink)

It follows from the proved theorems that ifM π=〈Q, ϕ〉 (whereQ={0,q 1,q 2,...,q α}) is a machine of the classM F then there exist α machinesM πi such thatM πi(〈1,c〉)=M π(〈q i,c〉) andQ i={0, 1, 2, ..., α+1} (i=1, 2, ..., α).And thus, if the way in which to an initial function of content of memoryc∈C a machine assigns a final onec′∈C is regarded as the only essential property of the machine then we can deal with the machines of the (...) formM π=〈{0, 1, 2, ..., α}, ϕ〉 and processes π(t) (wheret=〈1,c〉,c∈C) only.Such approach can simplify the problem of defining particular machines of the classM F , composing and simplifying them. (shrink)