Author: Kowalski Andrzej P. Title: CULTURAL ARCHAEOLOGY AND PREHISTORY OF THE CONTINENT OF ART (Kulturoznawcza archeologia i prehistoria Kontynentu sztuki) Source: Filo-Sofija year: 2011, vol:.12, number: 2011/1, pages: 291-310 Keywords: JERZY KMITA, CULTURAL ARCHAEOLOGY, THE CONTINENT OF ART, SHAMANISTIC ORIGINS OF ART Discipline: PHILOSOPHY Language: POLISH Document type: ARTICLE Publication order reference (Primary author’s office address): E-mail: www:The paper presents an attempt at application of Jerzy Kmita’s achievements in philosophy of art, aesthetics, axiology, and history of culture (...) to the research on genesis of art. The problem of cultural genealogy of art shall be addressed in following contexts: 1. The context of the so-called ‘end of art in postmodern culture’ which manifests itself in the thesis concerning elimination of “grand narrations”, myths, and ideologies. According to J. Kmita, the art takes recourse to idea-meanings which are not ascribed to a handicraft. The meanings of superior axiological level express themselves in the art only. 2. The context of Bild-Anthropologie developed by H. Belting. Works of art are regarded here as images, especially—images of a cultural type. The accent lies here on genealogy of iconoclasm and theological discourse which uses Greek philosophical terminology. Ontology of “image as a presence” is analyzed with regard to magical realism and symbolism. Primordial and prehistoric images do not operate with signs of objects but instead they constitute objects themselves. 3. The context of structural anthropology where the art is interpreted within the horizon of mytho-logics and metaphoric-metonymical transformations. Kmita’s adjustment shows that metaphorical and metonymical meanings are indistinguishable. The art—which was ascribed a classificatory meaning—provided also socio-morphic categories. Totemic signs were more appreciated than totems themselves. It shows that the art transcends the reality which itself becomes a subject of the image. 4. The context of shamanistic origins of art. This conception universalizes results of neuropsychological research. Trance-practices are considered here as the origin of cave painting which presents a scheme of shamanistic visions. However, in folk cultures not all imaginary objects originate from trance-experience and the acceptance of their reality does not presuppose sensory deprivations (which is one of ethnological arguments showing limits of such interpretation). (shrink)

We prove that the theory of fields with a derivation of Frobenius has the model companion which is stable and admits elimination of quantifiers up to the level of the λ-functions. Along the way, we give new geometric axioms of DCFp.

In "Variations on a theme of Curry," Humberstone conjectured that a certain logic, intermediate between BCI and BCK, is none other than monothetic BCI—the smallest extension of BCI in which all theorems are provably equivalent. In this note, we present a proof of this conjecture.

This book examines the fundamental issues in neuroscience from methodological and philosophical perspectives. The reader will learn about the methodological difficulties connected with the use of neuroscientific experiments in philosophical argumentation and about the nature of scientific explanation in neuroscience. In addition, the book includes case studies of several issues lying at the intersection of neuroscience and philosophy, such as theory of mind, self-consciousness, self-deception, depression, and morality.

This is also where we begin investigating lattices of logics and varieties, rather than particular examples.

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.

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)

Alan Robinson This set of essays pays tribute to Bob Kowalski on his 60th birthday, an anniversary which gives his friends and colleagues an excuse to celebrate his career as an original thinker, a charismatic communicator, and a forceful intellectual leader. The logic programming community hereby and herein conveys its respect and thanks to him for his pivotal role in creating and fostering the conceptual paradigm which is its raison d’Œtre. The diversity of interests covered here reflects the variety (...) of Bob’s concerns. Read on. It is an intellectual feast. Before you begin, permit me to send him a brief personal, but public, message: Bob, how right you were, and how wrong I was. I should explain. When Bob arrived in Edinburgh in 1967 resolution was as yet fairly new, having taken several years to become at all widely known. Research groups to investigate various aspects of resolution sprang up at several institutions, the one organized by Bernard Meltzer at Edinburgh University being among the first. For the half-dozen years that Bob was a leading member of Bernard’s group, I was a frequent visitor to it, and I saw a lot of him. We had many discussions about logic, computation, and language. (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)

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)

Journal Name: Philologus Issue: Ahead of print.

