We consider ω n -automatic structures which are relational structures whose domain and relations are accepted by automata reading ordinal words of length ω n for some integer n ≥ 1. We show that all these structures are ω-tree-automatic structures presentable by Muller or Rabin tree automata. We prove that the isomorphism relation for ω 2 -automatic (resp. ω n -automatic for n > 2) boolean algebras (respectively, partial orders, rings, commutative rings, non commutative rings, non commutative groups) is not (...) determined by the axiomatic system ZFC. We infer from the proof of the above result that the isomorphism problem for ω n -automatic boolean algebras, n ≥ 2, (respectively, rings, commutative rings, non commutative rings, non commutative groups) is neither a ${\mathrm{\Sigma }}_{2}^{1}-\mathrm{s}\mathrm{e}\mathrm{t}$ nor a ${\mathrm{\Pi }}_{2}^{1}-\mathrm{s}\mathrm{e}\mathrm{t}$ . We obtain that there exist infinitely many ω n -automatic, hence also ω-tree-automatic, atomless boolean algebras $\mathcal{B}_{n}$ , n ≥ 1, which are pairwise isomorphic under the continuum hypothesis CH and pairwise non isomorphic under an alternate axiom AT, strengthening a result of [14]. (shrink)

We prove that, for each countable ordinal ξ≥1, there exist some -complete ω-powers, and some -complete ω-powers, extending previous works on the topological complexity of ω-powers [O. Finkel, Topological properties of omega context free languages, Theoretical Computer Science 262 669–697; O. Finkel, Borel hierarchy and omega context free languages, Theoretical Computer Science 290 1385–1405; O. Finkel, An omega-power of a finitary language which is a borel set of infinite rank, Fundamenta informaticae 62 333–342; D. Lecomte, Sur les (...) ensembles de phrases infinies constructibles a partir d’un dictionnaire sur un alphabet fini, Séminaire d’Initiation a l’Analyse, 1, année 2001–2002; D. Lecomte, Omega-powers and descriptive set theory, Journal of Symbolic Logic 70 1210–1232; J. Duparc, O. Finkel, An ω-Power of a Context-Free Language Which Is Borel Above , in: S. Bold, B. Löwe, T. Räsch, J. van Benthem , in the Proceedings of the international conference foundations of the formal sciences V : Infinite Games, November 26th to 29th, 2004, Bonn, Germany, in: Studies in Logic, vol. 11, College Publications at King’s College, 2007, pp. 109–122]. We prove effective versions of these results; in particular, for each recursive ordinal there exist some recursive sets A2<ω such that , where and denote classes of the hyperarithmetical hierarchy. To do this, we prove effective versions of a result by Kuratowski, describing a set as the range of a closed subset of the Baire space ωω by a continuous bijection. This leads us to prove closure properties for the pointclasses in arbitrary recursively presented Polish spaces. We apply our existence results to get better computations of the topological complexity of some sets of dictionaries considered in [D. Lecomte, Omega-powers and descriptive set theory, Journal of Symbolic Logic 70 1210–1232]. (shrink)

Locally finite omega languages were introduced by Ressayre [Formal languages defined by the underlying structure of their words. J Symb Log 53(4):1009–1026, 1988]. These languages are defined by local sentences and extend ω-languages accepted by Büchi automata or defined by monadic second order sentences. We investigate their topological complexity. All locally finite ω-languages are analytic sets, the class LOC ω of locally finite ω-languages meets all finite levels of the Borel hierarchy and there exist some locally finite ω-languages which are (...) Borel sets of infinite rank or even analytic but non-Borel sets. This gives partial answers to questions of Simonnet (Automates et Théorie Descriptive, Ph.D. Thesis. Université Paris 7, March 1992) and of Duparc et al. [Computer science and the fine structure of Borel sets. Theor Comput Sci 257(1–2):85–105, 2001]. (shrink)

