En esta ponencia se pretende mirar de manera crítica las soluciones materialistas al problema mente cuerpo. En mi opinión esas soluciones son un obstáculo en desarrollo de una investigación trans-inter y multidisciplinaria en este campo de saber.

Les règlements de compte en Pologne après la chute du communisme ont pris un tour particulier. Entre les désirs d'une réconciliation nationale et d'une justice publique, les Polonais ont oscillé. A partir de 1997, s'est finalement mis en place un processus dit de « lustration » qui consiste à demander aux diffé­rents titulaires de responsabilité publique de déclarer leurs activités sous le communisme. Un débat s'est instauré à ce propos, dans lequel les médias, s'appuyant sur les sondages ont joué un (...) rôle important. Autre signe du désir de la Pologne de changer de mémoire, la modification des noms des villes et des rues : où l'on voit que l'on n'efface pas facilement le passé.The settling of accounts in Poland after the fall of Communism took a specific turn as the Polish popu­lation hesitated between its desire for national reconciliation and for public justice. Eventually, from 1997, the process known as "lustration" was introduced, whereby the various holders of public office were required to state their activities under Communism. This gave rise to a debate in which the media, drawing on opinion polls, played an important part. Another sign of Poland' s desire to alter its memory was the changing of street and city names, which shows that it is not so easy to erase the past. (shrink)

The famous theory of undecidable sentences created by Kurt Godel in 1931 is presented as clearly and as rigorously as possible. Introductory explanations beginning with the necessary facts of arithmetic of integers and progressing to the theory of representability of arithmetical functions and relations in the system (S) prepare the reader for the systematic exposition of the theory of Godel which is taken up in the final chapter and the appendix.

This review pertains to the book _Evolutionary Theology (Teologia ewolucyjna)_ written by Wojciech P. Grygiel and Damian Wąsek. The book presents a distinct and modern viewpoint on theology by offering a comprehensive analysis of the characteristics of theological language and utilizing it to reevaluate certain theological beliefs, such as the concept of original sin, within the framework of the ever-changing understanding of the Universe. This approach contributes significantly to the restoration of theology’s credibility in modern culture by bridging the gap (...) between science and theology. (shrink)

In this paper, the concept of structural information is presented. The mathematical foundation of the concept is put forward, and the nature of information encoded in a structure is studied. A method for calculating the amount of structural information is introduced. An application to the analysis of cognitive maps is also presented and discussed.

Recent years have seen the appearance of many English-language hand books of logic and numerous monographs on topical discoveries in the foundations of mathematics. These publications on the foundations of mathematics as a whole are rather difficult for the beginners or refer the reader to other handbooks and various piecemeal contribu tions and also sometimes to largely conceived "mathematical fol klore" of unpublished results. As distinct from these, the present book is as easy as possible systematic exposition of the now (...) classical results in the foundations of mathematics. Hence the book may be useful especially for those readers who want to have all the proofs carried out in full and all the concepts explained in detail. In this sense the book is self-contained. The reader's ability to guess is not assumed, and the author's ambition was to reduce the use of such words as evident and obvious in proofs to a minimum. This is why the book, it is believed, may be helpful in teaching or learning the foundation of mathematics in those situations in which the student cannot refer to a parallel lecture on the subject. This is also the reason that I do not insert in the book the last results and the most modem and fashionable approaches to the subject, which does not enrich the essential knowledge in founda tions but can discourage the beginner by their abstract form. A. G. (shrink)

During the global financial crisis of 2007–2009 and the currentCovid-19 debacle, central banks acted quickly, boldly, and effectively. The paper argues that they did so thanks to the lessons learned from the past financial crises, which provided them with opportunities to reconsider their previous beliefs. A case in point is the banking crisis in the United States during the Great Depression of the 1930s that taught central banks to act rapidly and decisively in order to prevent an initial liquidity crisis (...) from escalating into a solvency crisis leading to bankruptcies of banks with potentially disastrous consequences for the entire economy. The paper revisits the consequences of the currency crises of the 1990s, which transformed exchange rate regimes across the world: the EMS one of 1992–1993 that accelerated the launch of the euro, and the Asian one of 1997–1998 resulted in the proliferation of floating exchange rates in emerging economies. (shrink)

