The book elucidates the complex relationship between Jewish philosophy and general philosophy. At the same time it examines Jewish philosophy as an independent discipline of thought. The issue of particular and characteristic problems of Jewish thought is taken up in the third part of the book. Other philosophical topics - from the general as well as the Jewish angle - are the quiddity of philosophy, its aims and tasks, its value and purpose, and the relations between philosophy, religion and theology, as reflected in general and Jewish thought. The concluding sections of the book highlight several basic problems of Jewish philosophy: its sources of inspiration and its influence, the motifs for philosophizing, the relation between reason and revelation, and lastly, the principal transformations in Jewish philosophy with the passage from medievalism to modernity.
The book elucidates the complex relationship between Jewish philosophy and general philosophy.
Gert H. Muller The growth of the number of publications in almost all scientific areas, as in the area of (mathematical) logic, is taken as a sign of our scientifically minded culture, but it also has a terrifying aspect. In addition, given the rapidly growing sophistica tion, specialization and hence subdivision of logic, researchers, students and teachers may have a hard time getting an overview of the existing literature, partic ularly if they do not have an extensive library available in their neighbourhood: they simply do not even know what to ask for! More specifically, if someone vaguely knows that something vaguely connected with his interests exists some where in the literature, he may not be able to find it even by searching through the publications scattered in the review journals. Answering this challenge was and is the central motivation for compiling this Bibliography. The Bibliography comprises (presently) the following six volumes (listed with the corresponding Editors): I. Classical Logic W. Rautenberg II. Non-classical Logics W. Rautenberg III. Model Theory H. -D. Ebbinghaus IV. Recursion Theory P. G. Hinman V. Set Theory A. R. Blass VI. Proof Theory; Constructive Mathematics J. E. Kister; D. van Dalen & A. S. Troelstra.
( 1985 ) : Normative Conflicts and Legal Reasoning , forthcoming in E. Bulygin , J.-L. Gardies & I. Niiniluoto ( eds . ) Man , Law , and Modern Forms of Life , D. Reidel Publ . Co. , Dordrecht / Boston / Lancaster .
This volume contains the papers presented, and subsequently submitted for publication, at the 5th Logic Programming Conference, held June 23-26, 1986 in Tokyo. Topics covered include Prolog machine architecture, Prolog processors, variations of Prolog language, and applications of Prolog to natural language understanding, and expert systems. Most of the works reported in the volume are related to the Japanese Fifth Generation Computer Project allowing readers to compare results from this project with those from similar projects currently being conducted in other countries.
LEGAL EXPERT SYSTEM LES - 2 H. Yoshino , S. Kagayama , S. Ohta , M. Kitahara , H. Kondoh , M. Nakakawaji ... It was the 1st version of this system and it was developed as a reasoning system for substantial law ( Japanese civil law ) .
