The subject of the article is the question of the nature of heavenly bodies in St Thomas Aquinas’ approach. The Dominican thinker, using Aristotle’s cosmology, tries to present his understanding of the Stagirite’s theory concerning natural indestructibility of heavenly bodies, which he treats as relatively perfect beings built of ether and indestructible in the world of nature, although they are contingent and created by God. The issue proves the Angelic Doctor’s independence and selfreliance; studying the universe he not only used Aristotle’s cosmology but he verified it with theological knowledge basing his considerations on the ancient and medieval commentators of the Greek philosopher. In St Thomas’ studies his conviction about relative formal and material perfection of metaphysical components of heavenly bodies is of significant importance. The conception of indestructibility of heavenly bodies also presents methodological assumptions of the metaphysics developed by the Dominican thinker who made the rules of Aristotle’s philosophy relative.

Starting from the 1930s logicians tackled problems connected with applicability of logic in natural sciences and in many cases they tried to practically apply logic in these sciences.In the article entitled ‘Logicians and logic on study of nature’ it is stressed that the broadly understood formal logic supplies natural sciences, and especially physics, with a paradigm for a method of ordering theses. It is also shown what application of logic laws to natural sciences consists in, and theses are formulated concerning what the laws of classical propositional calculus state. A lot of attention is devoted to the language of modern and contemporary physics. Modern and contemporary physics uses two languages, i.e. the mathematical language and the socalled notional language. The logic of the former language is classical logical calculus. In connection with the notional language logicians construed a lot of systems of non-classical logics in which laws are given that govern the correct use of non-extensional operators connected with such terms occurring in natural sciences as “time”, “cause”, “change” etc. The language of well construed systems of non-classical logics may serve saving, storing and precise communicating the results obtained on the ground of natural sciences.

The goal of this paper is to present a way of reading Alfred Tarski’s T-scheme as a definitional – and not material – equivalence. Anil Gupta and Nuel Belnap in their book The Revision Theory of Truth (MIT 1993), develop a theory of truth and a theory of definition, which are called Revision Theories – of Truth (RTT) and of Definition (RTD). They accept Tarski’s T-sentences (such as: “snow is white” is true iff snow is white) and their central role for the signification of truth. According to RTT and RTD the centrality of Tarski’s T-sentences can be maintained only by accepting interdependent definitions. Gupta and Belnap claim that it is worthy to read the T-scheme as a definitional equivalence rather than as a material equivalence, for the former understanding allows us to solve the Liar paradox. To obtain this result, it is important to notice a structural similarity between the T-scheme and the general scheme of definition.Gupta and Belnap reject Tarski’s demand for formal correctness of definitions and claim that it is logically justified to accept circular definitions. This is why they modify a general scheme of definition by adding a predicate which is being defined (definiendum) – e.g. an arbitrary predicate G – to the definiens, i.e. to the defining formula which occurs on the right side of the definitional scheme. A circular definition, which is constructed in such a way, is helpful in showing that different patterns of behaviour of the predicate G are similar to respective patterns of behaviour of the predicate “true”. Such a result suggests that the concept of truth is itself circular

One can say about two sources of philosophy of nature created at the Catholic University of Lublin.One of them was the Theological Faculty at the Warsaw University in the 50s of the previous century. The scientific climate functioning in it induced Rev. Stanisław Mazierski to put through a profound examination the traditional style which then dominated in cultivating philosophy of nature. That analysis showed necessity of opening philosophy of nature to achievements of the contemporary science, especially of mathematical and physical structure.The second source constitutes the Faculty of Natural Sciences of the Mary Curie-Skłodowska University in Lublin and the Holy Cross Mountains. Rev. Włodzimierz Sedlak, bewitched by nature, by its mysteries and by contemporary science investigating them, and endowed with the enormous intuition, interlocked a lot of scientific domains, forming a whole and proposing a fascinating view of the world. Some people were alarmed by it, some others were even resentful of it.The both above-mentioned sources, mutatis mutandis, exist till the present day. Each of them, in spite of their dissimilarity (taking into account at least different personalities of the both protagonists of philosophy of nature created at the Catholic University of Lublin) demands philosophy of nature to be an unconventional, and made in novel fashion, form of “philosophizing over this nature”. These both styles of “philosophizing over nature” have been enriching themselves and have been evolving and prospering. They are present and alive among continuators of the protagonists’ work.The contemporary philosophy of nature, being still created in Lublin, is the only one, when comparing it to that of performed at other universities of this country and of the world outside.

