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)

It is shown how the temporal-modal system of events TM (axiomatized in Appendix) allows for the avoidance of the logical determinism without the rejection of the principle of bivalence. The point is that the temporal and the modal parts of TM are so inter-related that modalities are in-the-real-world-inherent modalities independently of whether they concern actual or only possible events. Though formulated in a tenseless language, whose interpretation does not require the assumption of tense facts at the basic level of reality, (...) TM implies an objective, observer-independent difference between tenses based only on the way in which modalities are distributed along the time continuum. The conclusion is that the arrow of time is an intra-model characteristic of any model of TM that describes the non-deterministic real world up to a certain point of its history, while the flow of time is an inter-model characteristic of the continuous transition between these models. (shrink)

In sixteenth century the great plague ravaged the city of Bordeaux, with the death toll of fourteen thousand. Michel de Montaigne witnessed many deaths and upsetting scenes. In this paper, I shall investigate how his experiences during epidemic affected his thoughts on death in the Essais.

Humeanism about laws has been famously accused of the explanatory circularity by David Armstrong and Tim Maudlin, since the Humean laws hold in virtue of their instances and, at the same time, scientifically explain those very instances. Barry Loewer argued that the circularity challenge rests on an equivocation: in his view, once the metaphysical explanation is properly distinguished from the scientific explanation, the circularity vanishes. However, Marc Lange restored the circularity by appealing to his transitivity principle, which connects the two (...) types of explanation. Lange’s transitivity principle has been widely discussed and criticised in the literature. In view of counterexamples, Lange refi ned both the principle, by taking into account the contrastive nature of explanation, and the requirement of prohibition on self-explanation. Recently, Michael Hicks has developed a new strategy for defending Humeanism about laws from the refined circularity challenge, critically appealing to the contrastive nature of both explanations and meta-explanations. We will argue that his strategy fails. (shrink)

In his latest book Aboutness, Stephen Yablo has proposed a new ‘easy road’ nominalist strategy: instead of engaging in the hard work of paraphrasing a scientific theory which presupposes numbers in a nominalistically acceptable way, nominalists are, according to Yablo, entitled to accept the theory as true, while rejecting the existence of numbers, if from the theory’s content the presupposition that there are numbers can be subtracted away, yielding thus a number-free content remainder. Perfect extricability, i.e. extricability in every possible (...) world, of the presupposition that there are numbers from any content apparently involving them is, in Yablo’s view, sufficient to make the existence of numbers moot. In this paper I will argue that perfect extricability fails as a criterion of ontological mootness. (shrink)

In his latest book Aboutness, Stephen Yablo has proposed a new ‘easy road’ nominalist strategy: instead of engaging in the hard work of paraphrasing a scientific theory which presupposes numbers in a nominalistically acceptable way, nominalists are, according to Yablo, entitled to accept the theory as true, while rejecting the existence of numbers, if from the theory’s content the presupposition that there are numbers can be subtracted away, yielding thus a number-free content remainder. Perfect extricability, i.e. extricability in every possible (...) world, of the presupposition that there are numbers from any content apparently involving them is, in Yablo’s view, sufficient to make the existence of numbers moot. In this paper I will argue that perfect extricability fails as a criterion of ontological mootness. (shrink)

Review of Tuomas E. Tahko, An Introduction to Metametaphysics, 258 pp.

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)

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)

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.

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)

This paper explores relationships between environment and education after the Covid-19 pandemic through the lens of philosophy of education in a new key developed by Michael Peters and the Philosophy of Education Society of Australasia. The paper is collectively written by 15 authors who responded to the question: Who remembers Greta Thunberg? Their answers are classified into four main themes and corresponding sections. The first section, ‘As we bake the earth, let's try and bake it from scratch’, gathers wider philosophical (...) considerations about the intersection between environment, education, and the pandemic. The second section, ‘Bump in the road or a catalyst for structural change?’, looks more closely into issues pertaining to education. The third section, ‘If you choose to fail us, we will never forgive you’, focuses to Greta Thunberg’s messages and their responses. The last section, ‘Towards a new normal’, explores future scenarios and develops recommendations for critical emancipatory action. The concluding part brings these insights together, showing that resulting synergy between the answers offers much more then the sum of articles’ parts. With its ethos of collectivity, interconnectedness, and solidarity, philosophy of education in a new key is a crucial tool for development of post-pandemic education. (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)

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)

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

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

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)

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)

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)

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.

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.

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)

Critical pedagogy is in crisis. To address this crisis, this paper reinvents Paulo Freire’s concept of utopia in and for our age of the Anthropocene. Understood as a system, postdigital critical ut...