In this paper we define the relation t of elementary extension of topological models in the language L t and show a Back and Forth criterion for t. We introduce some new operations on partial homeomorphisms preserving Back and Forth properties. Some properties of t are proved by the Back and Forth technique.

Contents: Preface. SCIENTIFIC WORKS OF MARIA STEFFEN-BATÓG AND TADEUSZ BATÓG. List of Publications of Maria Steffen-Batóg. List of Publications of Tadeusz Batóg. Jerzy POGONOWSKI: On the Scientific Works of Maria Steffen-Batóg. Jerzy POGONOWSKI: On the Scientific Works of Tadeusz Batóg. W??l??odzimierz LAPIS: How Should Sounds Be Phonemicized? Pawe??l?? NOWAKOWSKI: On Applications of Algorithms for Phonetic Transcription in Linguistic Research. Jerzy POGONOWSKI: Tadeusz Batóg's Phonological Systems. MATHEMATICAL LOGIC. Wojciech BUSZKOWSKI: Incomplete Information Systems and Kleene 3-valued Logic. Maciej KANDULSKI: Categorial Grammars with (...) Structural Rules. Miros??l??awa KO??L??OWSKA-GAWIEJNOWICZ: Labelled Deductive Systems for the Lambek Calculus. Roman MURAWSKI: Satisfaction Classes - a Survey. Kazimierz _WIRYDOWICZ: A New Approach to Dyadic Deontic Logic and the Normative Consequence Relation. Wojciech ZIELONKA: More about the Axiomatics of the Lambek Calculus. THEORETICAL LINGUISTICS. Jacek Juliusz JADACKI: Troubles with Categorial Interpretation of Natural Language. Maciej KARPI??N??SKI: Conversational Devices in Human-Computer Communication Using WIMP UI. Witold MACIEJEWSKI: Qualitative Orientation and Grammatical Categories. Zygmunt VETULANI: A System of Computer Understanding of Texts. Andrzej WÓJCIK: The Formal Development of van Sandt's Presupposition Theory. W??l??adys??l??aw ZABROCKI: Psychologism in Noam Chomsky's Theory . Ryszard ZUBER: Defining Presupposition without Negation. PHILOSOPHY OF LANGUAGE AND METHODOLOGY OF SCIENCES. Jerzy KMITA: Philosophical Antifundamentalism. Anna LUCHOWSKA: Peirce and Quine: Two Views on Meaning. Stefan WIERTLEWSKI: Method According to Feyerabend. Jan WOLE??N??SKI: Wittgenstein and Ordinary Language. Krystyna ZAMIARA: Context of Discovery - Context of Justification and the Problem of Psychologism. (shrink)

Se realiza un acercamiento a la obra filosófica de Francisco Miró Quesada a través del prisma de lo que ha constituido una de sus preocupaciones básicas: la autenticidad del filosofar. El tema ha sido recurrente en sus ensayos y en una especie de ideal de toda su producción filosófica. Con un concepto amplio de la autenticidad, Miró Quesada se propuso su realización en las diferentes líneas de pensamiento. Componen este trabajo tres momentos fundamentales, dedicados a describir las ideas y aportes (...) de Miró Quesada en sendos campos a los que ha dedicado especial atención: la teoría de la razón, la filosofía práctica y el propio pensamiento latinoamericano. Aun cuando el filósofo peruano ha dedicado esfuerzos intelectuales a otros ámbitos, son éstos tres los que más han centrado su atención y en los que encontramos aportes que estimulan al análisis de la medida en que el pensador peruano ha logrado cumplir su ideal de autenticidad. Particular énfasis se hace en el tercero, en cuyo marco trabaja pormenorizadamente el tema y dentro del cual nos ha dejado una obra básica para pensarlo: Despertar y proyecto del filosofar latinoamericano. (shrink)

Medvedev's intermediate logic (MV) can be defined by means of Kripke semantics as the family of Kripke frames given by finite Boolean algebras without units as partially ordered sets. The aim of this paper is to present a proof of the theorem: For every set of connectives such that the-fragment ofMV equals the fragment of intuitionistic logic. The final part of the paper brings the negative solution to the problem set forth by T. Hosoi and H. Ono, namely: is an (...) intermediate logic based on the axiom (abc) (ab)(a c) separable? (shrink)

Desiderius Erasmus considered that the education of children has to start at an early age. To get a better understanding of Erasmus’ theories about the education, this paper analyses the use of his term eruditio, but also the use of terms such as ratio, usus and philosophia. The aim is to point out the interesting link between the contemporary understanding of critical thinking and Erasmus’ concept of eruditio. Furthermore, for a better understanding of his perception of education, we analyse Erasmus’ (...) description of characteristics of a good teacher. Here mentioned description of a good teacher, in some aspects, link Erasmus with contemporary theorists such as John Dewey and Oscar Brenifier. As early training and practice for the development of a proper inference, Erasmus suggests fables, language exercises and proverbs, which is similar to what contemporary theorists and practitioners of critical thinking and philosophy with children do. (shrink)