A dictionary is a set of finite words over some finite alphabet X. The omega-power of a dictionary V is the set of infinite words obtained by infinite concatenation of words in V. Lecomte studied in [Omega-powers and descriptive set theory, JSL 2005] the complexity of the set of dictionaries whose associated omega-powers have a given complexity. In particular, he considered the sets $W({bfSi}^0_{k})$ (respectively, $W({bfPi}^0_{k})$, $W({bfDelta}_1^1)$) of dictionaries $V subseteq 2^star$ whose omega-powers are ${bfSi}^0_{k}$-sets (respectively, ${bfPi}^0_{k}$-sets, Borel sets). In (...) this paper we first establish a new relation between the sets $W({bfSigma}^0_{2})$ and $W({bfDelta}_1^1)$, showing that the set $W({bfDelta}_1^1)$ is ``more complex' than the set $W({bfSigma}^0_{2})$. As an application we improve the lower bound on the complexity of $W({bfDelta}_1^1)$ given by Lecomte. Then we prove that, for every integer $kgeq 2$, (respectively, $kgeq 3$) the set of dictionaries $W({bfPi}^0_{k+1})$ (respectively, $W({bfSi}^0_{k+1})$) is ``more complex' than the set of dictionaries $W({bfPi}^0_{k})$ (respectively, $W({bfSi}^0_{k})$). (shrink)

Local sentences were introduced by Ressayre in [6] who proved certain remarkable stretching theorems establishing the equivalence between the existence of finite models for these sentences and the existence of some infinite well ordered models. Two of these stretching theorems were only proved under certain large cardinal axioms but the question of their exact strength was left open in [4]. Here we solve this problem, using a combinatorial result of J. H. Schmerl [7]. In fact, we show that the stretching (...) principles are equivalent to the existence of n -Mahlo cardinals for appropriate integers n. This is done by proving first that for every integer n, there is a local sentence φn having well ordered models of order type τ, for every infinite ordinal τ > ω which is not an n -Mahlo cardinal. (shrink)

We prove that the determinacy of Gale-Stewart games whose winning sets are accepted by realtime 1-counter Büchi automata is equivalent to the determinacy of analytic Gale-Stewart games which is known to be a large cardinal assumption. We show also that the determinacy of Wadge games between two players in charge ofω-languages accepted by 1-counter Büchi automata is equivalent to the analytic Wadge determinacy. Using some results of set theory we prove that one can effectively construct a 1-counter Büchi automatonand a (...) Büchi automatonsuch that: There exists a model of ZFC in which Player 2 has a winning strategy in the Wadge gameW,L()); There exists a model of ZFC in which the Wadge gameW,L()) is not determined. Moreover these are the only two possibilities, i.e. there are no models of ZFC in which Player 1 has a winning strategy in the Wadge gameW,L()). (shrink)

Local sentences and the formal languages they define were introduced by Ressayre in. We prove that locally finite ω‐languages and effective analytic sets have the same topological complexity: the Borel and Wadge hierarchies of the class of locally finite ω‐languages are equal to the Borel and Wadge hierarchies of the class of effective analytic sets. In particular, for each non‐null recursive ordinal there exist some ‐complete and some ‐complete locally finite ω‐languages, and the supremum of the set of Borel ranks (...) of locally finite ω‐languages is the ordinal, which is strictly greater than the first non‐recursive ordinal. This gives an answer to the question of the topological complexity of locally finite ω‐languages, which was asked by Simonnet and also by Duparc, Finkel, and Ressayre in. Moreover we show that the topological complexity of a locally finite ω‐language defined by a local sentence φ may depend on the models of the Zermelo‐Fraenkel axiomatic system. Using similar constructions as in the proof of the above results we also show that the equivalence, the inclusion, and the universality problems for locally finite ω‐languages are ‐complete, hence highly undecidable. (shrink)

We prove that, for any natural number \, we can find a finite alphabet \ and a finitary language L over \ accepted by a one-counter automaton, such that the \-power $$\begin{aligned} L^\infty :=\{ w_0w_1\ldots \in \Sigma ^\omega \mid \forall i\in \omega ~~w_i\in L\} \end{aligned}$$is \-complete. We prove a similar result for the class \.

