This paper argues that Lemmon-style proof systems (those that consist of only introduction and elimination inference rules) have several pedagogical benefits over Copi-style systems (those that make use of inference rules and equivalence rules). It is argued that Lemmon-style systems are easier to learn as they do not require memorizing as many rules, they do not require learning the subtle distinction between a rule of inference and a rule of replacement, and deriving material conditionals is (...) more straightforward. Finally, it is argued that the need for learning provisional assumptions in Lemmon-style rules is not a significant enough reason for choosing the Copi-style system. (shrink)

This is a short introduction to a book symposium on Paul Gowder's recent book, _The Rule of Law in thee Real World_ (Cambridge University Press, 2016). The book symposium will appear in the St. Luis University Law Journal, 62 St. Louis U. L.J., -- (2018), with commentaries on Gowder's book by colleen Murphy, Robin West, Chad Flanders, and Matthew Lister, along with replies by Paul Gowder.

This introduction highlights two of Mondzain's contributions in the chapter reproduced here, “Iconic Space and the Rule of Lands.” The first is her discussion of a link between images and power, which stresses the formal characteristics of paintings rather than their narratives. The second is her examination of the specific task which representation is called on to perform in religious as opposed to secular contexts, where spiritual, otherworldly figures are given physical shape and form.

This paper studies a formalisation of intuitionistic logic by Negri and von Plato which has general introduction and elimination rules. The philosophical importance of the system is expounded. Definitions of ‘maximal formula’, ‘segment’ and ‘maximal segment’ suitable to the system are formulated and corresponding reduction procedures for maximal formulas and permutative reduction procedures for maximal segments given. Alternatives to the main method used are also considered. It is shown that deductions in the system convert into normal form and (...) that deductions in normal form have the subformula property. (shrink)

The interplay of introduction and elimination rules for propositional connectives is often seen as suggesting a distinguished role for intuitionistic logic. We prove three formal results about intuitionistic propositional logic that bear on that perspective, and discuss their significance.

Included is a famous nineteenth-century debate about scientific reasoning between the hypothetico-deductivist William Whewell and the inductivist John Stuart Mill; and an account of the realism-antirealism dispute about unobservables in science, with a consideration of Perrin's argument for the existence of molecules in the early twentieth century.

Introducing this issue’s triptych on algorithms and culture, this article argues that prevailing modes of analysis that focus on the prospects for algorithms “taking over” are no longer useful. It advocates the need for a new conceptual vocabulary, which recognizes that algorithmic and cultural reasoning processes are already enmeshed with each other. The introduction suggests a need for an enterprise of algorithmic epistemology attuned to the fine structure of the ways in which culture and code have interacted in the (...) past and continue to interact today. (shrink)

A natural extension of Natural Deduction was defined by Schroder-Heister where not only formulas but also rules could be used as hypotheses and hence discharged. It was shown that this extension allows the definition of higher-level introduction and elimination schemes and that the set $\{ \vee, \wedge, \rightarrow, \bot \}$ of intuitionist sentential operators forms a {\it complete} set of operators modulo the higher level introduction and elimination schemes, i.e., that any operator whose introduction and elimination (...) rules are instances of the higher-level schemes can be defined in terms of $\{ \vee, \wedge, \rightarrow, \bot \}$.The aim of the present work is to extend the well-known connections between Proof Theory and Category Theory to higher-level Natural Deduction. To be precise, we will show how an adjointness between cartesian closed categories with finite coproducts can be associated, in a systematic way, with any operator $\phi$ defined by the higher-level schemes. The objects in the categories will be rules instead of formulas. (shrink)

An extension L + of the non-associative Lambek calculus Lis defined. In L + the restriction to formula-conclusion sequents is given up, and additional left introduction rules for the directional implications are introduced. The system L + is sound and complete with respect to a modification of the ternary frame semantics for L.

