After identifying points of agreement between Karl Rahner and Hans Urs von Balthasar on topics raised by Dr. Sain’s essay, this response raises questions about the deeper foundations of the substantial differences between them. It suggests that the appeal to contrast in their starting-points (Goethe versus Kant) as an explanation is not adequate and suggests lines of further inquiry which might be pursued further.

The main result of this paper belongs to the field of the comparative study of program verification methods as well as to the field called nonstandard logics of programs. We compare the program verifying powers of various well-known temporal logics of programs, one of which is the Intermittent Assertions Method, denoted as Bur. Bur is based on one of the simplest modal logics called S5 or sometime-logic. We will see that the minor change in this background modal logic increases the (...) program verifying power of Bur. The change can be described either technically as replacing the reflexive version of S5 with an irreflexive version, or intuitively as using the modality some-other-time instead of sometime. Some insights into the nature of computational induction and its variants are also obtained. (shrink)

As the number of consumer transgressions continues to increase, so do their financial repercussions for companies. Though academic and managerial interest in addressing this issue is growing, research on how to dissuade consumers from committing transgressions remains scarce. Drawing on the mental imagery literature and normative moral theory, the present research examines a novel way of reducing consumers’ appraisals of their own transgressions. Whereas an actor-imagery perspective fosters a teleological, egoistic view of morality and, in turn, induces moral leniency, having (...) consumers adopt an observer-imagery perspective fosters a deontological view of morality and, in turn, induces moral stringency. The effects are robust across various types of consumer transgressions, including the purchase of counterfeit products and return fraud in the form of wardrobing. Study 2 also rules out vividness as an alternative explanation for these effects. Theoretical and managerial implications are discussed. (shrink)

The central question of Hans Urs von Balthasar’s Theo-Logic is how the infinite truth of God can be manifested in the finite structures of the created world. In the course of answering this question, Balthasar presents a philosophical understanding of expressive form and a theology of Christ as the expression of divine truth in the world. The philosophical discussion of truth provides support for the intelligibility of the theological claim that God’s truth has been manifested in the world in Christ. (...) The fullest expression of divine truth and the highest realization of worldly truth are found together in Christ, whom Balthasar calls the “truth of God.” Balthasar’s philosophical and theological understanding of expression, as set forth in the Theo-Logic, provides helpful insights for comparing his thought to that of Karl Rahner. (shrink)

In this paper we investigate total correctness in Nonstandard Dynamic Logic . Here we show that despite of the celebrated Kfoury-Park [5] result, termination is a rst order notion if approached properly.

En el siguiente trabajo me encargaré de estudiar la noción de cuerpo en el Banquete de Platón a partir del discurso de Aristófanes, pretendiendo con esto revisar al mismo tiempo la tradicional lectura del diálogo —que hace foco únicamente en el personaje de Sócrates— y la interpretación más aceptada del lugar que ocupa el cuerpo en el pensamiento platónico —el cual es relegado a una esfera de negatividad aparentemente insalvable. En una primera parte mostraré que Aristófanes, en tanto poeta, busca (...) elementos a la mano para inspirar su relato; elementos que encuentra en su interacción con el médico Erixímaco. A partir de esto, Aristófanes tejerá un esquema conceptual con nociones médicas en el que el cuerpo cobrará el rol de «síntoma», i.e expresión visible, de un estado enfermo y corrompido. Como conclusión, la idea de cuerpo como «síntoma» resultará para la lectura propuesta un indicio de que Platón presenta en el Banquete al cuerpo de manera positiva como despertador de un deseo que estimulará la búsqueda hacia la verdad. (shrink)

Biró, B. and I. Sain, Peano arithmetic as axiomatization of the time frame in logics of programs and in dynamic logics, Annals of Pure and Applied Logic 63 201-225. We show that one can prove the partial correctness of more programs using Peano's axioms for the time frames of three-sorted time models than using only Presburger's axioms, that is it is useful to allow multiplication of time points at program verification and in dynamic and temporal logics. We organized the (...) paper as follows: 1. Preliminaries, 2. The main result, 3. Peano arithmetic with bounded multiplication, 4. Connections with temporal logics and dynamic logics, Acknowledgements, References. (shrink)

