The Ecclesiastical History of Orderic Vitalis has been called `the greatest of all medieval chronicles'. Written in Normandy between 1114 and 1141, it is a detailed history of the Norman people and their conquests, full of vivid, often penetrating portraits of the lives and characters of kings and queens, lords and bishops, simple knights, and humble villagers. The chronicle gives a unique, authentic picture of feudal society during a period of rapid change in church and state which saw the emergence (...) of the Anglo-Norman realm, the spread of new forms of monasticism, and the launching of the Crusades. Published in 1968, volume II of Marjorie Chibnall's six-volume edition of the Ecclesiastical History is now available for the first time in paperback. `a superbly edited Latin text and a unique English translation of the work of a major historian' American Historical Review `Mrs Chibnall is giving us... her edition of a classical medieval text which will itself become a classic of medieval scholarship.' Times Literary Supplement. (shrink)

Betrifft die Handschrift Cod. 555 der Burgerbibliothek Bern.

Edited with a facing-page English translation from the Latin text by: Chibnall, Marjorie.

After the three families divided up the state of Jin and the Tian family took over Qi, the political situation in the fourth century B.C.E. appeared even more chaotic. Wei conquered Chu's Luyang and Qin's Xihe, Qin defeated Wei at Shimen , and again at Shaoliang , and Wei moved its capital to Daliang. During the mid-Warring States period, Qin became dominant in the west, Qi in the east, Chu in the south, and Wei in the center. Rapid changes occurred (...) one after another; trickery and conflict were rampant. However, the shi , the intelligentsia, actually managed to expand their spheres of existence and activity accordingly in this state of tension between countries, states, and men. A few major states assembled quite a number of literati; and those men of the villages, who had in earlier times merely waited passively for opportunities to fall into their laps, crisscrossed the various feudal states; literati who previously had no cause to use military force became, one by one, the honored guests of the feudal lords. With the breakdown of the previously simple and obvious order, the gradually dismantling of the common body of the ancestral clan of the past, and the increasing complexities of social relationships after the dissolution of blood ties, social order became a matter of concern. Or, to reword this most practical issue: How could this universally chaotic society go from disorder to order? (shrink)

The BRAHMASUTRA of BADARAYANA represents the fundamental text of exegesis of Vedanta. The intent of Badarayana - the sage that for authority and realization of consciousness has been identified with Vyasa, the Rsi who ordered the texts of the Vedas - is that of providing the right perspective in the interpretation of the most profound and meaningful contents of the Upanisads. This had proven necessary in order to rectify some unilateral aspects propounded by several schools of thought, both orthodox and (...) non-orthodox. The Brahmasutra presents, in their simplicity and incisiveness, the assertions of the Sruti and of the Smrti, showing their concordance in the recognition of the Nirguna Brahman as the ultimate Realty. In his notes, RAPHAEL underlines the fact that Badarayana does not oppose the various philosophical schools, but the Rsi allows us to comprehend that their postulates cannot represent the ultimate Truth as expounded in the Vedas and in the Upanisads. Moreover, at times Raphael focuses on certain aspects of the Advaita Doctrine with references to the Western Tradition, and - making the relevant parallels to the philosophy of Parmenides, Plato, Plotinus, and so on - highlights the unity of the sole universal Tradition at the metaphysical level. (shrink)

This chapter provides an introduction to higher-order metaphysics as well as to the contributions to this volume. We discuss five topics, corresponding to the five parts of this volume, and summarize the contributions to each part. First, we motivate the usefulness of higher-order quantification in metaphysics using a number of examples, and discuss the question of how such quantifiers should be interpreted. We provide a brief introduction to the most common forms of higher-order logics used in metaphysics, and indicate a (...) number of questions which can be raised in such systems using logical vocabulary alone. Using a further example, we return to applications of higher-order logics in metaphysics. We also mention key developments in the history of higher-order logic as it pertains to metaphysics. Finally, we mention certain arguments which have been raised against the use of higher-order logic, and some ways of responding to them. (shrink)

On at least one of its uses, ‘higher-order evidence’ refers to evidence about what opinions are rationalized by your evidence. This chapter surveys the foundational epistemological questions raised by such evidence, the methods that have proven useful for answering them, and the potential consequences and applications of such answers.

A. Poleev. Constitutional order in Russia. Enzymes, Revised print edition 2020.

This volume explores the use of higher-order logics in metaphysics. Seventeen original essays trace the development of higher-order metaphysics, discuss different ways in which higher-order languages and logics may be used, and consider their application to various central topics of metaphysics.

