This book highlights some of the most pressing safety, ethical, legal and societal issues related to the diverse contexts in which robotic technologies apply. Focusing on the essential concept of well-being, it addresses topics that are fundamental not only for research, but also for industry and end-users, discussing the challenges in a wide variety of applications, including domestic robots, autonomous manufacturing, personal care robots and drones.

: El estudio de la percepción y significación de la variable tiempo por parte del profesorado ha sido un aporte en la comprensión de diversos fenómenos educativos. El objetivo de esta investigación cualitativa fue describir e interpretar las teorías subjetivas de docentes sobre el tiempo de enseñanza priorizada en el contexto de pandemia. Se realizaron entrevistas episódicas grupales a 11 profesores de establecimientos escolares de la Región de Coquimbo (Chile). Los datos fueron analizados utilizando procedimientos de la teoría fundamentada, lo (...) que permitió elaborar dos modelos axiales sobre el tiempo de enseñanza priorizada. Los resultados reconstruyeron diversas implicancias de la experiencia profesional en la percepción del tiempo psicológico del profesorado cuando éste gestiona la enseñanza priorizada. Asimismo, las teorías subjetivas de profesores(as) pertenecientes a los diversos grupos socioeconómicos estudiados, variaron en sus explicaciones sobre sus elecciones pedagógicas previo y durante el tiempo de clases remotas virtuales. Se concluyó que una mayor experiencia profesional y la orientación. (shrink)

People are remarkably smart: They use language, possess complex motor skills, make nontrivial inferences, develop and use scientific theories, make laws, and adapt to complex dynamic environments. Much of this knowledge requires concepts and this study focuses on how people acquire concepts. It is argued that conceptual development progresses from simple perceptual grouping to highly abstract scientific concepts. This proposal of conceptual development has four parts. First, it is argued that categories in the world have different structure. Second, there might (...) be different learning systems that evolved to learn categories of differing structures. Third, these systems exhibit differential maturational course, which affects how categories of different structures are learned in the course of development. And finally, an interaction of these components may result in the developmental transition from perceptual groupings to more abstract concepts. This study reviews a large body of empirical evidence supporting this proposal. (shrink)

We examine some of Connes’ criticisms of Robinson’s infinitesimals starting in 1995. Connes sought to exploit the Solovay model S as ammunition against non-standard analysis, but the model tends to boomerang, undercutting Connes’ own earlier work in functional analysis. Connes described the hyperreals as both a “virtual theory” and a “chimera”, yet acknowledged that his argument relies on the transfer principle. We analyze Connes’ “dart-throwing” thought experiment, but reach an opposite conclusion. In S , all definable sets of reals are (...) Lebesgue measurable, suggesting that Connes views a theory as being “virtual” if it is not definable in a suitable model of ZFC. If so, Connes’ claim that a theory of the hyperreals is “virtual” is refuted by the existence of a definable model of the hyperreal field due to Kanovei and Shelah. Free ultrafilters aren’t definable, yet Connes exploited such ultrafilters both in his own earlier work on the classification of factors in the 1970s and 80s, and in Noncommutative Geometry, raising the question whether the latter may not be vulnerable to Connes’ criticism of virtuality. We analyze the philosophical underpinnings of Connes’ argument based on Gödel’s incompleteness theorem, and detect an apparent circularity in Connes’ logic. We document the reliance on non-constructive foundational material, and specifically on the Dixmier trace −∫ (featured on the front cover of Connes’ magnum opus) and the Hahn–Banach theorem, in Connes’ own framework. We also note an inaccuracy in Machover’s critique of infinitesimal-based pedagogy. (shrink)

Physical theories are complex and necessary tools for gaining new knowledge about their areas of application. A distinction is made between abstract and practical theories. The last are constantly being improved in the cognitive activity of professional physicists and studied by future physicists. A variant of the philosophy of physics based on a modified structural-nominative reconstruction of practical theories is proposed. Readers should decide whether this option is useful for their understanding of the philosophy of physics, as well as other (...) philosophies of particular sciences. (shrink)

The parameter-free part $$\textbf{PA}_2^*$$ of $$\textbf{PA}_2$$, second order Peano arithmetic, is considered. We make use of a product/iterated Sacks forcing to define an $$\omega $$ -model of $$\textbf{PA}_2^*+ \textbf{CA}(\Sigma ^1_2)$$, in which an example of the full Comprehension schema $$\textbf{CA}$$ fails. Using Cohen’s forcing, we also define an $$\omega $$ -model of $$\textbf{PA}_2^*$$, in which not every set has its complement, and hence the full $$\textbf{CA}$$ fails in a rather elementary way.

