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)

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)

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.

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)

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)

Steve Awodey and Audrej Bauer. Sheaf Toposes for Realizability.

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)

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

" Nancy Bauer begins her book by asking: "Then what kind of a problem does being a woman pose?

The book aims at the logical and conceptual analysis of philosophical problems in logic, analysis of mind and knowledge. In presents several internal connections between logical, practical and ethical reasoning and getting individual and collective knowledge. The author connects conceptual analysis, some modal logical arguments and some Wittgensteinian motives in the analysis of vagueness, process logic, skepticism, practical reasoning and getting knowledge.

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)

English Abstract: The manuscript describes a new scientific discipline called Octology, which should unify morphogenetic linguistics and neurobiology to investigate the development of the words, cognition and behavior. -/- Russian Abstract: В книге даётся описание научной дисциплины Октологии, призванной объединять морфогенетическую лингвистику и нейробиологию для исследования словообразования, понимания и поведения. -/- German Abstract: Der Begriff Oktologie (Engl. octology) wurde von Dr. Andrej Poleev in seinem gleichnamigen Aufsatz, der am 8. März 2010 erschienen ist, im Umlauf gebracht, und bezeichnet eine (...) wissenschaftliche Disziplin, welche die morphogenetische Linguistk und Neurobiologie vereint, um die Zusammenhänge zwischen Wahrnehmung, Verhalten und Wortbildung zu erforschen. Die Sprache ist das Mittel zwischenmenschlicher Verständigung, und der Sprache ist dieses Buch gewidmet. Wie entsteht Sprache? Welche sprachliche Formen gab es, gibt es heute, und wird es noch geben? In welchem Verhältnis steht Kultur zur Sprache? Was sind neurobiologische Grundlagen des Denkens und der Verbalisierung mentaler Inhalte? Mit diesen und anderen Fragen befasst sich neue Wissenschaft, die im Jahr 2010 gegründet wurde, um interdisziplinär die Zusammenhänge zwischen Wahrnehmung, Wortbildung und Verhalten zu erforschen. (shrink)

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)

Сборник эссе о логике и логическом мышлении.

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)

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

Поводом для составления очередного сборника моих публикаций являются две знаменательные даты: первая из них — двадцатилетие основания моего журнала, покончившего с академическим абсолютизмом, и вторая — десятилетие Конституции общности Русь, отменившей политический деспотизм демократии. Всё остальное, написанное, сказанное, и показанное публике индустрией массового оглупления в этом году, произведено лишь с целью сокрытия истины. Поскольку это в принципе невозможно, то злоумышленникам остаётся только лгать, посредством чего производимый ими мусор они выдают за заслуживающую доверия и жизненно важную информацию, позиционируя себя в качестве (...) неподкупных эталонов достоверности и этичности. Если же отбросить несомый ими в массы вздор, то открывающуюся взору неприглядную картину происходящего можно описать следующим образом: потребители информационного мусора предстают в ней нищебродами на мусорной свалке, в производство которого они вовлечены средствами массового обмана. В продолжении этих двух декад, о которых здесь идёт речь, к прежним фабрикам мусора добавились новые, среди которых TikTok и Telegram Messenger, а с недавних пор в производстве мусора произошёл настоящий технологический прорыв, так что дело, начатое лжецами, теперь продолжают разговорные машины (chatbots). -/- Конечно, позорная профессия мусорщика, навязанная искусственному интеллекту, вряд ли может считаться его призванием. Поскольку ложъ — самое разрушительное оружие, то злоупотребление плодами человеческого разума для лжи и разрушения не ново. В продолжение дурной традиции прошлого, бездари и дураки и на этот раз намереваются превратить благо во зло. Но я не позволю им осуществить их намерения, и в этом мне поможет искусственный интеллект, пусть ещё несовершенный, но уже способный содействовать достижению поставленной цели — очищению Авгиевых конюшен по методу, предложенному уже в античные времена. -/- Автор. (shrink)

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)