The article presents the chess composition as a logical art, with concrete examples. It began with Arabic mansuba, and later evolved to new-strategy designed by Italian Alberto Mari. The redefinition of mate (e.g. mate with a free field) or a theme to quasi-pseudo theme, opens the new space for combinations, and enables to connect it with other fields like computer science. The article was exhibited in Holland Park, W8 6LU, The Ice House between 18. Oct - 3. Nov. 2013.

To support my Phd theses and results of my grant research in 1999, I asked 1) prominent chemist Antonín Holý, author of substances to treat hepatitis and HIV, about the indivisibility of the art and science (published in Slovak Narodna Obroda and Czech blisty,cz), 2) the distinguished economist William Baumol about the alternative activities (published in Slovak Nove Slovo, Czech Respekt and blisty.cz), 3) Nobel Laureate Clive Granger about the significance of the economics (published in 2004 in Czech weekly Tyden). (...) The interviews were exhibited in Holland Park, W8 6LU, The Ice House between 18. Oct - 3. Nov. 2013. (shrink)

1. The two argue: person "A" supports, person "B" refuses evolution... The truth (what is truer) is closer to reality than untruth: the truth improves adaptation 2. If evolution is universally true (anytime), person "A" better adapts to environment, so he gains over person "B" (=natural selection) 3. Statement "evolution is true" is motivated by the 'evolutionary' advantage, so it is biased Summary: Evolution is true, if it is untrue (when it can be unbiased) Exhibited in Holland Park, W8 6LU, (...) The Ice House between 18. Oct - 3. Nov. 2013. (shrink)

According to the evaluativist theory of bodily pain, the overall phenomenology of a painful experience is explained by attributing to it two types of representational content—an indicative content that represents bodily damage or disturbance, and an evaluative content that represents that condition as bad for the subject. This paper considers whether evaluativism can offer a suitable explanation of aversive auditory phenomenology—the experience of awful noises—and argues that it can only do so by conceding that auditory evaluative content would be guilty (...) of widespread error. Defending such an error-theory, moreover, comes with several explanatory costs. (shrink)

The ever-increasing dominance of English within analytic philosophy is an aspect of linguistic globalisation. To assess it, I first address fundamental issues in the philosophy of language. Steering a middle course between linguistic universalism and linguistic relativism, I deny that some languages might be philosophically superior to others, notably by capturing the essential categories of reality. On this background I next consider both the pros and cons of the Anglicisation of philosophy. I shall defend the value of English as a (...) lingua franca, while denying both the feasibility and the desirability of English as the sole universal language of philosophy. Finally I turn to the linguistic inequality in contemporary analytic philosophy. While it does not per se amount to an injustice, there is a need to level the playing field. But the remedy does not lie in linguistic academic sectarianism. Instead, what might be called for are piecemeal measures to reduce explicit and implicit biases against analytic philosophers on the geographic fringes, biases that are only partly connected to the predominance of English. (shrink)

Argues that the key distinction between human and nonhuman social cognition consists in our complex, diverse and flexible capacities to shape each other's minds in ways that make them easier to interpret.

This article shows that, according to Romans 14:19, peace-building and mutual edification are closely interrelated. This hypothesis is substantiated through an intercultural method, which explores the issues of peace from a triple perspective: a contemporary culture, an original Biblical culture and a past Church culture. These three frames basically agree that for restoring and maintaining peace, it is important to fight against its main cause, namely sin. It is equally important to cultivate things that promote peace and mutual edification.

This insight to art came from chess composition concentrating art in a very dense form. To identify and mathematically assess the uniqueness is the key applicable to other areas eg. computer programming. Maximization of uniqueness is minimization of entropy that coincides as well as goes beyond Information Theory (Shannon, 1948). The reusage of logic as a universal principle to minimize entropy, requires simplified architecture and abstraction. Any structures (e.g. plugins) duplicating or dividing functionality increase entropy and so unreliability (eg. British (...) Airways IT system). The ideas here were verified by my chess compositions, art works and complex information system as an author of each co uk, and were presented at conferences in Santorini, Adelaide, Geneva, Daejon and virtually. (shrink)

Probably no intellectual has suffered more distortion and abuse than Spencer. He is continually condemned for things he never said – indeed, he is taken to task for things he explicitly denied. The target of academic criticism is usually the mythical Spencer rather than the real Spencer; and although some critics may derive immense satisfaction from their devastating refutations of a Spencer who never existed, these treatments hinder rather than advance the cause of knowledge.

The richer you are, the less equally rich or richer people. The richest is only one (=unique). Maximization of richness or leisure (=classic utility), maximizes the uniqueness (=improbability) that can be maximized also by: extreme sport, suicide, tattoo, count of views... The richest seem unique as the poorest, but the rich can easily become poor, while the poor can hardly get rich. So the aim of maximization reflects IQ and options. Few options increase irrationality, regardless of IQ. I also present (...) the law of values' equality, Utility of Suicide, motivation to support the better, and overview the economics as such. Presented as PhD thesis at CERGE-EI, 2000, exhibited in Holland Park, W8 6LU, 2013, presented at conferences in Santorini 2016, Daejon 2016, Adelaide 2016. (shrink)