In proof-theoretic semantics the meaning of an atomic sentence is usually determined by a set of derivations in an atomic system which contain that sentence as a conclusion (see, in particular, Prawitz, 1971, 1973). The paper critically discusses this standard approach and suggests an alternative account which proceeds in terms of subatomic introduction and elimination rules for atomic sentences. A simple subatomic normal form theorem by which this account of the semantics of atomic sentences and the terms from (...) which they are composed is underpinned, shows moreover that the proof-theoretic analysis of first-order logic can be pursued also beneath the atomic level. (shrink)

"Descartes is rightly considered the father of modern philosophy" - Schopenhauer "The effect of this man on his age and the new age cannot be imagined broadly enough... René Descartes is indeed the true beginner of modern philosophy, insofar as it makes thinking the principle. "- Hegel "Descartes was the first to bring to light the idea of a transcendental science, which is to contain a system of knowledge of the conditions of possibility of all knowledge." - Kant A new (...) 2023 translation directly from the original manuscripts into English of Descartes' famous work "Rules for the Direction of the Mind" (Règles pour la direction de l'esprit). This edition contains a new introduction and afterword from the translator, as well as a timeline of Descartes' life and summaries of each of his works. Here, Descartes lays out a method for approaching problems and seeking knowledge. The importance of this work lies in the fact that it established the scientific method as a way of investigating the world, and had a significant influence on the development of modern science. This work is one of the foundational texts of Western Philosophy. (shrink)

The intention here is that of giving a formal underpinning to the idea of ‘meaning-is-use’ which, even if based on proofs, it is rather different from proof-theoretic semantics as in the Dummett–Prawitz tradition. Instead, it is based on the idea that the meaning of logical constants are given by the explanation of immediate consequences, which in formalistic terms means the effect of elimination rules on the result of introduction rules, i.e. the so-called reduction rules. For that (...) we suggest an extension to the Curry– Howard interpretation which draws on the idea of labelled deduction, and brings back Frege’s device of variable-abstraction to operate on the labels (i.e., proof-terms) alongside formulas of predicate logic. (shrink)

In this introduction to part 3 of the Common Knowledge symposium “Antipolitics,” the journal's editor argues that, apart from sortition, the best guarantees of safety in a democracy are, first, to augment judicial oversight of all political processes and, second, to exclude politicians from the process of selecting judges. “There can never be too much judicial interference,” he writes, “in what politicians regard as their domain.” The author reached this conclusion during attempts by the newly elected Israeli government, in (...) the spring of 2023, to make itself absolute by eliminating checks on its conduct that the Supreme Court had been developing and applying since the 1950s. Traditional Jewry and Judaism being notoriously hypernomian, the resistance to legality on the part of the ruling coalition has conveyed an aura of antinomian heresy. The choice in Israel appears to be between antipolitics and antinomianism, rather than between Left and Right politically—and the antipolitical model in Israel of a superintendent judiciary and an autonomous attorney general is arguably superior to the American prototype, even from the perspective (“all men are created equal..., endowed by their Creator with certain unalienable Rights”) that we have come to regard as quintessentially American. (shrink)

I examine Paul Boghossian's recent attempt to argue for scepticism about logical rules. I argue that certain rule- and proof-theoretic considerations can avert such scepticism. Boghossian's 'Tonk Argument' seeks to justify the rule of tonk-introduction by using the rule itself. The argument is subjected here to more detailed proof-theoretic scrutiny than Boghossian undertook. Its sole axiom, the so-called Meaning Postulate for tonk, is shown to be false or devoid of content. It is also shown that the rules (...) of Disquotation and of Semantic Ascent cannot be derived for sentences with tonk dominant. These considerations deprive Boghossian's scepticism of its support. (shrink)