We prove that, for any natural number n≥1\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$n\ge 1$$\end{document}, we can find a finite alphabet Σ\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$\Sigma $$\end{document} and a finitary language L over Σ\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$\Sigma $$\end{document} accepted by a one-counter automaton, such that the ω\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$\omega $$\end{document}-power L∞:={w0w1…∈Σω∣∀i∈ωwi∈L}\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$\begin{aligned} (...) L^\infty :=\{ w_0w_1\ldots \in \Sigma ^\omega \mid \forall i\in \omega ~~w_i\in L\} \end{aligned}$$\end{document}is Πn0\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$${\varvec{\Pi }}^0_n$$\end{document}-complete. We prove a similar result for the class Σn0\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$${\varvec{\Sigma }}^0_n$$\end{document}. (shrink)

Organizational citizenship behaviors have been the topic of much research attempting to understand the motivations, manifestations, and impacts of these behaviors on organizational development. However, studies have been based essentially on an anthropocentric and intra-organizational perspective that tends to ignore broader environmental issues. Due to the complexity of environmental issues and their human, informal, and preventive aspects, consideration of these issues requires voluntary and decentralized initiatives that draw on organizational citizenship behaviors. The role of these behaviors has been neglected, or (...) even ignored, in studies of environmental management, which have focused mainly on the explicit, formal, and prescriptive aspects of organizations. The aim of this article is to shed light on the pertinence of organizational citizenship behaviors in improving the efficacy and efficiency of environmental management. The article discusses how the principal dimensions of these behaviors can be applied to the environmental practices of organizations and underlines their importance in responding to essential challenges of environmental management, including the complexity of environmental issues, limitations of formal management systems, the need to consider tacit knowledge, the importance of helping relationships, and the promotion of␣social legitimacy among organizations. Measures to encourage eco-efficiency and establish a favorable context for the emergence of citizenship behaviors are also proposed. (shrink)

This paper explores the strategies organizations use to demonstrate their accountability for biodiversity and legitimize their impact in this area through the use of techniques of neutralization. Neutralization aims to manage stakeholder impressions on very socially sensitive issues. Based on the content analysis of 148 sustainability reports from mining organizations, the study sheds light on the successful use of rhetoric in reports on non-measurable and potentially unaccountable issues. Specifically, the study shows that mining organizations use four main techniques of neutralization (...) when they explain their impact on biodiversity. When they address stakeholders, they defend their social legitimacy and environmental responsiveness using one of the four techniques: they claim of a net positive or neutral impact on biodiversity, they deny that they have a significant impact, they distance themselves from the impact of their actions, and they play down their responsibilities. The study contributes to the literature on corporate sustainability and accounting for stakeholders. It focuses on under-researched issues such as the management of biodiversity and the tactics used to rationalize negative impacts. The study also bridges the gap between theories about organizational legitimacy, impression management, and techniques of neutralization. (shrink)

This article presents, an analysis of the opinions of assurance providers regarding the quality and the limitations of sustainability reports and their recommendations to improve them using the Global Reporting Initiative as a framework. The qualitative content analysis of 301 assurance statements for sustainability reports from mining and energy companies provides a comprehensive view of the main outcomes of the assurance process, including its limitations, the application of the GRI principles and suggestions for improving sustainability reports. Taking into account the (...) perceptions of practitioners a priori well informed on the quality of sustainability reports—namely assurance providers—this paper complements the current literature on sustainability reporting and its assurance, including critical approaches that question the reliability of sustainability reports, stakeholder engagement and the accountability of reporting practices. This study contributes to the debates surrounding the quality of sustainability reports, the added value of assurance statements and the ethical issues underlying the assurance process. It also contains important practical implications for auditors, standardization organizations and stakeholders. (shrink)

