Recently, there has been growing interest in the use of ontology as a fundamental tool for representing domain-specific conceptual models to improve the semantics, accuracy, and relevance of domain users’ query results. Although the amount of data has grown steadily over the past decade, much data shares similar characteristics that can be captured by a foundational ontology. In this paper, we show how queries based on a foundational ontology can be evaluated and their performance measured. We also present a Foundational (...) Patterns benchmark to help select the most efficient triple memory and its layout. We evaluate the foundational benchmark with both generated and real datasets for state-of-the-art triple stores. (shrink)

Purpose. The knowledge influence analysis on the formation process of new anthropological images of man in the contexts of scientific achievements and innovative technologies is the basis of this study. It involves the solution of the following tasks: 1) explication of the ontological content of knowledge in the anthropo-cultural senses of the epoch; 2) analysis of the knowledge influence on the process of forming a new type of man; 3) characteristics of the modern anthropological situation in the context of digital (...) culture; 4) substantiation of interrelation of phatic communication with post-truth society in the dimensions of anthropo-social transformations of the present. Theoretical basis. Ontological content of knowledge determines the anthropo-cultural context of the epoch by forming a system of intellectual, value, social meanings of human life. The assertion of new anthropological types of man is caused by the changes in social and cultural space in the context of the growing influence of achievements in scientific knowledge and technology. Digital revolution as the process of expanding the possibilities of informational-digital reality, the substitution of knowledge for information gives rise to Homo digitalis – the digital man. He focuses on phatic communication, which in its intellectual meaninglessness is commensurate with the anthropological dimensions of post-truth society. Originality. It is substantiated that Homo digitalis is the result of a complex set of heterogeneous effects of scientific knowledge, which in modern post-truth conditions appears as different communicative practices. A condition for the formation of a new anthropological type of man in the perspective of scientific and technological progress is the affirmation of ethical wisdom. Conclusions. Knowledge in the process of evolution of socio-cultural life acquires constitutive significance for the process of formation of anthropological situations that manifest themselves in new images of man. Today, he is commensurate with the demands of digital culture, in which human life practices are increasingly becoming information and digital clusters embedded in the reality of a post-truth society. The means of overcoming the passivity of digital man is the formation of a new anthropological type based on a rethinking of the value system. (shrink)

This monograph presents a general theory of weakly implicative logics, a family covering a vast number of non-classical logics studied in the literature, concentrating mainly on the abstract study of the relationship between logics and their algebraic semantics. It can also serve as an introduction to algebraic logic, both propositional and first-order, with special attention paid to the role of implication, lattice and residuated connectives, and generalized disjunctions. Based on their recent work, the authors develop a powerful uniform framework for (...) the study of non-classical logics. In a self-contained and didactic style, starting from very elementary notions, they build a general theory with a substantial number of abstract results. The theory is then applied to obtain numerous results for prominent families of logics and their algebraic counterparts, in particular for superintuitionistic, modal, substructural, fuzzy, and relevant logics. The book may be of interest to a wide audience, especially students and scholars in the fields of mathematics, philosophy, computer science, or related areas, looking for an introduction to a general theory of non-classical logics and their algebraic semantics. (shrink)