In An Introduction to Non-Classical Logic: From If to Is Graham Priest presents branching rules in Free Logic, Variable Domain Modal Logic, and Intuitionist Logic. I propose a simpler, non-branching rule to replace Priest's rule for universal instantiation in Free Logic, a second, slightly modified version of this rule to replace Priest's rule for universal instantiation in Variable Domain Modal Logic, and third and fourth rules, further modifying the second rule, to replace Priest's branching universal and particular (...) instantiation rules in Intuitionist Logic. In each of these logics the proposed rule leads to tableaux with fewer branches. In Intuitionist logic, the proposed rules allow for the resolution of a particular problem Priest is grappling with throughout the chapter. In this paper, I demonstrate that the proposed rules can greatly simplify tableaux and argue that they should be used in place of the rules given by Priest. (shrink)

We investigate introduction and elimination rules for truth-functional connectives, focusing on the general questions of the existence, for a given connective, of at least one such rule that it satisfies, and the uniqueness of a connective with respect to the set of all of them. The answers are straightforward in the context of rules using general set/set sequents of formulae, but rather complex and asymmetric in the restricted (but more often used) context of set/formula sequents, as also (...) in the intermediate set/formula-or-empty context. (shrink)

This volume of new work by prominent phonologists goes to the heart of current debates in phonological and linguistic theory: should the explanation of phonological variety be constraint or rule-based and, in the light of the resolution of this question, how in the mind does phonology interface with other components of the grammar. The book includes contributions from leading proponents of both sides of the argument and an extensive introduction setting out the history, nature, and more general linguistic implications (...) of current phonological theory. (shrink)

Fuzzy logic has become an important tool for a number of different applications ranging from the control of engineering systems to artificial intelligence. In this concise introduction, the author presents a succinct guide to the basic ideas of fuzzy logic, fuzzy sets, fuzzy relations, and fuzzy reasoning, and shows how they may be applied. The book culminates in a chapter which describes fuzzy logic control: the design of intelligent control systems using fuzzy if-then rules which make use of (...) human knowledge and experience to behave in a manner similar to a human controller. Throughout, the level of mathematical knowledge required is kept basic and the concepts are illustrated with numerous diagrams to aid in comprehension. As a result, all those curious to know more about fuzzy concepts and their real-world application will find this a good place to start. (shrink)

The inversion principle for logical rules expresses a relationship between introduction and elimination rules for logical constants. Hallnäs & Schroeder-Heister proposed the principle of definitional reflection, which embodies basic ideas of inversion in the more general context of clausal definitions. For the context of admissibility statements, this has been further elaborated by Schroeder-Heister. Using the framework of definitional reflection and its admissibility interpretation, we show that, in the sequent calculus of minimal propositional logic, the left introduction (...) rules are admissible when the right introduction rules are taken as the definitions of the logical constants and vice versa. This generalizes the well-known relationship between introduction and elimination rules in natural deduction to the framework of the sequent calculus. (shrink)

Providing a comprehensive introduction to political philosophy, this 2006 book combines discussion of historical and contemporary figures, together with numerous real-life examples. It ranges over an unusually broad range of topics in the field, including the just distribution of wealth, both within countries and globally; the nature and justification of political authority; the meaning and significance of freedom; arguments for and against democratic rule; the problem of war; and the grounds for toleration in public life. It also offers an (...) accessible, non-technical discussion of perfectionism, utilitarianism, theories of the social contract, and of recently popular forms of critical theory. Throughout, the book challenges readers to think critically about political arguments and institutions that they might otherwise take for granted. It will be a provocative text for any student of philosophy or political science. (shrink)

The inversion principle for logical rules expresses a relationship between introduction and elimination rules for logical constants. Hallnäs & Schroeder-Heister proposed the principle of definitional reflection, which embodies basic ideas of inversion in the more general context of clausal definitions. For the context of admissibility statements, this has been further elaborated by Schroeder-Heister . Using the framework of definitional reflection and its admissibility interpretation, we show that, in the sequent calculus of minimal propositional logic, the left (...) class='Hi'>introduction rules are admissible when the right introduction rules are taken as the definitions of the logical constants and vice versa. This generalizes the well-known relationship between introduction and elimination rules in natural deduction to the framework of the sequent calculus. (shrink)

