This article focuses on the problems of application of artificial intelligence to represent legal knowledge. The volume of legal knowledge used in practice is unusually large, and therefore the ontological knowledge representation is proposed to be used for semantic analysis, presentation and use of common vocabulary, and knowledge integration of problem domain. At the same time some features of legal knowledge representation in Ukraine have been taken into account. The software package has been developed to work with the ontology. The (...) main features of the program complex, which has a Web-based interface and supports multi-user filling of the knowledge base, have been described. The crowdsourcing method is due to be used for filling the knowledge base of legal information. The success of this method is explained by the self-organization principle of information. However, as a result of such collective work a number of errors are identified, which are distributed throughout the structure of the ontology. The results of application of this program complex are discussed in the end of the article and the ways of improvement of the considered technique are planned. (shrink)

Nondeterministic exponential time complexity bounds are established for recognizing true propositional formulas with partially ordered quantifiers on propositional variables.

We obtain a nonasymptotic lower time bound for deciding sentences of bounded second-order arithmetic with respect to a form of the random access machine with stored programs. More precisely, let P be an arbitrary program for the model under consideration which recognized true formulas with a given range of parameters. Let p be the length of P and let N be an arbitrary natural number. We show how to construct a formula G with one free variable with length not more (...) than 400 symbols and a value f of x such that the time required by P to decide the truth of G is at least N+1 steps. Furthermore, the G constructed does not depend on P and the length of f is less than p+400. (shrink)

In this article, we will take an in-depth look at the impact of artificial intelligence on the formation of working conditions in various fields of activity. By analyzing both general trends and specific examples, we will reveal how AI is helping to optimize workflows, change professional skills, and create new jobs. In addition, the article highlights the key benefits of using AI, including increased productivity and efficiency, automation of routine tasks, and improved workplace safety. We will also focus on the (...) challenges and potential risks associated with the use of artificial intelligence. The discussion will cover the ethical use of technology, the replacement of human labor by machines, the need to retrain employees, and the possibility of new forms of inequality in the workplace. The final part of the article offers reflections on the future of AI in the context of the labor market, including recommendations for adapting to these technological changes. Thus, we aim to provide a comprehensive view of the role of artificial intelligence in the modern world of work and its impact on the future of jobs and working conditions. The purpose of the article is to analyze the benefits of using artificial intelligence and algorithms to improve working conditions. On the other hand, the author identifies a number of challenges that states, businesses, and individuals may face in the event of AI implementation. At the same time, steps are proposed to reduce the negative consequences and prepare for the digitalization of jobs. (shrink)

Public interest in the legacy of Russian religious philosophy, and above all in the legacy of V. S. Solovyov, reached its peak at the turn of the 1990s, after which it declined. As indirect evidence of this, we can note the remaining unrealized idea of installing a monument to the philosopher, slowing down the pace of work on the release of a complete collection of his works, and reducing the number of works dedicated to him. The year of the centenary (...) since the death of Solovyov was symptomatic, when the authoritative representatives of the Russian philosophical community, S.S. Khoruzhiy and P.P. Gaidenko made an ambiguous assessment of Solovyov's ideological heritage and its significance for the subsequent development of Russian socio-philosophical and religious-theological thought. In the article the statement that the genealogy of the critical interpretation of Solovyov's legacy goes back to the works of the philosopher and theologian G.V. Florovsky is substantiated. Florovsky influence in Russian studies, as well as in post-Soviet Russia in general is difficult to overestimate. In this regard, the author draws attention to the ideological evolution of Florovsky, which gives the key to his interpretation of Solovyov's philosophy. The analysis showed that Florovsky's critical reinterpretation of Solovyov's legacy had both a theoretical, theological, and doctrinal character, and was caused by certain socio-psychological factors related to the generational conflict between representatives and heirs of the Russian religious and philosophical Renaissance of the early XX century. It is demonstrated that the reception of Solovyov by Florovsky was very significant, influential and archetypal for Russian religious and philosophical thought, both in Russia and abroad. (shrink)

