Possible-world semantics are provided for Parikh’s relevance-sensitive model for belief revision. Having Grove’s system-of-spheres construction as a base, we consider additional constraints on measuring distance between possible worlds, and we prove that, in the presence of the AGM postulates, these constraints characterize precisely Parikh’s axiom (P). These additional constraints essentially generalize a criterion of similarity that predates axiom (P) and was originally introduced in the context of Reasoning about Action. A by-product of our study is the identification of two possible (...) readings of Parikh’s axiom (P), which we call the strong and the weak versions of the axiom. An interesting feature of the strong version is that, unlike classical AGM belief revision, it makes associations between the revision policies of different theories. (shrink)

Alchourrón, Gärdenfors and Makinson have developed and investigated a set of rationality postulates which appear to capture much of what is required of any rational system of theory revision. This set of postulates describes a class of revision functions, however it does not provide a constructive way of defining such a function. There are two principal constructions of revision functions, namely an epistemic entrenchment and a system of spheres. We refer to their approach as the AGM paradigm. We provide a (...) new constructive modeling for a revision function based on a nice preorder on models, and furthermore we give explicit conditions under which a nice preorder on models, an epistemic entrenchment, and a system of spheres yield the same revision function. Moreover, we provide an identity which captures the relationship between revision functions and update operators (as defined by Katsuno and Mendelzon). (shrink)

A new methodology for developing theories of action has recently emerged which provides means for formally evaluating the correctness of such theories. Yet, for a theory of action to qualify as a solution to the frame problem, not only does it need to produce correct inferences, but moreover, it needs to derive these inferences from a concise representation of the domain at hand. The new methodology however offers no means for assessing conciseness. Such a formal account of conciseness is developed (...) in this paper. Combined with the existing criterion for correctness, our account of conciseness offers a framework where proposed solutions to the frame problem can be formally evaluated. (shrink)

In a recent article, Zhang and Foo generalized the AGM postulates for contraction to include infinite epistemic input. The new type of belief change is called set contraction. Zhang and Foo also introduced a constructive model for set contraction, called nicely ordered partition, as a generalization of epistemic entrenchment. It was shown however that the functions induced from nicely ordered partitions do not quite match the postulates for set contraction. The mismatch was fixed with the introduction of an extra condition (...) called the limit postulate. The limit postulate establishes a connection between contraction by infinite epistemic input and contraction by finite epistemic input (reducing the former to the latter) and it is appealing both on mathematical and on conceptual grounds. It is debatable however whether the limit postulate can be adopted as a general feature of rationality in set contraction. Instead we propose that the limit postulate is viewed as a condition characterizing an important special case of set contraction functions. With this reading in mind, in this article we introduce an alternative generalization of epistemic entrenchment, based on the notion of comparative possibility. We prove that the functions induced from comparative possibility preorders precisely match those satisfying the postulates for set contraction (without the limit postulate). The relationship between comparative possibility and epistemic entrenchment is also investigated. Finally, we formulate necessary and sufficient conditions under which the functions induced from comparative possibility preorders coincide with the special class of contraction functions characterized by the limit postulate. (shrink)

There are two well-developed formalizations of discrete time dynamic systems that evidently share many concerns but suffer from a lack of mutual awareness. One formalization is classical systems and automata theory. The other is the logic of actions in which the situation and event calculi are the strongest representatives. Researchers in artificial intelligence are likely to be familiar with the latter but not the former. This is unfortunate, for systems and automata theory have much to offer by way of insight (...) into problems raised in the logics of action. This paper is an outline of how the input-output view of systems and its associated solution of state realization may be applied to the formalization of dynamics that uses a situation calculus approach. In particular, because the latter usually admits incompletely specified dynamics, which induces a non-deterministic input-output system behavior, we first show that classical state realization can still be achieved if the behavior is causal. This is a novel systems-theoretic result. Then we proceed to indicate how situation calculi dynamic specifications can be understood in systems-theoretic terms, and how automata can be viewed as models of such specifications. As techniques for reasoning about automata are abundant, this will provide yet more tools for reasoning about actions. (shrink)