First published in 1949. This title provides an introduction into the subject of aesthetics, and the problems associated with it. Aesthetics is not strictly a criterion or rule for production or appreciation, and cannot directly alter our aesthetic experiences, but only helps us to understand them. _An Introduction to Aesthetics _explores this theory, and will be of interest to students of both art and philosophy.

This paper is an introduction to a virtual special issue of AI and Law exploring the legacy of the influential HYPO system of Rissland and Ashley. The papers included are: Arguments and cases: An inevitable intertwining, BankXX: Supporting legal arguments through heuristic retrieval, Modelling reasoning with precedents in a formal dialogue Game, A note on dimensions and factors, An empirical investigation of reasoning with legal cases through theory construction and application, Automatically classifying case texts and predicting outcomes, A factor-based (...) definition of precedential constraint and An improved factor based approach to precedential constraint. After describing HYPO, in this introduction to the special issue I look at various aspects of its influence on AI and Law: the developments led by Rissland at Amherst; the developments led by Ashley in Pittsburgh; the expression of these ideas in terms of rule based systems, and their subsequent formalisation; value based theories, which were inspired by a critique of HYPO; and contemporary approaches which revive the idea of dimensions. (shrink)

The intention here is that of giving a formal underpinning to the idea of ‘meaning-is-use’ which, even if based on proofs, it is rather different from proof-theoretic semantics as in the Dummett–Prawitz tradition. Instead, it is based on the idea that the meaning of logical constants are given by the explanation of immediate consequences, which in formalistic terms means the effect of elimination rules on the result of introduction rules, i.e. the so-called reduction rules. For that (...) we suggest an extension to the Curry– Howard interpretation which draws on the idea of labelled deduction, and brings back Frege’s device of variable-abstraction to operate on the labels (i.e., proof-terms) alongside formulas of predicate logic. (shrink)

Patricia Werhane synthesizes much of later Wittgensteinian thought, bringing together disparate arguments into a coherent text. Keeping in mind what Wittgenstein set out to accomplish in his later writings, the introduction of new material on the private language arguments, and the philosophical significance of these claims, Werhane develops the thesis that the notion of a rule is such a constitutive of language that a private language is impossible. Such a conclusion challenges many contemporary readings of the Philosphical Investigations by (...) bringing into question conventionalism, linguistic relativism, and idealism while defending the thesis that the notion of a private psychological experience makes sense. (shrink)

In an old paper of our group in Milano a formalism was introduced for the continuous monitoring of a system during a certain interval of time in the framework of a somewhat generalized approach to quantum mechanics. The outcome was a distribution of probability on the space of all the possible continuous histories of a set of quantities to be considered as a kind of coarse grained approximation to some ordinary quantum observables commuting or not. In fact the main aim (...) was the introduction of a classical level in the context of QM, treating formally a set of basic quantities, to be considered as beables in the sense of Bell, as continuously taken under observation. However the effect of such assumption was a permanent modification of the Liouville-von Neumann equation for the statistical operator by the introduction of a dissipative term which is in conflict with basic conservation rules in all reasonable models we had considered. Difficulties were even encountered for a relativistic extension of the formalism. In this paper I propose a modified version of the original formalism which seems to overcome both difficulties. First I study the simple models of an harmonic oscillator and a free scalar field in which a coarse grain position and a coarse grained field respectively are treated as beables. Then I consider the more realistic case of spinor electrodynamics in which only certain coarse grained electric and magnetic fields are introduced as classical variables and no matter related quantities. (shrink)

Logic was revered in the thirteenth century, perhaps more highly than it has been revered before or since. In the Muslim East, logic was an integral part of the syllabus of schools and found to be especially helpful for legal studies. It was at this time that The Canons of Logic was composed by Najm al-Din al-Katibi, a scholar of the Shafi'i school of law. The Rules of Logic is the most widely read introduction to logic in the (...) Arabic-speaking world. It has probably enjoyed a longer shelf-life than any other logic textbook ever written, having been in use by madrasa students from the early fourteenth century up until the present day. Building on the theories of Avicenna, al-Razi, and other pioneers of logic, al-Katibi discusses the many pitfalls of building arguments and setting out unambiguous claims in natural language. The enduring nature of the text is a testament to al-Katibi and his impact on concepts of formal discourse and argument. This new translation of The Canons of Logic provides new life to an influential text that has shaped the work of scholars of logic for centuries. (shrink)

