v. 1. Nicomachean ethics. Politics. The Athenian Constitution. Rhetoric. On Poetics.--v. 2. Logic.--v. 3. Physics. Metaphysics. On the soul. Short physical treaties.--v. 4. On the heavens. On generation and corruption. Meteorology. Biological treatises.

The lambda calculus is a universal programming language. It can represent the computable functions, and such offers a formal counterpart to the point of view of functions as rules. Terms represent functions and this allows for the application of a term/function to any other term/function, including itself. The calculus can be seen as a formal theory with certain pre-established axioms and inference rules, which can be interpreted by models. Dana Scott proposed the first non-trivial model of the extensional lambda calculus, (...) known as $ D_{\infty }$, to represent the $\lambda $-terms as the typical functions of set theory, where it is not allowed to apply a function to itself. Here we propose a construction of an $\infty $-groupoid from any lambda model endowed with a topology. We apply this construction for the particular case $D_{\infty }$, and we see that the Scott topology does not provide enough information about the relationship between higher homotopies. This motivates a new line of research focused on the exploration of $\lambda $-models with the structure of a non-trivial $\infty $-groupoid to generalize the proofs of term conversion to higher-proofs in $\lambda $-calculus. (shrink)

The texts collected in this volume, which was originally published in 1969, contain Herder's most original and stimulating ideas on politics, history and language. They had for the most part not been previously available in English. In his introduction, Professor Barnard analyses the basic premises of Herder's political thought against the background of the Enlightenment. He examines Herder's concepts of language, community and culture, his theory of historical interaction, and his approach to the problem of change and progress. Finally, he (...) provides a brief comparative analysis of traditionalist thought following the French Revolution, showing how substantive writers like Burke differed from Herder despite the close similarity of political vocabulary. (shrink)

This essay is written on the following premises and argues for them. “Enlightenment” is a word or signifier, and not a single or unifiable phenomenon which it consistently signifies. There is no single or unifiable phenomenon describable as “the Enlightenment,” but it is the definite article rather than the noun which is to be avoided. In studying the intellectual history of the late seventeenth century and the eighteenth, we encounter a variety of statements made, and assumptions proposed, to which the (...) term “Enlightenment” may usefully be applied, but the meanings of the term shift as we apply it. The things are connected, but not continuous; they cannot be reduced to a single narrative; and we find ourselves using the word “Enlightenment” in a family of ways and talking about a family of phenomena, resembling and related to one another in a variety of ways that permit of various generalizations about them. We are not, however, committed to a single root meaning of the word “Enlightenment,” and we do not need to reduce the phenomena of which we treat to a single process or entity to be termed “the” Enlightenment. It is a reification that we wish to avoid, but the structure of our language is such that this is difficult, and we will find ourselves talking of “the French” or “the Scottish,” “the Newtonian” or the “the Arminian” Enlightenments, and hoping that by employing qualifying adjectives we may constantly remind ourselves that the keyword “Enlightenment” is ours to use and should not master us. (shrink)

The first English translation of Fichte’s second set of 1804 lectures on the Wissenschaftslehre.

A solution of the sourceless Einstein's equation with an infinite value for the cosmological constant Λ is discussed by using Inönü–Wigner contractions of the de Sitter groups and spaces. When Λ→∞, spacetime becomes a four-dimensional cone, dual to Minkowski space by a spacetime inversion. This inversion relates the four-cone vertex to the infinity of Minkowski space, and the four-cone infinity to the Minkowski light-cone. The non-relativistic limit c→∞ is further considered, the kinematical group in this case being a modified Galilei (...) group in which the space and time translations are replaced by the non-relativistic limits of the corresponding proper conformal transformations. This group presents the same abstract Lie algebra as the Galilei group and can be named the conformal Galilei group. The results may be of interest to the early Universe Cosmology. (shrink)

A precise fomulation of the strong Equivalence Principle is essential to the understanding of the relationship between gravitation and quantum mechanics. The relevant aspects are reviewed in a context including General Relativity but allowing for the presence of torsion. For the sake of brevity, a concise statement is proposed for the Principle: An ideal observer immersed in a gravitational field can choose a reference frame in which gravitation goes unnoticed. This statement is given a clear mathematical meaning through an accurate (...) discussion of its terms. It holds for ideal observers (time-like smooth non-intersecting curves), but not for real, spatially extended observers. Analogous results hold for gauge fields. The difference between gravitation and the other fundamental interactions comes from their distinct roles in the equation of force. (shrink)

Students’ educational engagement is both an important predictor of study success and a key preventive factor for dropout. Vocational tracks in secondary education show high dropout rates. There is strong evidence that the solution to educational disengagement lies in student‐centred, powerful learning environments. This study investigates characteristics of PLEs from the perspective of students in vocational secondary education. Students’ perspectives on a learning environment are crucial for their satisfaction and learning engagement. Therefore, we investigated whether the perceived learning environment meets (...) the requirements of PLEs, and to what extent it meets students’ preferences. Additionally, it was investigated whether students who perceive their learning environment as more powerful, are also more engaged for school. Survey data of 532 students showed that student perceptions of their current learning environment were largely discrepant from the characteristics of PLEs. Students strongly asked for more challenging learning pathways, in combination with adaptive learning support. Students who perceived the characteristics of PLEs as being present, reported higher satisfaction and stronger engagement than students who perceived their education to be a less powerful environment. There is a need to redesign curricula in vocational education in such a way that these more intensely implement characteristics of PLEs. (shrink)