_Purpose._ The basis of the presented research is a philosophical and methodological analysis of the human-centrism concept as a new intellectual strategy of comprehending and understanding the prospects of human existence in a situation of information-digital reality, which provides for the consistent solution of the following problems: 1) to make an explication of the conceptual content and semantic loading of human-centrism in the discourses of social philosophy and philosophical anthropology; 2) to analyse the theoretical significance and methodological role of human-centrism (...) in the information-digital reality; 3) to characterize the main parameters of the problematic field of human-centrism in overcoming the crisis of identity and preserving the system of universal human values. _Theoretical basis__._ The objective logic of unfolding of the modern information-digital world transforms philosophical anthropology into a new level of comprehending the human existence. Human-centrism interacts with philosophical anthropology and evaluates it from the point of its metaphilosophical, axiological-existential and methodological content. The assertion of human-centrism is caused by the identity crisis in the context of civilizational transformations, which as a result of the cumulative effect of information technology have a powerful influence on all aspects of human life and thinking. The philosophy of human-centrism as a life-affirming factor determines the development and adaptation of human self-consciousness to the modern socio-cultural environment, determined by information and technological processes. _Originality__._ It is substantiated that human-centrism as a new strategy of modern philosophical and anthropological discourses opens new cognition perspectives of the essence of human in the information-digital reality and contributes to the construction and implementation of new dimensions of identity in interaction with a qualitatively different level of world attitude. _Conclusions__._ The assertion of information-digital reality gives rise to a new type of philosophical and anthropological paradigm, a qualitative manifestation of which is the theory and methodology of human-centrism. It is characterized by a modern level of philosophical reflection, which allows preserving and at the same time renewing the system of universal human values. On this basis, human-centrism is a way of complementarity of all aspects of human life, who reconstructs themselves in a situation of new anthropological dimensions. (shrink)

This paper is a contribution to the study of the rôle of disjunction inAlgebraic Logic. Several kinds of (generalized) disjunctions, usually defined using a suitable variant of the proof by cases property, were introduced and extensively studied in the literature mainly in the context of finitary logics. The goals of this paper are to extend these results to all logics, to systematize the multitude of notions of disjunction (both those already considered in the literature and those introduced in this paper), (...) and to show several interesting applications allowed by the presence of a suitable disjunction in a given logic. (shrink)

This paper is a contribution to Mathematical fuzzy logic, in particular to the algebraic study of t-norm based fuzzy logics. In the general framework of propositional core and Δ-core fuzzy logics we consider three properties of completeness with respect to any semantics of linearly ordered algebras. Useful algebraic characterizations of these completeness properties are obtained and their relations are studied. Moreover, we concentrate on five kinds of distinguished semantics for these logics–namely the class of algebras defined over the real unit (...) interval, the rational unit interval, the hyperreals , the strict hyperreals and finite chains, respectively–and we survey the known completeness methods and results for prominent logics. We also obtain new interesting relations between the real, rational and hyperreal semantics, and good characterizations for the completeness with respect to the semantics of finite chains. Finally, all completeness properties and distinguished semantics are also considered for the first-order versions of the logics where a number of new results are proved. (shrink)

Drawing on current debates at the frontiers of economics, psychology, and political philosophy, this book explores the challenges that arise for liberal democracies from a confrontation between modern technologies and the bounds of human rationality. With the ongoing transition of democracy's underlying information economy into the digital space, threats of disinformation and runaway political polarization have been gaining prominence. Employing the economic approach informed by behavioral sciences' findings, the book's chief concern is how these challenges can be addressed while preserving (...) a commitment to democratic values and maximizing the epistemic benefits of democratic decision-making. The book has two key strands: it provides a systematic argument for building a behaviorally informed theory of democracy; and explores how scientific knowledge on quirks and bounds of human rationality can inform the design of resilient democratic institutions. Drawing these together, the book explores the centrality of the rationality assumption in the methodological debates surrounding behavioral sciences as exemplified by the dispute between neoclassical and behavioral economics; the role of rationality in democratic social choice; behaviorally informed paternalism as a response to the challenge of irrationality; and non-paternalistic avenues to increase the resilience of the democratic institutions towards political irrationality This book is invaluable reading for anyone interested in behavioral economics and sciences, political philosophy and the future of democracy. (shrink)