In this paper, we advocate the usage of the family of Heyting-valued modal logics, introduced by M. Fitting, by presenting a simple 3-valued modal language and axiomatizing an interesting 3-valued logic of belief. We give two simple bisimulation relations for the modal language, one that respects non-falsity and one that respects the truth value. The doxastic logic axiomatized, apart from being interesting in its own right for KR applications, it comes with an underlying 3-valued propositional logic which is a syntactic (...) variant of the ‘logic of here-and-there’, whose importance in KR and Logic Programming is well-known, it is endowed from its very inception with a Gentzen-style proof theory from [Fit92] and a completeness theorem from [KNP02], it can be equivalently seen as a logic describing the epistemic agreement of two interrelated agents: a K45 agent who ‘dominates’ an S5 agent, as we show here, its satisfiability problem is NP-complete, i.e. at the lower level one can expect for applied logics. This is the first concrete example of an epistemic logic from Fitting's framework, that has been overlooked hitherto, despite its many attractive characteristics. (shrink)

We prove frame determination results for the family of many-valued modal logics introduced by M. Fitting in the early '90s. Each modal language of this family is based on a Heyting algebra, which serves as the space of truth values, and is interpreted on an interesting version of possible-worlds semantics: the modal frames are directed graphs whose edges are labelled with an element of the underlying Heyting algebra. We introduce interesting generalized forms of the classical axioms D, T, B, 4, (...) and 5 and prove that they are canonical for certain algebraic frame properties, which generalize seriality, reflexivity, symmetry, transitivity and euclideanness. Our results are quite general as they hold for any modal language built on a complete Heyting algebra. (shrink)

We prove frame determination results for the family of many-valued modal logics introduced by M. Fitting in the early '90s. Each modal language of this family is based on a Heyting algebra, which serves as the space of truth values, and is interpreted on an interesting version of possible-worlds semantics: the modal frames are directed graphs whose edges are labelled with an element of the underlying Heyting algebra. We introduce interesting generalized forms of the classical axioms D, T, B, 4, (...) and 5 and prove that they are canonical for certain algebraic frame properties, which generalize seriality, reflexivity, symmetry, transitivity and euclideanness. Our results are quite general as they hold for any modal language built on a complete Heyting algebra. (shrink)

Interest in corporate social responsibility (CSR) is gaining momentum in academic and managerial circles. However, prior work in the area has paid little attention to how CSR initiatives should be implemented inside the organization. Against this backdrop, this study examines the impact of CSR initiatives on an important stakeholder group—employees. We build and test a comprehensive multilevel framework that focuses on whether employees derive job satisfaction from CSR programs. The proposed model predicts that a manager’s charismatic leadership influences employees’ interpretations (...) about the motives underlying their companies’ engagement in CSR initiatives (intrinsic and extrinsic CSR-induced attributions) which, in turn, influence employee job satisfaction. Hierarchical linear modeling of data from 47 organizational units comprising 438 employees from three world-leading manufacturing organizations shows that when employees think that their manager possesses charismatic leadership qualities, they tend to attribute the organization’s motives for engaging in CSR activities to intrinsic values, which, in turn, are positively associated with job satisfaction. Also, the extent to which managers are perceived as charismatic leaders relates positively to job satisfaction. Interestingly, CSR-induced extrinsic attributions are neither explained by charismatic leadership nor do they predict job satisfaction. Implications for both theory and practice are discussed. (shrink)

Nous posons à Aristote une question bien claire : en quoi consiste l'autonomie de la Raison pratique? Cette autonomie ne sera pas assuree par la Raison kantienne et sa prétention à l'universalité mais par une " perception morale " (aisthesis), par la phronésis. Notre entreprise fait avancer la question d'un pas supplémentaire. Elle prétend imprimer à la réponse aristotelicienne une orientation précise, étant donné qu'elle fait dépendre cette autonomie de la possibilite d'une ontologie (c'est-à-dire, d'une phénoménologie) de l'action morale. Notre (...) position peut donc s'annoncer ainsi : la phronésis, en tant qu'accès aux principes de la prakis, constitue la condition de possibilite de toute action morale. La fonction de la phronésis se trouvera éclairée à travers l'analyse du problème de l'altérité, de la reconnaissance de l'autre. Cet autre " en chair et en os ", nous le rechercherons dans l'ami aristotélicien. La structure de l'amitié sera déterminée dans son opposition par rapport aux modèles de la techné et de la Sophia, ce qui conduira finalement à l'autonomie de la sphère pratique. Si cette description de la praxis s'avère être effectivement en adéquation avec les phénomènes eux-mêmes, nous aurons ouvert une voie destinée à faire apparaitre une coïncidence de l'ontologie et de la morale, auquel cas l'ontologie de la praxis reflétera les principes du " bien agir " lui-même. (shrink)

