In the 1970s Codd introduced the relational algebra, with operators selection, projection, union, difference and product, and showed that it is equivalent to first-order logic. In this paper, we show that if we replace in Codd’s relational algebra the product operator by the “semijoin” operator, then the resulting “semijoin algebra” is equivalent to the guarded fragment of first-order logic. We also define a fixed point extension of the semijoin algebra that corresponds to μGF.

Table of ContentsAndrzej KLAWITER, Krzystof #ASTOWSKI: Introduction: Originality, Courage and Responsibility List of Books by Leszek NowakSelected Bibliography of Leszek Nowak's WritingsScience and Idealization Theo A.F. KUIPERS: On Two ...

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)

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)

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.

Henryk Chmielewski is the author of a historical comic book devoted to the 100th anniversary of Poland regaining its independence. The comic book of Chmielewski is a subjective vision of Polish history, because every act of creation is first of all an act of destruction. Artist says about very difficoult moment of Polish history (the 19th century, the early 20th century). He creates original story, argues, that the idea of Poland as an independent state was never not lost. Polish people (...) were formed armyduring the Napoleonic Wars, and Polish organisations started major uprisings (the Polish–Russian War of 1830–1831 and the January Uprising of 1863-64). Chmielewski creates an interesting picture of the world with the use of many varying forms, different codes (e.g. picture, word, photography). He use various means of expression: semantic, linguistic, compositional (see values, compotents: metannaration, digression, opposition "we" - "they", stereotype, appropriate words - freedom, Poland, Poles, relationship: fiction - real world, illusion, colloquial language). (shrink)

The paper analyzes the philosophical consequences of the recent discovery of direct violations of the time–reversal symmetry of weak interactions. It shows that although we have here an important case of the time asymmetry of one of the fundamental physical forces which could have had a great impact on the form of our world with an excess of matter over antimatter, this asymmetry cannot be treated as the asymmetry of time itself but rather as an asymmetry of some specific physical (...) process in time. The paper also analyzes the consequences of the new discovery for the general problem of the possible connections between direction of time and time-asymmetric laws of nature. These problems are analyzed in the context of Horwich’s Asymmetries in time: problems in the philosophy of science argumentation, trying to show that existence of a time–asymmetric law of nature is a sufficient condition for time to be anisotropic. Instead of Horwich’s sufficient condition for anisotropy of time, it is stressed that for a theory of asymmetry of time to be acceptable it should explain all fundamental time asymmetries: the asymmetry of traces, the asymmetry of causation, and the asymmetry between the fixed past and open future. It is so because the problem of the direction of time has originated from our attempts to understand these asymmetries and every plausible theory of the direction of time should explain them. (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)

Among numerous songs written by Wasowski and Przybora for the tv and radio show Old Gentlemen’s Cabaret two: Piosenka jest dobra na wszystko from the Fifth Evening of the Cabaret and Mambo Spinoza from the Eighth Evening might be considered autothematic. They represent an idea of ‘a song about a song’ — a common theme or motif in Polish popular music. In reaction to ideological degeneration of different forms of mass entertainment between 1949 and 1955, Wasowski and Przybora decided to (...) ‘redefine’ a song, writing these two pieces full of humour and allusions. (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)

Filozofia - zgodnie z etymologicznym, greckim pochodzeniem wyrazu - jest miłością mądrości, umiłowaniem mądrości: φιλοσοφία - philosophia, od: φιλεῖν - philein - kochać, miłować; σοφία - sophia - wiedza, mądrość. Filozofia jest zatem syntezą „gorących" uczuć i „zimnej'' kalkulacji. Tym samym filozofia jest dziełem całego i samego człowieka. Co mam na myśli mówiąc, że filozofia jest dziełem „całego i samego człowieka”? Filozofia pojawia się tam i wtedy, gdzie i kiedy człowiek zaczyna myśleć. Myślenie jest dla filozofii istotne, ono stanowi o (...) niej. Nie każde jednak myślenie jest od razu myśleniem filozoficznym. Są myśli „płynące z serca” i myśli zrodzone z chęci opanowania przyrody. Jedne i drugie maja usprawiedliwione miejsce w życiu i świecie człowieka. Tylko te akty ludzkiego ducha, które kieruje się ku samemu myśleniu i pragną^ posiąść wiedzę dla samej wiedzy można nazwać działalnością filozoficzną. (shrink)

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)