The genesis of space and time is investigated within the rotational-monadic paradigm. It is established that the essence of the phenomenon of space is revealed through the dialectical synthesis of its two aspects — ideal and material, where the material aspect is represented by the metaphysical construct of protomonad. It is shown that basic physical distinctions such as motion, mass, gravitation find a meaningful hermeneutic through the material aspect of space, which has a purely discrete structure, while the contradiction about (...) finitude — infinity is resolved by juxtaposing metaphysical and ontic spaces, where the Universe is represented as an “egg”. The analysis of temporality is preceded by remarks on the relational and substantive concepts of time, consideration of the discreteness-continuity dilemma, and criticism of the absolutization of discreteness in the temporality representation. It is argued that discreteness and continuity are combined dialectical oppositions through which the temporal reality is actualized, where continuity is hidden from observation in the metaphysical world and discreteness is manifested explicitly in the physical world. Three dimensions of time — Present, Past and Future — are discussed, as a result of which it is stated that in the primary way time is found as an attribute of consciousness and only in the secondary way it correlates with phenomenological reality. New differentiations of time are revealed: interval Present, embracing as a universum other moduses of the Present, and two- component time in the form of cyclic and linear components which allow us to make a justified positive conclusion about the existence of transcendental subjectivity, being the basis of absolute temporality. (shrink)

Substructural logics extending the full Lambek calculus FL have largely benefited from a systematical algebraic approach based on the study of their algebraic counterparts: residuated lattices. Recently, a nonassociative generalization of FL has been studied by Galatos and Ono as the logic of lattice-ordered residuated unital groupoids. This paper is based on an alternative Hilbert-style presentation for SL which is almost MP -based. This presentation is then used to obtain, in a uniform way applicable to most substructural logics, a form (...) of local deduction theorem, description of filter generation, and proper forms of generalized disjunctions. A special stress is put on semilinear substructural logics. Axiomatizations of the weakest semilinear logic over SL and other prominent substructural logics are provided and their completeness with respect to chains defined over the real unit interval is proved. (shrink)

Formal systems of fuzzy logic are well-established logical systems and respected members of the broad family of the so-called substructural logics closely related to the famous logic BCK. The study of fragments of logical systems is an important issue of research in any class of non-classical logics. Here we study the fragments of nine prominent fuzzy logics to all sublanguages containing implication. However, the results achieved in the paper for those nine logics are usually corollaries of theorems with much wider (...) scope of applicability. In particular, we show how many of these fragments are really distinct and we find axiomatic systems for most of them. In fact, we construct strongly separable axiomatic systems for eight of our nine logics. We also fully answer the question for which of the studied fragments the corresponding class of algebras forms a variety. Finally, we solve the problem how to axiomatize predicate versions of logics without the lattice disjunction. (shrink)

Current thinking suggests that dissociation could be a significant comorbid diagnosis in a proportion of schizophrenic patients with a history of trauma. This potentially may explain the term “schizophrenia” in its original definition by Bleuler, as influenced by his clinical experience and personal view. Additionally, recent findings suggest a partial overlap between dissociative symptoms and the positive symptoms of schizophrenia, which could be explained by inhibitory deficits. In this context, the process of dissociation could serve as an important conceptual framework (...) for understanding schizophrenia, which is supported by current neuroimaging studies and research of corollary discharges. These data indicate that the original conception of “split mind” may be relevant in an updated context. Finally, recent data suggest that the phenomenal aspects of dissociation and conscious disintegration could be related to underlying disruptions of connectivity patterns and neural integration. (shrink)

Consider a set of shuffled observations drawn from a fixed probability distribution over some instance domain. What enables learning of inductive generalizations which proceed from such a set of observations? The scenario is worthwhile because it epistemically characterizes most of machine learning. This kind of learning from observations is also inverse and ill-posed. What reduces the non-uniqueness of its result and, thus, its problematic epistemic justification, which stems from a one-to-many relation between the observations and many learnable generalizations? The paper (...) argues that this role belongs to any complexity regularization which satisfies Norton’s Material Theory of Induction (MTI) by localizing the inductive risk to facts in the given domain. A prime example of the localization is the Lottery Ticket Hypothesis (LTH) about overparameterized neural networks. The explanation of MTI’s role in complexity regularization of neural networks is provided by analyzing the stability of Empirical Risk Minimization (ERM), an inductive rule that controls the learning process and leads to an inductive generalization on the given set of observations. In cases where ERM might become asymptotically unstable, making the justification of the generalization by uniform convergence unavailable, LTH and MTI can be used to define a local stability. A priori, overparameterized neural networks are such cases and the combination of LTH and MTI can block ERM’s trivialization caused by equalizing the strengths of its inductive support for risk minimization. We bring closer the investigation of generalization in artificial neural networks and the study of inductive inference and show the division of labor between MTI and the optimality justifications (developed by Gerhard Schurz) in machine learning. (shrink)

