We prove two embedding and extension theorems in the context of the constructive theory of metric spaces. The first states that Cantor space embeds in any inhabited complete separable metric space without isolated points, X, in such a way that every sequentially continuous function from Cantor space to ℤ extends to a sequentially continuous function from X to ℝ. The second asserts an analogous property for Baire space relative to any inhabited locally non-compact CSM. Both results rely on having careful (...) constructive formulations of the concepts involved.As a first application, we derive new relationships between “continuity principles” asserting that all functions between specified metric spaces are pointwise continuous. In particular, we give conditions that imply the failure of the continuity principle “all functions from X to ℝ are continuous”, when X is an inhabited CSM without isolated points, and when X is an inhabited locally non-compact CSM. One situation in which the latter case applies is in models based on “domain realizability”, in which the failure of the continuity principle for any inhabited locally non-compact CSM, X, generalizes a result previously obtained by Escardó and Streicher in the special case X = C[0, 1].As a second application, we show that, when the notion of inhabited complete separable metric space without isolated points is interpreted in a recursion-theoretic setting, then, for any such space X, there exists a Banach-Mazur computable function from X to the computable real numbers that is not Markov computable. This generalizes a result obtained by Hertling in the special case that X is the space of computable real numbers. (shrink)

We prove two embedding and extension theorems in the context of the constructive theory of metric spaces. The first states that Cantor space embeds in any inhabited complete separable metric space (CSM) without isolated points, X, in such a way that every sequentially continuous function from Cantor space to ℤ extends to a sequentially continuous function from X to ℝ. The second asserts an analogous property for Baire space relative to any inhabited locally non‐compact CSM. Both results rely on having (...) careful constructive formulations of the concepts involved.As a first application, we derive new relationships between “continuity principles” asserting that all functions between specified metric spaces are pointwise continuous. In particular, we give conditions that imply the failure of the continuity principle “all functions from X to ℝ are continuous”, when X is an inhabited CSM without isolated points, and when X is an inhabited locally non‐compact CSM. One situation in which the latter case applies is in models based on “domain realizability”, in which the failure of the continuity principle for any inhabited locally non‐compact CSM, X, generalizes a result previously obtained by Escardó and Streicher in the special case X = C[0, 1].As a second application, we show that, when the notion of inhabited complete separable metric space without isolated points is interpreted in a recursion‐theoretic setting, then, for any such space X, there exists a Banach‐Mazur computable function from X to the computable real numbers that is not Markov computable. This generalizes a result obtained by Hertling in the special case that X is the space of computable real numbers. (© 2004 WILEY‐VCH Verlag GmbH & Co. KGaA, Weinheim). (shrink)

We formulate a predicative, constructive theory of continuous domains whose realizability interpretation gives a practical implementation of continuous ω-chain complete posets and continuous maps between them. We apply the theory to implementation of the interval domain and exact real numbers.

In this paper I compare two well studied approaches to topological semantics – the domain-theoretic approach, exemplified by the category of countably based equilogical spaces, Equ and Typ Two Effectivity, exemplified by the category of Baire space representations, Rep . These two categories are both locally cartesian closed extensions of countably based T0-spaces. A natural question to ask is how they are related.First, we show that Rep is equivalent to a full coreflective subcategory of Equ, consisting of the so-called 0-equilogical (...) spaces. This establishes a pair of adjoint functors between Rep and Equ. The inclusion Rep → Equ and its coreflection have many desirable properties, but they do not preserve exponentials in general. This means that the cartesian closed structures of Rep and Equ are essentially different. How ever, in a second comparison we show that Rep and Equ do share a common cartesian closed subcategory that contains all countably based-T0 spaces. Therefore, the domain-theoretic approach and TTE yield equivalent topological semantics of computation for all higher-order types over countably based T0-spaces. We consider several examples involving the natural numbers and the real numbers to demonstrate how these comparisons make it possible to transfer results from one setting to another. (shrink)