B a c k g r o u n d. The ordinary language philosophy should be considered as a set of different but interconnected research projects within the Anglo-American analytical philosophy of the first half and middle of the 20th century. A common factor for these studies is the application of the method of linguistic analysis of natural language expressions to solve many classical problems for philosophy. This method replaced the prevailing idealistic concepts, and was picked up and developed in (...) Great Britain by the works and scientific explorations of J. Moore and B. Russell. It is a generally accepted opinion that the sphere of interests of representatives of the ordinary language philosophy is divided between two poles, represented by the works of L. Wittgenstein and D. Austin. M e t h o d s. In the article, the author used the method of historical-philosophical reconstruction to clarify the role, place and genesis of the ordinary language philosophy as a dominant methodology within the Anglo-American analytical philosophy of the middle of the 20th century, general scientific methods of cognition: analysis, synthesis, generalization to clarify key ideas and concepts, which is the basis of the methodology of the ordinary language philosophy, as well as methods of systematization and comparison. R e s u l t s. The article clarifies the genesis of the main ideas and concepts of the philosophy of everyday language, as well as gives an example of the modern strategy of criticism of this methodological direction. The key postulates of the ordinary language philosophy age are clarified, namely: (i) the thesis that philosophical problems arise due to the incorrect use of language and must be solved by clarifying the meanings of words, (ii) philosophical analysis should not be based on the discovery of hidden logical forms of expression, and on the clarification of the necessary and sufficient conditions for the use of the expression, including the analysis of the situation of use, (iii) meaning as use, (iv) the philosophical analysis of the meaning should be carried out informally, taking into account the analysis of each specific case of the use of the expression, (v) criticism systematic theories of meaning. C o n c l u s i o n s. At the current stage of the development of analytical philosophy, there is a noticeable increase in attention to the achievements of the ordinary language philosophy. Among modern researchers and critics of this direction, the names of A. Baz, D. Nagel, S. Somes, and T. Williamson can be singled out. The presence of the interest of modern researchers indicates premature statements about the completion of the ordinary language philosophy. This concept should be rehabilitated, and its methodological apparatus should enrich the arsenal of scientific methods of modern analytical philosophers. (shrink)

У статті досліджуються проблеми фінансування енергоефективного будівництва. Автором проаналізовано останні тенденції банківського кредитування в Україні. Розглядається питання відмінностей між звичайним та енергоефективним будівництвом з точки зору інвестиційної привабливості. Висвітлено підходи до визначення енергоефективності. Наводяться економічні переваги та недоліки спорудження та експлуатації енергоефективних будинків, сучасні макроекономічні фактори та тенденції, що впливають на аналізоване явище.

Henri Bergsono gyvybės kilmės hipotezė vengia pateikti šios problemos sprendimą, visgi filosofas pateikia keletą pasiūlymų. Nuodugnus jo tekstų skaitymas netiesiogiai atskleidžia prielaidą, kad gyvybė žemėje atsirado vykstant natūraliems procesams. Šiame straipsnyje nagrinėjama élan (polėkio) sąvoka bei akcentuojama šios filosofinės sąvokos evoliucija Bergsono mintyje. Élan argumentuotai atskiriamas nuo jo nuolatinio palydovo vital (gyvybiškasis), kadangi siekiama pabrėžti jo nedvasinį aspektą, kuris taikomas tam, ką Bergsonas apibūdino kaip „fiziologinę gyvybę“. Noriu pabrėžti, kad élan turi savo istoriją ir kad neabejotinai buvo akimirka, kuomet élan (...) prasidėjo. Galiausiai argumentacija perkeliama nuo élan istorijos ir kilmės prie gyvybės istorijos ir kilmės. (shrink)

The present paper proposes a new reading of one of the most obscure passages of De Architectura; in I, 1,3 Vitruvius claims that in architecture there is always a signifier and a signified, but his approach differs from Quintilian’s as presented in the latter’s Institutio Oratoria. Vitruvius’ is closer to Chrysippus approach, but he fails to mention the third constituent, the tynchanon. This omission is probably due to the fact that Vitruvius speaks of designs rather, than of existing buildings. What (...) can successfully signify a proposed building is, according to my reading, the design and erection of a building that is easily recognized by the public as realizing the intentions of the community to erect the proposed building. Such successful signification constitutes the ultimate criterion for good architecture. (shrink)