_Purpose__._ The basis of the presented study is a methodological and human-centred analysis of the philosophy of education of the outstanding Ukrainian educator Vasyl Sukhomlynskyi as a relevant anthropological-intellectual strategy for understanding and comprehending the educational process in the context of civilisation challenges. This implies a sequential solution to the following tasks: 1) to review the conceptual content and human-centred load of Vasyl Sukhomlynskyi’s pedagogical position in the discourses of philosophical anthropology and social philosophy; 2) to analyse the theoretical knowledge (...) of the anthropo-existential concept of the outstanding teacher in the context of the transformation of Ukrainian education; 3) to determine the main parameters of the cognitive field of Sukhomlynskyi’s philosophy of education in the development of values of patriotic education of young people. _Theoretical__ basis__._ The dynamic process of Ukraine’s unfolding struggle for the preservation of its nation and territorial integrity brings Sukhomlynskyi’s philosophy of education to a new level of understanding of human life and society. The human-centred dimension in interaction with the philosophy of education allows us to define Sukhomlynskyi’s pedagogical concept in the fullness of its metaphilosophical, existential and axiological content. The relevance of the problem under study is due to the crisis of values in the situation of civilizational transformations, which, as a result of information and digital technologies, have a cumulative impact on all spheres of people’s life and their attitude to the world. In the process of implementing the educational ideas of the Ukrainian teacher, the development and transformation of the individual’s self-awareness takes place in accordance with the intellectual challenges of the modern socio-cultural environment. _Originality._ It is substantiated that the philosophy of education of Vasyl Sukhomlynskyi largely determines the strategy for the transformation of Ukrainian education both in the context of digitalisation of the educational space and in the situation of a full-scale war against Russian aggression, which opens up new prospects for the implementation of identity dimensions in interaction with a qualitatively different level of national subjectivity. _Conclusions__._ The approval of the conceptual provisions of Sukhomlynskyi’s philosophy of education gives rise to a new type and method of paradigm of thinking and cognition in the implementation of strategies for the transformation of modern education, which determine the qualitative theory of the educational process in the context of human-centrism. It is characterized by the level of modern philosophical reflections, which allows preserving and at the same time changing the system of education and upbringing of the young generation in the context of universal values. On this basis, the philosophy of education of the prominent Ukrainian educator appears as a way of renewing all aspects of human life, which deconstructs itself in the situation of a human-centric dimension. (shrink)

Transfer theorems are central results in abstract algebraic logic that allow to generalize properties of the lattice of theories of a logic to any algebraic model and its lattice of filters. Their proofs sometimes require the existence of a natural extension of the logic to a bigger set of variables. Constructions of such extensions have been proposed in particular settings in the literature. In this paper we show that these constructions need not always work and propose a wider setting in (...) which they can still be used. (shrink)

A simple complete axiomatic system is presented for the many-valued propositional logic based on the conjunction interpreted as product, the coresponding implication (Goguen's implication) and the corresponding negation (Gödel's negation). Algebraic proof methods are used. The meaning for fuzzy logic (in the narrow sense) is shortly discussed.