Among the composers with whom Wojciech Młynarski collaborated – a brilliant songwriter and penetrating satirist, librettist and translator, as well as a talented singer – was a completely unique artist, often referred to as the “Polish Gershwin” – Jerzy Wasowski. As a result of their nearly twenty years of cooperation, interrupted by Wasowski’s death in 1984, about thirty songs were created, most often being cabaret-satirical works or in the form of “sung columns”. Among the achievements of the Młynarski-Wasowski company (...) there are many “small masterpieces”, which are examples of masterly connections between words and music. The works they wrote together in the last period of their cooperation have been remembered in a special way by Młynarski. These songs were written at a special moment in the history of the People’s Republic of Poland – during the “Solidarity” carnival and during the martial law period. Moreover, the story of their proprietary company closed. The works they wrote last – in 1982 and 1983 – were described by Młynarski as “interesting songs”. During the martial law period, Młynarski decided to suspend public appearances – joining the artists who, in protest, decided to boycott the state media. He only took care of writing lyrics for new songs. At that time, he addressed the proposal to compose music mainly to Wasowski, who, like him, believed that one should continue to write, but – for now – “in the drawer”. Eight works were written then, six of which – Ballada o szachiście, Jestem piłeczką pingpongową, Po Krakowskim w noc majową, W miejskim teatrzyku lalek, Róbmy swoje, Ballada o dwóch koniach – had a satirical and journalistic character and entered Młynarski’s repertoire when he resumed his performances. Whereas the other two songs – Mam złe lata i dobre dni oraz Gram o wszystko – were lyrical-reflective pieces with female texts, and became their performers a few years later: Hanna Banaszak and Ewa Bem. This article analyzes one of these songs – Ballada o szachiście – aimed at explaining – in an elementary way – why Młynarski used the word “interesting” to refer to the songs written with Wasowski during the martial law period. This term is primarily intended to denote a work whose words and music were written in order to “give food for thought” to the audience. (shrink)

Jerzy Franczak comprehensively presents Jacques Rancière's thought by emphasizing the relations between politics and literature. The detailed analysis considers the context of modern aesthetics and political philosophy, which is why the book introduces further protagonists, such as Louis Althusser, Michel Foucault, Pierre Bourdieu, or Jean-François Lyotard. Franczak first reconstructs Rancière's original philosophy of literature so as to then immediately apply it in readings of select world literature masterpieces by Gustav Flaubert, Max Jacob, Bertold Brecht, Vladimir Nabokov, and Philip Roth.

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)

Preceded by a historical introduction the problem of a multi-dimensional extension of the geometrical framework of physical reality is discussed. Both metrical space-time and superspace are taken into account. Arguments in favour of a six-dimensional space-time D=6 are presented. A conviction that - according to „the spirit of Kaluza's theory” - all vector fields should be incorporated into the metric is a prejudice: some are ingredients of metric, but some other are genuine multivectors. The idea of supersymmetry is taken into (...) account only in so far that fundamental fields form a supermultiplet of highest extension N=8, but supersymmetry is only global whereas local interactions do not need to be fully supersymmetric but locally gauge invariant and generally relativistic (replacing partial by covariant derivatives). Even a global supersymmetry may soften convergence difficulties so that super-string may be dispensed with. The set of all fields including 3 families of quarks and leptons may be arranged into a table resembling Mendelejev's one. A generalized Higgs mechanism explains high value of masses, also that of top quark. (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)

The paper consists of two parts. The first critically analyses Meyer’s [2005] version of the triviality objection to presentism (according to which, presentism is either trivial or untenable), and tries to show that his argument is untenable because – contrary to what he claimed – he did not take into account the entire possible spectrum of interpretations of the presentist’s thesis. In the second, positive part of the paper, it is shown that a leading form of tensed theory of time (...) postulates the same ontology as presentism and that it avoids the triviality problem which means that it can be used to generate an alternative formulation of presentism which is no longer vulnerable to the triviality objection. (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)