We consider structures A consisting of an abelian group with a subgroup AP distinguished by a 1-ary relation symbol P, and complete theories T of such structures. Such a theory T is -categorical if T has models A of cardinality λ with AP=κ, and given any two such models A,B with AP=BP, there is an isomorphism from A to B which is the identity on AP. We classify all complete theories of such structures A in terms of the cardinal pairs (...) in which they are categorical. We classify algebraically the A of finite order λ with AP of order κ which are -categorical. (shrink)

Перевод статьи: Davies T., Chandler R. Online deliberation design: Choices, criteria, and evidence // Democracy in motion: Evaluating the practice and impact of deliberative civic engagement / Nabatchi T., Weiksner M., Gastil J., Leighninger M. (eds.). -- Oxford: Oxford univ. press, 2013. -- P. 103-131. А. Кулик. -/- Вниманию читателей предлагается обзор эмпирических исследований в области дизайна онлайн-форумов, предназначенных для вовлечения граждан в делиберацию. Размерности дизайна определены для различных характеристик делиберации: назначения, целевой аудитории, разобщенности участников в пространстве и во времени, (...) среды коммуникации и организации делиберативного процесса. После краткого обзора критериев оценки вариантов дизайна рассматриваются эмпирические данные, соотносящиеся с каждым из вариантов. Эффективность онлайн-делиберации зависит от того, насколько условия коммуникации соотносятся с заданиями делиберации. Компромиссы, как, например, между анонимным или идентифицируемым участием, предполагают различные дизайны в зависимости от цели делиберации и состава участников. Выводы исследования получены на материале существующих технологий и могут измениться по мере коэволюции технологий и пользователей. (shrink)

The paper addresses the capabilities and limitations of extrafoveal processing during a categorical visual search. Previous research has established that a target could be identified from the very first or without any saccade, suggesting that extrafoveal perception is necessarily involved. However, the limits in complexity defining the processed information are still not clear. We performed four experiments with a gradual increase of stimuli complexity to determine the role of extrafoveal processing in searching for the categorically defined geometric shape. The series (...) of experiments demonstrated a significant role of extrafoveal processing while searching for simple two‐dimensional shapes and its gradual decrease in a condition with more complicated three‐dimensional shapes. The factors of objects’ spatial orientation and distractor homogeneity significantly influenced both reaction time and the number of saccades required to identify a categorically defined target. An analysis of the individual p‐value distributions revealed pronounced individual differences in using extrafoveal analysis and allowed examination of the performance of each particular participant. The condition with the forced prohibition of eye movements enabled us to investigate the efficacy of covert attention in the condition with complicated shapes. Our results indicate that both foveal and extrafoveal processing are simultaneously involved during a categorical search, and the specificity of their interaction is determined by the spatial orientation of objects, type of distractors, the prohibition to use overt attention, and individual characteristics of the participants. (shrink)

This is a review of: Николай Онуфриевич Лосский, под редакцией В. П. Филатова, Москва: Росспэн (Серия "Философия России первой половины ХХ века"), 2016. It describes and appraises the content of this collection of nineteen articles on the life and thought of the prominent twentieth century Russian philosopher Nikolai Lossky. The volume, edited by Vladimir Filatov, presents the reader with an analysis of Lossky's philosophical legacy, including such aspects of his thought as his intuitivism, his personalism, his relation to phenomenology, his (...) narrative of the history of Russian philosophy, and so on. Lossky is also compared to other Russian philosophers (Shpet, Frank) and his legacy in other countries (Poland, Slovakia) is examined. The authors are Piama Gaidenko, Frances Nethercott, Albert Novikov, Victor Molchanov, Vitaly Lechtzer, Tatiana Shchedrina, Irina Beshkareva, Anatoly Pushkarsky, Elena Serdyukova, Vasily Vanchugov, Irina Blauberg, Roman Granin, Varvara Popova, Evgeny Babosov, Teresa Obolevich, Zlatica Plašienková, Oleg Ermichin, Alexander Podoxenov, Alexander Opalev, and Vladimir Schultz. (shrink)