The main aim of the present paper is to explain a nature of relationships exist between Nelson and Heyting algebras. In the realization, a topological duality theory of Heyting and Nelson algebras based on the topological duality theory of Priestley for bounded distributive lattices are applied. The general method of construction of spaces dual to Nelson algebras from a given dual space to Heyting algebra is described. The algebraic counterpart of this construction being a generalization of the Fidel-Vakarelov construction is (...) also given. These results are applied to compare the equational category N of Nelson algebras and some its subcategories with the equational category H of Heyting algebras. It is proved that the category N is topological over the category H. (shrink)

In this article, the author notes that Thomas Aquinas, in his brief work entitled De Ente et Essentia, proved that at the base of understanding the world, the human being, and God in particular, there is our understanding of being and its essence. When we make a small mistake at the beginning in our understanding of being and its essence, it will turn to be a big one in the end. And what is “at the end” of our knowledge is (...) the discovery of the First and Ultimate Cause of all things, known as: Ipsum Esse, God, the Absolute, The Most Perfect Substance, on whom everything depends, and who depends not on anything else. These present inquiries about the proper understanding of being and its essence are aimed at formulating proof of the necessity of existence of a Being that is the First Cause, and which, existing as Ipsum Esse, is the source and reason of existence of all beings. Without these inquiries, the proof itself would be incomprehensible, and more importantly it would be a purely a priori one. Furthermore, without the existential conception of being, which Thomas first formulated, one could not discover the First Cause which, as Ipsum Esse, is the source of the existence of every being. This issue seems to have escaped the attention of the author of the book Aquinas’s Way to God. The Proof in “De Ente et Essentia.”. (shrink)

We examine some extensions of the constructive propositional logic with strong negation in the setting of varieties of $\mathcal{N}$ -lattices. The main aim of the paper is to give a description of all pretabular, primitive and preprimitive varieties of $\mathcal{N}$ -lattices.

Natural Deduction Natural Deduction is a common name for the class of proof systems composed of simple and self-evident inference rules based upon methods of proof and traditional ways of reasoning that have been applied since antiquity in deductive practice. The first formal ND systems were independently constructed in the 1930s by G. Gentzen and S. Jaśkowski and … Continue reading Natural Deduction →.

In this thesis, I present an account of the development of early Greek epistemology, according to which Protagoras' measure doctrine, and his argument from conflicting appearances, was the starting point for work on perception and knowledge by Plato in the Theaetetus, Aristotle in Metaphysics IV and Democritus. In Chapter One, I argue against the assumption that Protagoras' Aletheia contained a philosophical theory. It was probably not a treatise, but a virtuoso show-piece, with the aim of "knocking down" views according to (...) which truth is only known by gods, and, with difficulty, by privileged humans--namely, philosophers. For this, it need not have contained more than some well-chosen examples of perceptual and value beliefs, and arguments that one cannot decide which are true. In Chapter Two, I argue that Democritus should be seen as Protagoras' heir. Democritus argued Protagoras' general claim is self-refuting, but thought he was right about perceptual appearances. In Confirmations, he defended the senses, attributing to them knowledge and "power of proof." However, his theory led to an ancestor of the primary/secondary quality distinction, and this threatened to undermine the theory itself because of implications--that one can only know how things appear and not how things are by nature--which were later taken up in Pyrrhonist skepticism. In Chapter Three, I present a reading of the Secret Doctrine in Plato's Theaetetus as a defense and diagnosis of Protagoras' claim, in particular, an explanation of the global relativization which Protagoras' claim seems to recommend. This reading is meant to avoid the well-known difficulties concerning the prevailing interpretation of Protagoras' "Secret Doctrine" as a flux doctrine. I also argue that Plato developed the Secret Doctrine with Democritus in mind. In Chapter Four, I argue that Plato's "self-refutation argument" is aimed at relativism, but not relativism about truth. The latter, which Aristotle dismisses as eristical, is a position Protagoras can take, but Plato's argument works against it as well. In Chapter Five, I examine why Aristotle seems to treat Protagoras in Metaphysics IV as being committed to a denial of the principle of non-contradiction. (shrink)

This book provides a detailed exposition of one of the most practical and popular methods of proving theorems in logic, called Natural Deduction. It is presented both historically and systematically. Also some combinations with other known proof methods are explored. The initial part of the book deals with Classical Logic, whereas the rest is concerned with systems for several forms of Modal Logics, one of the most important branches of modern logic, which has wide applicability.