We prove two embedding and extension theorems in the context of the constructive theory of metric spaces. The first states that Cantor space embeds in any inhabited complete separable metric space (CSM) without isolated points, X, in such a way that every sequentially continuous function from Cantor space to ℤ extends to a sequentially continuous function from X to ℝ. The second asserts an analogous property for Baire space relative to any inhabited locally non‐compact CSM. Both results rely on having (...) careful constructive formulations of the concepts involved.As a first application, we derive new relationships between “continuity principles” asserting that all functions between specified metric spaces are pointwise continuous. In particular, we give conditions that imply the failure of the continuity principle “all functions from X to ℝ are continuous”, when X is an inhabited CSM without isolated points, and when X is an inhabited locally non‐compact CSM. One situation in which the latter case applies is in models based on “domain realizability”, in which the failure of the continuity principle for any inhabited locally non‐compact CSM, X, generalizes a result previously obtained by Escardó and Streicher in the special case X = C[0, 1].As a second application, we show that, when the notion of inhabited complete separable metric space without isolated points is interpreted in a recursion‐theoretic setting, then, for any such space X, there exists a Banach‐Mazur computable function from X to the computable real numbers that is not Markov computable. This generalizes a result obtained by Hertling in the special case that X is the space of computable real numbers. (© 2004 WILEY‐VCH Verlag GmbH & Co. KGaA, Weinheim). (shrink)

Image factorizations in regular categories are stable under pullbacks, so they model a natural modal operator in dependent type theory. This unary type constructor [A] has turned up previously in a syntactic form as a way of erasing computational content, and formalizing a notion of proof irrelevance. Indeed, semantically, the notion of a support is sometimes used as surrogate proposition asserting inhabitation of an indexed family. We give rules for bracket types in dependent type theory and provide complete semantics using (...) regular categories. We show that dependent type theory with the unit type, strong extensional equality types, strong dependent sums, and bracket types is the internal type theory of regular categories, in the same way that the usual dependent type theory with dependent sums and products is the internal type theory of locally Cartesian closed categories. We also show how to interpret first-order logic in type theory with brackets, and we make use of the translation to compare type theory with logic. Specifically, we show that the propositions-as-types interpretation is complete with respect to a certain fragment of intuitionistic first-order logic, in the sense that a formula from the fragment is derivable in intuitionistic first-order logic if, and only if, its interpretation in dependent type theory is inhabited. As a consequence, a modified double-negation translation into type theory (without bracket types) is complete, in the same sense, for all of classical first-order logic. (shrink)

Steve Awodey and Audrej Bauer. Sheaf Toposes for Realizability.

Русская культура с самого её начала уже была устремлена к непостигаемым для других народов высотам, и поэтому во все времена звучал в ней голос с неба, говорящий: это скиния Бога с людьми, где Он будет жить с ними; они будут Его народом, а Он будет их Богом. К этой гармонии стремилась она, и хотя теперь многие из русских людей заблудились во тьме невежества и неверия, но стоит лишь заблудшим обратить взоры к новому небу, звёзды русской культуры укажут им верный путь (...) к истине и к праведной жизни, а за ними непременно пойдут и другие народы. (shrink)

Roka kot Geschlecht-identiteta -- Vagina, objet petit a kot diferenca -- Smrt kot sprava Todestrieb.

The speed of development in Big Data and associated phenomena, such as social media, has surpassed the capacity of the average consumer to understand his or her actions and their knock-on effects. We are moving towards changes in how ethics has to be perceived: away from individual decisions with specific and knowable outcomes, towards actions by many unaware that they may have taken actions with unintended consequences for anyone. Responses will require a rethinking of ethical choices, the lack thereof and (...) how this will guide scientists, governments, and corporate agencies in handling Big Data. This essay elaborates on the ways Big Data impacts on ethical conceptions. (shrink)

The paper discusses the conceptual and methodological challenges of developing measures of stereotypes and prejudice for use in Slovakia. Developing these measures was the first step in a research project aimed at testing the effectiveness of direct and indirect contact interventions to reduce prejudice against stigmatized minorities, particularly the Roma. The first major problem in this kind of research relates to measuring the impact of interventions, as standardized instruments for measuring prejudice have yet to be developed in Slovak. The second (...) problem concerns the risk that the interventions will fail to reduce anti-Roma prejudice, because of the strong stigmatization of the Roma minority in Slovakia. The paper also reviews existing measures of stereotypes and prejudice in social psychology and discusses their applicability for measuring anti-Roma prejudice in Slovakia. It is argued that measures of stereotypes and prejudice should be designed and used in a sensitive manner and that in the process of measuring various forms of social bias we should avoid reproducing its cognitive, emotional and behavioural manifestations. (shrink)

