We study the κ\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$\kappa $$\end{document}-Borel-reducibility of isomorphism relations of complete first order theories in a countable language and show the consistency of the following: For all such theories T and T′\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$T^{\prime }$$\end{document}, if T is classifiable and T′\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$T^{\prime }$$\end{document} is not, then the isomorphism of models of T′\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} (...) \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$T^{\prime }$$\end{document} is strictly above the isomorphism of models of T with respect to κ\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$\kappa $$\end{document}-Borel-reducibility. In fact, we can also ensure that a range of equivalence relations modulo various non-stationary ideals are strictly between those isomorphism relations. The isomorphism relations are considered on models of some fixed uncountable cardinality obeying certain restrictions. (shrink)

Working with uncountable structures of fixed cardinality, we investigate the complexity of certain equivalence relations and show that if, then many of them are ‐complete, in particular the isomorphism relation of dense linear orders. Then we show that it is undecidable in whether or not the isomorphism relation of a certain well behaved theory (stable, NDOP, NOTOP) is ‐complete (it is, if, but can be forced not to be).

Working under large cardinal assumptions such as supercompactness, we study the Borel reducibility between equivalence relations modulo restrictions of the nonstationary ideal on some fixed cardinal κ. We show the consistency of Eλ-clubλ++,λ++, the relation of equivalence modulo the nonstationary ideal restricted to Sλλ++ in the space λ++, being continuously reducible to Eλ+-club2,λ++, the relation of equivalence modulo the nonstationary ideal restricted to Sλ+λ++ in the space 2λ++. Then we show that for κ ineffable Ereg2,κ, the relation of equivalence modulo (...) the nonstationary ideal restricted to regular cardinals in the space 2κ is Σ11-complete. We finish by showing that, for Π21-indescribable κ, the isomorphism relation between dense linear orders of cardinality κ is Σ11-complete. (shrink)

Sequential transformative design of research :224–235, 2015; Groleau et al. in J Mental Health 16:731–741, 2007; Robson and McCartan in Real world research: a resource for users of social research methods in applied settings, Wiley, Chichester, 2016) allows testing a group of theoretical assumptions about the connections of artificial intelligence with culture and education. In the course of research, semiotics ensures the description of self-organizing systems of cultural signs and symbols in terms of artificial intelligence as a special set of (...) algorithms. This approach helps to consider the arguments proposed by Searle :417–457, 1980) against ‘strong’ artificial intelligence. Searle :417–457, 1980) believes that artificial or machine intelligence cannot fully emulate the processes of the human mind. Machine intelligence shows own inevitable weakness. This is non-autonomous tool for computations and data operating. In fact, this tool cannot provide insight into real cognitive conditions. After Lotman and Uspensky, authors expand the meaning of artificial intelligence. The authors identify a cultural type of ‘strong’ artificial intelligence or ‘self-increase of Logos’ in terms by Lotman and Uspensky. The interpretation of human intelligence as imitation of machine intelligence makes possible such immersion of artificial intelligence in culture. The authors reveal a case of self-organizing autonomous generation, encoding, decoding, reception, storage, and transmission of social information in the field of physical training. From the empirical studies it is clear that the organization of collective activities without external control ensures the development of positive emotions and social orientations. Interest in autonomous behavior provides the formation of educational and cognitive motives. As a special set of algorithms, these motives are the most promising and favorable for personal development. (shrink)

Interpretation of Wittgenstein’s statement ‘whereof one cannot speak, thereof one must be silent’ and consequences of rule-following paradox is the topic of this article. The revision of Wittgensteinian approach to the relations between speech and mind, and approaches to the speech by Vygotsky and Austin allow approving the disagreement with Wittgenstein and exhibit the cases when is necessary ‘to break silence and speak’. Argument is based on the hermeneutical approach to the skeptical image of Wittgenstein studies that disclose the meaning (...) of hypothetic relevance between performative utterances and impulses generated by inner speech. Wittgenstein’s ideas are demonstrated as the contemporary version of a Pyrrhonism. Classical skepticism intensifies procedures for justification of philosophical knowledge, because philosophy tries to disprove skeptical claims. Wittgenstein studies play approximately the same role. Interpretation of the proposition ‘whereof one cannot speak, thereof one must be silent’ in a view of performative utterance allow coordinating the inner philosophical speech made by Wittgenstein, and the speech made by his commentators and critics. (shrink)

