EDITOR'S INTRODUCTION The present volume of "Poznari Studies in the Philosophy of the Sciences and the Humanities", entitled "Consciousness: methodological ...

We consider structures of the form, where Φ and Ψ are non-empty sets and is a relation whose domain is Ψ. In particular, by using a special kind of a diagonal argument, we prove that if Φ is a denumerable recursive set, Ψ is a denumerable r.e. set, and R is an r.e. relation, then there exists an infinite family of infinite recursive subsets of Φ which are not R -images of elements of Ψ. The proof is a very elementary (...) one, without any reference even to e.g. the -theorem. Some consequences of the main result are also discussed. (shrink)

Jerzy Perzanowski s ideas were based on an original blend of logic and ontology in what he called onto/logic, where the slash is meant to suggest a quotient of ontology by logic. Perzanowski began as a logician, his early works being on modal logic, then gradually shifted his interest to logical philosophy, meaning not so much philosophy of logic as philosophy informed by logic. Perzanowski was a rare breed of analytical philosopher who thought that a philosophical theory of everything (...) was worthwhile. In this systematic spirit, he began with method. He presented his method of total analysis and synthesis quite simply: reduce the object of research to its simplest possible constituents, and then combine them in some way. Better still, combine them in every possible way, thereby producing a space of possibilities analogous to (and in certain cases identical with) the logical space. Thus, analysis and synthesis differ from a trivial disassembly and reassembly.". (shrink)

Chciałem Go pożegnać. Kilkakrotnie próbowałem napisać choć parę słów. O Nim samym. Okazało się, że nie potrafię. Udało mi się tylko przedstawić Jego poglądy na reizm Tadeusza Kotarbińskiego, ale uczyniłem to gdzie indziej. Muszę tu poprzestać na ofiarowaniu Mu tego, co napisałem na Jego dziewięćdziesiąte urodziny, w osiemdziesięciolecie naszej przyjaźni.

It is shown explicitly that the linearized theory does not constitute any approximation to the exact solutions in the case of free fields. The only regular solution satisfying, as boundary condition, the requirement of a sufficiently rapid decrease at infinity is a flat space. The problem of conservation laws is discussed anew. The continuity equation satisfied by Einstein's pseudotensor does not guarantee the existence of global conservation laws. Solutions violating the energy conservation are interpretable as representing gravitational radiation absorbed or (...) emitted by sources at infinity. (shrink)

Science and Convention: Essays on Henri Poincare's Philosophy of Science and The Conventionalist Tradition contains essays concerned with Henri Poincare's philosophy of science, physics in particular, and with the conventionalist tradition in philosophy that he revived and reshaped, simultaneously with, but independently of, Pierre Duhem. Separating five essays as chapters, the book discusses the main ideas of the philosophy (Essays 1 and 5), traces at least some of its historical background (Essays 1, 2, and 3), and provides some of its (...) developments (Essays 2 and 4). (shrink)

In times of erosion and dissolution of social structures and institutions, described by Bauman as the interregnum, there arises both a need and a possibility of developing alternative approaches to the most fundamental organizational practices. Marketing, a simultaneously tremendously successful and much criticized sub-discipline and practice, is a prime candidate for such a redefinition. Potential prefigurations of future processes of organizing and institutionalizing can be found within dissenting organizations, the alternative organizations built at the fringes of, and in opposition to, (...) the mainstream businesses as reported by Parker et al.. In this paper, we present an exploration of the alternative yet already enacted practice we call earnest marketing. Drawing on an ethnographic study of a number of dissenting organizations in the United Kingdom and Poland, we focus on the radical reconstitution of marketing evidenced in their practice, defined by an attitude of earnestness and dedication to the dissemination and demonstration of their self-defined goodness: ideas and values. As organizations engage in earnest marketing, they also become receptive to reciprocal messages from their environments. We conclude by reflecting on the possibilities of a dissenting management model developing the principles of earnest marketing beyond disciplinary confines. (shrink)