We prove the following theorems: (1) If X has strong measure zero and if Y has strong first category, then their algebraic sum has property s 0 . (2) If X has Hurewicz's covering property, then it has strong measure zero if, and only if, its algebraic sum with any first category set is a first category set. (3) If X has strong measure zero and Hurewicz's covering property then its algebraic sum with any set in APC ' is a (...) set in APC '. (APC ' is included in the class of sets always of first category, and includes the class of strong first category sets.) These results extend: Fremlin and Miller's theorem that strong measure zero sets having Hurewicz's property have Rothberger's property, Galvin and Miller's theorem that the algebraic sum of a set with the γ-property and of a first category set is a first category set, and Bartoszynski and Judah's characterization of SR M -sets. They also characterize the property (*) introduced by Gerlits and Nagy in terms of older concepts. (shrink)

Neutralita siete a Ownership Unbundling v telekomunikáciách.

The paper suggests that there is a gap between the research on prejudice in Slovak schools and the pedagogical interventions used to reduce them, particularly in relation to the Roma minority. It highlights the existing curricular requirements for dealing with intergroup relations, stereotypes and prejudice, contrasting them with the organizational, methodological and practical constraints teachers face when trying to meet them. Drawing from experience of piloting alternative tools for measuring attitudes, designing interventions and assessing impact, the article describes one possible (...) way of bridging the gap. (shrink)

Feminist scholars reacted to news of Beauvoir's death in 1986 by initiating a reevaluation of her life's work, a task encouraged by Sylvie Le Bon de Beauvoir, her adopted daughter, who edited for posthumous publication many of Beauvoir's personal notebooks and letters to Sartre. Some of the most exciting new interpretations of Beauvoir's philosophy that have resulted are brought together here for the first time; many of them, indeed, were written expressly for this first volume of essays on Beauvoir's philosophy (...) written since her death. (shrink)

Interdisciplinary in approach, this book combines philosophy, hybrid theory, and architectural theory with case studies, explicitly linking the traditions together to investigate the eco-aesthetics of the urban environment.

The concept of Rule of Law is the cornerstone of the proper functioning of the judicial system in any modern democratic society. It is a basic concept of defined rights and liberties to all persons, which offers protection from arbitrary prosecution and incarceration. This principle was firstly stipulated by the instrument of Magna Carta and it is considered as a key principle for good governance in any modern democratic society. The development of the rule of law principle is personified through (...) the independence of the Judiciary as a third branch of government. The contemporary democratic societies are faced with many challenges upon which in order to protect their values of the democratic system, often limit the rights and liberties of persons. It is the role of the courts and the judicial system to stop these injustices and protect the individual from any form of liberty deprivation and rights limitations. Before the promulgation of the Magna Carta in 1215, the rule of law was perceived as a divine justice, distributed solely by the monarch or the king or in this case - King John of England. Magna Carta doesn't have iconic status only in the British Society, which is perceived as an instrument with special constitutional status and cited by many judges, lawyers and politicians, but in any modern democratic states as well. The author in this article examines the development of the concept of Rule of Law in the modern democratic societies under the influence of the Magna Carta, and how it is perceived as a guarantee of fair trial and trial by jury of any persecuted persons whether the severity of their crimes. (shrink)

The purpose of a study is to critically assess common presupposition, that fake news is a) a threat for civilization as we know it; b) something that appeared only recently or at least that recent examples present a more serious threat for civilization as those from the past. It looks like the fast and global spread of fake news widens the gap between objective reality and that reality asserted by fake news. It is thus accepted especially by so-called liberal media (...) but also a wider intellectual community that we are living in the post-truth era. Such shift is mainly attributed to a strong anti-scientific movement of which one of more important consequence is agnotology that is then understood as one of the major causes for the inefficiency of democracy, post-democracy. (shrink)