An online game of chess against a human opponent appears to be indistinguishable from a game against a machine: both happen on the screen. Yet, people prefer to play chess against other people despite the fact that machines surpass people in skill. When the philosophers of 1970’s and 1980’s argued that computers will never surpass us in chess, perhaps their intuitions were rather saying “Computers will never be favored as opponents”? In this paper we analyse through the introduced concepts of (...) psychological affordances and psychological interplay, what are the mechanisms that make a human-human interaction more meaningful than a human-computer interaction. We claim that an HH chess game consists of two intertwined, but independent simultaneous games—only one of which is retained in the HC game. To help with the analysis we introduce the thought experiment of a Preferential Engagement Test which is inspired by, but non-equivalent to, the Standard Turing Test. We also explore how the PET can illuminate, and be illuminated by, various philosophies of mind reading: Theory Theory, Simulation Theory and Mind Minding. We propose that our analysis along with the concept of PET could illuminate in a new way the conditions and challenges a machine must face before it can replace humans in a given occupation. (shrink)

We prove results that falsify Silver’s dichotomy for Borel equivalence relations on the generalized Baire space under the assumptionV=L.

In this important study D. M. Armstrong offers a comprehensive system of analytical metaphysics that synthesises but also develops his thinking over the last twenty years. Armstrong's analysis, which acknowledges the 'logical atomism' of Russell and Wittgenstein, makes facts the fundamental constituents of the world, examining properties, relations, numbers, classes, possibility and necessity, dispositions, causes and laws. All these, it is argued, find their place and can be understood inside a scheme of states of affairs. This is a comprehensive and (...) rigorously this-worldly account of the most general features of reality, argued from a distinctive philosophical perspective, and it will appeal to a wide readership in analytical philosophy. (shrink)

The object of research is to clarify the connections between non-anthropogenic mind and culture as sign systems. Investigation of such an object discloses the perspectives on construction of the generalized model of mind and can help to build the bridge between traditional and digital humanities. The subject of traditional humanities is natural human activity; the subject of digital humanities is computer-based forms of activity and communication. Finding signs created not only by human but also by natural circumstances helps to define (...) the sign system that unites the natural (non-anthropogenic) and artificial kinds of mind. Methodology of research includes the principles of semiotics previously developed by Charles Peirce and Ferdinand de Saussure and expanded by Yuri Lotman and Boris Uspensky. Semiotic interpretation of mind as the object of culture allows the building of a generalized model of mind as one of textual constructions, presenting the history of mankind as the replacement of natural events by secondary models. The author concludes that the revealing of a generalized model of mind opens new opportunities for the construction of the intelligent activity strictly interpreted as special sign systems. Semiotic studies interpret culture as a rationality making machine, and activity of mind is caused by the work of such a machine. Because of that, if traditional meaning sign systems were estimated as human-made kinds of complex of primary signs, then modern statements help to see the absence of an irresistible limit to interpret such complex as a nature-made but non-anthropogenic phenomenon. (shrink)

It is shown that the power set of $\kappa$ ordered by the subset relation modulo various versions of the non-stationary ideal can be embedded into the partial order of Borel equivalence relations on $2^\kappa$ under Borel reducibility. Here $\kappa$ is an uncountable regular cardinal with $\kappa^{<\kappa}=\kappa$.

The paper defends the thesis that Proclus Diadochus’ ideas are still relevant in modern culture. It appears that the ideas of Neoplatonism as a whole and these of Proclus’ in particular matter at least in some aspects of modern culture, such as the foundations of politics, the basic characteristics of philosophy and the fundamental aspects of understanding of the human existence. In the sphere of politics, one can note the ideas useful for creating of the non-totalitarian forms of ideology. In (...) contemporary philosophy the Neoplatonic studies can be interpreted as one of the bases of understanding of rational knowledge. The ideals of material harmony are essential for understanding of the human existence. (shrink)