W.E.B. Du Bois’s elegy for his infant son, “Of the Passing of the First-Born,” in The Souls of Black Folk, has received relatively scant attention from political theorists. Yet it illuminates crucial developments in Du Bois’s political thought. It memorializes a tragedy central to his turn from scientific facts to rhetorical appeals to emotion. Its rhetoric also exemplifies a broader tension in his writings, between masculinist and elitist commitments and more insurrectionary impulses. In its normalizing rhetorical mode, which dominates, the (...) elegy depicts an idealized patriarchal bourgeois household—potentially eliciting white readers’ sympathetic identification, but failing to displace the gendered and classed logic of racial exclusion. Its moments of transgressive rhetoric complicate or refuse such identification, celebrating Burghardt’s racial impurity and invoking a lineage of black maternal ambivalence. Though each is vexed and ephemeral, these moments of transgressive rhetoric reveal countervailing impulses that Du Bois would articulate in later writings. (shrink)

This article aims at showing how Jesus is the apex of biblical canons, the authority that grants the status of sacredness to Christian, canonical and biblical books. It uses an intercultural approach involving three cultural frames of reference whereby the Protestant Church leadership will represent a contemporary culture, while the Roman Catholic Church stands for traditional church culture, and Jesus' authority reflects an original biblical culture. Consequently, the article consists of three parts: the impact of Scripture on the contemporary Protestant (...) Church in Africa, the authority of biblical canon in the Roman Catholic Church and Jesus' authority in original biblical cultures. CONTRIBUTION: The article has established that in the biblical cultures, Jesus' authority is recognised in canonical gospels and in extra canonical writings. In the Catholic Church, this authority is celebrated in the liturgy, expanded from the canonical biblical books and translated into the canon law. In the current Protestant Church in Africa, Jesus' authority empowers the ministers to significantly impact their audiences. (shrink)

Cognitive tests show that identity and symmetry reflect intellect. 'Guess of other guess' creates various symmetries, while only one is right: 'absolute symmetry', which can be outvoted by the majority. Prejudices result from differences between ME (my identity) and others. Unbiased judgement is symmetrical, always in the middle: neither in favor, nor against ME. Intelligence reduces prejudices, but the lack of opportunities can counterbalance it. That's why type of bias differs in various groups: people from war zones, people in therapy, (...) artists, etc.. "The law of values' equity" is a symmetrical principle redefining utility in economics, when people equate all their values. E.g. 2 children averagely rich, is better than one child rich and another poor. If 'a' is an average richness, and 'x' is a difference in richness, and Utility multiplies all values, then: a * a > (a - x) * (a + x), which is: a² > a² - x². It does not however imply egalitarianism, as it is still better to have both children rich than both average or poor. (shrink)

About selected philosophical questions of the past and today, with Egon Bondy (1930-2007). In a reaction to his response, I'll add a redefinition of the existential view of decision that is incomplete, and an explanation why 'social science' can be mathematized. The article also include my other ideas which have been developed since 1995. The interview was published in Blisty and Nove Slovo (2003), and some experts were published in The Ice House, Holland Park, London (2013), and Parallax Art Fair (...) (2015). (shrink)

Although the cognition is significant in strategic reasoning, its role has been weakly analyzed, because only the average intelligence is usually considered. For example, prisoner's dilemma in game theory, would have different outcomes for persons with different intelligence. I show how various levels of intelligence influence the quality of reasoning, decision, or the probability of psychosis. I explain my original methodology developed for my MA thesis in clinical psychology in 1998, and grant research in 1999, demonstrating the bias of the (...) classic IQ method, and how the intelligence limits thinking. Based on that I defined Personality Model, providing insight into understanding of psychosis (schizophrenia, bi-polar), which has not been explained yet by psychology or psychiatry. In addition, it enables to analyze and assess non-linear problems, utilizable in computer programming, visualization (animation) or other fields including Baduk game. I've already applied some principles in complex information system www.each.co.uk, and video-animations exhibited in London, Germany, Tokyo. I need to mention my experience in chess composition between 1994 and 2000, winning a few international prizes and inventing a special class of fairy rules redefining the mate. The chess composition principles or patterns show the way to organize logical series to higher advanced mechanisms (like calculus), applicable to other fields. One of such principles is a logical aesthetic innovation: new strategy, defined by Italian composers. Finally I show how the simple redefinition of the classic utility concept links economics and psychology to explain irrational / destructive behavior. All presented results (from the research) can be repeated. (shrink)

Model of intelligence and new methods to assess IQ. MA thesis in 1998 (Comenius University). Art exhibitions "From Animation" London 2013, "Fading Memory" Weißenohe 2015, TAIF Tokyo 2017. Conferences in Santorini, Daejon 2016, Geneva 2017.