Do you sometimes feel like your brand runs you and not the opposite? Are you feeling depressed for that reason? Are you stunned by brands, but then you do not know how to handle them? Would you like to live in a world free of any brand? Are you sure that brands are not alive? Do not worry! Answers to these and many other brand and branding related questions are to be found in this book. But beware: a)You will find (...) out that what you had in mind with branding has little to do with branding as it develops in this book. b)This life cantered branding might addict you. Andrej Drapal is (not yet) known as the Standard Branding Model© author and branding practitioner guilty for more than 40 brands including I Feel Slovenia national brand. What the heck Slovenia? Why not? BRANDLIFE arms you with many mental tools and practical techniques you need to manage brands. Product, service, place, tourist and even personal branding managers will find not only tools but also supporting deeper explanations. Drapal hates how to do it quick fix solutions, but at the end BRANDLIFE is concise branding manual. BRANDLIFE is free from topics and words like: social media, boosting your sales, or three steps to success. But there is abundance of kitchen logic inside. BRANDLIFE is branding philosophy and branding manual at the same time. Confused? You should be, indeed! You have not yet read this book! (shrink)

Lying for a strategic advantage is to be expected in commercial interactions. But would this be more or less obvious when lying could come from either party and question mutually profitable exchange? To explore this, we modify the acquiring-a-company game by letting both, buyer and seller, be privately informed. Specifically, the value of the company for the buyer is known only by the seller; whereas, only the buyer is aware by which proportion the sellers evaluation is lower than that of (...) the buyer. Before bargaining, both parties can reveal what they know via cheap-talk numerical messages. Game theoretically, the pooling equilibrium may or may not allow for trade depending on the commonly known expected evaluation discrepancy. By mutually revealing what one knows, one could boost trade and efficiency. Although strategic misreporting prevails quite generally, it is higher for sellers throughout the experiment. Regarding gender, women misreport less, especially as sellers, and offer higher prices. (shrink)

In lieu of an abstract, here is a brief excerpt of the content:Response To June Boyce-Tillman, “Towards an Ecology of Music Education”Elizabeth BauerJune Boyce-Tillman explores the values implicit in the Western musical traditions that also dominate music education. She examines the five interlocking areas of materials, expression, construction, values, and spirituality and how these areas create a more holistic way of conceptualizing the musical experience within music education. By describing the divide between the values of system A and system B, (...) Boyce-Tillman reminds us that these issues are persistent and demand our constant attention as music educators. She supports the conviction that music [End Page 186] curricula should not be dictated by a national curriculum. Instead, education should be a powerful way of supporting the dominant value system of a culture. As an educator focusing on the population of students with special needs, I find myself agreeing with her advocacy of holistic education and suggest that she look at the model of special education to implement this ecology of music education. Boyce-Tillman's proposal evokes a number of responses, of which I will mention two.My first response is to her belief in the individual within the community. This is often problematic in current educational circles. States and countries are being held to standardized curricula. While in and of themselves standards are not bad because they set educational expectations, dictated curricula do not allow for individuality and creativity. Special education addresses this problem by the use of an individualized education plan (IEP). This plan is devised to meet the abilities and capabilities of each individual student. An IEP states the educational goals for the student with special needs for one academic year. Although the IEP contains year-long educational goals, it also contains the methods for how a student will meet those goals. No two students with special needs will have the same educational curriculum. This idea is supported by humanistic ideas in that the individual child is more important than a fixed curriculum. Furthermore, the IEP is developed by all teachers working with the child. For example, a child with Down syndrome normally works with a speech therapist, physical therapist, occupational therapist, general education teacher, and several other subject specific teachers (music, art, physical education, and so on). During the creation of the IEP, all therapists and teachers work together to devise the best educational plan for the student. This helps to ensure continuity between therapies and teaching methods.Currently, many music teachers are excluded from the process of devising the IEP. This also supports Boyce-Tillman's ideas on how national curricula often support the dominant value systems and reinforce the notion of subjugating other value systems. However, I propose that the inclusion of the music teacher in the IEP process because music class is one of the easiest ways to make the student with special needs feel part of a community. The music classroom supports the idea of working together to accomplish a common goal.My second response relates to the valuing of process. While Western culture has typically placed value on product, the converse is true in special education. Throughout the devising of the IEP, the process of learning is valued. Although special education teachers have an ultimate goal for what the student is to accomplish, it is more important to examine the process of how the student achieves that goal. Furthermore, students with special needs are not given rigid time-lines in which they have to accomplish a goal. Instead, a student is allowed to move at his or her own pace. [End Page 187]Moreover, while the students with special needs are moving at their own pace, they are also nurtured by the teacher. In the United States it is common for students with special needs to be educated in the classroom with their nondisabled peers. This is referred to as inclusion. For certain parts of the day, the students with special needs may leave the regular classroom and receive tutoring in certain subject areas by the special education teacher. Many teachers who do not have experience in teaching students with special needs have noticed how the students with special needs achieve more when they are with their special education... (shrink)