We prove that if I is a partially ordered set in a countable transitive model M of ZFC then M can be extended by a generic sequence of reals a i , i ∈ I, such that ℵ M 1 is preserved and every a i is Sacks generic over $\mathfrak{M}[\langle \mathbf{a}_j: j . The structure of the degrees of M-constructibility of reals in the extension is investigated. As applications of the methods involved, we define a cardinal invariant to distinguish (...) product and iterated Sacks extensions, and give a short proof of a theorem (by Budinas) that in ω 2 -iterated Sacks extension of L the Burgess selection principle for analytic equivalence relations holds. (shrink)

We find an explicit basis for all admissible rules of the modal logic S4. Our basis consists of an infinite sequence of rules which have compact and simple, readable form and depend on increasing set of variables. This gives a basis for all quasi-identities valid in the free modal algebra ℱS4 of countable rank.

In this paper, I argue (1) that the contents of some delusions are believed with sufficient confidence; (2) that a delusional subject could have a conscious belief in the content of his delusion (p), and concurrently judge a contradictory content (not-p) – his delusion could be transparent, and (3) that the existence of even one such case reveals a problem with pretty much all existing accounts of lying, since it suggests that one can lie by asserting what one consciously and (...) confidently believes is true, and (4) sincerity, since it suggests that asserting a proposition you believe is true is neither sufficient nor necessary for sincerity. If I am right about (1) and (2), then (3) and (4) follow easily. Therefore, the paper is mainly devoted to an analysis of transparent delusion and defending (1) and (2). (shrink)

The Lazy Argument, as it is preserved in historical testimonies, is not logically conclusive. In this form, it appears to have been proposed in favor of part-time fatalism (including past time fatalism). The argument assumes that free will assumption is unacceptable from the standpoint of the logical fatalist but plausible for some of the nonuniversal or part-time fatalists. There are indications that the layout of argument is not genuine, but taken over from a Megarian source and later transformed. The genuine (...) form of the argument seems to be given in different form and far closer to Megarian logical fatalism and its purpose is not to defend laziness. If the historical argument has to lead to a logically satisfactory solution, some additional assumptions and additional tuning is needed. (shrink)

In this article we show how the universe of BST, bounded set theory can be enlarged by definable subclasses of sets so that Separation and Replacement are true in the enlargement for all formulas, including those in which the standardness predicate may occur. Thus BST is strong enough to incorporate external sets in the internal universe in a way sufficient to develop topics in nonstandard analysis inaccessible in the framework of a purely internal approach, such as Loeb measures.

This paper offers a brief analysis of the unification problem in modal transitive logics related to the logic S4 : S4 itself, K4, Grz and Gödel-Löb provability logic GL . As a result, new, but not the first, algorithms for the construction of ‘best’ unifiers in these logics are being proposed. The proposed algorithms are based on our earlier approach to solve in an algorithmic way the admissibility problem of inference rules for S4 and Grz . The first algorithms for (...) the construction of ‘best’ unifiers in the above mentioned logics have been given by S. Ghilardi in [ 16 ]. Both the algorithms in [ 16 ] and ours are not much computationally efficient. They have, however, an obvious significant theoretical value a portion of which seems to be the fact that they stem from two different methodological approaches. (shrink)

The paper deals with the possible readings of The Reaper Argument premisses. Some conjectures related to the Stoics’ alleged proof of the argument are discussed.

Categorical-theoretic semantics for the relevance logic is proposed which is based on the construction of the topos of functors from a relevant algebra (considered as a preorder category endowed with the special endofunctors) in the category of sets Set. The completeness of the relevant system R of entailment is proved in respect to the semantic considered.

The book by Max Tegmark draws attention to the dangers and benefits that await humanity as a result of the Artificial Intelligence (AI) technologies development. Cosmologist and astrophysicist Tegmark, realizing the impossibility to predict the AI development, offers exciting scenarios of civilization development options for tens, thousands, millions and billions of years. The analysis of the opposite scenarios is aimed at the idea formation that the consequences of creating a general AI, superior to the human level, will be more significant (...) than from all other achievements of civilization. Tegmark is one of the founders and leaders of the “Beneficial AGI” movement, he presents the results of the discussion of the issues he raises with leading experts in the field of AI. Tegmark concludes his book with a call to optimism: “My book urge you to think about what future you would like, and not what future scares you, this way we can find goals for which it’s worth working”. (shrink)

Comparative philosophical studies can seek to fit some Eastern patterns of thought into the general philosophical framework, or, on the contrary, to improve understanding of Western ones through the view "from abroad". I try to hit both marks by means of establishing, firstly, the parallels between Indian versions of theodicy and the Hellenic and Christian ones, then by defining to which of five types of Western theodicy the Advaita-Vedanta and Nyaya versions belong and, thirdly, by considering the meaning of the (...) fact that some varieties of Western theodicy, like the explanation of evil by free will and divine dispensation aiming at the improvement of man, have Indian counterparts while others lack them. Some considerations concerning the remainders of primordial monotheisms ("an argument from theodicy") under the thick layers of other religious world-outlooks are also offered to the reader at the end of the article. (shrink)

An application of diagrams for separating modes of theory development.

This article aims to show that it is impossible to put Cicero’s testimonies regarding The Fabius Argument in a consistent inferential order. Either we must suppose that additional premises are tacitly assumed in the text or we must com-pare it with other sources, which leads to inconsistencies in the proof’s reconstruction. Cicero’s reconstruction of the progression of the argument has formal shortcomings, and the paper draws attention to some of these deficiencies. He interpreted sources in a revised and intentionally simplified (...) way, with the aim of undermining the views of his opponents, casting them as inconsistent and similar to views held by Diodorus. Rather than being a consistently interpreted argument faithfully transcribed from the Stoic sources, Cicero’s Fabius Argument is ultimately anti-Stoic. (shrink)

. How, why and what for we should combine logics is perfectly well explained in a number of works concerning this issue. But the interesting question seems to be the nature and the structure of the general universe of possible combinations of logical systems. Adopting the point of view of universal logic in the paper the categorical constructions are introduced which along with the coproducts underlying the fibring of logics describe the inner structure of the category of logical systems. It (...) is shown that categorically the universe of universal logic turns out to be a topos and a paraconsistent complement topos. (shrink)

The study provides an insight into the structural features of the famous VIII century Buddhist treatise Tattvasaṅgrāha by Śāntarakṣita with regard to the text’s main purpose ( prayojana ) as it is treated in Kamalaśīla’s commentary Pañjikā. Any text along with its referential (representational) function of conveying message - meaning to the addressee, or its expressive function, reflecting the author's attitude to what is communicated, also performs the ‘appellative’ function, encouraging the recipient of the message to act. This function which (...) could also be called praxiological was always significant in Indian text culture, since from the times of Veda-s it was embedded in its very core. This function is of paramount importance in the case of Indian religious and philosophical texts, whose main aim is to convince and transform the consciousness of their percipients. Along with linear models of message transfer, Sanskrit texts could demonstrate non-linear semantic structures, transmitting the main idea of the text indirectly. It is exactly how one should perceive the message of Śāntarakṣita’s Tattvasaṅgrāha according to the suggested by Śāntarakṣita’s prominent student Kamalaśīla in his Pañjikā -commentary to the treatise. He proposes to consider Tattvasaṅgrāha not as a thematically heterogeneous encyclopaedic or doxographic work, whose main objective is to refute different non-Buddhist views (as it is often treated by scholars now), but as a text, which by its very design exposes one of the most important Buddhist principles - the law of the dependent origination ( pratītyasamutpāda ). The themes, discussed in a number of the chapters of Tattvasaṅgrāha, indeed, appear to have direct correlation with the characteristics of pratītyasamutpāda given to it in Śālistamba-sūtra - an early Mahāyāna text, which explains this universal law. Kamalaśīla suggests looking at Tattvasaṅgrāha as at one big unit-sentence - mahāvākya, with the exposition of pratītyasamutpāda as its unitary purpose-meaning ( abhidheya ). In this context, the treatise functions as a praxiological tool for the ‘installing’ into the consciousness of the text’s addressee the knowledge of ‘true principles’ (tattva-s) of pratītyasamutpāda. This interpretation of the main message of the text raises also a question of the adequate translation of the name of the treatise into other languages, because, according to Kamalaśīla, ‘ Tattvasaṅgrāha’ means the ‘Assembly of Principles-(tattva’-s)’ which specify precisely pratītyasamutpāda (pratītyasamutpāda-viśeṣaṇāni tattvāni). (shrink)

Mindfulness-based interventions have proved effective in reducing various clinical symptoms and in improving general mental health and well-being. The investigation of the mechanisms of therapeutic change needs methods for assessment of mindfulness. Existing self-report measures have, however, been strongly criticized on various grounds, including distortion of the original concept, response bias, and other. We propose a psychophysiological method for the assessment of the mindfulness learned through time-limited mindfulness-based therapy by people who undergo meditation training for the first time. We use (...) the individual pre-post-therapy changes (dERPi) in the event-related brain potentials (ERPs) recorded in a passive meditation task as a measure of increased mindfulness. dERPi is computed through multivariate assessment of individual participant's ERPs. We tested the proposed method in a group of about 70 recurrently depressed participants, randomly assigned in 1.7:1 ratio to mindfulness-based cognitive therapy (MBCT) or cognitive therapy (CT). The therapy outcome was measured by the long-term change (dDS) relative to baseline in the depression symptoms (DS) assessed weekly, for 60 weeks, by an online self-report questionnaire. We found a strong, highly significant, negative correlation (r = -0.55) between dERPi (mean = 0.4) and dDS (mean = -0.7) in the MBCT group. Compared to this result, the relationship between dDS and the other (self-report) measures of mindfulness we used was substantially weaker and not significant. So was also the relationship between dERPi and dDS in the CT group. The interpretation of dERPi as a measure of increased mindfulness was further supported by positive correlations between dERPi and the other measures of mindfulness. In this study, we also replicated a previous result, namely, the increase (dLCNV) of the late contingent negative variation (LCNV) of the ERP in the MBCT group, but not in the control group (in this case, CT). We interpreted dLCNV as a measure of increased meditative concentration. The relationship between dLCNV and dDS was, however, very week, which suggests that concentration might be relatively unimportant for the therapeutic effect of mindfulness. The proposed psychophysiological method could become an important component of a "mindfulness test battery" together with self-report questionnaires and other newly developed instruments. (shrink)

This paper argues that there is only one proof for God’s existence in Avicenna, and only one way for establishing the proof within his metaphysical system. This metaphysical proof is essentially derived from a priori notions, among which the notion of existence has the central role. Avicenna’s proof is structured in such a way that all its concepts are either derived from the meaning of ‘existence’ or are connected with this meaning. In this sense Avicenna’s proof sets out a scenario (...) of discursive a priori knowledge established purely on considerations of fundamental ontological meanings such as ‘existence’, ‘existent’, ‘thing’, ‘necessary’, ‘possible’, ‘impossible’, ‘one’ and ‘cause’. (shrink)

Článek ukazuje, jaká je role tradiční role logické analýzy v rámci filosofického bádání. Naznačuje rovněž, že současné logické metody začínají otevírat cestu k modelování procesů, které filosofie tradičně zkoumá.

Although the concept of “pure knowledge” is one of the most interesting and singular concepts in the philosophical work of Vasily Seseman, it can only be presented after a comprehensive analysis of the philosopher’s numerous works devoted to ontological, epistemological and logical problems. Seseman believes that the main philosophical trends at the beginning of the twentieth century, namely neo-Kantianism, intuitionism and phenomenology, could not present this concept, although they did try. According to the philosopher, the main reason for the inability (...) of neo-Kantianism, intuitionism and phenomenology to start talking about pure knowledge is their inability to assert the essential difference between objective and non-objective knowledge. Sesemann pays special attention when substantiating his concept of “pure knowledge” to the difference between his approach and that of the founder of modern phenomenology. The philosopher points out that even Husserl, who concentrated attention on the specifics of inner experience, puts this specific, in the end, in dependence on the process of cognition and reflection, completely ignoring its ontological foundations. While pure knowledge, according to Seseman, is neither non-objective, nor objective knowledge, nor non-objective, nor objective being, it, in fact, is non-knowledge and non-being. It is precisely this understanding by the philosopher of this phenomenon that allows him to characterize pure knowledge as premiseless and limitless and, in general, as free from any ontological or epistemological determinations. However, on the other hand, Sesemann insists that the phenomenon of pure knowledge has the meaning of not just a regulatory idea, an infinitely distant ideal, but also a real constitutive meaning, as a principle that reveals and determines the human striving for knowledge as an interconnected and necessary process that ascends from the onto-gnoseological stage of non-objective knowledge to the epistemological, and then the logical stage of objective knowledge. (shrink)

Here Bibler argues that the “beginning” of logic must be understood as a conjunction of the logical and extra-logical. This is in fact the justification of the logic of being, which means the conjo...

In this excerpt from his celebrated book From the Doctrine of Science to the Logic of Culture, Bibler discusses a break in historical continuity due to fundamental changes in the social sphe...

Respecting and protecting the confidentiality of data and the privacy of individuals regarding the information that they have given as participants in a research project is a cornerstone of complying with accepted research standards. However, in longitudinal studies, establishing and maintaining privacy is often challenging because of the necessity of repeated contact with participants. A novel internet-based solution is introduced here, which maintains privacy while at the same time ensures linkage of data to individual participants in a repeated measures design. (...) With the use of the anonymous repeated measurements via email (ARME) procedure, two separate one-way communication systems are established through ad hoc email accounts and a secure study website. Strengths and limitations of the approach are discussed. (shrink)