Descartes argumentował, wychodząc od swej słynnej tezy „Myślę, więc jestem”, o której sądził, że jest jedynym twierdzeniem niepowątpiewalnym, że udowodnił istnienie jedynie dwóch substancji: materialnej i duchowej, które są całkowicie różne, odrębne i autonomiczne w swych działaniach. Od czasu, gdy pisał swoje Medytacje o pierwszej filozofii, żywił głębokie przekonanie, że może także udowodnić nieśmiertelność duszy ludzkiej na mocy tezy o jej substancjalnej odrębności. Jednakże w trakcie pisania Medytacji, a szczególnie w rezultacie dyskusji ze swymi oponentami, przekonał się, że na gruncie (...) jego filozofii taki dowód jest po prostu niemożliwy. W artykule ukazuje się tok myślenia Descartes’a oraz proces zastępowania metafizycznego punktu widzenia etycznym punktem widzenia. (shrink)

The main aim of the paper is to solve a problem posed in Di Nola et al. (Multiple Val. Logic 8:715–750, 2002) whether every pseudo BL-algebra with two negations is good, i.e. whether the two negations commute. This property is intimately connected with possessing a state, which in turn is essential in quantum logical applications. We approach the solution by describing the structure of pseudo BL-algebras and pseudo hoops as important families of quantum structures. We show when a pseudo hoop (...) can be embedded into the negative cone of the reals. We give an equational base characterizing representable pseudo hoops. We also describe some subvarieties: normal-valued, and varieties where each maximal filter is normal. We produce some noncommutative covers and extend the area where each algebra is good. Finally, we show that there are uncountably many subvarieties of pseudo BL-algebras having members that are not good. (shrink)

Monomodal logic has exactly two maximally normal logics, which are also the only quasi-normal logics that are Post complete, and they are complete for validity in Kripke frames. Here we show that addition of a propositional constant to monomodal logic allows the construction of continuum many maximally normal logics that are not valid in any Kripke frame, or even in any complete modal algebra. We also construct continuum many quasi-normal Post complete logics that are not normal. The set of extensions (...) of S4.3 is radically altered by the addition of a constant: we use it to construct continuum many such normal extensions of S4.3, and continuum many non-normal ones, none of which have the finite model property. But for logics with weakly transitive frames there are only eight maximally normal ones, of which five extend K4 and three extend S4. (shrink)

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.

Racial inequities in medicine are the consequence of intersecting, multidimensional factors. As detailed in the articles by Braddock, Mithani, Cooper, and Boyd, and Yearby, the...

According to Clarke and Beck (C&B), the approximate number system (ANS) represents numbers. We argue that the ANS represents pure magnitudes. Considerations of explanatory economy favor the pure magnitudes hypothesis. The considerations C&B direct against the pure magnitudes hypothesis do not have force.

Monomodal logic has exactly two maximally normal logics, which are also the only quasi-normal logics that are Post complete, and they are complete for validity in Kripke frames. Here we show that addition of a propositional constant to monomodal logic allows the construction of continuum many maximally normal logics that are not valid in any Kripke frame, or even in any complete modal algebra. We also construct continuum many quasi-normal Post complete logics that are not normal. The set of extensions (...) of S4.3 is radically altered by the addition of a constant: we use it to construct continuum many such normal extensions of S4.3, and continuum many non-normal ones, none of which have the finite model property. But for logics with weakly transitive frames there are only eight maximally normal ones, of which five extend K4 and three extend S4. (shrink)

Charles Darwin’s theory of evolution by means of natural selection finds application far outside biology, for which it was originally invented. Its consequences for science proved far-going, influencing practically every field from thermodynamics to the humanities. While acting on biological systems, the Darwinian mechanism is a source of progress and the local-scale abandonment of the universe’s general tendency towards chaos. However, observations of changes taking place in selection-exposed organisms show that evolutionary success requires some essential limitations. The application of this (...) reasoning to social evolution may appear thought-provoking: stable evolution requires not only intense selection but also a conservative approach to ideas. (shrink)

It follows from the proved theorems that ifM π=〈Q, ϕ〉 (whereQ={0,q 1,q 2,...,q α}) is a machine of the classM F then there exist α machinesM πi such thatM πi(〈1,c〉)=M π(〈q i,c〉) andQ i={0, 1, 2, ..., α+1} (i=1, 2, ..., α).And thus, if the way in which to an initial function of content of memoryc∈C a machine assigns a final onec′∈C is regarded as the only essential property of the machine then we can deal with the machines of the (...) formM π=〈{0, 1, 2, ..., α}, ϕ〉 and processes π(t) (wheret=〈1,c〉,c∈C) only.Such approach can simplify the problem of defining particular machines of the classM F , composing and simplifying them. (shrink)