The article defends the thesis that interpreting Plato’s natural philosophy it is useful to take the terms horatos and aoratos in two distinct meanings: “observable” and “unobservable”, and “visible” and “invisible”. This approach helps to perceive new sides of Plato’s ideas, implicitly present in the “Timaeus”, which allows interpreting it in both anthropomorphic and anti-anthropomorphic senses.

In the article, I discuss the Heideggerian criticism of the Aristotelian concept of time. Heidegger thought that it was Aristotle who is to be blamed for so-called “ordinary” interpretation of time. Later on, Augustine developed this interpretation, while Kant and Hegel brought it to a logical end. The author observes that even if the post-Aristotelian thought and Hegel as its embodiment understood time in many respects naturalistically, we might trace both naturalistic and anti-naturalistic ways of interpretation of time in Aristotle. (...) It appears therefore that Aristotle had also laid the foundations of existential comprehension of time, having influenced thereby the formation of the European rationality in all variety of its forms and manifestations. (shrink)

In the article, we offer a model for actualization of the dialogue between the representatives of dramatic art and philosophy in Ancient Greece, having compared the notion of wisdom in Aristophanes and in Plato. In addition to his literary virtues, Aristophanes can be perceived as a philosopher of education. Extrapolation of these results on the modern situation opens prospective of dialogical ways of interactions between the representatives of different spheres of cultural life. Values on which such representatives are based can (...) differ, but the common idea to guide the analysis remains true regardless of these differences in their viewpoints: our opponents could well proceed from opposite philosophical principles but their position cannot be treated as necessarily mistaken. It demands efforts of all the participants of the dialogue, and ancient thought seems to offer general opportunities for this, which serves as a good example of the enduring value of the ancient ideals in the history of human culture. (shrink)

We start by giving a survey to the theory of $${\text {Borel}}^{*}$$ sets in the generalized Baire space $${\text {Baire}}=\kappa ^{\kappa }$$. In particular we look at the relation of this complexity class to other complexity classes which we denote by $${\text {Borel}}$$, $${\Delta _1^1}$$ and $${\Sigma _1^1}$$ and the connections between $${\text {Borel}}^*$$ sets and the infinitely deep language $$M_{\kappa ^+\kappa }$$. In the end of the paper we will prove the consistency of $${\text {Borel}}^{*}\ne \Sigma ^{1}_{1}$$.

In this article, the epistemological interpretation of the relationship between concepts of relativism, beliefs, and probability ensures a defense of two theses, namely, (i) epistemic relativism refers to attitudes that depend on the repetition and anchoring of probabilistic beliefs, and (ii) Popper’s propensity interpretation of probability discloses the connections between relativity, probability, and collective subjectivity. The propensity interpretation brings a framework for describing the role of collective subjectivity in epistemic systems. This approach, as an acceptable epistemological stance, is related to (...) the variability of anchored collective beliefs. The repetition and anchoring of subjective probabilistic beliefs becomes a relative reference frame for evaluating the elements of knowledge. With this in mind, each particular way of considering probability indicates a manner of distinguishing epistemic systems. In epistemic systems, the statements are collective points of view expressed in the form ‘p is justified when belief in p is probably reliable.’ The statements can be accurate in a particular epistemic system but inaccurate in other systems. As a result, by avoiding the ‘all statements must be true or false’ requirement, each proponent of a certain epistemic system can build a probabilistic picture of the world. In this picture, not every statement needs to be ‘true’ when and if the statement expresses a collective point of view that has a propensity to be reliable and justified. (shrink)

The presented article compares the points of view on time developed in analytical philosophy and in phenomenology actively developed by B. Russell and L. Tengelyi. The objective of the study coincides with the identifying a common horizon for understanding time in analytical philosophy and phenomenology. This help to clarify the possibilities of productive interaction between analytical philosophy and phenomenology. The author of the article believes that a positive answer to this question can be ensured by a special thought experiment. The (...) experiment involves assessing the perception of time in extreme circumstances in terms of phenomenology and analytical philosophy. (shrink)