This chapter offers an opinionated introduction to higher-order formal languages with an eye towards their applications in metaphysics. A simply relationally typed higher-order language is introduced in four stages: starting with first-order logic, adding first-order predicate abstraction, generalizing to higher-order predicate abstraction, and finally adding higher-order quantification. It is argued that both β-conversion and Universal Instantiation are valid on the intended interpretation of this language. Given these two principles, it is then shown how we can use pure higher-order logic to (...) ask, and begin to answer, metaphysical questions with non-trivial implications. In particular, while we must reject the popular idea that structural differences between sentences correspond to parallel distinctions in the logical structure of extra-linguistic reality, it may still be possible to give a purely logical characterization of objectual aboutness and related notions. (shrink)

According to relationism, for Alice to believe that some rabbits can speak is for Alice to stand in a relation to a further entity, some rabbits can speak. But what could this further entity possibly be? Higher-order metaphysics seems to offer a simple, natural answer. On this view (roughly put), expressions in different syntactic categories (for instance: names, predicates, sentences) in general denote entities in correspondingly different ontological categories. Alice's belief can thus be understood to relate her to a sui (...) generis entity denoted by "some rabbits can speak", belonging to a different ontological category than Alice herself. This straightforward account of the attitudes has historically been deemed so attractive that it was seen as providing an important motivation for higher-order metaphysics itself (Prior [1971]). But I argue that it is not as straightforward as it might seem, and in fact that propositional attitudes present a foundational challenge for higher-order metaphysics. (shrink)

Why do we remember the past and not the future? What does it mean for time to "flow"? Do we exist in time or does time exist in us? In lyric, accessible prose, Carlo Rovelli invites us to consider questions about the nature of time that continue to puzzle physicists and philosophers alike. For most readers this is unfamiliar terrain. We all experience time, but the more scientists learn about it, the more mysterious it remains. We think of it as (...) uniform and universal, moving steadily from past to future, measured by clocks. Rovelli tears down these assumptions one by one, revealing a strange universe where at the most fundamental level time disappears. He explains how the theory of quantum gravity attempts to understand and give meaning to the resulting extreme landscape of this timeless world. Weaving together ideas from philosophy, science and literature, he suggests that our perception of the flow of time depends on our perspective, better understood starting from the structure of our brain and emotions than from the physical universe. (shrink)

The thesis that agents should calibrate their beliefs in the face of higher-order evidence—i.e., should adjust their first-order beliefs in response to evidence suggesting that the reasoning underlying those beliefs is faulty—is sometimes thought to be in tension with Bayesian approaches to belief update: in order to obey Bayesian norms, it’s claimed, agents must remain steadfast in the face of higher-order evidence. But I argue that this claim is incorrect. In particular, I motivate a minimal constraint on a reasonable treatment (...) of the evolution of self-locating beliefs over time and show that calibrationism is compatible with any generalized Bayesian approach that respects this constraint. I then use this result to argue that remaining steadfast isn’t the response to higher-order evidence that maximizes expected accuracy. (shrink)

This chapter explores the metaphysical views about higher-order logic held by two individuals responsible for introducing it to philosophy: Gottlob Frege (1848–1925) and Bertrand Russell (1872–1970). Frege understood a function at first as the remainder of the content of a proposition when one component was taken out or seen as replaceable by others, and later as a mapping between objects. His logic employed second-order quantifiers ranging over such functions, and he saw a deep division in nature between objects and functions. (...) Russell understood propositional functions as what is obtained when constituents of propositions are replaced by variables, but eventually denied that they were entities in their own right. Both encountered contradictions when supposing there to exist as many objects as functions, and both adopted views about the meaningfulness of higher-order discourse that were difficult to state from within their own strictures. (shrink)

Our political thinking is driven, far more than philosophers recognize, by a concern for social equality and, more specifically, a concern to avoid relations of inferiority. Niko Kolodny argues that, in order to make sense of the most familiar ideas in our political thought and discourse - the justification of the state, democracy, and rule of law, as well as objections to paternalism and corruption - we cannot merely appeal to freedom (as libertarians like Nozick do) or to distributive fairness (...) (as liberals like Rawls do). We must, instead, appeal directly to claims against inferiority, that no one stands above or below. (shrink)

A scientific theory is successful, according to Stanford (2000), because it is suficiently observationally similar to its corresponding true theory. The Ptolemaic theory, for example, is successful because it is sufficiently similar to the Copernican theory at the observational level. The suggestion meets the scientific realists' request to explain the success of science without committing to the (approximate) truth of successful scientific theories. I argue that Stanford's proposal has a conceptual flaw. A conceptually sound explanation, I claim, respects the ontological (...) order between properties. A dependent property is to be explained in terms of its underlying property, not the other way around. The applicability of this point goes well beyond the realm of the debate between scientific realists and antirealists. Any philosophers should keep the point in mind when they attempt to give an explanation of a property in their field whatever it may be. (shrink)