The article presents the main conceptual and organizational foundations of the Institute of Higher Education of the National Academy of Educational Sciences of Ukraine. The main circumstances and concrete efforts to implement the plan for the creation and development of this Institute have been witnessed from the first person. The creation of the Institute of Higher Education was supposed to contribute to the fulfillment of such basic tasks of higher education. First, the development of higher education stimulated the formation of (...) a young Ukrainian state, ensured the establishment of norms and values characteristic of a democratic state, and the development of the best qualities of human capital in Ukraine. Secondly, it was necessary to carry out radical changes in the entire system of higher education of Ukraine, to create a coherent national and modern system of higher education, which involved not only the implementation of changes at the national level, but also a significant restructuring of the universities themselves. Thirdly, the reform of higher education should have taken into account modern civilizational changes that necessitated transformational processes in the global university environment, such as the development of student-centeredness, the widespread introduction of new digital learning technologies, deeper integration into globalization processes, etc. Fourthly, despite the heated debate in political circles in the first years of Ukraine’s independence regarding the geopolitical orientations of the country’s development, more and more citizens became supporters of European integration, which was a natural, but difficult to implement, result of Ukraine’s accession to the Bologna process. The main achievements of the Institute of Higher Education in the conceptualization and instrumentalization of these and other tasks are described. Renewed on this basis, the higher education of Ukraine should become a driving force of society, capable of providing an innovative breakthrough in the scientific-technological, industrial-economic, social-humanitarian spheres. (shrink)