I argue for accepting a pluralist approach to species, while rejecting the realism about species espoused by P. Kitcher and a number of other philosophers of biology. I develop an alternative view of species concepts as divisions of organisms into groups for study which are relative to the systematic explanatory interests of biologists at a particular time. I also show how this conception resolves a number of difficult puzzles which plague the application of particular species concepts.

We show that the set of ultimately true sentences in Hartry Field's Revenge-immune solution model to the semantic paradoxes is recursively isomorphic to the set of stably true sentences obtained in Hans Herzberger's revision sequence starting from the null hypothesis. We further remark that this shows that a substantial subsystem of second-order number theory is needed to establish the semantic values of sentences in Field's relative consistency proof of his theory over the ground model of the standard natural numbers: -CA0 (...) (second-order number theory with a -comprehension axiom scheme) is insufficient. We briefly consider his claim to have produced a solution to the semantic paradoxes by introducing this conditional. We remark that the notion of a operator can be introduced in other settings. (shrink)

We show how in the hierarchies${F_\alpha }$of Fieldian truth sets, and Herzberger’s${H_\alpha }$revision sequence starting from any hypothesis for${F_0}$ that essentially each${H_\alpha }$ carries within it a history of the whole prior revision process.As applications we provide a precise representation for, and a calculation of the length of, possiblepath independent determinateness hierarchiesof Field’s construction with a binary conditional operator. We demonstrate the existence of generalized liar sentences, that can be considered as diagonalizing past the determinateness hierarchies definable in Field’s recent (...) models. The ‘defectiveness’ of such diagonal sentences necessarily cannot be classified by any of the determinateness predicates of the model. They are ‘ineffable liars’. We may consider them a response to the claim of Field that ‘the conditional can be used to show that the theory is not subject to “revenge problems”.’. (shrink)

We formalize what it means to have permission to say something. We adapt the dynamic logic of permission by van der Meyden (J Log Comput 6(3):465–479, 1996 ) to the case where atomic actions are public truthful announcements. We also add a notion of obligation. Our logic is an extension of the logic of public announcements introduced by Plaza ( 1989 ) with dynamic modal operators for permission and for obligation. We axiomatize the logic and show that it is decidable.

We consider various concepts associated with the revision theory of truth of Gupta and Belnap. We categorize the notions definable using their theory of circular definitions as those notions universally definable over the next stable set. We give a simplified account of varied revision sequences-as a generalised algorithmic theory of truth. This enables something of a unification with the Kripkean theory of truth using supervaluation schemes.

We locate winning strategies for various ${\mathrm{\Sigma }}_{3}^{0}$ -games in the L-hierarchy in order to prove the following: Theorem 1. KP+Σ₂-Comprehension $\vdash \exists \alpha L_{\alpha}\ models"\Sigma _{2}-{\bf KP}+\Sigma _{3}^{0}-\text{Determinacy}."$ Alternatively: ${\mathrm{\Pi }}_{3}^{1}\text{\hspace{0.17em}}-{\mathrm{C}\mathrm{A}}_{0}\phantom{\rule{0ex}{0ex}}$ "there is a β-model of ${\mathrm{\Delta }}_{3}^{1}-{\mathrm{C}\mathrm{A}}_{0}\text{\hspace{0.17em}}\text{\hspace{0.17em}}+\text{\hspace{0.17 em}}{\mathrm{\Sigma }}_{3}^{0}$ -Determinacy." The implication is not reversible. (The antecedent here may be replaced with ${\mathrm{\Pi }}_{3}^{1}\text{\hspace{0.17em}}\text{\hspace{0.17em}}\left({\mathrm{\Pi }}_{3}^{1}\right)-{\mathrm{C}\mathrm{A}}_{0}:\text{\hspace{0.17em}}{\mathrm{\Pi }}_{3}^{1}$ instances of Comprehension with only ${\mathrm{\Pi }}_{3}^{1}$ -lightface definable parameters—or even weaker theories.) Theorem 2. KP +Δ₂-Comprehension +Σ₂-Replacement + ${\mathrm{\Sigma }}_{3}^{0}\phantom{\rule{0ex}{0ex}}$ -Determinacy. (Here AQI (...) is the assertion that every arithmetical quasi-inductive definition converges.) Alternatively: $\Delta _{3}^{1}{\rm CA}_{0}+{\rm AQI}\nvdash \Sigma _{3}^{0}$ -Determinacy. Hence the theories: ${\mathrm{\Pi }}_{3}^{1}-{\mathrm{C}\mathrm{A}}_{0},\text{\hspace{0.17em}}{\mathrm{\Delta }}_{3}^{1}-{\mathrm{C}\mathrm{A}}_{0}+\text{\hspace{0.17em}}{\mathrm{\Sigma }}_{3}^{0}-\mathrm{D}\mathrm{e}\mathrm{t}\phantom{\rule{0ex}{0ex}}$ -Det, ${\mathrm{\Delta }}_{3}^{1}-{\mathrm{C}\mathrm{A}}_{0}+\mathrm{A}\mathrm{Q}\mathrm{I}$ , and ${\mathrm{\Delta }}_{3}^{1}-{\mathrm{C}\mathrm{A}}_{0}\phantom{\rule{0ex}{0ex}}$ are in strictly descending order of strength. (shrink)