Traces the rise and fall of successive international systems from medieval times to the present, showing how international order is created, how it is maintained, and why it breaks down.

My aim in this paper is to develop and defend a novel answer to a question that has recently generated a considerable amount of controversy. The question concerns the normative significance of peer disagreement. Suppose that you and I have been exposed to the same evidence and arguments that bear on some proposition: there is no relevant consideration which is available to you but not to me, or vice versa. For the sake of concreteness, we might picture.

W. V. Quine famously defended two theses that have fallen rather dramatically out of fashion. The first is that intensions are “creatures of darkness” that ultimately have no place in respectable philosophical circles, owing primarily to their lack of rigorous identity conditions. However, although he was thoroughly familiar with Carnap’s foundational studies in what would become known as possible world semantics, it likely wouldn’t yet have been apparent to Quine that he was fighting a losing battle against intensions, due in (...) large measure to developments stemming from Carnap’s studies and culminating in the work of Kripke, Hintikka, and Bayart. These developments undermined Quine’s crusade against intensions on two fronts. First, in the context of possible world semantics, intensions could after all be given rigorous identity conditions by defining them (in the simplest case) as functions from worlds to appropriate extensions, a fact exploited to powerful and influential effect in logic and linguistics by the likes of Kaplan, Montague, Lewis, and Cresswell. Second, the rise of possible world semantics fueled a strong resurgence of metaphysics in contemporary analytic philosophy that saw properties and propositions widely, fruitfully, and unabashedly adopted as ontological primitives in their own right. This resurgence — happily, in my view — continues into the present day. -/- For a time, at any rate, Quine experienced somewhat better success with his second thesis: that higher-order logic is, at worst, confused and, at best, a quirky notational alternative to standard first-order logic. However, Quine notwithstanding, a great deal of recent work in formal metaphysics transpires in a higher-order logical framework in which properties and propositions fall into an infinite hierarchy of types of (at least) every finite order. Initially, the most philosophically compelling reason for embracing such a framework since Russell first proposed his simple theory of types was simply that it provides a relatively natural explanation of the paradoxes. However, since the seminal work of Prior there has been a growing trend to consider higher-order logic to be the most philosophically natural framework for metaphysical inquiry, many of the contributors to this volume being among the most important and influential advocates of this view. Indeed, this is now quite arguably the dominant view among formal metaphysicians. -/- In this paper, and against the current tide, I will argue in §1 that there are still good reasons to think that Quine’s second battle is not yet lost and that the correct framework for logic is first-order and type-free — properties and propositions, logically speaking, are just individuals among others in a single domain of quantification — and that it arises naturally out of our most basic logical and semantical intuitions. The data I will draw upon are not new and are well-known to contemporary higher-order metaphysicians. However, I will try to defend my thesis in what I believe is a novel way by suggesting that these basic intuitions ground a reasonable distinction between “pure” logic and non-logical theory, and that Russell-style semantic paradoxes of truth and exemplification arise only when we move beyond the purely logical and, hence, do not of themselves provide any strong objection to a type-free conception of properties and propositions. -/- Most of my arguments in §1 are largely independent of any specific account of the nature of properties and propositions beyond their type-freedom. However, I will in addition argue that there are good reasons to take propositions, at least, to be very fine-grained. My arguments are thus bolstered significantly if it can be shown that there are in fact well-defined examples of logics that are not only type-free but which comport with such a conception of propositions. It is the purpose of §2 to lay out a logic of this sort in some detail, drawing especially upon work by George Bealer and related work of my own. With the logic in place, it will be possible to generalize the line of argument noted above regarding Russell-style paradoxes and, in §3, apply it to two propositional paradoxes — the Prior-Kaplan paradox and the Russell-Myhill paradox — that are often taken to threaten the sort of account developed here. (shrink)