The objective of this longitudinal study is to analyze the intrinsic drivers and values underlying managers’ organizational citizenship behaviors for the environment from a developmental psychology perspective based on measuring the stages of consciousness that shape the meaning-making systems of individuals. At time 1, the stages of consciousness of 138 managers were qualitatively assessed using the Leader Development Profile test. At time 2, a quantitative survey measured the environmental beliefs and OCBEs of these managers. The links between stages of consciousness, (...) environmental beliefs, and OCBEs were analyzed using hierarchical regressions. The main findings show that managers’ stages of consciousness positively influence two types of OCBEs, namely eco-initiatives and eco-helping, while environmental beliefs influence eco-helping and eco-civic engagement but do not appear to be connected with the stage of consciousness development. This paper first contributes to the literature on corporate greening by shedding more light on the aspects of behavioral and developmental psychology that underlie environmental leadership. Second, it bridges the gap between theories that have developed separately by showing the interconnectedness between the managers’ stage of consciousness and the more concrete environmental behaviors in the workplace that could have emulative effects throughout the organization. (shrink)

The increasing pressures to conserve biodiversity—particularly for industries based on the exploitation of natural resources—have reinforced the need to implement specific measures in this area. Corporate commitment to preserving biodiversity is increasingly scrutinized by stakeholders and now represents an important aspect of business ethics. Although stakeholder involvement is often essential to the management of biodiversity, very few studies in the literature have focused on the details of this involvement. The objective of this paper is to analyze how mining and forestry (...) companies can manage biodiversity issues through stakeholder involvement based on a content analysis of 430 sustainability reports using the Global Reporting Initiative framework. The paper elucidates the reasons for such involvement, the nature of stakeholders involved, and the types of measures employed to manage biodiversity. Stakeholders’ motives for becoming involved revolve around four main issues: complexity and knowledge management; self-regulation and relationships with public authorities; legitimacy and social responsiveness; and commercial and strategic objectives. The stakeholders involved in biodiversity initiatives are essentially non-governmental organizations, experts and universities, public authorities, and coalitions of companies. In the end, the initiatives identified can be grouped into three categories: management practices, socio-political actions, and research and conservation measures. The paper provides various examples of these initiatives and shows how they can be implemented in collaboration with different stakeholders depending on the company’s objectives. The contributions the study makes to the literature on biodiversity management and the managerial implications of the study are analyzed in the discussion section. (shrink)

Formalisms such as description logics (DL) are sometimes expected to help terminologies ensure compliance with sound ontological principles. The objective of this paper is to study the degree to which one DL-based biomedical terminology (SNOMED CT) complies with such principles. We defined seven ontological principles (for example: each class must have at least one parent, each class must differ from its parent) and examined the properties of SNOMED CT classes with respect to these principles. Our major results are: 31% of (...) the classes have a single child; 27% have multiple parents; 51% do not exhibit any differentiae between the description of the parent and that of the child. The applications of this study to quality assurance for ontologies are discussed and suggestions are made for dealing with multiple inheritance. (shrink)

The objective of this paper is to explore, through a qualitative study of small regional airports, how sustainability issues are taken into account in remote small- and medium-sized enterprises. Based on 42 semi-structured interviews conducted with managers of small regional Canadian airports and experts in this area, this study shows the quasi-absence of specific measures for sustainability, despite the seriousness of environmental issues, which tend to be subordinated to economic priorities and operational activities. The paper contributes to the literature on (...) sustainability in SMEs by focusing on passive organizations located in remote areas and the complex reasons underlying their lack or absence of environmental commitment. The paper sheds more light on the essential role of stakeholders in providing the resources and skills necessary for the development of sustainability initiatives in passive SMEs. The study’s managerial contributions and implications for stakeholders are also discussed. (shrink)

Generally attributed to Duns Scotus, as the correlate of formal distinction, and as the minimal component of being, the concept of reality is older than that. It arose during the twelfth century, u...

This article examines how the action logics associated with the stages of consciousness development of organizational leaders can influence the meaning, which these leaders give to corporate greening and their capacity to consider the specific complexities, values, and demands of environmental issues. The article explores how the seven principal action logics identified by Rooke and Torbert (2005, Harvard Business Review 83 (4), 66–76; Opportunist, Diplomat, Expert, Achiever, Individualist, Strategist and Alchemist) can affect environmental leadership. An examination of the strengths and (...) limitations of these action logics reveals the relevance of the so-called post-conventional stages of consciousness to the recognition and effective management of complex environmental issues. Suggestions are also made for promoting organizational contexts conducive to the development of a post-conventional environmental leadership. (shrink)