We look at various notions of a class of definability operations that generalise inductive operations, and are characterised as “revision operations”. More particularly we: (i) characterise the revision theoretically definable subsets of a countable acceptable structure; (ii) show that the categorical truth set of Belnap and Gupta’s theory of truth over arithmetic using \emph{fully varied revision} sequences yields a complete \Pi13 set of integers; (iii) the set of \emph{stably categorical} sentences using their revision operator ψ is similarly \Pi13 and which (...) is complete in Gödel’s universe of constructible sets L; (iv) give an alternative account of a theory of truth—realistic variance that simplifies full variance, whilst at the same time arriving at Kripkean fixed points. (shrink)

The author clarifies the existential philosophy that is implicit in Kurt Goldstein's philosophy of organism (Goldstein, 1963; 1995). Situated in response to the growing trend that psychological phenomena are reducible to the nervous system, the author argues for the reverse: that the significance of nervous system activity can only be understood by viewing it as background to foreground performances. Like the organization of perception into meaningful figure-- ground Gestalts, the existential modes of embodiment, sociality, temporality, spatiality, and attunement are organized (...) together to accomplish foreground performances. It is only within this context that the activity of the nervous system may be understood as significant or insignificant. Speech is given as an example. The article concludes with a commentary on how the trend of reducing psychological phenomena to neurological phenomena has impaired our understanding of brain disorders and psychological disorders. (shrink)

We consider notions of truth and logical validity defined in various recent constructions of Hartry Field. We try to explicate his notion of determinate truth by clarifying the path-dependent hierarchies of his determinateness operator.

La hipótesis reduccionista puede ser todavía un tema controvertido entre filósofos, pero entre la gran mayoría de científicos activos creo que es aceptada sin reservas. El funcionamiento de nuestras mentes y cuerpos, y de toda la materia animada o inanimada de la que tenemos algún conocimiento detallado, se supone, son controladas por el mismo conjunto de leyes fundamentales, las cuales, excepto en ciertas circunstancias extremas, sentimos que conocemos bastante bien.

In response to criticisms of the use of the Ideological Surround Model to analyze Tolerance of Ambiguity, emphasis is placed on how the methodologies of this model operate from Christian pacifist assumptions. This model seeks to promote social scientific methodologies that will allow competing perspectives to obtain increasing clarity on points of conflict.

Lenin's work "On the Significance of Militant Materialism," written in the spring of 1922, is justly regarded as the philosophical testament of our leader. In it, the tasks of the day were merged with the tasks of the entire epoch on the basis of a profound analysis of reality.

It has been shown recently that monodic first-order temporal logic without functional symbols but with equality is incomplete, i.e., the set of the valid formulae of this logic is not recursively enumerable. In this paper we show that an even simpler fragment consisting of monodic monadic two-variable formulae is not recursively enumerable.