The main purpose of article is representation of conceptual introduction to a cycle of the future researches devoted to reconstruction of phenomenological views on processes of creation of images of science. That purpose is achieved as a result of detection of key features (the conceptual bases) of pre-phenomenological and phenomenological ways of a reflection of science. Research leans on a method of the comparative analysis. Classical and non-classical variant of creation of images of science were compared. Members of classical philosophy (...) assumed that there is a way to present science in an image of unity of knowledge. Such image could be valid without any exceptions. Since works of Neo-kantianism, modern philosophy has developed the idea that creation of a uniform image of science is problematic. The phenomenology keeps classical idea of unity of images of science, but the unity is interpreted as a complex of «comprehension» intensions of consciousness. Such complex of intensions gives the horizon of judgment of each of images of science in terms of their relations to concrete subject domain. Theoretical value of the work consists in identification of conditions under which phenomenological approach leads to institutionalization of the pluralistic image of science. As a result research leads to the original conclusion that the problem of phenomenology consists in constituting a pluralistic image of science. (shrink)

The article defends the thesis that interpreting Plato’s natural philosophy it is useful to take the terms horatos and aoratos in two distinct meanings: “observable” and “unobservable”, and “visible” and “invisible”. This approach helps to perceive new sides of Plato’s ideas, implicitly present in the “Timaeus”, which allows interpreting it in both anthropomorphic and anti-anthropomorphic senses.

The paper defends the thesis that phenomenological methods can play key role in explications of the transformation reasons of philosophical images of science. It can be made by the comparative analysis among phenomenology and other approaches revealing strong and weaknesses of separate approaches. Such principles of an explication of the transformation reasons of philosophical images of science were allocated: 1) the science is a set of the idealizing consciousness attitudes which allow to build images of the world in borders of (...) regional ontologies (or «particular ways of understanding of reality»);2) idealizing attitudes correspond to the comprehension of intentionality experiences structures; 3) the general transformation reason of images of science is the change of consciousness attitudes. (shrink)

This research examines the ethical dimensions of ethical thought aimed at reflecting fundamentals or leading principles of the production and reproduction of knowledge in science and tertiary education. To achieve research goals, the author of this article evaluates the key assumption that statements in the ethics of science and education are transcendental but do not require a reference to a transcendental or metaphysical subject. The author adheres to the stances by Wittgenstein and Moore and defines ethics in terms of the (...) general inquiry into what is good. The ways of forming ethical statements are compared with the main provisions of Merton’s theory of scientific ethos and its effects on the understanding patterns of the production and reproduction of knowledge. A comparison of general types of ethical inquiry and the theory of scientific ethos helps to present the theory of scientific ethos in terms of middle-range ethical theory. The comparison of transcendental statements in ethics and the points of the theory of scientific ethos is related to the issues of the philosophy of education. The relation is due to the exploring the forms and bases of reproduction of scientific society through tertiary education. The production of knowledge in science generates forms of judgments while education reproduces their ethically acceptable patterns of obtaining and applying. As a result, ethical transcendentalism without reference to a transcendental subject inevitably emphasizes the dialogical design of teaching. This design includes diversification of norms and values in science. Diversity as such ensures collective methods of decision-making and opposes any authoritarianism in education. (shrink)

The paper defends the thesis that Proclus Diadochus' ideas are still relevant in modern culture. It appears that the ideas of Neoplatonism as a whole and these of Proclus' in particular matter at least in some aspects of modern culture, such as the foundations of politics, the basic characteristics of philosophy and the fundamental aspects of understanding of the human existence. In the sphere of politics, one can note the ideas useful for creating of the non-totalitarian forms of ideology. In (...) contemporary philosophy the Neoplatonic studies can be interpreted as one of the bases of understanding of rational knowledge. The ideals of material harmony are essential for understanding of the human existence. (shrink)