This study seeks to examine the mechanisms by which a corporation’s use of philanthropy affects its reputation for corporate social performance (CSP), which the authors conceive of as consisting of two dimensions: CSP awareness and CSP perception. Using signal detection theory (SDT), the authors model signal amplitude (the amount contributed), dispersion (number of areas supported), and consistency (presence of a corporate foundation) on CSP awareness and perception. Overall, this study finds that characteristics of firms’ portfolio of philanthropic activities are a (...) greater predictor of CSP awareness than of CSP perception. Awareness increases with signal amplitude, dispersion, and consistency. CSP perception is driven by awareness and corporate reputation. The authors’ contention that corporate philanthropy is a complex variable is upheld, as we find that CSP signal characteristics influence CSP awareness and perception independently and asymmetrically. The authors conclude by proposing avenues for future research. (shrink)

Below, suggested thoughts were expressed by me when I just learned about an irreparable event - the departure from the earthly existence of pastor Peter Konstantinovich Martyanov. Since then, it's hard to imagine now, two years. Time spell is inexorable. But there is a higher flow of time. It is human honor and memory. The good deeds of man live uncountably for a long time as an embodiment of the memory of her. And a man lives as much as he (...) will remember about his good deeds. So - everyone chooses in his earthly existence his own way. The Path of eternal Remembrance of your own good deeds, or the unlucky darkness of your own evil deeds. Peter Konstantinovich always served God, and hence - people. Therefore, he will be remembered with respect and remembered by a good word and after leaving the earthly life. Therefore, on the deadline of September 7, the religious scholars of Ukraine, with whom he worked fruitfully to establish tolerance in interfaith relations in the Odessa region, was to be honored, to honor the light of the memory of the man who did so much for the establishment of Ukrainian unbiased religious studies, who was not afraid to be righteous and sincere then When it was not easy, who was not afraid, as Vasyl Stus once articulated, to be "self-fulfilling". (shrink)

This paper explores Pope Francis’ and the Holy See’s reaction to the war in Ukraine, and attempts to explain the logic behind it. After introducing the Holy See’s statements since the start of Russia’s aggression, the author reads them through the background of Catholic social teaching. In particular, he claims that the ambiguities of the Holy See’s position are due to the unresolved tension between the traditional just war approach and a tendency towards nonviolence. The latter has acquired prominence over (...) the last decades, in particular with Francis’ Fratelli Tutti. The author concludes that the war in Ukraine represents a pivotal moment in the Catholic Church’s thinking on war and peace. (shrink)

Despite the undeniable epistemic progress of developmental biology from the second half of the twentieth century to the present day, there still is widespread disagreement on defining the biological term of ‘development’. This scientific field epistemologically is neither unsuccessful nor immature, thus the persistent lack of agreement on its most central concept raises some important questions: is there any need for an explicit definition of biological development, and if so, what content should the definition have? My central thesis is twofold. (...) First, that current definitions of biological development are conceptually or empirically inadequate. Second, that an explicit definition of biological development is very much needed (a) for the practical purposes of science textbooks, but more importantly is needed (b) epistemically for exposing or overcoming problematic assumptions and for partially guiding scientific research by coding the appropriate assumptions. To support this thesis, initially I will show the deficiencies of the dominant definitions of biological development; and subsequently I will provide two arguments: an Argument from Practical Purposes and an Argument from Epistemic Purposes. Finally, for accommodating practical and epistemic purposes and as a response to the inadequacy of the available definitions of development, I will propose and defend an operational definition of biological development which is aimed to be broader than the received ones, while being more precise and fruitful to conduct empirical research. (shrink)

The Church is commonly spoken of as an institutional reality, but much less frequently recognized as a spiritual and heavenly reality called by God " to make disciples of all nations." (Mt. 28:19) This modest work furthers the development of a structured and integrated Christian Orthodox political thought, whereby the Church is neither sidelined as having no relevance to this present life, nor dominated by temporal questions or popular movements at the expense of its eternal salvific mission. The author seeks (...) to ground the mission of the Church in the present world both on an understanding of God as Trinity and in Her mission to baptize diverse cultures. To do this effectively the Church must recognize and adapt to local and contemporary political and social trends and patterns. It must exemplify the Gospel as a way of communal and social life, not allowing itself to be reduced to an impersonal ideology manifest within the sphere of either imagination, ideology, or a private individualistic existence. (shrink)

On December 5, 1963, at the end of the second session of the Second Vatican Council, a "Decree on means of public notice" was signed together with the Constitution on the Holy Liturgy. This was the first of the nine decrees issued by the Council, which expressed the views of the entire Ecumenical Church, which represented at the Council more than 2500 bishops, experts and theologians who participated in the General Assembly. Almost half of the Fathers of the Council were (...) pastors of European dioceses. There were also 379 African bishops, 300 bishops from Asia and almost a thousand from the United States at the Council. All of them - the heirs of the College of the Apostles - saw humanity entering into a new phase of dialogue through the media, and wanted to answer the question of whether the Church could use them for their development and proclamation of the Gospel. (shrink)