We give an overview of decidability results for modal logics having a binary modality. We put an emphasis on the demonstration of proof-techniques, and hope that this will also help in finding the borderlines between decidable and undecidable fragments of usual first-order logic.

We prove that the equational theory of a semigroups becomes undecidable if we add a semilattice structure with a ‘touch of symmetric difference’. As a corollary we obtain that the variety of all Boolean algebras with an associative binary operator has a ‘hereditarily’ undecidable equational theory. Our results have implications in logic, e.g. they imply undecidability of modal logics extending the Lambek Calculus and undecidability of Arrow Logics with an associative arrow modality.

Recommender system depends on the thoughts of numerous users to predict the favourites of potential consumers. RS is vulnerable to malicious information. Unsuitable products can be offered to the user by injecting a few unscrupulous “shilling” profiles like push and nuke attacks into the RS. Injection of these attacks results in the wrong recommendation for a product. The aim of this research is to develop a framework that can be widely utilized to make excellent recommendations for sales growth. This study (...) uses the methodology that presents an enhanced clustering algorithm named as modified density peak clustering algorithm on the consumer review dataset to ensure a well-formed cluster. An improved recurrent neural network algorithm is proposed to detect these attacks in hybrid RS, which uses the content-based RS and collaborative filtering RS. The results are compared with other state of the art algorithms. The proposed method is more suitable for E-commerce applications where the number of customers and products grows rapidly. (shrink)

The class \ of t rue p airing a lgebras is defined to be the class of relation algebras expanded with concrete set theoretical projection functions. The main results of the present paper is that neither the equational theory of \ nor the first order theory of \ are decidable. Moreover, we show that the set of all equations valid in \ is exactly on the \ level. We consider the class \ of the relation algebra reducts of \ ’s, (...) as well. We prove that the equational theory of \ is much simpler, namely, it is recursively enumerable. We also give motivation for our results and some connections to related work. (shrink)

Collaborative filtering recommender system (CFRS) plays a vital role in today’s e-commerce industry. CFRSs collect ratings from the users and predict recommendations for the targeted product. Conventionally, CFRS uses the user-product ratings to make recommendations. Often these user-product ratings are biased. The higher ratings are called push ratings (PRs) and the lower ratings are called nuke ratings (NRs). PRs and NRs are injected by factitious users with an intention either to aggravate or degrade the recommendations of a product. Hence, it (...) is necessary to investigate PRs or NRs and discard them. In this work, opinion mining approach is applied on textual reviews that are given by users for a product to detect the PRs and NRs. The work also examines the effect of PRs and NRs on the performance of CFRS by evaluating various measures such as precision, recall, F-measure and accuracy. (shrink)

Reseña de Suñol, V.; Miranda, L. R. (eds.). La educación en la filosofía antigua: Ética, retórica y arte en la formación del ciudadano. Buenos Aires, Miño y Dávila.

We show the undecidability of the equational theories of some classes of BAOs with a non-associative, residuated binary extra-Boolean operator. These results solve problems in Jipsen [9], Pratt [21] and Roorda [22], [23]. This paper complements Andréka-Kurucz-Németi-Sain-Simon [3] where the emphasis is on BAOs with an associative binary operator.