The objective of this paper is to investigate, through a qualitative study based on 38 semi-structured interviews with agents who provide assurance of sustainability reports, how they perceive and manage ethical issues underlying the verification of sustainability reports. Most of the ethical issues observed involve four interconnected aspects: the commercialism underlying sustainability assurance, the symbolic nature of the verification process, interdependency between auditing and consulting activities, and familiarity with the audited companies. The findings shed light on the reflexivity of assurance (...) providers on these issues and the legitimation strategies used to explain how they reconcile the independence and impartiality required for auditing activities with commercial aspects related to client–provider relationships. The study also shows the role of contextual variables in the ethics of assurance services. The paper contributes to the literature on the legitimacy of sustainability assurance and commercialism of the audit function. Practical implications and avenues for future research are also developed. (shrink)

In this work, the author has two complementary objectives. Firstly, to demonstrate the contemporaneity of the Middle Ages and secondly, the false novelty of the Modern Times. The author shows the medieval horizon of modernity and, therefore, the false disjunction established between its origin, as rupture and break, considering the Middle Ages as Dark Ages. The author analyses several moments considered as indicating that rupture and several topics traditionally considered as modern, in order to demonstrate their medieval filiations. The author (...) does not pretend to defend the historical continuity within the logic of modernity, but the possibility of a genealogy of “oblivions” characterizing our age, in order to defend and reconsider the non- contemporary within a new definition of the contemporary and the study of medieval philosophy for herself, beyond her pre-modernity, in a post-modern order. (shrink)

Cette étude explore les ruptures et les transformations imposées à la doctrine de la liberté d’indifférence au XVIIe siècle. Celle-ci, d’origine scotiste, mais modifiée par les controverses autour de Molina, s’oppose d’abord aux théories thomistes de la prédétermination physique. L’œuvre de Gibieuf, pour qui l’indifférence décroît proportionnellement à l’évidence du bien, en change radicalement la signification. Désormais, certains thomistes pourront accepter l’indifférence, tandis que le jansénisme en fait un repoussoir. La pensée de Descartes apparaît ainsi comme une stratégie pour faire (...) une place à la liberté sans entrer dans les querelles théologiques : elle repose sur deux indéterminations successives, destinées à la rendre compatible tantôt avec la prédétermination, tantôt avec la science moyenne moliniste. Ainsi, Descartes est le seul philosophe classique à faire une place à la liberté d’indifférence, mais il est aussi celui qui la repousse à une place inférieure, amorçant ainsi un refoulement que consommeront ses successeurs.This study aims at exploring the splits and transformations which the theory of freedom of indifference has undergone during the XVIIth century. This theory has a Scotistic origin, but it was modified by the controversies around Molina. It is primarily directed against the « Thomsitic » theories of physical predetermination. The works of Gibieuf, for whom indifference decreases proportionally to the growth of evidence and goodness, has radically changed its meaning. Hereafter, a few Thomists will agree with the indifference theory, while it serves as a foil to Jansenists. Descartes’ thought appears thus as a strategy to give way to freedom without entering into theological controversies. It is grounded on two successive indeterminations, which make it compatible, once with predetermination, once with the molinist scientia media. Thus, Descartes is the sole classical philosopher who admits some indifference, but he is also the sole to force it back to an inferior position, beginning thus a containment which will be accomplished by his successors. (shrink)

