The paper is a contribution to the debate on the epistemological status of thought experiments. I deal with the epistemological uniqueness of experiments in the sense of their irreducibility to other sources of justification. In particular, I criticize an influential argument for the irreducibility of thought experiments to general arguments. First, I introduce the radical empiricist theory of eliminativism, which considers thought experiments to be rhetorically modified arguments, uninteresting from the epistemological point of view. Second, I present objections to the (...) theory, focusing on the critique of eliminativism by Tamar Szabó Gendler based on the reconstruction of famous Galileo's Pisa experiment. I show that her reconstruction is simplistic and that more elaborate reconstruction is needed for an appropriate assessment of the epistemic power of general argument. I propose such a reconstruction and demonstrate that general version of Pisa experiment is epistemically equal to the particular one. Thus, from an epistemological perspective, Galileo's thought experiment is reducible to a straightforward argument without particular premises. (shrink)

Multi-agent systems where the agents are developed by parties with competing interests, and where there is no access to an agent’s internal state, are often classified as ‘open’. The members of such systems may inadvertently fail to, or even deliberately choose not to, conform to the system specification. Consequently, it is necessary to specify the normative relations that may exist between the members, such as permission, obligation, and institutional power. We present a framework being developed for executable specification of open (...) multi-agent systems. We adopt a bird’s eye view of these systems, as opposed to an agent’s perspective whereby it reasons about how it should act. This paper is devoted to the presentation of various examples from the NetBill protocol formalised in terms of institutional power, permission and obligation. We express the system specification in the Event Calculus and execute the specification by means of a logic programming implementation. We also give several example formalisations of sanctions for dealing with violations of permissions and obligations. We distinguish between an open multi-agent system and the procedure by which an agent enters and leaves the system. We present examples from the specification of a role-management protocol for NetBill, and demonstrate the interplay between such a protocol and the corresponding multi-agent system. (shrink)

In this article I consider how the problem of social (intersubjective) cognition relates to time-consciousness. In the first part, I briefly introduce Husserl’s account of intersubjective cognition. I discuss the concept of empathy (Einfühlung) and its relation with time-consciousness. I argue that empathy is based on pre-reflective awareness of the other’s harmony of behaviour. In the second part, I distinguish pre-reflective (passive) and reflective (active) empathy and consider recent empirical research in the field of social cognition. I argue that these (...) levels of empathy are related with different levels of intersubjective temporality. By the intersubjective temporality I do not understand being in the same moment of objective time (so called clock time) but rather the shared experience of time and sharing temporal structure of actions. In the final part, I gather my considerations together and propose a general three-level framework of intersubjective temporality. (shrink)

Works by Henryk Sienkiewicz, a Polish writer and the winner of the 1905 Nobel Prize for Literature, were subjected to verification by the DDR’s censorship apparatus several times. Censors considered his novellas which discussed 19th-century social issues as desirable and worth promoting among East German readers. His novel Krzyżacy, which was set in the Middle Ages, was accepted eagerly both by publishing houses and the censorship office as it enabled national socialism in Germany to be viewed in critical terms, as (...) the DDR distanced itself from the system. Reviewers did, however, find a major ideological threat for young readers in East Germany in a young adult novel entitled W pustyni i w puszczy, and for that reason it was withdrawn from the publishing procedure. (shrink)

The author reflects on the moral attitudes displayed by Poles fighting in the Warsaw Uprising. He believes that the sacrifice and selflessness with which Varsovians battled for their city had its roots in the general mentality of the Poles, who for generations had been raised in the spirit of “mutual and willing endowment”. He also notes that the noble ideals of the wartime generations have today been largely replaced by mercenary selfishness.

Childhoods in contemporary Kenya are entangled with discourses of care in a post-colonial landscape. Such imaginaries of childhoods through discourses of ‘care’ and ‘charity’ are well established through Western lenses. Another lens that is often enacted is the lens of de-commercialised, un-spoilt, pure and innocent childhoods in the Kenyan landscape. In this study, the authors utilize Nel Nodding’s concept of an ethics of care, and a feminist lens, to explore this binary of Western views through real experiences of childhoods. This (...) paper provides an analysis of childhoods as lived experiences in Kenya, and challenges constructions of children/childhoods as vulnerable, based upon observations and interviews conducted in Kenya in the remote area of Kwale County. (shrink)

