In 1952, Heinrich Scholz published a question in The Journal of Symbolic Logic asking for a characterization of spectra, i.e., sets of natural numbers that are the cardinalities of finite models of first order sentences. Günter Asser in turn asked whether the complement of a spectrum is always a spectrum. These innocent questions turned out to be seminal for the development of finite model theory and descriptive complexity. In this paper we survey developments over the last 50-odd years pertaining to (...) the spectrum problem. Our presentation follows conceptual developments rather than the chronological order. Originally a number theoretic problem, it has been approached by means of recursion theory, resource bounded complexity theory, classification by complexity of the defining sentences, and finally by means of structural graph theory. Although Scholz' question was answered in various ways, Asser's question remains open. (shrink)

The devotion of a full article in the Paris Agreement to loss and damage was a major breakthrough for the world’s most vulnerable nations seeing to gain support for climate impacts beyond what can be adapted to. But how will loss and damage be paid for, and who will pay it? Will ethics be part of this decision? Here we ask what are the possible means of raising predictable and adequate levels of funding to address loss and damage? Utilizing a (...) framework developed by Marco Grasso, we argue that making the ethical connections between addressing climate impacts and finance mechanisms could significantly enhance their likelihood of being adopted. We briefly review insurance mechanisms and catastrophe bonds, and then move on to six “innovative finance” approaches to funding loss and damage. We utilize six criteria in assessing them: adequacy, predictability, technical feasibility, fairness, and indirect effects, and whether each has a clear link to loss and damage. Several mechanisms for gathering funds emerged as most promising. Three of the six financial mechanisms we reviewed to raise funding involved airline transport: clearly, there is a huge opportunity to tax this sector in one form or another, in recognition of airline emissions’ role in creating losses and damages in vulnerable nations from sea level rise, droughts, floods or hurricanes. Funding loss and damage response is a contentious issue that will get only more unwieldy if Parties’ conceptions of loss and damage are at odds: a common definition of loss and damage needs to be agreed upon under the UNFCCC. Most immediately, to meet any equity criteria, wealthy countries should do more to support the premiums of those who cannot afford insurance. (shrink)

We study the extension of dependence logic \ by a majority quantifier \ over finite structures. We show that the resulting logic is equi-expressive with the extension of second-order logic by second-order majority quantifiers of all arities. Our results imply that, from the point of view of descriptive complexity theory, \\) captures the complexity class counting hierarchy. We also obtain characterizations of the individual levels of the counting hierarchy by fragments of \\).

De 1815 - avec le Congrès de Vienne qui inaugure une ère de Restauration - à mars 1848, avec les répercussions de la révolution de février en Europe, la période du Vormârz ("avant mars") se caractérise, au sein du monde germanique, par une vie intellectuelle d'une particulière effervescence. Les grandes philosophies qui se sont construites pour dépasser Kant, avec Fichte, Schelling et Hegel, autorisent bon nombre de penseurs allemands à considérer l'Allemagne comme étant philosophiquement en avance sur son temps, ou (...) tout au moins à la pointe de la modernité. Cette avance théorique tranche pourtant avec la réalité politique et sociale de l'époque, façonnée par Metternich. Une solution de cette contradiction dans laquelle se trouve l'Allemagne semble alors résider, aux yeux de certains auteurs, dans l'idée suivant laquelle il ne resterait plus à l'Allemagne qu'à réaliser sa philosophie. Le présent ouvrage entend contribuer à l'analyse de la façon dont le thème de la réalisation de la philosophie est élaboré par, ou à partir des réflexions de plusieurs auteurs de l'époque. Il s'agit des Jeunes Hégéliens, et principalement : Eduard Gans, Heinrich Heine, Arnold Ruge, Ludwig Feuerbach, Max Stirner, David Strauss, les frères Bruno et Edgar Bauer, Moses Hess, Michel Bakounine, August von Cieszkowski, Karl Marx et Friedrich Engels."--Page 4 of cover. (shrink)

Les études tentant de répondre à la question " Qu'est-ce que la justice? " et à cette autre, inséparable, " Qu'est-ce qu'une société juste? " sont assez nombreuses ces dernières années, mais elles ne sont pas toujours faciles d'accès, au contraire du livre d'Alain Durand. Par un discours systématique et structuré, il présente quelques réflexions occasionnées par des lectures ou par des événements et tendances de fond liés à l'actualité. L'auteur se confronte à de grands auteurs qui, depuis Aristote jusqu'à (...) John Rawls, sans oublier d'autres penseurs plus récents, ont substantiellement enrichi les approches de la justice sociale. Une attention particulière est accordée à l'apport du christianisme. La foi, en effet, ne cesse d'apparaître comme une force d'interrogations radicales pour l'élaboration d'une société plus juste. Et l'Eglise, qui doit être attentive aux priorités et aux dérives dans ce domaine, est ainsi conduite à des remises en question, tant en elle-même, que dans un monde devenu éthiquement pluraliste. La lecture de ce livre peut être faite assez librement, par les multiples portes d'entrée qu'il offre. (shrink)