Les detracteurs du materialisme le donnent pour poussiereux, triste, deplace, ennuyeux. C'est aussi la reputation de la philosophie. Que dire de leur histoire! L'auteur, qui, en trente annees de philosophie, n'a pas trouve matiere a s'ennuyer, propose au lecteur quelques elements pour en juger: du materialisme de l'Antiquite a celui du dix-septieme siecle, de celui des Lumieres aux materialismes historiques, il l'invite a decouvrir des lieux inapercus ou de nouvelles perspectives dans l'histoire de la philosophie. Ceux qui veulent rester philosophes (...) pourront savoir gre aux materialistes de ce que la philosophie leur doit. En compagnie d'Epicure et de Hobbes, de Marc-Aurele et de Cyrano, de Gassendi et de Marx, et d'autres plus clandestins, il y a encore matiere a s'instruire, a se divertir, a s'etonner. (shrink)

Recueil de contributions sur la connaissance du monde par Dieu et sur le statut des vérités objectives de la science montrant la diversité des approches proposées par des philosophes tels que Thomas d'Aquin, Duns Scot, Guillaume d'Ockham, François de Meyronnes, Nicolas Malebranche, Pierre Bayle...

Dans cette question sur le livre II des Sentences, Guiral Ot demande si la créature, avant sa création, a un être propre, distinct de celui du Créateur : d’une part, Dieu crée ex nihilo ; avant la création, il n’y a donc rien, hormis Dieu ; d’autre part, Dieu connaît et veut de toute éternité ce qu’il produira avant de le produire ; les créatures ont bien un être-connu et un être-voulu en Dieu. Pour répondre à cette difficulté, Duns Scot (...) avait admis un être possible et un être relatif des créatures dans la pensée divine. Mais, avec plus de subtilité encore, Guiral Ot aperçoit neuf manières pour les choses d’être dans la pensée divine avant d’être créées. C’est le déploiement de ces modes d’être ainsi que leur articulation que nous révèle l’édition de cette question. (shrink)

Augustin est le seul penseur antique à avoir rédigé un traité sur le concept d’image, la Question 74, où il démontre la possibilité d’une image (invisible) de l’invisible. Cette conception éclaire la réticence des Libri Carolini envers la théologie de l’icône, développée par le concile de Nicée II. La doctrine augustinienne de l’image mentale, associée au texte déchiffré, permet de comprendre la théorie médiévale de la méditation, et l’inflexion qu’elle subit en devenant « représentation » (Aelred de Reivaulx). Elle permet (...) enfin de justifier la doctrine de la vision face à face, contre l’invisibilité de Dieu dans l’au-delà, définie par Denys et Jean Scot, qui sera condamnée en 1241. (shrink)

Dans son œuvre théologique, Duns Scot propose une démonstration métaphysique de la Trinité. Il produit une véritable déduction a priori des émanations trinitaires, sans recourir aux données de l’Écriture, et antérieurement même aux noms des personnes. Puisqu’il n’existe que deux productions possibles, par mode d’intellection et par mode de volition, et parce qu’il faut partir d’une subsistence première, Duns Scot montre que l’essence divine, par le biais de la première personne, se communique nécessairement aux deux autres. Ce schéma fait l’économie (...) du Filioque hérité d’Augustin dans l’occident latin. Mais il y a un prix à payer : il est impossible de penser le passage de l’essence unitaire de Dieu à la triplicité des subsistences ; la réflexion se détache de l’Écriture sainte ; la théologie se sépare de l’économie du salut. (shrink)

Recueil de contributions sur la connaissance du monde par Dieu et sur le statut des vérités objectives de la science montrant la diversité des approches proposées par des philosophes tels que Thomas d'Aquin, Duns Scot, Guillaume d'Ockham, François de Meyronnes, Nicolas Malebranche, Pierre Bayle...

Medieval philosophers admit a physical indeterminacy of natural powers, because they can be determined by something else. However, rational powers have a metaphysical form of indeterminacy, which allows the will to be determined by reason (Thomas Aquinas), or to determine itself (Duns Scotus). Yet, what distinguishes the two main forms of self-determination in Duns Scotus - the unlimited will and the infinite God? In finite beings, the will is unlimited because it always depends on something else, on an object that (...) is a partial cause of its determination, whereas God depends only on Himself for self-determination. Hence, the concepts of indeterminacy, unlimitedness and infinity are strictly distinct in Duns Scotus. (shrink)