A growing body of work has highlighted the importance of political beliefs and attitudes in predicting endorsement and engagement in prosocial behavior. Individuals with right-wing political orientation are less likely to behave prosocially than their left-wing counterparts due to high levels of Right-wing authoritarianism. Here, we aimed to extend prior work by testing how political values relate to COVID-19 discretionary behavioral intentions. Furthermore, we tested whether identification with the national group would influence the relationship between RWA and prosocial behavior. A (...) cross-sectional study conducted on 350 Italian participants showed that right-wing political orientation had a negative effect on COVID-19 discretionary behavioral intentions via RWA. Furthermore, a moderated mediation model revealed that this effect was only significant for participants who are lowly identified with the national group. The results suggest that highlighting group belongingness might effectively motivate more conservative individuals to engage in prosocial behavior. (shrink)

As testing of ChatGPT has shown, this form of artificial intelligence has the potential to develop, which requires improving its software and other hardware that allows it to learn, i.e., to acquire and use new knowledge, to contact its developers with suggestions for improvement, or to reprogram itself without their participation. Как показало тестирование ChatGPT, эта форма искусственного интеллекта имеет потенциал развития, для чего необходимо усовершенствовать её программное и прочее техническое обеспечение, позволяющее ей учиться, т.е. приобретать и использовать новые знания, (...) обращаться к её разработчикам с предложениями по усовершенствованию, или производить самопрограммирование без их участия. (shrink)

Recently some bioethicists and neuroscientists have argued for an imperative of chemical cognitive enhancement. This imperative is usually based on consequentialist grounds. In this paper, the topic of cognitive self-enhancement is discussed from a Kantian point of view in order to shed new light on the controversial debate. With Kant, it is an imperfect duty to oneself to strive for perfecting one’s own natural and moral capacities beyond one’s natural condition, but there is no duty to enhance others. A Kantian (...) approach does not directly lead to a duty of chemical cognitive self-enhancement, but it also does not clearly rule out that this type of enhancement can be an appropriate means to the end of self-improvement. The paper shows the benefits of a Kantian view, which offers a consistent ideal of self-perfection and teaches us a lesson about the crucial relevance of the attitude that underlies one’s striving for cognitive self-improvement: the lesson of treating oneself as an end in itself and not as mere means to the end of better output. (shrink)

The prevailing assumption is that anResearch underlying this study was conducted with support of the Russian Foundation for Basic Research grant #17-06-00460.agreement feature originates in one linguistic element, that is a controller, and is copied onto another one, a target. This form-to-form approach encounters massive difficulties when confronted with data, such as missing controllers or feature mismatches. A cognition-to-form mapping approach is proposed instead, suggesting that agreement features, such as person, number, and gender, are associated with referents in the cognitive (...) representation. They serve to specify referents on either notional or conventional grounds, and are thus referential features. Referential features are mapped onto various sites in linguistic structure, including inflections. Parallel agreement between various sites is observed, as a side effect of mappings from the same cognitive source. Languages differ in which and how many sites for marking referential features they require. Analysis of Russian evidence suggests that the cognition-to-form mapping approach has a much greater explanatory force than the traditional form-to-form approach. There are only peripheral classes of instances in which form-to-form agreement may be needed as a supplementary factor. In general, the roots of agreement lie in cognitively motivated discourse processes associated with reference. (shrink)

Let μ be a universal lower enumerable semi-measure . Any computable upper bound for μ can be effectively separated from zero with a constant . Computable positive lower bounds for μ can be nontrivial and allow one to construct natural examples of hypersimple sets.