The article presents a few aspects of the most important of the unsolved problems of mathematics, the Riemann hypothesis, in the context of the most recent results. The so-called Lehmer’s phenomenon discovered half a century ago and recently studied very intensively, as well as Newman’s hypothesis concerning the de Bruijn-Newman’s constant that is connected with it, seem to suggest that unexpectedly controversial elements sneak into mathematics, and they can be seen even on the level of the language used in it. This probably results from the fact that even the best tools that mathematicians at the moment have at their disposal and by means of which they try in vain to verify the Riemann hypothesis are – for fundamental reasons – inadequate.

In the first part of the article true expressions and false expressions are presented that served A. W. Burks to build a formal system of logic of causal propositions along with considering their later use in the system built in 1963.In the second part of the article the possibility of conducting an axiomatic proof of the theorem on adding a superfluous condition is analyzed. The consequences are also shown of substituting a negation of the same propositional variable for the propositional variable and conditions are analyzed of substitution for propositional variables and possibilities of avoiding those difficulties.

In a series of quantum experiments performed in 1935-1986 a validity of the quantum theory has been tested. The results obtained have changed the viewpoints of physicists and philosophers on the nature of the Universe and physical reality. In particular, they have changed the traditional West view on the relationship between micro- and macro-level, between a part and the wholeness and between the system and its constituents. From the distinguishing quantum experiments a brief description of the Einstein-Podolsky-Rosen paradox, the Bell’s inequality and the Aspect-Dalibard-Roger experiment is made. The results obtained are important for the concept of the bioplasmatic transfer of information in the living systems, developed by Włodzimierz Sedlak. According to the Sedlak’s idea, the bioplasma is a local concept, so it does not take into account the possibility of a faster then light signaling. Because in the living systems the long-range quantum correlations should appear, the concept of bioplasma should be generalized to include the non-local quantum effects. As a consequence – such a dynamic quantum system as bioplasma has to be non-local – all its elements are connected because of quantum correlations, regardless of the distance between them. A model of the biocoherence for the systems described by the Gompertz function is presented. In this approach, the Gompertz function is a solution of the space-like (tachyonic) Horodecki-Feinberg equation with the timeanalog of the Morse potential function. It is shown that Gompertzian systems evolve coherently and non-locally in the space. The presented model admits a continuous and instantaneous transfer of “influences” between micro-level represented by the single cell and the macro-level represented by the biosystem (tissue, organ, organism) as a whole. A consequence is the integration of organism and its coherent development on all levels of the bio-existence.

The article exhibits the problem of God’s action in the world as it is presented in process philosophy. Whitehead conceived actuality as heterogenical category within which we can distinguish two modes: actuality of being and actuality of becoming. The second one is the actuality in primary sense; there is ontological primacy of becoming over being. Being is, according to J. L. Nobo’s interpretation, a product of becoming and not vice versa. Actuality of being depends on being-for-becoming. Actuality of becoming depends on prehending being into subjective immediacy of internal process of concrescence. Because of subjective character of becoming, an entity which is still becoming, cannot be prehended. It means that entity cannot play any role in becoming of other entities. Only entity whose process of concrescence has completed, entity which is in fact being, can play such a role. If God is a main exemplification of becoming, as primary actual, He is imprehensible. He cannot be objectified and His actuality is only actuality of subjective arrested immediacy. He cannot influence the world. Many process philosophers tried to solve the dillema. One of them is Lewis S. Ford whose proposal depends on introducing the third mode of actuality: the future creativity. But Ford does not consider basis of that temporal paradigm of actuality and doesn’t examine its justification. So what we need is a reconstruction of Whitehead’s philosophy which will let us check his ontological, epistemological and methodological presuppositions and asses whether the temporal paradigm is justified, whether the God-world problem really arises and whether it is possible to solve it in terms of process theory of actuality.