Consistent application of dialectical materialism leads Marxism-Leninism to the assertion that matter is infinite in its properties. However, the history of physics shows that the various levels of matter possess geometric dimensions that originate at the lowest level and continue through the others. The search for absolute natural constants -- which Planck called the most pleasant task of physics -- shows the conviction of the physicists that there is a limit to the parameters, a limit beyond which matter is no (...) longer divisible. (shrink)

The paper deals with several problems concerning with notion of truth. The author is interested in logical aspects of the definition of truth given by Ajdukiewicz and Kotarbinski. He introduces the multimodal logical calculus with propositional quantifier and applies it to analysis of some formulations of the definition. The analysis is focused on two main formulations of the definition, namely on absolute and partial formulation. It is shown that the notion of truth specified by absolute formulation is unconstructive i.e. it (...) is possible to state that some utterance is true without stating any sentence which express the propositional content of the utterance. On the other hand after the partial formulation the notion of truth seems to have some counterintuitive features, for example the falsehood is no longer the same as the lack of truth. Moreover only the absolute approach leads to difficulties connected with the Liar Paradox. (shrink)

The article deals with philosophical issues concerning abstraction and concreteness, focusing on selected ontological and logical-ontological threads of this dif ficult and intricate problem. Thus, it will concern first of all abstract and concrete objects, and only then abstract representations and judgments and concrete representations and judgments. The subject of interest will also be the process of abstraction and the relations that take place between abstract objects such as features or relations, pure qualities, and ideal objects.

Gelfond and Lifschitz proposed the notion of a stable model of a logic program. We establish that the set of all stable models in a Herbrand universe of a recursive logic program is, up to recursive renaming, the set of all infinite paths of a recursive, countably branching tree, and conversely. As a consequence, the problem, given a recursive logic program, of determining whether it has at least one stable model, is Σ11-complete. Due to the equivalences established in the authors' (...) previous nonmonotone rule systems papers ), this applies equally to truth maintenance systems and default logics. (shrink)

Artykuł podejmuje polemikę z obiegowym rozumieniem tolerancji. Autor podkreśla znaczenie podziału na tolerancję jako postawę i na dyskursy o tolerancji. Następnie, w nawiązaniu i częściowo w dyskusji z koncepcją tolerancji zaproponowaną przez Iję Lazari Pawłowską, przedstawione jest rozróżnienie trzech odmian tolerancji, a także rozróżnienie odpowiednich trzech odmian nietolerancji. Rozważane są również niektóre paradoksy związane z tolerancją oraz ze zwalczaniem nietolerancji.

The article reviews the book Value and Virtue in a Godless Universe, by Erik J. Wielenberg.