Under communism, the symbolic potential of the body was multiplied in the mass gymnastic displays in order to portray the society as disciplined, strong, happy and beautiful and thus to legitimize its leadership. These gymnastic rituals followed the volkisch tradition of 19th-century mass gymnastics, which aimed at mobilization and homogenization of the `imagined community' of the nation. Behind the symbolic play of the mass gymnastics, there was, as Kracauer pointed out, a deeper relationship between modernity with its mode of production (...) and gymnastics with its mechanization of the body. The relation, however, was not a direct one, mass gymnastic displays were used to aestheticize the mass production and therefore to deny the very logic of instrumental rationality that both the gymnastics and the production were built upon. (shrink)

Can one extend crisp Peano arithmetic PA by a possibly many-valued predicate Tr(x) saying "x is true" and satisfying the "dequotation schema" $\varphi \equiv \text{Tr}(\bar{\varphi})$ for all sentences φ? This problem is investigated in the frame of Lukasiewicz infinitely valued logic.

Dave Ripley has recently argued against the plausibility of multiset consequence relations and of contraction-free approaches to paradox. For Ripley, who endorses a nontransitive theory, the best arguments that buttress transitivity also push for contraction—whence it is wiser for the substructural logician to go nontransitive from the start. One of Ripley’s allegations is especially insidious, since it assumes the form of a trivialisation result: it is shown that if a multiset consequence relation can be associated to a closure operator in (...) the expected way, then it necessarily contracts. We counter Ripley’s objection by presenting an approach to multiset consequence that escapes this trap. This approach is multiple-conclusioned in a heterodox way, for multiple succedents are given a conjunctive, rather than a disjunctive reading. Finally, we address a further objection by French and Ripley to the effect that the informational interpretation of sequents in linear logic does not motivate cut. (shrink)

The present paper shows how statistical learning theory and machine learning models can be used to enhance understanding of AI-related epistemological issues regarding inductive reasoning and reliability of generalisations. Towards this aim, the paper proceeds as follows. First, it expounds Price’s dual image of representation in terms of the notions of e-representations and i-representations that constitute subject naturalism. For Price, this is not a strictly anti-representationalist position but rather a dualist one (e- and i-representations). Second, the paper links this debate (...) with machine learning in terms of statistical learning theory becoming more viable epistemological tool when it abandons the perspective of object naturalism. The paper then argues that machine learning grounds a form of knowing that can be understood in terms of e- and i-representation learning. Third, this synthesis shows a way of analysing inductive reasoning in terms of reliability of generalisations stemming from a structure of e- and i-representations. In the age of Artificial Intelligence, connecting Price’s dual view of representation with Deep Learning provides an epistemological way forward and even perhaps an approach to how knowing is possible. (shrink)

We prove that Standardization fails in every nontrivial universe definable in the nonstandard set theory BST, and that a natural characterization of the standard universe is both consistent with and independent of BST. As a consequence we obtain a formulation of nonstandard class theory in the ∈-language.

In contrast to Anglophone debates on personal identity initially formed by John Locke’s investigation of personal identity in the sense of personal continuity or persistence through time, the Continental tradition focuses on what constitutes ipseity in the sense of individuality or uniqueness of the human being “constituted” by its continuous transformation through changing experience. In this study, I claim that contemporary phenomenological research in France—especially the “phenomenology of the event” as represented by Henri Maldiney and Claude Romano—contributes to this Continental (...) discussion in a significant way: it formulates the conditions of personal uniqueness or distinctiveness with regard to other persons, conditions not to be found in Heidegger’s existential conception of selfhood in Being and Time. More precisely, Maldiney and Romano allow us to answer the principal questions of this study: In what does the personal uniqueness consist? What exactly individualizes the first-person selfhood disclosed in Dasein’s relation to death? In my three-stage analysis, I first deal with Heidegger’s conception of selfhood in Being and Time and its limits with respect to the question of personal uniqueness. Next, I analyse Maldiney’s conception of “eventful selfhood” in which he “completes” Heidegger’s conception of selfhood by describing Dasein’s openness to ontical, and yet fully authentic events. Finally, I develop the argumentation by presenting Romano’s even more radical conception of the “happening subjectivity”, which allows us to return to the second major feature of personal identity: personal persistence. Nonetheless, I conclude that the connection between personal uniqueness and persistence is not sufficiently examined in the phenomenology of the event, which opens the path towards another related inquiry into the following problem: What is the proper subjective dimension or the “underlying thing” in the background of personal persistence which somehow resists events? (shrink)

Axiomatic set theory with full comprehension is known to be consistent in Łukasiewicz fuzzy predicate logic. But we cannot assume the existence of natural numbers satisfying a simple schema of induction; this extension is shown to be inconsistent.

Uniform infinite bases are defined for the single-conclusion and multiple-conclusion admissible rules of the implication–negation fragments of intuitionistic logic and its consistent axiomatic extensions . A Kripke semantics characterization is given for the structurally complete implication–negation fragments of intermediate logics, and it is shown that the admissible rules of this fragment of form a PSPACE-complete set and have no finite basis.

The paper is devoted to Nikolay Lossky who was one of the leading Russian philosophers of the first half of the twentieth century. We demonstrate the interrelationship between three aspects of Lossky’s philosophy: realism in the theory of knowledge, hierarchical personalism, and supra-naturalistic concept of evolution. We pay attention to the contemporary relevance of Lossky, and we discuss and critique his ideas in light of those of other philosophers. Lossky acknowledges that the subject interacts with being itself and that knowledge (...) is not a shadow or copy of being. His ontology is based on intuitivism and epistemological optimism. Its main categories are God, as the super-systematic principle, and monads. In Lossky’s metaphysics, the idea of abstract ideal principles of being is quite harmoniously combined with personalism. Lossky’s ontology has strong ethical underpinnings. He considers that values are rooted in being and that the evolution of the world is directed by God towards the good. Lossky elaborates a supra-naturalistic concept of evolution. He extrapolates principles of teleological determination, which are fundamental to human existence, on the underlying levels of the world as a whole. Many trends of modern thought are in tune with Lossky’s philosophy, including a return to metaphysics, panpsychism, Platonism, and the desire to unite the religious worldview with new scientific discoveries. (shrink)

The one-variable fragment of a first-order logic may be viewed as an “S5-like” modal logic, where the universal and existential quantifiers are replaced by box and diamond modalities, respectively. Axiomatizations of these modal logics have been obtained for special cases—notably, the modal counterparts $\mathrm {S5}$ and $\mathrm {MIPC}$ of the one-variable fragments of first-order classical logic and first-order intuitionistic logic, respectively—but a general approach, extending beyond first-order intermediate logics, has been lacking. To this end, a sufficient criterion is given in (...) this paper for the one-variable fragment of a semantically defined first-order logic—spanning families of intermediate, substructural, many-valued, and modal logics—to admit a certain natural axiomatization. More precisely, an axiomatization is obtained for the one-variable fragment of any first-order logic based on a variety of algebraic structures with a lattice reduct that has the superamalgamation property, using a generalized version of a functional representation theorem for monadic Heyting algebras due to Bezhanishvili and Harding. An alternative proof-theoretic strategy for obtaining such axiomatization results is also developed for first-order substructural logics that have a cut-free sequent calculus and admit a certain interpolation property. (shrink)

What makes safety claims about general purpose AI systems such as large language models trustworthy? We show that rather than the capabilities of security tools such as alignment and red teaming procedures, it is security practices based on these tools that contributed to reconfiguring the image of AI safety and made the claims acceptable. After showing what causes the gap between the capabilities of security tools and the desired safety guarantees, we critically investigate how AI security practices attempt to fill (...) the gap and identify several shortcomings in diversity and participation. We found that these security practices are part of securitization processes aiming to support (commercial) development of general purpose AI systems whose trustworthiness can only be imperfectly tested instead of guaranteed. We conclude by offering several improvements to the current AI security practices. (shrink)

As our epistemic ambitions grow, the common and scientific endeavours are becoming increasingly dependent on Machine Learning (ML). The field rests on a single experimental paradigm, which consists of splitting the available data into a training and testing set and using the latter to measure how well the trained ML model generalises to unseen samples. If the model reaches acceptable accuracy, an a posteriori contract comes into effect between humans and the model, supposedly allowing its deployment to target environments. Yet (...) the latter part of the contract depends on human inductive predictions or generalisations, which infer a uniformity between the trained ML model and the targets. The paper asks how we justify the contract between human and machine learning. It is argued that the justification becomes a pressing issue when we use ML to reach ‘elsewheres’ in space and time or deploy ML models in non-benign environments. The paper argues that the only viable version of the contract can be based on optimality (instead of on reliability which cannot be justified without circularity) and aligns this position with Schurz’s optimality justification. It is shown that when dealing with inaccessible/unstable ground-truths (‘elsewheres’ and non-benign targets), the optimality justification undergoes a slight change, which should reflect critically on our epistemic ambitions. Therefore, the study of ML robustness should involve not only heuristics that lead to acceptable accuracies on testing sets. The justification of human inductive predictions or generalisations about the uniformity between ML models and targets should be included as well. Without it, the assumptions about inductive risk minimisation in ML are not addressed in full. (shrink)

The paper deals with the problem of divine causation in relation to created agents in general and human rational agents in particular. Beyond creation and conservation, Aquinas specifies divine contribution to created agents’ operation as application in the role of the first cause and the operation of the principal cause employing an instrumental cause. It is especially the latter which is open to varying interpretation and which might be potentially threatening to human freedom. There are different readings of what it (...) is for the secondary agent to “act through the power of the principal cause”. Either the divine cause causes only the existence of the effect of the secondary cause, or it also causes the cause to operate in the sense that it determines its outcome. The latter seems to contradict human freedom. Both readings of Aquinas were developed in the latter half of the sixteenth century within scholastic philosophy and theology. (shrink)

Shows how different forms of skepticism can lead to remarkably different moral and political implications.

This article reviews recent findings indicating some common brain processes during dissociative states and dreaming with the aim to outline a perspective that neural chaotic states during dreaming can be closely related to dissociative states that may manifest in dreams scenery. These data are in agreement with various clinical findings that dissociated states can be projected into the “dream scenery” in REM sleep periods and dreams may represent their specific interactions that may uncover unusual psychological potential of creativity in psychotherapy, (...) art and scientific discoveries. (shrink)

Are Lévinas and Deleuze two allies in their effort to break away from the Western ontology, which is based on the logic of the One and the Same, or do their philosophies represent two distant galaxies? The purpose of this paper is not to argue for either possibility, but to show the issue in all its complexity. Conjunctions as well as disjunctions of Lévinas' metaphysical thinking and Deleuze's nomadic philosophy should be dealt with on the background of the problems of (...) sexual difference and human face that play an important part in both conceptions. The analysis of these phenomena shall allow us to see the common denominator of both philosophical conceptions in the relation of thought to the outside, even though they approach the outside in two different ways. (shrink)