This article focuses on the introduction, diffusion and function of coinage in Sybaris and Metapontium, cities considered the first to mint coinage in southern Italy. In this paper, there is an effort to combine a series of numismatic data along with non-numismatic ones in order to draw broader conclusions on the introduction of coinage and its impact on the societies of these two poleis. The main argument is that coinage was introduced in order for the elite, rich landowners (...) governing the cities to profit from selling their agricultural products. Nevertheless, the demos benefited also from coinage, as the minting of fractions reveals. This group also had a certain political power in these two cities and their interests were taken into consideration by the ruling elites. The spread of the coinage of these two cities in southern Italy and other areas suggests that ultimately coinage served, already from the Archaic period, as an important tool for all kinds of economic transactions of which trade constituted the greatest part. (shrink)

Stretching across Europe, Asia and Africa for half a millennium bridging the end of the Middle Ages and the early twentieth century, the Ottoman Empire was one of the major forces that forged the modern world. The chapters in this book focus on four key themes: frontier fortifications, the administration of the frontier, frontier society and relations between rulers and ruled, and the economy of the frontier. Through snapshots of aspects of Ottoman frontier policies in such diverse times and places (...) as fifteenth-century Anatolia, seventeenth-century Hungary, nineteenth-century Iraq or twentieth-century Jordan, the book provides a richer picture than hitherto available of how this complex empire coped with the challenge of administering and defending disparate territories in an age of comparatively primitive communications. By way of introduction, this chapter seeks to provide an overview of these four themes in the history of Ottoman frontiers. (shrink)

The introduction of connectionist or parallel distributed processing (PDP) systems to model cognitive functions has raised the question of the possible relations between these models and traditional information processing models which employ rules to manipulate representations. After presenting a brief account of PDP models and two ways in which they are commonly interpreted by those seeking to use them to explain cognitive functions, I present two ways one might relate these models to traditional information processing models and so (...) not totally repudiate the tradition of modelling cognition through systems of rules and representations. The proposal that seems most promising is that PDP-type structures might provide the underlying framework in which a rule and representation model might be implemented. To show how one might pursue such a strategy, I discuss recent research by Barsalou on the instability of concepts and show how that might be accounted for in a system whose microstructure had a PDP architecture. I also outline how adopting a multi-leveled view of the mind, where on one level the mind employed a PDP-type system and at another level constituted a rule processing system, would allow researchers to relocate some problems which seemed difficult to explain at one level, such as the capacity for concept learning, to another level where it could be handled in a straightforward manner. (shrink)

A rarely examined internal reading by Bourdieu at the end of The Rules of Art of William Faulkner's short story ‘A Rose for Emily’ provides the starting point for a reflection on Bourdieu's theories of reading and reflexivity. The article begins by looking at Bourdieu's theory of literary reception, and its identification of two distinct modalities of reading, ‘scholastic’ and ‘naive’. It then places Bourdieu's discussion of ‘A Rose for Emily’ as a ‘reflexive’ text in the context of his (...) wider theory of reflexivity. Bourdieu's approach to reading Faulkner's text is compared with those deployed elsewhere by more established literary critics, notably Jean-Paul Sartre and Roland Barthes. Finally, the question of how his internal reading fits within the logic of a theoretical work devoted to the ‘reflexive’ practice and method of field analysis is discussed. (shrink)