Newtonian physics is based on Newtonian calculus applied to Newtonian dynamics. New paradigms such as ‘modified Newtonian dynamics’ change the dynamics, but do not alter the calculus. However, calculus is dependent on arithmetic, that is the ways we add and multiply numbers. For example, in special relativity we add and subtract velocities by means of addition β1⊕β2=tanh+tanh-1)\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$\beta _1\oplus \beta _2=\tanh \big +\tanh ^{-1}\big )$$\end{document}, although multiplication β1⊙β2=tanh·tanh-1)\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} (...) \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$\beta _1\odot \beta _2=\tanh \big \cdot \tanh ^{-1}\big )$$\end{document}, and division β1⊘β2=tanh/tanh-1)\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$\beta _1\oslash \beta _2=\tanh \big /\tanh ^{-1}\big )$$\end{document} do not seem to appear in the literature. The map fX=tanh-1\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$f_{\mathbb{X}}=\tanh ^{-1}$$\end{document} defines an isomorphism of the arithmetic in X=\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$${\mathbb{X}}=$$\end{document} with the standard one in R\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$${\mathbb{R}}$$\end{document}. The new arithmetic is projective and non-Diophantine in the sense of Burgin, 1977), while ultrarelativistic velocities are super-large in the sense of Kolmogorov, 1961). Velocity of light plays a role of non-Diophantine infinity. The new arithmetic allows us to define the corresponding derivative and integral, and thus a new calculus which is non-Newtonian in the sense of Grossman and Katz. Treating the above example as a paradigm, we ask what can be said about the set X\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$${\mathbb{X}}$$\end{document} of ‘real numbers’, and the isomorphism fX:X→R\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$f_{{\mathbb{X}}}:{\mathbb{X}}\rightarrow {\mathbb{R}}$$\end{document}, if we assume the standard form of Newtonian mechanics and general relativity but demand agreement with astrophysical observations. It turns out that the observable accelerated expansion of the Universe can be reconstructed with zero cosmological constant if fX≈0.8sinh/\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$f_{\mathbb{X}}\approx 0.8\sinh /$$\end{document}. The resulting non-Newtonian model is exactly equivalent to the standard Newtonian one with ΩΛ=0.7\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$\Omega _\Lambda =0.7$$\end{document}, ΩM=0.3\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$\Omega _M=0.3$$\end{document}. Asymptotically flat rotation curves are obtained if ‘zero’, the neutral element 0X\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$0_{{\mathbb{X}}}$$\end{document} of addition, is nonzero from the point of view of the standard arithmetic of R\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$${\mathbb{R}}$$\end{document}. This implies fX-1=0X>0\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$f^{-1}_{{\mathbb{X}}}=0_{{\mathbb{X}}}>0$$\end{document}. The opposition Diophantine versus non-Diophantine, or Newtonian versus non-Newtonian, is an arithmetic analogue of Euclidean versus non-Euclidean in geometry. We do not yet know if the proposed generalization ultimately removes any need of dark matter, but it will certainly change estimates of its parameters. Physics of the dark universe seems to be both geometry and arithmetic. (shrink)

Kuala Lumpur is a diverse city representing many different religions and nationalities. Recent government policy has actively promoted unity and cohesion throughout the city; and the country of Malaysia, with the implementation of a programme called 1Malaysia. In this book, the authors investigate the aims of this programme – predominantly to unify the Malaysian society – and how these objectives resonate in the daily spatial practices of the city’s residents. -/- This book argues that elements of urban infrastructure could work (...) as an essential mediator ‘beyond community’, allowing inclusive social structures to be built, despite cultural and religious tensions existing within the city. It builds on the premise of an empirical study which explores the ways in which different communities use the same spaces, supported through the implementation of a theoretical framework which looks at both Western and Islamic conceptualisations of the notion of community. Through the analysis of Kuala Lumpur, this book contributes towards the creation of more inclusive places in multi-ethnic, multi-cultural and multi-religious communities across the world. (shrink)

Can we see the expressiveness of other people's gestures, hear the intentions in their voice, see the emotions in their posture? Traditional theories of social cognition still say we cannot because intentions and emotions for them are hidden away inside and we do not have direct access to them. Enactive theories still have no idea because they have so far mainly focused on perception of our physical world. We surmise, however, that the latter hold promise since, in trying to understand (...) cognition, enactive theory focuses on the embodied engagements of a cognizer with his world. In this paper, we attempt an answer for the question What is social perception in an enactive account? In enaction, perception is conceived as a skill, crucially involving action, an ability to work successfully within the set of regularities, or contingencies that characterize a given domain. If this is the case, then social perception should be a social skill. Having thus transformed the question of what social perception is into that of what social skill is, we examine the concept of social contingencies and the manner in which social skills structure—both constrain and empower— social interaction. Some of the implications of our account for how social and physical perception differ, the role of embodiment in social interaction and the distinction between our approach and other social contingency theories are also addressed. (shrink)

The paper introduces a concept of logic applied to a formalization of the so-called inferences preserving degrees of truth. Semantical and syntactical characterizations of three kinds of logics preserving degrees of truth are provided. The other approach than in [3] and [9] to the problem of expressing that a sentence is less true than a sentence is presented.