“Second-order Logic” in Anderson, C.A. and Zeleny, M., Eds. Logic, Meaning, and Computation: Essays in Memory of Alonzo Church. Dordrecht: Kluwer, 2001. Pp. 61–76. -/- Abstract. This expository article focuses on the fundamental differences between second- order logic and first-order logic. It is written entirely in ordinary English without logical symbols. It employs second-order propositions and second-order reasoning in a natural way to illustrate the fact that second-order logic is actually a familiar part of our traditional intuitive logical framework and (...) that it is not an artificial formalism created by specialists for technical purposes. To illustrate some of the main relationships between second-order logic and first-order logic, this paper introduces basic logic, a kind of zero-order logic, which is more rudimentary than first-order and which is transcended by first-order in the same way that first-order is transcended by second-order. The heuristic effectiveness and the historical importance of second-order logic are reviewed in the context of the contemporary debate over the legitimacy of second-order logic. Rejection of second-order logic is viewed as radical: an incipient paradigm shift involving radical repudiation of a part of our scientific tradition, a tradition that is defended by classical logicians. But it is also viewed as reactionary: as being analogous to the reactionary repudiation of symbolic logic by supporters of “Aristotelian” traditional logic. But even if “genuine” logic comes to be regarded as excluding second-order reasoning, which seems less likely today than fifty years ago, its effectiveness as a heuristic instrument will remain and its importance for understanding the history of logic and mathematics will not be diminished. Second-order logic may someday be gone, but it will never be forgotten. Technical formalisms have been avoided entirely in an effort to reach a wide audience, but every effort has been made to limit the inevitable sacrifice of rigor. People who do not know second-order logic cannot understand the modern debate over its legitimacy and they are cut-off from the heuristic advantages of second-order logic. And, what may be worse, they are cut-off from an understanding of the history of logic and thus are constrained to have distorted views of the nature of the subject. As Aristotle first said, we do not understand a discipline until we have seen its development. It is a truism that a person's conceptions of what a discipline is and of what it can become are predicated on their conception of what it has been. (shrink)

This volume explores word order change within the framework of diachronic generative syntax and offers new insights into word order, syntactic movement, and related phenomena. It draws on data from a wide range of languages including Sanskrit, Tocharian, Portuguese, Irish, Hungarian and Coptic Egyptian.

A one-stop resource on the current developments in word order research, this comprehensive survey provides an up-to-date, critical overview of this widely debated topic, exploring and evaluating research carried out in four major ...

Recently discovered ancient silk and bamboo manuscripts have transformed our understanding of classical Chinese thought. In this book, Wang Zhongjiang closely examines these texts, and by parsing the complex divergence between ancient and modern Chinese records reveals early Chinese philosophy to be much richer and more complex than we ever imagined. As numerous and varied cosmologies sprang up in this cradle of civilization, beliefs in the predictable movements of nature merged with faith in gods and their divine punishments. Slowly, powerful (...) spirits and gods were stripped of their potency as nature's constant order awakened people to the possibility of universal laws, and from those laws was finally born an ideally conceived community, objectively managed, and rationally ordered. (shrink)

This chapter contains sections titled: Ecce Homo The Great Chain of Being The Absent Soul The Tree of Life The Kind that Counts.

There is a trade-off between specificity and accuracy in existing models of belief. Descriptions of agents in the tripartite model, which recognizes only three doxastic attitudes—belief, disbelief, and suspension of judgment—are typically accurate, but not sufficiently specific. The orthodox Bayesian model, which requires real-valued credences, is perfectly specific, but often inaccurate: we often lack precise credences. I argue, first, that a popular attempt to fix the Bayesian model by using sets of functions is also inaccurate, since it requires us to (...) have interval-valued credences with perfectly precise endpoints. We can see this problem as analogous to the problem of higher order vagueness. Ultimately, I argue, the only way to avoid these problems is to endorse Insurmountable Unclassifiability. This principle has some surprising and radical consequences. For example, it entails that the trade-off between accuracy and specificity is in-principle unavoidable: sometimes it is simply impossible to characterize an agent’s doxastic state in a way that is both fully accurate and maximally specific. What we can do, however, is improve on both the tripartite and existing Bayesian models. I construct a new model of belief—the minimal model—that allows us to characterize agents with much greater specificity than the tripartite model, and yet which remains, unlike existing Bayesian models, perfectly accurate. (shrink)

This book contains a selection of papers on issues of current interest in syntax and morpho-syntax. Most topics pertain to the question of the relation between word order and syntactic structure. The discussion starts with a proposal of extending the theory of relativization to reason clauses. It continues with the analysis of the realization of focus in Basque and the discussion of current views on the syntax of cleft constructions. Next, an inquiry into the rigidity of sentence left-periphery is offered (...) in a cross-linguistic perspective. The two final contributions discuss feature-free derivations in syntax applied to a single morpho-syntactic problem, and the question of gradient acceptability of Polish sentences featuring possessive items in the context of the competition between their reflexive and pronominal forms. (shrink)