The theoretical gap with the action actually performed is one of the fundamental problems of anthropology and the theory of action. To understand it, it is worth turning to the antitheoretical and anti-formalist pathos of the "late" Wittgenstein, which opposes all attempts to describe action and language in terms of rules and abstract structures. A critical analysis of the assumptions of intellectualism borrowed from simple common sense allows us to show that the logical analysis of action and language deals not (...) with a real language, but with an artificially created abstraction. The article attempts to show the positive significance of this criticism. The main conclusion of the study is that a thinker is able to adequately understand action and language if he also makes his own scientific attitude to them the subject of his analysis. Only in this way can we hope to transform Wittgenstein's antitheoretical pathos into the basis of a constructive study of action and language. The tools of scientific analysis are often much more rigorous and logical than its subject. Wittgenstein's analysis of language games and the life form behind them is an attempt to avoid such too strict and too logical methods and constructions in anthropology, philosophy of action and philosophy of language. The novelty of the research lies in the application of Wittgenstein's ideas to clarify the weaknesses and difficulties faced by the humanities in the XX century and today, as well as to find a way out of these difficulties. The relevance of the work is connected with the great interest of modern logicians and philosophers in Wittgenstein's work, with the urgent need to identify new ways of developing philosophical anthropology. (shrink)

The action of social laws cannot be conceived of apart from the active role of the human subject, without the participation of the subjective factor in the historical process. This viewpoint seems to me to be the only correct one. It derives from the premise, postulated by Marxism, that people's social activity must be regarded as a mode of existence of social reality, the embodiment of the social form of movement of matter, and a mode of functioning of social laws (...) themselves. All social reality, considered as a whole, all so-called "humanized nature," preserves and reproduces itself only if it is embodied in living human activity and by means of it. For example, Marx observed that a machine taken out of the productive process ceases to be a productive force of society. He emphatically rejected the notion that the objective embodiments of the historical process could function and develop automatically, independently of people, and pointed out the dependence of their social functions on living human activity. All objective embodiments of the historical process are only intermediate links and aspects of a process in which individuals renew themselves as they renew the world created by them. (shrink)

" -- Africa Today "The excellence of this book lies in the wealth of perspectives that it brings to the discussion on what constitutes philosophy, rationality, ...

Authors philosophical notes on life, conduct of life from the perspective of a life.

Freedom, as a product of the historical development of society, is one of the very greatest social values. It testifies to human control over objective forces of nature and society.

Freedom, as a product of the historical development of society, is one of the very greatest social values. It testifies to human control over objective forces of nature and society.

A comprehensive introduction to the ways in which meaning is conveyed in language. Alan Cruse covers semantic matters, but also deals with topics that are usually considered to fall under pragmatics. A major aim is to highlight the richness and subtlety of meaning phenomena, rather than to expound any particular theory. Rich in examples and exercises, Meaning in Language provides an invaluable descriptive approach to this area of linguistics for undergraduates and postgraduates alike.

This book: * assumes no mathematical background and keeps the technicalities to a minimum * explains the most important applications of probability theory to ...

A record of the words and teachings of Confucius, _The Analects_ is considered the most reliable expression of Confucian thought. However, the original meaning of Confucius's teachings have been filtered and interpreted by the commentaries of Confucianists of later ages, particularly the Neo-Confucianists of the Song dynasty, not altogether without distortion.In this monumental translation by Professor D. C. Lau, an attempt has been made to interpret the sayings as they stand. The corpus of the sayings is taken as an organic (...) whole and the final test of the interpretation rests on the internal consistency it exhibits. In other words, _The Analects_ is read in the light of _The Analects._This results in a truer understanding of Confucius' thought than the traditional interpretation and paves the way for a re-assessment of its importance in the history of Chinese thought and its relevance to the present day world.This volume also contains an introduction to the life and teachings of Confucius, and three appendices on the events in the life of Confucius, on his disciples, and on the composition of _The Analects._. (shrink)

We start by giving a survey to the theory of \documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$${\text {Borel}}^{*}$$\end{document} sets in the generalized Baire space \documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$${\text {Baire}}=\kappa ^{\kappa }$$\end{document}. In particular we look at the relation of this complexity class to other complexity classes which we denote by \documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$${\text {Borel}}$$\end{document}, \documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$${\Delta _1^1}$$\end{document} (...) and \documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$${\Sigma _1^1}$$\end{document} and the connections between \documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$${\text {Borel}}^*$$\end{document} sets and the infinitely deep language \documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$M_{\kappa ^+\kappa }$$\end{document}. In the end of the paper we will prove the consistency of \documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$${\text {Borel}}^{*}\ne \Sigma ^{1}_{1}$$\end{document}. (shrink)