The book includes a dictionary of selected philosophic terms, and discusses the Greek and Arabic schools of thought that influenced the Jewish thinkers and to ...

"Jewish Philosophy and the Academy reflects in broad terms on the current state of Jewish philosophy in the university. This generation of university teachers lives at a unique historic junction. It is the last to be taught by the giants of European Wissenschaft des Judentums and the first to experience the remarkable expansion of Judaic scholarship in Israel and abroad." "Emil Fackenheim suggests that if we are indebted to Athens for the philosophical method, we are also indebted to Jerusalem for (...) the ethical content of philosophy, which is both an intellectual and a moral challenge. This dual challenge shapes the diverse papers in this volume."--BOOK JACKET.Title Summary field provided by Blackwell North America, Inc. All Rights Reserved. (shrink)

A structure which generalizes formulas by including substitution terms is used to represent proofs in classical logic. These structures, called expansion trees, can be most easily understood as describing a tautologous substitution instance of a theorem. They also provide a computationally useful representation of classical proofs as first-class values. As values they are compact and can easily be manipulated and transformed. For example, we present an explicit transformations between expansion tree proofs and cut-free sequential proofs. A theorem prover which represents (...) proofs using expansion trees can use this transformation to present its proofs in more human-readable form. Also a very simple computation on expansion trees can transform them into Craig-style linear reasoning and into interpolants when they exist. We have chosen a sublogic of the Simple Theory of Types for our classical logic because it elegantly represents substitutions at all finite types through the use of the typed -calculus. Since all the proof-theoretic results we shall study depend heavily on properties of substitutions, using this logic has allowed us to strengthen and extend prior results: we are able to prove a strengthen form of the firstorder interpolation theorem as well as provide a correct description of Skolem functions and the Herbrand Universe. The latter are not straightforward generalization of their first-order definitions. (shrink)

In the original article published, the supplementary material is uploaded by mistake which has no association with the content of the article.

Brain tumor classification plays a niche role in medical prognosis and effective treatment process. We have proposed a combined feature and image-based classifier for brain tumor image classification in this study. Carious deep neural network and deep convolutional neural networks -based architectures are proposed for image classification, namely, actual image feature-based classifier, segmented image feature-based classifier, actual and segmented image feature-based classifier, actual image-based classifier, segmented image-based classifier, actual and segmented image-based classifier, and finally, CFIC. The Kaggle Brain Tumor Detection (...) 2020 dataset has been used to train and test the proposed classifiers. Among the various classifiers proposed, the CFIC performs better than all other proposed methods. The proposed CFIC method gives significantly better results in terms of sensitivity, specificity, and accuracy with 98.86, 97.14, and 98.97%, respectively, compared with the existing classification methods. (shrink)

В книге говорится о творце, генерирующем творческие акты – непредсказуемые решения and (озарения and ), феномены, которыми обладает только человек-личность. Общественные институты, как и само общество в целом, не могут исключительно своими социальными усилиями генерировать творческий акт. Таким образом, без этого личностного, практически абсолютно автономного, творческого решения общество не может ни обойтись, ни чем-либо его заменить. Используя творческие акты, эти феномены, имманентные только человеку, общество консолидируется и развивается, и, таким образом, человек-творец становится двигателем истории человечества. В этом смысле категория личность (...) имеет не меньшую значимость, чем категория производительные силы или категория общество. Рассматривается концепция природы творчества по Вифляеву, с полным философским обоснованием. (shrink)

A certain objection to belief in God is based on the intrinsic incoherence of the concept of Divine Being or God. In particular, it questions the major traditional characteristic, notably omniscience, and its relation to omnipotence, moral unassailability, and absence of embodiment on the part of the Divine Being. In this paper, an attempt is made to counter this objection by an appeal, not to natural theology, but rather to physicalism in its application to human beings, and by extension to (...) the possible consistency of God’s omniscience with the other divine attributes, which philosophers such as Michael Martin have found to be mutually inconsistent and therefore wanting. (shrink)