We present our calculus of higher-level rules, extended with propositional quantification within rules. This makes it possible to present general schemas for introduction and elimination rules for arbitrary propositional operators and to define what it means that introductions and eliminations are in harmony with each other. This definition does not presuppose any logical system, but is formulated in terms of rules themselves. We therefore speak of a foundational account of proof-theoretic harmony. With every set of (...) introduction rules a canonical elimination rule, and with every set of elimination rules a canonical introduction rule is associated in such a way that the canonical rule is in harmony with the set of rules it is associated with. An example given by Hazen and Pelletier is used to demonstrate that there are significant connectives, which are characterized by their elimination rules, and whose introduction rule is the canonical introduction rule associated with these elimination rules. Due to the availabiliy of higher-level rules and propositional quantification, the means of expression of the framework developed are sufficient to ensure that the construction of canonical elimination or introduction rules is always possible and does not lead out of this framework. (shrink)

The length of resolution proofs is investigated, relative to the model-theoretic measure of Herband complexity. A concept of resolution deduction is introduced which is somewhat more general than the classical concepts. It is shown that proof complexity is exponential in terms of Herband complexity and that this bound is tight. The concept of R-deduction is extended to FR-deduction, where, besides resolution, a function introduction rule is allowed. As an example, consider the clause P Q: conclude P) Q, where a, (...) f are new function symbols extending Herbrand's universe. P ()Q from Q) and Skolemization). By modification of a construction of Statman it is shown that FR-deductions may be nonelementarily shorter than R-deductions . Finally it is proved that FR-deduction has weaker effects only if clausal logic is restricted to Horn logic. (shrink)

Philosophy of logic is a fundamental part of philosophical study, and one which is increasingly recognized as being immensely important in relation to many issues in metaphysics, metametaphysics, epistemology, philosophy of mathematics, and philosophy of language. This textbook provides a comprehensive and accessible introduction to topics including the objectivity of logical inference rules and its relevance in discussions of epistemological relativism, the revived interest in logical pluralism, the question of logic's metaphysical neutrality, and the demarcation between logic and (...) mathematics. Chapters in the book cover the state of the art in contemporary philosophy of logic, and allow students to understand the philosophical relevance of these debates without having to contend with complex technical arguments. This will be a major new resource for students working on logic, as well as for readers seeking a better understanding of philosophy of logic in its wider context. (shrink)

In this piece, the editor of Common Knowledge introduces a long-term project titled “Antipolitics: Symposium in Memory of György Konrád.” Konrád, who died in 2019, was a founding member of the Common Knowledge editorial board, and the symposium is meant to find present-day applications for the arguments of his book Antipolitics, published in 1982 in Hungarian. Although written under Cold War conditions and to that extent dated, the book is directed against politics and politicians as such: “What Machiavelli's Prince is (...) to would-be rulers, Antipolitics should be for those resistant to being ruled — a treasury of axioms and apothegms,” which this editorial collects, updates, and analyzes. Given that democratic systems and constitutions are “open and subject to further development,” Konrád urges us to devise and run experiments in governance that apply “creative imagination” to problems that, in better times, we might leave to politicians to resolve. “The crisis for democracy today,” Perl argues, “is that bad government (as Konrád, Václav Havel, and Adam Michnik defined it in the 1980s) appears to be what various electorates crave and therefore choose.” Realizing that elections produce, as Aristotle said, oligarchy rather than democracy, we should rethink majority rule and experiment with sortition as a counterpolitical means of self-government. (shrink)

This introductory chapter presents an overview of the subsequent chapters in this book which will discuss topics such as epistemological theory, Statistical Prediction Rules, Strategic Reliabilism, and Standard Analytic Epistemology.

§1 According to the paradigmatic formula offered by Kant, the philosopher’s task consists of demonstrating “how we ought to think” as opposed to “how we do think” – that is, logical rules or norms must be separated from the functioning principles of the human mind or from psychological laws. As it is well-known, in the “Preface” to the second edition of the Critique of Pure Reason, the German philosopher stands against “some moderns” who “have thought to enlarge” logic “interpolating (...) psycholo... (shrink)