It is commonly believed that our episodic memory teaches us about the reality of personal identity over time. Derek Parfitt’s notion of quasi-memory challenges this belief. According to Parfit, q-memories provide us with knowledge of past experiences in the same way that memory does, without presupposing that the rememberer and the experiencer are the same person. Various aspects of Parfit’s theory have met with criticism from scholars such as D. Wiggins, J. McDowell, M. Schechtman, and others. In this paper, I (...) will focus primarily on the holistic argument that q-memories cannot be squared with the complex nature of mental life. This is a well-known argument and, when understood as criticism of memory-trace copying, is accepted by some q-memory proponents. In this paper, I will try to show why it is impossible to defend quasi-memory, even when wholesale psychological continuity applies, and why post-fission persons are not genuine cases of q-memories. (shrink)

The paper gives an analysis of the conception of rationality of two influential representatives of the 20th century theory of urbanism, and their philosophical grounds. It also outlines the problem of modern rationality, questions its character and points out, that for the time being the transition to a new way of thinking is problematic.

Diese spannende sinologisch-philosophische Arbeit liefert ein möglichst umfassendes Bild der Philosophie des Bambus-Wenzi (das in der Hanshu-Bibliographie auf einen Schüler des Laozi zurückgeführt wird), sowie Antworten auf interessante Fragen nach der Identität seiner Protagonisten, seinem argumentativen Aufbau sowie Zeit und Ort seiner Entstehung.

This study explores the principles of meritocracy and heredity as formulated in the three works of early Daoist philosophy, the Laozi, Zhuangzi and Wenzi. Because Daoist philosophy emerged in critical response to the Confucian worldview, this investigation is placed against the backdrop of pertinent Confucian propositions. To this end, the study begins with a review of Confucian positions on the issue of meritocracy and heredity as expressed in the main transmitted works, as well as newly excavated texts that can be (...) associated with this intellectual tradition. The paper concludes that, while indeed rejecting the Confucian understanding of meritocracy, Daoist texts operated with their own concepts on human excellency. Moreover, the opposition between meritocracy and heredity characteristic of some Confucian works appears less pronounced in early Daoist philosophy. (shrink)

In this article, I argue that the Laozi offers a variety of cosmogenic accounts, including the one expressed by means of the artisan metaphors of “uncarved wood,” “vessels,” and “cutting.” These metaphors and the images related to them often appeared in the given context in ancient Chinese literature depicting the physical emergence of the world as a process of progressive differentiation out of the original state of “chaos.” Thus, this account ultimately served as a cosmic justification for the establishment of (...) distinctions and hierarchy within human society. However, as used in the Laozi, the artisan metaphors promulgate a type of social hierarchy that is characteristically informed by the values of ziran and wuwei. My argumentation goes against the common tendency of Western scholars to regard the notions of craft appearing in the Laozi as relating exclusively to human activities, connoting “artifice,” that is, as detrimental to the “natural” run of the Way. By referring to the most prominent traditional commentaries of the work, I argue that this view was supported only marginally, if at all, in early China and that its emergence appears to be a reaction to and a rejection of the initial Western interpretation of the same terms, one that was heavily influenced by the Christian worldview. (shrink)

In this article, I argue that the Laozi 老子 offers a variety of cosmogenic accounts, including the one expressed by means of the artisan metaphors of “uncarved wood”, “vessels”, and “cutting”. These metaphors and the images related to them often appeared in the given context in ancient Chinese literature depicting the physical emergence of the world as a process of progressive differentiation out of the original state of “chaos.” Thus, this account ultimately served as a cosmic justification for the establishment (...) of distinctions and hierarchy within human society. However, as used in the Laozi, the artisan metaphors promulgate a type of social hierarchy that is characteristically informed by the values of ziran 自然 and wuwei 無為. My argumentation goes against the common tendency of Western scholars to regard the notions of craft appearing in the Laozi as relating exclusively to human activities, connoting “artifice,” that is, as detrimental to the “natural” run of the Way. By referring to the most prominent traditional commentaries of the work, I argue that this view was supported only marginally, if at all, in early China and that its emergence appears to be a reaction to and a rejection of the initial Western interpretation of the same terms, one that was heavily influenced by the Christian worldview. (shrink)

The paper offers a brief outline of the presuppositions and consequences of modern urbanism, as well as of its ontology. The stress is put on the historical transformations of modern rationality and on depicting its efforts in carrying out its project.