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)

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.

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)

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)

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)

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.

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)

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.

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)

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)

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)

The debate on feminism and ‘religion’ has rarely been suggested as a critique of modernity that has silenced other possible cultural, epistemological and spiritual options. Efforts have been made to ascertain whether ‘religion’ is ‘good’ or ‘bad’ for – or indeed an ally or threat to – women’s liberation. More specifically, in a European context, contemporary discussions of ‘religion’ and the rights of women have been very much centred on Islam. Yet, none of these narratives have resolved the intrinsic colonial (...) character of modernity. This article explores the debate on both Islamic and Western feminism from a decolonial perspective. It argues that today, feminist theory faces the tremendous challenge of how to encounter the colonial and not only redefine, but also review the concepts and categories upon which Western feminism bases its arguments. Drawing on the work of the Spanish-Syrian Islamic decolonial thinker, Sirin Adlbi Sibai, this article develops a critical, self-reflexive approach that questions secular assumptions regarding feminist analyses of ‘religion’. In doing so, I present the decolonising of feminism as an invitation to (re)imagine our feminist encounters. (shrink)

In 1995, as a student of psychology inspired by natural science, I defined a logical model of personality explaining psychosis. I created (for my MA thesis, 1998 and grant research, 1999) new kind of tests assessing intelligence, creativity, prejudices, expectations to show more exact methods in psychology. During my Phd study in economics, I developed 'Maximization of Uniqueness (Originality)' model enhancing the classic utility to explain irrational motivations linking economics and psychology. Later I became computer programmer developing functional programming. According (...) to Personality model (and my experience in chess composition), I've built server and client logic of information system www.each.co.uk, and produced visual art. I presented the excerpts of 'Personality Model' in a few articles, and later as part of my art exhibitions: From Animation (Oct 2013, Holland Park, London), Parallax 12 (Feb 2015, Chelsea Town Hall, London), Fading Memory (Sep 2015, Weißenohe / Nuremberg, Germany). Another work: The Science is a subset of the Art extends Personality Model to art, society. At the end I add example and explanation of a special problem, when the higher intelligence leads to a wrong solution. It was published in Japanese Journal Problem Paradise in 1999. All presented results can be repeated. Computer testing would enable to acquire more data and more exact analysis. (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)

Alternate Universes: Religion assumes the other world after death: paradise, hell, nirvana, karma.. Our world is incomplete, because there is truer universe, replicating Plato: behind something is something.. till the true idea - last judgment, karma.. R. Descartes's "I think, therefore I am", is independent of Plato. I'm thinking, regardless of there is truer idea or not. As I'm thinking, I can realize my first idea was false (eg. solving a math problem), and then the Plato's truer idea reappears. Plato (...) and Descartes precede each other as chicken and egg.. Paradox of Religion: Religions' rules (e.g. don't lie) increase chances of future paradise. Hume's: "A" preceding "B" doesn't need to cause "B" turns to: Expectation of "B" can cause "A" NOW Believers expect paradise to forever delay it. Paradise can paradoxically occur only by deviation from the religion... Exhibited in Holland Park, W8 6LU, The Ice House between 18. Oct - 3. Nov. 2013. (shrink)

The interview with economist William Baumol, published in 2003 in weekly Respekt, deals with alternative activities for talented individuals. If they can't pursue productive activities (technological innovations) they go for rent-seeking activities or activities with negligible social return (e.g. chess). I also present a thesis, that if there is no sophisticated alternative activities, the talent may be redirected into pathological ones: psychopathy, neurosis, paranoia, psychosis... The article was exhibited in Holland Park, W8 6LU, The Ice House between 18. Oct - (...) 3. Nov. 2013. (shrink)

Explanation of logic of psychoses: schizophrenia and bi-polar, with empirical confirmation - e.g. IQ decreases the likelihood of psychosis, and bi-polar is more likely than schizophrenia... MA thesis in 1998 (Comenius University), Presented at Art exhibition "From Animation", London, Holland Park (W8 6LU), Conferences in Santorini, Daejon, Adelaide 2016.

MIRÓ M, GASTALDO D, NELSON S and GALLEGO G. Nursing Inquiry 2012; 19: 270–280 Spanish nursing under Franco: reinvention, modernization and repression (1956–1976)This article examines Spanish nursing during a critical 20‐year period (1956–76) when, under the dictatorial government of General Franco, nursing became the target of a modernization strategy. In the national standardized system of state‐run schools, the previously distinct nursing and midwifery programmes were merged into a new training programme which created the single professional denomination of ATS–Ayudante Técnico Sanitario (...) (Technical Sanitary Assistant). Under the leadership of medicine, and with the blessing of the Catholic Church and the Sección Femenina (Women’s Section of the Falangist Party), nursing was positioned as feminized and subordinate to medicine, a predominantly male profession in mid‐twentieth century Spain. This article discusses this crucial phase of Spanish nursing history by focusing on one influential historical document (published in 1956), Professional Moral Orientation for the Sanitary Technical Assistants, a nursing textbook on professional morals for first‐year nursing students written by Rosamaria Miranda, a Catholic nun and a trained nurse. Our analysis reveals that gender‐related and technical discourses concerning disciplinary and pastoral power relations presented in this textbook legitimate the core beliefs of Franquism put forward by the politically powerful women’s branch of the ruling Falangist Party in mid‐twentieth century Spain. (shrink)

Uno de los propositos de Miro Quesada al escribir esta obra fue ofrecer "a todo aquel que se interese por la cultura latinoamericana en particular y sus manifestaciones filosoficas en particular -especialmente profesores y estudiantes- un libro que sirve para orientarlos en la produccion cada vez mas vasta y profusa de la filosofia latinoamericana.".

Los seis textos que se incluyen a continuación contienen una breve reflexión sobre cuestiones de metafísica. A pesar de la diversidad de las temáticas, hay en todas ellas una mirada que les confiere «un aire de familia», a saber, la «mirada metafísica»: «Espiritualidad y religiosidad en Simone Weil», de Natán Verdés; «Metafísica de la psicodelia», de Gerard Masmitjà; «La relación trinitaria en la realidad cosmoteándrica de Raimundo Pánikkar», de Francesc Xavier Marquès; «Introducción a la teología analítica seguida del ejemplo del (...) colapso modal en el teísmo clásico», de Constantí Cabestany; «Metafísica: la ciencia que no avanza», de Albert Piguillem; y «Memorias del subsuelo: un breve análisis filosófico», de Andreu Cacho. (shrink)

Este artículo analiza el recorrido histórico de la antropología del género desde su nacimiento hasta nuestros días. Se pone de manifiesto que esta antropología no puede dar una respuesta integral sobre la pregunta de quién es la persona porque fundamentan sus estudios en la categoría exclusiva de la sexualidad. No puede plantearse como una antropología fi losófi ca al olvidar el resto de facultades y dimensiones propias del ser humano.