Second-order logic and modal logic are both, separately, major topics of philosophical discussion. Although both have been criticized by Quine and others, increasingly many philosophers find their strictures uncompelling, and regard both branches of logic as valuable resources for the articulation and investigation of significant issues in logical metaphysics and elsewhere. One might therefore expect some combination of the two sorts of logic to constitute a natural and more comprehensive background logic for metaphysics. So it is somewhat surprising to find (...) that philosophical discussion of secondorder modal logic is almost totally absent, despite the pioneering contribution of Barcan. (shrink)

This text is an exploration of the metaphysical principle, "Every agent acts for an end." It is split into two parts, the first being primarily pedagogical and general, the second topical. In the first part, Fr. Garrigou-Lagrange sets forth the basics of the Aristotelian metaphysics of teleology, defending its place as a central point of metaphysics. After defending its per se nota character, he summarizes a number of main corollaries to the principle, primarily within the perspective established by traditional Thomistic (...) accounts of metaphysics, doing so in a way that is pedagogically sensitive yet speculatively profound. In the second half, he gathers together a number of articles which he had written, each having some connection with themes concerning teleology. Thematically, the texts consider the finality and teleology of the human intellect and will, along with the way that the principle of finality sheds light on certain problems associated with the distinction between faith and reason. Finally, the text ends with an important essay on the principle of the mutual interdependence of causes, causae ad invicem sunt causae, sed in diverso genere. (shrink)

Recent authors have drawn attention to a new kind of defeating evidence commonly referred to as higher-order evidence. Such evidence works by inducing doubts that one’s doxastic state is the result of a flawed process – for instance, a process brought about by a reason-distorting drug. I argue that accommodating defeat by higher-order evidence requires a two-tiered theory of justification, and that the phenomenon gives rise to a puzzle. The puzzle is that at least in some situations involving higher-order defeaters (...) the correct epistemic rules issue conflicting recommendations. For instance, a subject ought to believe p, but she ought also to suspend judgment in p. I discuss three responses. The first resists the puzzle by arguing that there is only one correct epistemic rule, an Über-rule. The second accepts that there are genuine epistemic dilemmas. The third appeals to a hierarchy or ordering of correct epistemic rules. I spell out problems for all of these responses. I conclude that the right lesson to draw from the puzzle is that a state can be epistemically rational or justified even if one has what looks to be strong evidence to think that it is not. As such, the considerations put forth constitute a non question-begging argument for a kind of externalism. (shrink)

This chapter examines the ways in which the debates about the epistemic significance of disagreement are debates about the nature and impact of higher-order evidence.

The problem of higher-order misrepresentation poses a dilemma for the higher-order theory of consciousness. The two ways of conceiving of the theory each run into a different difficulty raised by the problem of misrepresentation. If the theory is conceived relationally, i.e., conceived so as the higher-order state causes or makes a first-order state conscious, then the theory faces a problem raised by Block concerning the implausibility of non-existent conscious states. If conceived non-relationally, i.e., conceived in such a way as it (...) is the higher-order state itself which is the conscious state, then consideration of Neander’s original misrepresentation problem, that this seems to make the first-order state a spinning wheel in the explanation of consciousness, raises the conceptual problem that this version of the higher-order theory seems not to offer a philosophical theory of consciousness that is distinct from the first-order theory. (shrink)

Recently, Wilcox (JGPS 51: 65–87, 2020) argued against the so-called wide interval view and in favor of the principle of indifference as the correct response to unspecific evidence. Embedded in a formal model of the beliefs of an agent, the former presupposes imprecise probabilities and the latter numerically precise degrees of belief. His argument is illustrated by a thought experiment that comes with a fundamental intuition. According to Wilcox, the wide interval view is incompatible with this intuition and, thus, undermined. (...) In contrast, I show that the intuition behind the thought experiment is, in fact, compatible with the wide interval view if it is embedded into a specific conception of imprecise probabilities as model of belief. This conception is an extension of a framework which I call modified supervaluationism (MSV) and which I recently presented elsewhere (Karge 2021, 175–191). To accommodate the thought experiment’s fundamental intuition, it introduces a notion of second-order beliefs. (shrink)

According to the Fragmentation Analysis, epistemic akrasia is a state of conflict between beliefs formed by the linguistic and non-linguistic belief-formation systems, and epistemic akrasia is irrational because it is a state of conflict between beliefs so formed. I argue that there are cases of higher-order epistemic akrasia, where both beliefs are formed by the linguistic belief-formation system. Because the Fragmentation Analysis cannot accommodate this possibility, the Fragmentation Analysis is incorrect. I consider three objections to the possibility of higher-order epistemic (...) akrasia. Along the way, I offer a revision of the Fragmentation Analysis that can allow for the possibility of higher-order akrasia while avoiding the problems I point out for the original view. (shrink)