Прототетика Ст. Лесневского является обобщением двузначного исчисления предложений. Выступают в ней рядом с терминами этого исчисления функторы (как постоянные так и переменные) всех тех семантических категорий какие могут быть определены, когда точкой исхода является категсрия предложений.В этом труде представлены три системы прототетики. Основным термином двух из них является импликация, ссновным термином третьей системы эквивалентность. Системы с основным термином импликации разнятся гравилами вывода. В одной из них действует так наз. правило проверки, в другой прабило зкстенсиональности. Первое из этих правил является обобщением (...) следующего правила вывода исчисления предложений, обогащенного тєрминами 0 и 1:Вь'ражение ϕ является тезисом системы, когда тезисами системы являются оба выражения возникнувшие из ϕ через подстановку некоторой его переменной символов 0 и 1.На основании правила экстенсиональности тезисами системы являются правила экстенсиональности сформулированные для функторов любых семантических категсрий свойственных грототетике.В этом труде даются доказательства эквивалентности трех систем протстетики и доказательство их полноты.Значительная часть результатов из опытов Лесневского, представленных в этом труде, не была до сих пор опубликована. Обрабатывая эти результаты я пользовался записками составленными по лекциях Лесневского, его учениками. Оригинальные записки Лесневского подвєрглись уничтожению во еремя варшавского восстания. (shrink)

The idea of rejection of some sentences on the basis of others comes from Aristotle, as Jan Łukasiewicz states in his studies on Aristotle's syllogistic [1939, 1951], concerning rejection of the false syllogistic form and those on certain calculus of propositions. Short historical remarks on the origin and development of the notion of a rejected sentence, introduced into logic by Jan Łukasiewicz, are contained in the Introduction of this paper. This paper is to a considerable extent a summary of papers (...) which are not easily available, even to the Polish reader: (1) J. Słupecki, Funkcja Łukasiewicza (Łukasiewicz’s function), Zeszyty Naukowe Uniwersytetu Wrocławskiego, Seria B, nr 3 (1959), 33-40; (2) U. Wybraniec-Skardowska, Teoria zdań odrzuconych (Theory of Rejected Sentences), (doctoral dissertation under the supervision of Jerzy Słupecki, published as a monograph), Zeszyty Naukowe Wyższej Szkoły Pedagogicznej w Opolu, Studia i Monografie, Nr 22 (1969), 5-131; (3) G. Bryll, Kilka uzupełnień teorii zdań odrzuconych (Some supplements to the theory of rejcted sentences), Zeszyty Naukowe Wyższej Szkoły Pedagogicznej w Opolu, Studia i Mnografie, Nr 22 (1969), 153-154. The paper also contains a good number of results which have not been published yet. Chapter I contains results presented in the papers (1)-(3). It provides an extension of Alfred Tarski’s theory of deductive systems presented by him in the papers [1930]: Fundamentale Begriffe der Methodologie der deduktiven Wssenschaften, I and Über einige fundamentale Begriffe der Metamathematik. The enriched theory is marked with T. The most essential new concept in T is the function Cn-1, whose definition was given by Słupecki in (1) on the basis of the so-called Tarski’s general theory of deductive systems. It has the form: y e Cn-1X iff Ex e X (x e Cn {y}), where Cn is Tarski’s consequence operation. In accordance with the definition: A sentence y is rejected on the basis of the sentences of the set X iff at least one of sentences of X is a consequence of y (is deducible from y). The intuitive meaning of the rejection function Cn-1: on the basis of false sentences we can reject false sentences only (while by means of the consequence operation Cn on the basis of true sentences we can deduce true sentences only). The function Cn-1 is a generalization of the notion of rejected sentences which was introduced into logic by Łukasiewicz. The essential property of the rejection function Cn-1 is that it satisfies the axioms of general Tarski’s consequence Cn, so it is a consequence operation, called the rejection consequence. In addition, it is an additive and normal operation. In Chapter I, there are given notions analogous to those of the theory of deductive systems, but they are written down by means of the symbol ‘Cn-1’ and not ‘Cn’. There are established the properties of introduced notions and differences and analogies taking place between them and properties of respective notions of the theory T. There are also given generalizations of the notions of ‘decidable system’ and ‘consistent system’ used by Łukasiewicz. The short Chapter II contains axioms of the system T’ which is equivalent to the system T. The only difference between sets of primitive notions of these systems consists in the appearance of the function Cn-1 in the system T’ instead of the function Cn. This chapter reproduces the results given in (2), but they are partially simplified. (shrink)

In 1931–1934 Kazimierz Ajdukiewicz formulated two versions of the theory of meaning (A1 and A2). Tarski showed that A2 allows synonymous names to exist with different denotations. Tarski and Ajdukiewicz found that this feature disparages the theory. The force of Tarski’s argument rests on the assumption that none of adequate theories of meaning allow synonymous names to exist with different denotations. In the first part of this paper we present an appropriate fragment of A2 and Tarski’s argument. In the second (...) part we consider an elementary interpreted language in which individual constants occur, but not functional symbols. For such a language we define semantically a relation of synonymity for simple names and show that it fulfills syntactical conditions formulated by Ajdukiewicz in A2 and allows synonymous names to exist with different denotations. (shrink)