In the history of political thought, the relationship between property and power has been a central preoccupation. The very nature of private property, on many accounts, is to put owners in a position of self-serving power to make decisions about matters of concern to others. In many legal systems, the vast power of owners is pervasive, as an ever greater range of resources is brought within the property regime and subjected to private power backed by the coercive power of the (...) state. Political and legal philosophers have long puzzled over how to reconcile the nature of private property with the limits and social responsibilities upon which, at least for some accounts, property’s legitimacy depends. The perennial question, then, is how best to understand the nature of property such that property’s limits can also be accounted for coherently within our legal and constitutional arrangements. Robé’s book Property, Power and Politics provides us with a wide-ranging analysis of property. There is much that we agree with and applaud here. In this contribution we seek to situate a key aspect of his work within this larger context, and to offer a criticism of one element of his view: his rejection of an understanding of ownership as an office. In Robé’s analysis, offices belong in the public sphere, where officeholders are held to account by their constituencies. We argue that Robé’s rejection of the idea of ownership-as-office rests on a misunderstanding of the legal concept of “office.” Moreover, this idea, properly understood, provides sound conceptual support for the normative aims of Robé’s account: to bind property and social responsibility tightly together. Robé’s project to criticize the virtually unlimited power of private owners in the contemporary world is served, not undermined, by understanding property as an office. First, we provide a brief summary of the key elements of Robé’s view of property (Part II). We then introduce a theoretical perspective on property as office as it has been developed in legal theory (Part III). Finally, we argue that this perspective fits better with Robé’s stated purposes than his own rejection of it suggests and raises some questions for future discussion (Part IV). (shrink)

Our present crises are growing more urgent, pervading many domains of public life—economic, political, environmental, and social. This motivates scholars to find more adequate, combinatory perspectives from which to explain them. One such effort, under the broad heading of Law and Political Economy (LPE), challenges an established view of legality that insulates the market and its dominant actors from critique and accountability. The established view is based on two misconceptions. First, it sees the real function of a capitalist legal device, (...) whether in contracts, antitrust, property, or corporate law, in terms of efficient wealth creation; this function is its underlying rationale and normative aim. Second, it tends to remove equality, coercion, and legitimacy—the core problems of power—from the scope of economic appraisal. When laws and policies are fashioned out of these ideas, democratic institutions will be unable to counter the dominance of capital. New analytical approaches are therefore necessary (Purdy et al. 2020). Along with researchers in associated fields, LPE scholars are attempting to better understand the legal constructions in which financial and political power are anchored and to develop new ways of integrating the economy into democratic life. Robé is a leading voice in these debates. His new book, Property, Power, and Politics, encloses in one volume his ideas on the role of incorporated firms—and of markets, property, and finance—in the larger dynamics of global politics. In this symposium, interlocutors with backgrounds in law, political science, and philosophy engage with this rich analysis. This introduction provides an overview of the book’s arguments (sections 2 and 3) and then introduces the contributions (section 4). (shrink)

Critical scholarly edition of J. G. Fichte's Closed Commercial State.

In recent work, Adlam (2022b), Chen & Goldstein (2022), and Meacham (2023) have defended accounts of laws that take laws to be primitive global constraints. A major advantage of these accounts is that they’re able to accommodate the many different kinds of laws that appear in physical theories. In this paper I’ll present these three accounts, highlight their distinguishing features, and note some key differences that might lead one to favor one of these accounts over the others. I’ll conclude by (...) briefly discussing a version of a “constraint” account that I think is especially attractive. (shrink)

Jeffrie G. Murphy's third collection of essays further pursues the topics of punishment and retribution that were explored in his two previous collections: Retribution, Justice and Therapy and Retribution Reconsidered. Murphy now explores these topics in the light of reflections on issues that are normally associated with religion: forgiveness, mercy, and repentance. He also explores the general issue of theory and practice and discusses a variety of topics in applied ethics - e.g., freedom of artistic expression, the morality of gambling, (...) and the value of forgiveness in psychological counseling. As always, his perspective may be described as Kantian; and, indeed, this collection contains the first extended piece of Kant scholarship that he has done in years: a long essay on Kant on theory and practice. (shrink)

Pocock, J. G. A. (John Greville Agard) 1924- "Quentin Skinner: The History of Politics and the Politics of History" Common Knowledge - Volume 10, Issue 3, Fall 2004, pp. 532-550.

It is proved that the relevance logic \ has no structurally complete consistent axiomatic extension, except for classical propositional logic. In fact, no other such extension is even passively structurally complete.