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

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.

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)

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)

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)

καλὸν δ᾽ ἐπὶ σήματι σῆμασκέπτεσθαι, μᾶλλον δὲ δυοῖν εἰς ταὐτὸν ἰόντωνἐλπωρὴ τελέθοι, τριτάτῳ δέ κε θαρσήσειας. It is a good idea to observe one sign after another, and if two agree, it is more hopeful, while with a third you can be confident. Appropriately for a poet who is ‘subtly speaking’, the epithet applied to him by Ptolemy III Euergetes, Aratus does not cease offering unexpected material to explore. This statement holds true also for the famous passage containing the acrostic (...) ΛΕΠΤΗ. (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)

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)

Journal Name: Philologus Issue: Ahead of print.

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.

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.

The so-called ‘type method’ widely employed in biological taxonomy is often seen as conforming to the causal-historical theory of reference. In this paper, I argue for an alternative account of reference for biological nomenclature in which taxon names are understood as descriptive names. A descriptive name, as the concept came to be known from the work of Gareth Evans, is a referring expression introduced by a definite description. There are three main differences between the DN and the causal account. First, (...) according to the DN account, rather than fixing a name to a referent, the assignment of a type specimen to serve as the name-bearer for a taxon should be seen as performatively establishing a synonymy between a name and a definite description of the form “the taxon whose type is t”. Each taxon name is therefore associated with a criterion of application, a semantic rule that establishes the connection between the name and the descriptive content. This is the second major difference from the causal account: taxon names do have some descriptive content associated with them. The final locus of dissent concerns the strength of the modality resulting from the usage of taxon names. In order to address this point, I use the DN account to focus on the debate between Matt Haber and Joeri Witteveen concerning misidentification of type specimens, misapplication of names, and the truth conditions of Joseph LaPorte’s de dicto necessary sentence “Necessarily, any species with a type specimen contains its type specimen”. Using a pragmatic variant of the distinction between attributive and referential uses of descriptions, I argue that a metalinguistic version of the de dicto sentence is in fact falsified, as previously argued by Haber. (shrink)

Publikacja składa się z dwu zasadniczych części, z których pierwsza zawiera rozprawy poświęcone twórczości Izydory Dąmbskiej, zaś druga - jej pracy własne, publikowane poprzednio w „Kwartalniku Filozoficznym". Tom otwiera wiersz Zbigniewa Herberta „Potęga smaku" dedykowany przez poetę tej wybitnej uczonej, który to utwór dobrze oddaje, w warstwie ideowej, wartości bliskie Dąmbskiej.

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)