J. Bigelow and R. Pargetter in their work Science and Necessity put forward a theory of the laws of nature as statements objectively different with respect to their modal qualification both from the laws of logic and from contingent truths. Contrary to the latter ones all laws are characterized by necessity. However, there are various kinds of necessity. The laws of logic are characterized by logical necessity, and the laws of nature – by natural necessity. The objective basis for differentiating modal qualification of statements belonging to the particular classes is that laws are truths about possibilities, also the ones that have not been actualized. The source of difference between logical and natural necessity is the differentiation between the range of possibilities described by respective laws. Hence, laws of nature prove to be – which is not mentioned by the authors – a posteriori necessary statements. The modal character has been the basis of the explanation of other considered properties of scientific laws: certain generality and the so-called range void.

The article presents Albert Einstein’s standpoint on the issue of mutual relations between science and philosophy. First the metaphilosophical context of that standpoint is shown. It concerns the conception of science and philosophy accepted by the author of the relativity theory.Findings in that field showed that Einstein opted for close connections between science and philosophy and he treated them as both influence of philosophy on science and influence of science on philosophy. In the first case, the influence of philosophy is marked, according to our author, first and foremost in science treated as a process. It manifests its presence mainly in the procedures of discovering new scientific theories, their selection and acceptance. However, it is not present in the procedures of direct justifications of those theories.Einstein also saw the presence of philosophy in science treated as a product. Then philosophy enters scientific theories in the form of general principles and assumptions placed in the so-called exterior base of the theory, whereas, according to Einstein, the presence of philosophical theses in the main body of the scientific theory as their immanent element is not permitted.As far as the influence of science on philosophy is concerned our author states that it has a twofold dimension. The very fact of existence of science and procedures that take place in it as well as changes show their influence on issues taken up by epistemology and philosophy of science. Concrete scientific achievements mark their reference to the problems considered within the confines of broadly understood philosophy of nature.Einstein's standpoint clearly lacks deepened logical-methodological analyses concerning the issue of mutual connections between science and philosophy presented here.

The subject of the presentation was to reveal the main components of the views of Rev. Włodzimierz Sedlak (31.10.1911–17.02.1993) concerning the origin of life. The development of these views passed through the following stages: 1) the theory of silicic life forms (1959–1967) which he labeled “the theory of siliconides”, 2) the bioelectronic model of abiogenesis (1967–1988), and 3) speculations about electromagnetic biogenesis.The basic claims of the theory of silicic life forms are the following: (a) silicon is an essential component of biosystems and fulfils significant roles in phylogenetically older forms of life; (b) the previous essential role of silicon in the organization of life has been reduced in higher organisms to the role of a microelement; (c) the attempts at the reconstruction of the chemical evolution of life should be undertaken, to extend it beyond the organic compounds of carbon,namely to those containing silicon and forming the most primitive forms of life on the Earth; (d) hypothetic silicic organisms made up the most primitive life on the Earth..The main theses of bioelectronic model of abiogenesis are the following: (a) there exists the coupling between chemical reactions and electronic processes in organisms (he calls it “the quantum seam of life”); photons act as a coupling factor between these two classes of processes; (b) the existence the such coupling makes the generation and duration of the plasma state of particles possible in all metabolizing parts of the organism; (c) there exists bioplasma – a new state of matter – that is characteristic for living organisms only; (d) the first act of the creation of the chemical-electronic coupling is to be regarded as equivalent with biogenesis: (e) bioplasma existed well before the macroscopic organic morphological structures were formed and functioned already when the life was based on aluminosilicates.Sedlak’s speculation on the electromagnetic biogenesis implies that the evolution of biosphere began with the moment of birth of light, i.e. in one of the earliest phases of existence of Universe. God, identified by him with the Light, created life, possessing the luminous nature. Life never altered its electromagnetic foundation: either at any new stage, or at a new level of organization, or when the first human being was created.It seems that Sedlak’s works can be valuable for the present and future investigations aimed at the reconstruction of biogenesis. Although they are undervalued now, they should be regarded as containing many valuable intuitions. They deserve a thorough analysis and – where it is possible – empirical testing of implications drawn from them.