The attempts to identify potential threats related to the automation of justice. The origins of mechanized thinking. Simulation of justice: artificial intelligent or augmented intelligence. The structuring of legal knowledge with the help of a computer.
Аннотация к работе
(Turing 1950) For example, Turing proved that predicate calculus is not solvable, meaning it is not always possible to decide if whatever statement written in the language of predicate calculus is right. Propositional calculus, however, is solvable. Indeed, that was known already before Turing. By keeping in mind the aims of this paper, we are more interested in the so- called Turing test and everything involved with it, rather than the Turing machine. According to the standard approach of the test (Turing 1950) it is an experiment where a person in the role of a judge communicated with two distinct partners out of whom one is also a human but the other one is a computer. Wittgenstein explains addressing his audience: «Suppose one of you were an omniscient person and therefore knew all the movements of all the bodies in the world dead or alive and that he also knew all the states of mind of all human beings that ever lived, and suppose this man wrote all he knew in a big book, then this book would contain the whole description of the world; and what I want to say is, that this book would contain nothing that we would call an ethical judgment or anything that would logically imply such a judgment» (Wittgenstein 1965).