We consider consciousness attributed to systems in space-time which can be purely physical without biological background and focus on the mathematical understanding of the phenomenon. It is shown that the set theory based on sets in the foundations of mathematics, when switched to set theory based on ZFC models, is a very promising mathematical tool in explaining the brain/mind complex and the emergence of consciousness in natural and artificial systems. We formalise consciousness-supporting systems in physical space-time, but this is localised (...) in open domains of spatial regions and the result of this process is a family of different ZFC models. Random forcing, as in set theory, corresponds precisely to the random influence on the system of external stimuli, and the principles of reflection of set theory explain the conscious internal reaction of the system. We also develop the conscious Turing machines which have their external ZFC environment and the dynamics is encoded in the random forcing changing models of ZFC in which Turing machines with oracles are formulated. The construction is applied to cooperating families of conscious agents which, due to the reflection principle, can be reduced to the implementation of certain concurrent games with different levels of self-reflection. (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)

Journal Name: Philologus Issue: Ahead of print.

It is often claimed that the debate between presentism and eternalism is merely verbal, because when we use tensed, detensed or tenseless notions of existence, there is no difference in the accepted metaphysical statements between the adherents of both views. On the contrary, it is shown in this paper that when we express their positions making use, in accordance with intentions of the presentists and the eternalists, of the tensed notion of existence (in the case of the presentists) and the (...) detensed or tenseless notion (in the case of the eternalists), the controversy remains deep and very important for us, because both ontological claims express a different attitude to the existence of the flow of time. It is shown that not only does the proposed approach to presentism and eternalism exactly express the intentions of the adherents of both views but it also offers a better understanding of them joining together seemingly different theses maintained by the presentists and the eternalists, and explaining at the same time the dynamism of the presentists' ontology. The paper takes for granted that we should assess metaphysical theories in a similar way as we assess scientific theories, that is on the basis of their explanatory value. (shrink)

The paper tries to demonstrate that the process of the increase of entropy does not explain the asymmetry of time itself because it is unable to account for its fundamental asymmetries, that is, the asymmetry of traces (we have traces of the past and no traces of the future), the asymmetry of causation (we have an impact on future events with no possibility of having an impact on the past), and the asymmetry between the fixed past and the open future, (...) To this end, the approaches of Boltzmann, Reichenbach (and his followers), and Albert are analysed. It is argued that we should look for alternative approaches instead of this, namely we should consider a temporally asymmetrical physical theory or seek a source of the asymmetry of time in metaphysics. This second approach may even turn out to be complementary if only we accept that metaphysics can complement scientific research programmes. (shrink)

This paper is a continuation of Part I under the same title. Its Chapter III contains results given in the following publications: U. Wybraniec-Skardowska, Teoria zdań odrzuconych (Theory of Rejected Sentences), (doctoral dissertation under the supervision of Jerzy Słupecki, published as a monograph), Zeszyty Naukowe Wyższej Szkoły Pedagogicznej w Opolu, Studia i Monografie, Nr 22 (1969), 5-131. G. Bryll, Związki logiczne pomiędzy zdaniami nauk empirycznych (Logical relations between sentences of empirical sciences). Zeszyty Naukowe Wyższej Szkoły Pedagogicznej w Opolu, Studia (...) i Monografie, Nr 22 (1969), 155-216. This chapter contains an attempt to formalize some questions of methodology of empirical sciences. The theory T is enriched here not only by new definitions but also by a new primitive term and new axioms. The most important notion defined in this chapter is the set IndX of all inductive conclusions obtained on the basis of sentences of the set X. The function CnI defined by the equality: CnI X = X u IndX, satisfies the axioms of the general theory of deductive systems. The set CnI X can be understood as a system of empirical sciences in a narrower sense. This paper is a development of the considerations of G. Bryll, included in the above-listed article by this author. (shrink)

This paper attempts to demonstrate that the conviction about the harmony and order of the world was a fundamental metaphysical principle of the Pythagoreans. This harmony and order were primarily sought in the structures of arithmetics, yet following the discovery of incommensurable magnitudes (irrational numbers, as we now call them), the Pythagoreans began to see geometrical structure as a fundamental part of the world. On the example of the Pythagoreans’ metaphysics and science, the paper shows the mutual relations between metaphysics (...) and science. It demonstrates— on the one hand—the necessity of the first as a guide for the latter, and—on the other—how our scientific research can change its basic metaphysical principles when these are found to be inappropriate. The paper also tries to show the need for a realistic approach in our scientific research by means of the same example of the Pythagoreans, that is, the need to discern something which is below the surface appearance. (shrink)