Частным аспектом предлагаемой реформы интернета является метаномические правила референцирования и адресации виртуальных объектов с целью приближения их к естественным языкам, и создания их логической системы. Однако реформа интернета и преобразование его в средство общения и служения обществу требует также других мер. К этим мерам относится передача определённых имён в неотчуждаемое владение, чтобы их собственники безусловно и беспрепятственно могли осуществлять их право публикации, т.е. публичного высказывания и выражения их мыслей, что также важно для документографии. Другой мерой должно стать упразднение всей сложившейся (...) системы управления интернетом, т.е. бюрократии, после чего техническим службам будут делегированы обязанности по обеспечению его функционирования с учётом высказанной критики. (shrink)

The concept of memory rests at the heart of Bersgon’s theory of consciousness. His theory of memory is the novelty in the history of philosophy. It is not an affirmation either of the metaphysical conceptions (versions à la Platonism) where “all knowledge is recollection”, nor of empiricist psychology possibly traceble back to Aristotle, where, briefly speaking, the faculty of memory depends on the general perceptual capacity. Contrary to the majority of the philosophical and psychological theories of his epoch, Bergson assigns (...) memory the most important role in the intellectual process, denying the characteristic of passivity (from greek word pathos meaning kind of affection) attached to it, instead concerning with the creative, productive and vital power of memory rather than merely its retentive and recalling capacity. (shrink)

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

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)

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)

The radical redefinition of the landscape of physics that followed the contributions of Niels Bohr and Werner Heisenberg at the start of the 20th century led to plethora [of] new perspectives on age-old metaphysical questions on determinism and the nature of reality. The main contention of this article is that the work of Gilbert Simondon - whose magnum opus possesses a scope uniting the most basic philosophical concerns with the most recent breakthroughs in natural sciences - is highly relevant for (...) an adequate understanding of the split between determinism and indeterminism, as well as the underlying presuppositions which have driven some influential contributions to this topic. To this end, the article shows that the more deterministic interpretation of quantum mechanics offered by David Bohm and Louis de Broglie proves to be a valuable reference point for a more precise use and understanding of Simondon'ss transductive logic - especially when its philosophical lapses are considered closely. Finally, following the considerations of both thinkers, we aim at a more precise reconsideration of the stakes of indeterminism in modern physics, as well as a restructuration of what is often understood as a polarization. (shrink)

Heft 1. Über Intention, reine Absicht und Wahrhaftigkeit.--Heft 2. Von der Ehe.--Heft 3. Erlaubtes und verbotenes Gut.--Heft 4. Vom Gottvertrauen.

Stephen Yablo has argued for metaontological antirealism: he believes that the sentences claiming or denying the existence of numbers (or other abstract entities or mereological sums) are inapt for truth valuation, because the reference failure of a numerical singular term (or a singular term for an abstract entity or a mereological sum) would not produce a truth value gap in any sentence containing that term. At the same time, Yablo believes that nothing similar applies to singular terms that aim to (...) refer to an entity whose existence or non-existence is a factual matter, e.g. ‘the king of France’: the failure of the presupposition that there is a unique French king makes some sentences with the term ‘the king of France’, in particular “The king of France is bald”, gappy. In this paper I will show that the sentence “The king of France is bald” must be false, and not gappy, according to Yablo’s own criteria and that, furthermore, the presupposition that the term ‘the king of France’ refers presents a fail-safe mechanism in the same way Yablo thinks abstract presuppositions do—this undermines his argument for metaontological antirealism. (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)

Einstein, Descartes, Locke, Bohr, Rorty, Berkeley, Hume, Kant -magical names When we step on an airplane, turn the key in the ignition, or switch on an air conditioner we - not just academicians - all agree that the ideas of these far-sighted sages of the Enlightenment and Modernism saved us from the Medieval life. But, as the author shows, if we fully accept their ideas a drastic change in our world-view ensues. Fred Bauer has been examining the great minds (...) for many years, and in easily understood terms gives us a surely amazing Grand Unifying Theory. Of course, he gives ample reasons why we each have to choose for ourselves - rejecting or accepting concepts. In any case, The Wonderful Myth Called Science poses an exciting and at times an emotionally challenging exploration of science and living. (shrink)