Debreu (American Economic Review 50:186–188, 1960) famously criticized Luce (Individual choice behavior, Wiley, New York, 1959) choice model with what became known as the red-bus blue-bus example: if a choice set contains two distinct alternatives C (car) and B (blue bus) then adding a third alternative A (red bus) that is essentially identical to B does not affect the choice probability of C but reduces the choice probability of B by half. Debreu’s critique highlights the existence of substitution effects violating (...) the principle of independence from irrelevant alternatives—the cornerstone of Luce (Individual choice behavior, Wiley, New York, 1959) choice model. This paper weakens this principle to construct a model of probabilistic choice satisfying Debreu’s critique. (shrink)

The problem of intertemporal choice arises when outcomes are received in different moments of time. This paper presents an axiomatic model of intertemporal choice when consumption in the previous moment of time contributes to utility evaluation of consumption in the current moment. This model generalizes classic discounted utility theory (also known as constant or exponential discounting) in two ways. First, in every moment of time, a decision maker derives utility not only from current consumption but also from “residual” consumption in (...) the previous moment of time. Second, these utilities are discounted with weights that are essentially a quasi-hyperbolic discounting function. The paper presents an application of the proposed model to the problem of optimal consumption and savings given a fixed income (wealth). When a decision maker derives satisfaction from both instantaneous consumption as well as a share of consumption in the previous moment of time, optimal consumption path is cyclic—periods of relatively high consumption are interchanged with periods of relatively low consumption. These cycles decay over time. Asymptotically, the consumption path exhibits conventional properties (constant, increasing or decreasing over time when a gross interest rate multiplied by discount factor is correspondingly equal to, greater than, or less than one). (shrink)

Risk preferences of Australian academics are elicited by analyzing the aggregate distribution of their retirement funds across available investment options. Not more than 10 % of retirement funds are invested as if their owners maximize expected utility under the assumption of constant relative risk aversion with an empirically plausible level of risk aversion. An implausibly high level of risk aversion is required to rationalize any investment into bonds when stocks are available. Not more than 36.54 % of all investments can (...) be rationalized by a model of loss averse preferences. Moreover, the levels of loss aversion typically reported in the experimental studies imply overinvestment in bonds, which is not observed in the data. Up to 67.18 % of all investments can be rationalized by rank-dependent utility or Yaari’s dual model with empirically plausible parameters. A median Australian academic behaves as if maximizing rank-dependent utility with parameter γ∈[0.76,0.79]\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$\gamma \in [0.76, 0.79]$$\end{document} in a Tversky and Kahneman probability weighting function. (shrink)

In decision theory, the betweenness axiom postulates that a decision maker who chooses an alternative A over another alternative B must also choose any probability mixture of A and B over B itself and can never choose a probability mixture of A and B over A itself. The betweenness axiom is a weaker version of the independence axiom of expected utility theory. Numerous empirical studies documented systematic violations of the betweenness axiom in revealed individual choice under uncertainty. This paper shows (...) that these systematic violations can be linked to another behavioral regularity—choice shifts in a group decision making. Choice shifts are observed if an individual faces the same decision problem but makes a different choice when deciding alone and in a group. (shrink)

This paper presents an overlapping generations household model with positive assortative matching, incomplete information about partner’s type and a gender pay gap on the labor market. In equilibrium, a gender pay gap creates an excess supply of desirable husbands and women marry early to increase their chance of being matched with an ideal partner, which results in a gender age gap on the marriage market. A modified model with asymmetric information yields a similar result. An extended model where individuals have (...) an option to remain single yields a similar result as well. (shrink)

Cet article présente les travaux de restauration de murs de bâtiments essentiellement privés de Délos réalisés entre 2013 et 2019 par l’École française d’Athènes et l’Éphorie des Cyclades. Les causes et les conséquences de la dégradation des monuments sont décrites. On trouve un bref historique des travaux de restauration à Délos au xxe siècle, suivi par la présentation des travaux récents et de la méthode employée. Les travaux réalisés sont décrits en détail et la conclusion en dresse un bilan. L’article (...) est accompagné d’une annexe où l’on trouve l’analyse du mortier de terre qui a été utilisé comme liant dans les murs des bâtiments antiques de Délos. Le mortier employé dans les travaux de restauration moderne est issu de cette analyse. (shrink)