Theorem 1 states a negative result about the classical semantics j= ! of program schemes. Theorem 2 investigates the reason for this. We conclude that Theorem 2 justies the Henkin-type semantics j= for which the opposite of the present Theorem 1 was proved in [1]{[3] and also in a dierent form in part III of [5]. The strongest positive result on j= is Corollary 6 in [3].

A logic family is a bunch of logics that belong together in some way. First-order logic is one of the examples. Logics organized into a structure occur in abstract model theory, institution theory and in algebraic logic. Logic families play a role in adopting methods for investigating sentential logics to first-order like logics. We thoroughly discuss the notion of logic families as defined in the recent Universal Algebraic Logic book.

Abstrak: Sains sebagai keselamatan adalah ungkapan yang kerap digunakan secara peyoratif untuk menggambarkan dampak sains dan teknologi yang mencelakakan manusia. Artikel ini akan menunjukkan bahwa ide ‘sains sebagai keselamatan’ dapat dilacak ke Francis Bacon (1561-1626) dan ditafsirkan secara ketat menurut doktrin keselamatan Kristiani. Bacon merancang suatu program raksasa untuk meningkatkan proses pembelajaran dan pembaharuan pengetahuan. Namun, pada abad ke-16, setiap upaya untuk mencanangkan perluasan pengetahuan perlu terlebih dulu merehabilitasi status moral pengetahuan yang diasosiasikan dengan petaka di Firdaus, yang membawa dosa (...) masuk ke dunia. Secara cermat Bacon menangani keprihatinan moral dan teologis zamannya dengan cara menjalin unsur eskatologis ke dalam programnya. Dia lalu menyuguhkan restorasi pengetahuan sebagai kasus partikular dalam sejarah keselamatan yang akan memulihkan penguasaan dan kuasa manusia atas alam, dan pada waktunya membebaskan manusia dari kesengsaraan material. Kata Kunci: Sains, alam, kejatuhan, pemulihan, instauratio, apokalips, sejarah keselamatan, kemaslahatan. Abstract: Science as salvation' is a term used pejoratively to refer to the harmful impact of science and technology. This article will show that the idea of ‘science as salvation’ can be traced back to Francis Bacon (1561-1626) and was strictly construed according to the Christian doctrine of salvation. Bacon devised a comprehensive programme for the advancement of learning and the restoration of knowledge. But any sixteenth-century proposals for the expansion of knowledge first required a rehabilitation of the moral status of knowledge long tainted by an image of catastrophe leading to the fall from the Garden of Eden, in which knowledge brought sins into the world. Bacon meticulously worked on the moral and theological concern of knowledge by weaving an eschatological element into his programme. He then espoused the restoration of knowledge as a particular case in the history of salvation envisaged to eventually restore human Arcadian mastery and dominion over nature, which in turn was expected to relieve humans from material sufferings. Keywords: Knowledge, sin, fall, salvation, instauratio, apocalyps, sacred history. (shrink)

Social and philosophy aspects of science; collection of articles.

Growth and impact of science and technology on Malaysian society.

Philosophical aspects of geography and its practical applications in Indonesia; proceedings of a seminar.

Gramsci avance, dans ses Cahiers de prison, un certain nombre de propositions sur le sens commun. À partir d’elles, on peut penser une méthode qui permettrait de construire une histoire du sens commun et une histoire de la philosophie comme pratique de transformation du sens commun. Cinq thèses, en particulier, sont examinées : 1) tous les hommes sont philosophes ; 2) l’histoire de la philosophie livre une histoire déformée du sens commun ; 3) le sens commun est affecté de différents (...) niveaux de profondeur historique ; 4) il existe un noyau sain du sens commun (le bon sens) ; 5) la transformation du sens commun engage un processus moléculaire par lequel un individu s’élève à la conscience critique de ses propres manières de penser, de sentir et d’agir. (shrink)

After identifying points of agreement between Karl Rahner and Hans Urs von Balthasar on topics raised by Dr. Sain’s essay, this response raises questions about the deeper foundations of the substantial differences between them. It suggests that the appeal to contrast in their starting-points (Goethe versus Kant) as an explanation is not adequate and suggests lines of further inquiry which might be pursued further.

Buddhist Literature. Yesterday and Today. G. R. Sain. Concorde Press, Delhi 1992. vii, 232 pp. Rs. 300.