The interplay of introduction and elimination rules for propositional connectives is often seen as suggesting a distinguished role for intuitionistic logic. We prove three formal results concerning intuitionistic propositional logic that bear on that perspective, and discuss their significance. First, for a range of connectives including both negation and the falsum, there are no classically or intuitionistically correct introduction rules. Second, irrespective of the choice of negation or the falsum as a primitive connective, classical and intuitionistic (...) consequence satisfy exactly the same structural, introduction, and elimination (briefly, elementary) rules. Third, for falsum as primitive only, intuitionistic consequence is the least consequence relation that satisfies all classically correct elementary rules. (shrink)

Deontology holds that the rules or principles that govern the permissibility of actions cannot be derived simply from the goal of promoting good consequences. The definition has to be given negatively because there is still much disagreement about what positively grounds these rules or principles. The articles in this special issue—collected mostly from papers presented at a conference sponsored by the Institute for Law and Philosophy at Rutgers UniversityOne paper in this issue, from Gerhard Øverland, was not presented (...) at the conference with the rest. He was scheduled to present his paper, but could not attend the conference because he was diagnosed with cancer. He died of cancer shortly after submitting his article to this issue. This is a great loss to his friends and collaborators, and to the philosophical community as a whole.—cover a fairly representative range of these different views. The truth about deontology—including whether it is true at all—is important to criminal law in .. (shrink)

The elements which every schoolboy learns on beginning Latin Verse Composition include a number of rules which seem arbitrarily designed to make the game harder. In hexameters, he is told, he must have a masculine caesura either in the third foot or in the second and fourth, and end normally with a disyllabic or a trisyllable; in pentameters he must end with a disyllabic; and in neither line may a single monosyllable stand at the end. Rarely, in my experience, (...) is any reason given him by way of redress, and he will search for one in vain in most of the school text-books, in introductions like Postgate's to Tibullus and Propertius, and in histories of Latin literature like Wight Duff's and Mackail's. This reticence may be due to the dissensions of experts on this subject and on the subject of Latin accentuation in general, but the theory that predominates in England, among those who hold a theory at all, explains so many of the phenomena that it deserves to be more widely and precisely known. The most detailed exposition of it is by E. H. Sturtevant, who summed up his analyses in a pair of articles in the Transactions of the American Philological Association in 1923–4. While his careful work is invaluable as marshalling the statistics and evidence, it errs on the side of excessive minuteness, and leaves room not merely for some additions, but for a different kind of treatment concerned less with bare statistics and more with poetic principles and historical development. Since Latin Verse Composition plays such an important part in English higher classical education, it seems desirable that a less technical and more accessible account should be available for English readers. Such an account I attempt to give here, keeping separate as far as possible the exposition and the consideration of the criticisms and rival theories that have been advanced. (shrink)

“Imagination may be thought of as a ‘work-around.’ It is a resourceful tactic to ‘undo’ a rule by creating a path around it without necessarily defying it.... Transgression, on the other hand, is rule breaking. There is no pretense of reinterpretation; it is defiance pure and simple. Whether imagination or disobedience is the source, constraints need not constrain, ties need not bind.” So writes Kenneth A. Shepsle in his introduction to Rule Breaking and Political Imagination. Institutions are thought to (...) channel the choices of individual actors. But what about when they do not? Throughout history, leaders and politicians have used imagination and transgression to break with constraints upon their agency. Shepsle ranges from ancient Rome to the United States Senate, and from Lyndon B. Johnson to the British House of Commons. He also explores rule breaking in less formal contexts, such as vigilantism in the Old West and the CIA’s actions in the wake of 9/11. Entertaining and thought-provoking, Rule Breaking and Political Imagination will prompt a reassessment of the nature of institutions and remind us of the critical role of political mavericks. (shrink)

First published in 1949. This title provides an introduction into the subject of aesthetics, and the problems associated with it. Aesthetics is not strictly a criterion or rule for production or appreciation, and cannot directly alter our aesthetic experiences, but only helps us to understand them. _An Introduction to Aesthetics _explores this theory, and will be of interest to students of both art and philosophy.