This study was administrated to undergraduate students living in the various hostels of Universiti Sains Malaysia. The primary purpose of this study was to identify the most important factors that predict undergraduate students’ level of satisfaction with the student hostels they are living in. This paper also explored the difference in the satisfaction levels of students living in hostels within the campus and those living in hostels outside the campus. Based on literature review, it was hypothesized that there would be (...) a difference in the satisfaction level between these two groups of hostel residents due to the different characteristics that these hostels have. Additionally, this study investigated the most preferred hostels among students and identified the reasons for the preference. A sample population of 288 students (220 females; and 68 males) was involved in this study with 48.3% living in hostels inside the campus and 51.7% living in hostels located outside the main campus area. The result of the study suggests that satisfaction with fees, distance from university facilities, room safety, room size, hostel security, and hostel facilities are the most important factors which predict undergraduate students’ satisfaction with their hostel. There was also a significant difference in the satisfaction level between inside-campus and outside-campus hostels students. The most important factors that influenced that students satisfaction levels were distance from the university facilities, the exterior condition of the hostel, hostel population, satisfaction with transport, hostel security, room size, and room safety. The study also found that the most preferred hostel among the students was Cahaya Gemilang due to its strategic location, close distance to lecture halls and other main facilities in the campus and, good internet network connection. Keywords: satisfaction, hostels, predicting factors, undergraduate students. (shrink)

Criticism of science and mathematics in Islamic manuscripts in Malay Archipelago.

On theory of knowledge in Islam according to Farabi and Averroes thoughts.

Une saine colère est d’autant plus convaincante qu’elle s’exprime avec verve et humour. On peut remercier ceux qui l’ont suscitée quand leurs « impostures » nous valent non seulement un essai polémique réjouissant, mais aussi la réédition d’un très beau livre consacré à Jeanne d’Arc et paru il y a cinq ans. Colette Beaune traçait, en 2004, un magnifique portrait de Jeanne la Pucelle, dont les facettes renvoyaient aux différents modèles auxquels l’héroïne se conforma et aux filtres mentaux pa...

Contexte : L’ensemble des troubles causés par l’alcoolisation fœtale (ETCAF), un diagnostic complexe qui comprend une vaste gamme de troubles neurodéveloppementaux, résulte de l’exposition à l’alcool dans l’utérus. L’ETCAF demeure mal compris par les Canadiens, ce qui pourrait contribuer à la stigmatisation dont souffrent les personnes atteintes d’ETCAF et les femmes qui consomment de l’alcool pendant leur grossesse. Méthodes : Pour mieux comprendre comment l’information sur l’ETCAF est présentée dans la sphère publique, nous avons analysé le contenu de 286 articles (...) tirés de dix grands journaux canadiens de langue anglaise (2002-2015). Nous avons utilisé le codage inductif pour établir une grille de codage à partir des données, puis nous avons appliqué de façon itérative des codes identifiés sur l’échantillon, en vérifiant la fiabilité intercodeurs. Résultats : Nous avons identifié six grands thèmes liés au contenu cliniques et scientifiques des médias : 1) prévalence de l‘ETCAF et de la consommation d’alcool chez les femmes ; 2) recherche en lien avec l’ETCAF ; 3) diagnostic d’ETCAF ; 4) traitement de l’ETCAF et de l’abus de substances par les mères ; 5) incapacités primaires associés à l’ETCAF ; et 6) effets de l’alcool pendant la grossesse. Discussion : Dans le cadre de ces six thèmes, nous examinons trois types d’exagération et de fausse représentation qui ont des conséquences sur le plan éthique : 1) l’exagération des taux d’ETCAF dans les communautés autochtones ; 2) la contradiction entre les articles sur les effets de l’exposition prénatale à l’alcool ; et 3) l’information scientifiquement exacte qui néglige le contexte social de la consommation et de l’abus d’alcool par les femmes. Respectivement, ces représentations pourraient mener à des croyances stéréotypées préjudiciables au sujet des peuples autochtones, pourraient créer de la confusion quant aux choix sains pendant la grossesse et risqueraient d’enflammer inutilement les débats sur des questions délicates concernant les choix des femmes. (shrink)